一种航天器软件进程堆栈使用深度的动态检测方法

航天器软件进程堆栈溢出往往会导致软件"跑飞"的后果。文章分析了现有堆栈使用深度检测的静态测试方法和动态测试方法的优点和不足,针对航天器数管软件的特点,提出了一种适用于航天器数管软件进程堆栈使用深度的动态检测方法。通过访问应用软件与系统软件的接口,获得进程堆栈的起始地址和大小等信息,将堆栈区初始化为特定标识,对软件执行最大路径测试后,扫描堆栈区特定标识被覆盖情况,获得进程堆栈的使用深度。在嫦娥五号上升器数管软件中,实现了此方法,并通过上注在轨维护指令进行了测试。结果表明:在不借助任何专业检测软件的情况下,该方法能够实时检测出软件进程堆栈的最大使用深度,以利于避免进程堆栈溢出的风险,提高软件的可靠性。     

分布式操作系统MTA—OS中核心软件的设计研究

本文首先提出了一个分布式操作系统MTA—OS,它是以一个完成空-空多目标攻击数字仿真任务的仿真系统为背景的。结合本系统的具体特点,文中论述了其核心软件的设计思想,并对进程管理和信箱管理机制及其实现技术进行了重点讨论。     

南京哈尔滨空管自动化系统签约仪式在京举行

2009年12月29日．“长三角地区雷达管制工程南京空管自动化系统”、“极地航路雷达管制工程哈尔滨空管自动化系统”项目合同签约仪式在北京隆重举行。出席仪式的有民航局空管局、民航东北空管局、民航华东空管局、民航二所等有关单位的领导和代表。此举标志着我国民航开始大量采用具有自主知识产权的国产空管自动化系统．我国民航空管装备国产化进程稳步推进。     

用科学发展观指导军民航空管工作的创新发展

十七大指出,必须站在国家安全和发展战略全局的高度,统筹经济建设和国防建设,在全面建设小康社会进程中实现富国和强军的统一。空管工作作为军民航建设的重要组成部分,是富国、强军建设的一个环节,我们应该坚持以科学发展观为指导方针,紧密联系新世纪新阶段的特点和我国的空管使命任务,深入研究解决军民航建设面临的重大现实问题,不断推动军民航空管工作的创新发展。     

归纳推理和归纳进程

分析了归纳推理与演绎推理的区别, 给出了归纳推理的形式化规则,定义了重构和归纳进程(序列)的概念.同时还给出了一个产生归纳序列的归纳过程模式,并证明:若已知模型M的全体实例集合ε_M,则可以从任一给定的理论出发, 使用此归纳过程模式所产生的所有归纳序列都收敛于同一极限,这个极限就是模型M的全部真语句. 这说明了归纳推理规则的合理性.     

一种高速系统级虚拟测试环境实现技术

提出一种针对航天嵌入式软件的系统级虚拟测试环境实现技术。通过该技术实现的系统级虚拟测试环境准确同步每个弹上处理器的运行时间,并模拟各处理器板之间的硬件接口,使基于多处理器的嵌入式软件测试摆脱了半实物环境的制约,提高了测试有效性,缩短了测试周期。该技术利用操作系统提供的进程间通讯机制,构造了可扩展的弹上软件系统级测试环境,并且在实现系统互连的前提下保证了虚拟环境执行的高效率。     

城市生态学 高端居住新概念

<正>走在高雄宽广马路上,连心情也变得辽阔,视野无限、阳光无限、热力无限。在这样一个港都城市,连空气中都飘着豪迈的海洋风。港都这个"大"的格局,不但在高雄人的热情性格上表露无遗,更与自然结合,铺写港都的城市生态学。     

E-Jets在中国市场获突破

中国城镇化进程的加快，居民收入水平的提高、西部大开发以及红色旅游线路开发等因素，都为中国支线航空的发展注入了新的活力。今年7月，巴航工业与天津航空、工银租赁签署了总计60架飞机的销售协议，这也是巴航工业迄今为止在中国市场收获的最大订单。     

播撒绿色的希望——写在2011年航天工程育种论坛上

9月7日,来自全国的育种专家云集北京,在由国家农业部、中国航天科技集团公司组办的"2011年航天工程育种论坛"上,专家就"航天工程育种——科技创新和种业育繁推一体化"发展方向进行讨论和规划。如果说十年前航天工程育种还处于民间行为、小打小闹的话,那么今天,在国     

信息化建设中信息安全的技术与策略

90年代中期后，在我国“以信息化带动工业化”的国家发展战略带动下，各级政府与企业的信息化建设浪潮开始持续高涨，我国国民经济和社会信息化进程持续保持高速发展，基础信息网络和关系国计民生的重要信息系统建设规模稳步扩大。但是，我国在信息化建设中往往忽略信息安全和保密问题，结果造成基础电信网每年都会发生若干起重大事故、广电网发生不明信号干扰卫星广播电视的事件、互联网各类病毒层出不穷、公安机关共办理的各类网络违法犯罪案件逐年增多，而间谍程序、僵尸网络（BotNet）、网络钓鱼、网上木马、恶意网站等“舶来品”的“汉化率”也越来越高，等等。如此等等，使得我们不能不重视信息安全的问题。