面向智能CAD的分层构造自动型方法

本文着重对由抽象符号转化成具体形体的技术作了研究，提出了分层构造的自动造型方法．它支持直接由抽象的设计方案自动生成设计结果的三维表示，因而更适合于以辅助方案设计为核心的智能ＣＡＤ系统．一个基于该自动造型方法的椅子智能ＣＡＤ实验系统已在浙江大学人工智能研究所投入运行．     

分层构造方法在建筑平面布局中的应用

分层构造的自动造型方法针对方案设计过程由抽象到具体、由模糊到精确的特点，支持从概念到形状的方案设计全过程。分析了建筑平面布局设计过程中不同抽象层次和不同求解阶段的特点，应用分层构造的方法建立了一个以辅助方案设计为核心的建筑平面布局CAD实验系统。     

分层构造方法在建筑平面布局中的应用

分层构造的自动造型方法针对方案设计过程由抽象到具体、由模糊到精确的特点，支持从概念到形状的方案设计全过程。分析了建筑平面布局设计过程中不同抽象层次和不同求解阶段的特点，应用分层构造的方法建立了一个以辅助方案设计为核心的建筑平面布局ＣＡＤ实验系统。     

面向对象软件自动生成在检测系统中的应用

本文运用软件自动生成的方法在检测系统的应用领域内进行研究,通过对应用系统的归纳、抽象,建立了本系统的应用模型;然后运用面向对象的分析和设计方法对该模型进行应用描述、参数化和编译连接,提出了检测领域软件自动生成的设计方案,提高了软件的复用性.     

基于用况图的程序理解方法研究

用况图从用户的角度描述了系统需求,是表达系统功能的有效方式。如果能从系统源代码中直接抽象程序的用况图,对于程序理解工作将具有很大的帮助。基于此理念,提出了基于用况图的辅助用户程序理解方法。该方法通过静态分析把源代码抽象为树型图表达结构,通过度量计算树型图中各类结点值并生成带权的树型图,根据设定的阈值对该图进行剪裁来控制程序复杂度,通过对剪裁后的树型图进行遍历形成系统的执行路径集合,抽象为最终的候选用况。在图形化工具的辅助支持下从候选用况中抽象出系统的用况图,实验分析取得良好效果。     

基于图论的建筑机电设备逻辑关系自动提取方法

随着建筑信息模型(BIM)在建筑施工及运维阶段的深入应用,建筑机电设备的逻辑 关系自动提取成为进一步应用的瓶颈。针对建筑机电系统信息模型应用过程中逻辑连接关系应 用需求高、判断复杂的问题,提出了一种基于图论的建筑机电设备逻辑关系自动提取方法。基 于 BIM,将机电系统抽象为无向连通图,连接器抽象为图的边,机电设备、管道、管道附件等 抽象为图的节点,将一片管道抽象为管道团,将设备与大量管道的复杂连接转换为设备到几个 管道团的简单连接,从而将机电系统逻辑关系自动生成的问题转换为无向连通图求解的问题, 建立了机电构件物理连接关系提取方法、设备逻辑连接关系自动生成和设备连接路径计算方法, 实现了建筑机电系统逻辑关系快速、准确、智能的提取。该方法在工程中的实施有利于基于 BIM 的机电系统运营维护管理,有利于实现建筑的全生命期信息管理。     

古建动画自动生成系统中构件推理的设计实现

全过程计算机辅助古建动画自动生成系统可以根据用户对建筑结构的描述,自动生成三维动画来表现古建的搭建过程,其中古建知识库是重要的组成部分。古建知识库采用语义网络技术构造,包括本体库和规则库。出于对效率的考虑,采用Jess技术,设计并实现了一个满足古建动画自动生成系统需求的解决方案。全文着重论述了这个高效的解决方案的设计思想和实现技术,并对结果进行了分析和展示。     

建筑铝合金产品CAD软件设计与开发

为提高建筑铝合金产品的设计效率,将面向对象程序设计方法与工程实际相结合,以AutoCAD为平台,采用VC+ +建立并使用ObjectARX应用程序,开发建筑铝合金产品CAD软件.在零部件与附件图库的支持下,采用参数化设计思想生成图形,产品物料信息在绘图过程中被存入图元,绘图完成后由程序遍历各个图元提取其属性值,为最终自动生成物料表(Bill of Material,BOM)提供数据.实例表明,在建筑铝合金产品设计全过程中,该软件的参数化绘图、物料信息自动提取等模块可以起到良好的辅助作用.     

基于TRIZ理论的计算机辅助创新设计方法探讨

