两阶段串联可修系统的统计过程控制与视情维修整合研究

针对两阶段串联可修系统,考虑随机偏移的情况,研究统计过程控制（SPC）与视情维修整合的问题. 首先,应用均值-残差联合控制图监控系统的质量状态,根据质量状态采取相应的维修策略,在此基础上,分析SPC与视情维修策略整合的可能场景,并根据全概率公式给出了每个场景发生的概率;其次,考虑人力成本、生产率以及停时损失,根据更新理论构建了SPC与视情维修整合的数学模型;然后,针对具体实例,将构建的模型与单独的维修策略模型和采用经验法则选取控制图的设计参数模型进行了比较分析,结果表明构建的模型在节约成本方面有着明显的优势;最后,运用部分析因设计对过程参数、时间参数和成本参数进行了敏感性分析.     

点可区别全色数的一个界

图G的一个正常全染色被称作点可区别全染色,如果G中任意两个点的色集合不同,其中每个点的色集合包含该点及其关联边的颜色。在点可区别全色数界(χvt(G)≤|V(G)|+2)的基础上,应用概率的方法得到了阶数为n,且无孤立边的简单图G的点可区别全色数的一个较小上界。     

非线性不确定系统的鲁棒镇定与非线性H~∞控制

研究一类非线性不确定系统的局部鲁棒镇定，提出了不确定系统的Ｌｙａｐｕｎｏｖ型可镇定的鲁棒性概念．在不确定项满足模有界结构条件下，对控制矩阵的不确定性分２种情况，分别从Ｈ∞控制和微分几何角度，给出了非线性Ｈ∞控制与非线性系统Ｌｙａｐｕｎｏｖ型可镇定的充分条件．     

可列个非负线性合成对策的解结构

给出了可列个非负线性合成对策，证明了可列个非负线性合成对策的几种解也可由其子对策相应的解来表达，从而解决了可列个非负线性合成对策解的结构问题．     

1—群自由积的非2可迁表示

A.M.W.Glass给出了有理数集Q上两个l-群的l-自由积的2-可迁表示.本文在作者已经得到两个l-群的l-自由积的高O-可迁表示的基础上给出自然数集N上l-群的自由积的非2可迁表示.     

基于人工智能中知识表示的可拓工程方法

研究了基于人工智能中知识表示的可拓工程方法 ，并以此讨论了具体解决该问题的方法.     

矩阵可换群结构的探讨

γ（A）={X|AX=XA}.研究了γ（A）的具体结构，给出了矩阵A可换群γ（A）元通式（定理2），获得了矩阵方程AX＝XB的通解公式（定理3），以及由A，B的Jordan标准形直接写出该通式，通解的规则。     

可交换型橡胶履带

该产品以橡胶为基体,将钢丝帘布、尼龙帘布、Ⅱ型金属传动筋板预成型在模型中,经加压硫化而成,生产技术先进可靠.产品广泛用于农林机械、工程机械、军工装备, 部分替代轮胎和钢质履带.各项技术指标达到企业标准(Q/321100XJ002-1998)的要求.     

“嫦娥”探月

正2013年12月14日夜,"嫦娥"携带着"玉兔"安全平稳着落月面,中国成功实现首次地外天体软着陆。中国人千百年来期盼登月的梦想,终于通过"嫦娥"变成现实。嫦娥三号探测器随之开展月表形貌与地质构造调查、月表物质成分和可利用资源调查等一系列科学探测。可以预见,肩负着探月使命的"嫦娥",在未来承担更多中国深空探测重任的同时,还