【摘 要】
：
为了解决复杂嵌入式系统模型在操作系统上的实现要求,提出了一个新的基于模型驱动架构的嵌入式操作系统内核Pcanel.该内核提供一个构件化的运行环境,以细粒度的构件作为基本
【基金项目】
：
国家高技术研究发展计划(863计划)，浙江省科研项目
论文部分内容阅读
为了解决复杂嵌入式系统模型在操作系统上的实现要求,提出了一个新的基于模型驱动架构的嵌入式操作系统内核Pcanel.该内核提供一个构件化的运行环境,以细粒度的构件作为基本单位,以构件框架作为控制构件计算任务的体系结构.构件框架对应设计阶段的抽象计算模型,由计算模型解决系统在功能方面的问题.构件框架按照触发器条件控制构件的执行,解决系统在非功能方面的问题.Pcanel采用一个规范的状态和行为的转换系统,将控制流与构件的执行相分离,并且在规范的递归形式下实现框架的组合.研究结果表明,Pcanel能够灵活地应用于
其他文献
摘要：文章以成昆铁路峨米段月直山隧道为研究背景，对隧道施工中的安全风险进行详细分析，并且做好隧道施工管理工作，保证施工的顺利进行。 关键词：隧道施工;安全风险;施工管理 近些年来，我国高速铁路的发展速度不断加快，而隧道建设作为铁路建设施工中的重要一环，对其施工管理和技术要求不断提高。由于隧道施工的特殊性，施工前要对隧道的地质条件及施工环境进行考察，有效评估隧道施工过程中可能会出现的安全风险，做
目的观察眼针在周围性面瘫治疗中的近、远期疗效。方法将临床本病患者随机分为2组,对照组常规针灸治疗,治疗组加用眼针治疗。近期疗效以3个月为周期,分别观察治疗后临床症状
目的观察采用吻合器痔上黏膜环切术(PPH)联合中药熏蒸治疗急性嵌顿痔疗效。方法将62例急性嵌顿痔患者分为治疗组与对照组。治疗组31例采用吻合器痔上黏膜环切术(PPH)加中药熏
目的研究中药益心汤治疗冠心病稳定型心绞痛的临床效果。方法选取收治的冠心病稳定型心绞痛患者164例作为研究对象,并依据随机原则分成试验组(西药治疗+中药益心汤治疗)和对
为了保护原始签名人的隐私,提出了一种基于加密和盲签名的消息保密的代理签名方案.在代理授权过程中,原始签名人把消息用ElGamal算法加密后和其他代理授权参数一起传递给代理
针对仿真培训系统实时性的要求,在IEC 61970 CIM公共信息模型的基础上,通过在电力设备之间定义连接端的方式实现设备连接建模,从而建立了集控站仿真培训系统的面向对象的数据
目的 研究通经柔筋缓急汤治疗尿毒症不宁腿综合征患者的临床效果。方法 选取郑州市中医院80例尿毒症不宁腿综合征患者作为研究对象,按治疗方案不同分组,各40例。对照组采取西