论文部分内容阅读
二维变量化设计系统可以用含有n个未知数、m个方程的非线性方程组表示．通过设计分解可以提高几何约束求解的效率和数值稳定性．给出了一种基于图论的设计分解方法及其正确性证明．该方法可以（1）处理结构欠约束系统的分解；（2）检测出冗余约束．分解算法在有限步内终止，其结果是结构相容的
一种设计分解的正确性证明
【摘 要】
：
二维变量化设计系统可以用含有n个未知数、m个方程的非线性方程组表示．通过设计分解可以提高几何约束求解的效率和数值稳定性．给出了一种基于图论的设计分解方法及其正确性证明
【机 构】
：
清华大学计算机科学与技术系
【出 处】
：
软件学报
【发表日期】
：
2001年3期
【基金项目】
：
国家自然科学基金
其他文献
由于提交处理的复杂性，分布式实时事务很难满足其截止期，提出了一种新的提交协议A2SC（主动的双空间提交），它适合于分布实时事务提交处理的需要，分析了由于数据冲突访问而形成的各种
聚类是数据挖掘中研究的重要问题之一.聚类分析就是把数据集分成簇,以使得簇内数据尽量相似,簇间数据尽量不同.不同的聚类方法采用不同的相似测度和技术.从以下3个角度分析现
数据同步技术是移动数据库系统中消除移动客户机与数据库服务器之间 数据不一致和冲突的主要方法。给出了“小金灵”移动数据库系统Lite/2中所采用的基于数据同步对象的事务
目的分析53例符合入组标准的晚期非小细胞肺癌患者的临床资料,统计其中位生存期和生存率。方法Ⅲb＋Ⅳ期NSCLC中位生存期和生存率统计分析。结果生存率：男性：1年内27例死亡（27/45
<正> 目前,肺心病的难治性感染是临床医生治疗肺心病的难题,它不仅与病原体的特性、抗生素的应用是否合理有关,还与机体的营养不良、代谢功能低下、脏器功能受损、免疫球蛋白
目的探讨血清基质金属蛋白酶-2（MMP-2）与阻塞性睡眠呼吸暂停低通气综合征（OSAHS）发病的关系,持续气道正压（CPAP）通气和N-乙酰半胱氨酸（NAC）治疗对血清MMP-2水平的影响。方法利用酶联
<正> 1 创建活动的主要做法1·1 狠抓组织机构建设 1997年初,三明市在原有获得国家卫生城市的基础上,开展了“创建公共场所卫生示范单位”活动。我们选择了条件较为成熟
<正> 风疹是由风疹病毒引起的急性传染病。母亲在怀孕初感染风疹病毒,引起婴儿先天性风疹综合征。为此我们借鉴国外其他国家的风疹免疫方案制订了哈尔滨市风疹免疫对策,供同
缺乏特征模型的有效性维护功能已经成为目前特征造型系统存在的一个严重而亟待解决的问题.在对特征有效性条件进行深入分析的基础上,提出了一个基于扩展属性邻接图（extended attributed adjacency graph,简称EAAG）的特征有效性表示方法,特别是提出了基于局部特征识别的特征有效性维护新方法.该方法不仅能够自动判别特征的有效性是否被破坏,而且能确定导致特征无效的原因和遭破坏后特
性能监控模型和技术是当前Internet运行和管理 所面临的关键问题之一.提出了一个面向对象的Internet性能监控模型.该模型已成功运用于 CERNET全国主干网络的性能管理.首先综