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

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

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

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

浅析"三大规范"编写

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

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

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

Modeling and control for cooperative transport of a slung fluid container using quadrotors

In this paper, dynamic modeling and control problem for transfer of a sloshing liquid container suspended through rigid massless links from a team of quadrotors are investigated. By the proposed solution, pose of the slung container and fluid sloshing modes are stabilized appropriately. Dynamics of the container-liquid-quadrotors system is modeled by Euler-Lagrange method. Fluid slosh dynamics is included using multi-mass-spring model. According to derived model, a proper control law is designed for a system with three or more quadrotors. Implementing the proposed control law, quadrotors can control pose of the container, directions of the links and liquid sloshing modes simultaneously. Stability of closed loop system of tracking errors and sloshing modes are demonstrated using a theory of singularly perturbed systems and Lyapunov stability theorem. Also, the capability of the proposed feedback control laws in solving a formerly organized transport problem of a liquid filled container has been demonstrated in simulations. Moreover, priority of the proposed control scheme to an existing slung load controller in the literature is demonstrated.     

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

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

民机电传飞控系统CCAR 25.672符合性验证思路研究

首先阐述民机电传飞控系统适航符合性验证的定义,然后详细介绍了民机电传飞控系统适航符合性方法和选用原则,最后以国内某型民用客机为研究对象,开展了针对CCAR25.672条款的符合性验证思路的分析与研究。     

太空环境下电子束原位制造技术

美国国家航空航天局（NASA）载人探索计划的提出给载人登月和载人火星等带来了机会和风险,NASA的工程师和科学家正在开展在月球或火星表面利用当地提炼的材料进行原位制造工艺技术的研究。首先,介绍了太空原位制造和修复（ISFR）技术的概念和特点,结合该技术的发展背景,介绍了电子束原位制造技术的概念、特点以及在太空环境下应用的优势和潜力。然后,根据所用原材料和成形工艺原理的不同,电子束原位制造技术又分为电子束熔融（EBM）和电子束自由成形制造（EBF³）技术两个分支,分别介绍了这两个分支技术的概念、原理、特点以及采用该技术研制出的零件的性能,结合硬件设备的情况介绍了在太空环境下应用的适用性,同时也详细介绍了NASA利用兰利研究中心的C-9抛物线飞行试验系统进行电子束原位制造微重力试验的研究成果、试验数据和未来的发展趋势。最后,结合中国未来空间事业发展的需要,提出了关于发展太空环境下电子束原位制造技术的设想与建议。     

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

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

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

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