论文部分内容阅读
根据嵌入式系统软件的特点和发展需求，设计了一种新的嵌入式软件组件模型SECOM，给出了模型的基本组成元素。同时，利用时间Petri网TPN建立一个TPN计时器timer，对该组件模型SECOM非功能性约束中的实时性进行建模与分析，形式化地验证了该组件的实时性。
基于Petri网的嵌入式软件组件的实时性研究
【摘 要】
：
根据嵌入式系统软件的特点和发展需求，设计了一种新的嵌入式软件组件模型SECOM，给出了模型的基本组成元素。同时，利用时间Petri网TPN建立一个TPN计时器timer，对该组件模型SECOM非
【机 构】
：
西北师范大学数学与信息科学学院,西安理工大学管理学院,西北工业大学自动化学院
【出 处】
：
电子技术应用
【发表日期】
：
2009年2期
【基金项目】
：
教育部科学技术研究重点项目（208148）
其他文献
程项目竣工结算审计与民生有着一定程度的关系,并且是竣工结算阶段的一个重要环节,也是能够准确确定工程造价的重要根据.本文围绕工程竣工结算审计的概念以及意义,结合实际情
提出了基于杂交粒子群优化算法的分布式可再生能源并网的无功优化算法，从网损和静态电压稳定裕度两个角度出发，构建了含分布式发电系统的配电网无功优化的数学模型。在美国PG＆E6
（本刊讯）8月8日，山东大丰机械有限公司在山东省兖州市隆重召开2012商务年会。中国农机工业协会理事长高元恩，山东省农机办主任林建华，兖州市市委常委、市长张玉华等领导和来自全国
一、农机合作组织发展情况到2010年底，宁夏各类农机作业服务组织及农机户总数达到24．8万个，从业人员37．3万人，各类农机作业服务组织年作业面积400多万亩。目前，宁夏农机合作组织主
在数字下变频系统实现方案中，输入的模拟中频信号经过高速A／D采样数字化后与数控振荡器NCO（Numerically Controlled Osillator）产生的正交本振信号混频，然后再由抽取滤波模块进行
通过对常用快速傅里叶变换算法原理的研究分析，提出了一种简单有效的FFT算法实现方案，该方案已经在TMS320C64x DSP中实现。将FFT算法程序在CCS3．3中运行，验证了该方案的可行性、