Z—连续偏序集P上σ^Z（P）的Soberity

Sober空间是介于T0空间与T2空间之间又完全独立于T1空间的一类拓扑空间，本文基于拓扑σ^Z(P），证明了Z－连续偏序集P上的拓扑σ^Z(P）当σD(P）≤σ(P）时是Sober空间。     

航天软件中多重中断程序的动态检测方法研究

随着控制系统软硬件平台的设计复杂度不断增加,特别是飞行控制系统中集成的传感器不断增多,中断数量也随之不断增加.本文根据飞控系统的具体特点,使用标记迁移系统对多重中断并发程序进行建模,提出了原子性违背和数据竞争的形式化描述,运用动态偏序化简算法对程序的状态空间进行化简,并设计实现了多重中断控制系统程序的动态检测工具,实验结果表明该检测算法可以在满足对多重中断并发程序错误检测的基础上,大大的缩短检测时间.     

Z连续偏序集P上σ~Z(P)的Soberity

Sober空间是介于T0 空间与T2 空间之间又完全独立于T1 空间的一类拓扑空间 ,本文基于拓扑σZ(P) ,证明了Z 连续偏序集P上的拓扑σZ(P)当σD(P)≤σ(P)时是Sober空间     

双层线性规划问题的一个算法

利用线性代数理论和Ｋｕｈｎ－Ｔｕｃｋｅｒ条件来研究双层线性规划问题，并给出求解这类双层规划问题的一个算法。     

基于模糊偏序关系的装备保障点选址多属性决策

针对传统选址方法权重难以合理确定的问题,提出了基于模糊偏序关系的选址多属性决策方法。该方法通过对选址属性值的预处理,建立连续值信息系统,利用模糊偏序关系将其偏序化,形成评估关系模型。最后对偏序关系进行集结,形成全序关系。算例验证了该方法的有效性。将该方法应用到某战区导弹技术保障点选址中去,获取了最佳选址方案,这为装备保障点科学选址提供了一种有效的方法。