论文部分内容阅读
无饥饿性和活性是系统进展性的典型问题.基于不变式理论,针对一类Petri网,提出了分布式资源共享系统强制公平性和活性的方法.首先,基于T-不变式,把系统的网模型设计为一个公平网.此后,利用P-不变式把一个公平的网模型设计为一个活且公平网.以著名哲学家就餐问题为例,说明了这种方法的应用.
分布式资源共享系统的进展性设计
【摘 要】
：
无饥饿性和活性是系统进展性的典型问题.基于不变式理论,针对一类Petri网,提出了分布式资源共享系统强制公平性和活性的方法.首先,基于T-不变式,把系统的网模型设计为一个公
【机 构】
：
西安电子科技大学机电工程学院
【出 处】
：
西安电子科技大学学报
【发表日期】
：
2002年5期
其他文献
目前,网络已经成为人们生活的必备品,信息化营销也成了商家新的营销武器。信息化营销可以将商品大量的信息进行投放,同时信息的投放种类也很多,让人们对于商品了解的更加详细
苹果多酚（Apple Polyhenos）是苹果中一种主要活性成分,具有很强的抗氧化、抗肿瘤、抗动脉硬化及防治冠心病功能,极具开发背景。本研究以北方特色苹果品种寒富苹果为研究对象,使
菰属是稻族12属之一,与水稻有较近亲缘关系。由于其具有很多优良特性,因而成为水稻品质和产量改良的重要基因源。尽管菰属内种的分类仍存在一定争议,但本文以常用的水生菰、
<正>党的十九大提出推进诚信建设制度化,中电联是全国性的电力行业组织,熟悉电力行业、企业,拥有电力行业信息统计数据、可靠性数据、发电机组对标数据、科技创新成果、信息
能源是一个国家经济的重要基础。现代社会的正常运行离不开能源的支撑。近年来,我国的能源消费结构已经发生了重大的变化,从单一的煤炭能源逐渐地向能源多元化方向发展。但是
我国复合肥行业发展迅猛,整体发展势态良好,但还是有很大一部分企业存在一些问题,尤其是在管理水平和营销能力方面,有待完善的地方还有很多。总而言之,大部分复合肥生产企业
随着信息网络技术的发达．网络流行语已经遍及网络社交平台甚至蔓延至现实言语交际。本文尝试从语用视角解析和探讨网络流行语的传播路径，指出流行语传播过程就是各个言语社群的
目的：揭示柿果醋生产过程中抗氧化性能变化规律及其物质基础。方法：以水柿为原料、采用一步发酵方法,对柿果醋生产过程中主要抗氧化物质含量和抗氧化性能的变化以及它们之间的