论文部分内容阅读
基于进程代数EACSR-VP和形式化描述语言CPSL,介绍了如何建立和描述反应式嵌入式系统的形式化性能评价模型.该模型通过抽象去掉了实现了细节,是可执行的,利用其可以对不同的设计方案进行定量的性能验证,得到不同系统的性能指标并进行分析和比较,从而使最终的系统实现满足特定性能指标要求.
反应式嵌入式系统形式化性能模型的研究
【摘 要】
：
基于进程代数EACSR-VP和形式化描述语言CPSL,介绍了如何建立和描述反应式嵌入式系统的形式化性能评价模型.该模型通过抽象去掉了实现了细节,是可执行的,利用其可以对不同的设
【机 构】
：
上海交通大学
【出 处】
：
小型微型计算机系统
【发表日期】
：
2005年11期
其他文献
分形图像压缩算法的时间复杂性很大 ,在单机上受到限制 .针对这方面提出的分类方法、基于邻域搜索算法等虽然降低了时间复杂性 ,但同时也影响了图像的压缩质量 .本文把分布并行机制引入分形压缩算法 ,提出分布并行的自适应四分树分形压缩算法 ,并在基于 Java RMI的分布并行计算系统中加以实现 .实验表明可以获得接近计算结点数的加速比
<正>6月14日,黑龙江省人大审议通过《黑龙江省气候资源探测和保护条例》。《条例》明确规定,气候资源为国家所有,对气候资源探测将实行探测许可制度。黑龙江省气象局以自己的
本文以静态流量分布矩阵为业务模型，将端系统的各种限制都等效为传输容量的限制，分析了一类分布式应用在端系统存在瓶颈条件下的稳态吞吐量性能，分析了稳态吞吐量唯一性，公平性条
利用摄动重整化群法得出描述水星进动问题的爱因斯坦方程初值问题的渐近近似解，并利用非线性Gronwall不等式给出了近似解的误差分析，证明了近似解的大范围一致有效性。
“观物取象”这一美学命题源自《周易》的《易象》学说,其核心思想是从观察天地自然之象开始,以自我的生命体验为基础,在心与物的交感融会过程中,对自然之象进行提炼概括,从
在目前汉语语音合成常用的波形编码合成方法中,通常是以单音节作为语音合成的声音基元.但是由于合成时音节连接处往往不能很好的过渡,导致合成语音自然度不是很好.本文针对这
目的分析自身骨髓间充质干细胞治疗慢性移植物肾病的安全性与可行性。方法选取26例慢性移植物肾病患者,患者均自愿接受自身骨髓间充质干细胞治疗。观察治疗后不良反应,对比治
<正>[导入新课]师:同学们对文化大革命了解多少?生:很多人被冤枉,很多人被批斗致死。生:老舍不堪屈辱,投湖自尽了。师:文化大革命始于1966年,结束于1976年,这场运动堪称"十年
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield