应用限制编程的信息模型内在检查方法

提出了一种基于限制编程(Constraint programmmg)的信息模型内在一致性检查方法,重点描述了EXPRESS信息模型的一致性及其检查。EXPRESS语言,作为标准制造数据交换的一个重要部分,广泛地应用于制造与信息业。中提到的一致性检查包括三个步骤：EXPRESS模型形式化,限制满足性问题(CSP)从形式化模型中的抽取和CSP的可满足性测试。本同时揭示了限制编程的一个新的应用领域：模型验证。     

无人机实时飞行仿真平台设计

介绍了一种面向无人机实时飞行仿真平台的设计与实现.硬件平台采用嵌入式计算机系统.利用μC/OS-Ⅱ实时核开发基于DOS的实时多任务应用程序.文中就系统结构、飞机模型、仿真算法、实时多任务应用程序编写进行了详细的论述.该系统已成功应用在某型无人机仿真中.     

Φ3.2m风洞战斗机大迎角试验关键技术研究

介绍了中国空气动力研究与发展中心低速所Φ3.2m风洞战斗机大迎角试验技术,包括振动条件下倾角传感器迎角测量修正技术、大迎角振动抑制技术、实时速压测量技术等.某飞机模型大迎角连续扫描测力试验结果表明,Φ3.2m风洞战斗机大迎角试验技术能够满足先进战斗机大迎角气动特性风洞试验需求.     

实时连续多媒体任务模型及调度算法

传统周期任务模型过于简单,不能适应实时多媒体流任务的多种形式,以用户为中心的连续媒体的调度算法由于未能从全局上考虑任务的服务质量QoS(Quality of Service)需求,因而调度效率较低.提出一种改进的以多媒体对象为中心周期任务模型,该任务模型概括了目前多媒体任务的基本表现形式.基于该任务模型,提出了一种以连续多媒体流的整个质量表现过程为中心的任务表现路径模型TPP(Task Presentation Path).在全面考虑表现路径中媒体流对象的全局死线、局部死线和任务连续失效率的基础上,给出了连续多媒体流的比例资源分配调度算法PSTPP(Proportional Share based on Task Presentation Path).实验结果表明了所提出的周期任务模型的合理性,调度算法能提供比传统分时策略以及EDF算法更好的QoS保证.     

航天器动力学特性参数在轨辨识技术

从结构模态参数的可识别性出发,结合结构自由响应识别技术和数字处理技术,开发出大型航天器动力学特征参数在轨辨识系统,包括硬件系统和软件系统,其中软件系统由C+ +和汇编语言组合编写,系统各部分均模块化,可适用于较复杂的工程任务.在此基础上设计了模拟在轨航天器的试验验证系统,检验辨识算法和设计软件的可靠性以及航天器在轨辨识的实时性.该试验系统包括一个对称的双梁结构,利用对称结构的弱耦合可得到多个密集模态,该结构可模拟大型航天器在太空失重条件下所特有的动力学特征.试验表明系统辨识算法可靠,精度达到设计要求.     

基于虚拟现实技术的无人直升机实时监控系统

引入虚拟现实技术,结合遥测数据的快速有效滤波和插补方法形成可视性和可靠性良好的无人直升机远程实时监控系统.有效地提高飞行状态显示形象性,动态性,遥测数据的可靠性和实时性.使离机驾驶员对无人直升机的控制更加直观有效,提高飞行任务成功率.      

嵌入式图形用户界面开发平台

针对基于单片机的智能仪器仪表类产品的需求和特点,提出了一种低端嵌入式图形用户界面(GUI)的开发平台. 平台由辅助开发工具集和图形程序库组成,其中后者采用了面向对象的应用编程框架的组织方式,是实现代码复用和嵌入式开发平台化的关键.应用编程框架提供了构造基于单片机的简单多窗口GUI系统所必需的宏观框架和结构元素. 其宏观框架采用了层次系统的组织结构和事件驱动的运行机制,其基本结构元素为GUI构件类. 针对单片机系统的特点,类库的组织避免了实现复杂的类继承机制,代之以平面化的接口继承机制. 平台已被成功应用于某智能仪表产品的GUI子系统的开发.      

带QoP反馈的实时视频服务质量控制框架

分析了实时视频在现有"尽力而为"IP网络上传输所面临的带宽、延迟和丢失等问题,介绍了需要采用的拥塞控制和差错控制等应用级服务质量控制策略,并提出了一种联合的支持应用级服务质量控制的实时视频传输框架.该框架既考虑了网络资源的动态变化和影响,又兼顾了视频的服务质量调整对视频的表现质量的限制因素,充分利用了服务质量和表现质量之间的映射关系,具有更广泛的实用价值.      

FY-2C星后端应用系统设计与业务运行调度管理

介绍了风云二号(FY-2)C气象卫星地面应用系统中计算机网络及存储系统(CNAS)的总体设计目标、功能与组成,CNAS实时业务软件系统(CROSS)在系统中的调度和管理功能,以及在轨运行情况.从顶层设计的角度分别给出了网络系统、计算机系统和存储系统的总体框架,描述C星数据采集、传输、处理、存档和检索服务实时业务系统的功能与实现方法.分析了系统采用的软件工程化与公共服务、在线与存档文件规范、前置与收工处理、质量控制、设计与实现技术,以及部署方案与技术路线等关键技术及其特点.     

基于接触式压脚的机器人制孔垂直度优化研究

针对传统非接触式法向校正技术在弱刚性薄壁上的不足,在接触式压脚结构的基础上对传统法向校正方案进行了研究,提出一种仅适用于接触式压脚结构的两点校正算法,同时设计了一套基于激光跟踪仪的法向测量系统标定方法。针对弱刚性薄壁受到压脚单向压紧力产生回退对制孔位置精度的影响,提出一种工具中心点（Tool center point, TCP）变位补偿技术,该技术利用激光位移传感器监测壁板回退量,在法向校正前动态调整TCP位置,实现对壁板回退量的实时补偿。搭建试验平台并通过制孔试验验证了接触式法向校正技术与TCP变位补偿技术可有效保证孔的垂直度与孔位精度,实现孔垂直度误差小于0.25°,孔位偏差小于0.4 mm。