基于粗糙集理论的决策规则提取及应用研究

约简是粗糙集理论的重要概念,由定义计算约简是一个典型的NP问题本文针对Rought set理论的属性约简进行了研究。利用Rought set的相关知识,研究了通过可辨识矩阵求得属性约简集,提出了一种属性约简的启发式算法。在此基础上,利用一致性规则进行属性的规则泛化。最后通过实例说明了所得结果的有效性。     

模糊互补判断矩阵的相容性及一致性研究

给出了模糊互补判断矩阵的相容性，权重矩阵等概念，对模糊互补判断矩阵的相容性和一致性详细地进行了研究，证明了在模糊互补判断矩阵Ai(i=1,2,…,s)是一致性可接受的情况下，它们的综合判断矩阵也是一致性可接受的，从而为模糊互补判断矩阵在决策领域中的广泛应用奠定了理论基础。     

一类中立型泛函微分方程的周期解

利用指数型二分性及不动点定理，讨论中立型泛函微分方程x^′(t) g(t，x^′(t-r))=A(t，x(t-r1)x(t) ?(t，x(t-r2)的周期解问题，得到了其存在周期解的充分性条件。     

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

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个相互独立的图。     

毛毛虫的性质

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

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

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