论文部分内容阅读
根据嵌入式系统软件的特点和发展需求，设计了一种新的嵌入式软件组件模型SECOM，给出了模型的基本组成元素。同时，利用时间Petri网TPN建立一个TPN计时器timer，对该组件模型SECOM非功能性约束中的实时性进行建模与分析，形式化地验证了该组件的实时性。
基于Petri网的嵌入式软件组件的实时性研究
【摘 要】
：
根据嵌入式系统软件的特点和发展需求，设计了一种新的嵌入式软件组件模型SECOM，给出了模型的基本组成元素。同时，利用时间Petri网TPN建立一个TPN计时器timer，对该组件模型SECOM非
【机 构】
：
西北师范大学数学与信息科学学院,西安理工大学管理学院,西北工业大学自动化学院
【出 处】
：
电子技术应用
【发表日期】
：
2009年2期
【基金项目】
：
教育部科学技术研究重点项目（208148）
其他文献
程项目竣工结算审计与民生有着一定程度的关系,并且是竣工结算阶段的一个重要环节,也是能够准确确定工程造价的重要根据.本文围绕工程竣工结算审计的概念以及意义,结合实际情
9月19日上午，2015年第十一届中国昆明泛亚国际农业博览会在昆明国际会展中心拉开序幕，约翰迪尔高端农机6J系列1654、新6B系列1204和中耕打药专用高地隙拖拉机5E系列850H亮相此
提出了基于杂交粒子群优化算法的分布式可再生能源并网的无功优化算法，从网损和静态电压稳定裕度两个角度出发，构建了含分布式发电系统的配电网无功优化的数学模型。在美国PG＆E6
（本刊讯）8月8日，山东大丰机械有限公司在山东省兖州市隆重召开2012商务年会。中国农机工业协会理事长高元恩，山东省农机办主任林建华，兖州市市委常委、市长张玉华等领导和来自全国
一、农机合作组织发展情况到2010年底，宁夏各类农机作业服务组织及农机户总数达到24．8万个，从业人员37．3万人，各类农机作业服务组织年作业面积400多万亩。目前，宁夏农机合作组织主
在数字下变频系统实现方案中，输入的模拟中频信号经过高速A／D采样数字化后与数控振荡器NCO（Numerically Controlled Osillator）产生的正交本振信号混频，然后再由抽取滤波模块进行
通过对常用快速傅里叶变换算法原理的研究分析，提出了一种简单有效的FFT算法实现方案，该方案已经在TMS320C64x DSP中实现。将FFT算法程序在CCS3．3中运行，验证了该方案的可行性、
近年来，农业部农机推广总站与中国农业银行农银金融租赁公司签署战略合作协议，以浙江省宁波市为试点，共同开展金融租赁服务现代农业装备的模式研究和试点试验示范工作，取得了初步
一、电子商务发展现状和趋势截止到2013年底，据第三方数据统计①，我国电子商务交易规模达到10．2万亿，其中，B2B、C2C模式交易规模分别达到8．2万亿元、1．8}5亿元，已成为全年电子商务交
经过多年的研究和实践，适合张掖市冷凉风沙灌区农业生产特色的保护性耕作技术已经逐步建立起来，但保护性耕作病虫草害的综合防控技术是其中最为薄弱环节之一。病虫草害是农业生