期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
有序实数加法理论新的判定过程与多项式谱
1
作者 薛锐 《软件学报》 EI CSCD 北大核心 2001年第7期1088-1095,共8页
推广VolkerWeispfenning关于正的有序实数加法理论的量词消去方法 ,得到有序实数加法理论的一个量词消去的判定过程 .在此基础上构造出一个新的、更为精细的判定方法 .并且利用这一结果证明了固定量词长度的子类属于相应计算复杂性的多... 推广VolkerWeispfenning关于正的有序实数加法理论的量词消去方法 ,得到有序实数加法理论的一个量词消去的判定过程 .在此基础上构造出一个新的、更为精细的判定方法 .并且利用这一结果证明了固定量词长度的子类属于相应计算复杂性的多项式谱 .与E .D .Sontag的类似结论比较 ,从这种简洁的方式可以得到一个较优的结果 .这个结果实际上将N .Megiddo的关于正实数理论的结论推广到了一般实数理论 . 展开更多
关键词 判定过程 计算复杂性 多项式谱 有序实数加法理论
下载PDF
消费水平的模糊评价方法 被引量:2
2
作者 阎东升 吴健中 +1 位作者 王磐石 丁仁才 《技术经济》 1996年第8期41-42,共2页
关键词 消费水平 模糊评价 隶属度 模糊数学方法 衡量指标体系 工程研究 水平向量 上海交大 实数加法 权重系数
下载PDF
SOME ALGORITHMS FOR NC MACHINING SIMULATION AND VERIFICATION 被引量:1
3
作者 伍铁军 周儒荣 廖文和 《Transactions of Nanjing University of Aeronautics and Astronautics》 EI 2003年第1期30-35,共6页
This paper presents an approximation method to display realistic pictures of numerical control (NC) machining simulation very quickly. T he tool movement envelope is divided into many small regions and the normal to... This paper presents an approximation method to display realistic pictures of numerical control (NC) machining simulation very quickly. T he tool movement envelope is divided into many small regions and the normal to t hese small regions is calculated. The system saves the calculated result in a fi le before starting animation display. When the system starts displaying machinin g animation, it does not need to calculate small triangular facets normal to the workpiece surface. It only needs to find out what part of the cutter cuts the w orkpiece surface and to read the normal from the file. A highly efficient NC cod e verification method is also presented in this paper. The method first detects the error in z direction. If some points are reported to be out of the tolerance , the system divides neighborhood of these points into smaller grids and calcula tes the normal surface at each grid intersection and the error in the normal ve ctor direction. 展开更多
关键词 numerical control machi ning SIMULATION VERIFICATION realistic picture
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部