切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
反应式嵌入式系统形式化性能模型的研究
反应式嵌入式系统形式化性能模型的研究
来源 :小型微型计算机系统 | 被引量 : 0次 | 上传用户:xienengxian0615
【摘 要】
:
基于进程代数EACSR-VP和形式化描述语言CPSL,介绍了如何建立和描述反应式嵌入式系统的形式化性能评价模型.该模型通过抽象去掉了实现了细节,是可执行的,利用其可以对不同的设
【作 者】
:
张冠华
张连华
白英彩
【机 构】
:
上海交通大学
【出 处】
:
小型微型计算机系统
【发表日期】
:
2005年11期
【关键词】
:
嵌入式系统
进程代数
形式化方法
性能
embedded system process algebra formal method Performance
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
基于进程代数EACSR-VP和形式化描述语言CPSL,介绍了如何建立和描述反应式嵌入式系统的形式化性能评价模型.该模型通过抽象去掉了实现了细节,是可执行的,利用其可以对不同的设计方案进行定量的性能验证,得到不同系统的性能指标并进行分析和比较,从而使最终的系统实现满足特定性能指标要求.
其他文献
分布并行的分形图像压缩算法
分形图像压缩算法的时间复杂性很大 ,在单机上受到限制 .针对这方面提出的分类方法、基于邻域搜索算法等虽然降低了时间复杂性 ,但同时也影响了图像的压缩质量 .本文把分布并行机制引入分形压缩算法 ,提出分布并行的自适应四分树分形压缩算法 ,并在基于 Java RMI的分布并行计算系统中加以实现 .实验表明可以获得接近计算结点数的加速比
期刊
分形图像压缩算法
分布并行计算
图像匹配
图像处理
计算机
图像块
fractalimage compression distributed parallel
黑龙江省气象局利令智昏
<正>6月14日,黑龙江省人大审议通过《黑龙江省气候资源探测和保护条例》。《条例》明确规定,气候资源为国家所有,对气候资源探测将实行探测许可制度。黑龙江省气象局以自己的
期刊
黑龙江省气象局
气候资源
基于流量分布矩阵的吞吐量稳态分析及速率控制
本文以静态流量分布矩阵为业务模型,将端系统的各种限制都等效为传输容量的限制,分析了一类分布式应用在端系统存在瓶颈条件下的稳态吞吐量性能,分析了稳态吞吐量唯一性,公平性条
期刊
瓶颈
吞吐量
稳态分析
速率控制
流量分布矩阵
Static traffic distribution matrixBottleneckThroughputSt
水星进动问题的解析近似解及误差分析
利用摄动重整化群法得出描述水星进动问题的爱因斯坦方程初值问题的渐近近似解,并利用非线性Gronwall不等式给出了近似解的误差分析,证明了近似解的大范围一致有效性。
期刊
重整化群方法
爱因斯坦方程
误差估计
观物取象——盆景艺术创作灵感的源泉
“观物取象”这一美学命题源自《周易》的《易象》学说,其核心思想是从观察天地自然之象开始,以自我的生命体验为基础,在心与物的交感融会过程中,对自然之象进行提炼概括,从
期刊
营构
核心思想
盆景
基础
观物
意中
相融
心与物
基于协同发音现象的一种汉语语音合成方法
在目前汉语语音合成常用的波形编码合成方法中,通常是以单音节作为语音合成的声音基元.但是由于合成时音节连接处往往不能很好的过渡,导致合成语音自然度不是很好.本文针对这
期刊
汉语语音合成
协同发音
TD—PSOLA算法
mandarin speech synthesis coarticulation TDPSOLA
自身骨髓间充质干细胞治疗慢性移植物肾病的安全性与可行性
目的分析自身骨髓间充质干细胞治疗慢性移植物肾病的安全性与可行性。方法选取26例慢性移植物肾病患者,患者均自愿接受自身骨髓间充质干细胞治疗。观察治疗后不良反应,对比治
期刊
慢性移植物肾病
自身骨髓间充质干细胞
安全性
可行性
《小狗包弟》课堂实录
<正>[导入新课]师:同学们对文化大革命了解多少?生:很多人被冤枉,很多人被批斗致死。生:老舍不堪屈辱,投湖自尽了。师:文化大革命始于1966年,结束于1976年,这场运动堪称"十年
期刊
专政队
《小狗包弟》
北京市大学生碳排放特征及影响因素分析
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’#陈川个美食 Back to yield
期刊
大学生
低碳
生活方式
节能减排
北京市
纸浆林尾细桉杂种无性系选育研究
本研究以135个尾叶桉及其杂种无性系为对象,在桉树主栽区雷州林业局3种立地条件下多地点、多年度重复筛选优良无性系的基础上,对5年生适应、高产和抗风的尾细桉等杂种无性系开
学位
尾细桉无性系
生长
材性
化学组分
制浆特性
抗性
综合选择
与本文相关的学术论文