浅析2020年前美军事战略重点的转变--从装备发展看美国军事战略重点可能的变化

美国21世纪前期的军事战略重点将是争夺外空优势，夺取制天权和制信息权。分析了美国夺取外空优势的原因，及其为夺取外空优势在国家政策、航天发展和技术准备等方面采取的措施。     

Analysis of the Datagram Congestion Control Protocol’s connection management procedures using the sweep-line method

State space explosion is a key problem in the analysis of finite state systems. The sweep-line method is a state exploration method which uses a notion of progress to allow states to be deleted from memory when they are no longer required. This reduces the peak number of states that need to be stored, while still exploring the full state space. The technique shows promise but has never achieved reductions greater than about a factor of 10 in the number of states stored in memory for industrially relevant examples. This paper discusses sweep-line analysis of the connection management procedures of a new Internet standard, the Datagram Congestion Control Protocol (DCCP). As the intuitive approaches to sweep-line analysis are not effective, we introduce new variables to track progress. This creates further state explosion. However, when used with the sweep-line, the peak number of states is reduced by over two orders of magnitude compared with the original. Importantly, this allows DCCP to be analysed for larger parameter values. Somsak Vanit-Anunchai was partially supported by an Australian Research Council Discovery Grant (DP0559927) and Suranaree University of Technology. Guy Edward Gallasch was supported by an Australian Research Council Discovery Grant (DP0559927).     

星间激光通信技术进展与趋势

较详细地评述了目前国外卫星间光通信技术研究的现状．根据关键单元技术的进展情况，总结了未来星间光通信系统的发展趋势。     

On the relationship between parity space and approaches to fault detection

Parity space approach and H₂ approach are two important fault detection approaches. This paper studies the relationship between these two approaches, which reveals frequency domain characteristics of the optimal solution of the parity space approach on the one side and provides a numerical solution of the H₂-optimal design of residual generators on the other side.     

An analysis of the electrical conductivity in BaSO4-added Ag2SO4 solid electrolyte system

The compositions (1 −x)Ag₂SO₄−(x)BaSO₄, wherex=0·01 to 0·6, were prepared by slow cooling of the melt. The extent of the solid solubility of Ba²⁺ in Ag₂SO₄ was determined by X-ray powder diffraction and scanning electron microscopy. The bulk conductivity of each sample was obtained using a detailed impedance analysis. The partial substitution of Ba²⁺ results in the enhancement of conductivity in compliance with the classical aliovalent doping theory. A simplistic model based on lattice distortion (expansion) due to partial substitution of Ag⁺ by the bigger Ba²⁺ has been considered to explain enhanced conductivity. Beyond solid-solubility limit (5·27 mole%) the BaSO₄-dispersed Ag₂SO₄ conductivity follows the usual trend seen in binary systems. An increase in conductivity in this case is discussed in the light of interfacial reactions and surface defect chemistry. The maximum conductivity in 20 mole% BaSO₄ dispersed Ag₂SO₄ is due to percolation threshold.     

四维空间直线绕平面的旋转

本文对四维空间直线绕平面旋转的轨迹进行一投详尽的讨论，按照直线与“轴平面”的相对位置不同，该旋转轨迹分别为圆柱面、圆锥面和单叶回转双曲面，并认为这些回转曲面的轴线是过该直线的与“轴平面”垂直的超平面与“轴平面”的交线。     

Lateral space-charge effects on ballistic electron transport across graded heterojunctions

Hot electron transport across graded compound semiconductor heterojunctions has been explored using a two-dimensional formulation of the self-consistent ensemble Monte Carlo method. The Al_xGa_1-xAs/GaAs heterojunction imbedded into a vertical field effect transistor with two ohmic contacts (source, drain) and two lateral Schottky gates has been used as an example. Lateral space charges modulated by the gates are shown to control ballistic injection of electrons over the heterojunction under steady state conditions. The transient response to a gate pulse is found to be determined by carrier transit from the heavily doped source contact region into the channel. A conceptual one-dimensional section model is used to explain the Monte Carlo results.     

Design Methodology of the Structure of Postal Express Mail Networks of Aviation Channels in China

1　ＩｎｔｒｏｄｕｃｔｉｏｎＩｎｏｒｄｅｒｔｏｉｍｐｒｏｖｅｔｈｅｑｕａｌｉｔｙｏｆｐｏｓｔａｌｓｅｒｖｉｃｅａｎｄｔａｋｅａｄｖａｎｔａｇｅｏｆａｕｔｏｍａｔｅｄｍａｉｌｓｏｒｔｉｎｇｅｑｕｉｐ ｍｅｎｔｓ,ｉｔｈａｓｂｅｅｎｄｅｔｅｒｍｉｎｅｄｔｏｃｏｎｓｔｒｕｃｔｔｈｅｐｏｓｔａｌａｒｅａｃｅｎｔｅｒｏｆｆｉｃｅｓｙｓｔｅｍｉｎＣｈｉｎａＰｏｓｔａｌＳｅｒ ｖｉｃｅ (ＣＰＳ) .ＴｈｅｃｒｕｘｏｆｔｈｅｐｒｏｂｌｅｍｆａｃｅｄｂｙＣＰＳｉｓｔｏｒｅｄｅｓｉｇｎｔｈｅｐｏｓｔａｌｃｏｍｍｕｎｉｃａ…     

载人航天高可靠伺服技术

回顾了载人航天高可靠伺服技术的研制道路，介绍了用于载人航天火箭推力矢量控制中的新型三余度伺服机构的技术特点，对载人航天伺服技术的未来发展进行了分析和展望。     

一种混沌信号去噪方法的研究

以Takens嵌入定理和影子定理为理论依据，提出一种能对混沌信号去噪的局部投影方法。该方法不需潜在动力学系统的先验知识，符合工程实用的要求。通过实验结果表明这种方法对混沌信号去噪很有效。