参数化设计综述

金建国 &，! 周明华 & 邬学军 &

&
（浙江工业大学理学院，杭州 #&""&/ ）
!
（浙江大学 ’()G’B 国家重点实验室，杭州 #&""!% ）
HIJ9@8：:>K!""!!""#LK95CC$=CJ$=:

摘 要 参数化设计是当前 ’() 技术中的一个研究热点。对参数化技术进行深入的研究，对于提高我国企业的 ’() 自

动化程度以及竞争力有着重要的现实意义。该文对当前的参数化设计技术做了综述，并结合笔者对参数化的理解与观
点，阐述了参数化设计技术的现状以及一些相关研究内容，同时分析了目前研究中所存 在 的 不 足 ，指 出 了 参 数 化 技 术 的
未来发展趋势。

关键词 参数化设计 研究现状 ’()

文章编号 &""!I.##&I（!""# ）"%I""&1I"# 文献标识码 ( 中图分类号 MN#"! ；MO&!!

!"#$"% &’ ()*)+",*$- ."/$01 2",3&4

5$1 5$)106&7，8 93&6 2$1036)7 :6 ;6"<617
&
（2=@6:=6 ’C886A6 ，P56Q@9:A R:@S67D@4K CT M6=5:C8CAK ，O9:AU5C3 #&""&/）
!
（24946 V6K ?9WC794C7K CT ’()G’B ，P56Q@9:A R:@S67D@4K，O9:AU5C3 #&""!%）
=>/,*)-,： N979J647@= )6D@A: 59D W66: 9 5C4D>C4 @: 456 9769 CT ’() 46=5:C8CAK$X4 @D S67K @J>C749:4 4C D43;K 456 46=5Y
:C8CAK @:I;6>45，D@:=6 @4 =9: D@A:@T@=9:48K @J>7CS6 456 934CJ94@C: ;6A766 9:; 6TT@=@6:=K CT 6:467>7@D6D$X: 45@D >9>67，456
;6S68C>J6:4 CT >979J647@= ;6D@A: @D 76S@6F6;$Z@45 9345C7D[ C>@:@C:D，456 =3776:4 D4946 CT >979J647@= ;6D@A: 9:; @4D 7689Y
4@S6 76D697=5 =C:46:4 976 ;6D=7@W6;$(4 456 D9J6 4@J6，456 8@J@494@C:D CT =3776:4 >979J647@= ;6D@A: 46=5:C8CAK 976 >C@:46;
C34，456 46:;6:=K CT >979J647@= ;6D@A: @D >34 TC7F97;$
?"@%&*4/： N979J647@= ;6D@A: ，’3776:4 76D697=5 D4946 ，’()

& 引言 ! 参数化研究现状
’() * ’(+ 技术的迅速发展使得 它 无 论 在 机 械 、 电 子 、航 参数化方法的本质即是基于约束的产品描述方法。这是由
空、建筑等领域都获得了成功的应用。这对于提高产品性能和 于产品的整个设计过程就是约束规定、约束变换求解以及约束
质 量 、缩 短 产 品 开 发 周 期 、降 低 成 本 和 增 强 市 场 竞 争 力 起 了 巨 评估的约束求精过程。参数化研究工作最早可追溯到 1" 年代
大的作用。 早 期 ，23456789:; 在 他 开 发 的 2<64=5>9; 系 统 中 ，首 次 将 几 何 约
企业成败的关键问题之一是能否快速开发出新产品并缩 束表示为非线性方程来确定二维几何形体的位置。后来 ?@A54 、
短产品的上市周期。因此产品的设计要有充分的柔性，并且设 BCDD97;-&&，&!0进一步发展 了 这 一 思 想 ，并 使 其 实 用 化 。 在 应 用 此
计过程模型要能准确地反映设计的实际活动，同时又能够迅速 方法（数值迭代法）的过程中，人们也发现了该方法的诸多弊端
地重构，使产品的设计信息能够重用。几乎所有产品的设计都 如迭代收敛性问题等等。由此人们又提出了符号法 -&.0用以克服
是改进型产品设计，而且大约 %",的原来产品的设计信息在新 这 些 问 题 ，但 符 号 法 的 计 算 量 很 大 ，在 实 用 中 受 到 了 很 大 的 限
产 品 的 设 计 时 被 重 新 利 用 -&.，!/0，参 数 化 设 计 技 术 就 在 这 样 的 背 制。另外，人们也提出了一种应用人工智能思想的方法——
—几
景下应运而生。设计师可以根据自己的意图很方便地勾出设计 何推理法 -&，!，&#，!"0（或称规则法）。这种方法把约束集及所约束的
草图，系统同时自动建立设计对象内部各种元素之间的约束关 几何元素用图论的方法表示出来，然后对约束图进行几何推理
系 ，以 便 设 计 者 更 新 草 图 尺 寸 时 ，系 统 通 过 推 理 机 能 自 动 更 新 以确定各几何元素的参数值。这种方法由于简洁、计算量小，因
校正草图的几何形状并获得几何特征点的正确位置分布。 而在实际应用系统中得到了广泛的应用。
多年来，众多学者为参数化技术的发展做了不懈的努力， !$& 代数法
并取得了丰富的成果，但也有其局限性。该文就是在此背景下， 数 值 迭 代 法 、符 号 法 、概 率 约 束 法 与 基 于 遗 传 和 退 火 算 法
对参数化技术的研究现状、各种参数化方法的思想机理及优缺 的参数化设计方法都可归结为代数法。
点、存在的问题以及参数化技术的未来发展趋势做了较为全面 数值迭代技术 -&&，&!0是最早用于求解约束集的方法。在这种
的分析与探索。 方法中，约束集用一组非线性方程组来表示，然后用 E6F4C: 迭

基金项目：国家 .1# 高技术研究发展项目 * ’X+2 主题（编号：

.1#I\&&I%"%I""& ）；国家教育部博士点基金（编号：]."##\"1 ）；浙江省自然科学基金；
浙工大人才引进专项基金项目
作者简介：金建国（&]%"I ），男，浙江诸暨人，博士，主要研究参数化设计、曲线曲面造型及真实感图形学。周明华，男，副教授，主要研究计算机辅助
几何设计与计算机图形学。邬学军（&]\]I ），男，浙江杭州人，副教授，主要研究数学建模、计算机辅助几何设计与图形学。

