计算机辅助FMECA软件模型

从CAD框架和软件体系结构的角度出发分析、建立计算机辅助FMECA软件模型.首先分析研究了FMECA软件的目标和设计思想,进而重点描述FMECA软件应用OTO-D语义模型建立数据模型和软件框架结构;产品描述关系型数据库模型和可视化形式、上下自动转换的FMECA和信息查询自动化等的实现技术.     

基于形态学与正交子空间投影的端元提取方法

针对现有端元提取方法从数据光谱或空间或特征信息的单一方面出发进行混合像元分解、不同类型端元难以区分等不足,提出一种扩展形态学与正交子空间投影结合的端元自动提取方法.利用扩展膨胀和腐蚀操作,通过计算形态离心率指数进行高光谱数据的端元数据集计算;利用光谱角匹配方法提取不同类型的端元,通过向端元正交子空间投影消除已经提取端元的影响;并通过航空高光谱数据进行算法性能验证.实验结果表明:提出方法能够实现在无任何先验信息情况下图像端元的自动提取,并且能够有效地区分相似光谱端元.     

产品协同设计中异构模型数据融合的有效策略

针对复杂产品设计中,不同设计工具产生的模型数据之间的融合问题,提出了一种工具间端到端的异构模型数据融合策略。利用数据库管理动态特性,通过模型信息共享,实现异构模型数据之间的融合。在OpenMBEE系统集成环境中,通过建模工具CREO二次开发,利用所提策略获取全生命周期设计中的动态模型属性信息,通过3D模型编辑及重用功能测试,验证了所提策略的有效性。利用自动获取可视化模型属性信息的智能算法,设计一种基于Transformer模型与双向长短期记忆(Bi-LSTM)模型相结合的模型属性智能提取算法,利用神经网络的多层感知特性,通过对模型中属性文本信息进行深度学习、特征分析,实现了对异构数据属性信息的自动提取功能。利用CAMEO建模工具设计的需求分析模型构建模型数据集,验证了智能模型信息自动提取功能的有效性。      

平面多杆复杂机构分析中转化双杆组机构的自动生成

本文提出对任何平面多杆复杂机构,利用描述结构拓朴信息的三个关联矩阵和机构参数的已知及待求信息,计算机能够自动选择虚主动杆和拆杆拆副方案,并识别所含各类构件和双杆组,从而实现多自由度转化双杆组机构的自动生成。由此可编制一套自动进行机构分析的计算机程序。文中引有两个机构实例计算。     

一种软件脆弱性自动分析定位的方法

摘要： 为了更好地满足航空航天领域中使用的多种嵌入式软件的高可靠性要求，设计一种软件脆弱性自动分析定位的方法.该方法基于程序切片技术，改进现有的前向计算动态切片算法，利用动态程序切片收集程序运行时的动态信息，构造程序切片谱，设定相关统计量统计程序语句的脆弱性可疑度，生成脆弱性定位报告.在发现软件中存在的脆弱性后，该方法对导致此脆弱性的程序代码根源实现了自动分析定位.基于此方法设计开发了软件脆弱性自动定位工具并进行了实例验证分析，实验证明了该方法的有效性.     

一种面向嵌入式系统的多模型集中存储方法

随着软件安全性的重要性日益增长，使用模型驱动的方法进行软件开发越来越受到重视。针对目前存在跨域模型的集成障碍，提出了一种基于元建模技术提取多视角模型信息进行存储的方法，并详细阐述了针对AADL、SysML、Simulink三种建模语言设计的建模元素解析、集成描述文件生成的方法框架。实验结果表明:按照所提方法实现的模型仓库能够准确提取出不同视角模型间的集成相关信息，在能够正确存储、查询的条件下，实现的元素数量覆盖率均在90%以上。      

FGM零件快速原型制造中支撑自动生成模块设计

