上海市教育委员会创新基金(09YZ224)
- 作品数：3 被引量：9H指数：2
- 相关作者：任洪敏刘军李郝林于骏一张永亮更多>>
- 相关机构：上海海事大学上海理工大学吉林大学更多>>
- 发文基金：上海市教育委员会创新基金上海市教育委员会重点学科基金上海市自然科学基金更多>>
- 相关领域：自动化与计算机技术理学一般工业技术更多>>
- 基于π演算的软件体系结构一致性分析研究
- 2011年
- 体系结构是系统的高层抽象和集成蓝图,基于形式化方法描述和分析体系结构能在系统开发早期发现体系结构层面的错误并提升体系结构的质量。基于体系结构的πADL形式化规约,结合体系结构领域的需求和特点,运用π演算基本理论形式化定义了系列概念和多种进程关系,并以此作为理论基础,提出了πADL规约的8种一致性分析方法,用以提高体系结构规约和系统组装的质量。
- 任洪敏刘晋
- 关键词：软件体系结构形式化方法Π演算
- 外圆车削颤振的半主动模糊控制被引量：5
- 2012年
- 智能材料由于其响应速度快、特性参数易于调控、能耗小等特点,而被越来越多的用于振动控制系统中。针对细长轴类零件外圆车削加工中的颤振现象,研制了基于智能材料——电流变液的车削颤振减振装置,理论分析表明:不同切削条件下,获得最佳减振效果的控制电压并不相同。由此,开发了基于电流变材料的车削颤振模糊控制系统,进行了半主动模糊控制试验。试验结果表明:在不同的切削状态下,该模糊控制系统均可以自适应地调整控制电压,减小切削系统的加速度响应,抑制车削颤振。
- 张永亮李郝林刘军于骏一
- 关键词：电流变液模糊控制
- 基于π演算的动态软件架构研究被引量：4
- 2009年
- 动态软件架构(Dynamic Software Architecture)是架构领域的研究热点。分析了动态软件架构建模应关注的问题,基于π演算提出了动态软件架构形式化建模的方法,给出了动态软件架构语义的推导算法,奠定了动态架构行为分析和仿真的基础,并能对动态架构的诸多要素进行建模,包括动态演化的起因、时间、操作、非瞬时特性、断点继续执行等。
- 任洪敏张敬周杨志应
- 关键词：软件架构Π演算
