一个生成Java程序同步序列集的新算法

为了提高在Java程序可达性测试中的同步序列生成效率,提出了一个新算法从无时序约束关系的同步事件派生竞争变形体集,避免或减少了不可行的竞争变形体的生成.定义了同步事件之间的线程家族时序约束关系,并详述了此约束关系的信息抽取算法和判定算法.     

离散定常线性系统能达性与能控性的注记

证明离散定常线性系统能达性与能控性两种定义的等价性,并改进了能达性与能控性基本判定定理的证明.     

离散线性随机系统输入—输出关系的数学描述

研究离散线性随机系统输入-输出间的关系,证明了任何线性随机系统输出方差与其输入无关.因此在任何意义下由方差极小化而得最优控制是不可能的,且已证明,输出与其集点间的期望差依赖于控制信号的选择,得到了最小偏差控制器,考虑了与线性随机系统输入-输出关系有关的所谓完全i-步输出可达性这一重要概念,并给出了以输入-输出随机差分方程所描述的多变量随机系统的完全i-步输出可达性的充要条件,并可由此得到输出可达性的简易检验方法.     

代价和概率时间自动机上概率有界的成本优化可达性

着重解决代价和概率时间自动机模型的可达性问题,即满足一定概率要求的最小代价问题. 在该模型中搜索满足概率要求的路径,据此路径构造相应的代价时间自动机,求解此路径的最小代价,从而求得满足概率要求的总的最小代价. 另外,通过扩展代价和概率时间自动机模型,得到多代价和概率时间自动机. 相应的可达性问题,即满足一定概率要求的符合辅助成本约束的主成本最小代价问题,也可类似地得到解决.     

可达矩阵的Warshall算法实现

通过图的矩阵表示可以得到图的很多重要性质,将邻接矩阵看作图的结点集的关系矩阵,由此可以产生可达矩阵,从而可以反映图中各结点间是否有路.可达矩阵可用W arshall算法求得,作者用VB实现了该算法.     

一种基于单亲遗传算法的petri网发射路径求解算法

给出了一种基于单亲遗传算法的petri网发射路径求解算法，提出了裂解和聚合两种新的单亲遗传算法算子。算法通过对染色体中的染色体片段进行裂解和聚合等操作，实现了发射序列的快速求解。仿真结果表明，本算法能够以较大的收敛概率快速地收敛，最终得到多个发射序列。进一步的研究表明，适当的选取样本空间的大小可以使本算法更加快速高效。     

满秩Petri网可达性判定算法的设计与实现

通过对Petri网可达性的分析，给出满秩Petrl网可达性算法及其实现过程，在VC＋＋平台上对算法进行验算，并对算法运行结果进行可达性讨论；该算法为满秩Petri网可达性的判定提供了一种快速有效的求解方法．     

良结构下推系统的表达能力

良结构下推系统是将状态集和栈字符集都扩展为良拟序的下推系统.研究向量加法系统及其扩展系统与良结构下推系统的关系,证明了多个模型可归约到良结构下推系统.通过树的后序遍历构造了分支向量加法系统到良结构下推系统的编码;通过显式引入栈证明递归向量加法系统是良结构下推系统的一种特例;创新地使用栈深表示向量的一维,来构造一位零测试向量加法系统到良结构下推系统的编码.通过这些编码证明了良结构下推系统的表达能力不低于这些向量加法扩展系统,进一步说明了良结构下推系统的一般性.     

基于模糊聚类RBF神经网络的生产指标预报模型

本文提出一种同图论中可达矩阵和区域划分思想相结合的模糊聚类方法,以此来确定RBF网络的隐含层节点数。并根据某选矿厂经济指标和生产指标之间的关系,建立了生产指标预报模型,并应用于选矿厂MES系统中,应用结果表明所建模型收敛快、预报精度高,使企业能够及时了解生产过程成本动态,优化生产运行管理。     

基于可达集的车辆躲避策略及安全性验证

针对目前传统算法在安全性验证中置信水平较低的问题,将自主车辆在道路上的行为视为混合系统,提出以道路边界为约束条件的安全区域可达集建模方法。在此基础上建立安全等级评判标准,给出自主车辆道路行为的哈密顿雅可比方程;提出自主车辆避障问题的最优控制方法。结果表明,该方法不仅可以应用于自动驾驶车辆的安全性验证,还能够对手动驾驶的危险行为进行预警和规避,增加了车辆安全性验证的置信度。