Petri网可达树的构造与实现

讨论了Petri网可达树的构造方法，给出了相应的算法和实现技术，对基于Petri网可达树的并发系统的动态性能分析具有一定的参考价值。     

资源分配系统禁止状态的避免研究

基于对有界、被P不变式覆盖且P不变式被初始标记的Petri网的结构分析，提出一种避免资源分配系统禁止状态的方法．该方法首先离线计算出资源分配系统Petri网模型中的死标识、坏标识和危险标识等特殊标识，进而在线保证系统不到达死标识和坏标识对应的禁止状态．该方法与其他方法相比，它使系统的许可行为最大化且无需计算网系统的整个可达图，更适合比较庞大的资源分配系统。     

基于Petri网可达性和结构的最大许可控制器设计

自动化制造系统属于资源分配系统，在运行过程中容易陷入死锁状态.为自动化制造系统设计控制器，达到避免死锁之目的.另外，良好的受控系统应具有最大许可行为.为了便于实现，控制器通常由线性约束综合表达.在现有的工作中，基于可达性分析，将处理对象缩减为一个小集合，仅包含少数可达非法标识.然后，对每标识构造一个混合整数线性规划问题并求解.由于求解整数规划固有NP-hard特征，该策略计算开销巨大.本文研究死锁的预防控制器设计.在可达图分析的基础上，结合标识的结构特点，对非法标记识别分类，建立代数条件，构造线性约束，确保其行为最大许可性.进而，设计多项式算法，使得计算复杂度显著降低.对特定的Petri网，采用结构分析，获得最大许可的受控系统.另外，对于那些结构分析中未能处理的标识，提出了线性规划解决方案.结果表明，对于所考虑的Petri网子类，避免了求解混合整数线性规划问题，本方案在计算复杂性方面具有明显的优势.最后通过两个实例验证了该方法的有效性.     

DPHI-Tree:一种新型的并行高维主存索引树

随着主存技术的发展,系统级分布式主存多媒体数据库存储规模不断扩大,查询越来越复杂,分布式并行索引以其高性能而逐渐成为解决此类复杂查询问题的有效手段.文章提出一种新的适合于分布式并行索引的树结构--DPHI-Tree.该索引树以B树为基础,利用PCA降维技术,将树的各层节点采用不同的维度表示,提高了缓存空间的利用率,降低了CPU负载.另外,采用标识根到节点路径的二进制编码来对节点索引,在查询数据量急剧增加时,PHI-Tree对基于树的数据随机访问具有良好性能.     

一类带有限制向量的时延离散Petri网

在时延离散Petri网的基础上,该文给出了具有限制向量的时延离散Petri网模型,与时延离散Petri网等价但其标识维数减少。接着分析了该类Petri网运行规则,给出系统运行下标识的累加计算方法。最后,通过算例分析说明了累加算法的正确性与合理性。     

用Petri网进行并发系统的描述与分析

本文介绍了以Petri网为工具对并发系统进行描述和分析的方法,并以Ada并发程序为例给出了Ada并发程序的描述方法。文中给出了一种Petri网的化简算法,并对化简后的Petri网构造出可达树,根据可达树分析系统的安全性、有界性和死锁等性质。     

知识库维护技术的研究

针对采用人工方法维护知识库存在的弊端，对知识库在一致性和完整性方面存在的问题进行了分析，给出了循环规则，冲突规则，等价规则，子规则，遗漏规则，不可达子句和死子句的定义及其检查方法。     

数据融合系统的Petri网模型

数据融合是对按时序由传感器获得的数据进行分析和综合的过程,本文提出了多维Ｐｅｔｒｉ网系统,用它建立数据融合的功能与结构模型,构造出该Ｐｅｔｒｉ网模型的可达树,在可达树上分析数据融合的性能和行为,同时给出了建立多维Ｐｅｔｒｉ网模型和构造可达树的算法     

Web服务组合中非确定性特征交互的Petri网检测

针对Web服务组合中出现的非确定性特征交互的检测问题，采用有色Token表示服务特征信息，建立了Web服务组合的有色Petri网模型。并在此模型的基础上，对非确定性特征交互问题进行了形式化定义。根据问题的规模不同，利用有色Petri网的可达树穷尽搜索法和P-不变量法，设计了两个Web服务组合的非确定性特征交互的检测算法。仿真结果表明，这两个算法在不同问题规模中是正确、有效的。     

广义系统干扰和输入输出同时解耦问题的转化

在研究状态反馈下的广义系统干扰和输入输出同时解耦问题时，先利用广义系统的受限等价变换和满秩坐标等价变换，使广义系统干扰和输入输出同时解耦问题等价转化为一个低阶正常状态空间线性系统的干扰和输入输出同时解耦问题．     

S3PR网可达标识数的一种有效估算方法

