Z-空间上的有界线性泛函的性质

文章在次范整线性空间中利用Hahn-Banach扩张定理给出泛函存在定理,分隔性定理,这些定理推广赋范线性空间的泛函存在定理、分隔性定理.     

民航术语规范化探索

讨论了近年出版的5本航空术语典籍，发现民航专用词汇中同义异名现象较多，指出这些现象在航空术语研究中没有取得认真的协调与关注。民航应开展对专用词汇的梳理和规范化工作，应加强对民航术语的学科系统性和业务针对性来优选词目并精确定义。     

榨油坊（一）

土法榨油是四川西部边远山区还保留着的一种传统工艺．他们把收回的油菜籽晒干后，背到水碾房用石磨磨烂．放在蒸笼上蒸熟．然后放入木制油壳里取油。     

基于干扰观测器的四旋翼无人机离散时间容错控制

为了飞行控制方案便于在计算机上实现，针对具有外部干扰和执行器加性故障的四旋翼无人机（UAV）角度运动方程，给出一种基于干扰观测器的离散时间跟踪控制方案。通过设计离散时间干扰观测器抑制外部干扰和执行器故障的不利影响，并结合干扰观测器设计离散时间控制器。通过数值仿真验证了基于干扰观测器的离散时间容错控制方案的有效性。仿真结果表明，设计的离散控制器能够保证外部干扰和执行器故障综合作用下的四旋翼UAV系统跟踪控制性能。     

遭遇外星人（四）

古怪的发现 彼得·克奥瑞:在使用厕所时,我陷入了剧痛中.我的阴茎几乎就像是被割断了.那感觉如同被切开了一样,有一种灼烧感.实在太痛了.我拉开包皮,发现有一根头发缠绕着龟头和一部分阴茎.     

地外文明探索:会引鬼上门吗?

在距离我们的太阳系约4光年处,有一个奇特的恒星一行星体系,那里最初有3颗恒星和12颗行星.这相当于我们的太阳系中有3个太阳.不幸的是,由于三体运动的不规则性,这个恒星一行星体系极不稳定,灾害频繁,文明多次发展起来,又多次中途毁灭.     

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

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

螺旋送料螺杆耐磨表面火焰喷焊工艺研究

论文通过研究合金粉末喷焊工艺,并对喷焊送料螺杆提出了改善方法和措施,从而解决了喷焊层开裂、脱落等质量问题.研究结果表明采用火焰喷焊技术可使送料螺杆的使用寿命提高,成本降低,是一种很好的修复送料螺杆的工艺措施,解决了困扰橡胶设备维护中的难题.     

2012年航天可靠性学术交流会征文通知

为推动航天可靠性(含可靠性、维修性、保障性、安全性、测试性)技术研究和工程实践,总结、研讨最新研究成果,探索适应航天科技工业新体系形势下的产品保证新模式,拟于2012年     

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

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