论文部分内容阅读
在自由度分析方法的基础上使用依赖图, 解决了约束求解过程中的过约束和欠约束的处理问题. 依赖图中保留了求解问题中变量间的依赖信息. 当系统发现矛盾的过约束时或欠约束时会给使用者显示提示信息, 由用户进行处理.
基于自由度分析几何约束求解方法中过约束和欠约束的处理
【摘 要】
：
在自由度分析方法的基础上使用依赖图, 解决了约束求解过程中的过约束和欠约束的处理问题. 依赖图中保留了求解问题中变量间的依赖信息. 当系统发现矛盾的过约束时或欠约束时
【机 构】
：
符号计算与知识工程教育部开放实验室
【出 处】
：
吉林大学学报(理学版)
【发表日期】
：
2003年1期
【基金项目】
：
国家自然科学基金(批准号:69883004).
其他文献
处置式是近代汉语语法最重要的发展之一,迄今为止的有关研究多为观察描写性质的,很少有人谈及它的产生动因和发展机制。本文从那个时代汉语整体语法系统的发展变化的角度出发
小学低年级学生生性好动,注意力不稳定,意志力薄弱,自控能力差.集中学生的注意力,调动学生学习的积极性,使学生全身心地投入到数学学习探究的活动之中,是学生学好数学的重要
21世纪以来,"韩流"在中国的风行不只是一个文化现象,韩国政府是"韩流"背后的主要推手。随着中国在世界和东亚地区影响力的日益增强,韩国政府十分重视对华公共外交。而"韩流"
本文报导用毒重石（BaCO3）为原料,氯化铵法生产氯化钡的新工艺。该工艺能耗低、成本低、流程短,对设备无特殊要求,适于就地建厂。
社会边缘化具有深刻内涵,表现为形式上的边缘地位、实质上的边缘情境以及心理上的边缘人 格,社会边缘化的进程也是三者的建构过程.失独父母的特殊经历为社会边缘化研究提供了
徐通锵先生发现不同系统同源音类的叠置,建立叠置式音变类型。作为一般离散式音变中的一种比较特殊的形式,具有一定的理论意义。但在以文白异读作为动因,区分"竞争"和"变化"
在建筑工程中,施工单位的核心竞争力与项目施工管理水平息息相关,良好的项目施工管理能够简化建筑工程结构,提升其建筑施工标准并满足社会各界对建筑工程的诸多需求。本文分
<正>信息时代,数字化的脚步不断加快,不仅带动人们生活方式的转变,也带动了出版行业的变革。美国和日本在内容生产、管理过程、产品形态、服务等各方面都在向数字化转变,努力
战后世界两种国际格局的两个历程——两极格局瓦解与多极格局趋势发展孙宝珊战后半个世纪左右，世界格局的基础和主角，即几个工业化大国的实力发生巨大变化。英国经过世界大战和