简述创新设计和计算机辅助创新设计的概念,阐述计算机辅助创新设计系统的模型和模块功能,对计算机辅助创新系统的应用进行了探讨,为工程技术领域新产品的创新提供新的设计方法,也为计算机辅助创新软件的推广和应用打下良好的基础,有利于设计人员在产品的概念设计、方案设计阶段高效率、高质量地提出创新设计方案,从而达到提高产品竞争力的目的.     

基于遗传算法的机械方案设计系统的研究

在研究机械方案设计和遗传算法的基础上,将遗传算法应用于机械方案设计,研究提出了基于遗传算法的机械方案设计系统的模型。研制了基于遗传算法的机械方案设计系统GAMD,该系统能自动生成机械传动系统的原理方案,并建立了实例系统。     

Software Design Representation Using Abstract Process Networks

An approach to software design representation which is consistent with the concept of engineering blueprints is presented. The main criteria for software engineering blueprints are defined and a network scheme of graphical representation is considered through an overview of Petri net techniques. The concept of an abstract process (AP) is introduced as the basic element of system representation. An abstract process network schema of software design representation is developed and supported by an algebraic system of notation. Methods of AP-net construction are presented and illustrated by examples. The advantages of using the proposed approach in different phases of software engineering are pointed out and the main directions for further research have been identified.     

ＶＦＰ过程蓝图设计技术

Ｖisual FoxPro过程蓝科是一种面向Ｖisual FoxPro语言的程序处理逻辑图表化表示法,这种工程化表示法支持逻辑和实现两个层次的程序抽象表示,是一种简单实用、容易理解、结构良好的程序设计工具,并给出Ｖisual FoxPro过程蓝图的形式化模型和抽象逻辑结构图的图形表示方法。     

一种C++过程的可视化设计方法

文章提出一种支持C＋＋语言的可视化过程设计方法。这种设计方法由图形化的过程表示方法－C＋＋过程蓝图以及基于C＋＋过程蓝图的设计过程两部分内容组成。C＋＋过程蓝图支持逻辑和实现两个层次的程序抽象表示,是一种简单实用、容易理解、结构良好的可视化过程设计工具。文中给出C＋＋过程蓝图的形式化模型,抽象逻辑结构图的图形表示方法,以及C＋＋过程蓝图设计的基本过程。     

Java过程蓝图

1 引言计算机应用正进入网络时代,Java是一种广泛使用的网络编程语言,被称之为网络上的“世界语”。Java作为一种程序设计语言不仅具有简单、面向对象、分布式、解释执行、鲁棒、安全、平台无关、可移植、高性能、多线程以及动态性等特点,更重要的是它支持以网络为中心的新型计算模式——Java计算模式,从而使Ja-     

PASCAL过程蓝图

提出一种面向标准PASCAL语言的程序处理逻辑图形化表示法－PASCAL过程蓝图,这种工程化表示法支持逻辑和实现两个层次的程序抽象表示,是一种简单实用、容易理解、结构良好的程序设计工具。文中给出PASCAL过程蓝图的形式化模型、抽象逻辑结构图的图形表示方法,以及程序设计的基本过程。     

Abstract interpretation based verification of temporal properties for BioAmbients

This paper concerns the application of formal methods to biological systems, modeled specifically in BioAmbients, a variant of the Mobile Ambients calculus. Following the semantic-based approach of abstract interpretation, we define a new static analysis that computes an abstract transition system. Our analysis has two main advantages with respect to the analyses appearing in the literature: (i) it is able to address temporal properties which are more general than invariant properties; (ii) it supports, by means of a particular labeling discipline, the validation of systems where several copies of an ambient may appear.We also design new weaker and more efficient analyses by means of simple widening operators.     

TTCN-3数据系统到Java的翻译方案

TTCN-3数据系统的实现在遵照TTCN-3标准的基础上,还需要支持数据兼容等特性。针对该问题,给出一种TTCN-3数据系统到Java的翻译方案。利用Java语言具有的继承、多态等面向对象的特色,借鉴抽象工厂设计模式,通过检视分析翻译生成代码。证明该方案符合TTCN-3标准规定,并清晰地体现数据系统中的数据类型和数据值的功能区分。该方案支持不同数据类型的兼容和数据值之间的比较,并易于扩展。     

基于UML的系统测试用例自动生成

提出了一种新颖的基于UML图自动生成系统测试用例的方法.此方法适用于所有UML建模的系统.用创新性地结合图论知识,对用例图和序列图进行抽象,定义了相应的测试覆盖准则以生成测试用例.通过两级遍历,自动生成系统测试向最,并且达到所提的系统测试覆盖率的要求.能够覆盖所有用例、用例依赖性、以及交互中所有的消息序列.实现最大化的...