新型NC图形验证系统的方案设计

根据虚拟制造环境中NC图形验证的设计原则和功能分析,提出了新型复杂曲面NC验证系统的体系结构,并以分层数据流图的形式较为详尽地描述了系统内部数据的传递。该体系结构将几何验证与切削过程物理验证相结合,能够保证在此基础上构建的NC图形验证系统更加真实地反映复杂曲面数控铣削加工的实际情况,为工程技术人员提供更为准确的验证结果。     

数控加工的图形仿真与验证技术研究

介绍了一种基于物体空间的离散方法,将毛坯和刀具模型离散,切削表面以三角网格表示,使得切削计算量大大减少,并且利于图形显示和观察分析。通过改变离散的精度和求交的方法,可以把这种离散结构统一地应用到仿真和验证中去,比起图系空间离散法,在执行效率上减少不多,但具有更方便的观察分析手段。     

图形转换的一种方法

大量工业和工程系统的设计通常都可通过使用各种形式的流程图来进行。例如生产处理和数据处理。ＧＴＥＳ是应用人工智能技术开发的支持结构数据设计和信息处理的专家系统。本系统使用数据流图定义软硬件结构,其中结点表示数据处理步骤,有向弧表示处理步骤之间的数据流。由用户自定义总的处理图开始本专家系统通过应用转换规则来转换这一图形,以使该处理图能满足已说明的设计目标和硬件条件。虽然本专家系统的特殊应用领域为数据和     

工控系统微机图形组态软件设计

本文以软件组态思想设计了一套工控系统常用的图素、图形软件,具有功能较完善,组合、扩充及人机互联方便,通用性较好的特点,适用于配备VGA卡的8088(带8087)微计算机图形用户系统.     

校园一卡通系统建设方案设计与实施

讨论了校园一卡通系统的建设目标和技术需求,设计了系统的总体架构和软件体系架构,提出了多校区校园一卡通系统建设的解决方案和网络安全策略,给出了系统采用的主要技术参数表。     

基于Pro/E NC模块的图形交互式自动编程

随着计算机技术的发展，图形交互式自动编程的应用越来越广泛，它可以直接将零件的几何图形信息转化为数控加工程序，极大地提高了数控编程的效率．文章介绍了利用Pro／engineer NC模块进行图像交互式自动编程的工作流程，并以铣削实例对编程过程中的有关参数设置进行了分析说明。     

基于ObjectARX的车削图形自动编程系统的研究

介绍一种基于ObjectARX的车削自动编程系统及其特点，该系统是在Windows98平台上，以Visual C 6.0为开发工具，利用ObjectARX直接访问AutoCAD数据库的技术，开发了车削图形自动编程系统软件，实现CAD/CAM系统的集成，重点介绍了在AutoCAD中实现轴类零件参数信息的提取和三维实体显示，以及三维仿真加工，该软件已应用于CNC-CXZ280/300型数控系统中，同时也可作为CAI软件用于教学培训。     

NC冲床自动编程系统的建立

ＮＣ冲床加工程序的编制与检验是一种繁重的费时费力的工作，严重地影响着ＮＣ冲床的效率．本文利用制件形状特征建模，建立含多种信息的数据库，从而形成了具有刀路动画仿真功能的自动编程系统．     

TXBCH图形编程系统总体设计及实现

介绍了一种ＴＸＢＣＨ图形自动编程系统,给出了系统的总体结构,系统特点,数据 结构及开发环境．通过多种不同类型零件的图形输入,和一典型零件从图形输入至数控加 工的全过程的实验,验证了ＴＸＢＣＨ图形编程系统的正确性．     

图形处理的一种新方法

如何将计算机图形处理技术用于计算机应用项目的软件设计中，比如计算机监测系统中模拟图象的显示、存贮和再现，图象处理技术的使用，使得监测画面更生动美观。另外，如果将所用汉字作为图象处理后，还可以在西文状态下无须启动中文系统就可以显示汉字。     

一种新的多坐标数控加工过程仿真算法的研究

生产自动化是先进制造技术的发展方向之一,而可靠的数控程序是实现自动化的重要保证。针对当前数控程序检证算法的不足,提出了一种基于观察坐标系的长方体单元表示法,在精度要求范围内对工件和刀具进行近似表示,将复杂的三维布尔运算简化为一维的布尔运算,从而在微机上实现了多轴数控加工过程仿真,并提高了仿真速度,该算法验证了实验验证。     

