CDM理念对我国空中交通流量管理系统建设的启示

<正>引言正如BBC news所报导的:"Flights get longer as planes get faster"(飞机飞得越来越快,乘飞机的时间却变得越来越长),随着世界范围内空中交通流量持续增加,交通拥堵问题已愈演愈烈,成为制约     

看遍天上人间

“地球是我们惟一的家园,保护资源环境,善待地球”,是每个地球人应尽的责任。2012年的地球日已过去,而环境与气候问题却日益成为人们关注的对象。在科技日新月异的今天,空间技术能否助力环境保护与灾害预警呢？答案是肯定的,因为国际空间站即将参加回馈我们地球家园的行动,SERVIR系统中的ISERV系统即将登上国际空间站,通过来自空间站的全球观测,给研究人员提供独特的视角来进行环境研究和灾难分析。     

论汉语新词的英译问题及对策

汉语新词的英译是我们向外推介我们新社会、新形势和新事物,让越来越多外国人了解我们的重要途径。可是由于新词的特点,在英译中出现了诸多问题。论文主要侧重从译者角度结合大量实例来分析汉语新词英译中存在的问题,并提出相应的应对策略与英译方法以期提高汉英翻译水平,更好地开展文化交流。     

数值仿真技术在热真空试验中的应用

由于热真空试验中温度测点有限,且关键部位布置困难,不能反映试验过程部件整体和关键部位的温度结果,导致试验有效性和产品安全性难以判断。通过数值仿真技术对试验过程进行模拟,得到所有部件详细温度场,验证试验有效性与产品安全性;发现影响产品温度分布的因素,研究提高产品可靠性措施。通过对某天线热真空试验过程模拟,得到天线详细温度场,并发现产品散热板安装＂不紧密＂缺陷,是影响天线温度均匀性的＂关键点＂。     

基于多目标优化的星空认知网络鲁棒波束成形算法

卫星通信(SC)网和无人机(UAV)通信网之间频谱共享、相互融合,能较大提升频谱效率,有望成为第6代移动通信的关键技术之一。与现有文献不同,本文在系统非完美信道状态信息(CSI)的条件下,考虑了次级用户可达速率最大化和发射功率最小化2种准则,利用加权切比雪夫方法构建满足概率约束的多目标优化问题(MOO);由于该问题较为非凸,利用概率公式、半正定松弛等方法将其转化为凸问题,并进一步通过半正定规划(SDP)求解,得到鲁棒波束成形权矢量,获得2种性能指标间的帕累托最优权衡。计算机仿真验证了所提鲁棒波束成形算法的有效性和优越性。     

计算大型实对称特征问题的 Lanczos-QR 算法

为了计算大型实对称特征值问题Ｋｘ＝λＭｘ的少数低阶特征值对,本文给出Ｌａｎｃｚｏｓ－ＱＲ迭代方法。首先,给定初始迭代向量ｖ１,作ｍ步Ｌａｎｃｚｏｓ分解：ＫＶｍ＝ＭＶｍＴｍ＋ｈｍｅｍＴ。取Ｔｍ的ｄ个最大特征值为移位量,对Ｔｍ进行ｄ步带原点位移的ＱＲ分解。然后,修改初始迭代向量ｖ１。迭代地重新开始这一过程,迫使初始迭代向量ｖ１进入需求的特征子空间,从而使残量‖Ｋｘ－θＭｘ‖→０。数值例子表明,该方法收敛性强,且稳定、有效。     

松约束运输问题模型与算法研究

运输问题存在着所谓的"多反而少"悖论现象,本文用运输问题的松约束模型,说明了运输问题产生悖论现象的原因,从而拓宽了运输问题的应用范围,增加了运输问题的适应性,本文给出的运输问题的松约束模型的表上作业算法,运算简单,能彻底解决了运输问题的"多反而少"悖论现象,用本文所介绍的算法解一些问题,得到了更省的调运方案.     

基于非连续算子广义变分不等式强解的存在性

在算子不连续的情况下,利用FKKM定理和Weierstrass定理及标量化方法得到了广义向量变分不等式的强解存在性定理.     

让心灵得到爱心的滋养 留守心桥系列公益活动

自上世纪90年代以来,大量农村劳动力进城或者到沿海发达地区务工,而能够将孩子带到城市读书的农民工毕竟还只是较少的一部分,更多的农民工还没有能力将孩子带到城市,形成了父母和孩子分开的情况,即"留守儿童"。     

最低雷达引导高度图的制作

<正>雷达管制是对我们延用了多年的雷达监控下的程序管制方式的质的变革和飞跃。管制人员通过缩小管制间隔,达到改善飞行安全性、提高空域容量、减少航班延误的目的。通过制作最低雷达引导高度图,可以给管制人员提供雷达管制