进化策略在无比例工程图布局优化中的应用

自动生成的无比例工程图存在布局不合理、可读性差的问题,以管线安装图为例分析了工程图中布局的约束条件,将布局问题简化为管段长度的调整,基于目标分解建立了多目标优化的数学模型.应用进化策略求解非线性规划的数学模型,讨论了进化策略中问题的表达、重组、突变、选择算子以及终止条件.计算结果表明,此法可以很好地满足工程中对图纸可读性和出图效率的要求,并可推广到一般的具有拓扑连接关系的布局优化问题中去.      

基于三维特征设计的二维工程图的自动生成

主要研究了基于参数化特征造型系统("金银花"系统)中二维工程图中的视图布局及图形处理的基本原理及实现方法,重点介绍标准视图和剖视图的生成原理.与传统的二维绘图系统不同,本文的一个特点是由三维模型自动生成二维工程图的视图布局及尺寸标注,实现三维模型与二维图形的双向关联,既修改二维图形,三维模型也会随之改变,反之亦然.     

基于模板数据库的工程CAD拓扑建模方法

应用模板数据库的方法,进行工程CAD管网拓扑建模.通过将工程对象抽象为很多具有各自特征的拓扑结构模板,建立拓扑模板数据库.在模板数据库基础上设计了一种松耦合的3层体系结构的工程CAD管网建模系统.此体系结构包括:用户层、库管理层、数据层.库管理层能够对拓扑模板进行方便快捷的管理、扩展,从而可以高效地建立和维护管网模型的拓扑结构;数据层提供统一的数据接口,使得不同领域之间可以共享拓扑模板数据.系统的层次结构分明,系统模块之间的依赖关系低,并且易于实现.采用本系统能够大大提高管网模型的建模效率和兼容性.     

基于模板匹配整帧屏幕视频帧内无损编码方法

当前主流的视频压缩标准,如H.264、HEVC等,主要是针对摄像机拍摄的视频而设计的.而屏幕内容(SC)的视频是由计算机生成的,无噪声,要求更高的压缩效率,同时与摄像机拍摄的视频相比包含更多的结构相似性.提出了一种利用屏幕视频中相似性的模板匹配帧内编码方法,采用由21个像素点组成的模板,以像素点为最小单位对整帧进行模板匹配,并使用哈希函数实现高效的模板查找,最后对残差图像进行熵编码.实验结果显示,与标准的HEVC扩展方法相比,该方法在无损编码上压缩率可以提高一倍,编码时间减小了近一半.      

低可探测机身参数化造型与优化

为提高低可探测机身外形造型效率,在概念设计中针对典型机身剖面研究了参数化造型方法.定义了若干设计参数对B样条的控制顶点进行调整,从而用单条B样条表示出机身和座舱盖的典型剖面,包括尖劈及凹凸曲线等.以此为基础,构造了一系列参数化剖面曲线模板,调整选用模板的参数生成机身各站位处外形,从而实现了机身快速造型.最后,利用提出的方法建立了两种隐身飞机概念方案的外形,并以侧向雷达散射截面为目标分别进行了优化,验证了该方法在机身外形优化中的有效性.      

基于程序变异的Simulink模型测试方法

为解决当前Simulink模型变异测试中测试执行开销大、测试用例生成效率低等问题,首先根据当前的Simulink模型变异算子集,基于程序变异技术提出了Simulink模型的变异测试过程和一组改进变异算子集.实验表明,在不影响测试用例集变异评分的情况下,该组变异算子集能够有效减少变异模型的生成数量,从而降低测试开销.其次,设计了一种基于搜索的Simulink模型变异测试用例生成方法,该方法将变异模型的测试用例生成问题转换为目标函数极小化问题,通过模拟退火算法对目标函数寻优,最终搜索出能够杀死该变异模型的测试用例.最后,将该方法应用于典型案例,验证了方法的正确性和有效性.      

基于度中心性的AFDX网络拓扑生成

航空电子系统随着任务需求和技术的发展不断向深度综合演进,其系统的复杂性给网络的设计和验证带来了巨大的挑战,如何通过网络生成实现受限资源条件下航电信息交互的实时性能保障是目前亟待解决的问题。针对目前存在的无法对航电网络进行实时性调控的拓扑设计方法进行改进,依据终端节点之间所有虚拟链路的最大通信帧长之和的大小关系,提出一种基于度中心性理论的航空电子全双工交换式以太网（AFDX）网络拓扑生成算法。将终端节点之间数据帧长作为节点度的衡量标准,对所有终端节点进行集合划分,并根据集合中终端节点的数据帧长对交换机进行连接。采用确定性网络演算以及仿真的方法对基于度中心性的AFDX网络拓扑生成算法进行效能评估。利用确定性网络演算方法,在小规模虚拟链路（VL）的组网下,结果显示:基于度中心性的拓扑生成算法生成的网络拓扑中75%的VLs实时性能优于原始人工设计的网络拓扑,且端到端延迟平均减小9.37%。利用OMNet++仿真方法,在1 400条虚拟链路的组网规模下,结果显示:基于度中心性的拓扑生成算法生成的网络拓扑中94.3%的VLs实时性能优于人为规划网络拓扑,且端到端延迟平均减小50.2%。由此表明:基于度中心性的拓扑生成算法很大程度上提高了网络的实时性能保障。      

颅缝早闭手术中颅骨切割方案生成方法

