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

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

基于图形制导复杂曲面最佳适配的梯度-模拟退火算法

针对复杂曲面类毛坯与设计原形存在误差，提出了一种基于图形制导复杂曲面最佳适配的梯度一模拟退火算法。该算法首先利用参数曲面的几何不变性，使曲面有一个较为理想的初始位置。然后使用梯度一模拟退火算法对目标函数进行优化，从而实现了复杂曲面的最佳适配。最后运用实例验证了所提出的算法的可行性及有效性。     

Petri网的重写逻辑模型及其属性验证

为了对大规模或复杂结构的系统进行规格,人们在经典的库所/迁移Petri网基础上加入层次、时间等来扩展它.为此,提出使用重写逻辑表达Petri网的新方法来探索对Petri网的替代.通过把异步并发系统的Petri网图形表达转化为重写逻辑理论,可以更容易和更直接地验证原系统的安全性、活性和可达性等行为属性,而不需要建立标识图...     

基于DM2的体系结构数据完备性验证方法

为进行有效、规范的体系结构构建,现有体系结构大多采用美国国防部体系结构框架(Department of Defense architecture framework,DoDAF)作为指导,针对采用该框架构建的体系结构的数据完备性验证问题,提出了一种基于国防部体系结构框架元模型(DoDAF meta-model,DM2)的验证方法。该方法利用DM2中数据实体之间的关系,直接从DM2中提取数据的完备性规则,进而构建完备性验证矩阵,并通过验证矩阵判断体系结构数据的完备性。最后,通过一个案例进行完备性验证步骤说明和可行性分析,验证结果说明了该方法的有效性。     

CGAHI图形模式下曲面的形成及附加处理

本文介绍了在CGAHI图形模式下对曲面作附加处理的一种方法,包括对曲面进行平移、旋转、消隐、着色等操作。以Bezier曲面为实例,给出了在640×200分辨率显示器上得到的图形。通过实验验证,其结果表明了方法的合理与有效,理论计算与图形有较好吻合。     

NC 铣削加工过程的仿真及其实现

目的研究NC (Numerical Control) 铣削加工过程的动态仿真及其实现方法. 方法基于光线投射的原理,采用将刀具与工件离散的方法,实现了 NC 铣削加工过程的动态仿真. 结果该方法不仅能检测出加工中可能出现的干涉与碰撞,同时也能验证刀位轨迹对理想曲面的逼近误差. 结论该方法成功地实现了 NC 铣削加工过程的几何仿真,对于工艺的仿真有待于进一步研究.     

鞋楦CAD曲面数学模型的研究

根据鞋楦复杂的空间自由曲面特点及ＣＡＤ软件的实用性，可操作性，便于系列化与特殊性设计的要求，本文提出了从Ｂ样条曲线推广到Ｂ样条曲面的鞋楦曲面设计数学模型的建立方法。文中讨论了鞋楦曲线，曲面拼接的端点条件，边界条件，反算诸问题；给出了鞋楦实测特征位置截面曲线与数学模型模拟曲线的比较图形和鞋楦的三维空间曲面网格图形。作者提出了将鞋楦的复杂空间曲面问题转化为多个较简单的曲线问题来解决的基本思路。     

城市给水管网信息系统研究

城市给水管网具有数据量大、地上地下目标之间关系复杂以及要处理图形信息等特点.文中给出了一个基于框架的数据模型,它适应这些特点和用于工程目的,以及对系统进行结构描述和目标组织.同时还分析了整个系统的体系结构,并对各功能模块设计进行了研究.     

从ArcGIS平面栅格图形到Gocad三维图像转换的开发探讨

介绍了ArcGIS和Gocad在处理平面栅格图形上存在的不足,然后提出了解决的方法及其实现流程,通过具体实例成功地完成了平面栅格图形到空间曲面的转化。其方法是：首先利用ArcObjects的接口对ArcGIS进行了二次开发将栅格图形转化成空间坐标数据,然后对Gocad进行二次开发,其目的是将空间坐标数据直接产生出Gocad能够直接识别的空间曲面对象文件,再加载到Gocad中以三维图形显示出来,最后将这些功能组装起来成为一个完整的系统。     

数控机床数据通讯技术

CAD/CAM是建立在数控 (NC)技术基础上的 .NC技术迅速发展 ,出现了各种不同控制类型的NC机床 .因此 ,迫切需要有能显示图形及加工轨迹 ,只需输入数据就可自动编程和加工的经济型数控机床 .为此 ,我们开发了具有图形显示功能和利用高级计算机语言自动编程的GNC图形控制通讯系统     

基于隐马尔科夫模型的随机系统运行时安全性验证

