非流形几何造型及其布尔运算研究

简述了非流形造型的基本原理及其采用的基本操作,以及非流形几何造型布尔运算,侧重在其基本理论,包括:推广的Euler公式,集合属籍分类函数,正则集与正则集合运算;最后介绍了非流形造型布尔运算的5个基本运算步骤,即求交,新面环的生成与剖分,拓扑元素分类,连面成壳与连壳成体,以及悬点、悬边、悬面的生成.实践证明算法是有效、正确的.     

语言引导的多粒度特征融合目标分割方法

语言引导的目标分割旨在将文本描述的目标与其所指代的实体进行匹配,从而实现对文本、实体之间关系的理解与指代目标的定位。该任务在信息抽取、文本分类、机器翻译等应用场景中具有重要的应用价值。基于Refvos模型提出一种语言引导的多粒度特征融合目标分割方法,能够对特定目标精准定位。利用Swin Transformer和Bert网络,分别提取多粒度的视觉特征和文本特征,提高对整体与细节的表征能力;将文本特征分别与不同粒度视觉特征进行融合,通过语言引导增强特定目标表达;通过卷积长短期记忆网络对多粒度融合特征进行优化,在不同粒度特征间进行信息交流,得到更精细化的分割结果。在UNC、UNC+、G-Ref、ReferIt数据集上进行训练并测试所提方法。实验结果表明：相比Refvos,所提方法在UNC数据集的val、testB子集中IoU结果分别提升0.92%、4.1%,在UNC+数据集的val、testA、testB子集中IoU结果分别提升1.83%、0.63%、1.75%。所提方法在G-Ref、ReferIt数据集的IoU结果分别为40.16%和64.37%,达到前沿水平,证明所提方法的有效性与先进性...     

混合电路故障诊断中的状态分割法

在故障字典法和离散事件系统(DES, Discrete Event System)离线诊断模型的基础上,提出一种对混合电路统一建模的方法:状态分割法.围绕系统状态和状态的划分之间的关系,以数学分析为主,提出交叉交运算的定义,证明了交叉交运算在划分集上的封闭性以及该运算是划分集上的划分积等性质.借用DES离线诊断模型的建模思想,提出系统的可诊断性定义,利用交叉交运算的性质证明了最小现象集存在并可达的结论.以故障现象分割系统状态集合的方式来定位系统所处的故障状态,把故障字典法和DES离线诊断模型统一起来,指出了状态分割法的通用性.      

一个统一的几何造型系统

本文提出了一种统一的数学模型,将曲面造型系统与体素造型系统有机地融为一体,采各家之长,使系统的造型能力大大加强。系统内部的几何模型统一的采用了参数曲面的表示方法,这样便能够继承已有的曲面造型功能;表达物体的拓扑结构采用了改进的翼边结构方法,继承了体素造型系统的长处,因此,系统能够处理复杂曲面的拼合造型,集个体复杂性与组合复杂性于一身。系统还能够设计由三参数矢函数定义的实体,完整的表达空间实体的所有信息,使得曲面与实体的数学模型统一起来,为最终发展一个集成化的计算机辅助制造系统奠定了基础。本系统是正在开发的超集统一机械系统(SUMs)中的一个三维造型模块。     

Ada动态测试中遗传算法的参数编码方法

介绍了将遗传算法应用在Ada程序结构测试中,被测单元参数按照遗传算法的运算规则进行编码的原则与方法.首先,介绍了包括枚举类型和变长数组的基本数据类型的参数编码方法.由于Ada语言允许使用动态数据结构类型的参数,如何在一个较高自动化的动态测试工具中实现对动态数据结构的自动测试,成为首要关注的问题.因此文中着重介绍了Ada程序的动态数据结构在遗传算法中的编码方法.     

基于AI+神经网络的数字化故障电弧识别方案研究

线路故障电弧的特征随着电力电子技术的提高更趋复杂，传统的故障电弧识别方式已无法应对新型用电系统。对比传统故障电弧识别方案，研究故障电弧产生类型和新型检测技术，提出基于谐波因素、总谐波畸变率、电流零休时间、电流变化速率、电流周期性等典型时域、频域特征的AI+神经网络的数字化故障电弧识别方案。该方案运用回归算法向量机对特征图进行分类处理，通过正向传输运算、反向传输运算和迭代回归运算三个步骤执行卷积神经网络，频繁迭代回归以获得最佳特征识别图。本文以调光器的故障电弧识别为例，对故障识别方案进行验证，结果表明采用此方案可实现更高效、更精准、更稳定地识别故障电弧。     

