中介命题扩张系统MP^＊推理规则集的简化

中介系统是以中介原则为基础，以中介逻辑演算为工具的一种新的数学理论系统。狭义的中介系统仅指中介逻辑ML，它由中介命题系统MP及其扩张系统MP^*、中介谓词演算系统MF及其扩张系统MF^*，以及带等词的中介谓词演算系统ME^*组成。本文讨论中介命题扩张系统MP^*推理规则集SA的简化。对于一个形式系统的推理规则而言，在保证其相容性、完备性和独立性的前提下，形式系统的推理规则集越简洁，使用越方便。本文对规则集SA进行了简化，方法是：如果SA中某条规则可由SA中其余规则推导出来，并且推导过程所用形式定理的证明未用到此规则，则此规则可被简化而不影响SA的效力。作者简化了SA中8条规则并且证明简化后的规则集与原规则集SA等价。     

空间站梦天载荷舱结构设计与验证

针对天宫空间站梦天载荷舱提出了采用一种含大开口的半硬壳铆接结构,实现了结构承载、载荷进出舱及载荷试验平台一体化设计。采用数值仿真的方法,考虑主动段飞行及地面整器起吊载荷等因素的影响,进行了结构强度迭代分析,识别结构的潜在薄弱环节,并开展针对性的局部结构验证试验。最后,设计并建立大开口结构的全工况静力试验平台,开展载荷舱整舱静力试验。数值计算与试验所得结果吻合较好,验证了载荷舱大开口结构设计的正确性。载荷舱结构的设计方法及验证思路可为其他飞行器结构提供参考。     

浅析"三大规范"编写

本文较为详细地介绍了中国燃气涡轮研究院“三大规范”编制与实施过程中的目标的确定、总体规划、采取的措施、应用效果、存在的问题及解决方法,可为同行编制“三大规范”提供借鉴和参考。     

陶行知"大学之道"教育思想解读对当代高职教育的反思

陶行知的“大学之道”教育思想,是对传统的“学而优则仕”———“人上人”教育观念的否定,它是融德育、办学理念、校风、校训以及培养目标为一体的治学之道,也即是教育目的。这对我们今天的教育,特别是高等职业教育有着重大的启示。     

浅析民用飞机研制总体参数优化

分析了在概念设计阶段民用飞机总体设计工作内容和工作流程,并结合时下国外在用软件优缺点,构思了民用飞机总体设计参数综合优化的技术方案,包括优化设计架构、分析模型和优化算法等,为形成具有自主知识产权的民机总体设计综合分析和优化程序打下基础。     

平面叶栅尾流板开孔率对跨声速涡轮叶栅流道影响的数值分析

跨声速平面叶栅风洞中通常通过尾流板来改善平面叶栅周期性,针对尾流板的设计需求,利用数值模拟的方法,研究了尾流板在15%、30%、50%开孔率下对实验叶栅的影响。数值分析结果表明:叶栅尾缘激波在自由边界上反射后,返回到叶栅通道中,破坏了叶栅通道的周期性;开槽尾流板减少了反射波对叶栅通道的影响,减弱叶栅尾缘激波的反射波强度,在某特定情况下能使反射波变成膨胀波,从而提高了叶栅通道周期性;尾流板开孔率为15%时能极大地改善平面叶栅通道的周期性,相对于开孔率为50%时叶栅的周期性误差降低约16.43%。      

关于大容量高速立式电机加装大转动惯量飞轮的设计研究

电机在发生事故突然失电时,为确保系统安全,要求电机能拖动设备依靠自身惯量,继续运转2 min。由于电机自身惯量远小于系统惯量要求,因此需在电机本体上加装大直径、大重量飞轮,以提供足够的惯量。在大容量、高速立式电动机加装大转动惯量飞轮后,电机的稳定运行变得至关重要,因此对电机自身的刚度、轴系及结构设计的合理性需进行验证。针对电机的关键点结构设计及计算,并通过现场运行,对电机的可靠性进行了验证。这为电机的工程运用提供参考。     

交会对接绕飞段临界安全轨迹研究

以Hill方程为基础对圆轨道近距离双脉冲绕飞安全策略进行研究.首先给出双脉冲绕飞的模型,通过仿真遍历得到不会进入球形安全区的绕飞轨迹,然后绘制出这些安全的绕飞轨迹所对应的绕飞时间、燃料消耗、追踪器与目标器的初始距离三个量之间的关系曲面,进而得到临界安全条件下的关系曲线并拟合出关系表达式,最后对拟合误差进行分析发现导致轨迹偏离的程度很小.     

论大学生思想政治教育新媒体利用的机遇与挑战

在技术发展、教育时空领域扩大、党和政府政策支持、师生媒介素养提升的条件下,大学生思想政治教育新媒体利用迎来了一系列的机遇。与此同时,也遭遇了以下挑战：信息风暴带来了大学生思想政治教育新媒体利用的难以分辨和选择;虚拟空间交往方式的异化产生了大学生思想政治教育新媒体利用的隐痛;依赖的强化造就了大学生思想政治教育新媒体利用过程中的控制和反控制;身心健康受影响,成为大学生思想政治教育新媒体利用的忧患。     

United Nations Human Space Technology Initiative (HSTI)

The Human Space Technology Initiative was launched in 2010 within the framework of the United Nations Programme on Space Applications implemented by the Office for Outer Space Affairs of the United Nations. It aims to involve more countries in activities related to human spaceflight and space exploration and to increase the benefits from the outcome of such activities through international cooperation, to make space exploration a truly international effort.