论文部分内容阅读
本文提出了一个基于定时的Ｐｅｔｒｉ网和立方体队列网络的实时多任务系统的建模方法－ＴＰＣＱ，它特别适合于描述含有同步、通信和立方体队列调度的复杂的实时多任务系统，也可以描述一般的实时多任务系统。文中讨论了ＴＰＣＱ模型，并且给出了一个建立实时多任务系统的ＴＰＣＱ模型的例子。
实时多任务系统的TPCQ建模方法
【摘 要】
：
本文提出了一个基于定时的Ｐｅｔｒｉ网和立方体队列网络的实时多任务系统的建模方法－ＴＰＣＱ，它特别适合于描述含有同步、通信和立方体队列调度的复杂的实时多任务系统，也可以描述一般的实时多任
【机 构】
：
太原卫星发射中心技术部,国防科学技术大学计算机系
【出 处】
：
计算机研究与发展
【发表日期】
：
1995年6期
其他文献
环境问题具有显著的全球化特征。目前民族国家和国际组织对环境问题的解决都关涉到环境正义。西方发达国家站在其自身利益的立场，提出荒野保护和救生艇等理论方案。由于其主张
2013年12月27日下午，在中国林业的杰出开拓者——梁希先生诞辰130周年纪念日前一天，南京林业大学召开纪念梁希诞辰130周年暨梁希林业与生态思想研讨会。研讨会上，专家学者们分别
在杏资源圃内采集完全成熟的金太阳杏自然杂交种子131个，2000年11月中旬按2m×0．5m的行株距播种在试验园内。2001年春季出苗103株。2004年大部分实生树开始结实，我们随即对
本文对ＣＢＳ图像重建原理中矩阵转换问题的并行算法进行了设计和分析，讨论了在不同的设计方法下的并行算法时间复杂度和通信开销，并在曙光一号并行机上实现了它的多线程并行算法，测试
本文讨论了混合超图中４ＮＦ判定有关的理论，并在此基础上给出了一个对应的关系模式是否属于４ＮＦ的判定算法。
据中国科学技术研究所和北京万方数据股份有限公司提供的数据，《南京林业大学学报（人文社会科学版）》2010年影响因子为0．912，他引率为99％，在江苏乃至全国都居前列。坚持“环境与发展
1肥料种类枣树所施用的肥料按来源与组成成分分为有机肥和无机肥。有机肥包括农家肥、绿肥等。无机肥主要指氮、磷、钾、钙、镁、硫、铁、锰、锌、铝、硼、铜、氯等元素的单
从核桃青皮中萃取天然活性物质防治板栗叶螨的研究结果表明：用99．7％乙醇200mL萃取200g核桃青皮的天然活性成分，将萃取液稀释10倍、30倍，12h校正死亡率分别为76．0％、43．5％。对上述溶液
晚秋黄梨以其特有的个大、果肉细、耐贮、含糖量高而成为市场上的畅销品种，廊坊市近两年发展面积达到了667hm^2以上，取得了较好的经济和社会效益。
本文从分析主属性在关系模式中的特点出发，在模式矩阵及其分类的基础上，给出了一个基于矩阵的关系模式主属性的判定算法。