&1 !""#$% 计算机工程与应用

代方法整体求解以确定所有的参数值。但用这种方法求解约束 的作用。这些规则实际上反映的是一个计算过程，或者说是一
方程组有一种广为人知的缺陷，即方程组迭代的收敛性问题， 个局部推理过程。
这将依赖于迭代初始值的选取。 上面所讲述的是约束网的表示及规则 （即局部推理过程）
代数法中的第二种方法是符号法 &’()。这种方法利用了方程 的描述方法。在此基础上再来研究全局推理过程。全局推理过
的符号计算技术。它的主要思想是把原约束方程组转化为等价 程本质上即是约束满足次序的确立过程。不妨把它看作是联系
的另一 组 被 称 为 是 *+,-./+ 基 的 方 程 组 ， 这 里 所 有 的 *+,-./+ 约束网与规则的桥梁。几何推理（即全局推理）是参数化设计理
基所形成的方程组的根都将是原约束方程组的解。 论与应用中广为使用的方法，它确立了在约束网中使用哪些规
符 号 法 虽 然 有 其 局 限 性 ，如 总 体 上 来 说 计 算 量 较 大 ，难 以 则及使用这些规则的次序问题。所以也可以这么说，全局推理
把变动限制在局部范围内等等，但也具有许多其它方法所不具 是对局部推理过程的一个管理与组织过程。
有的优点： 值 得 注 意 的 是 ，在 几 何 推 理 方 法 的 研 究 过 程 中 ，人 们 遇 到
（’ ）它 并 不 要 求 方 程 组 的 方 程 数 和 变 量 数 相 等 ，即 它 能 包 了循环约束问题。即某些子约束网内部的诸几何元素之间没有
容过约束与欠约束问题。并且从得到的 *+,-./+ 基能方便地知 一种必然的前后次序关系，因此这些元素应同时而非分步确
道该约束方程组是否存在矛盾约束。 定，才能解决这个矛盾。由此，人们提出了如何确定约束网中哪
（! ）避免了数值迭代法求解时方程组迭代不收敛以致于找 些子网必须整体求解的问题，即“约束图的分解”问题。
不到根，及迭代虽然收敛了但找到的这个根并不是符合要求的 约束分解问题不论在用数值方法还是基于规则的参数化
那些根之一的情况，它往往能把符合人们要求的那些根全找 设计方法中，众多学者都做了很多努力 &C，’%)，并取得 了 一 定 的 成
出来。 果 。 例 如 D>EF@&’’)和 *,GG2+H&’!)运 用 I,3,->2. 矩 阵 的 剖 分 法 来 进
代数法的第三种方法是退火算法和遗传算法 &’0)。这种方法 行约束方程组的分解，由此改进了基于数值方法的参数化设计
试图求解由等式及不等式组成的高次非线性高度交叉方程组 方法。
（或不等式组）所对应的约束满足问题，即该约束方程组有下述 在 基 于 规 则 的 方 法 中 ，9+2:/+ &0) 提 出 了 寻 找 约 束 网 中 刚 性
特性 ：高 次 性 ；高 度 交 叉 性 ，即 约 束 方 程 组 难 以 分 解 ，必 须 整 体 子结构的方法。该方法把约束网变换成了一个层次结构形式，
求解。 然后用自下而上的方法求解此约束网。 8J/. 提出了和检测刚
由于高次非线性方程组存在多解问题，因此如何在复杂的 性结构类似的约束分解方法，然而他的方法是把剖分成的子结
解空间里快速搜索合理解是较为困难的，该种方法就是对解决 构用刚体坐标变换的方法重新组合起来。因此和 9+2:/+ 的方
此问题的一个尝试。但该方法把所考虑图形中的几何特征点坐 法相比，8J/. 的方法更注重于分解方式。
标用二进制来表示，因此并不实用。 K>66>2: L,M:2&!")等提 出 了 一 种 构 造 36MG@/+ 子 约 束 网 的 方
代数法的第四种方法这里称之为概率约束方法 。这是由 &!’)
法来进行约束 分 解 。 该 方 法 首 先 定 义 了 36MG@/+ 的 构 成 方 法 与
1223,+4 5/678+ 等学者提出的。该方法把约束模型表示为一概 规 则 ， 然 后 利 用 这 些 36MG@/+ 重 构 整 个 约 束 网 。 利 用 简 单 的
率方程组，然后用 926:2. 滤波器求解之，以获得确定该约束模 36MG@/+ 构 成 规 则 ，子 36MG@/+ 可 复 合 成 复 杂 36MG@/+，复 杂 36MG@/+
型所有几何特征点所必需的全部参数值。这种方法把参数化设 可形成更为复杂的大 36MG@/+，如此形成一个 36MG@/+ 层次结构，
计模型看作是一个随机过程，一个柔性约束的“柔性度”被表示 利用各层次 36MG@/+ 间 的 约 束 关 系 计 算 其 组 合 坐 标 变 换 ， 由 此
为一个具有适当分布的随机变量的协方差。柔性约束并不要求 即可重构整个约束网。
该约束必须得到严格满足，而只需根据一定准则得到近似满足 在 基 于 规 则 的 方 法 中 ，张 东 亮 、朱 英 杰 等 提 出 了 自 组 织 方
即可。利用这种方法，对于解决约束满足中存在的过欠约束、矛 法。这种方法的优点是采用人工智能的方法对图形进行自动识
盾约束问题是很有益的，这是因为该种方法并不强调某个约束 别和理解，完成图形几何拓扑约束关系和尺寸约束关系的自组
必须得到满足，而只是需近似满足甚至不用满足都是允许的， 织，从而将原始图形的约束和数据从无序状态变成了有序状
这样就给约束求解系统带来了一种润滑剂。这种思想在实际应 态。在约束信息自组织的基础上，应用几何推理的方法，实现了
用系统中是值得进一步推广的。 整个几何图形的参数化。该方法和一般的几何推理方法相比增
!$! 基于规则的方法 加的特色之处在于：图形几何拓扑约束关系与图形尺寸约束关
约束求解的第二种方法是 基 于 规 则 的 方 法 &’，!，;，%，!"，!!，!#)。 在 系是通过对图形原始几何位置信息及各种不同尺寸的标注特
这 种 方 法 中 ，约 束 集 往 往 用 一 阶 谓 词 来 表 达 ，用 几 何 推 理 和 规 点重新自动识别、理解和整理而自组织生成的。
则匹配法来分别确定约束满足次序及应用何种规则来进行 在基于规则的方法中，有一种思路是值得人们注意的，不
求解。 妨也可称之为约束的转换方法 &’)。即由于对原来的一组约束集
约 束 的 谓 词 表 示 法 ，或 称 约 束 的 语 言 文 法 ，实 际 上 反 映 了 直接求解较为困难，因而通过引入新几何元素把该约束集转化
某物体（或图形）内部诸元素之间错综复杂的制约关系。这种关 为另一组等价的较易求解的约束集的方法来求解。这种通过引
系应该是呈网状结构的，诸元素彼此之间相互联系相互制约。 入新几何元素，舍弃部分旧几何元素而引入新的易于求解的约
在这个网状体系中某一元素性状的改变，将直接或间接地影响 束集的方法（约束转换法），在参数化设计领域中将是十分有意
着其余元素中某些元素性状的相应变化。而两组有一定内部联 义的。其实稍作比较，就会发现这种方法和前面所述的代数法
系 的 约 束 集 匹 配 则 构 成 了 某 一 特 定 的 规 则 。 例 如 约 束 集 <=>? 中的“符号法”有异曲同工之妙，两者从本质上都体现了一种约
+/3@>,. （! ’，" ）；A2+266/6 （! ’，! !）B 和 约 束 集 <=>+/3@>,. （! !，" ）B 两 者 束转换的思想。这种方法也许能成为处理循环约束问题的一个
就构成了一个规则，即因果关系。这些规则将起到维护约束网 全新思路。
络的一致性、相容性以及及时更新约束网络中诸几何元素性状 !$# 直接编程法和参数化操作法
计算机工程与应用 !""#$% ’%
 约束求解的第三种方法是基于参数的直接编程法和参数 足之处。目前，参数化方法所涉及的都是基于点、线、圆、圆弧等
