论文部分内容阅读
为克服约束求解的效率问题及可靠性问题，本文提出了一种基于图结构的约束求解方法，它利用图瓣形式来表示几何元素之间的约束关系，使得几何元素的求解从整体下降 至局部，将一个方程组的求解问题论为几个小方程组的求解，大大降低了计算复杂度，进而提高了求解的可靠性。
一种利用有向图优化约束求解的方法
【摘 要】
：
为克服约束求解的效率问题及可靠性问题，本文提出了一种基于图结构的约束求解方法，它利用图瓣形式来表示几何元素之间的约束关系，使得几何元素的求解从整体下降 至局部，将一个方
【机 构】
：
浙江大学人工智能研究所
【出 处】
：
软件学报
【发表日期】
：
1997年A00期
其他文献
哺乳动物卵泡卵母细胞发生的研究一直是发育生物学研究的重点之一。简要叙述了哺乳动物卵泡卵母细胞发生的一般过程，重点分析了原始生殖细胞向卵母细胞分化过程中gdf9、c-kti
ＸＹＺ系统是一个ＣＡＳＥ工具系统，它的核心是一个时序逻辑语言ＸＹＺ／Ｅ．ＸＹＺ／Ｅ有一基本的表示状态转换的低级形式ＸＹＺ／ＢＥ（或用于表示并发的ＸＹＺ／ＣＥ）及一个结构化的高级形式ＸＹＺ／ＳＥ。它们均有其相应的图形表示，ＸＹＺ／ＣＦＣ与ＸＹＺ／ＰＡＤ是分别以ＸＹＺ／ＢＥ（或ＸＹＺ／ＣＥ）及ＸＹＺ／ＳＥ用逐步
本文提出了在演绎数据库系统研究中的一种新的关系叫虚—实关系．虚—实关系集成了实关系与虚关系的一些优点，克服了它们的一些缺点，在演绎数据库系统中它具有特别的性质．将虚—实关系引入演绎数据库系统后我们可以扩大演绎数据库系统的功能．目前，虚—实关系已在ＳＵＮ—３工作站上的演绎数据库系统ＵＮＩＦＹ中实现并正在用于ＣＡＤ图形领域中．
在体外细胞培养系统和裸鼠动物体内,观察了人肝细胞靶向性脂质体介导的部分硫代型和全部硫代型反义寡核苷酸对乙型肝炎病毒的抑制作用。结果显示,针对HBVe基因翻译起始区的18
目的观察注射用重组人肿瘤坏死因子受体-抗体融合蛋白（益赛普）对大鼠放射性肺损伤过程中TNF-α的影响,试图寻找一种预防或治疗放射性肺损伤的有效途径。方法 72只雌性SD大鼠随
本文给出了一个对象模型用以描述类ＰＡＳＣＡＬ过程设计语言的静态语义（语义对象，语义依赖），讨论了基于该模型的增量静态语义分析的过程，动作，并发机制与实现手段，在文章的最后部分对模型扩充讨
目的分析目前临床上在三重酸碱失衡判断中存在的问题，完善判断方法。方法采用归拿整理的方式，将作者最近提出的各种酸碱失衡判断方法及公式相结合，用于三重酸碱失衡的判断。结果
患者女性，26岁，因“间歇性发热1月余，胸闷痛1周”入院。患者1月前无明显诱因下出现间歇性发热，最高体温39．5℃，午后为著，伴有畏寒、左侧肩背部酸痛、上腹部隐痛，无咳嗽、咳痰，无咯血，当
抗病基因的分子标记具有稳定、准确、高效的特点,通过对基因型而不是表型的直接选择,抗病基因分子标记应用于辅助选择可大大加快常规育种进程,提高育种效率.本文评述了植物抗
目的探讨经纤维支气管镜肺活检（TBLB）对弥漫性肺间质性疾病的诊断价值。方法51例弥漫性肺问质性疾病患者，在无X线电视透视下行TBLB，对临床资料及病理诊断结果进行分析。结果51例