上海市自然科学基金(10ZR1413700)
- 作品数：5 被引量：5H指数：1
- 相关作者：任洪敏杨勇生刘晋于洋许波桅更多>>
- 相关机构：上海海事大学更多>>
- 发文基金：上海市自然科学基金上海市教育委员会创新基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术交通运输工程电子电信更多>>
- 基于NS2的智能集装箱网络路由协议的研究
- 2013年
- 由于传统集装箱是由金属制造的,所以集装箱的箱与箱之间的信号屏蔽作用特别明显,以至于位于箱堆内侧的集装箱信息无法得到有效采集,严重影响了智能集装箱的实时监控操作。针对这种问题,文中结合了现实集装箱堆场管理的需求,提出了一种可行的智能集装箱网络路由协议CNRP(Container Network Routing Protocols),并利用NS2网络仿真软件,进行了该协议与典型的网络路由协议AODV、DSR、DSDV的性能比较,实验结果表明该路由协议具有低能耗、短时延的特点,更加适合于3D-Mesh集装箱网络。
- 王超王晓峰
- 关键词：路由协议NS2AD-HOC
- 软件体系结构交互动作精化研究被引量：1
- 2013年
- 分析了当前体系结构精化的研究工作,基于体系结构形式化描述语言ADL,提出了体系结构交互动作精化的概念,定义了交互动作精化的规约方法,给出了交互动作精化遵循的法则,有效地解决体系结构精化过程中构件与其交互动作的抽象层次不匹配的问题。开发了体系结构交互动作精化的推导算法,确保精化过程中高层体系结构的行为特性得到保持,并自动生成低层体系结构。实例研究表明了该方法的可行性。
- 任洪敏刘晋
- 关键词：软件体系结构
- 基于π演算的软件体系结构一致性分析研究
- 2011年
- 体系结构是系统的高层抽象和集成蓝图,基于形式化方法描述和分析体系结构能在系统开发早期发现体系结构层面的错误并提升体系结构的质量。基于体系结构的πADL形式化规约,结合体系结构领域的需求和特点,运用π演算基本理论形式化定义了系列概念和多种进程关系,并以此作为理论基础,提出了πADL规约的8种一致性分析方法,用以提高体系结构规约和系统组装的质量。
- 任洪敏刘晋
- 关键词：软件体系结构形式化方法Π演算
- 岸边集装箱起重机产品杂交配置知识库被引量：1
- 2012年
- 为研究产品杂交配置理论在岸边集装箱起重机设计知识上的应用,以岸边集装箱起重机大车部件为研究目标,利用元知识理论建立演化型配置知识框架结构.依据杂交配置理论,实现实例模板与规则的基因化;借助比较矩阵得出具有继承性的知识库理论;通过编程实现其算法.结果显示,利用比较矩阵能够实现岸边集装箱起重机设计知识的继承性传递,丰富杂交配置理论和进化设计方法.
- 于洋杨勇生许波桅任洪敏
- 关键词：集装箱起重机知识库进化设计
- 基于实例模板的产品杂交配置设计被引量：3
- 2012年
- 产品杂交配置设计是产品智能与创新设计方法的研究热点。基于产品模板配置设计概念,结合产品杂交配置设计需求,定义了面向杂交配置设计的知识库模型,提出了基于实例模板的机械产品杂交配置总体框架,给出了需求驱动、知识制导的产品杂交配置设计算法。该方法提供了统一的模型和框架,可有效支持各类机械产品杂交配置设计系统的研究和开发。
- 任洪敏杨勇生
- 关键词：产品配置设计进化设计
