图元的子句时新性

为了给出消息子句的测试关系,选择主体角色进程演算为π演算的一个子集,以该子集刻画并发密码协议系统,事件图为其指称语义模型,由图元的前缀、非确定选择和并发合成运算得到,对于图元及其组合运算来说,图元的子句时新性质确定了主体角色消息语句的子句测试关系,且出现在图元中的消息事件满足通信关系和前驱关系约束.由图元生成的事件图涵盖了由子句测试关系构造的未知主体角色串,且通过定义图元互模拟刻画事件图的互模拟等价关系可实现并发密码协议系统安全性验证.     

基于AoutoCAD的AutoLISP语言系统的光滑极限量规CAD

针对人工设计量规时的缺陷和不足 ,在 Auto CAD中采用 Autolisp语言编制参数绘图程序的技巧 ,通过建立数据库和图块库 ,给出了量规计算机辅助设计的程序设计流程图 ,并说明了量规 CAD过程的数据处理方法 .介绍了 Auto-CAD的 Autolisp语言的特点和二次开发的一般步骤 .最后通过实例说明了孔用系列量规工作图的自动生成方法 .图 3,表 1,参 7     

基于VC++的坐标系统转换程序设计与实现

坐标系统转换一直是专业性强且不易解决的问题.根据不同参考椭球和相同参考椭球的坐标系转换原理,论述了利用VC 编制不同坐标系统转换和坐标换带软件编制过程的关键技术、软件功能,利用VC 语言定义了相应的结构体和不同的类,实现了不同参考椭球情况下七参数、四参数的计算过程、不同坐标系统的坐标转换和坐标换带计算程序化,并以某个矿山的实际数据对软件进行了验证.结果表明该系统运行可靠、操作方便、计算结果能满足精度要求.图1,表2,参8.     

地理信息系统在土地利用总体规划中的应用

本文提出了运用MAPGIS软件建立县(市)级土地利用总体规划图的一种方法,研究了对传统教据资料特别是白纸图和CAD格式的图形资料向GIS格式进行转换的方式、方法和要注意的问题.探讨了CAD图元与GIS图元在数据转换中的对应关系,解决了CAD图形与GIS数据在县级土地利用信息化建设中的共享问题.     

采矿CAD上机测试题库及其管理系统设计开发

采矿CAD是采矿工程专业学生必须熟练掌握的一门专业技能.该文以"采矿工程CAD上机测试技术"为基础,以AutoCAD 2008系统和VB.NET\C#.NET环境为平台,开发出单元化、标准化、模块化、网络化的的采矿CAD上机测试题库及其管理系统,可实现采矿CAD二维、三维试题的浏览、更新、组卷、考试、批阅等功能,提高了命题的效率及质量,彻底实现了教考分离,对考风学风有积极的促进作用.     

矿山工程界线的光滑方法与自动追踪算法研究

通过分析矿山工程界线的特征,提出用多边形图元代替曲线图元,给出了界线的矢量表示方法.对界线的各种数值表达方法进行了比较,认为用多边形逼近法处理矿山工程界线是一种理想的采矿CAD曲线处理方法;对工程界线的"抖动"现象和"精度"问题进行了分析,比较了各种曲线光滑方法的"光滑"效果及其适用特性;研究了不连续(断开)界线的自动追踪连接问题,给出了一种根据界线属性、方向、距离等参数为搜索条件的自动追踪算法,并以地形等高线为例进行了实例运算,效果很好.该算法对任意类型不连续工程界线的追踪连接具有通用性.图7,参8.     

参数化零部件库建库工具研究

介绍了参数化零部件库建库工具的开发方案及其在上海市CAD应用工程软件产品白玉兰CAD(BYLcad)上的应用情况。此外,对不同CAD系统间零部件库的集成方法进行了探讨。     

采矿CAD参数绘图系统建模与求解方法的研究

根据采矿CAD图形的特点,提出了一种构造式几何约束系统,并使用有向约束图表示约束模型,在交互绘图的同时直接建立参数化图形的约束模型。此方法在建模过程中避免了过约束和欠约束的出现,在求解的过程,将计算量从整体下降至局部,同时通过添加方位约束解决根的选择问题。     

矿图数字化及其应用

