|
钻瓜专利网为您找到相关结果 96660个,建议您 升级VIP下载更多相关专利
- [发明专利]一种一阶并行、带优先级和逐点的限定理论计算方法-CN201510097186.1在审
-
万海;萧展豪;曾娟
-
中山大学
-
2015-03-04
-
2015-07-01
-
G06F19/00
- 本发明公开一种一阶并行、带优先级和逐点的限定理论计算方法,包括:(1)将任意一个一阶限定理论在线性时间内翻译为另一个与之在任意结构上逻辑等价的在稳定语义下的一阶理论,包括四个基于语法层面的主要翻译;(2)对于一阶限定理论中的存在量词,提出了消去存在量词的优化翻译算法,该方法不仅减少了引入的辅助谓词数量,而且减少了由翻译造成的理论的规模的增长;(3)基于以上的翻译和消去存在量词优化算法,本发明实现了一个能够在给定的论域中求出所有极小模型的通用一阶限定理论求解器本发明解决了一阶并行、带优先级和逐点的限定理论缺乏的求解器的现状,可以设计与实现可高效计算的一阶并行、带优先级和逐点的限定理论求解器。
- 一种一阶并行优先级限定理论计算方法
- [发明专利]人体五行心肝脾肺肾动漫影像片-CN201710089148.0在审
-
杨德智
-
杨德智
-
2017-02-20
-
2017-06-20
-
G06T13/80
- 本发明公开了人体五行心肝脾肺肾动漫影像片,包括人体五行演示和人体五脏病理,所述人体五行包括心火、肝木、脾土、肺金和肾水,人体五行演示包括人体五行相生理论和人体五行相克理论,人体五脏病理包括五行中草药和人体五脏相生相克理论该基于人体五行理论的五行动漫及其制作方法,能够更加清晰的了解人体五行理论,有效的增加了学生的好奇心,学生的学习激情更大,有效的降低了人体五行理论知识学习难度大的弊端,更加具有新颖性,学生能够快速的了解人体五行相生相克理论、人体五脏相生相克理论和五行中草药知识,学生能够清楚的掌握五脏疾病病状和中草药治疗的大致方向,能够让学生认识到病与药的关系。
- 人体五行心肝脾肺肾动漫影像
- [发明专利]用于补偿工作点的偏差的方法-CN201580071754.9有效
-
M.施托伊克
-
布勒特耶自动控制设备有限责任公司
-
2015-12-22
-
2019-07-05
-
G05B19/404
- 本发明涉及一种用于在通过在操纵器(2)处的端部执行器(4)加工工件(3)期间用于补偿操纵器(2)的工作点(1)的偏差的方法,其中,为了加工工件(3)而执行用于操控操纵器(2)的指令顺序并且基于该指令顺序产生相应于理论位置(6)的理论位置信息(5),基于该理论位置信息(5)设定操纵器(2)的工作点(1),其中,利用与理论位置信息(5)相关的补偿参数组(7)来处理理论位置信息(5)以用于测定补偿值(8),并且根据补偿值(8)调节理论位置信息(5)以用于平衡在工作点(1)的实际位置(10)与理论位置(6)之间的偏差(9)。本发明的特征在于,在加工工件(3)期间测量实际位置(10),基于所测得的实际位置(10)与理论位置(6)之间的对比测定修正值(12),以及基于修正值(12)在加工工件(3)期间调节补偿参数组(7)以用于减小偏差
- 用于补偿工作偏差方法
|