应用于智能芯片的可视化反馈系统研究

当前，市场上普遍使用的负责推理的终端人工智能（AI）芯片使用训练好的参数对数据进行快速高效运算。但在通常训练过程中使用的数据集和真实数据的分布不一致，由此获得的参数会导致终端AI芯片识别准确度降低。为此，提出了一种基于终端AI芯片的可视化反馈系统架构方法。使用反卷积特征可视化方法，在具有高效计算性能的终端AI芯片上，对卷积核参数进行迭代优化，达到可识别该图像目的。相比于CPU/GPU和FPGA，所提架构在卷积神经网络模型里，更具有高效处理能力和灵活可塑性。实验表明，该研究有效提高了终端AI芯片的普适性、识别准确度和处理效率。      

不确定载荷下的桁架结构拓扑优化

对带有不确定扰动载荷的桁架结构拓扑优化问题进行了研究.将不确定载荷表示成有界凸集,从而把不确定性问题转化为一个确定性问题.构造了凸集载荷下以体积为约束的柔度最小化模型,该优化模型的实质是在高维椭球内计算最大柔度最小问题.由于采用传统优化模型存在计算上的困难,对凸集载荷进行了数学处理,并据此构造了半定规划形式的优化模型以便求解.优化结果相对于给定载荷的刚度虽然略低,但对不确定的扰动载荷却具有一定的承载能力.算例表明通过半定规划法构造的考虑扰动载荷作用下的优化结果鲁棒性较佳,结构形式更接近于实际工程结构.     

基于二进制标签的改进HSSE—tree算法

随着对航天器自主生存能力要求的提高,基于模型的故障诊断成为国内外的研究热点.计算全体极小碰集是基于模型的故障诊断中的关键步骤,以HSSE-tree算法为基础,结合二进制位标记,提出一种HSSE-tree的高效改进算法——Binary-label HSSE.改进算法采用二进制位标记来代替实际节点元素,并采用了有效的剪枝策略及节点扩展方式,避免了HSSE-tree算法中存在的节点个数及超集个数随着问题规模增大而产生的爆炸式增长的问题;此外,改进算法采用二进制位运算,避免了判断碰集及判断是否超集时的元素遍历,使算法的运行时间进一步减少.仿真结果表明,与HSSE-tree算法相比,改进算法的消耗时间及占用内存均有了大规模减少.这为航天器系统的故障诊断及实时诊断提供了理论依据和应用基础.     

北斗MEO卫星辐射剂量探测数据缺失值处理方法

针对北斗MEO卫星辐射剂量探测数据出现连续性缺失的问题,开展缺失值处理方法研究.提出一种叠加正弦波的线性样条回归方法,即引入样条函数,对各数据连续缺失的时间段进行分段处理,每段样条采用叠加正弦波的线性方程填充缺失值.结果表明:利用该方法处理缺失值,每段样条中填充曲线与探测曲线在增长趋势、周期性波动等方面具有较高的一致性;相比前向插值法和线性插值法,其填充值与真实值误差更小,关联性更高.该方法较好地解决了数据连续缺失的问题,形成了完整性好、准确性高的北斗MEO卫星辐射剂量数据集,为后续数据的发布、建模和可视化展示等奠定了基础.      

一种面向机器翻译的知识库求精机制

给出了一些知识库求精原则;提出一种面向机器翻译的知识求精机制,以错误严重性为指示器,优先求解最严重的错误,并以系统有效性和知识收敛粒度的变化为依据衡量求精操作的可接受性;给出了基于案例的错误辨识策略以及基于聚焦修正的概化、特化操作.     

大规模设备协同中的时间建模与验证

