一种自动布局的BPEL建模工具设计与实现

本文设计并实现了一种时BPEL流程的可视化建模系统,能够为业务流程开发提供图形化的建模支持;并设计了一套自动布局算法,可以根据建模界面的改变进行自动布局,以提供灵活美观的用户开发界面;最后通过与Eclipse开源产品及Active公司建模产品布局界面的实例对比,展示了该工具使用自动布局算法进行界面布局的优势.     

Lerisk－i*框架自动建模与编辑工具介绍

在需求工程中,基于主体的i*建模框架(主要包括策略依赖模型及策略推理模型)已经成为最常用的早期需求建模与分析的工具之一,而且关于i*建模框架的编辑工具开发也有很多相关的研究工作。然而现有的这些工具往往只提供诸如模型图编辑、存储等基本功能,而笔者需要在需求工程小组的项目中为对需求文本进行建模的结果进行模型可视化,同时提供编辑存储及自动布局功能,并开发出新的基于i*建模框架的工具。文中首先对主流的i*建模工具进行了调研,研究了建模工具的基本功能,同时分析了其功能的不足点,在此基础上提出了新工具设计的功能补充点;然后对i*框架的布局问题进行介绍并详细描述了其自动布局算法的实现,给出了可视化工具的详细设计;最后在此工具的基础上,进行了实际需求文本的建模及模型编辑功能的实验,并将此工具与主流工具的功能进行对比,以展示本工具的功能特点。     

DrPlace:基于深度学习的可布线性驱动布局算法

在集成电路物理设计的布局阶段,针对基于深度学习的布局算法结果可布线性较差的问题,在开源的DREAMPlace算法的基础上提出并实现了一种基于深度学习的可布线性驱动布局算法DrPlace.算法模型在总体上设计并实现了布局器的整体框架,集成了基于深度学习的可布线性驱动总体布局、可布线性驱动的合法化和详细布局.总体布局过程中,在目标函数中加入了引脚密度函数,并实现了基于GPU的引脚密度的关键内核.在ISPD2011和DAC 2012布局实例上的实验结果表明,该算法与DREAMPlace相比在可布线性上获得了提升,且在运行时间、线长和可布线性方面均优于传统的可布线性驱动布局算法.     

智能虚拟布局设计关键技术研究与运用

布局问题的研究具有广泛的工程应用背景,是设计领域的一个重要分支。近年来,布局问题已经被证明具有建模复杂性和NP完全问题性质,求解比较困难。传统的布局问题求解方法大多是基于数学规划,进行建模和求解,遇到复杂产品布局问题建模难度高、计算量大。基于智能算法,结合虚拟现实技术的智能虚拟布局设计方法,将设计师或专家的知识、经验系统地融入布局优化设计进程中。通过实时人机交互和数据反馈修改布局方案,进行目标函数循环,最终获取全局最优方案。通过实例,对智能虚拟布局设计方法有效性进行验证。     

基于知识的直升机座舱工效设计系统研究

本文基于知识工程的理论,对直升机座舱布局设计系统进行了研究.介绍了系统的结构和功能.依据座舱人机工效学的设计原则,运用框架表示法创建了座舱仪表板的知识和准则,设计了基于"对象-关系"数据库的推理机模型,以实现座舱布局人机工效设计的智能化.     

基于数据库的通用性工程应用软件系统的若干研究

基于数据库的工程应用问题,具有很大的相似性,在构建新的应用系统时可以采用类似的方法、模型、框架等,实现系统快速开发。为此该文对基于数据库的通用性工程应用软件从系统组成、开发原型、设计原则以及实现技术等4个方面展开研究,介绍了有关的研究心得。对该领域的理论研究和实践活动,具有一定的借鉴和指导作用。     

基于模型的数据挖掘系统在大坝监控中的应用

为了对大坝的运行情况进行安全的、实时的控制,根据大坝安全监控的理论知识,提出了一个基于参数模型的时间序列数据挖掘系统原型.文中介绍了系统的挖掘算法,系统的框架,分析了系统在实际应用中遇到的各种问题和解决的方法.实际应用结果表明,该系统建模过程简便、快捷,同时对监测时间序列具有良好的预报效果,适合在工程实际中使用.     

基于L系统改进的虚拟植物原型系统设计

设计实现了基于L系统改进的虚拟植物可视化原型系统。该原型系统实现了微机平台上可视模拟植物生长,并取得了较好的试验效果。系统设计思想以植物可视外观展现为主要目的,结合了L系统和基于图像建模的优点,对植物器官的建模方法是基于能够反映植物器官主要特征的表面建模。其实现思路是在L系统所描述的植物拓扑结构的基础上,对预先定义好的植物器官网格面进行装配。与L系统相比较,有更好的外观效果和较低的时间复杂度。     

基于SOA的动态服务集成与调度网格模型

针对在动态分布的网格环境中实现服务组件的动态选择和集成问题,提出基于SOA动态服务集成与调度系统DISS。引入组态和动态重构思想,给出DISS实现框架和方法,使网格应用的组态可以动态调整,实现服务组件的动态绑定,对该系统进行建模和原型实现,为建立面向服务架构的网格应用提供新的设计思想和实现方法。     

基于RMC的可重构制造系统设备布局优化研究*

为实现多品种变批量生产制造系统阵列式布局的动态重构,提出一种新的设备布局优化方法.建立了可重构制造系统(RMS)设备优化选择数学模型,设计了基于蚁群优化和阶序聚类算法的可重构制造单元(RMC)动态重构算法.以交货期内最小成本为目标,引入系统复杂度和系统响应度从系统能力角度完善了实现RMS重构的约束条件,最终完成了可重构制造系统设备布局优化.最后通过布局实例仿真验证该方法的可行性和有效性.     

