上海市教育委员会创新基金(09YZ224)

作品数：3被引量：8H指数：2
导出分析报告
相关作者：任洪敏刘军李郝林于骏一张永亮更多>>
相关机构：上海海事大学上海理工大学吉林大学复旦大学更多>>
相关期刊：《振动与冲击》《计算机科学》更多>>
相关主题：Π演算模糊控制外圆电流变液软件架构更多>>
相关领域：自动化与计算机技术理学一般工业技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
外圆车削颤振的半主动模糊控制被引量：5
《振动与冲击》2012年第1期101-105,共5页张永亮 李郝林 刘军 于骏一 
上海市教委科研创新项目(09YZ224);上海市重点学科建设项目(J50503)
智能材料由于其响应速度快、特性参数易于调控、能耗小等特点,而被越来越多的用于振动控制系统中。针对细长轴类零件外圆车削加工中的颤振现象,研制了基于智能材料——电流变液的车削颤振减振装置,理论分析表明:不同切削条件下,获得最...
关键词：车削颤振 智能材料 电流变液 模糊控制 
基于π演算的软件体系结构一致性分析研究
《计算机科学》2011年第4期196-198,208,共4页任洪敏 刘晋 
上海市教委创新基金(09YZ224);上海市自然科学基金(10ZR1413700)资助
体系结构是系统的高层抽象和集成蓝图,基于形式化方法描述和分析体系结构能在系统开发早期发现体系结构层面的错误并提升体系结构的质量。基于体系结构的πADL形式化规约,结合体系结构领域的需求和特点,运用π演算基本理论形式化定义了...
关键词：软件体系结构 体系结构分析 形式化方法 Π演算 
基于π演算的动态软件架构研究被引量：3
《计算机科学》2009年第9期127-130,共4页任洪敏 张敬周 杨志应 
上海市教委创新基金项目(09YZ224);上海市教委科学基金项目(2008096)联合资助
动态软件架构(Dynamic Software Architecture)是架构领域的研究热点。分析了动态软件架构建模应关注的问题,基于π演算提出了动态软件架构形式化建模的方法,给出了动态软件架构语义的推导算法,奠定了动态架构行为分析和仿真的基础,并...
关键词：软件架构 动态软件架构 架构描述语言 Π演算 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部