Linux操作系统中断与I／O设备驱动驱动程序设计与实现

本文通过对Ｌｉｎｕｘ设备驱动程序的分析和研究，探索了驱动程序设计的方法，并针对一简易时间中断板设计了中断与Ｉ／Ｏ设备驱动程序实例。     

民用飞机技术出版物规范应用

技术出版物作为民用飞机产品的重要组成部分,用于指导运营人正确地操作和维护飞机.为了满足相关适航规章的要求和用户对于交互式电子技术手册日益增长的需求,实现手册全寿命周期管理,飞机制造商应在保证手册完整、正确、准确的基础上,进一步实现手册的标准化、规范化和结构化.本文对国际主流技术出版物规范的特点、规范的确定、应用方法和风险等进行了介绍和阐述.     

CAE模拟机业务在华获得进展

珠海飞行训练中心今年增加了2台CAE5000系列A320全动飞行模拟机（FFS），以及A320综合程序训练器（IPT）、空客飞行员改型训练机（APT），波音787虚拟模拟机（VSIM）等训练设备。目前珠海飞行训练中心拥有的CAE模拟机数量达到15台。     

抗震救灾彰显北斗特点

2008年5月12日四川汶川发生里氏8.0级大地震后.震区与外界失去了一切联系.中国电信、中国移动、中国联通等通信网络均被严重破坏.外界无法及时获得震区的受灾情况.对救援工作的开展产生了很大阻力。     

印度一颗通信卫星出现故障

1月3日，由于受太阳活动影响印度一颗通信卫星印星4A出现故障，星上一个动量轮关闭，卫星失去定向．半个小时不能提供服务．之后．印星4A重新建立了正确姿态控制。这颗卫星于2005年底发射．装有24个转发器．基中一些用于电视直播业务。[第一段]     

Microscan收购西门子机器视觉业务部

2008年10月,Microscan宣布它已经收购了总部位于美国新罕布什尔州Nashua的西门子公司机器视觉业务部,即以前的Acuity CiMatrix公司。据Mi-croscan公司预期,此次收购将通过把其业务扩展到机器视觉成像与检查领域,以进一步加强它在以客户为中心的可追踪性解决方案方面的技术领先地位。此次收购已于2008年9月完成。     

某航空企业MES实施战略

ERP、MES综合生产管理系统作为企业综合业务管理系统,主要包括控制物料、设备、人员、流程指令和设施在内的所有工厂资源来提高制造竞争力,提供了一种系统地在统一平台上集成诸如计划管理、文档管理、生产管理、质量管理等功能的方式,从而实现了实时化的EPR/MES/过程控制系统的集成一体化     

天舟PDM在航天科工集团红林机械厂顺利通过实施验收

日前,经过航天科工集团红林机械厂和北京天舟上元信息技术有限公司数月的共同努力,红林机械厂PDM项目完成实施并顺利通过验收。红林机械厂隶属于中国航天科工集团,是集军、民品科研、生产于一体的军工企业,核心业务涉及产品科研、生产的项目计划、产品设计、工艺规划和产品制造等多个方面。     

欧洲航天局拟建货运登月着陆器

该登月着陆器的载货能力为1700kg,旨在为欧洲、美国和其他国家计划建造的月球基地提供货运业务。欧洲航天局拟建货运登月着陆器@小光     

航天软件中多重中断程序的动态检测方法研究

随着控制系统软硬件平台的设计复杂度不断增加,特别是飞行控制系统中集成的传感器不断增多,中断数量也随之不断增加.本文根据飞控系统的具体特点,使用标记迁移系统对多重中断并发程序进行建模,提出了原子性违背和数据竞争的形式化描述,运用动态偏序化简算法对程序的状态空间进行化简,并设计实现了多重中断控制系统程序的动态检测工具,实验结果表明该检测算法可以在满足对多重中断并发程序错误检测的基础上,大大的缩短检测时间.