基于Inventor的产品外观设计与实现

随着计算机技术的发展,计算机辅助设计(CAD)的水平有了很大的提高,CAD已不仅仅局限于进行二维图纸设计,而是能够建立真实地反映系统的三维实体模型,并且可以将多个三维实体模型装配为系统进行机构动态分析。Inventor是以实体建模为主,兼顾基础曲面建模的混合型三维建模的通用CAD软件系统。其核心组成部分为零件设计、装配设计、工程图纸;此外,Inventor还有一些特定行业的功能:动力学仿真模块、有限元应力分析模块、管路设计模块等。     

基于Protel DXP的PCB设计

Protel是Aidum公司推出的电路辅助设井系统。原理图绘好后,接着是设计印制电路板,简称PCB。进行PCB设计一般遵循：规划电路板、装入元器件封装库及网络袁、元器件的布局、布线等步骤。本文通过ProtelDXP软件探讨了整个PCB设计过程,为正确高效率设计印制电路板提供了有效的途径。     

求解布局模型的并行矩阵算法研究

布局设计通常要建立抽象状态空间模型。求解布局模型，实现从模型状态到坐标图的转化，是计算机辅助布局设计的重要研究内容之一。本文在简要介绍一种层次布局模型ＨＬＭ１的基础上，引入了模型的解的概念；研究了ＨＬＭ１的子模型－层次约束图解的存在条件；提出了求解层次约束图，实现从模型到坐标图转化以及检测约束矛盾的一种并行矩阵算法，并给出了一个计算实例。     

基于多色集合理论的机械产品概念设计方法研究

介绍了多色集合理论，指出了多色集合为计算机辅助概念设计、信息建模技术及其相关的推理技术提供了强有力的工具，使机械产品概念设计这一难以形式化的设计过程有了建模的可能。给出了基于多色集合理论和功能方法树的机械产品概念设计的知识表达。建立了贴近度函数。给出一个关于方案功能相对需求功能冗余程度的教学模型，通过给定冗余允许值排除不合理方案。提出了基于多色集合理论的机构产品概念设计的设计步骤和实现流程图，为其它机械产品 的概念设计提供帮助。最后以机床设计为实例作了进一步的说明。     

面向结构化布局设计的产品布局多色模型

为实现产品原理方案向结构化布局映射,提出产品布局元层次关系网及产品布局多色模型.首先在布局模块及其属性关系网的基础上构建布局元层次关系网;然后应用多色集合的个人颜色、统一颜色,给出产品布局元层次关系网的数学描述,形成产品布局多色模型,并提出推理算法;再利用个人颜色、统一颜色之间的围道布尔矩阵推理原理,进行产品结构布局设计过程中功能—运动分配—布局模块之间映射过程的形式化描述.应用该模型进行结构化布局设计,可有效地支持产品结构布局设计的公理化;最后在Pro/E平台中利用VC.net 2003工具进行二次开发,并以数控机床结构布局设计为例验证了文中模型和设计方法的可行性和有效性.     

基于三维设计的自动辅助评审系统开发

针对目前三维设计评审仍处于起步阶段,三维设计评审的流程、评审指标库等相关规范还未统一的问题,设计了对三维设计成果进行评审的计算机辅助系统。通过BIM工具建模、机器学习算法预警技术等,建立起满足工程建设相关标准规范要求的数字化评审计算机辅助系统。该系统立足实用化,结合智能评审的要求。同时系统梳理了各专业的共性需求,深入分析了三维模型业务评审应用场景,实现了三维设计成果模型识别、评审指标数据自动提取、空间量测、施工模拟、自动预警、自动生成检测报告等功能。     

基于包容矩形的优化排样算法及实现

毛坯优化排样问题是CAD技术结合冲模设计领域的一大课题。论文在多边形顶点算法的基础上,提出了基于包容矩形的优化排样算法。该算法只需在初始毛坯图的包容矩形内进行计算,即可得到排样的步距、料宽等关键参数;在预排样时不用进行传统排样算法所作的等距放大处理,避免了由此引起的图形自交干涉和排样误差增大的问题。并且在Inventor9平台上运用VisualC++对该算法予以实现,开发出效率高、实用性强、运行可靠的冲裁模智能排样系统。     

系统级软件FMEA计算机辅助设计研究

软件失效模式和影响分析(SFMEA)是提高软件可靠性的一种重要方法.针对人工SFMEA分析费时费力的问题,着眼于SFMEA的分析过程,对系统级SFMEA计算机辅助设计及相应辅助工具的实现展开了研究,介绍了系统级SFMEA分析的具体步骤,提出了对软件功能单元建模辅助生成软件约定层次,由已有通用失效模式库和相邻层次分析结果辅助获取软件失效模式、软件失效原因和纠正措施辅助设计等,并在此基础上开发了相应的辅助工具,从而减少SFMEA的分析工作量,提高SFMEA分析的效率.     

制造系统中的单向环型设备布局设计

提出一种优化建模与虚拟现实技术相结合的求解策略，较好地解决了制造系统中的单向环型设备布局问题．研究该问题的固有特性，提出三条定理，构建了一个启发式算法，并实现了一个沉浸式虚拟布局设计的例子．     

基于仿真的C4ISR系统设计方法及其支持环境研究

C4ISR系统的分析与设计是一项非常复杂的系统工程,而建模和仿真技术(M&S)作为系统分析与设计的一种关键技术有着广泛地应用.该文在对C4ISR系统的分析与设计过程进行研究的基础上,结合基于仿真的设计(SBD)方法,提出了基于仿真的C4ISR系统设计方法,深入探讨了在C4ISR系统分析设计全生命周期中运用SBD方法进行辅助设计的过程,并对其支持环境的设计进行了研究.