多变量系统最小能量终端控制

以广义逆矩阵的理论和Bellman最优性原理为基础，给出了MIMO系统的状态反馈型的闭型解，对最优终端控制问题作了进一步的详细研究，且通过具有零初始状态的线性定常系统的研究，导出了终端控制误差和控制能量与控制时间的关系。     

系统结构模型分部的底层要素法

本文从系统的底层要素出发，提出并证明了底层要素存在性、底层要素后果集并集的完全性以及它们在同一部分的充分必要条件，由此导出了系统结构模型分部的算法，实际应用进一步说明了这一方法的有效性。     

一种扩展了价格变迁的Petri网及应用

提出一种扩展了价格变迁的Petri网一经济Petri网，讨论了相应的分析方法，并用经济Petri网建立一个业务流程的费用模型。得出的结论包括：为Petri网扩展价格变迁是可行的：将经济Petri网应用于业务流程管理领域是有效的。     

模糊Petri网及其可达性的必要性条件

给出了模糊Petri网的形式化定义及其变迁规则，并以模糊Petri网的控制矩阵与关联矩阵为工具，讨论了模糊Petri网的性的必要性条件。     

一种改进的实时系统可达性分析算法

首先简介了时间自动机、时钟区域、区域等价、时钟带的概念.利用时钟带,可以将时间自动机的无穷状态空间转化为有穷.实时系统的绝大多数安全性和部分活性可以通过可达性分析算法来验证.然而,当系统时钟个数较多时,用DBM存储时钟带,会造成内存空间的很大耗费.该文提出了用邻接表存储时钟带,给出了改进的算法,并对算法的空间复杂度作了分析.实验表明,当时钟个数大于5时能节约很大的内存空间,从而在一定程度上缓解了状态爆炸.     

电子支付安全协议的Petri网模型及分析

通过对电子支付安全协议的研究,利用Petri网描述了电子支付安全协议处理流程;根据可达树分析了电子支付协议Petri网模型的正确性、安全性、公平性、可达性和活性. 基于Petri网理论研究电子支付安全协议的工作,对于指导电子支付相关安全项目的研究以及解决实际安全问题具有一定的理论价值和实践意义.     

计算机化自适应诊断测验新的选题策略

提出了一种既能满足属性平衡又能有效处理相似属性模式的新方法——改进的极大化整体判别认知诊断模型信息量指标法(MGCDI).对无结构型的属性,讨论定长CD-CAT的选题策略.研究结果表明,使用相同选题策略选题时,先选择可达矩阵的所有列对应的项目比不使用这些项目的诊断准确率高.     

求解一次不定方程的Petri网方法(Ⅲ)——Frobenius问题研究

本文分别从Ⅰ型一次不定方程网的可达性和活性出发,导出当 m≤(sum from i=2 to n)a_i(d_i-1)/d_i-(sum from i=1 to n)a_i时,不定方程a_1x_1+a_2x_2+…+a_nx_n=m有非负整数解的两个不同的充分必要条件;并根据充分必要条件的不同提法,给出求n元线性型最大不可表数的两个算法。     

求可达矩阵的Warshall算法

给出并证明了确定内部独立的递阶层次结构的矩阵方法。将系统用有向图描述，利用集合论中求关系问包的Ｗａｒｓｈａｌｌ算法实现了求可达矩阵。在决策因素很多且问题很复杂时，可以通过有向图的可达矩阵来确定系统的层次结构。     

基于平均换乘的城市公交线网性能评价

评价公交线网性能的指标有多种,其中交通网络的可达性指标是交通系统能否优质、高效完成运输任务的一项综合性评价指标,而平均换乘次数则能很好地反映这一指标．通过依次计算“公交n次换乘矩阵”的方法求出网络平均换乘次数,并根据平均换乘次数对公交线网的结构性能进行评价．