化操作方法 &’，()。编程法将尺寸作为变量，对每种不同结构的零 低层次线素的，而新的几何造型系统对建模的要求是 &#，+"，+’，+,，+-)：
件分别编写不同的程序，用编程的方法实现参数化设计。虽然 （+ ）要 求 几 何 造 型 应 该 合 理 地 被 分 解 为 一 些 单 元 ，这 些 单
这 种 方 法 比 较 简 单 可 靠 ，但 由 于 其 针 对 性 太 强 ，因 而 适 应 性 较 元能被容易地组合成整个造型，并具有参数化功能。任何几何
差，对于复杂性程度较高的图形，编程的工作量太大。参数化操 造 型 都 既 具 有 局 部 性 ，又 具 有 整 体 性 ，是 部 分 与 整 体 的 有 机 统
作方法则是在归纳几何图形拓扑约束关系的基础上，结合工程 一 体 ，因 此 可 以 把 复 杂 的 几 何 建 模 分 解 为 单 元 组 合 建 模 ，以 达
制图常见尺规作图步骤与方法，采用参数化操作表示与处理几 到几何造型的柔性建模。
何约束，并通过与参数化操作对应的几何计算程序逐步确定出 （! ）由 于 几 何 造 型 的 多 样 性 与 复 杂 性 ，现 今 广 泛 应 用 的 造
精确几何模型。该方法简单、实用，但难以表示与处理复杂的几 型 系 统 中 的 造 型 基 本 线 素 是 不 仅 仅 限 于 点 、线 、圆 、圆 弧 的 ，而
何约束，难以支持对约束的增、删等操作。 且 还 更 多 地 采 用 其 它 二 次 曲 线 及 ./01/2 曲 线 、.3 样 条 曲 线 等
!$’ 基于构型变异的参数化方法 等来造型。
对于构型变异，常见的表现形式有以下几种 &!*)：尺 寸 变 异 ； （# ）要求几何造型具有一定可变异的能力。而基于高层次
几何变异；拓扑变异；混合变异；突变。 图素建模的几何造型为利用图素置换实现变异提供了可能。
因此，究其本质，上述变异是构型类之间的演化。构型的变 因此，把参数化方法向高层次图素如关联图形及曲线、曲
异蕴含了一定的本质不变性，这就是构型的语义。所谓构型语 面推广是和目前广泛应用的造型系统发展趋势相适应的。
义是指构型的表现所蕴含的与产品生命周期各阶段相关的语 为实现关联图形的参数化，就要对关联图形的表达、组织、
义信息，诸如功能语义、几何语义、拓扑语义等。语义几何元素 联动、循环约束问题的解决等等一系列问题作具体研究。这也