功能梯度材料是一种新型非均质材料,有着广泛的应用前景.传统的制造设备无法满足加工这种材料零件的要求,快速原型制造技术使得功能梯度材料零件的制造加工得以实现.支撑设计决定快速原型制造产品精度.针对功能梯度材料零件数字化设计制造中的支撑生成问题,采用了基于邻边排序的Stereo Lithography模型切片算法并提出了基于多边形布尔运算的支撑生成算法.根据功能梯度材料零件几何信息及零件内部材料分布信息实现支撑间距自适应改变,提高了快速原型产品精度.通过对支撑自动生成实例的分析,验证功能梯度材料零件快速原型制造中支撑自动生成算法的正确性.      

基于神经网络融合模型的源代码注释自动生成

注释可以有效提高源代码的可读性、帮助开发者理解软件功能,对于软件的维护和演化起着关键作用.当前源代码注释自动生成方面的研究存在一定局限,一是没有深入挖掘词法信息;二是没能很好的融合词法和语法信息.因此,提出了基于神经网络融合模型的源代码注释自动生成方法,该方法利用编码器-解码器神经网络框架深度表征源代码的词法信息,结合...     

电力系统厂站接线图拓扑关系检测技术

厂站接线图中电气元件的拓扑关系是厂站接线图自动生成技术所需的核心数据。目前,已知的厂站接线图自动生成技术仍然依靠人工获取图中的拓扑关系。通过利用基于深度学习的目标检测技术与传统的计算机图像处理技术相结合的方式,能够实现厂站接线图拓扑关系检测。首先,利用基于深度学习的目标检测方法对电气元件进行识别,并利用计算机图像处理技术对标量格式接线图进行预处理,完成电气元件与连接线的分割。然后,利用轮廓跟踪算法对连接线连通区域进行检测标记。最后,根据获取的电气元件信息与连接线信息获取图纸的拓扑关系。采用国家电网有限公司提供的数据集,并设计了对比实验,验证了所提方法的有效性。      

关系数据库的自动生成与维护

随着计算机信息处理量的日益增长,数据处理部门的能力愈发不能满足需要,这就要求向数据处理专业人员提供新工具以提高其生产力。对关系数据库的自动生成与维护的研究就是出于这个目的。本文将基于假说演算的逻辑程序自动设计技术引入关系数据库之中,并使其成为关系数据库应用系统自动生成与自动维护的核心技术。利用这一技术,可以把自动设计出的逻辑程序通过程序变换途径转换为数据库查询语句。目前,我们已利用这一技术建立了一个实验系统,利用它已可以自动构造和维护一些小规模的数据系统。     

自动测试技术在备件研制中的应用

主要阐述了自动测斌技术住数字电路板备件研制方面的应用。通过对某型引俄设备数字电路板研制的验证事例，探索了ATE和LASAR仿真软件用于备件电路板研制与测试验证的方法。结合装备实验，证明了将仿真技术作为高效的电路设计验证手段，并将ATE作为通用测试验证平台的可行性和先进性。     

基于DFT的含FPGA电路板的测试方法研究

随着微电子技术的不断发展,复杂逻辑器件大量应用到武器装备电路板上,电路板结构功能日趋复杂.与此同时,芯片集成度的大幅提高使得外部可接触的引脚越来越少,这就导致常规的测试方法无法实现对该类电路板的有效测试,电路板维修、检测问题日益突出.因此,在电子设备设计的开始阶段就采用可测性技术.针对含FPGA电路板,对基于DFT的测试方法进行了研究.     

一种星载计算机秒中断间隔可控的校时方法

传统的星载计算机时间维护主要由软件实现，为了避免校时过程中秒中断间隔过小或过大，软件需要通过复杂的逻辑和算法对外部计时器Intel 82C54芯片进行多次操作才能实现一次校时，较容易出错，且占用CPU机时较多。随着未来航天器智能处理的任务越来越多，CPU机时越来越紧张，为了将CPU从繁琐的校时操作中解放，提出了一种基于FPGA的秒中断间隔可控的校时方法。通过FPGA逻辑电路设计星时计时器，利用秒中断间隔约束条件设计校时触发条件，当满足校时触发条件时，FPGA逻辑电路自动实现校时操作，很好地解决了校时过程中秒中断间隔过大或过小的问题，节约了CPU机时。该校时方法已在多台星载计算机上应用，取得了较好的效果。     

