论文部分内容阅读
设计了一种新的基于嵌入式系统软件特点和应用需求的嵌入式软件组件模型SECOM。同时，利用时间Petri网TPN建立了一个TPN计时器timer，对该组件模型SECOM非功能性约束中的实时性进行了建模与分析，结果满足嵌入式软件组件的实时性要求。
嵌入式软件组件的实时性研究
【摘 要】
：
设计了一种新的基于嵌入式系统软件特点和应用需求的嵌入式软件组件模型SECOM。同时，利用时间Petri网TPN建立了一个TPN计时器timer，对该组件模型SECOM非功能性约束中的实时性进
【机 构】
：
西北师范大学数学与信息科学学院
【出 处】
：
甘肃科技
【发表日期】
：
2013年6期
其他文献
析了A4VG轴向柱塞泵的带DA阀系统工作原理,并对DA阀的工作原理进行了分析。DA阀通过检测入口阻尼压差变化,放大输出控制压力使阀套平衡,输出压力经三位四通换向阀控制变量活
介绍了以豆油和顺酐为原料，经传统反应和加碘催化，以及微波催化不同的反应方式制得可加水无限稀释的透明溶液。并以傅里叶变换红外光谱仪对酐化油进行了测试，就各反应因素对酐化
基于ArcGIS Engine的水文生态数据管理系统为水文生态观测站的科学管理提供信息平台和科学依据。该文以ArcGIS Engine技术为核心,以C#.NET技术为手段,以ACCESS为后台数据库,构建了一个水文生态数据管理系统。该系统实现了空间数据的基本地图操作与分析、属性数据的录入与编辑、数据的动态查询与统计输出等功能,从而为水文生态观测站的数据管理提供了科学的依据。
无缝线路钢轨焊接接头断裂或线路钢轨断裂后，严重影响行车安全和正常运输组织。针对断裂的钢轨接头处理难度大的问题，研制了式结构的新型急救装置——无缝线路桥式急救器。该急
煤层对比是一项基础地质工作，对研究煤田沉积环境和聚煤规律，指导煤矿生产等具有重要的理论及现实意义[1]。特别在陆相成煤环境及断陷构造影响下，致使中祁连盆地层具有层数多、
简要分析了灌区自然条件、工程运行管理现状和存在的困难，指出了制约高扬程电力提灌工程发展的主要因素，并针对存在的工程设施和机电设备老化严重、运行效率低下、能源单耗增高
通过对石油产品中微量水测定方法对比试验的大量数据进行了T试验，检验出两种仪器对石油产品中微量水的测定结果无显著性差异，但在试验中可选用一台较佳的分析仪器，此仪器对石油