T=题名(书名、题名),A=作者(责任者),K=主题词,P=出版物名称,PU=出版社名称,O=机构(作者单位、学位授予单位、专利申请人),L=中图分类号,C=学科分类号,U=全部字段,Y=年(出版发行年、学位年度、标准发布年)
AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
范例一:(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二:P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016
摘要:对参数化设计问题提出了一种新的基于DOF(Degrees of freedom)的定性建模与仿真方法。在几何约束求解的过程中,通常的定量数值化方法由于解空间的巨大而显得低效。通过定义基本约束簇类型和规则,新方法引入定性图对几何约束进行定性建模及模型求解。经过一系列基于DOF的定性图推理过程,几何约束的定性模型被规约为一个单节点后得出一系列的构造步骤。在这个推理阶段中得出的构造步骤被确定为以后精确定量计算的次序。结合了定性推理方法的高效性以及定量方法的精确性,初步实验表明新方法能够提高约束求解的效率。
地址:宁波市钱湖南路8号浙江万里学院(315100)
Tel:0574-88222222
招生:0574-88222065 88222066
Email:yzb@zwu.edu.cn