基于UGIS图形软件系统的研究

以面向对象的程序设计方法就图形软件系统的数据结构及存储组织作了较为深入的研究 .对图形软件系统的图形编辑、图形显示功能的有关算法作了较为详细的介绍 ,并就基于城市地理信息系统 (UGIS)的图形元素与数据库的关联方式作了说明 .     

基于Web Services的学历学位证书验证系统的模型框架

根据web技术的分布式计算等特点,提出了一种基于web services学历学位证书验证系统的新的解决方案。该方案按照节点的逻辑关系构建了三级结构的节点通信结构:一级为教育部节点;二级为省(直辖市)节点;三级为高校节点。每级节点划分为表示层,操作层和数据层三层结构。利用webservices实现三级节点的互连并完成查询请求的处理。最后给出了系统的模型框架,并对其进行了模拟实现。实验证明提出的模型框架对基于W eb Services的分布式检索的研究有一定的借鉴意义。     

A new model for verification

Formal verification is playing a significant role in IC design.However,the common models for verification either have their complexity problems or have applicable limitations.In order to overcome the deficiencies,a novel model-WGL(Weighted Generalized List)is proposed,which is based on the general-list decomposition of polynomials,with three different weights and manipulation rules introduced to effect node sharing and the canonicity.Timing parameters and operations on them are also considered.Examples show the word-level WGL is the only model to linearly represent the common word-level functions and the bit-level WGL is especially suitable for arithmetic intensive circuits.The model is proved to be a uniform and efficient model for both bit-level and word-level functions.Then based on the WGL model,a backward-construction verification approach is proposed,which reduces time and space complexity for multipliers to polynomial complexity(time complexity is less than O(n3.6)and space complexity is less than O(n1.5))without hierarchical partitioning.Both the model and the verification method show their theoretical and applicable significance in IC design.     

一个基于特征点匹配的联机指纹鉴别系统

描述了一个基于特征点匹配的联机指纹验证系统设计思想和实现方法，专用的CCD指纹采集设备通过自动跟踪二值化电路，可向处理软件提供高质量的二值图像。专门设计的一种两遍扫描串行迭代细化算法可以获得高质量的指纹的骨架。设计了一种新方法在细化后的点线图上计算指纹的中心点。特征点匹配算法通过动态建立极坐标系和弹性配对特征点来实现。预先计算出的中心点可使搜索范围大大减少，确保了本算法满足联机自动指纹验证系统的实时性要求。     

图形处理新算法的研究与实践

提出了两种新颖实用的圆形窗口“裁剪”算法，算法（１）以图形坐标变换及采用正、负区域法原理为判断手段，使直线与窗口快速求交。算法（２）用直线与圆形窗口交点处的ｔ作参数，导出简单易行的数学判别式，经判别后，确定是否可求出参数ｔ及其对应的交点坐标。     

基于Windows数控仿真系统的研究与开发

采用VB和VC 语言在Windows编程环境下，设计针对于某一型号数控机床的仿真操作系统软件。在普通微机上实现对真实机床的模拟操作、数控程序检错及动态刀具轨迹仿真，做到节省设备投资。保证安全操作。     

片上多处理器的层次化高速测试和验证技术

片上多处理器的体系结构具有高效、低功耗的特点,但由于整体逻辑规模较大,且存储系统有一致性的要求,因此其模拟器测试和验证的计算量大、复杂度高,整体采用传统的形式化测试方法测试速度慢.运用分隔测试技术可以在测试过程中降低整体计算的复杂度,将使用传统测试方法不能测试的复杂系统测试简单化;利用随机程序生成技术可以减少测试人员编写测试程序的时间并加速发现系统的错误,并行测试技术可以快速低功耗检验片上多处理器存储器系统的功能并具有良好的可扩充性.将上述测试方法集成在片上多处理器的测试中,能够对整体的计算量进行合理的分割和并行化,迅速定位整个系统的错误,大大缩减所需要的测试时间,降低了测试人员的工作量,提高测试结果的覆盖率和可信性.