随机系统运行时验证中,由于可靠地传感系统运行状态的成本非常高以及一些事件的监控严重影响系统时间相关的行为,因此,复杂随机系统在运行时其状态是难以观测的。为了对该类系统进行运行时验证,提出了状态不可观测的随机系统运行时安全性验证方法。首先,给出了随机系统安全性验证框架,框架使用隐马尔科夫模型建模运行时系统,使用确定性有限自动机规约系统安全属性,使用两者的乘积自动机作为属性验证器。然后,提出了属性验证器的构造算法,该算法消除了从初始状态不可达的状态以及与验证属性无关的组合状态,约简了验证器的规模。最后,基于验证器,提出增量迭代安全性验证算法,该算法接收到一个新的观测值,立即计算已观测到的整个有穷序列的监控结论,不需要保存当前观测值之前的有穷观测序列。实验仿真结果表明该方法能有效性地在线验证状态不可观测的随机系统安全性。     

基于模糊推理的自由平面曲线的精加工刀位点生成

新产品设计或单件仿制需要逆求工程。模拟产品逆求工程,由AutoCAD软件设计生产复杂的自由平面曲线,人工进行数据任意提取,提取的数据杂乱、庞大。利用模糊推理的算法,根据加工精度要求,对大量的数据进行筛选、规整,形成一个由规则的离散点描述的自由曲线。根据这些点生成数控刀具加工路径的刀位点。     

数字示波器自动检定方法与实现

利用开发的专用软件,通过接口连接控制9500B示波器校准仪与各类数字示波器,建立了数字示波器自动检定系统,实现了数据录入、数据处理、合格与否的判断、检定证书的生成等功能的自动化,同时支持对示波器单个参数的检定。该检定系统提高了计量检定的自动化水平,不但使检定效率至少提高4～6倍,而且降低了人员操作和数据录入失误造成的差错率。     

标准体积管流量计检定装置微机控制及管理系统

介绍用于体积管等标准器检定流量计的微机监控及数据管理系统。该系统能够实现三球无阀式标准体积管检定流量计的自动操作，同时采集相应数据，按检定规程计算出检定结果，并可以将流量计检定的数据及信息存盘管理，也可以打印检定记录报表。     

新一代GPS标准与计量体系的现状与发展方向的思考

新一代GPS以计量数学为基础语言结构,通过不确定度的传递关系把标准和计量联系起来,将产品功能、规范与认证(检验)集成一体,为产品设计、制造及计量测试人员提供了一个由共同技术语言建立起来的信息交流平台.作者研究新体系的建立与发展、总体结构,并依据GPS特点和内容,结合我国GPS标准概况,提出我国GPS标准体系研究、应用的发展方向和趋势.     

云存储中基于SBT的数据完整性验证机制

云存储中数据完整性验证的主要思想是利用树形或类树形数据结构来存储用户外包的数据,并将该数据结构与适当的密码学技术结合使其具备可认证性,即认证字典。该文将基于结点大小平衡树(size balanced tree,SBT)结构来构建认证字典,并在该认证字典基础上设计出数据完整性验证方案。基于SBT结构的数据完整性验证方案能更好地支持动态数据集的完整性验证,避免了数据更新引起的周期性重构。实验结果表明,相对于基于AVL树、Treap的认证结构,基于SBT结构的认证字典具备更好的平衡性和更高的数据操作效率。     

基于频域分析的在线手写签名认证算法

目的 为提高在线手写签名认证的速度,提出一种基于频域分析的在线手写签名认证算法,用于在线手写签名认证的粗分类.方法 首先使用快速傅立叶变换对在线手写签名原始特征向量进行映射,然后抽取低频信息构成新的特征描述,最后使用加权认证算法实现在线手写签名的认证.结果 算法提高了在线手写签名认证的速度,且在SVC2004task2数据集上取得的ERR为10%.结论 快速傅立叶变换抽取频域特征易于区分伪造签名,且快速有效.依据用户各种特征稳定程度进行加权认证,提高了系统的鲁棒性.     

基于SVM的离线签名认证

生物特征识别技术作为一种身份识别的手段,具有独特的优势,近年来已逐渐成为国际上的研究热点．签名认证属于生物特征识别技术的一种,已经在国内外各个领域应用数十年,被人们广泛接受．对现有的离线签名认证方法进行了改进和创新,提出了四种特征,包括方向特征、纹理特征、动态特征和复杂指数．认证阶段采用支持向量机来鉴定签名的真伪,所取得的最好实验结果是平均错误率达到了5．4％,和目前国内外离线签名认证的相关实验结果相比,说明了本实验算法的有效性．     

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

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