嵌入式操作系统规范化内核设计研究

来源 :计算机工程 | 被引量 : 0次 | 上传用户:xjl121121
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
提出了一种嵌入式探作系统的规范化内核设计方法,并基于规范设计方法建立了一个嵌入式系统模型REPMM,讨论了其结构、特征和实现过程.
其他文献
对西梁水库溢洪道水工模型试验成果数据进行了深入介绍和分析,并对溢洪道模型试验中发现的问题提出了建议,为以后类似工程提供参考。
在国家互联网信息办公室网络安全协调局指导下,由战略支援部队信息工程大学、河南省互联网信息办公室、郑州市人民政府共同主办的"强网杯"系列活动于2019年6月15日至16日在郑
民变在中国的封建社会里是一种常见的社会现象,历朝历代都有普通民众为争取生存利益奋起反抗的斗争。清末新政时期,全国各地的民变风潮达到中国封建社会的顶峰。特别是在广大
该文根据设计活动的特点,在综述设计事例表示,组织与检索模型基础上详细讨论了基于规则混合推理专家系统结构模型,以及在收音机起落架起落机设计系统LEDES上具体应用。
民国初年,全国范围内私盐问题相当严重,长芦盐区包括盐产区和销售区也不例外,特别是具有地方特色的硝土私盐泛滥,同时也存在其他如邻私、枭私等私盐形式。这是由长芦盐区土质
20世纪20-30年代,国共关系日益成为知识精英们的关注所在。针对国民党政府的“剿共”政策,《独立评论》阵营形成了两种不同的政见:蒋廷黻、傅斯年等视共产党为“匪”、“寇”