串行程序的并行划分算法及其正确性证明

针对多机系统结构，本文提出了在大粒度级并行划分串行程序的算示。该算法通过识别并行循环任务以及通过确定调用上下文关系识别过程任务，来划分串行程序中的并行成份。该算法是对串行程序实施并行分解的基础。本文还给出了该算法的正确性证明。     

在砼构件的扰动应变区采用镦头钢筋

镦头钢筋比普通钢筋有更好的性能，特别是应用在钢筋砼构件的扰动应变区具有许多优点。     

雷达管制之我见

2005年12月22日零时，几代管制员梦想并为之奋斗了几十年的时刻终于到来了!以雷达管制的实施为标志，全国绝大多数空管中心（站）正式步入了新管制方法时代。     

卫星出口管制条例正在破坏美国航天业基础

美国航天工业协会主席及首席执行官马里恩·布莱克，在2009年4月2日召开的卫星管制听证会上表示，卫星出口管制条例正在妨碍美国国家安全与经济利益，必须进行修正，以保护美国航天业基础。布莱克表示，如果没有采取切实可行的措施使美国出口管制体系现代化，并且增强与盟国的航天贸易，美国很可能失去航天业领导地位和参与全球航天业竞争的能力。自1998年商业卫星出口管制条例实施以来，     

浅论新形势下报告室管制员素质要求

随着中国民航体制改革的不断深化，航空公司同样得到了快速发展。在这样的背景下，航空公司降低成本的同时又保证取得收益的最大化，而实现这个目标必然是不断的增加对空中交通管制的难度：地面及空中流量将迅速加大，飞行冲突明显加剧，为缓解对空管制压力，雷达管制技术将在繁忙的机场及航路上得到使用，但雷达管制技术的作用要得到充分的发挥，     

航空运输飞行与管制指挥的矛盾

随着民用航空事业的不断发展，我国各地的飞行量急速增长。近一段时期航空市场的调查结果表明，机场经营者和国内外航空公司对于提高空中交通管制保障能力、增加单位时间内的飞行容量的需求日趋迫切。由于我国经济发展地域分布尚不均衡，各地飞行量的增长速度也存在显著的差异，而目前，为了同时兼顾航空运输较发达地区与欠发达地区，政府部门针对我国空管运行所制定的管制运行规则与标准还比较低。比较而言，北京、广州、上海属于航空运输发展较快的地区，由此带来的航空运输飞行与管制指挥之间的矛盾越来越突出，这就要求空管运行的相关规…