UML—RT到一个实时多任务执行模型的转换

来源 :计算机科学 | 被引量 : 0次 | 上传用户:hello_junz
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
为解决把UML-RT行为建模模型平滑过渡到实时多任务系统的图形化软构件设计开发环境的过程设计模型中,本文提出了把UML-RT状态图行为模型转换到该环境下的执行模型的方法。首先介绍UML-RT状态图建模的概念及笔者研制的设计环境,其次给出从UML-RT状态图转换到该设计环境可执行模型的具体方法,最后以一个实例说明了转换方法。
其他文献
通用处理器的SIMD(Single Instruction Multiple Data)多媒体扩展,为提高多媒体应用的性能提供了新的体系结构支持。但目前编译技术对这类指令不能提供很好的支持。本文提出了一
设计空时分组码(STBC)只是获得了满分集增益,但未考虑编码增益,因此空时分组码必须和能够提供大量编码增益的外码级联.Turbo乘积码(TPC)是一种高效的编码方式,与Turbo码相比译码延时
利用2005-01-2010-04分部门和分期限信贷数据,对2009年信贷资金流入和流出股票市场金额进行估算。结果表明:①2009年股市涉及的信贷资金量1.7-2.0万亿元;②2009年流入股市的新
运用产业组织理论方法,研究了2个高新技术产业开发区之间的差异化竞争策略。在双寡头竞争环境中,假设2个高新技术产业开发区面对线性需求情况下,研究了提供具有横向差异化产
针对目前普遍存在的审计合谋现象,依据演化博弈理论,建立了审计师甲和乙的演化博弈模型,分析了两类个体在合谋与诚信两种策略下的行为特征,根据复制者动态方程得到了两者的行
密钥分配协议对于无线传感器网络的安全起着基础性作用。由于传感器网络大规模、节点资源非常受限、分布式等特点,传统的基于公钥和可信任的密钥分配中心等方式不能实用。本文
将辣根过氧化物酶(HRP)引入侧脑室5分钟时,第Ⅲ脑室连续冠状切片DAB呈色光学显微镜观察。结果显示:第Ⅲ脑室两侧壁及除正中隆起以外的第Ⅲ脑室底部,沿室管膜上皮细胞间隙有HRP阳性反应产物,并
集合多覆盖问题的简单贪心算法的近似比是lnn+1。本文提出简单贪心算法的一个变形,宽度优先贪心算法,并且证明其有近似比(lnn)/r+lnlnn+O(1),其中r是覆盖要求。这个结果比由随机取整方法
反射式集成框架的规约描述方法,主要研究在分布式实时应用领域基于构件的软件开发模式中集成框架的形式化规约描述问题.这种描述方法通过引入反射技术,除了描述集成框架中组
针对由单个汽车制造商和单个租赁商组成的二级闭环供应链系统,占主导地位的汽车制造商对租赁商采用回购激励策略,在回购价格与租赁商产品质量水平具有相关性的前提下,根据回