针对大规模设备协同系统中时间属性复杂、时间约束验证困难的特点,给出了大规模设备协同中的时间属性建模方法.针对设备操作时间和状态维持时间2种时间属性,通过在操作上附加时间属性实现了对设备操作时间的建模,通过在连接符上附加时间区间属性,实现了对状态维持时间的建模.在此模型的基础上,给出了大规模设备协同中4种基本结构的时间计算方法,并通过结构等价,将基本结构等价为一个连接符,从而实现了一个设备协同模型中所有节点的时间计算;并给出了大规模设备协同中的时间约束验证规则.通过相关比较及实验分析,验证了该方法具有更高的准确度,计算偏差较低且稳定,能够满足大规模设备协同系统的性能要求.     

基于虚拟仪器的雷达自动监控系统

针对传统检测技术存在的局限,为提高雷达监控系统的自动化程度和精度,分析了虚拟仪器技术的特点,设计了一套自动监控系统,对硬件进行了选型。总结了图形化编程语言LabVIEW的优势,编写的程序能方便地完成数据采集、信号分析的功能。将虚拟仪器技术应用于工程检测,精度高,操作简单,可靠性强,易于扩展。     

Gaussian-Hermite矩旋转不变矩的构建

矩及矩的方程因其较强的表述图像特征的能力在图像处理与模式识别中有着广泛的应用,但目前基于具有正交性质的Gaussian-Hermite矩的研究还比较有限.针对Gaussian-Hermite矩进行深入的研究,将其推广到极坐标下复数空间中,提出Polar-Gaussian-Hermite矩;给出利用升降算符计算矩的方程的方法;并利用极坐标下复数空间中的优势,以及它们之间的一一对应关系,推导Gaussian-Hermite矩的旋转不变矩,并给出其旋转不变矩的独立与完备集.实验结果验证所提出的旋转不变矩的正确性,以及良好的数字稳健性.     

LAS词法及语法分析器自动生成工具

LAS是在VAX/VMS操作系统上用Ada语言开发的词法分析器和语法分析器的自动生成工具。词法分析器由词法执行程序和LAS根据词法规则说明文件生成的词法树组成,语法分析器由语法执行程序和LAS根据语法规则说明BNF范式生成的状态序列集组成,在BNF范式中插入语义标志,就可以在语法分析器分析到该语义标志时,使控制转入用户提供的语义处理程序。     

航空发动机试车台自动化数据采集和处理系统

在本文中讨论了航空发动机试车自动数据采集和处理系统的设计和实现。应用STD总线保证系统具有很好的可靠性和可用性,高级语言和汇编语言结合使得试验台测试更加有效。通过该项仪器的应用,发动机厂取得了良好的经济效益。     

干涉图处理中的相位去包裹技术

介绍了相位去包裹的相关技术和算法。文中将去包裹算法分成两大类 :路径跟踪算法和与路径无关算法。同时介绍了这两大类算法的数学模型、基本思想和典型算法的处理方法     

航天器自动化测试与航天器测试语言

通过对航天器自动化测试需求的分析,总结出面向航天器自动化测试语言应具备的特征;通过对航天器测试业务中测试操作、测试流程、测试层次和体系结构的分析,给出了航天器测试语言的两种类型的语句,常规测试语句和专用测试语句,并将航天器专用测试语句分为操作类语句、数据类语句、时间类语句和控制类语句,给出了这4种专用测试语句的定义及其形式化描述.该语言对提高我国航天器测试业务的效率和测试人员的工作效率、促进航天器测试自动化研究的发展将起到一定的推动作用.     

CCD摄像机图像处理仿真

针对CCD(Charge Coupled Device)摄像机的图像处理过程,提出一种基于可编程GPU(Graphic Processing Unit)的摄像机仿真方法,利用GPU的流处理模式和并行计算能力,对图像的每个像素进行Gamma校正、亮度调节、对比度调节、色温偏差调节,以及色彩饱和处理.分析了Gamma校正的原理以及在其他调节之前进行Gamma校正的必要性.讨论了图像亮度与像素颜色的关系,提出针对当前时刻的拍摄图像提取亮度信号的方法,规定了亮度等级的划分,并将亮度等级作为图像处理的依据.提出了在低照度情况下模拟动态噪点的方法.结果表明:该方法可以模拟真实CCD摄像机在复杂光照环境下的拍摄效果,并保证实时仿真的高速与高效性.