时频测量的新技术——相位重合点检测技术

近年来相位重合点检测技术和周期性信号参数测量各种高精度的方法在国内外得到了广泛应用。对这种新技术的基本原理、所派生的频率、周期、相位差和时间间隔测量方法作了介绍。这些新方法测量精度高,测量频率范围宽,设备构成比较简单,在时频测量领域将获得越来越广泛的应用,可能逐渐取代已有的某些测量技术,并可在其它量测量领域获得推广。     

舰载飞机自动着舰系统的研究

介绍了舰载飞机的自动着舰系统（包括了飞机的飞行控制系统，推力控制系统及航空母舰的导引系统），并指出只有精确地控制飞机的不滑轨迹，才能使飞机在航空母舰上安全降落，本文着得讨论俯仰指令型的纵向自动着舰系统的原理、结构及设计，并指出导引指令中对舰体运动的补偿。     

Ada软件的动态测试技术研究

为改善软件质量，对Ａｄａ软件的动态测试技术进行了研究，并且就以下内容着重进行了讨论；Ａｄａ软件的分析与理解；Ａｄａ软件的动态测试原则与方法；Ａｄａ软件的动态测试工具ＡＳＤＴ。     

结构优化中的混合变量应力约束近似方法

提出一种处理结构优化应力约束的新近似方法，以往一般直接对应力约束按设计变量近似，本文用近似内力间接近似应力约束以得到更高的近似质量，根据对内力和设计变量关系分析，提出了内力按混合变量一阶泰勒展开的高捏近似方法。近似优化问题用约束变尺度法求解，最后按出了几个典型例题。结果表明该方法简单，有效，可靠。     

基于SPCE061A数字语音温度控制系统的设计

以凌阳SPCE061A单片机为控制核心,设计并制作了一款具有温度设定灵活、数字显示及语言播报功能的水温控制器,通过PID控制算法产生脉宽调制波,提高了控制精度。实践表明:该水温控制器达到了设计要求,有一定的实用开发价值。     

微波泄漏对光抽运铯束频标准确度影响的分析

微波泄漏是影响光抽运铯原子钟准确度的主要因素之一. 傅里叶变换分析法是分析其影响的主要手段,但该方法只能用来分析有效原子速度分布很窄的情况.通过分析和计算,推导出频移随漏场的位置、相位和幅度变化的关系式.计算和分析的结果表明,漏场引起频移大小和漂移区的长度、输入微波功率值和漏场的相位、强度和位置等有关.所得的结果和用傅里叶变换方法分析所得的结果是一致的,分析的方法不受原子有效速度限制.     

无人水面艇海洋调查国内应用进展与展望

针对浅水区、污染区、极地等复杂海洋环境，传统海洋调查手段劳动强度高、安全风险大、作业效率低。无人水面艇具备无人、高效等特点，非常适合在上述复杂海洋环境中作业，并于近年来在海洋调查领域中得到了快速发展与广泛应用。从海洋调查领域中无人水面艇的优势、国内外典型的无人水面艇和应用案例入手，深入分析了我国无人水面艇海洋调查的现状，并对未来的技术发展方向进行了展望。实践表明，应用无人水面艇进行海底地形地貌调查的技术已基本成熟，水深数据质量和自主导航精度均可满足规范要求。在未来，须将无人水面艇的应用进一步扩展至物理海洋、海洋生物、海洋化学等专业领域，并加快研制基于可再生能源的长航程无人水面艇，以开展全球性海洋调查。     

Low-latitude storm time ionospheric predictions using support vector machines

The electromagnetic drift plays an important role in low-latitude storm time ionospheric dynamics. In this study we attempt to utilize the electric field data into ionospheric predictions by using support vector machine (SVM), a promising algorithm for small-sample nonlinear regressions. Taking the disturbance electric field data as input, different SVMs have been trained for three seasonal bins at two stations near the north crest of the Equatorial Ionization Anomaly (EIA). Eighteen storm events are used to check out their predicting abilities. The results show fairly good agreement between the predictions and observations. Compared with STORM, a widely used empirical correlation model, the SVM method brings a relative improvement of 23% for these testing events. Based on this study we argue that the SVM method can improve the storm time ionospheric predictions.     

Air route network optimization in fragmented airspace based on cellular automata

Air route network optimization,one of the essential parts of the airspace planning,is an effective way to optimize airspace resources,increase airspace capacity,and alleviate air traffic con gestion.However,little has been done on the optimization of air route network in the fragmented airspace caused by prohibited,restricted,and dangerous areas (PRDs).In this paper,an air route network optimization model is developed with the total operational cost as the objective function while airspace restriction,air route network capacity,and non-straight-line factors (NSLF) are taken as major constraints.A square grid cellular space,Moore neighbors,a fixed boundary,together with a set of rules for solving the route network optimization model are designed based on cellular automata.The empirical traffic of airports with the largest traffic volume in each of the 9 flight information regions in mainland China is collected as the origin-destination (OD) air port pair demands.Based on traffic patterns,the model generates 35 air routes which successfully avoids 144 PRDs.Compared with the current air route network structure,the number of nodes decreases by 41.67％,while the total length of flight segments and air routes drop by 32.03％ and 5.82％ respectively.The NSLF decreases by 5.82％ with changes in the total length of the air route network.More importantly,the total operational cost of the whole network decreases by 6.22％.The computational results show the potential benefits of the model and the advantage of the algorithm.Optimization of air route network can significantly reduce operational cost while ensuring operation safety.