搜索结果: 16-29 共查到“知识库 计算机高密度组装技术”相关记录29条 . 查询时间(3.297 秒)
一种改进的前向安全环签名方案
前向安全 环签名 离散对数问题 密钥更新算法
2012/3/1
对已有前向安全环签名方案进行安全性分析,指出其不具备前向安全性,存在多种安全隐患。为此,提出一种改进的前向安全环签名方案。通过改变环签名算法,将密钥更新和环签名相结合,克服原方案中用常量进行环签名的缺陷。安全性与效率分析表明,改进方案具有前向安全性、无条件匿名性、抗伪造性,且签名效率较高。
基于接口匹配的构件组装
构件 接口 基调
2009/3/6
基于构件的软件开发(CBSD)以软件体系结构为蓝图,通过可复用构件的组装构建高质量大规模应用系统。如何找到合用的可复用构件以及怎样在体系结构指导下进行构件的组装是CBSD的关键环节。研究了构件匹配的基本原理和理论基础,在此基础上分析了基于软件构件组装的系统开发技术并给出了对候选构件进行组合的配置算法。
新一代数字逻辑和计算机实验系统
数字逻辑 计算机实验
2008/11/27
以往的数字逻辑和计算机组成课实验,要求学生在面包板上安放元器件并连线,这个过程需要大量时间。该项目开发的基于个人计算机的新一代数字逻辑和组成课实验系统,具有独特的软、硬件结合功能。学生可以通过个人计算机,在友好的人机界面下,方便地进行操作;同时,还能很好地评估和管理学生的实验情况。
组合夹具计算机智能组装系统
组合夹具 计算机辅助设计 计算机夹具组装系统 程序系统
2008/9/27
该系统是目前国内唯一用于生产实际的组合夹具软件。十年来进行了五次重大修改,由过去的线框造型改为实体造型,菜单采用对话框方式,用户界面更加清晰直观,并增加了全自动的报表统计及智能选件等功能。软件具有中文版和西文版两种。软件运行条件:在WIN95或WINDOWSNT环境下运行;需安装AutoCADR14或更高版本;586及以上机 型,32MB RAM(建议64MB或更高)。主要特点:组合夹具采用三维实...
组合夹具应用计算机组装和管理
组合夹具 计算机组装 夹具元件管理
2008/9/27
该软件采用模块式结构以数据文件的形式沟通模块间的联系。造型采用三维造型和体素拼合理论设计,实现了非空间曲面组成的加工工件的造型;组装中采用动画技术模拟实际组装过程,元件调用靠三级菜单选择,人机会话式组装方式解决了组合夹具组装需要灵活、迅速、逼真的要求;消隐模块能对组装结果进行自动消隐,消隐时间短;图形输出方法灵活,用户可按需求选择;管理模块能提供精确的夹具元件使用情况报表,为夹具元件管理提供了可靠...
绝热计算原理与能量恢复型CMOS电路
低功耗设计 CMOS电路 绝热计算 能量恢复
2007/12/27
从改变CMOS电路中能量传输方式的观点出发,讨论了绝热计算原理.在此基础上对实现能量恢复的现有三种方案及相应的电路结构进行了分析与比较.
构件组装及其形式化推导研究
形式化
2007/11/2
AbstractComponent based software engineering (CBSE) is one of the most effective solutions to improve software development quality and productivity. Component composition and compositional reasoning a...
支持EJB动态分布的组件迁移模型与算法
2007/11/2
AbstractWeb application servers (WASs) provide a web computing infrastructure for distributed components. The component structure of statically configured distribution prevents web applications from b...
基于工作流引擎的构件组装体系结构
2007/11/2
Li HB, Zhan DC, Xu XF. Architecture of component composition based on workflow engine.
Journal of Software, 2006,17(6):1401-1410.DOI:
10.1360/jos171401 http://www.jos.org.cn/1000-9825/17/1401.htm...
基于容器中间件的组件系统体系结构性能评价
2007/11/2
Zhang Y, Huang T, Wei J, Chen NJ. Architectural level performance modeling of component system based on container middleware. Journal of Software,
2006,17(6):1328-1337.DOI:
10.1360/jos171328 htt...
特征模型驱动的Web Services组装方案及其工具支持
2007/11/1
Xing Y, Gu F, Mei H. Feature model driven Web services composition approach and its support tool. Journal of Software,
2007,18(7):1582-1591.DOI:
10.1360/jos181582 http://www.jos.org.cn/1000-9825/1...
一类半正定多项式的平方和分解及其表达式的自动生成
平方和分解 柱形代数剖分 Gram矩阵方法 Hilbert 17问题
国家“九七三”重点基础研究发展规划项目基金(2004CB318003)资助
2007/11/1
建立了一个把半正定稀疏多项式表为多项式平方和的算法.这一算法依赖于Hilbert第17问题的一系列经典研究结果以及实闭域上量词消去的柱形代数剖分算法.该算法的机器实现为一类代数不等式可读性证明的自动生成提供了一种非常自然的途径.
条件效果是智能规划处理更具解释性动作描述语言中最难解决的一种类型.如何扩展当前已有的规划算法,使之具有处理包含条件效果的动作描述语言的能力成为了智能规划领域中的研究热点之一.文章针对一个高效规划器FF v2.3在条件效果处理中存在的不足做了一些改进,提出了一个新的条件效果处理方法CEFF.主要的改进措施有以下两点:(1)引入因子扩展法的思想将动作划分为组件,以提高对条件效果的处理效率;(2)在进行...