摘要：提出了一个基于模型驱动体系结构(MDA)的分布交互仿真模型转换框架(DSMTF),设计了仿真模型的元模型、转换规则和转换框架的体系结构。该框架可以通过扩展转换规则库支持不同的仿真标准。以HLA/RTI为例研究了DSMTF中模型转换的方法和步骤,提出了HLA仿真元模型并据此定义了相应的规则库,实现了仿真模型的自动转换。该框架在一个复杂系统仿真应用开发中获得了成功的应用。

摘要：在基于深度学习的美容产品检索任务中,图片背景、拍摄角度和产品摆放姿态均是产品图片上潜在的干扰信息;同时,检索数据库中众多相似产品会互相干扰.针对这些问题,将显著性注意力机制融入损失函数、随即丢弃模块和相似项计算中,分别设计了显著性损失函数、显著性随即丢弃模块和显著相似性方法,有效地抑制了用户待检索图片与检索数据库图片中的干扰信息;然后,采用有效的特征提取器抵抗图片相似项的干扰;最后综合上述4个模块,提出基于显著性注意力的美容产品检索网络SA-Net.经过Pro-10k数据集训练,在Per-500k数据集上进行消融学习和对比实验的结果表明,SA-Net提升了美容产品检索的准确度,比已公开的最好同类算法AMAC提高3%.

摘要：为实现复杂产品虚拟样机中各类多学科异构模型的有效重用和集成,以制造领域广泛存在的复杂产品为对象,讨论了复杂产品虚拟样机的多学科特点及其对传统建模仿真理论带来的挑战;结合元对象机制和面向组件的建模思想,提出了一种新的面向复杂产品多学科虚拟样机的元建模框架,并对框架中各抽象层次模型规范(元元模型、元模型和系统高层模型)进行了形式化定义和语义讨论。在起落架多学科虚拟样机应用实例中,基于元建模框架中的系统高层模型进行了产品的统一建模描述,实现了复杂产品中多学科异构模型的更高层次抽象和集成重用,验证了元建模框架的有效性。

摘要：针对人工势能场方法容易陷入局部极值的缺陷,提出了有虚拟势能点的避障算法。该算法在编队进入对队形影响较大的复杂环境中引入额外的虚拟势能点,利用虚拟势能点的作用力使智能体脱离局部障碍物陷阱,进行队形重组,提高了编队队形保持能力;编队运动通过不同的地形时,队形变化程度不一,单一队形控制方法难以在各种环境下保持高效性、有效性,为此通过设计队形评估函数判断当前编队队形状态,进而采用不同的控制策略。该算法充分利用各种控制策略的优势,增强了对障碍物和动态威胁的处理能力。仿真结果验证了该算法的有效性。

摘要：如何建立系统完整的专家知识模型,并将其快速映射为面向计算机推理的人工智能语言是当前专家系统研究的重点和难点,而知识表示是其中的关键。本文将模型驱动的思想引入到专家系统领域,定义了一种基于不确定性产生式知识表示的元模型,设计并实现了相应的图形化建模工具和转换引擎,并基于此提出一种新的产生式系统应用框架。该框架在某健康信息评估专家系统中获得了成功的应用。

摘要：针对UML活动图在生成故障树的过程中只能反映活动事件流故障导致的系统失效,不能反映系统静态状态故障的问题,提出了一种活动图结合类图生成故障树的方法。在原有活动图的基础上,使用类图增加系统静态状态信息,设计活动图和类图到故障树模型的转换规则,将活动图中动态行为信息和类图静态状态信息转化为故障树中的节点要素。基于转换规则设计算法逆向遍历活动图和类图,自顶向下生成故障树。经过实例建模生成故障树,表明该方法能反映系统的动态行为和静态状态两方面的故障信息,为故障树生成提供了一种新的有效途径。

摘要：仿真网格资源共享池是基于网格仿真动态调用仿真资源完成仿真任务的基础。为了建立标准的资源池,介绍了基于网格服务的网格化仿真资源的关键技术。在概念上采用与平台无关的模型描述资源,以确保其可装配性和交互性;在网格服务中加入仿真功能,使其成为同时符合高层体系结构和网格标准的仿真服务。提出了仿真服务规范,包括服务的构成、接口、服务对象模型及管理机制等;实现用解析平台无关的模型自动生成仿真服务。介绍了基于模板的服务自动生成工具的设计,并在上述规范和技术的基础上建立了仿真网格资源共享池,介绍了两个使用仿真资源装配成的仿真应用实例。

摘要：出土青铜器大多存在缺失碎块现象,包括片状缺块、跨区域缺块和结构性缺块.随着三维重建和激光扫描技术的发展,以高精度数字化模型为基础的文物修复技术得到了广泛的重视.针对青铜器缺块的多样性和复杂性,从青铜器自身具有的形态特征出发,提出了青铜器缺块的多元数字化补配框架.对于片状缺块,分析了具有缺失数据的模型内蕴对称性,研究了青铜器表面纹饰的提取方法,根据模型对称变换建立覆盖缺块的初始模型,再根据纹饰拼接方法,从局部精细调整缺块初步模型,使缺块模型上的纹饰与周围模型的纹饰美观拼接,从而形成了青铜器三维模型从全局到局部的补配方案;对于跨区域缺块,设计了缺块边缘欧拉螺线的走向和研究了缺块内外数据的相似性匹配技术,使用了由粗到精、特征敏感的补配方法;对于结构性缺块,设计了具有高效、良好交互性能的缺块几何形态编辑技术,进而为破损青铜器的缺块补配提供了一个专业、便捷的,且具有多元互补方案的计算机辅助几何处理平台.

摘要：随着互联网技术的快速发展,对复杂系统业务流程建模的需求越来越大。针对带有时间约束的业务流程模型的正确性验证问题,提出了一种基于节点转换规则的图分解算法,将业务流程模型转换为运行时流程轨迹集合;设计了流程轨迹集合到Prolog的转换,将轨迹中的节点与时间约束转化为Prolog事实,提出了一种业务流程模型到Prolog语言的转换算法;将持续时间、周期循环与固定时刻3种时间模式转换为Prolog规则,以其支持业务流程模型3种时间模式的验证。最后对一个带有时间约束的医疗流程实例进行了验证。

摘要：针对三维传感器(如LiDAR、深度相机)获取的点云往往残缺不全,需要进行补全处理,而单模态方法存在的补全结果细节不丰富、结构不完整等问题,提出一种融合图像信息的跨模态Transformer点云补全算法.首先采用点云分支和图像分支分别提取点云特征和图像特征,其中,点云分支采用PoinTr为骨干网络,图像分支采用7层卷积;然后通过特征融合模块融合点云特征和图像特征,由粗到精地生成全分辨率的点云.在ShapeNet-ViPC数据集上进行实验的结果表明,所提算法的可视化结果优于单模态点云补全方法和目前仅有的跨模态点云补全方法ViPC,且在大部分测试类别上的CD-L_(2)量化指标优于ViPC;平均CD-L_(2)为2.74,比ViPC低17%.为了便于研究人员评估和使用,文中算法可通过https://***/Starak-x/ImPoinTr开源获取.