基于CATIA/CAA的四轴自动钻铆定位系统干涉检测编程方法研究及应用

干涉检测是自动钻铆加工前的重要准备工作,全文分别通过几种不同的干涉检测方法实现了运动仿真中的干涉检测,通过对各自方法取得的实际效果进行对比分析,得出通过基于CAAC++的方式调用CATIA自有的干涉检测功能不仅运算速度快、干涉检查信息全,并且程序运行稳定,效果最好,同时应用于开发的四轴数控托架仿真系统,辅助自动钻铆机生产加工,具有较广泛的应用前景。     

太空“园丁”

去年,国际空间站参与国决定将其运行寿命由2015年延长到2020年。投入近千亿资金之后,美、俄、欧、加拿大、日本等成员国（组织）都在努力拓展其应用,让国际空间站能“物有所值”,其中一个重要的领域就是国际空间站作为教育平台的开发。其实,早在国际空间站建造初期,驻守其间的航天员就意识到了太空生活、微重力环境下的种种奇妙现象对于学生的巨大吸引力。在繁忙的工作之余。     

伊朗发射“纳维德”地球观测卫星

据法新社2012年2月3日报道,伊朗于当日在用其国产“使者”（Safir）火箭发射了一颗地球观测卫星“纳维德”。该卫星发射成功后,进入高250-370km的轨道,其质量50kg,将在轨运行18个月,每90min绕地球一周,向位于伊朗境内的多个地面站传回卫星图像。这是2009年以来,伊朗发射的第3颗卫星。伊朗还计划在未来几年发射7颗卫星入轨,并打算在2020年以前将伊朗宇航员送人太空。     

区域北斗位置服务平台建设及运营思考

一、前言北斗位置服务平台是以北斗卫星导航技术为核心、集合GPRS、3G通信技术,为用户提供导航、通信、位置监控等服务。用户包括公众用户、行业用户以及政府用户,提供的服务包括大众位置服务、行业用户的业务运行服务、政府的应急服务等。随着北斗产业规模的扩大、行业应用的深入,北斗位置服务平台建设在省级、地市级逐步开展,包括北斗(上海)位置信息综合服务平台、北京北斗导航与位置服务产业公共平台、中山市北斗位置服务平台、福建省北斗卫星应用公共服务平台等均在政府的倡导下,启动建设运营。本文在研究了目前几大区域北斗位置服务平台的建设主体、技术特点、运行模     

民机数字档案馆的建设探索

民用飞机研发项目是国家重大专项之一,采用了先进的全数字化设计技术。其主制造商-供应商的研发模式对档案管理工作提出了新的要求,有必要建立民机数字档案馆以满足大量电子文件的管理需要和跨地区协同工作对档案利用的需求。对民机数字档案馆的基本架构及构建方式进行了探讨。     

欧委会授出三份“伽利略”合同伽利略导航系统将在2014年开始运行

欧洲委员会在2010年1月7日宣布,授出6份中的3份“伽利略”初始运行能力采购合同。系统支持服务合同授予意大利泰雷兹阿莱尼亚空间公司;前14颗卫星的建造合同授给德国OHB公司;发射服务合同授给法国阿里安空间公司。这意味着被屡次推迟的伽利略卫星导航系统将在2014年完成初步部署并具备初始运行能力。泰雷兹阿莱尼亚空间公司获得的系统支持服务合同价值8500万欧元,     

无人直升机飞行品质要求探讨

针对无人直升机发展过程中对无人直升机飞行品质要求日益加剧,而相关领域的研究及成果甚少等问题,从自动飞行控制视角出发,较为系统地研究了无人直升机飞行品质涉及的各个基本方面,包括无人直升机飞行品质的定义、研究内容、影响因素和指标体系等;同时,通过对ADS-33E的合理改进,提出了适用于无人直升机飞行品质评估的三维架构以及相应的评估准则;可为新型无人直升机系统的研制和评估提供指导,为我国无人直升机飞行品质规范的早日出台提供借鉴。      

军工高安全软件数值型运行时错误分析方法

提出一种抽象解释和有界模型验证的数值型运行时错误分析方法.利用抽象解释方法分析程序数值变量范围,获得每个程序点达到不动点的变量初步值范围信息.根据待分析的运行时错误类型,在相关需要检测的程序点处将数值变量取值信息转化为断言或假设形式插入程序中,将带有断言和假设的程序转化为布尔公式,验证其可满足性,进而验证断言的正确性.实验证明,该方法与现有方法相比,在精度和效率两方面都有良好的表现.