是指构型整体、构型边界以及其它与构型语义相关的几何元 为实现基于拓扑变异的参数化联动打下了坚实的基础。

素，例如对称轴、基准面等等。 另外，循环约束问题仍是参数化研究中的一个难点。目前

用语义几何元素来描述产品模型可以相对独立于模型的 虽然已有一些解决方法，但还没有一种方法在实际中得到了广

几何细节。例如，任意截面的栓类构型都有“顶面”和“底面”，当 泛的应用。因此，探求一种高效的循环约束求解方法还有待于

这些构型仅通过这样的语义几何元素同外界发生约束关系时， 今后深入地研究。（收稿日期：!""! 年 * 月）

构型替换不改变约束的描述。这样，约束的描述就相对独立于
构型，构型类型就可以发生改变。 参考文献
除 了 构 型 类 型 发 生 变 异 外 ，还 存 在 另 外 一 种 情 况 ，即 在 非 +$4 5/226789 /9 :;$<7;/3621/=9/> ?/9@6> A62 B:2:?/9/210/> C6?B79/23
:1>/> >/81D=&E)$F6?B79/2 41>/> G/81D= ，+--! ；!’ （+" ）：*#+H*’,
拓扑变异的参数化设计应用中，有时某尺寸的取值超出了它的
!$4;>/A/;> .$5:21:916= 6A D/6?/92I J:8/> 6= : D/6?/921C 2/:86=1=D ?/3
定义域范围时也可能产生拓扑变异（突变），而这种情况导致的
9@6>&E)$F6?B79/2 41>/> G/81D= ，+-(( ；!" （# ）：++%H+!,
模型变异从工程意义的观点来看是否合法也是难以自动检测
#$F K 4 L 54M N5O<5OPG /9 :;$Q91CRI QB;1=/8 ：G/A1=1916= :=>
的。因此，对基于拓扑变异的参数化设计方法的研究来说，还有
L:=1B7;:916= 6A QB;1=/ Q927C972/8 S19@ L:1=9:1=/> T6B6;6D1C:; </;:3
较长的路要走。 916=8&E)$4FL T2:=8:C916=8 6= U2:B@1C8 ，+--, ；+* （+ ）：%!H-(
’$G <6;;/2$4= :BB26:C@ 96 C6?B79/23:1>/> B:2:?/921C >/81D=&E)$F6?3
# 参数化中存在的问题 B79/2 41>/> G/81D= ，+--+ ；!# （* ）：#(*H#-+
尽管经过参数化软件供应商与参数化研究人员多年的不 *$U;/== 4 V2:?/2$4 D/6?/921C C6=892:1=9 /=D1=/&E)$4291A1C1:; W=9/;;1D/=C/，
懈 努 力 ，使 得 参 数 化 技 术 由 最 初 的 萌 芽 逐 步 发 展 起 来 ，并 取 得 +--! ；*( ：#!%H#,"
,$E:/ X/6; P// /9 :;$4 !3G D/6?/921C C6=892:1=9 86;Y/2 781=D GNZ3
了 相 当 的 成 果 ，但 是 从 参 数 化 技 术 的 实 际 应 用 状 况 来 看 ，还 远
J:8/> D2:B@ 2/>7C916=&E)$F6?B79/2 41>/> G/81D=，
+--(；
#"（
++）：
((#H(-,
未达到人们所期望的那样行之有效。这主要是由于参数化技术
%$E:/ X/6; P// /9 :;$U/6?/921C 2/:86=1=D A62 R=6S;/>D/3J:8/> B:2:3
中还存在以下几个问题：
?/921C >/81D=8 781=D D2:B@ 2/B2/8/=9:916=&E)$F6?B79/2 41>/> G/81D= ，
（+ ）参数化能处理的图形比较简单，难以处理如剖面线、粗
+--, ，!( （+" ）：(#+H(’+
糙度等等复杂的工艺标注与约束。对三视图联动缺乏有效的处 ($V61C@1 V6=>6$[WULNG ：[:2:?/921C :=> 1=9/2:C91Y/ D/6?/921C ?6>/;3
理方法。多解问题与拓扑变异没有很好地解决。 1=D A62 ?/C@:=1C:; >/81D=&E)$F6?B79/2 41>/> G/81D= ，+--" ；!! （+" ）：
（! ）对带有循环约束的约束图有向化与求解还缺乏有效的 ,##H,’’
解决办法。 -$P:9@:? < Q /9 :;$F6==/C91Y19I :=:;I818：: 966; A62 B26C/881=D D/6?/921C
（# ）对二维图形的参数化研究仍停留在低层次简单线素如 C6=892:1=98&E)$F6?B79/2 41>/> G/81D= ，+--, ；!( （++ ）：-+%H-!(
点、线、圆、圆弧上，因此，参数化技术面向高层次图素如由子图 +"$P1:=D3F@I:7 Q@/7 ，E:?/8 T P1=$</B2/8/=9:916= 8C@/?/ A62 >/A1=1=D
形集构成的关联图形发展是一个必然的趋势。 :=> 6B/2:91=D A62? A/:972/8&E)$F6?B79/2 41>/> G/81D= ，+--# ；!* （, ）：
###H#’%
（’ ）把 传 统 针 对 点 、线 、圆 、圆 弧 的 二 维 图 形 参 数 化 技 术 推
++$P1D@9 < ，U688:2> G$L6>1A1C:916= 6A D/6?/921C ?6>/; 9@267D@ Y:21:3
广 到 由 曲 线 、曲 面 构 成 的 二 维 或 三 维 几 何 图 形 上 去 ，这 既 是 参
916= D/6?/92I&E)$F6?B79/2 41>/> G/81D= ，+-(! ；+’ （’ ）：!"-H!+’
数化发展的一个必然结果，也是一个令人感兴趣的崭新课题。
+!$P1= 5 F ，U688:2> G F ，P1D@9 < 4$5:21:916= D/6?/92I 1= C6?B79/23
:1>/> >/81D=&E)$F6?B79/2 U2:B@ ，+-(+ ；+* （# ）：+%+H+%%
’ 结论 +#$PN4MMWQ Z\GNQ /9 :;$4 U2:B@3F6=8927C91Y/ 4BB26:C@ 96 Q6;Y1=D
该文对参数化技术做了回顾，并对各种典型的参数化技术 QI89/?8 6A U/6?/921C F6=892:1=98&E)$4FL T2:=8:C916=8 6= U2:B@1C8 ，
做了较为全面的比较剖析，指出了已有参数化技术中的诸多不 （下 转 (, 页 ）
+( !""#$% 计算机工程与应用
差较大。根据以上理论，通过以下几步进行水印检测：首先根据 法 的 实 验 结 果 如 图 &， 图 ! 所 示 ， 实 验 所 得 的 峰 值 信 噪 比
公钥信息得到水印信息 ! ；然后对图像 " 进行小波分解，计 算 Q1/9^:+&$&(’’ 。图 # 所示的是水印序列与待检测图像之间的相
图像 " 与水印 ! 的最大相关系数。计算方法为：扫描小波系数 关系数曲线图，其中在零点处的相关系数为水印 ! 与待检测
的高频部分，计算水印 ! 与高频系数中连续 # 行的相关系数， 图像之间的相关系数，其余为修改后的水印序列与待检测图像
记最大的相关系数为 $。 之间的相关系数。由图 # 可以看出水印 ! 与待检测图像的相
#’%
关系数较其余新水印序列与待检测图像之间的相关系数相差
!) *+ ( %( 很大，由此可知待检测图像含有水印 ! 。水印算法的性能好坏
$%& ( & %
（%^& ，! ，…，, _ +:#’& ） （! ）
#’% #’%
除了要看它是否是视觉上不可见以外（这一点比较容易办到），
% "! #"! $
! !
)( * +%(
( & % ( & % 最重要的是看它对空间几何失真、添加各种噪声以及频域上的
$^=.L‘$&，$!，…，$, _+:#’&a （# ） 滤波的鲁棒性有多强。因为任何多媒体图像在传播使用的过程
对水印信息做一定的改变得到新的水印序列 - %（
%^&，!，…， 中都会遭到有意或无意的损坏，只有在图像不是破坏得很厉害
&"" ）计算水印序列 - % 与 图 像 的 最 大 相 关 系 数 ，并 与 $ 相 比 较 ， （面目全非）的情况下还能检测出其中的水印，这样的算法才可
如果相差较大，则图像中含有水印。 以实际应用于多媒体的版权保护。图 + ，图 F ，图 ) 分别为水印
图 像 经 过 旋 转 、加 噪 和 滤 波 之 后 的 相 关 系 数 图 ，可 以 看 出 用 该
+ 实验结果及分析 方法具有较强的鲁棒性。

F 不足方面和将来的工作
该文提出的方法是在前人基础上的一种新的尝试，当然它
还存在不足的方面。从图 ) 可以看出当对水印图像进行滤波处
理之后，所含水印和水印序列与图像之间的相关系数的差别变
得很小，因此该算法在对滤波处理之后的图像的检测方面有待
图& 图! 改进。（收稿日期：!""! 年 # 月）

参考文献
&$T M Z-7?E./E ，R C A57<$29.E075 Z.659=.9W0/E c10/E 6K5 dZ!A
Z.659=.9WB8D$O/ ：Q9->5540/E1 -? 6K5 XQOR _ OXeU O/659/.60-/.7 8-/?59:
5/>5 -/ X5>3906P ./4 Z.659=.9W0/E -? f3760=540. 8-/65/61，X./ C-15，
&(((:"& ；#)F% ：!F*!%
!$Z5/V3 gK3，g0L0./E h0-/E，[.:i0/ gK./E$f3760951-7360-/ Z.659=.9W:
图# 图+ 0/E ?-9 O=.E51 ./4 d045-BCD$U9.>60-/1 -/ 809>3061 ./4 XP165=1 ?-9
d045- U5>K/-7-EP ，ORRR ，&((( ；( （+ ）：F+F*FF"
#$f.39- M.9/0 ，29./>- M.96-70/0 ，@7511./49- Q90J.$O=<9-J54 Z.J5756:
M.154 Z.659=.9W0/E UK9-3EK Q0L57:V015 f.1W0/EBCD$U9./1.>60-/ -/
O=.E5 Q9->5110/E ，ORRR ，!""&:"F ；&" ：%’#*%(&
+$G.109 f5=-/ ，Q0/E Z.K Z-/E$@ M3P59:X57759 Z.659=.9W0/E Q9-6-:
>-7BCD$U9./1.>60-/ -/ O=.E5 Q9->5110/E ，ORRR ，!""&:"+ ；&" ：)+#*)+(
F$g0L0./E h0-/E，
H.//./ T.=>K./49./，
f0>K.57 U ]9>K.94 56 .7$@ 8-=:
图F 图) <.9.60J5 X634P -? A8U:./4 Z.J5756:M.154 O=.E5 8-40/EBCD$U9.>60-/1
-/ 809>3061 ./4 XP165=1 ?-9 d045- U5>K/-7-EP ，ORRR ，&((( ；( （F ）：
笔者对 !F)b!F) 的 ,5//. 图像进行实验。该研究中所提算 )(#*)(F

（上接 &’ 页） &($U0=- ,..WW- 56 .7$O/>95=5/6.7 >-/169.0/6 =-4570/E 0/ . ?5.6395 =-457:

&((% ；&) （! ）：&%(*!&) 0/E 1P165=BCD$R39-E9.<K0>1Y() ，&(() ；&F （# ）：#)%*#%)
&+$,-.//01 234-1 56 .7$8-/169.0/6:;.154 <.9.=5690> >-/0>1 ?-9 8@ABCD$ !"$Z0770.= M-3=. 56 .7$I5-=5690> >-/169.0/6 1-7J59BCD$8-=<3659 @0454
8-=<3659 @0454 A510E/ ，&(() ；!’ （! ）：(&*&"" A510E/ ，&((F ；!% （) ）：+’%*F"&
&F$G.=0 H0/ 56 .7$I5-=5690>.7 >-/169.0/6 1-7J0/E ;.154 -/ 6K5 5L65/454 !&$[..>-J \59:]9 56 .7$T57.L54 <.9.=5690> 4510E/ V06K <9-;.;070160>
M-76N=.// =.>K0/5BCD$8-=<36591 -/ O/43169P ，&((! ；&( ：!#(*!F" >-/169.0/61BCD$8-=<3659 @0454 A510E/ ，&((+ ；!) （) ）：+!)*+#+
&)$Q.37. , M5.6P 56 .7$RL65/10-/1 0/ J.90.60-/.7 E5-=569P 6K.6 E5/59.65 !!$ 陈立平等 $ 基于实例图形的几何约束满足策略 BCD$ 计算机辅助设计与
./4 =-40?P -;S5>6 54E51 >-=<-154 -? 9.60-/.7 M5N059 >39J51BCD$8-=: 图形学学报，
&(() ；’ （F ）：#’&*#’’
<3659 @0454 A510E/ ，&((+ ；!) （! ）：(’*&"’ !#$ 董金祥，葛建新等 $ 变参数绘图系统中约束求解的新思路 BCD$ 计算机
&%$T0/. A5>K659 56 .7$U955 87316590/E ?-9 8-/169.0/6 G56V-9W1BCD$@960?0: 辅助设计与图形学学报，
&((% ；( （) ）：F&#*F&(
>0.7 O/65770E5/>5 ，&(’( ；#’ ：#F#*#)) !+$范文慧$面向产品信息建模的图形单元及其理论、方法和应用研究BAD$
&’$X @7.14.09 M3>K././ 56 .7$8-/169.0/6 A5?0/060-/ XP165=：. >-=<3659: 学位论文 $ 杭州：浙江大学机械系工程图学研究所，
&((’
.7E5;9. ;.154 .<<9-.>K 6- 1-7J0/E E5-=5690>:>-/169.0/6 <9-;75=1BCD$ !F$高飞，叶尚辉$基于特征语义的变量设计BCD$计算机学报，&((F；&’（!）：
8-=<3659 @0454 A510E/ ，&((# ；!F （&! ）：%+&*%F" ’&*’%
’) !""#$% 计算机工程与应用