论文部分内容阅读
该文提出一种增强谓词逻辑法，用于简化变量几何设计几何推理方法中的约束描述，提高描述信息的抽象层次，且使模型定义语言更加直观，使尺寸驱动几何（ｄｉｍｅｎ－ｓｉｏｎ－ｄｒｉｖｅｎ ｇｅｏｍｅｔｒｙ）或者吵驱动几何（ｃｏｎｓｔｒａｉｎｔ－ｄｒｉｖｅｎ ｇｅｏｍｅｔｒｙ）技术更加实用化。
变量几何设计中约束描述方法的改进
【摘 要】
：
该文提出一种增强谓词逻辑法，用于简化变量几何设计几何推理方法中的约束描述，提高描述信息的抽象层次，且使模型定义语言更加直观，使尺寸驱动几何（ｄｉｍｅｎ－ｓｉｏｎ－ｄｒｉｖｅｎ ｇｅｏｍｅｔｒｙ）或者吵驱动几何（ｃｏｎｓｔｒａｉｎｔ－ｄｒｉｖｅｎ ｇｅｏｍｅｔｒｙ）技术更加实用
【机 构】
：
航空航天大学CAD/CAM工程中心
【出 处】
：
全国第五届机械工程设计会议
【发表日期】
：
1996年期
其他文献
“互联网+”时代下,商业银行小微金融服务的风险种类没有变化,只是表现形式和发生环节发生了改变,而商业银行在小微金融数字化转型的进程中,新的风险防控体系尚未完善,却已将
该文针对一种新型机器人－脊骨式柔性臂机器人的逆运动问题，基于分离变量的等效坐标架变换提出了迭代－解析算法。该算法以修正的Ｓｔｅｆｆｅｎｓｅｎ算法为基础，来快速实现由操作手末端位姿到关节变量
在当前数字化转型的大趋势下,各类新型产品、业务模式的推出和产生都对传统银行从业人员提出了更高的要求,尤其是基层一线岗位员工业务素质提升迫在眉睫.本文以农行宁波分行
我国1983年制定的《建筑结构设计统一标准》中采用了以概率论为基础的极限状态设计方法。工程上用的较多的是Cornell(1969)提出的一次二阶矩（FOSM）方法，经过前人的不断完善和发
在数字乡村建设加速推进、城乡“数字鸿沟”持续缩小的新形势下,各商业银行在面对“三农”县域市场新一轮竞争时,均纷纷依托数字化转型实现服务下沉,不断扩大金融服务覆盖面.
以某电厂锅炉制粉系统为对象，分析了磨煤机的三个对象之间的变量耦合关系。由此提出新的变量配对关系，同时采用部分解耦的方式设计控制系统。经仿真研究，达到很好的控制效果。