论文部分内容阅读
如今,嵌入式系统发展迅速,伴随的嵌入式服务软件地位越来越重要,其服务软件的可靠性尤其被重点关注。本文研究嵌入式外层服务软件模块之间的可靠通信方式,如何以较低代价换取嵌入式系统的高可靠性和稳定性。对嵌入式服务软件可靠行为进行建模,重点对信息的发送模式和信息接收模式进行建模。
基于形式化模型的嵌入式服务模块规约
【摘 要】
：
如今,嵌入式系统发展迅速,伴随的嵌入式服务软件地位越来越重要,其服务软件的可靠性尤其被重点关注。本文研究嵌入式外层服务软件模块之间的可靠通信方式,如何以较低代价换取
【机 构】
：
湖北科技学院计算机科学与技术学院
【出 处】
：
湖北科技学院学报
【发表日期】
：
2016年3期
【基金项目】
：
湖北科技学院校级青年课题资助（KY10037）
其他文献
邵壮，男，1967年生，辽宁开原人，教授、主任医师，1990年毕业于大连医学院临床专业。从事骨科临床专业17年。被聘为辽宁省司法鉴定委员会理事，辽宁康复医学会委员，多次被评为院内优秀科
多年的高校思想政治理论课教改实践表明,坚持以问题为导向的“五带”教学模式,能有效地激活学生的主体意识,提高学生的学习效果,达到使学生“作为人能够成为人,而不是成为某
"话语权"这一概念来源于法国社会学家米歇尔·福柯关于话语与社会权力关系的理论。这一概念被引入国际问题研究领域后,逐渐形成了对"国际话语权"的思考。美国作为世界第一强
《幼幼集成》是清代儿科名著，对儿科临床具有良好的指导作用，由于自身诸多因素影响，目前诸书的使用率明显下降，故有必要对该书实现电子化管理。
土地承包经营权是农民的一项重要的财产权利。我国现行法律考虑到保护耕地及维护农村社会稳定等方面因素，禁止以家庭承包方式取得的土地承包经营权进行抵押。但农村改革发展和
高脂血症主要是以血浆中胆固醇（TC）、甘油三酯（TG）、低密度脂蛋白（LDL）升高，高密度脂蛋白（HDL）降低为表现的一种血脂代谢紊乱状态，目前虽多种西药有肯定的降脂作用。但长期应用多有不同
目的探讨白细胞介素-10（IL-10）基因载体对自发性高血压大鼠血管平滑肌细胞（SHRVSMC）增殖和球囊损伤后新生内膜形成的影响。方法成功构建慢病毒IL-10基因载体。自发性高血压大鼠（SH
通过近10年来众多学者从多学科角度对藏象学说形成发展缘由的文献回顾，指出藏象学说是由多种因素相互作用、多门学科相互影响下形成并不断发展、完善的。藏象学说的研究，必须充
【正】 (一) 财政是国家为维持其存在和行使职能的需要,凭借其权力对社会产品进行分配和再分配的工具;是社会产品分配中的一个特殊的组成部分,反映着国家在分配社会产品中发