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

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

积冰对飞行的影响及处置

研究积冰的气象因素对飞行的影响以及积冰的处置。从云的物理学原理方面进行推导和讨论,分析积冰形成的机制,重点论述翼面积冰对飞行的影响,并从机翼积冰和尾翼积冰两个方面进行详细分析。通过对一些典型事例进行分析,阐述飞行中积冰的预防和积冰后的处理方法。     

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

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

Estimating inter-system biases for tightly combined Galileo/BDS/GPS RTK

The overlapping carrier frequencies L1/E1, L5/E5a and B2/E5b from GPS/Galileo/BDS allow inter-system double-differencing of observations, which shows a clear advantage over differencing of the observations of each constellation independently. However, the inter-system biases destroy the integer nature of the inter-system double-differencing ambiguities. Two methods of direct rounding and parameter estimation are used to determine the ISB value. By analyzing data collected from Curtin University from 2015 to 2018, the phase and code inter-system bias (ISB) are related to the receiver type, firmware version and the selected overlapping frequency. Upgrade of receiver firmware version results in changes of ISB values. For example, the upgrade of Javad firmware in Dec, 15, 2017 causes the difference of 0.5 cycles ISB between BDS GEO and non-GEO satellites. By comparing the three dynamic models which include white noise process, random walk process, and random constant in the parameter estimation method, the ISB determined by the random constant model is consistent with the value obtained by the direct rounding method. After the calibration of ISBs, the performances of tightly combined positioning are assessed. The success rate of ambiguity resolution and accuracy of positioning for the tight combination (TC) are significantly improved in comparison with that for the loose combination (LC) over short baselines. For L5/E5a, on which only few satellites can be observed, the maximum increase in success rates of ambiguity resolution can reach 31.7%, i.e., from 54.9% of LC to larger than 86.6% of TC, and the positioning accuracies can even be increased by 0.13 m, i.e., from 0.208 of LC to 0.074 m of TC in East direction for the mix-receiver TRIMBLE NETR9-SEPT POLARX4 in 2018.     

苏联／俄罗斯数据中继卫星系统评述

在全面收集相关资料的基础上,对苏联／俄罗斯中继卫星系统发展历史和现状给出了较为准确和明晰的描述,并从专业的角度对卫星星座、轨道位置、有效载荷及平台特性、服务范围和在轨运营等重要内容作出了技术评论。其结果对评价我国在这一领域中的成就和研发下一代卫星均具有参考价值。     

某火力电厂机组控制系统的设计与实现

以某火力发电厂的建设为整体背景,结合电厂设计过程中实际出现的问题,以及以往的设计经验,利用MaxDNA控制系统,展开对于整体火力机组控制系统中的软硬件的设计。通过某火力发电厂实地进行联调联试,确保相应的设备能够正常的工作,以保证机组的正常运行。系统运行情况良好,基本实现工艺设备的控制要求,获得了用户的认可,降低了相关工作的工作强度,取得很好的经济效益。     

变攻角下低压涡轮导向器二次流的实验研究

在低速扇形叶栅风洞上,对五种攻角下的某型低压涡轮导向器原型和改型叶栅进行了实验研究,详细测量了各攻角下叶栅流道内的流场,分析了二次流发生和发展的过程以及攻角对其的影响,并通过改型和原型叶栅的对比,讨论了减少二次流损失的机理.结果表明,改型叶栅有效地降低了端壁横向压力梯度和前缘逆压梯度,抑制了边界层增厚和分离,从而控制了漩涡的生成和发展,削弱了通道涡的强度和尺度,使得二次流损失减少.     

一种宽带测向接收机高频前端设计

介绍了一种0．2-20GHz干涉仪测向接收机微波前端研制思路。分析了测向天线阵设计布局和宽频段微波通道超外差实现方案,中频采用宽带和窄带两种带宽切换,并针对窄带通道易受测频误差和频综分辨率偏差影响,采用两级搜索方式消除误差以准确侦收辐射源信号。理论分析和工程试验结果表明该接收机具有灵敏度高、截获概率大、测向精度高、体积小等优点。     

长焦距同轴三反空间相机光学系统研究

为了满足空间遥感不同应用的需求,完成了4种型式的长焦距同轴三反光学系统设计。根据同轴三反光学系统设计理论,介绍了同轴三反光学系统设计初始结构设计方法,以工作谱段0．45-0．9μm、F数10、焦距10m为例,对4种型式的长焦距同轴三反光学系统进行优化设计,设计视场内获得接近衍射极限的成像品质,并分析和比较了这几种光学系...     

未知时延系统的全局优化辅助变量辨识

对于未知时延系统,借助分离性原理,推导出迭代的可分离的非线性最小二乘（SNLS）辨识方法。为了降低收敛于局部最小的可能性,消除强观测噪声所引起的参数估计的偏差,利用全局优化理论,引进辅助变量,推导了全局优化的辅助变量（GOIV）辨识方法。仿真试验验证了算法的有效性。