为实现颅缝早闭手术方案制定的规范化，提出一种结合深度学习、立体视觉和点云处理技术的颅骨切割轨迹生成方法，用于建立切割方案模板库和生成新的病例切割方案。该方法将深度学习应用于颅骨外表面的实例分割中，利用Mask R-CNN对手术区域进行检测和分割，利用简化轮廓提取算法提取切割轨迹，并结合点云处理技术将切割轨迹坐标进行2D-3D映射，实现切割轨迹自动化提取；在此基础上建立典型病例模板库，通过模板匹配方法自动生成新病例的切割方案。实验证明:该轨迹提取方法可以准确高效地检测出颅骨切割轨迹，并将轨迹坐标进行3D映射，点云深度测量误差小于3 mm，达到临床可用标准；模板匹配方法也有效生成新病例的切割轨迹，符合资深医生的手术方案。      

基于PLS-SEM的航天器控制系统能力建模方法

为提升航天任务完成品质,航天器需根据任务及环境针对性调整自身能力,而对航天器控制系统高层次能力的定量刻画,即系统能力建模是实现上述调整的重要理论依据。针对一类航天器姿态控制系统,提出一种基于偏最小二乘-结构方程模型(partial least square structural equation model, PLS-SEM)的航天器控制系统能力建模方法,实现对包括控制能力、观测能力等抽象能力的定量描述。首先,根据航天器闭环控制系统的结构要素,综合设计能力建模所需的指标类型,生成建模数据样本。在此基础上,设计并构建SEM框架下的能力变量体系,进而通过PLS算法完成模型路径、载荷、权重等关键参数的确定,并对所得PLS-SEM能力模型的结构方程与测量方程的有效性、可信性等分别进行评估。最终,根据航天器PLS-SEM能力模型对控制系统的各抽象能力进行定量描述与分析,验证本文所提出建模方法的可行性。     

星载软件可测试性设计方法

随着星载软件复杂度的增加,提高软件测试效率对保证软件质量越来越重要,软件的可测试性设计成为提高软件测试效率的关键手段。文中针对星载软件的可测试性设计提出了四种方法:设计可测试的分层体系结构可将软件故障限制在层次范围内;合约式任务模板可规范任务的输入输出,降低任务间的耦合性;状态序列编码可用于动态指示软件的切换与流向;多任务调度记录与堆栈使用记录可用于静态复现一段时间内软件的详细工作过程。可测试性设计方法应用在某项目的软件研制中,软件测试效率有明显提高,证明方法可行有效。     

飞机板金件冲压模CAD系统的研究与开发

以AutoCAD2000软件作为开发平台,使用其提供的二次开发工具Visual Lisp 和VBA,并以Sybase作为后台数据库管理系统,在飞机板金成形数据库Ashbase的基础上,结合生产实际,研究了飞机板金件冲压模CAD系统.实现了冲压模标准件和常用件参数化绘图,开发了拉深模设计模块.本系统融二维和三维于一体,提高了模具设计效率,实用性很强.      

集成化过程工程环境及其体系结构

现代化的企事业是一个极其复杂的集成化的人机系统,其内部运作需要基于计算机的应用系统的支持.因此本文讨论了一个以过程工程为核心的,将过程工程和软件工程融合为一体的集成化过程工程环境IPEE,提出了以过程模型为中心的IPEE的总体结构,并设计了分布式的过程运作环境的体系结构.     

基于Agent的工程车辆综合控制与管理的研究

针对承担复杂作业任务的大型工程车辆与施工机械控制与管理的需求,提出了基于Agent的分布式网络控制系统.研究了基于智能控制Agent的工程车辆综合控制和管理的体系结构、组成部分、功能特性.采用网络控制系统的分层结构和多智能体的递阶结构完成整个系统的协作和信息交换,从而实现运动控制、任务规划与协调、状态监测、系统维护、故障诊断与容错等功能.指出若干Agent协调工作是这类系统的特征.所提出的体系结构已在大型施工机械和工程车辆上得到应用.      

领域分析与建模研究

基于信息论通信系统原始模型构造了由信码、动作和目标刻画的三维领域概念模型,给出了领域的精确定义.提出用于构造任意构件的基本单元--微构件模型,并在领域三维模型的信码-动作平面给出微构件的精确刻画.提出了基于软总线的一般领域构架建模方法.软总线支持构架内信息流与控制流的混合结构传输,支持把协作策略从功能服务中分类出来,简化领域构架的控制操作行为.以上方法应用于电子政务领域工程实践,已成功地构造了一个柔性软件生产平台(SoftProLine),用于开发一整套基层政府的电子政务应用软件系统,突出地体现了高质量、高效率、高柔性的技术特点,方便灵活地满足用户全方位的需求.     

企业信息系统领域的软件建筑模型

将软件建筑的基本概念以及研究成果引入到企业信息系统建设中,提出了企业信息系统领域的软件建筑模型.首先对软件工程方法学的发展做了简要评述,指出了软件建筑在软件过程中的重要性.随后提出了企业信息系统领域的基于软件建筑模型,包括软件建筑模型、参考需求、参考建筑等.描述了基于该模型的软件开发过程,讨论了若干相关研究工作.     

面向领域的模型驱动智能表单系统的框架设计

表单是信息系统中信息传递的载体.为提高信息系统的开发效率,实现对已有系统的复用,并能够方便地提供原型系统,使业务管理人员更好地介入系统的开发,分析和研究了传统的表单开发方式和目前市场上的智能表单系统,以软件复用的软件工程和模型驱动架构(MDA, Model Driven Architecture)思想为指导,以领域建模为基础,借鉴已有的智能表单系统,提出了一种面向电子政务领域的以业务对象库为基础的模型驱动智能表单系统的开发方法,设计了采用XML语言进行描述的表单模型定义和采用Web服务与MBean技术的表单模型处理引擎的松耦合系统总体结构,并对该设计进行了详细的介绍.