首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   10篇
  完全免费   11篇
  自动化技术   21篇
  2015年   1篇
  2013年   3篇
  2012年   2篇
  2011年   1篇
  2009年   2篇
  2008年   4篇
  2007年   4篇
  2006年   1篇
  2000年   1篇
  1998年   1篇
  1997年   1篇
排序方式: 共有21条查询结果,搜索用时 31 毫秒
1.
基于构件库及构件组合的软件重用   总被引:15,自引:1,他引:14  
介绍了一种具有动态组合特性的构件Pad,详细说明了它如何规范重用单元的接口以及相互间可传递的消息,并进一步介绍了构件Pad的组合规划消息传递协议,还简村介绍了一种在面向对象数据库的基础上实现构件库的方法,最后,介绍了已开发成功的一个构件重用支撑环境的原型。  相似文献
2.
一种实现可动态连接构件的方法   总被引:4,自引:1,他引:3  
本文介绍了面向对象技术开发具有动态连接特性的构件的方法。在简要介绍了可动态连接构件IP及其构件模型后,详细给出了IP构件的实现方法。在本文中,我们设计了一个实现构件PadMVC结构和基本操作的基类BasePad,给出了由Base Pad派生构件Pad的方法,最后还阐述了基类BasePad与构件Pad之间的消息传递机制。  相似文献
3.
基于构件运算的软件体系结构及其复杂性度量   总被引:2,自引:0,他引:2       下载免费PDF全文
为了达到对软件体系结构SA的描述目标,引进了基于消息的5种构件组合运算,并给出了基于这些运算的SA的图形与其代数表达式之间的转换算法。为了降低SA复杂性,给出SA的直观复杂性度量方法,提出了11种构件演化运算,并给出了一个实例。  相似文献
4.
管网模型中基于对象分类的构件及组合件构造方法   总被引:1,自引:0,他引:1  
结合工厂CAD系统的开发与研制,对管网建模中出现的拓扑特征进行了分析归纳,提出了一种基于对象分类的构造方法,在保证信息完备性的基础上,该方法能有效地处理各种构件和组合件,在实际应用中取得了很好的效果。  相似文献
5.
基于消息的构件组合运算与构件演化   总被引:1,自引:0,他引:1  
根据构件能够接收和发送的消息,扩展了构件接口定义框架,给出了基于消息的构件组合模型,定义了构件的执行路径,对四种组合运算进行了形式化描述,提出并证明了六则构件演化运算.给出了一个实例:把一个没有显示语义的层次系统模型简化为语义明确的树形组合模型,并给出了模型的代数表达式和简化算法.  相似文献
6.
控制六足仿生机器人三角步态的研究   总被引:1,自引:0,他引:1  
基于仿生学原理,在分析六足昆虫运动机理的基础上,对六足仿生机器人的三角步态运动原理进行了分析.论文涉及六腿机器人步态研究的一些基本参数的描述,讨论了用相对运动的原理研究步态的方法,结合慧鱼机器人组合包中的构件拼出六足仿生机器人.该机器人模型结构简单,设计独特,能前进和后退,且能避开小型障碍物.基于三角步态运动原理对其进行了反复实验,实验结果表明六足仿生机器人具有较好的机动性和稳定性.  相似文献
7.
构件组合的抽象精化验证   总被引:1,自引:0,他引:1       下载免费PDF全文
曾红卫  缪淮扣 《软件学报》2008,19(5):1149-1159
针对构件组合的状态爆炸问题,改进了反例引导的抽象精化框架,提出了组合式的抽象精化方法,使构件组合的模型检验转化为各成分构件的局部抽象精化,降低了分析的复杂度.提出了在构件组合情况下基于等价关系和存在商的构件抽象方法,用构件抽象的组合建立构件组合的抽象;提出了组合确认定理并给出证明,使反例确认分解为在各构件上对反例投影的确认;通过对单个构件的等价关系的精化实现构件组合的抽象模型的精化.在模型检验构件组合的过程中,不需要为构件组合建立全局的具体状态空间.  相似文献
8.
普适计算自20世纪90年代提出以来,已经成为极具活力和影响力的研究领域之一,它的安全性问题更是受到了研究人员极大的关注.首先概括介绍了普适计算安全检测领域常用的几种方法和模型,以及它们存在的问题和不足之处;然后提出了一种新的综合检测模型,并详细阐述了它的实现方法和特点.  相似文献
9.
在满足当前需求的众多软件体系结构(SA)中,选择适应未来发展变化的(SA),需要度量软件体系结构可演化性SAE。本文提出了基于构件组合运算的SA;从构件组合运算和SA两个层次分析了构件操作的波及效应,提出了一种新的SAE度量方法,设计了度量算法;在给出的实例中,度量了同一系统的不同SA的可演化性。最后,根据领域软件工程的特点,利用特征迹,对SAE的度量方法进行了改进。该度量方法克服了传统方法需要大量数据、过度依赖人工参与和个人经验、只适合小规模系统等不足。  相似文献
10.
采用范畴论,把工作流过程模型中的元素抽象为工作流构件,模型中的逻辑次序抽象为构件之间的态射关系,提出一种基于构件的工作流范畴模型。利用范畴推出运算,给出工作流构件的组合操作语义,并用实例进行分析。  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号