北京康斯特公司登陆A股创业板

本刊讯2015年4月24日上午9点25分,北京康斯特仪表科技股份有限公司在深交所创业板成功上市。该公司是目前国内首家成功登陆创业板的专业从事计量标准仪器生产的企业,公司中文简称“康斯特”,证券代码“300445”。     

基于U—CODE中间语言上的代码生成器

本文描述了一种编译程序的代码生成算法,它是为JOVIAL高级语言编译程序而设计的。其中间形式采用了STANFORD大学设计的U-code中间语言,本代码生成器就是以U-code语言为源语言,生成到多个目标机上。本文在分析了U-code特点之后,针对U-code的结构,和目标机汇编语言的功能,将代码生成工作分成了三遍,模拟/归约处理;代码派生和代码汇编。然后,在介始了归约算法、存贮分配算法、寄存器分配算法的基础上,对三遍处理的工作做了详细论述, 给出了程序设计结构。特别是在模拟/归约算法上,本文给予了详细描述,其算法的优劣,则直接影响着代码翻译的质量。总之,我们的目标是多种机型,该代码生成设计算法仅在变更少部分就可达到目的。     

结构引导的图像修复

针对粗网络引入先验知识较少使得补全的内容存在明显视觉伪影问题,提出了基于边缘结构生成器的两段式图像修复方法。采用边缘结构生成器对输入的图像边缘和色彩平滑信息进行特征学习,生成缺失区域的结构内容,以引导精细网络重构高质量的语义图像。通过在公开的图像修复基准数据集Paris Street-View上进行实验测试,结果表明,所提模型可对掩膜占比达50%的图像进行补全。在客观的量化评价指标上,峰值信噪比、结构相似度系数、L₁和L₂均值误差等数值整体优于EC、GC、SF等方法,其中,掩膜占比为0%~20%时,峰值信噪比指数达到33.40 dB,优于其他方法2.37~6.57 dB,结构相似度系数提高了0.006~0.138。同时,补全的图像纹理更清晰,视觉质量更高。      

浅谈CRJ200飞机襟翼系统故障

1故障描述山东航空公司的CRJ200飞机在冬季运营中多次出现襟翼系统故障(FlapFail)信息。飞机在进近阶段,机组选择放出襟翼后,襟翼在0°或小角度卡阻;复位跳开关后重新放出襟翼,该故障信息消失。飞机落地后,地面收放测     

航天器火工冲击环境分析预示方法研究综述

航天器火工冲击力学环境问题是一个宽频、瞬态和强非线性的冲击动力学问题。火工冲击响应的预示涵盖结构动力学、冲击动力学、爆炸力学、高应变率材料力学行为等多学科理论。目前,工程上尚无统一、有效的预示方法。在航天工程中,航天器及其组件冲击环境条件设计以及系统级和单机缓冲设计,都迫切需要能够准确预示航天器的火工冲击响应。文章对国内外航天器火工冲击响应机理进行综合理论分析,并在系统调研分析预示方法的基础上提出了航天器火工冲击响应预示研究的重点和难点。     

航企

国航为瑞士航空提供地面代理服务北京直飞苏黎世航线的开通标志着国航地服部正式为瑞士航空提供地面代理服务。首航当日,代理组扎实的业务水平、严谨的态度和娴熟的技能得到了瑞航的充分肯定。近年国航地服部不断以需求为导向,全面提升业务水平,在尊重客户企业文化的基础上,竭力满足客户个性化的需求。     

复合材料自动铺带技术——曲面铺带CAM技术

以自行研制的10轴龙门式自动铺带机为研究对象,建立铺带机的机构数学模型,基于D-H法求解运动学问题;根据数控技术原理并结合铺带机的工作特点,制定相应的数控代码;基于Visual C++6.0平台开发了曲面铺带数控代码生成系统,具有文件读取、参数设定、指令生成等功能和友好的人机交互界面.     

基于模型架构的航天器控制软件研制方式研究

开展基于模型设计研究,旨在解决当前航天器控制软件研制所面临的需求描述准确性、设计验证充分性以及软件产品可靠性等问题.针对基于模型设计过程中的代码胶合接口复杂且操作繁琐问题,提出一种基于模型架构的航天器控制软件研制方式,搭建软件模型驱动框架,通过模型封装方式将既有代码资产或新编写代码嵌入到软件模型驱动框架,简化代码胶合过...     

基于代码自动生成的空间交会GNC系统仿真平台

空间交会对接GNC系统涉及目标器和追踪器两个航天器的姿态轨道控制,其数学仿真比一般的卫星更复杂.给出一种轨道动力学、姿态动力学、相对动力学、测量及执行部件等仿真模型的规范化方法,并在此基础上,提出一套基于代码自动生成技术的空间交会对接GNC仿真平台,该平台的模块化和自动化程度高、软件的可读性和通用性强,实现了两个航天器的快速规范化仿真,显著提高了研究人员的工作效率,为空间交会GNC系统的设计和仿真提供了良好的支持.     

Ada程序的验证测试

本文简述了Ａｄａ程序验证的一些经验，着重讨论了静态代码审查和模块测试。