基于归约的几何约束推理研究

来源 :计算机辅助设计与图形学学报 | 被引量 : 0次 | 上传用户:zhusanhuiit
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
参化设计在现代CAD技术中占据着越来越重要的地位,几何约束系统的建模、管理与求解是该技术的关键。实践表明,该方法在约束一致性检查、快速求解等方面起了重要的作用。
其他文献
简述了越南水稻生产的自然条件和种植区域分布,并以越南多年水稻生产数据为基础,分析了越南各区域水稻产量时空变化特征及其主要影响因素。从越南水稻单产、总产、收获面积及
冷棚种植黄瓜在黑龙江省一般是一年二茬种植模式,一是春季抢早栽培模式,另一模式是秋延后栽培。要获得高产就得在品种选择、育苗、肥水管理、病害防治方面下功夫。1、选择品
20世纪90年代初,我国开始了对公务员的绩效考核,并制定了系统的公务员绩效考核制度,经过多年的发展,该制度已经逐步完善和成熟,能够全面衡量和判断公务员的行为并取得了显著
成功的社区体育开展直接促进城市居民素质的全面提高,从而带动社区的文化发展。该文以徐州市鼓楼区社区体育开展现状为视角,运用文献资料法、问卷调查法等多种研究方法对该区
推行城市生活垃圾分类,已经成为不可阻挡的时代潮流。本文从梳理世界范围内生活垃圾分类的标准类型,分析了影响其形成的重要因素,最终得出有关城市实行垃圾分类标准的一些启
摘 要:目的 通过调查,了解江都中学女生体育兴趣现状及其影响因素,为江都中学女生的体育教学改革提供参考。方法 运用文献资料法、问卷调查法、数理统计法等研究方法,对江都中学女生的体育兴趣及其影响因素进行调查分析。结果 在被调查的学生中,73.28%的学生喜欢体育,女生感兴趣的体育类型依次为游戏类(34.48%)、舞蹈类(32.76%)、大小球类(19.83%),女生感兴趣的教师上课方式是“教师传授,
采用线性趋势法,M-K非参数检验法和R/S分析法研究四子王旗1981年~2016年近35a气温变化特征.研究发现:四子王旗年平均气温呈上升趋势,在1998年发生了一次突变.通过R/S分析发现
52岁的邓文迪和前老公默多克有两个可爱的女儿,她们分别是格蕾丝·默多克和克洛伊·默多克。在邓文迪的悉心教育下,两个女儿都非常优秀。而当邓文迪谈起女儿的教育时
在当今教育改革不断深化的过程中,素质教育在 教育事业之中已经成为主题,美术教学中的版画艺术教学属于 一项至关重要的内容。尤其是在小学阶段,良好的美术版画艺 术教育不仅
中国农业大学食品学院副教授范志红说到维生素C之王,人们想到的都是猕猴桃。其实,和秋天上市的冬枣等各类鲜枣比起来,猕猴桃的维生素C含量只能屈居第二。