一种利用AUTOCAD进行参数绘图的新方法

在深入分析AUTOLISP的基础上,本文提出了一种参数绘图方法。这种方法以人机交互的方式将原有图形参数化,自动产生相当于绘图程序的参数文件;对变量赋值以后,图形将依据参数文件重新生成,达到参数绘图的目的。原图的绘制可以充分发挥AUTOCAD的高效绘图及图形编辑功能;交互式的变量标识简洁、迅速。用于参数化新绘制的底图,则产生一个参数化图形;用于参数化图形库中已有图形,扩大了图形数据库。程序全部用AUTOLISP编写,在AUTOCAD 9.03以上版本上运行。     

选煤厂计算机辅助设计中参数化绘图功能的实现

就选煤厂计算机辅助设计中存在的绘图工作量大、设备图库建立困难的问题 ,分析了某些形状相同、大小不同的设备的特点。采用参数化绘图的方法 ,开发了设备参数化绘图程序。提高了绘图效率 ,减少了建库工作量 ,节省了内存。     

轧辊孔型和轮廓的计算机辅助设计系统的开发

简要介绍焊管轧辊孔型和轮廓设计的原理和关键技术，并以Visual Basic 5.0为开发语言，以AutoCAD R14为绘图支撑平台，采用基于轧辊形状特征的成组技术（GT）原理，综合利用参数化设计技术，开发了焊管轧辊参数化绘图系统PDSR，以实现轧辊孔型设计及轧辊零件的参数化绘图。     

AutoLISP参数化设计及其界面

笔者是AutoCAD的一个用户，曾经在参数化设计及其界面方面做过一些尝试，较成功地实现产品的参数化绘图，并解决了程序的实用性、可靠性及完整性等方面的问题。下面作者将绘图程序的参数自动修改过程及其界面等问题谈谈体会，意在抛砖引玉、与CAD开发同行们共享其益。一、数据的存储1．存储数据的类型AutoLISP自动绘图，是将各参数转换成点坐标，然后调用AutoCAD命令绘图的（见附录A）。MODIFY要求自动绘图存储的数据有两种：①原绘图文件的文件名fname②原绘图文件fname的需的参数表data。2．存储数据的方法为保证上述数据与图形…     

一种基于辅助元素的交互式参数化绘图工具

本文介绍了一种新的交互式参数化绘图工具ＯＰＤＴ（Ｏｂｊｅｃｔ－ｏｒｉｅｎｔｅｄ Ｐａｒａｍｅｔｒｉｃａｌ Ｄｒａｆｔｉｎｇ Ｔｏｏｌ）．ＯＰＤＴ通过定义基本几何元素之间的约束关系－－辅助元素来实现交互式参数化绘图。ＯＰＤＴ具有以下特点：使用ＯＰＤＴ建立的参数化模型与设计人员的意图高度一致；绘图过程符合设计人员打样习惯，绘图效率高；尺寸驱动修改图形的算法执行速度快；多个视图保持一致性。此外，ＯＰＤＴ     

在AutoCAD环境下实现参数化机械绘图

本文介绍了当前参数化技术的发展现状及在ＡｕｔｏＣＡＤ环境下实现参数化机械绘图的方法。     

基于ObjectARX的离心刻度标牌绘制

为了提高标牌行业的绘制标牌的工作效率,操作流程的标准化,研究标牌参数化绘制方法及技术,结合ObjectARX2008与Visual Studio 2008中的C#进行了AutoCAD的二次开发,详细阐述了标牌参数化绘图系统的结构、设计流程以及应用设计结果进行参数化绘图的过程,使标牌企业绘制人员在绘制的过程中,只需输入必...     

一种基于命令解释程序的图形参数化方法

通过对图形参数化的分析，提出了一种新的方法，该方法通过开发一绘图命令解释程序，可以达到快速图形生成，并且避免了大量重复的绘图代码，图形越复杂，越能体现出其优越性。目前该方法已运用在机械通用件ＣＡＤ系统研制中     

标牌特殊图形绘制的研究与应用

为了提高标牌行业绘制标牌的工作效率,操作流程的标准化,研究标牌参数化绘制方法及技术,结合ObjectARX2008与C#进行了AutoCAD的二次开发,详细阐述了标牌参数化绘图系统的结构、设计流程以及应用设计结果进行参数化绘图的过程,使标牌企业绘制人员在绘制的过程中,只需输入必要参数就可以由计算机自动生成所要绘制的标牌特殊图形,从而大大提高了工作效率并扩展了CAD二次开发的范围。     

基于ObjectARX标牌刻度值绘制的研究

为了提高标牌行业的绘制标牌的工作效率,操作流程的标准化,研究标牌参数化绘制方法及技术,结合ObjectARX2008与C#进行了AutoCAD的二次开发,详细阐述了标牌参数化绘图系统的结构、设计流程以及应用设计结果进行参数化绘图的过程,使标牌企业绘制人员在绘制的过程中,只需输入必要参数就可以由计算机自动生成所要绘制的标牌刻度值,从而大大提高了工作效率并扩展了CAD二次开发的范围。     

基于知识表达的参数化尺寸标注机理研究与实现

