对时间输入/输出自动机一致性测试的改进

Jan.S等提出了对时间输入／输出自动机（TIOA）模型进行黑盒一致性测试的算法。针对其生成的测试序列数量太大这一问题，提出用可最小化的时间自动机（MTA）模型来描述稠密的实际系统，并用递归算法实现了对测试序列的首部即转换覆盖P的构造。由分析得出结论：使用MTA模型可使上述测试算法生成的测试序列的数量大大减少，从而在不影响其完全性的情况下使该算法更具实用性。     

基于约束网络的多学科协同设计方法

针对多学科设计问题中约束条件过多过于复杂的情况 ,为了保证设计参数一次选取成功 ,提出了一种基于约束网络的多学科协同设计方法。该方法利用约束网络模型收集分属于不同学科的约束条件 ,并在设计期间监控这些约束关系。提出了反映协同设计需求的数学模型 ,设计了一个通用的一致性求解算法框架 ,并利用了基于区间代数的一致性算法。该方法能够在设计的初期就监控设计过程 ,有效地预报冲突。将该方法应用到铁路车辆的转向架设计中 ,已证明了它的有效性。     

关于二分图的线连通度的一个结论

在 Chartrand G.和 Lesniak关于图的线连通性定理的基础上 ,讨论了二分图的线连通度问题 ,得到这样一个结论 :若 G=( X,Y:E)是二分图 ,对任一对不相邻的点 u、v,d( u) + d( v) >[p/2 ],则λ( G) =δ( G) .     

判断矩阵一致性检验的新方法

给出了两种通用的判断矩阵一致性检验方法的理论依据和利用该指标的统计检验方法以及该一致性检验方法的有关性质和数值计算例子。     

二分图中相互独立的圈

证明了下面的结论：设k≥1是一个整数，G＝（V1,V2；E）是一个二分图，满足|V1|=|V2|=n≥2k 1。若对G中任意两个不相邻的面点x∈V1，y∈V2，都有d(x) d(y)≥2k 2，并且δ（G）≥2，则G包含k个相互独立的图。     

毛毛虫的性质

给出了毛毛虫的优美标号、平衡标号、κ－优美标号，从而证明了所有的毛毛虫都是优美图、平衡二分图、κ－优美图、序列图和调和图。     

求三角矩阵之逆矩阵的并行二分算法

本文建立求三角矩阵之逆矩阵的并行二分算法,将其与一种串行算法相比较,分析算法复杂性,得出所建立的算法的确是一种非常有效的并行算法。     

格值诱导空间的完全正则性

对一般的格值L,我们证明了:诱导空间是完全正则的,如果它的底空间是完全正则的.对适当的定义域L和值集I=[0,1]证明了:诱导空间是完全正则的,当且仅当它的底空间是完全正则的.     

矿井通风系统评价指标向量及其应用研究

采用层次分析的方法建立了矿井通风系统评价指标体系的多层次结构框图．构造了评价指标的判断矩阵．这种方法构造的评价指标向量更为科学．具有一定的可信度．为改善矿井的通风状况提供必要的决策依据。