明确定义了矿图数字化的概念，提出了5种矿图数字化的方法及其应用条件，供各类矿山企业依实际条件选用，介绍了矿图数字化的软件环境，矿图数字化的主要方法，包括人工输入法、图像扫描、数字化仪、编程绘制和采矿CAD设计，中采矿设计CAD内容涵盖了矿井生产的各个方面，如方案设计、专业性设计、工程设计。种类繁多，内容复杂多变、重复性强是矿图的特点。     

基于Auto CAD R14的参数化图素库设计

参数化设计是CAD领域的一个研究热点，参数化图素库设计是建库中的重点内容。本文对基于Auto CAD R14环境下的参数化图素库设计进行详细的论述。     

矿图CAD系统设计与实现的探讨

本文讨论了矿图ＣＡＤ系统的设计思想与实现方案。采用绘图支持系统的思想与方法，使该系统具有一定的特色。     

一种参数化图形库的建立方法

本文阐述了机械CAD系统开发过程中的关键技术:参数化图形库的建立方法及其建立后的图形库的管理。同时还介绍了几个在开发过程中为减轻编程工作量作者自己编制的自定义函数。     

实现 CAD/CAPP 集成中图形绘制的一种方法

介绍了Ｃ语言与ＡｕｔｏＣＡＤ的接口,应用程序中函数的定义、调用、参数传递及接口的具体实现方法,并提出一些共同存在的问题实现了ＣＡＤ／ＣＡＰＰ集成中ＣＡＤ系统与ＡｕｔｏＣＡＤ的连接,同时也实现了参数化作图     

钢桁架辅助设计及绘图软件的研制

为了以最简捷的方法实现桁架施工图绘制与图形编辑,选定ＡＵＴＯＣＡＤ为图形背景,采用ＦＯＲＴＲＡＮ语言编写了软件接口,通过ＤＸＦ文件格式转换,将辅助设计的图形数据输送给ＡＵＴＯＣＡＤ,生成桁架施工图,从而达到计算机辅助设计与辅助绘图的结合     

滚齿切削图形的解析求法

本文提出了求滚齿图形的解析方法,用该方法可以方便而精确地求出各种类型滚刀的切削图形,并能在计算机上直接打印出来。它既可以用来分析各种类型滚刀的切削过程,又可以作为滚刀计算机辅助设计的一个环节,以寻求更加高效和高耐用度的滚刀齿形。     

自行火炮有限元参数化建模方法

该文通过对典型的CAD软件输出的有限元模型的分析，提出了自行火炮有限元参数化建模方法。通过修改节点局部坐标系实施数据转换，指出了参数化建模的关键问题，编制了相应的转换程序，可方便地处理不同的射击工况，解决了自行火炮有限元法重复建模的问题。结合某自行火炮进行了参数化建模，证明该方法技术途径可行，这对解决火炮工程问题具有重要的实用价值。     

一种二维参数化建筑图库的建立方法

基于AutoCAD2000软件平台，应用VBA工具，开发了一个建筑专用图库，该系统实现了参数化绘图，界面友好，开放性好，便于进一步开放和完善，达到了实用要求。     

液压气动系统原理图CAD软件HP-CAD的开发研究

分析了现有液压气动 CAD软件的不足 ,提出一种新的液压气动系统原理图CAD软件 HP- CAD。本软件以 Windows98为工作平台、Auto CAD R1 4为基础绘图软件 ,用参数化程序 ( Auto L ISP语言 )方式建立了液压气动图形符号库 ;创建了汉字级连式菜单和汉字、图形一并显示的平铺像标菜单及状态条与工具条。本软件具有开放式结构、用户界面友好、编辑功能强、高效、准确、便于推广等优点 ,可供各类液压气动系统设计人员应用     

模块化设计与参数化绘图

模块化设计是机械产品设计的必然趋势 ,参数化CAD是机械产品CAD的高效快捷方法。建立零部件产品的分类模块图形库 ,通过从图库中调用不同软件模块 ,可实时绘制机械零部件的各种图形 ,进而组合成所需装配图形。通过模块化设计与参数化绘图的结合 ,在简化产品构成 ,丰富产品系列的同时 ,可实现智能化的自动设计     

C语言命令文件式参数绘图函数集

C语言被用来开发各种应用软件 ,参数绘图是开发起重机等专业机械CAD系统的关键技术 ,以命令文件作为接口来实现参数绘图具有简单、方便 ,与图形交换文件接口在形式上的一致性等优点 ,本文介绍了C语言参数绘图函数集的编制和使用方法