基于FPGA的多通道数字信号下变频器设计

研究了无线通信接收机中。经A／D转换后到基带处理前的中频信号的下变频处理。提出了用FPGA实现多通道数字信号下变频的新设想。通过分析CIC滤波器、HB滤波器和多相滤波器的特点和性能，将它们与抽取器相结合．对MD转换后的数据进行抽取，降低了信号采样率，减轻了后续DSP处理基带信号的压力。结合一个具体的多信道信号．通过软件仿真和在FPGA器件的实现，证明了该方案的正确性。此设计方案集CIC滤波器、HB滤波器和多相滤波器的优点于一身。使设计出的数字信号下变频器能够处理更高频率的信号。     

进气道风洞试验微型计算机控制系统

本文介绍了用于进气道风洞试验的微型计算机控制系统。其特点是:整个控制过程程序化,能实现显示控制对象的位置,可据两维空间状态控制的不同要求,只要在程序上稍加修改便可适用。经一期进气道试验表明:性能可靠,精度高,灵活性大。     

CFD软件可信度评价知识库系统构建研究

针对气动数值模拟及可信度评价对知识库建设的迫切需求,综合调研并对比分析了国内外不同CFD知识库发展现状、知识库构建等相关技术,同时结合构建的气动力/热CFD软件可信度评价知识体系,重点开展了基于Wiki的知识库构建技术研究和基于Neo4j图数据库的知识图谱构建研究,形成基于开源Wiki框架的气动力/热CFD软件可信度评价知识库原型系统的建设方案。在此基础上,从制定知识入库流程、确定权威知识来源、制定标准档案模版、组织知识评审机构等四个方面明确了知识库建设的基本原则,确保知识库系统建设工作顺利展开,并为CFD知识库的后续发展提供应用示范和技术储备。     

嵌入式多核操作系统的形式化建模与验证

在安全关键系统中,核心基础软件的正确性尤其重要。任何的错误都可能导致整体系统失效,带来严重的后果,同时,安全关键软件要通过高等级国际安全认证标准,则必须使用形式化方法进行设计、建模和验证。调研嵌入式操作系统、编译器、文件系统、机载网络/总线的形式化验证案例,在此基础之上引出嵌入式多核操作系统形式化的问题;对嵌入式多核操作系统的时间确定性和功能正确性属性进行形式化建模和验证;并对全文进行总结。     

基于增量-迭代算法的SABRE系统非线性分析流程设计

随着大型复杂装备结构分析的非线性问题日益突出,基于线性理论的有限元分析方法已难以满足复杂工程结构设计与研制需求,必须借助非线性有限元方法来获得结构的全状态力学性能。鉴于工程结构对非线性有限元分析的迫切需求,在新架构下的自主CAE软件SABRE系统中,基于增量-迭代算法研发了非线性有限元计算流程和相应的功能模块,初步实现了结构非线性分析功能。数值算例表明,研发的分析流程具有较高的精度,可进一步基于该流程进行功能的扩展和性能的提升。     

基于ANSYS的薄壁件反重力铸造充填形态的数值模拟

介绍了CFD的基本原理以及有限体积法的概念,采用ANSYS 6.0进行网格划分和控制方程的计算,模拟了不同壁厚、不同充型速度下薄板铸件的反重力充型形态,得出了壁厚,充型速度对充型形态的影响规律。     

控制系统通用综合测试系统组建研究

在分析系统需求和基本功能的基础上 ,采用VXI总线技术、远程测控技术和测试应用程序自动生成等关键技术 ,按照综合测试的总体要求进行系统集成 ,组建控制系统通用综合测试系统 ,包括系统硬件和软件方案 ,对系统的硬件结构方案、模件选型以及软件流程、组成和作用进行了详细讨论。     

试验

JASSM导弹通过飞行试验完成软件验证 洛克希德。马丁公司研制的联合防区外空对地导弹（JASSM）最近在新墨西哥州的白沙导弹靶场成功完成产品验证测试（PVT）。     

Delcam三维模具设计软件专家系统

Delcam Toolmaker的一个独到之处是在模具设计的任何阶段,用户都可以退出进行中的自动设计模式,切换到PowerSHAPE对设计进行手工修改,随后可继续回到自动设计模式继续完成模型设计。这意味着用户不仅可以得益于高自动化设计所带来的简单、高速自动化设计,同时可根据自身需要,不受模型尺寸和复杂程度的限制,获得精度极高的模型设计结果。     

基于NX软件的橡胶模具三维参数化设计与开发

介绍了基于NX软件的橡胶模具三维参数化建模技术与方法,根据模具的装配关系区分各类参数,在NX软件中建立三维参数化的零件模型,利用其Expression工具将参数与模型结合起来,建立实体模型与其尺寸参数之间的关系,实现模具尺寸随胶圈产品尺寸及收缩率的变化而变化,从而自动生成符合要求的模具模型及工程图,极大地提高了工作效率...