产品开发早期基于核心工艺框架的工艺设计

关于早期工艺设计理论方法的研究都是以特征信息为基础,不能利用早期阶段粗粒 度、非完备的产品信息.为此,采用关键特性表示粗粒度、非完备的产品信息,提出基于核 心工艺框架的工艺设计方法.核心工艺框架是对满足关键特性要求的工艺计划的抽象,可表 达产品族或零件族中各种变型的核心工艺内容,根据分支和存在规则快速配置工艺计划.基 于核心工艺框架的工艺设计过程包括4个步骤:确定产品族/零件族,检索核心工艺框架, 配置核心工艺和工艺路线设计,有效性规则、原理性规则和定制性规则确保工艺设计的准确 性.最后通过有翼导弹的弹翼主梁的加工工艺验证了此方法的可行性.      

可视化建模语言编辑器的自动生成和配置技术

可视化建模语言是采用图形方式对系统/软件进行描述的语言,可视化建模语言编辑器为其使用提供了工具支持.不同编辑器存在的共性使得可视化语言编辑器自动生成和配置成为可能.基于理论研究和编辑器开发的实践经验,提出了自动生成和配置相结合的可视化建模语言编辑器开发的总体框架以支持编辑器的快速开发,定义了一套支持静态语义的可视化建模语言描述方法RM.RM采用基于规则的形式化描述方法来描述可视化建模语言的语法和编辑器的特性,采用MOF(Meta Object Facility)来描述可视化语言的静态语义.最后,设计实现了可视化建模语言编辑器开发环境Veda,验证了总体框架和描述方法的可行性.      

基于基元关系模型的C++程序静态分析器

分析了面向对象软件测试和度量的特点,结合面向对象程序的性质提出了描述程序基本组成元素之间关系的基元关系模型(ERM),介绍了从基于MFC(Microsoft Foundation Class)的Visual C+ +6.0源程序中构造ERM模型的算法,据此构造了一个基于基元关系模型的VC+ +6.0程序静态分析器.对分析器实现中采取的名称空间符号表、增量式开发和增量式分析等关键技术进行了介绍.实践证明,该分析器可以高效正确地提取出模型中描述的各种关系,有助于面向对象软件测试和度量方面的进一步研究.      

基于Matlab语言的系统可靠性仿真

Matlab是一种高性能数值计算语言 ,本文用Matlab语言编制系统可靠性仿真程序 ,并给出了具体实例。此方法比其他方法简单有效 ,可适用于复杂系统。     

基于Modelica的载人航天器环热控系统建模仿真

为了给载人航天器乘员营造一个良好的生活工作环境,需要将众多空气环境参数控制在指标范围内。文章结合载人航天器专业知识,基于Modelica统一建模语言建立了一种载人航天器环热控系统仿真分析模型;利用该模型仿真分析了温湿度控制风机取不同转速时,载人航天器空气环境参数随乘员代谢水平的变化趋势。结果表明:在其他参数不变的情况下,温湿度控制风机转速越大,空气温度越低,相对湿度越高;乘员代谢水平变化对空气环境参数有显著影响,通过调节系统运行参数可将各空气参数有效控制在指标范围内。舱体温度与氧分压、二氧化碳分压、舱体相对湿度有密切关系且相互影响,不可单独分析。     

航电系统安全性分析工具设计与研究

随着航电系统综合化程度的不断提高,传统的安全性分析方法过于依赖工程经验,难以保证失效模式的完备性。同时在系统迭代设计的过程中,由于系统的复杂性,会导致安全性分析工作量过大,增加了时间及经济成本。针对上述问题,设计了一种自动化安全性分析工具,基于Sys ML描述语言建立安全性数据模型,采用路径追溯的方法完成故障树自动建模,并对生成的故障树进行共模分析和区域安全性分析。以某系统为例的实验结果表明,该工具能够实现故障树自动建模与分析,提高了安全性分析的效率和完备性。     

无线电陆空通话英语交际能力模型研究

民航无线电陆空通话语言是以英语为载体的一种空地交流的特殊语言。本文在应用语言学的研究成果之上,提出了该语言的交际能力模型,该模型包括语言能力、策略能力、背景知识和心理生理机制四个部分。笔者结合民航陆空通话实际,对模型各个部分进行了分析,重点解析了策略能力在模型中的核心功能。     

Shadow detection for mobile robots: Features,evaluation, and datasets

ABSTRACT

Shadows have long been a challenging topic for computer vision. This challenge is made even harder when we assume that the camera is moving, as many existing shadow detection techniques require the creation and maintenance of a background model. This article explores the problem of shadow modelling from a moving viewpoint (assumed to be a robotic platform) through comparing shadow-variant and shadow-invariant image features — primarily color, texture and edge-based features. These features are then embedded in a segmentation pipeline that provides predictions on shadow status, using minimal temporal context. We also release a public dataset of shadow-related image sequences, to help other researchers further develop shadow detection methods and to enable benchmarking of techniques.     

间隙非线性结构气弹响应分析程序的DMAP开发

对大型工程结构,目前MSC/NASTRAN提供了线性颤振、线性气弹的计算功能,但无法进行非线性结构的气弹响应分析。本文采用Roger有理函数拟合法,从简谐运动情况下NASTRAN求得的若干折减频率下的非定常气动力系数矩阵,导出任意运动情况下的非定常气动力近似表达式,并将该气动模型引入到非线性运动方程中,利用DM AP语言在NASTRAN非线性瞬态响应分析程序中加入相关气动力模块,实现了大型有限元机翼结构的非线性气弹响应分析。文中给出了算例,结果验证了该法分析间隙非线性结构气弹响应的有效性。     

基于Web的CAD系统研究与实现

介绍了一个新的基于Web的CAD系统。用户可以在任何操作系统上，通过浏览器来利用安装在服务器上的该CAD系统进行产品的设计。无需事先安装任何其他软件，也不用考虑系统的维护。本讨论了实现该系统所需的架构和数据库结构，并给出了系统的UML模型，利用Java和CORBA在Web上建立原型系统。