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

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

窄边波导缝隙行波天线单柱面紧缩场测试研究

窄边波导缝隙行波天线单元是通过在单柱面紧缩场中测试进行筛选的,通过实际测试,对单柱面紧缩场测试系统有了一定了解,对柱面场的特性、天线校平的方法、外混频需要注意的事项、减小单元天线互耦等方面进行测试研究,已经完成了Ku、Ka两个频段近300根单元天线的筛选测试工作。     

某电源管理仿真测试环境软件的设计与实现

介绍了某电源管理的仿真测试环境软件的设计与实现,仿真测试环境硬件采用工业控制计算机,软件采用图形化语言LABVIEW来实现。仿真测试环境为电源管理提供完整的虚拟的运行环境。在仿真测试环境中用运行图实时地显示电源管理的运行状态,且能动态的设置仿真测试环境的状态,改变电源管理的运行环境。本仿真测试环境具有良好的人机交互界面,能够实时地与电源管理进行交互。     

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

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

基于SIP的Ka频段高集成度有源相控阵天线设计

卫星有效载荷系统逐渐开始采用相控阵天线作为收发装置,由于卫星的体积和重量受限,星载相控阵天线必须朝小型化、轻量化方向发展。传统砖块式架构的ka频段64元相控阵天线的剖面高度约60~80mm,重量约2kg。近年来,研究人员从设计、工艺和加工等不同方向探索和研究了瓦片式的相控阵天线,期望能从设计和加工方法上减小相控阵天线体积和重量,从设计方法入手,研究了一种基于系统集成封装技术的有源相控阵天线,该天线的辐射单元材料采用微带介质板,相较于其它形式的辐射单元具有更低的剖面高度,微波射频电路被封装到低温共烧陶瓷基板内部,射频走线与辐射单元平行布局,通过高集成化设计将微波电路和天线辐射单元进行一体化组装,与传统砖块式架构的相控阵天线相比,在具有相同辐射口径的前提下,设计的天线剖面高度缩减到30mm,重量减小到1kg,工作在Ka频段,波束扫描宽度达到±60°。满足了减小相控阵天线体积和重量的要求。     

浅析"三大规范"编写

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

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

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

30cm离子推力器在轨环境下的工作点及热控措施研究

栅极间距变化是影响离子推力器在轨环境下从冷态条件正常点火启动的重要因素,同时也决定了离子推力器的在轨工作时机和热控实施策略。本文采用有限元仿真与地面热平衡试验验证相结合的方法,建立起30cm离子推力器有限元分析模型并进行了模型校验,之后对离子推力器在轨受太阳光照影响的栅极温度场分布和间距变化,以及推力器在5kW工况下的三个典型温度点所对应的栅极间距变化进行了仿真分析,最后考虑了主动热控干预对推力器最恶劣工作点的栅极间距变化影响。结果显示：纯太阳光照影响下的栅极组件存在周期性温度变化,栅极最大温差可达到100℃,栅间距缩小量在0.06mm~0.16mm范围内波动;在太阳光照基础上实施60W的主动热控后,栅极最大温差降低至60℃,栅间距缩小量波动范围则变为0~0.03mm;栅极最高温度点和最低温度点分别是推力器冷态启动最容易和最困难的两个工作时机点,两点所对应的启动后屏栅和加速栅最小间距分别为0.22mm和0.04mm;在10W、70W和120W的热控加热功率下,从最低温度点启动后的屏栅和加速栅最小间距分别为0.06mm、0.20mm和0.29mm;采取主动热控措施能够有效降低推力器工作过程中的栅极热形变位移峰值,且加热功率为120W即温控点温度为50℃的主动热控可以满足30cm离子推力器在轨冷态启动时的0.25mm安全栅极间距要求。     

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

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

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

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