几何设计约束的表示与满足问题研究

来源 :计算机研究与发展 | 被引量 : 5次 | 上传用户:bueryuyu33
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
对于智能CAD系统来说,具有解决几何设计约束的功能是重要的,本文提出了一种面向对象的几何设计约束表示方法,它可以通过两种方式来表达。文中给出了一个约束传播算法,用于解决约束满足问题。
其他文献
半导体占汽车总成本比重将愈来愈高。市场研究机构ICInsights指出,在联网、娱乐、节能及安全等四大发展趋势的驱动下,汽车电子化程度将愈来愈高,平均每部汽车的半导体成本预计将
在近日召开的2017中国(深圳)集成电路创新-应用高峰论坛上,志翔科技联合创始人、产品副总裁伍海桑提出,新形态下的集成电路行业安全服务需要基于三个基本点:贴近核心数据,
台积电与ARM合作冲刺16nm工艺,导入ARM专为采用台积电16FFC(鳍式场效晶体管精简型版)适用于各种主流移动系统单芯片(SoC)的全新Cortex—A73处理器的IP。
利用水族箱研究了在单一的铵氮和硝氮急性胁迫下,3d内菹草的现存量、生产力、叶绿素与可溶性蛋白质含量以及SOD和POD活性的变化特点。结果表明:铵氮胁迫下,菹草现存量增加百分比
现代社会中,博物馆早已由原先单一的宣教机构发展成为一个历史文化交流场所,供人们在当今飞速发展的社会中观察、发现和领悟人类历史发展的印迹。这种交流并不仅仅是参观者与
康乐坊位于浙江省温州市区百里路与江滨中路的交接处。2002年9月下旬,工程部门在康乐坊北边拆迁过程中,挖掘出一只盛装有晚清、民国钱币的陶罐。温州市文物保护考古所闻讯赶
荣耀之地童话般的杭州位于上海以南150公里,在历史、传说以及艺术方面极为著名,从一千年前这座城市茫茫西湖的图景就印在了中国人的集体意识中,象征着一处无与伦比的、蒙娜丽
茶书是专业的茶叶文献,是专门论述茶的图书。茶书除论述茶自身的内容外,还包括茶具、茶法及烹茶用水等一类与茶有关的著作。茶书之编撰始见于唐代陆羽的《茶经》。随着明代中
随着计算机应用领域的日益扩大及实时控制系统的发展,对计算机系统的可靠性要求越来越高。例如在电话交换系统,航空航天控制系统,铁路交通控制系统中,哪怕是一个细微的故障,也可能
从长期受草甘膦污染的土壤中筛选出10株草甘膦降解菌,其中A5菌株对草甘膦的降解率最高,经鉴定该菌株属于节杆菌属(Arthrobacter)。对A5菌株进行降解特性研究,结表明,该菌株降解草甘