试验中被制导目标的定位及安控应用

从飞行器试验安全控制角度，讨论了在末制导系统捕获目标后，如何融合外测和遥测数据以获取目标的位置信息。要点是目标位置的计算方法及其应用于安控显示软件。给出一个实例；用实时测量数据解算出飞行器制导目标的位置，并在电子地图上显示。     

国防CAE软件应用调查报告

CAE,即计算机辅助工程,主要指用计算机对所设计的产品的功能、性能与可靠性等进行计算和优化设计,对未来的工作状态和运行环境进行模拟仿真,并优化设计方案,以证实未来工程产品的实际性能。CAE可以用于静/动力学分析、流体力学分析、振动/弹性分析、热传导分析、噪声分析、辅助实验设计和虚拟样机制造等方面,并为上述领域的工作带来革命性的变化。目前,CAE工具已成为工程师们基本的工作手段,很多领域已是必须依靠CAE才能有效工作,例如在航空领域中,由于对产品高性能和高可靠性的需求,因此对CAE仿真平台也提出了更高的要求,航空企业迫切需要通过高性能的仿真平台对不同部件进行系统开发,以便在设计的初期阶段就可以对系统关键属性进行仿真分析。本次调查以问卷形式,面向CAE软件供应商、相关领域用户和相关研究机构3个方面展开。在CAE供应商方面,主要面向在国防领域有较多应用的供应商,如:安世亚太、ANSYS、ABAQUS、MSC、LMS、ESI、SAMTECH、DS、Altair、Solidworks和紫瑞CAE等;相关领域用户主要有:航空制造工程研究所、南京液压机电研究所、第一飞机设计研究院、沈飞集团、齐二机床集团、航天一院、航天五院...     

支线运输机概念设计的多目标优化方法

研究支线运输机概念设计的多目标优化问题，在飞行任务确定的约束条件下，以最大起飞重量、燃油重量、升阻比、航程为目标，给出了多目标优化设计的数学模型、优化方法和计算软件。基于MATLAB软件，利用了MATLAB的开放式的可扩展环境开发了用户优化工具箱，扩展了MATLAB优化工具箱的功能，适用于不同需要。     

基于扩展Petri网的除冰软件安全需求建模和验证

Petri网是形式化的系统建模方法,以严格的数学基础来保证系统的正确构建,但在支持复杂软件建模和自动化验证方面存在不足.扩展了Petri网的形式语义,区别定义了状态型和数值型库所,区别定义了变迁的激发和抑制状态,引入了无前置、一元和组合判断规则,同时根据形式化定义将模型自动转换为检验程序实施安全性验证.最后给出了以上方法在典型安全关键软件-除冰系统上的应用,过程和结果表明扩展的模型和方法增强了Petri网对复杂软件系统的建模能力,提高了软件的安全性,从模型到验证代码的自动转换解决了完善模型时人工修改相应代码的工作量和因此而引入人为错误的重复工作量的问题.     

软件标准符合性测试

叙述了软件标准符合性测试方法，提供了断言类型判定，测试级别，测试套集，测试工具等关键技术的解决方案，对软件标准测试，软件质量保证均有一定的指导作用。     

带工字型孔的平板构件LCM充模过程模拟及实验研究

根据LCM工艺树脂流动充模模型和FEM／CV算法开发了LCM工艺计算机过程模拟的3D LCM系统，考查了工字型孔尺寸或位置对平板构件充模过程的影响，并进行了对比实验，同时分析了其流动充模模式的变化规律。结果表明模拟结果与实验结果具有较好的吻合性。模拟软件可以比较准确地模拟LCM工艺的充模过程，为指导实际工艺的设计及优化奠定了重要的基础。     

无线优盘:AirDrive-wireless flash disk

这款AirDrive应该是目前比较好用的一款无线优盘应用了,该应用界面UI十分出色。软件界面设计非常精美,美工不俗,以iPad版为例,左侧有一个漂亮的白色优盘,拨动其上的开关,盖子就打开了,链接地址随之显示出来。软件同时提供HTTP服务器和FTP服务器,只要在同一局域网内的任何一台电脑打开软件提供的地址,就可以打开文件的上传/下载界面。通过电脑浏览器上传的文件,在软件右侧会即时的显示出来,你可以对支持的格式进行查看或播放,或通过Open with功能由设备上其他支持该格式的应用打开。软件支持打开ZIP/RAR压缩包,也支持文件夹的建立和文件移动、重命名等操作,非常方便。软件底部,显示的是设备的可用空间,还真有点"优盘"的样子。如果两台iOS设备都装有该软件,软件更是支持通过Bluetooth     

专注创新 协同发展——本刊总编辑刘柱对话PTC公司中国区副总裁刘同龙先生

创新是一个企业发展的动力和竞争的根本.没有创新,企业就不会进步,更不会有发展.PTC公司自从1989年上市,就引起机械CAD/CAM/CAE界的极大振动,成为该领域最具代表性的软件公司,其产品已成为先进技术的代名词.     

浩辰CAD2010平台及机械软件

浩辰CAD2010平台功能亮点 1 内核技术完成革命性突破,软件性能获得质的飞跃 浩辰CAD2010使用GRX作为核心驱动,通过潜心研发,优化的全新数据库内核实现了性能的大幅度提升,在读取、保存等几个重要性能参数上体现尤为明显.     

将数学建模思想融入高等数学教学的探索与实践

论文阐述了将数学建模思想渗透到高等数学教学中去的必要性，探讨了在高等数学教学中融入数学建模思想的方式、方法,以及在高等数学中如何进行数学模型案例教学的问题.