【摘 要】
：
该文利用结构分析理论,结合化简技术,分别从控制的角度与合成分解的角度对非对称选择网的主要行为特征--活性（包括有界性）进行了深入仔细的研究,得到了一些新的,具有理论与实际
论文部分内容阅读
该文利用结构分析理论,结合化简技术,分别从控制的角度与合成分解的角度对非对称选择网的主要行为特征--活性（包括有界性）进行了深入仔细的研究,得到了一些新的,具有理论与实际应用价值的结果.主要贡献包括：（1）提出了存在控制映射保证非对称选择网活性的充分和必要条件;给出非对称选择网的一子类.（2）证明了非对称选择网存在控制映射保证其结构活的充分必要条件是经过有方向的割库所（割变迁）分解后的两个子网分别存在控制映射保证其结构活.（3）给出了非对称选择网的一子类,可控制非对称选择网（CAC网）,证明了存在控制映射保证其结构活性的充分必要条件.进而给出一多项式时间算法来判定一个非对称选择网是否是存在控制映射保证其结构活性的CAC网.（4）定义了一类非对称选择网,可分解非对称选择网（DAC网）.（5）提出并证明了DAC网系统活性的充分必要条件,并推出其活性满足单调性,扩展了活性满足单调性的网类.（6）设计了判定一个Petri网是否是DAC网的多项式时间算法.证明了该算法的正确性与复杂度.（7）扩展了DAC网,得到EDAC网.
其他文献
本文主要对常规武器监测和虚拟仪器技术做了较为深入细致的研究探讨，设计开发了虚拟仪器系统的硬件和部分系统软件，组建了虚拟仪器开发平台。在硬件的设计中，应用了目前比较流行
随着市场环境的日益成熟，竞争日趋激烈，客户资源日显重要。现代企业管理的重心随之从传统的生产、物流、财务等内部管理转向全面的客户关系管理(CRM).CRM系统因而成为企业的核
该文作者通过参与CodeWarrior平台上的SH处理器的调试器的设计和开发,对新的调试器的体系结构的设计与实现,对目标端调试协议MetroTRK的移植,以及嵌入式开发系统的安全问题作
近年来,机群系统在科学计算和商务服务领域得到日益广泛的应用,人们对机群系统的高性能计算及高可用性也提出了更高的要求.该文首先分析了机群系统中科学计算及商务计算的特
车辆电子综合系统是"九五"兵器重点预研项目,该系统是基于VxWorks实时操作系统,以1553B 作为现场总线.为了控制车辆电子综合系统的通讯,为此需要设计车辆电子综合系统的信息
我国现在已经成为全球主要的半导体封装产业基地之一，半导体封装测试产业也是中国半导体产业的重要支撑点和我国国民经济的重要组成部分。但是，伴随经济全球化和国内市场经济的
该文研究虚拟现实体图形学的一个重要算法——基于体单元(Voxel)的光线追踪算法.该文研究的内容主要有两大部份,一是体单元光线追踪算法原理的研究,二是算法的实现.在算法原
随着网络技术的迅猛发展，分布式应用日益广泛。然而，网络技术发展的多样性以及运行平台的异构性给分布式应用带来很大的困难。设计模式是近年来软件工程领域热门研究的课题，其目
该文为了有效地判别文章的观点立场,把一个题材鲜明的"反动"内容信息流视为一种攻击,把内容过滤的问题转化成了一个入侵检测的类似问题.根据过滤主题的域知识,提取攻击的特征
本文阐述了数据仓库系统的技术特点和开发方法，分析了当前的数据仓库建模工具与ETL工具的特点，提出结合两种工具为一体的思路，给出侨务数据仓库METL工具的设计思想，并介绍了其详