关于拓扑空间的SH-连通性

在文献[1-5]的基础上,利用半拓扑空间中的半开集性质,讨论了拓扑空间的SH-连通性。并且得到了一些关于SH-连通性的新结果,推广了文献[5]的结果。     

关于正则分离性和正规分离性的几个一般性定理

针对拓扑中正则分离性和正规分离性问题，给出了几个一般性结论。首先给出了文[1]一些常见集族的某些共同性质，然后，统一处理和改进了T-分离性、S-分离性的、T^*-分离性的一些结果。最后，在文[1]基础上，进一步统一和改进了各种正则和正规空间关于拓扑性质、可积性等方面的一些结果，并给出了几个一般性定理。     

全球疫情下的中国内地航空网络对外连通性

新冠肺炎疫情给世界航空网络的连通性造成重大影响，网络的通达程度明显降低。为了研究中国内地的航空网络对外连通性在疫情影响下的变化，提出对外连通效率这一评价指标，并根据国内外疫情爆发不同阶段的特点采用不同的链路删除规则进行分析。研究结果表明：在疫情爆发前期，因许多国家对中国内地旅客采取入境限制措施，中国内地的航空网络对外连通效率与疫情前相比下降率最大达到39.8%，同等情形下，禁止入境措施对中国内地的对外连通性影响比停飞直航大将近一个数量级，而这两种限制措施造成的影响在不同国家间的横向差异性也巨大。此外，一些与中国内地不存在直航的国家如果采取限制入境措施，也会对中国内地的对外连通性产生很大影响。在疫情爆发中后期，全球的航线连接缩减并未对中国内地的航空对外连通性产生明显影响，中国国际航线间的连通替代关系大大提升了航空网络在此类极端情形下的鲁棒性。     

拓扑空间的泛函表示

本文首先指出并非所有的拓扑空间都能用连续函数表示，其次给出了一般拓扑空间的下半连续函数表示，并利用下半连续函数讨论了拓扑空间的一些性质。     

民航网络安全与网络管理策略

随着民航信息管理网络的建设，网络管理与网络安全显得尤为重要，这里对网络防火墙系统、其它安全考虑、网络管理策略中的连通性、安全性、优化成本、成长性管理等作了论述。     

Nk-投射半模及其性质

主要引进了Nκ-投射半模的概念，并结合环中投射模与半环中投射半模的性质，得到了关于Nκ-投射半模的一些性质，这些性质是投射模与投射半模性质的推广。     

加筋壁板大开口结构稳定性分析及试验验证

为了研究加筋壁板大开口结构的压缩承载极限问题,规划了两组具有不同设计参数的试验件进行了静力试验,并同时采用了线性特征值法以及非线性的弧长法对其压缩极限进行了对比分析。在采用弧长法分析时,引入了模态扰动技术,而且考虑了材料的弹塑性性质。计算结果与试验的对比表明:针对复杂结构稳定性问题,屈曲特征值法具有较大局限性,而结合模态扰动的弧长法对这种复杂的加筋壁板类结构压缩极限的分析精度较好。通过分析给出了加筋壁板大开口结构设计的一些建议。     

简讯

俄罗斯加快远程防空装备现代化 俄罗斯正在加紧研制具有大气层外拦截能力的S-500导弹防空系统。俄罗斯国防部已经与位于莫斯科的Almaz—Antey防空系统设计公司签订研制合同。新的拦截导弹计划首先在S-400上进行试验．预计在2015年开始投入拦截试验，俄罗斯政府表示．在2020年之前将会采购10套S-500系统，它将与S-400共同构成俄罗斯新的防空系统。     

从波音飞机看驾驶舱的演变

连通性是未来商用飞机驾驶舱的新功能，它将使驾驶舱与“云”相接，让飞行员获得来自地面、空中和太空的更多有价值的信息。近40年来，商用飞机驾，驶舱至少出现了两次大的改观：第一次变化是仪表板上形形色色的机械式仪表盘逐渐被采用阴极射线管（CRT）的显示器所取代。     

格的微分

在偏序关系的基础上给出了格的微分定义,同时也给出了恒等微分和保序微分的定义。通过格微分的弱正则性和正则性,研究格的微分的一些性质。     

一种电子器件检漏新方法的实现

介绍了电子器件二次筛选中一种新的检漏方法,并与传统的方法进行了比较;对新方法的替代性以及在实际应用中可能遇到的问题进行了讨论。     

产生CIM环境下分类编码系统的专家系统研讨

论述了已经设计出的一个自动生成零件分类编码专家系统（ＳＴＪＬＢＭ－１）的原理、结构以及运行过程。在计算机集成制造（ＣＩＭ）的环境下,把原系统中的试套系统作一定的改变,知识库内根据新条件下的需求增补新知识,最后便可得到适合于某个企业特点的新的分类编码系统。     

第四代战斗机飞行品质及其试飞技术研究

在介绍第四代战斗机将采用的新技术的基础上，讨论了并提出了一些评定飞机飞行品质的新标准和相应的试飞方法及飞驾驶技术，以满足飞机过失速机动飞行和机敏性飞行试验的需要。这些标准和试飞驾驶技术概念清楚，操作简便，而且易于测量，适用于新一代战斗机的飞行试验。     

飞行员数学模型与新机飞行品质预测

简述了建立飞行员数学模型的重要意义和方法，给出了飞行员的常用数学模型形式及有关参数参考数据，并着重讨论了飞行员数学模型在新机飞行操纵品质评估预测中的应用 。     

运输类飞机RVSM适航审定中的机体差异分析及处理

对运输类飞机的RVSM适航审定要求进行说明,并就机体差异导致的高度测量误差进行了分析。提出了评估机体差异导致的剩余静压源误差的一种思路和方法,以及RVSM适航审定中预算分析应考虑的各误差分量。最后指出了为满足飞机持续适航要求而应进行的工作。     

Non-destructive sampling of a comet

The boundary conditions for a non-destructive sample acquisition system are outlined and the development of a new robotic sampling system suited for use on a cometary surface is briefly discussed. Additionally we present some new results on strength and deformation behaviour of synthetic cometary analogue material.     

干涉铆接及其新的成形方法

本文介绍了用干涉配合铆接提高疲劳强度的原理及干涉量的分析,同时分析了一种新的干涉配合铆接方法－应力波铆波。同时介绍了其工作原理及影响铆接力的有关参数。     

21世纪航空工业对计量测试技术的需求分析

从当代战争、军事革命、知识经济时代的特点以及国内环境几方面入手,分析了新兴航空武器装备的特点,以及部分航空高新技术的现状和发展趋势,综述了这些变化和发展对航空计量测试技术的需求情况,同时分析了航空计量测试的现状与需求的差距,并提出了满足21世纪航空工业对计量测试技术需求的几点对策。     

机床热误差的无限冲激响应网络动态模型

本文阐述了数控机床热误差补偿技术的基本概念，提出了一种基于无限冲激响应（ⅡR）网络的数控机床热误差预报模型。讨论了该模型的建立及相关技术问题，对智能预报补偿系统进行了研究，并给出了智能预报的结果和精度评价。     

某新机综合飞行/推进系统H∞控制器设计

针对国内某新型战机及其装配的新型涡轮风扇发动机,本文研究了该综合飞行/推进系统一体化控制问题.首先建立了飞行子系统、推进子系统数学模型,在此基础上得到了飞行/推进系统综合模型;利用H∞混合灵敏度控制器设计方法,设计了综合系统控制器,对控制器设计中的一些关键问题作了讨论;最后通过仿真,表明所设计的综合控制系统具有较好的性能.