收藏本站
《昆明理工大学》 2009年
收藏 | 手机打开
二维码
手机客户端打开本文

面向钢铁质量过程控制的分布式并行软件框架模型研究

张晶  
【摘要】:分布式实时软件强调信息流的实时交互和并行处理,支持实时并行的质量过程,适用于钢铁行业的生产过程质量控制。软件主要特征是完成不同功能的软件构件分布在网络的不同节点上,节点之间包含实时交互的并行信号流,设计时不但要求系统的功能正确性,而且要求计算这些功能结果的时间要及时。现代钢铁企业质量过程控制系统以质量信息流的跟踪控制为中心,具有实时性、分布性、并行性等复杂行为特征,需要分布式实时软件设计理论和方法的支持。在影响分布式实时软件的诸多因素中,基于实时交互规约的框架模型是软件运行过程执行效能的关键。 传统软件框架模型多侧重于利用面向对象技术的对象调用和状态转换传送控制作用,不能实现从系统建模到软件设计的一致性实时并行约束。而面向执行体模型通过变换数据相互作用,更适应于框架模型的实时并行处理。本论文基于云南省自然科学基金项目,针对钢铁质量过程控制领域,在模型架构定义中,由面向对象转向面向执行体;通过分离以数据为中心的功能构件和以时序为中心的交互机制,建立面向执行体结构的框架模型来支持分布式实时软件的设计和开发。 面向执行体结构的设计机制强调构件间的并行处理和时序调度,是一种适应实时模型关系的可行技术。在分布式实时软件的框架模型中,引入这种机制,将其具体应用到框架模型研究涉及的各项关键技术中,能够较好地规约软件所要求的各类行为特征,尤其是对功能性业务逻辑和时间约束特征的关注分离,并最终实现可构造的、易于动态适应的分布式实时软件框架模型。面向钢铁质量过程控制的分布式实时软件框架模型研究,主要围绕实时交互框架、构件设计模型和构件组装规约三个研究点展开,具体为面向执行体的框架模型建立、执行体结构的构件语义设计、执行体构件的组装规约分析以及应用实例验证: 1.面向执行体的框架模型研究主要建立一类面向钢铁质量过程控制,适应分布式实时应用环境的执行体交互机制,其能分离执行体之间的逻辑交互关系,支持实时并行的质量过程控制。在框架模型中,借鉴构件和连接子思想,将执行体设计为参数化行为封装,提高执行体的重用性;独立的监控器机制控制执行体之间的逻辑交互,支持并行信号流的跟踪控制;执行体端口行为优先级可配置,提供对实时性的灵活支持。这种框架模型使得以数据流为中心的执行体功能逻辑和以时序调度为中心的交互逻辑相分离,增强框架的灵活性与适应性。 2.执行体结构的构件语义设计主要研究基于谓词逻辑的执行体语义模型,其能规约执行体的静态结构和动态行为;封装执行体内部逻辑,抽象质量过程的操作规范和质量要求;建立执行体端口间行为连接,保障执行体的动态特性;提供执行体包含机制,支持执行体的任意嵌套。该设计模型不仅能够描述执行体质量过程参数的属性规约,还能满足实时并行的端口行为建模。 3.执行体构件的组装规约分析主要研究小粒度、低层次内部执行体分层递阶组合为大粒度、高层次复合执行体的组装理论,其具体分为复合执行体属性规约推导、复合执行体端口规约推导、和复合执行体行为规约推导三个部分,用于执行体模型组装时的语义行为描述和层次化抽象。同时从规约层面支持执行体的演化,降低执行体组装的不稳定性。 4.基于上面的相关研究成果,面向昆明钢铁集团有限公司质量过程控制实际,构建了执行体结构的分布式实时软件框架模型,实现对复杂钢材形成过程的有效质量控制。基于该模型开发的软件系统配置灵活、易于组装,通过实践证明了面向执行体的软件框架建模方法可以为钢铁企业质量过程控制的应用起到很好的促进作用。 本文的关键问题包括: 1.构建可构造的、易于动态适应的执行体框架模型。解决构件间的并行处理和时序调度问题,动态灵活地表示交互逻辑,支持实时并行的质量过程;并要求框架可定制,能动态优化、插入和升级,不损害平台独立。 2.设计完备的执行体语义模型。重点解决实时执行体的静态属性和动态行为建模;进而定义端口行为连接,描述执行体间的通信过程,确定复杂实时交互行为,适应更广泛意义上的时间并行模型。 3.分析执行体的组装规约推导规则。重点解决大粒度复合执行体的属性、端口和行为规约推导,从语义层面减少实时并行的质量过程建模复杂性。
【学位授予单位】:

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 陈曦;茅云生;;反射技术在船厂ERP系统中的应用研究[J];船海工程;2011年03期
2 张远夏;;计算资源共享平台中基于分类器的可用性预测[J];计算机工程与设计;2011年07期
3 陈德旺;朱磊;;基于可重用框架的CTCS仿真车载DMI研究与实现[J];铁道学报;2011年07期
4 黄松波;雷毅;;CAD应用框架配置技术研究[J];工程图学学报;2011年04期
5 李铁;康凤举;邹文盟;;基于消息的分布式仿真支撑环境的研究[J];系统仿真学报;2011年08期
6 房莉;陈湘平;程敏;涂文婕;;基于XML和工作流的构件化软件框架研究[J];电子技术应用;2011年04期
7 朱敬华;孙晓峰;;基于VisualC++的DCS系统时间同步软件的开发[J];电力信息化;2011年04期
8 吴翔;马孜;胡英;李爱国;;焊接机器人快速修复与成型辅助软件设计[J];大连海事大学学报;2011年03期
9 ;[J];;年期
10 ;[J];;年期
11 ;[J];;年期
12 ;[J];;年期
13 ;[J];;年期
14 ;[J];;年期
15 ;[J];;年期
16 ;[J];;年期
17 ;[J];;年期
18 ;[J];;年期
19 ;[J];;年期
20 ;[J];;年期
中国重要会议论文全文数据库 前10条
1 吴称光;高勋章;姜卫东;黎湘;;一种多传感器空间目标自动识别软件框架[A];全国第4届信号和智能信息处理与应用学术会议论文集[C];2010年
2 陈璞;王贤磊;;专用设计软件对有限元分析的需求与实现[A];北京力学会第18届学术年会论文集[C];2012年
3 莫则尧;;并行自适应结构网格应用支撑软件框架研制进展[A];中国工程物理研究院科技年报(2009年版)[C];2010年
4 张亚林;吴锦龙;李于锋;赵晓平;;PANDA软件框架的应用模板研究[A];中国计算力学大会'2010(CCCM2010)暨第八届南方计算力学学术会议(SCCM8)论文集[C];2010年
5 陈璞;孙树立;陈斌;;新一代结构分析软件的框架设计[A];北京力学会第17届学术年会论文集[C];2011年
6 廖守亿;陆宏伟;陈坚;戴金海;;基于Agent的建模与仿真概念化框架[A];中国系统仿真学会第五次全国会员代表大会暨2006年全国学术年会论文集[C];2006年
7 黄兴平;徐鹏;杨放春;;基于面向构件的软件框架实现IMS CSCF[A];2006年全国通信软件学术会议论文集[C];2006年
8 郭海峰;郭海敏;戴家才;;测井数据的通用访问软件框架设计[A];“南方复杂地层井筒新技术”技术交流会论文集[C];2005年
9 刘英杰;邹佳恒;朱科军;李卫东;赵京伟;;BESⅢ事例筛选软件框架[A];第十三届全国核电子学与核探测技术学术年会论文集(下册)[C];2006年
10 吴莉;巴继东;;无线网络信号质量监测系统监测平台的软件框架设计[A];2007通信理论与技术新发展——第十二届全国青年通信学术会议论文集(上册)[C];2007年
中国重要报纸全文数据库 前10条
1 中科院软件所 戴国忠 王宏安;笔式和多通道用户界面[N];计算机世界;2006年
2 刘晶 佳师;挖掘存储潜能[N];中国电子报;2000年
3 清华大学国家CIMS工程技术研究中心 范文慧 熊光楞 葛正宇;好戏在这里[N];计算机世界;2002年
4 ;Sun可管理的存储网络(1)(未完待续)[N];通信产业报;2000年
5 杨明;TranSolution城市交通需求分析软件[N];中国交通报;2004年
6 ;东方通奋力破局[N];计算机世界;2005年
7 本报记者 于翔;“大数据”的大承诺[N];网络世界;2010年
8 本报记者 张承东;微软:Live时代?广告时代?[N];网络世界;2007年
9 应文;RADVISION获INTERNET TELEPHONY杂志2007年度产品奖[N];国际商报;2008年
10 李健民;银行如何构建企业级面向服务的架构[N];金融时报;2006年
中国博士学位论文全文数据库 前10条
1 张晶;面向钢铁质量过程控制的分布式并行软件框架模型研究[D];昆明理工大学;2009年
2 丁博;软件自适应若干关键技术研究[D];国防科学技术大学;2010年
3 蒋汉平;面向多核网络处理器软件框架的研究与实现[D];武汉理工大学;2008年
4 黄兴平;电信软件变化性管理机制研究[D];北京邮电大学;2007年
5 鲍春波;生物软组织建模仿真方法研究[D];大连理工大学;2008年
6 王召福;HLA邦元范型框架设计及其关键技术研究[D];中国人民解放军国防科学技术大学;2002年
7 邹佳恒;BESⅢ离线软件与D物理的研究[D];山东大学;2009年
8 张一纯;大亚湾反应堆中微子实验离线软件和中子本底研究[D];中国科学技术大学;2012年
9 张俊林;基于语言模型的信息检索系统研究[D];中国科学院研究生院(软件研究所);2004年
10 张弛;用于建立ICF实验控制系统的软件框架研究和开发[D];中国科学技术大学;2006年
中国硕士学位论文全文数据库 前10条
1 俞庆平;影像测量设备软件框架构建技术的研究[D];合肥工业大学;2012年
2 吴晨晖;一种基于代码下移的软件框架[D];西安理工大学;2010年
3 赵浩亮;手机取证软件框架的设计与实现[D];大连海事大学;2012年
4 李丽;基于Earthworm的地震报警软件框架研究[D];中国地震局工程力学研究所;2012年
5 杨旭如;模式和重构在面向对象软件框架中的应用[D];浙江大学;2004年
6 李俊峰;MVC设计模式在Web中的复用研究与实现[D];华中科技大学;2004年
7 江湛;实现松耦合信息可扩展处理的中间件及软件框架[D];中国海洋大学;2005年
8 唐明亮;飞行器弹道仿真通用软件设计[D];西北工业大学;2006年
9 时贵英;基于元模型的软件框架技术研究[D];大庆石油学院;2006年
10 李忠文;城市交通领域软件构件的协同工作研究[D];大连理工大学;2005年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978