摘要：针对目前飞行器刚性耦合系数矩阵算法中按照单元节点规律排列的质量矩阵数据处理难度大,运算维度高的问题,本文提出一种非离散化方法的刚性耦合系数矩阵优化算法,利用在三维模型中可以直接获取的柔性部件质量特性,替代高维度的质量矩阵参与计算,避免了模型离散化误差,在简化刚性耦合系数计算流程的同时,具有提高计算结果准确度的效果,增强了工程设计中的便利性.

摘要：近年国家针对企业内部网络资产管理要求不断加强,企业内部网络资产管理措施亟须提升改进。网络资产管理首要工作是摸清家底,实现资产探测发现,资产风险的探测和治理。根据大型石油公司内部网络特点,本文设计了基于分布式的内网资产测绘平台,通过资产测绘、资产管理、风险管理、资源管理、工单管理、多维展示等模块,实现企业内网多级资产测绘和风险治理及联动管控,有效提升企业内网信息资产的管理能力。通过RSA分级任务分配算法和Diff-hellman加密通道设计保障分级平台之间的通讯安全。

摘要：结合协同式工厂设计系统中数据管理的要求和特点,给出了基于C/S模式的3层体系结构,并在此基础上提出数据管理的动态模型·详细讨论了模型数据及其拓扑关系的表示方法、模型设计版本的控制方法以及数据访问控制方法等·将这些方法应用于协同式工厂设计原型系统中,较好地解决了系统中数据管理的基本问题·

摘要：管道的制造和安装是工厂建设的重要组成部分 ,目前国内项目的管道设计、制造和安装过程中的信息还未有效地集成起来 ,针对这一问题提出了一种将管道设计和制造信息集成管理的模式 基于统一的分级管道数据模型 ,把管道设计过程中的各种信息和制造过程中材料管理、生产进度管理和质量控制的信息进行了统一 ,形成了管道布置系统的集成软件结构 利用一体化的管道预制管理系统 ,AEC项目的承包企业可以提升现有的流程 ,提高生产效率和制造的质量 该方法已经在相应的软件中得到了实现 。

摘要：随着硬件设计复杂性和规模的大幅度提升,硬件验证工作更加具有挑战性。模型检验技术作为一种自动化验证技术,可以自动构建反例路径,也因此成为硬件验证领域内最重要的研究方向之一。IC3算法是近些年来最成功的比特级别的硬件验证算法。为了提高验证的规模和效率,硬件验证算法设计逐渐从底层的比特级向更高的抽象级别转变。研究目标是设计一个新型有效的字级IC3算法。针对研究目标,提出了一种将变量隐藏抽象和隐式抽象结合的字级IC3算法IC3VA。该方法尝试将变量隐藏抽象和IC3算法相结合,并设计了对应的泛化和精化方案。在开源社区和硬件验证大赛收集的测试集上和基于谓词抽象的方法进行对比,实验结果显示了基于变量隐藏抽象的IC3算法的有效性。

摘要：远程接口单元是飞机机电系统的重要组成部分,是机电系统的执行终端。针对远程接口单元开发、调试、试验、测试和验证的需要,设计了远程接口单元测试系统。该测试系统基于LabWindows/CVI软件开发,可以实现远程接口单元的接口自动测试和应用组网测试。实践效果表明,该测试系统测试覆盖率高、工作稳定可靠,能够显著提高远程接口单元的生产调试效率。

摘要：针对乳腺癌病理组织图像数据普遍存在数据集规模小、良性和恶性样本数量分布不均衡、自动识别精度低的现状,利用深度可分离卷积、小卷积核堆叠、增深降维等技术,结合文中提出的"SoftMax+WF"设计具备合理深度和宽度、适应小数据集、轻型的病理组织图像分类模型。在图像旋转、扭曲等传统增强数据方法基础上,采用随机不重复裁切法均衡良、恶性样本数量并扩充数据集。针对训练集中难以聚类的样本,提出"弱特征"概念、"弱特征"样本提取算法和自适应调整、二次训练算法改进模型训练。在参数设置和运行环境相同的条件下,进行8组比对实验,模型的准确率、敏感度、特异度均可达97%以上。实验结果证明文中设计的模型性能稳定,对小数据集和不均衡数据集具有较好的包容性和适应性。

摘要：电流电路由于具有抗干扰性强,适合远距离传输等特点,在航空机载设备领域有广泛的应用。针对机载伺服阀控制,设计了一种简单可靠的电流输出电路,该电路结构简单,使用元器件少,配合软件修正,输出精度可满足5‰的要求。相比于以往采用仪表运放实现的电流输出电路,可靠性高,成本低,具有广泛推广的应用价值。

摘要：为了解决缺失工程参数时设备相似度的计算问题,提出一种基于带属性分类树的设备相似度计算方法.首先建立满足文中定义的完备性的分类树;然后将设备映射到类别结点上,利用结点间的最短距离、信息粒度及属性描述的平滑交并比计算设备间的相似度.结果表明,该方法具有良好的数学特性和物理解释,且在实际应用中表现良好.

摘要：为解决目前Simulink模型规则检查工具对国内如飞行控制等一些特定领域的标准规范覆盖不完善的问题,设计了41条建模准则,并基于元模型理论,提出了一种共性的解析和检查框架,在此基础上实现了Simulink模型规则检查工具SimREG。该方法通过一种无编译的方式来实现对Simulink模型的静态规则检查,在Simulink模型到元模型的映射过程中提取针对每条准则执行检查时需要的模型信息,并将模型重构为有向图的形式,然后在遍历过程中,对图中每个节点进行选定准则的分析处理,完成检查过程。SimREG完成了全部41条建模准则的检查过程,在与三个有代表性的规则检查工具的对比实验中取得了更好的检查结果。SimREG工具将元模型理论应用于Simulink模型的规则检查过程中,在检查速度更快的同时获得了更低的漏报率和误报率。