【摘 要】
：
该论文首先给出亚公平依赖、亚公平关系的定义及判定条件,从而使公平依赖体系和公平体系完整化.之后又对亚公平网的性质进行研究,得出其两方面的性质:亚公平Petri网一定存在
论文部分内容阅读
该论文首先给出亚公平依赖、亚公平关系的定义及判定条件,从而使公平依赖体系和公平体系完整化.之后又对亚公平网的性质进行研究,得出其两方面的性质:亚公平Petri网一定存在公平关系;亚公平网的本原可重复向量集(或其扩集同各量间大小关系"≤")形成一个格结构.在此基础上,论文中又给出亚公平Petri网的特征可达树,利用特征可达树,可判定标识的可过性,也可求出各库所是否有界入其界值.还可判定出此亚公平Petri网的活性.对其基网,也给出了求其本原可重复向量集的算法.从而对这一公平体系中重要的网子类有了一个较深刻的认识.
其他文献
本论文主要是研究利用计算机分析汉语语句。在论文中，详细介绍了汉语语句分析系统的算法思路和具体实现。本文一共包括六章。 第一章主要是介绍目前国内汉语语句计算机分析
该论文提出了一种新的能量色散X射线荧光分析软件,其中包括系统分析与设计、谱的分析方法、定性分析和定量分析方法等.在系统分析与设计方面,结合实际,使用了一种综合面向对
该文试图从软件工程技术和软件工程管理这两个方面,根据多媒体课题件开发的特点,提出一套适合多媒体课件开发的开发方法和管理方法.在软件工程技术方面,该文着重于软件开发模
目前,组件技术已经在计算机软件的许多方面得到广泛的应用.其中,把组件技术应用到WEB系统上,可以很好地解决WEB服务器功能有限的缺陷,扩展WEB系统的应用功能,从而实现复杂的
该文以装备管理系统为实现背景,着重研究装备调拨管理子系统中的三个问题—装箱问题、确定性调拨问题和非确定性调拨问题.后两个问题可以分解为多目标规划问题、最短路径问题
由于群机器人系统的结构迥异于单机器人系统和多机器人系统,因此,必须采用适应于其结构特点的理论和方法才能解决群机器人系统中的相关问题。首先,针对未知环境下的群机器人
随着网络带宽的增加和人们对网络服务质量要求的提高，网络计费越来越重要。并且随着新业务的出现，网络计费又出现了许多新的需求。现有的一些计费系统有的由于过时已经不能满足
软件测试是软件工程中的一个阶段,是保证软件质量的重要手段.面向对象软件测试技术的研究是面向对象开发方法的不可缺少的一环,但目前的研究现状与面向对象的分析、设计方法
该文主要介绍了玉溪红塔集团生产二部生产设备维修管理系统的研制与开发过程.生产设备维修管理是生产二部保障生产的重要工作内容,开发该系统的目的在于规范化现有的设备维修
随着软件规模和复杂性的不断增加,系统总体结构设计和说明的重要性远远超过了特定算法和数据结构的选择与设计.软件体系结构作为描述系统高层设计和实现更广范围内软件重用的