论文部分内容阅读
分析了UML在实时系统设计中的优点和需要解决的主要问题,论述了基于UML RT的实时嵌入式系统设计方法,并且对其进行扩展以支持数据流计算模型的建模,最后以汽车巡航系统为例加以说明。
基于UML—RT的复杂嵌入式系统建模方法及其应用
【摘 要】
：
分析了UML在实时系统设计中的优点和需要解决的主要问题,论述了基于UML RT的实时嵌入式系统设计方法,并且对其进行扩展以支持数据流计算模型的建模,最后以汽车巡航系统为例加以说明。
【机 构】
：
华中科技大学
【出 处】
：
计算机应用
【发表日期】
：
2005年06期
【基金项目】
：
国家自然科学基金，高等学校博士学科点专项科研项目
其他文献
串空间模型是分析安全协议的一种实用、直观和严格的形式化方法。概述基于该模型结合使用定理证明和模型检测技术开发的安全协议验证工具AVSP的体系结构 ,提出一些剪枝规则对状态搜索空间进行剪枝。通过Needham Schroeder安全协议的弱一致性认证属性验证过程来表明这些状态搜索空间剪枝规则可有效缩小状态搜索空间 ,防止状态空间爆炸
针对网络化控制系统,提出了新型的延迟状态变量模型,考虑到模型的不确定因素和外 部扰动,推出了鲁棒控制器存在的条件,并给出了该控制器设计和性能优化的方法。仿真结果表明, 该控制器对所有允许的网络延迟、模型不确定性和外部扰动,具有良好的性能。
在众多高水平十项全能运动员赛前准备阶段的训练安排中,以4周、6周或8周构成的小周期训练方案最为有效。十项全能包含十个不同的运动项目,由于其本身的复杂性,要制定一个赛前
比利时的圣吕克标签和包装公司（St—Luc Labels＆Packaging）日前收购了荷兰的Altrif标签公司。此举有助于提升圣吕克公司在比荷卢地区的市场存在感，同时也将说明书和多页标签纳入
为了实现数据的充分共享和深度利用,新华网在采编发系统基础上建立了以数据中心为核心的内容管理系统。文中首先介绍了数据中心的应用需求,然后给出了系统的整体框架及模块设计,在此基础上针对数据采集、数据挖掘、数据服务等模块不同的应用特点,详细给出了各自不同的技术实现手段。
爱普生意大利有限公司与Robustelli家族就收购Fratelli Robustelli公司100％的股份达成一致。Robustelli是纺织印刷行业的龙头企业，两家公司通过拓展在数字喷墨纺织印刷领域的合
体育运动中人文性的思考和研究日益增多,要求体育学术期刊的编辑具备一定的人文意识.人文意识培养主要从两个方面进行,一是感性经验的积累,二是人文知识的内化.体育期刊编辑
为克服进化计算自身的早熟收敛缺陷,受自然界和人类社会进化现象的启发,文中研究得到了一种新的进化计算算法模型———种群竞争消亡算法。本文将该模型应用于温室作物生长模型的参数优化,并将试验结果与基本进化计算相比较,结果说明种群竞争消亡算法在稳定性和收敛性上确实比基本进化计算优越。
因用户和服务内容的不断增加 ,使网络服务日益巨型化 ,从而导致难于维护、升级以满足时时变化的用户和用户需求。文中介绍了一个网络服务框架 ,将网络服务分割为一些适当粒度的、彼此独立的原子服务 ,并且应用具有可扩展性和优越的跨平台特性的XML技术 ,这不仅可以使用户能够灵活地组合这些原子服务来满足其最高层次的需要 ,而且能够通过服务集的不断充实 ,以及对其他服务提供商的服务提供支持 ,最大限度地扩大用