Rigorous Modeling of Real-time System Based on UML and PVS

来源 :东华大学学报：英文版 | 被引量 : 0次 | 上传用户：ILOVELUBIN

【摘要】

：

Rigorous modeling could improve the correctness and reduce cost in embedded real-time system development for models could be verified. Tools are needed for rigo

【作者】

：

赖明志尤晋元

【机构】

：

DepartmentofComputerScience＆Engineering

【出处】

：

东华大学学报：英文版

【发表日期】

：

2005年1期

【关键词】

：

实时监测系统 UML PVS 软件语言转换过程建模方法 Embedded Real-time System UML Statechart PVS T

【基金项目】

：

This work is sponsored by China Natural Science Fund

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

Rigorous modeling could improve the correctness and reduce cost in embedded real-time system development for models could be verified. Tools are needed for rigorous modeling of embedded real-time system. UML is an industrial standard modeling language whi

其他文献

Study on the Rotor Spinning Processing of Spun Silk/Cashmere Blended Yarn

This paper studies rotor spinning blended yarn produced of spun silk and cashmere.Nine samples were spun,from three different opening rollers and different nave

期刊

转环纺纱丝/羊绒混纺纱线最佳选择过程最优化rotor spinningspun silk/cashmere blended yarnoptimum se

利用测地线距离的改进谱聚类算法

针对往复式压缩机故障数据空间分布复杂、常规算法不能有效聚类的问题,提出了一种改进的谱聚类算法.该算法使用新的相似度矩阵计算方式,根据故障数据流形分布的特点引入测地

期刊

往复式压缩机谱聚类测地线距离欧氏距离调整reciprocating compressor spectral clustering geodesic di

戴溪《石鼓论语答问》的诠释特色

作为永嘉学派的代表人物,戴溪在《石鼓论语答问》中,敢于直陈经文之失,敢于质疑已有注释,充分体现了＂浙学＂的批判精神。在对名物典制及字词的考证中,他注重考据的做法和借用历史事实来解释经典的方法,不仅弘扬了永嘉学派经史兼重的主张,而且也凸显了＂浙学＂求实的基本精神。他通过创造性解读,不仅阐发了内德思想,而且抉发了外业思想,尤其是其中的爱民、利民、齐民、劝民、用人等外业思想,无不体现出＂浙学＂重功利的色彩。

期刊

戴溪石鼓论语答问诠释Dai XiShigu Academy Questions and Answers about the Analectsann

定常与脉冲涡旋射流下矩形扩压器流动分离控制研究

为了研究涡旋射流控制流动分离的物理机理，基于大涡模拟方法对涡旋射流控制下的矩形扩压器流场和射流流向涡结构的生成、发展等动力学演化过程进行了数值研究．结果表明：射流产生

期刊

流动分离流动控制涡旋射流大涡模拟涡结构flow separation flow control vortex generator jet large-

Measurement of Thermal Resistance of Heat-resistant Fabrics with a Guarded-hot-box

有在调查耐热织物的热抵抗的 guarded-hot-box (GHB ) 的一个新奇分析方法被描述，分析方法也在这篇论文被介绍。新仪器能够在直到一般水准的高温度的织物的热抵抗使用了的措施

期刊

热敏电阻耐热织物分析方法测量thermal resistance heat-resistant fabricsanalytical method

网络生存适应性的多目标评估

为了更好地测度网络适应环境变化的能力,提出了一种简单的多目标量化评估网络生存适应性的方法.该方法将网络效率、网络鲁棒性和网络代价等多个优化目标结合起来,通过定量加

期刊

网络生存适应性评估多目标优化网络效率网络鲁棒性network survival fitness evaluation multi-objective

用于机动目标跟踪的多模型概率假设密度滤波器

针对概率假设密度（PHD）滤波器在多目标跟踪问题中无法解决目标发生较大机动时的目标丢失问题,提出了一种多模型概率假设密度（MM-PHD）滤波器.这种MM-PHD滤波器在粒子PHD滤波器的基

期刊

机动目标跟踪概率假设密度多模型估计maneuvering target tracking probability hypothesis density

Robust Predictive Control of Uncertain Systems with Time-delay Using Tight Sets of Predicted States

在有时间延期(RPC-TDS ) 的线性系统使遭到了到抑制输入的分离时间的预兆的控制(MFC ) 算法控制的一个柔韧的模型被介绍，在 thepolytopic 不确定性在州的矩阵和输入矩阵存在的

期刊

预测控制鲁棒控制时间延迟系统不确定性系统predictive control robust control time-delay system t

摊上个多疑症的老婆怎么办

一对夫妻都是五十多岁的人了，三十多年前两人经人介绍相识并结婚，婚后生育一子。结婚三十多年来，夫妻俩为琐事争执不断，但并没影响到夫妻感情，3口之家也算是和睦温馨。但自从2014

期刊

多疑夫妻感情结婚妻子争吵

Effect of Post Spinning Modification on the PAN Precursors and Resulting Carbon Fibres

特殊等级 polyacrylonitrile (平底锅)的受精先锋纤维在 8 wt.% KMnO4 水的答案被执行获得修改平底锅 precusor fibres.The 集中主要在结构和先锋纤维，热 stabilised 和他们

期刊

碳纤维力学性能表面处理形态结构carbon fibresmechanical propertiessurface treatmentsmorpholog

Rigorous Modeling of Real-time System Based on UML and PVS

与本文相关的学术论文