提出一种近似计算S³PR网可达标识数的代数方法．首先,基于组合学,可以找到一个S³PR网可达标识数的上限;然后,通过计算包含两个资源库所的信标,找到大部分甚至全部不可达标识的数量．这样,可达标识数上限减去不可达标识的数量就是估算的可达标识数．     

基于安全因素考虑的交通枢纽标识系统设计研究

交通枢纽空间复杂,其标识系统设计首先要考虑安全因素.本文论述了影响交通枢纽空间安全的因素,提出了交通枢纽空间对标识系统的要求,分析了当前标识系统存在的问题,论述了基于安全因素的交通枢纽标识系统的组成及设计原则.最后强调标识设计要以安全性为第一考虑要素.     

采用基本标识图的Petri网控制策略

提出了一种基于基本标识图的Petri网的在线监督控制策略．首先根据原Petri网的初始标识与变迁的可控性,建立基本标识图,通过求解整数规划将其中节点标记为合法或弱非法标识．之后基于标记的基本标识图对Petri网中的可控变迁进行在线控制,从而防止系统到达非法标识．该控制策略能够避免可达图的穷举计算,具有良好的效率．     

离散广义系统的正实性分析

目的研究离散广义系统严格正实分析和控制问题．方法使用分块矩阵、等价变换等代数方法，证明了离散广义系统严格正实的充分必要条件．结果得出了等价情形的新正实定理．结论为寻找用简单方法通过线性矩阵不等式（LMI）构造正实反馈控制器，进一步处理非正实系统实现问题奠定了理论基础．     

基于IAMCS路由器的NoC延迟上界分析

针对使用改进非对称多通道(IAMCS)路由器的片上网络(NoC)的最坏延迟上界问题,提出了一种基于网络演算的分析方法。通过对IAMCS路由器中流控阻塞、交换阻塞和通道阻塞进行分析,建立了与之对应的等价服务模型。将路由器服务模型扩展到对整个网络的分析,建立了前向等价服务分析网络。借助冲突树演算模型,推导了网络提供给流量的端到端等价服务曲线,进而得到了延迟上界模型。实验结果表明:该延迟上界模型可以界定仿真的最大延迟,且上界是紧致的。     

一般广义周期时变系统的允许性分析

研究了一般广义周期时变系统的允许性问题.通过对正常周期时变系统和广义周期时变系统Lyapunov不等式的深入分析，建立了一般广义周期时变系统的Lyapunov不等式，把一般广义周期时变系统的允许性问题转化为Lyapunov不等式的数值解问题.首先，得到了一般广义周期时变系统的第一受限等价系统允许的充分必要条件；而后，又利用等价变换得到了一般广义周期时变系统允许的充分必要条件.最后，通过数值算例说明了本文的主要结果.     

基于Petri网的物流配送系统模型研究

针对物流配送系统具有很强的随机性、灵活性等特点,该文提出了利用Petri网理论对离散、随机事件的描述与分析特性,对物流配送系统进行建模,并利用其提供的状态方程和可达树方法,进行了模型性能分析,以提升物流配送系统的整体效率。     

基于抽象语法树和多态机制的复杂条件语句自动重构研究

针对源代码中复杂条件语句将增加程序的复杂性, 影响代码的易理解性、可测试性、可维护性和可扩展性等问题, 提出了一种基于抽象语法树和多态机制的复杂条件语句自动重构方法, 用于识别源代码中复杂条件语句的重构时机并实施自动代码重构. 首先将源代码转换为抽象语法树, 再探测代码中的条件语句, 寻找满足预定条件的条件语句, 最后利用多态机制对条件语句进行自动重构, 将其封装到一系列子类中. 对4个开源项目进行重构时机识别和自动重构实验. 实验结果表明, 重构时机识别算法的精确率可达100%, 并能准确地实现代码的自动重构; 经回归测试, 重构后的代码未引入任何错误; 此外, 该算法具有较好的性能, 执行时间与系统规模呈线性关系, 能够应用于各类不同规模的系统.     

一种新的多光谱光学参数等效方法

通过建立与分析生物发光断层成像的系统方程,提出了一种新的多光谱光学参数等效方法,将多光谱生物发光断层成像问题转换成与之等价的混合谱问题,从而有效降低了系统方程的规模和计算量.研究结果表明:新提出的光源加权法,比现有的算术平均法更加准确、鲁棒,相对误差始终在5%以内.     

一类非线性系统的鲁棒故障诊断

基于未知输入观测器设计和等价控制的概念，讨论了一类非线性系统传感器故障的鲁棒故障诊断问题．首先引入若干积分变量对该类非线性系统进行扩雏；然后针对扩维后的系统设计基于变结构的未知输入观测器：最后，由等价控制的概念直接重构得到传感器故障．仿真结果表明等价控制能够较好地重构传感器故障。