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

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

中小城市公安光纤城域网的实现

公安网络建设是公安"金盾工程"规划的重要组成部分,地市级公安的三级网络建设,是整个公安网络建设的重要环节。随着光传输网络的普及和千兆技术的成熟,千兆以太网GE在技术成熟度、标准化和价格等方面都是一个更合适的选择。本文将介绍湖州公安三级网络的千兆光以太城域网改造案例,分析光纤城域网建设的要求、技术。     

空间机器人神经网络自适应滑模目标操控轨迹跟踪控制

针对参数未知的空间目标操控问题,考虑空间机器人负载不确定性、系统动力学不确定性和环境扰动等因素,为实现操作过程的稳定控制及机器人轨迹的有效跟踪,提出一种基于径向基神经网络估计不确定项的自适应增益非奇异终端滑模变结构控制器。首先基于拉格朗日法建立空间机器人的刚体动力学模型。考虑空间机器人基座姿态主动控制模式,使用径向基神经网络对模型中的不确定项进行估计。进而提出基于神经网络估计的非奇异终端滑模控制器,并针对不确定性和扰动的估计误差设计自适应增益,以期实现空间机器人系统轨迹跟踪控制的收敛。仿真校验结果表明所设计的控制方法具有较好的误差收敛速度和控制精度。     

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

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

浅析"三大规范"编写

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

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

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

基于虚拟仪器技术的发动机网络化试车测试系统设计

介绍虚拟仪器技术在发动机试车过程中的具体应用,以LabVIEW软件为平台实现信号的采集、分析、处理和显示。该系统通过网络实现数据共享,各个上位机根据自己的需要获取不同的数据,然后通过软件处理,实现对发动机试车过程的实时监控。     

基于蒙特卡罗法的航空发动机空气系统稳态算法优化

针对目前航空发动机空气系统稳态算法中收敛性依赖初值的问题,将蒙特卡罗方法与流体网络法综合应用到空气系统可压缩流体一维网络计算中,提出了一种新的计算方法Monte Carlo-Fluid Network（MC-FN）。该方法将空气系统简化为由节点和元件组成的网络,借助蒙特卡罗方法获得空气系统内各节点压力分配,再根据空气系统中各元件流阻特性和换热特性计算流量、温度。计算中通过将游动次数比较少的蒙特卡罗方法的计算结果作为流量残差法节点压力、温度的初始值,实现快速求得精确收敛解。与流量残差算法相比,MC-FN方法计算精度不变,收敛速度提升了66.5%;与线性求解法相比,MC-FN方法的计算精度提升了25.2%,收敛速度提升了43.8%。     

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

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

不同增长机制下航空网络自愈特性

结合复杂网络理论,从能量的角度分析了航空网络的功能自愈机理,并研究了航空网络在不同增长机制下的自愈特性。首先,将网络结构划分为自愈结构与耦合结构,并针对航空网络3种增长机制进行了分析和抽象建模;然后,从网络全局角度出发研究了美国航空网络在遭受蓄意攻击造成全网功能瘫痪的情况下,网络功能的恢复鲁棒性和网络增长对网络自愈能力的影响。研究表明,美国航空网络具有较好的恢复鲁棒性,接近80%的机场在受到能量冲击造成的短暂失效后具有功能自愈能力。航空网络不同的增长机制对网络的自愈能力有着不同的影响。结果证实,为完善航空网络而建立的机场群,由于其较大的连接需求,加大了网络区域密度,复杂了网络拓扑结构,降低了网络的自愈能力;而小型机场的增加不会影响网络整体的自愈能力。