本文研究了一种全新的尺寸标注机理，设计了通用，完整，较高层次的尺寸注模型，两个方面取得较大进展，其一，在交互标注过程中，借助于知识表达，自动得到了尺寸注类型，使尺寸菜单减少到一层，实现了智能化尺寸标注，其二，当图形发生拓扑不变的变化时，尺寸标注自动生成，实现了参数化的尺寸标注，尺寸标注的各种修改的尺寸标注模型的支持之下，并可随时进行，实现了尺寸数字对图线的自动裁剪，图样符合国家标准的规定。     

多障碍环境中移动机器人的光滑轨迹规划

根据轮式移动机器人参数化轨迹生成模型,结合多障碍物结构化环境中障碍物的建模,把其和参数化轨迹规划模型融合,得到了具有一般性的多障碍物环境中轮式移动机器人光滑轨迹规划模型;并利用最优化控制原理,建立了任意性能指标下,多障碍物环境中最优参数化轨迹生成模型。结合数值求解方法,推导了多障碍物环境中参数化轨迹规划非线性求解模型的求解方法。最后通过仿真验证了参数化轨迹规划求解模型的正确性。     

坐标轴刻度的规范化标定处理

本文介绍了一种在科学研究和工程计算中经常遇到的坐标轴刻度的规范化问题的自动处理方法，使经过处理的坐标刻度更加符合人们的日常习惯，同时，还给出了具体的程序实现。     

参数化可配置IP核浮点运算器的设计与实现

将参数化可配置IP核的设计方法引入到浮点运算器设计中,通过设计时提取的可用参数,将浮点运算器设计成为参数化、可配置、可重用的IP核.通过仿真验证了实现参数化IP核浮点运算器的可行性和有效性.     

传统绘图系统的几何约束驱动关键技术研究及实践

文中针对如何在传统绘图系统中拓展几何约束驱动功能，以实现面向设计师的灵活的参数化设计问题，对几何数据的转换，几何约束识别、表达、筛选及求解进行了较系统的探讨，提出了经实际检验行之有效的技术实现方法，特别地对具有独创性的约束识别的实施进行了阐述     

Liveness with invisible ranking

The method of invisible invariants was developed originally in order to verify safety properties of parameterized systems in a fully automatic manner. The method is based on (1) a project&generalize heuristic to generate auxiliary constructs for parameterized systems and (2) a small-model theorem, implying that it is sufficient to check the validity of logical assertions of a certain syntactic form on small instantiations of a parameterized system. The approach can be generalized to any deductive proof rule that (1) requires auxiliary constructs that can be generated by project&generalize, and (2) the premises resulting when using the constructs are of the form covered by the small-model theorem. The method of invisible ranking, presented here, generalizes the approach to liveness properties of parameterized systems. Starting with a proof rule and cases where the method can be applied almost “as is,” the paper progresses to develop deductive proof rules for liveness and extend the small-model theorem to cover many intricate families of parameterized systems.     

面向服装设计的人体建模及人体参数化*

利用人体曲面重构法构建人体参数化模型,并对人体参数化模型进行参数化变形。人体曲面重建分为预处理和曲面生成两个步骤。预处理包括坐标调整、特征识别,然后利用人体切片技术和曲面光顺技术得到人体曲面和人体参数化模型。对参数化人体模型施加尺寸变形和插值变形两种参数化变形手段,得到个性化人体和系列化人体,从而为服装设计提供很好的模型支撑。     

Networks of Processes with Parameterized State Space

In general, the verification of parameterized networks is undecidable. In recent years there has been a lot of research to identify subclasses of parameterized systems for which certain properties are decidable. Some of the results are based on finite abstractions of the parameterized system in order to use model-checking techniques to establish those properties. In a previous paper we presented a method which allows to compute abstractions of a parameterized system modeled in the decidable logic WS1S. These WS1S systems provide an intuitive way to describe parameterized systems of finite state processes. In practice however, the processes in the network themselves are infinite because of unbounded data structures. One source of unboundedness can be the usage of a parameterized data structure. Another typical source may be the presence of structures ranging over subsets of participating processes. E.g., this is the case for group membership or distributed shared memory consistency protocols. In this paper we use deductive methods to deal with such networks where the data structure is parameterized by the number of processes and an extra parameter. We show how to derive an abstract WS1S system which can be subject to algorithmic verification. For illustration of the method we verify the correctness of a distributed shared memory consistency protocol using PVS for the deductive verification part and the tools PAX and SMV for the algorithmic part.     

"建筑制图"网络课程的设计与实现

为实现建筑制图课程的网络化教学，探索建筑制图建构主义教学的新模式，运用虚拟仿真技术和多种图像、动画表现形式，设计了虚拟项目投标任务、虚拟现场施工任务、构形乐园和拖动图例组图等多种建构型课件，建立了3D模型、动画素材库和Flash课件素材库，介绍了系统的全开放性和资源调用的方法。系统的设计体现了科学性、艺术性和技术性的有机结合，教学实践效果良好。     

A NEW GENERATOR FOR PARAMETRIC DRAFTING PROGRAM

In this paper a new generator for parametric drafting program is presented.The func-tions and the syntax of the parametric drafting program are described.This software has been suc-cessfully used to generate a parametric drafting program for designs of motors.