采用推理方法提高多面体Boolean运算的可靠性

来源 :软件学报 | 被引量 : 0次 | 上传用户:liongliong461
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
提高实体Boolean运算的可靠性是几何造型中最基本也是最迫切的工作。通过对国内外几何造型系统在实体Boolean运算可靠性方面的测试,我们发现,实体Boolean运算不可靠是一个普遍现象,运算失败的根本原因在于数值计算存在误差。数值计算误差决定了我们不能精确地确定集合成员分类。集合成员分类的结果与选定的计算容差有关,具 有相对性。从而相关分类之间会发生冲突。一旦分类之间发生冲突,Boolean运算就不能得到正确的结果。我们提出了一个相当可靠的Boolean运算算法。该算法采用推理的方法在进行Boolea
其他文献
目的探讨支气管肺癌腔内近距离放疗的近期疗效。方法2005年10月至2007年10月,共选择72例支气管肺癌患者,纤支镜引导下放置施源器,模拟机透视下将施源器词至合适位置,实施腔内近距
摘 要:本文主要对大数据时代下计算机专业教学进行全面分析,大数据给计算机专业教学带来便利条件,希望老师能够转变传统的教学观念,充分利用大数据优势,进而提高学生计算机水平,培养出高素质的计算机人才。  关键词:大数据 计算机专业 教学模型  一、大数据概述  大数据不是一种技术,是信息技术发展的必然结果,大数据具有信息数量多、信息资源多样、价值高、高速性等特点,随着云时代的到来,大数据受到了更多人的
目的观察双水平无创正压通气在治疗AECOPD并Ⅱ型呼吸衰竭患者中的作用。方法随机将AECOPD并Ⅱ型呼吸衰竭患者分为治疗组及对照组各20例。观察其治疗前及治疗后2h、24h、72h血
数据库应用程序转换问题已经在广泛的领域内进行了研究。本文首先综述了该领域的研究,总结了各种转换方法并归纳为三类,即基于语法的方法,基于语义的方法和基于规则的方法,着
语义归结、锁归结、线性归结是三种重要的关于归结原理的改进。本文给出如下结果:语义归结和锁归结在某种条件下是相容的;语义归结和线性归结是不相容的;线性归结和锁归结在
患者,男性,47岁,云南思茅地区人。因“干咳、少痰、潮热、盗汗4月余,头昏头痛伴午后高热2月余”于2008年9月8日入院。
2018年6月11日,仪征技师学院与上海日化股份有限公司校企合作签约暨电子商务专业“一班一企”人才培养汇报大会在仪征技师学院举行。
咳嗽变异型哮喘(cough variant asthma,CVA)是指以慢性咳嗽为主要的一种特殊类型的哮喘,由于其临床表现不典型,常被误诊为慢性支气管炎、慢性咽炎等而给予长期抗感染及止咳化痰治
在课堂讨论中,容易出现准备不充分,形式主义痕迹较重等问题,从而起不到应有的效果。教师作为教学活动中平等中的首席,需要进行适当的引导,否则就有可能使讨论流于形式,或是学生无话
在重症监护病房(ICU)患者,常需要进行静脉和肠内营养治疗。多数病人在插胃管时,能顺利进入胃部。而部分病人出现留置胃管失败。近期,我科应用在导丝引导下胃管置入的操作方法,为6位