基于保质设计方法的产品开发决策研究

质量保证设计(DFQ)是将质量保证和质量管理融入到产品设计中的一种新的设计方法。探讨在质量保证设计思想指导下产品开发设计策略和产品概念设计决策过程,建立了产品概念设计方案的评价指标体系和基于模糊优选理论的决策模型。     

F—22战斗机的电子设备材料

Ｆ－２２战斗机除选用一些先进的结构材料外，还采用了一些先进的功能材料，特别是电子材料。本文介绍铝基复合材料、红外材料及液晶材料的应用。     

墨西哥航与IAE签订售后服务协议

A380测试飞机2月初在加拿大伊魁特成功完成了低温适应性测试。A380测试飞机在摄氏零下30度的极限气候条件下对飞机的系统功能进行了为期5天的全面测试，其中主要包括.     

燃气涡轮发动机人工智能实时诊断和预测

定义有感知的发动机状态监控（COEHM）系统采用的方法，采用这些建立在真实和模拟发动机数据基础上的方法可以精确地预测燃气涡轮发动机工作状况（总体完整性），性能变化（降低）和部件寿命（氏疲劳循环，高疲劳循环及蠕变）损耗，发展一套COEHM系统需要应用诸如数字滤波，多项式，模糊逻辑，专家系统，概率系统，神经网络这样的工具，这还不是全部，还需要应用一些新颖的方法使得系统具有精确预测被监控事件结果的能力，COEHM系统可以提供快速而精确的诊断和信息预测（以减少维修时间），无故障和周转时间，改进的临界寿命管理方法可以减少发动机的寿命周期费用，所以，COEHM系统的发展大大地减少发动机的使用费用，增强了工作能力，克服了由于人员减少而引起的技术经验损失。     

多变量非线性非定常气动力的模糊逻辑模型

应用模糊逻辑算法，建立了带升降舵偏角影响的非线性非定常气动力模型逻辑模型，并进行了验证，结果表明：所建立的非定常气动力模型逻辑模型有较强的预测能力，此方法为今后建立多变量、复杂运动的非线性非定常气动力学数学模型，提供很好的借鉴。     

碳纤维增强陶瓷基复合材料抗氧化涂层研究进展

对碳纤维增强陶瓷材料抗氧化涂层的要求、组成与制备工艺以及最近抗氧化涂层体系的发展做了综述。并且对今后抗氧化涂层的发展作了一些展望。     

中介时序逻辑系统MTL的模型性性质

时序逻辑作为一种把时间概念直接引入其形式系统的逻辑系统，它具有较强的表达能力，近年来在计算机科学领域获得了广泛的应用。基于中介逻辑对时序逻辑进行多值扩充，建立了一种中介时序逻辑系统ＭＴＬ。讨论了它的形式系统和语义解释，但未论及其完备性。本文对ＭＴＬ系统作进一步的讨论。在一可传结构下，讨论了它的可传、连通和过滤等模型论性质，为进一步讨论ＭＴＬ系统的完备性作了理论上的准备。     

论“以人为本”的高校音乐教育

高校音乐教育的育人功能主要体现在对大学生的品德、智力、身心、审美等多方面的影响与熏陶,促进大学生德智体美全面发展。高校音乐教育要充分发挥其育人功能,必须坚持“以人为本”,树立音乐教育大教育观,强化“以学生为本”的教学理念,倡导“音乐生活”观。     

中介时序逻辑系统MTL的模型论性质

时序逻辑作为一种把时间概念直接引入其形式系统的逻辑系统,它具有较强的表达能力,近年来在计算机科学领域获得了广泛的应用.基于中介逻辑对时序逻辑进行多值扩充,建立了一种中介时序逻辑系统MTL(Medium Temporal Logic).讨论了它的形式系统和语义解释,但未论及其完备性.本文对MTL系统作进一步的讨论.在一可传结构下,讨论了它的可传、连通和过滤等模型论性质,为进一步讨论MTL系统的完备性作了理论上的准备.     

基于中介逻辑的多模态逻辑系统

多模态逻辑作为模态逻辑的扩充，是模态逻辑进行时态和动态扩充的基础。中介逻辑是一个新的逻辑系统，自创立后得到了很大发展，并在数理逻辑及计算机科学领域中得到广泛应用。为将中介逻辑进行时态和动态扩充，本文构造了一种基于中介逻辑的多模态逻辑系统ＭＭＫ，讨论了它的推理规则和语义解释，并证明了ＭＭＫ的可靠性和完备性，在此基础上给出了一种基于中介逻辑的时态逻辑系统ＭＴ，对它的可靠性和完备性进行了讨论。最后，分析了相应的经典多模态逻辑系统与ＭＭＫ系统及经典时态逻辑系统和ＭＴ系统之间的关系。