基于三维场路协同方法的静电损伤仿真测试平台

静电放电已经逐渐成为导致各类电子设备故障的主要原因之一,在电子产品研制过程中通常采用实物测试方式检验产品抗静电能力,但该方式耗费资金过大、可重复性差同时易损伤受试设备。在这种情况下,建立基于三维场路协同方法的静电损伤仿真测试平台有效地解决了上述问题。该平台以电脑仿真技术（CST）软件为基础,通过构建静电放电枪模块,结合受试设备模块和仿真参数设置模块,以时域有限积分法求解器进行仿真,并利用数据输出和处理模块得出结果。利用建立好的仿真测试平台对一台数据传输设备进行8 kV接触放电,观察其表面电流和磁场分布,并对其造成的传导干扰和辐射干扰进行分析。通过建立静电损伤仿真测试平台,实现了静电放电测试的可重复以及无损伤的目的,具有较强的工程指导意义。      

BANK编译模式在扩大单片机程序存储空间中的应用

利用C51编译器的BANK编译模式解决MCS-51系列单片机程序存储空间受64KB限制的问题,分析Keil C51编译器在BANK编译模式下的切换过程,提供一种软硬件的设计方法,并对设计的正确性进行了验证,从而解决了航天器设备典型单片机只能提供16B地址线对程序代码寻址的问题.     

轻型空间相机主承力基板结构拓扑优化计

针对目前轻型空间相机主承力基板在结构设计过程中难于同时保证重量轻且刚度高的问题,提出了采用拓扑优化设计思想进行设计的方案.通过建立基于变密度方法的拓扑优化设计数学模型,运用Nastran软件对相机主承力基板进行拓扑优化设计,给出了主承力基板的最优设计方案.经过拓扑优化后相机主承力基板质量从初始的36.8 kg降低到15.4 kg,轻量化程度达58.2%.采用有限元分析方法对拓扑优化的结果进行了模态分析,以验证主承力基板刚度分布是否合理.通过0.5 g扫频振动试验对有限元分析结果进行验证,振动试验结果表明,主承力基板结构一阶自然频率理论分析与试验结果偏差1.86%,充分证明理论分析结果的正确性和准确性.整个优化设计过程证明,采用拓扑优化设计方法大大提高了研制效率,增强了空间相机主承力基板结构的性能,有效降低了基板的重量,满足系统设计要求.     

捷联惯导系统计算机硬件检测原理与实现

介绍一种实用捷联惯导系统计算机结构。主模块与美国SESCO/TITAN公司的SECS86/20模块兼容,检测软件可以检测板上大中规模集成芯片,具有检测全面、准确的特点,从方法与原理上都具有通用性,可以方便地移植到其它类似的机器上。该软件已用于实际系统。     

一种嵌入式软件安全漏洞的代码加固方法

软件定义的概念和技术的发展和应用,装备嵌入式系统的功能主要由软件定义完成,导致装备嵌入式软件规模性和复杂性都在急剧增加,软件安全问题已经成为嵌入式系统乃至装备产品研制和运行维护的核心关注点.借助主流软件代码安全性检测技术,对装备嵌入式软件的漏洞行为和结构分析,建立装备嵌入式软件漏洞特征和系统不安全行为属性规约,通过对软件属性规约的逻辑演算,形成软件安全性加固需求,提出基于安全规约属性模板的漏洞加固代码生成技术,对软件代码中潜在的安全漏洞进行修复和加固,实现装备嵌入式软件强制安全保障.     

复合材料整体异形构件的CAD技术研究

对于多分支整体异形空心薄壁断面复合材料支架这种整体异形构件,由于复杂的空间曲面构形和纤维铺设连续性要求成为其CAD技术难题.为此,采用分块建模和网格细化技术以控制曲面走向,生成等距网格,解决了有限元网格划分难题,利用试验及有限元软件完成了改变层压板铺层方向及顺序,对异形构件进行了力学性能分析和构件的优化设计.经验证及产品质量检测,缝纫预形件树脂转移成形整体异形赛车架达到了设计要求,证明上述方法的可行性,可供航空航天及民用产品同类构件设计参考.