论文部分内容阅读
以时间Petri网为模型，验证系统功能性和实时性，在此基础上，提出了一种由子任务的能耗变化率驱动的启发式能耗优化算法，并针对一类特殊形式的网模型——可组合时间Petri网，设计了相应的简化算法．实验说明，上述算法时间复杂度低，且优化效果接近最优值，能够为实时系统低能耗高层综合提供有力支持．
基于时间Petri网的实时系统低能耗高层综合
【摘 要】
：
以时间Petri网为模型，验证系统功能性和实时性，在此基础上，提出了一种由子任务的能耗变化率驱动的启发式能耗优化算法，并针对一类特殊形式的网模型——可组合时间Petri网，设计了相
【机 构】
：
中国科学技术大学计算机科学与技术系
【出 处】
：
计算机研究与发展
【发表日期】
：
2006年1期
【基金项目】
：
国家自然科学基金项目（60273042）,安徽省自然科学基金项目（03042101）
其他文献
Ｄｅｔｅｒｍｉｎａｔｉｏｎ ｏｆ ａｎ Ｉｓｏｍｅｒｉｃ Ｓｔａｔｅ ｉｎ <sup>１９８</sup>Ｂｉ￥ＺｈｏｕＸｉａｏｈｏｎｇ；ＳｕｎＸｉａｎｇｆｕ；ＬｅｔＸｉａｎｇｇｕｏ；ＣｈｅｎＸｉｎｆｅｎｇ；ＬｉｕＺｈｏｎｇ；ＺｈａｎｇＹｕｈｕ；ＪｉｎＨａｎｊｕａｎ；?..
期刊
变电运行是电网企业的核心环节，变电运行管理工作开展的有效与否将直接影响整个电网运行的稳定，变电运行管理工作主要包括制度修编、设备管理、资料整理、技能培训_、停电管理
董仲舒十分重视儒家典籍《论语》,在著作中大量引用,其中《天人三策》引用17次,《春秋繁露》引用43次,引用频次远远高于汉初其他论著。在引用方式上大多采用直接引用,也有少
计算机网络和电信产业的结合是目前的主流高技术.文中简述了全球网INTERNET的应用情况;对一般用户接入INTER网的各种方式及其速率、优缺点进行了比较;重点论述了电信和INTER
现代大型综合市场的设计倾向于模块化,主功能块和辅助功能块形成有机连接,并提出以人为本的思想.文章以淮海食品城水产肉制品市场为例,提出了模块化,智能化,系统化的设计概念
Ｉｓｏｌａｔｉｏｎ ｏｆ Ａｃｔｉｎｉｕｍ ｆｒｏｍ Ｎｅｕｔｒｏｎ－ｉｒｒａｄｉａｔｅｄ Ｔｈｏｒｉｕｍ－Ｉ￥ＹａｎｇＷｅｉｆａｎ；ＹｕａｎＳｈｕａｎｇｇｕｉ；ＭｕＷａｎｔｏｎｇ；ＺｈａｎｇＸｕｅｑｉａｎ；ＬｉＺｈｏｎｇｗｅｉａｎｄＺｈａｏＬｉｌｉ...
期刊
CloudBurst是在MapReduce框架下实现的一种并行的序列匹配算法,旨在更快地处理由下一代DNA测序仪得到的大量的序列数据在参考基因序列上的匹配问题.然而,受限于开源的Hadoop