一种实用的点状符号库快速建立与显示方法

从TrueType格式的特点出发,探讨了建立TrueType格式点状符号库的新思路。经实践,这种方式能克服传统的点状符号库在绘制时容易出现锯齿、变形的现象,符号外形美观,而且绘制速度快。

基于AutoCAD建立图式符号库的方法

本文介绍了在AutoCAD中建立图式符号库的必要性,并针对图式符号的分类,分别介绍了对各类符号建立图式符号库的基本方法。

基于Groebner基的空间Burmester问题的求解方法

空间 5 S- S机构在进行刚体导引时能够实现空间 Burmester问题的综合。本文将基于 Groebner基的代数方法应用于该机构刚体导引综合 ,获得了给定刚体六个精确位置时问题的符号型“三角形”Groebner基 。

基于Groebner基的模型检测技术及其工具实现

为了减少运算复杂度和运算时间,优化检测的性能,使得计算过程更加快速高效,在符号化模型检测的过程中,利用G roebner基进行多项式约化,设计出新的模型检测算法。并且基于该算法开发出新的符号模型检测工具。该工具能更快速地验证各软件及硬件系统的性质,具有较高的实用价值。