节点文献
一种新的旋转体消隐算法
The Global Properties of Valid Formulas in Modal Logic K
【摘要】 本文提出了一种新的旋转体消隐算法，详细地论述了基于该算法的任意旋转体中隐点判别的方法，最后给出了某机器人工作空间的三线消隐图形实例。
【关键词】 计算机图学；
消隐算法；
旋转体；
隐点判别；
【Key words】 Modal logic system K； global property； tableau method； automated reasoning；
【Key words】 Modal logic system K； global property； tableau method； automated reasoning；
- 【文献出处】 计算机应用研究 ,Application Research of Computers , 编辑部邮箱 ,1996年03期
- 【分类号】TP391.4
- 【下载频次】36