在线时间 81 小时 最后登录 2023-9-2 注册时间 2008-9-13 听众数 3 收听数 0 能力 0 分 体力 1434 点 威望 0 点 阅读权限 150 积分 474 相册 0 日志 0 记录 0 帖子 87 主题 3 精华 0 分享 0 好友 5
TA的每日心情 开心 2017-9-4 15:05
签到天数: 27 天
[LV.4]偶尔看看III
群组 : 2011年第一期数学建模
题 目7 J+ J; O# p, L( ]- b5 y1 n# F1 W/ o
; m" }7 i# q6 _% c+ k5 N * r! U" d( d& L" j2 l
Ad Hoc 网络问题的数学模型 * z/ V* s8 Z4 [; N% ]; K5 F
摘
. h! h" r# `6 S& o( c4 x 要:
本文主要利用计算几何与图论的有关知识,分析和解决了 Ad Hoc 网络区域覆盖、信道分配、节点划分等问题,并应用仿真手段对各种条件下网络的连通性进行了研究。对前四个问题给出了求解的过程和结果,针对第五问,提出了解决问题的思想。 . {; j7 @6 |- ^: I3 b
问题一 考虑到区域的对称性,将圆分别按照正三角形、正方形的排列方式去覆盖给定区域,覆盖方案为:当相交面积不小于圆面积的5%时,应采用正三角形排列,所需圆的个数是45,当相交面积不小于圆面积的18%时,应采用正方形排列,所需圆的个数是61。将信道分配问题转化为图的点着色问题,得出的结果为正三角形排列时分配3个信道,正方形排列时分配2个信道。通过对网络邻接矩阵D 的研究,提出了网络连通的一个充要条件: 中的任意元素非零。 最后通过仿真研究了网络的抗毁性。
7 Q: m1 W2 O) ?1 O" k) R( m0 D4 q/ g7 Z 问题二中首先证明了:在半径和一定时,用大圆比用小圆覆盖的面积大。因此在第一问的结果上对内、外边界上的圆进行局部调整,调整后半径和为4346。 - u% {; }7 Z0 H: b+ s+ b
问题三采用了改进的LBG算法对节点聚类,并定义了一个指标用于判断LBG算法执行的效果,选择较优的结果进行局部搜索,得到圆的数量为48,其半径和为4247。在判断连通性时,将每个圆看成一个节点建立邻接矩阵,然后根据问题一指出的充要条件进行判断,由此推出了一个更为直观的网络连通的充要条件。最后还提出了一种基于节点度数的划分方法。
* N% S' @2 [# o7 e: M 问题四首先通过仿真研究了节点随机运动下网络连通性。另外我们定义了网络的连通强度,深入讨论了节点随机运动条件下网络连通性的变化。 ; [4 ^) |! e. b! _! \+ n4 L \
问题五对通信过程中节点能量的变化规律进行了分析,建立了以节点退出网络所用的时间最大为目标的规划模型。
& U5 [& k. Z6 b! ?, e ; Q$ |* r: R- L# A3 y% n. d
8 l* d& b9 b- X* T0 `, \3 r {/ ? 参赛队号
( \4 z' t# J* C; B# U
& w: ]- e) z5 @8 ~. g: `$ ^5 ^
9 I3 ?) E/ i: z, F. U$ S5 i 目
e! L; Z. l( V- f! {; n 录 一、问题重述 ... 21 z1 t+ ^: ^+ C0 e% R$ e
1 L: ^9 C7 f% C 一、问题重述 ... 2
/ B7 W/ a: p+ ], f0 j4 [ $ ] [% ]& R4 D# _
二、问题分析 ... 2
* f- ]" E) |. ?+ D: c
2 q8 y5 D% `" H/ y% b) d$ [2 J9 a 三、基本假设 ... 3; v: h) @6 ^* U2 `* {. p" j
& z$ p9 ]% x- h' C 四、符号说明 ... 4% ^( Q/ P1 g. \: P, O6 H
F/ D# f$ _; i" S* z0 `( D, q$ e 五、问题求解 ... 4) G# V8 U M8 A) |( S
5 ^! p+ m4 Z6 U- J% R# p0 g- W' V
5 .1 问题一的求解 ... 4$ n4 b7 R# k; _7 T
2 W2 w2 ?+ C6 O( V
5 .1 .1 区域的覆盖问题 ... 4
: H. n3 w/ y, C }3 u, H & \1 B2 |' l9 R/ s0 z( P# L
5 .1 .2 着色问题 ... 7
; h( a6 y& G: c* A/ K
' f4 e) W8 W$ T0 v/ q) d5 J3 P 5 .1 .3 抗毁性讨论 ... 8
5 K0 Y3 |* `1 x* S9 R
3 t' x8 H+ d7 c& b. W. Q! Z0 i 5 .2 、问题二的求解 ... 9
9 {- v5 {% N* K- _# Z7 ^& C9 ] [
+ `7 p6 f8 O3 k$ p0 p9 r 5 .3 、问题三的求解 ... 11 c$ D' n0 f2 l' @
3 g" P1 Y- Q$ f. c5 `
5 .3 .1 基于胞腔划分的分簇方式 ... 115 F( j6 j: G. ^7 d2 b7 a
7 O( v% R2 ]" x1 g. [7 j- ` 5 .3 .2 抗毁性讨论 ... 14! r/ H `7 c( q& r) M* K+ B" r
* X7 m8 d" T( [# C7 ?3 h
5 .3 .3 分簇方法二:基于权值的划分方法 ... 15
5 c; p: P, n' T0 D, U% o4 S, W $ M) m# l- p3 f0 j2 j" X# S
5 .4 、问题四的求解 ... 163 Z# I8 d, r, `2 a2 H
2 p$ N6 L+ x$ ?1 p# r- }( f% Z 5 .4 .1 节点移动过程的仿真 ... 16& x- y: {1 D6 n4 L
! b- M, A& o* z 5 .4 .2 连通强度 ... 16
' x2 w$ d: P$ Y0 D ! q+ ?, D% l- u7 B
5 .5 、问题五的讨论 ... 18
% O# W: v# e, P2 G# g4 E 2 E6 x, q! `& @
六、模型评价 ... 21
% a& W( ^" D6 m3 Y9 H+ M: x! D 3 ~' y; P( H$ |& t" n
七、参考文献 ... 21- N& R# G8 Y9 k6 g& f
+ c4 c3 g6 b8 O, b2 W2 T
# G% C1 l, P! K8 t
5 `" O9 G9 i3 E" J4 {! G 一、问题重述 3 x4 ]1 M6 w1 u! S% b9 L7 l4 L
" Z- j! h9 k1 z1 [6 G$ a 7 e2 P9 ^5 Z X
问题一:用若干个半径为 100 的圆完全覆盖一个边长 1000 的 正方形区域,在相邻两个圆的公共面积分别不小于一个圆面积的 5% 和 18% 情况下,求圆的最小个数和信道分配方案;并讨论网络的抗毁性。 t* u- Y3 z0 s
问题二:设正方形区域中有一椭圆形湖泊,节点仅能设置在地面上,研究使全部圆半径之和为最小的区域分划和信道分配方案。 2 ~- m' G; Y4 B: b s: p
问题三:将节点分簇,以完全覆盖某一簇内所有节点、且半径不大于 100 的圆作为一个一跳覆盖区。在满足相邻一跳覆盖区的公共面积不小于大圆面积的 5% 和网络连通等条件下,研究使全部一跳覆盖区半径之和为最小的一跳覆盖区划分和信道分配方案。找出区域连通的充分、必要条件。并讨论网络的抗毁性。 2 X& C; y( \5 ^9 F( N
问题四:假设前 10 个节点作随机折线运动,其他节点不移动。节点到达正方形区域边界后只可能向区域内运动。讨论一定时间后 Ad Hoc 网络的连通性。
1 p# }7 I7 K3 [3 y4 ` 问题五:考虑 Ad Hoc 网络的节能的要求。请按照问题三中给出的办法(无湖的情况),找到比较节能的区域分划方式,使出现第一个退出网络的节点的时间尽量长。通过对该网络的运行状况进行分析,提出对组网方式的改进意见。 3 w3 l( y+ c1 A2 O/ O) O8 H
问题六: 假设 Ad Hoc 网络中通信实行先到先服务,对 Ad Hoc 网络的通信质量进行定量评价。 1 E; m V( m, \
二、问题分析
I( s+ T6 T; W$ _! _! _6 S
: M5 p5 ]% D; y: F; x 问题一: - e4 V7 i: J( l' [) ?% b' A4 m
由于正方形区域具有对称性,若用一系列的圆覆盖该区域,那么这些圆的排列应该是规则的,圆心的排列自然也按照某种规则的方式排列,如正三角形、正方形、正六边形等。因此我们只需要根据问题要求对圆心的排列方式进行研究即可。
- z; i" I6 g) ]- M" _ 给每个圆分配一个信道,使相邻圆拥有不同的信道,本质上是一个着色问题,利用图论的有关知识可以解决。
) |0 A8 ^ H& |2 D- e7 D 对网络抗毁性的讨论实际上是对图的连通性的检验,可以把网络转化为图结构,根据图的邻接矩阵的性质来判断图的连通性。
+ m. f2 o2 j2 T& V6 B7 |. | 问题二:
. c* G' B1 l6 h8 c# a 正方形区域中有一椭圆形湖泊,相当于区域中有一个内边界。考虑到问题一中的排列方式是一种较优的结果,可以在区域内沿用问题一的排列方式,只在边界(包括内、外边界)附近进行局部调整。
% O; M1 k: R |) L' W! S 问题三: # h" O# G) g# p& m! f) `4 l
与第一问相比,该问题有以下几点不同: 9 {' Z$ @% ~9 `* ?. v
1 .要求用一些圆覆盖所有的点而不是整个区域; I, s7 G8 X. I) D4 V/ q5 E! `$ L
2 .圆的半径可变; . t$ I0 ^: K" w0 ?& f; O7 k
3 .所求目标是圆的半径之和最小而不是圆的个数最少。 " p9 ~! l( m/ F8 k6 n: ]
这时圆的排列不再具有规则性,各圆的半径也不相同,可以先按照一定的原则将所有的节点分成一些小区域(簇),然后对各区域用尽量小的圆覆盖。 $ r4 v2 r; @3 h$ \ E5 Z* w0 i
对网络抗毁性的讨论可以使用借鉴问题一判断连通性的的方法。
- E5 H7 J; V7 i/ X I# K 问题四:
: {; u4 k% x% s7 u* p; x5 U' ~ 节点在做随机游动以后将处于一个新的位置,新位置可以用仿真的方法得到。同样用上面的方法来判断网络的连通性。为了进一步分析此网络的连通性能,可以另外建立一个指标——连通度,再用仿真的方法研究节点的随机移动对网络的连通度的影响。 : G$ S# V# Y8 f k: P
问题五: 5 \+ O9 F* V' F* {1 Y: P
考虑电池能耗的情形,需要我们对区域进行较优的划分,使得第一个因电池能量耗尽而退出网络的节点的时间尽量晚 。各个节点的地位应该都是均等的,可以设想最佳的划分区域一定是半径相等或近似相等的圆,并且每个节点的最大通讯半径也应该相同,边界的区域和节点的半径可以不同。 将电池能量 转化为节点待机状态下的工作时间来描述,可以考虑每隔一段时间后 电池的剩余能量,以电池能量消耗至0所用时间最大为目标,建立规划模型求出合适的圆半径,再 在第三问的方法的基础上, 提出合适的指标作为权值,结合算出的半径进行 聚类分区 。 / G o! w& q! w& l) Y/ ~# D4 S
三、基本假设 ; e) {& R9 h# G6 b1 Z, A
, B0 t s7 n5 r# c8 j; c 1 .假设相切的两个圆不是相邻的圆,即它们可以分配相同的信道; 1 Q& J4 Q3 D' ^: O; F$ V4 q- p
2 .三、四、五问中,两个圆的相交区域没有节点时,其相交面积大小没有要求;
2 a2 s3 K0 u7 n4 q4 {# f2 ?' \ 3 、假设网络具有好的分布式算法(信道接入、路由等)来协调节点间的通信。 : e1 I: @, d4 y. u
四、符号说明 D1 Z. G" v6 ~ i' o2 c) b
" q. W- b9 @3 |# `& t 问题一: d -- 圆心之间的距离 7 A: [- L, f& K, ?: h9 e
R -- 圆的半径
( m: d" y2 K. v$ K* b4 G: ~( h S -- 两个圆的公共面积 3 e3 ^" t1 _' I6 q L" q$ f# c
-- 邻接矩阵 7 U0 A! S W, x
问题三: -- 节点集合 8 V2 E3 T; k8 a9 D3 [6 a( }
-- 圆心集合
; ?$ ^) g. B( D7 b/ X -- 第 i 个胞腔
/ j" F) n9 a0 @1 o7 N 问题四: -- 连通强度 & V, b9 g4 V5 }5 H$ N. J* k0 O
问题五: W(ai ) -- 节点 ai 的权值
8 y) @" X/ ^$ ]+ D" D 1 \4 e( Q% {. l0 J) u; e* H% Z
E (ai ) -- 节点 ai 在一段时间通讯后电池的剩余的能量
( \; A x; {* K) i$ F' V; M4 ` r -- 节点在每段时间内平均转发的次数
+ Z) ]% h, J; q B* x0 o
9 \5 h2 |+ v2 u/ X3 J7 V2 h( a En -- 节点在第 n 段时间后电池剩余的能量
3 u+ {7 n! c ?0 m% U 五、问题求解 2 a# {- B" z3 b. z+ @3 l# i) ~
' B% D1 i. r% o 5 .1 问题一的求解 5 .1.1 区域的覆盖问题 根据问题的分析,应该考虑规则的排列方式。首先考虑圆心按等边三角形排列,以三个圆为例,当相邻圆的圆心距离不同时,有如下三种情况(图 1 ): 8 }. |+ ^: H2 K4 F0 ^7 C+ t& r1 F
a 1 M q' q" r( d
5 Q5 I( C% `1 K% G( f* ~
b / o$ g8 J3 I- E$ U' w9 G; O# R) B O
& X% w& u! P2 y6 r
c
( h( U+ m. ?* O' q5 Z9 i8 q4 M # N$ D8 e6 `0 ]8 `
8 @) N. \: |# U
如果不考虑相邻圆的公共面积的要求,显然要使得覆盖方形区域用的圆数最少,最优的选择是 c (三个圆相交于同一点)。因为 a
( j2 |/ Q# a- I( G 结构中间有空隙,要覆盖方形区域,还需要在中间补一个圆,导致圆的个数增加; b
1 B% R( O0 u6 i* u; C* A. D 中三个圆有相交区域,显然比 c 0 E1 f: `9 A' ?. \. A
结构的覆盖面积小。
# s$ J) O5 p; P4 l& G& N 但此题中两个相邻圆的公共面积是有一定要求的,不能简单的选用最后一种方式。因此首先计算情况 c 3 |5 x& V) L1 x% [0 d z& J; s
的两个圆心距离以及公共面积。
! B; c% J# b! d; ` 设圆心距离为 d $ M' X6 S) i: a/ Y3 A( {
,圆的半径为 R
e( w- j8 V. p. J ,夹角为 a ,公共部分的面积为: S = p - =1811.722, 占圆面积的 5.77% 。这个值的意义是,若两个相邻圆的公共面积与圆面积之比小于 5.77% 时,符合情况 a ,但这种情况并不让人满意。因此我们将这种情况下的圆心都按照 c 来排列;当公共面积大于 5.77% 时,符合情况 b 。
; T, x f2 R$ T* p# h 题中要求公共面积不小于一个圆面积的 5% ,所以我们用 c 结构去覆盖方形。由于正三角形的边长确定,显然只需确定一个圆心就能确定整个正三角形网,因此问题转化为确定一个圆心的位置,使得方形区域内圆的个数最少。也可以认为是需要确定正方形的位置,使它覆盖到的圆的个数最少。需要注意的是,有些圆心并不在正方形内,但圆的一部分落在正方形内,该圆也需要计入总数,这类圆的圆心与正方形边界的距离满足一定的关系,如图 2 所示,实线表示正方形边界,当圆心落在实线与点划线之间时,该圆需要计入。
! E4 R5 m8 ]: D& @, b" k; E …… . N' f7 @/ t6 {0 e, X
2 B: U- q) m+ Z3 R# ^ I& R
R
' g1 G: H. V8 U2 T# J9 D) m / E2 ^7 a; T1 q( \( }
d/ 2 & E" W& L6 S+ z0 D+ T
$ a* E3 O: {, @7 \# B0 j# t
x% Q4 N! S t( V5 ?1 u3 E3 { 综上,算法的步骤如下:
I! t1 A0 l+ [2 Z/ | h0 G: f8 Z+ { 1) 以一个圆的圆心为原点,计算周围足够多个圆的圆心位置; & i! E2 A1 G% I& u/ h) n: y
2) 设正方形中心坐标为 ,其变化范围是: * e7 L; _2 n- l+ s' H
且 (中心坐标在一个圆内进行搜索);
6 X5 h: Z; z2 A* `, E# b
" N" `7 I- p# J$ N/ Z 6 }& j7 \0 P- j
3)统计 , 范围内圆心的个数,即覆盖正方形所需的圆的个数。 6 ]5 j) _% x: N. ^
4 )对正方形中心坐标进行遍历搜索,并记录其所覆盖的圆的个数,其中最小值对应的 就是正方形的中心。
' Y' G) |) S% y$ X5 V: b 5 )坐标平移:将原点移到正方形左下的顶点,计算每个圆心的坐标。
, G. h/ C( l/ D) b$ R. d 经计算,覆盖正方形区域最少需要 45 个圆,他们的位置关系如图 3 。 ; j7 l" V' Q9 M4 N' J [
图3 公共 面积比例不低于5% 时的覆盖方法和信道划分
当公共面积比率不低于 18% 时,显然是情况 b 。先计算圆心之间的距离 ,然后,通过搜索得到最少圆的个数是 64 ,位置关系如图 4 。 ) U9 G1 p8 @6 ~, ~% L( s8 _" ]
图4 公共 面积比率不低于18% 时的覆盖方法和信道划分
同样,也可以考虑圆心按四边形结构排列,根据圆心之间距离的不同,也有三种情况(图 5 ),显然, f 3 U' f# ~( I$ v7 p5 O/ s; u
是一种边界状态。它的公共面积为: S = 2( p - ) ,占圆面积的 18.17 %。
! @' W( \$ X8 X b& W+ o o+ E f \3 h# N" ^- Q# a3 x, Y
* w% G- B( _; C# V! b& s9 h# z
d
/ ? s0 A; |$ J4 a 6 d/ L; D0 i' n' i
e " C8 v7 i$ a# D: E4 D4 F+ H: g
* h2 l5 }5 G/ u- }$ W3 c
当公共面积仅要求大于圆的面积的 5 %时,不会采用四边形排列,因为这个比例与 18.17 %相差较远。当要求公共部分面积大于 18 %时,与 18.17 %比较接近,因此用 f " d5 O" m* s8 ]' j+ D+ K" |
排列方式来覆盖圆,具体的实现步骤与三角形排列相同,经计算,至少也需要 64 个圆。 4 ^8 V, s3 ?2 K% Q4 h9 j0 j
然而我们发现,此时边界圆处于正方形外面的部分较大,并没有充分利用,将 f 旋转 45 度,得到一种新的排列方式(图 6 ),经计算,这种方式只需要 61 个圆(图 7 )。
* k9 U! E) }7 h* m . j3 g( G" U4 C
图6 旋转后的排列方式
+ C$ r: g2 Q+ u) @' ] , z& \& F" v! L- T2 |. h3 S! t( u
图 7公共面积比例为18%时四边形排列圆的覆盖方法
, K- s/ ?! s! ^& F4 Q& ^. K 5 .1.2 着色问题 构造图 G(V,E) , V 是覆盖方形区域的圆的圆心构成的顶点集, eij Î E 当且仅当圆 i 和 j 相交。给每个圆分配一个信道,使得有公共部分的圆拥有不同的信道,实际上是对图 G(V,E) 的顶点进行染色使相邻的两点颜色不同。根据图论知识已知以下定理:
2 v# |$ j# U% q. b4 [& E0 o0 p8 M 定理 1. 一个简单图是 1 可着色的当且仅当它是空图。 m; }1 H6 T; ]6 [; l. o% ]# V' ~; m
定理 2. 一个简单图是 2 可着色的当且仅当它是偶图。 % P( _; T! j+ o$ M
当圆心按照三角形排列时,图 G(V,E) 是正三角形网的一部分,顶点的最大次数为 6 ,它既不是空图也不是偶图,而六个相邻的正三角形构成的图是 3 色图, G(V,E) 正是这样的图的扩展,所以 G(V,E) 是 3 可着色的,即只需分配 3 个不同信道即可。着色方案标注在图 3 和图 4 中。 " @# G+ A- ^9 D. Z
当圆心按照四边形排列时,图 G(V,E) 是正四边形网的一部分时, G(V,E) 是一个偶图,所以它是 2 可着色的,从而只需分配 2 个信道。着色方案见图 7 。
5 o+ u H. _% \) d% Z6 A 5 .1.3 抗毁性讨论 此问的关键问题是判断图的连通性,即判断是否任意两点之间都有通路。设方形区域内有 N 个节点,以这 N 个节点为顶点构造图 G(V,E) , eij Î E 当且仅当节点 i 和 j 在同一圆内。设其邻接矩阵为 ,其中
9 A5 z2 N$ ~* V" Y, G 令 ,表示矩阵 的 次方幂, ,我们可以得到图 G(V,E) 的连通性的充要条件: # O! D1 b/ }2 ?9 D3 L- y Y
定理 3. 图 G(V,E) 不连通当且仅当矩阵 中存在元素 , .
: k$ R$ |5 b# v9 p 证明: 我们先来证明这样一个结论: 中 ,当且仅当 i 经过 m 跳不能够到达 j . ( , ) 9 s8 r; D* G3 f$ S
时: ) g5 b. u5 r0 o' y
由 的定义可知, 当且仅当 i 2 Y. T. s( \& S# \8 ?1 g
经过一跳不可以到达 j
6 h* m/ M5 A9 d% x! ^1 Z ;
9 T( ^+ j9 j: f! e# @% x1 q 时:
( C1 `. L/ R% R* \. ]( T1 } 表示 i 经过两跳可以到达 j
/ J' G2 t m. ]$ _: c5 _ (中间经过 1 个节点 k ),如果 ,则对任意的 k
3 [. }, Q4 q- S/ ?4 I , 都为 0 ,即 i
1 x9 N3 J# [) m! N8 x) | 经过两跳不能到达 j
$ t0 c3 n" ]0 A; z ;
; K. W0 ]! r; M8 s7 W3 k+ J 假设 时成立:
5 r1 f' ?. u9 Z. w% t3 d( |: y; y 当且仅当 i 经过 n p8 e0 Q) P& o0 \3 `+ g/ f6 T
跳不能到达 j
) C( n* ^ V, |/ ~7 I7 q' i, U7 _ ;
* F7 F3 a& F0 G( Y 时:
' l0 }, Q' g. O/ U2 U 则 当且仅当对所有的 k = 1, 2 , , N 有 。若 , 由归纳假设知 i 经过 n ! X: ^" G! Y8 _% q! B
跳不可以到达 k 点,所以 i 不可能经过 n
" [8 Z7 Z4 u0 s8 Y 跳到达 k 再一跳到 j . 若 ,则 ,即 i 能经过 n 4 u3 p, Q+ D" Q& k1 X0 Y( p- Z! {; r: _
跳到达 k ,但 k 不能一跳到 j . 所以 i 经过 n + 1 跳不可能到达 j. ( q4 y! L! m) T) @3 n3 P8 g2 [& R
因为 , 即 ,当且仅当 ,其意义是 i : X! P% R! K3 X1 }; p9 V: u
经过 1 跳不能到达 j , i
' V( N# U, R' Z6 q# n' r 经过 2 跳不能到达 j ,……, i & y9 E+ J- k) r# ~4 c7 t
经过 跳不能到达 j , 而图 G(V,E) 中有路的任意两点的路长不超过 ,所以 i
0 M4 e4 H. b! ]+ m. d 和 j 之间不存在通路,即图 G(V,E) 不是连通的,定理得证。 8 e) B' F( X+ l: _" a+ u) d
根据这一原则,随机去掉一定比例的节点后,考察网络的连通性。公共面积比例 f 分别为 5% 和 18% 时,求得在 2% 、 5% 、 10% 、 15% 时网络不连通的概率如图 8 所示。 ! Z7 ]0 H( b7 _! P! D1 G5 w
图8 公共面积比例分别为5%和18%时网络的不连通
5 .2、问题二的求解 首先给出一个定理:
6 m" P# g6 X' R2 U 定理 4 :在不考虑边界的前提下,如果存在两组大小不同的按照情况 c
0 [$ L- K% O, J 排列的圆,当两组圆的半径和相等时,大圆的覆盖面积大于小圆的覆盖面积。
: I( t5 T& m& ^ ]1 {$ N, n 证明:如图 9 所示的排列方式,一个圆覆盖的有效面积等于它的内接正六边形的面积。
4 X0 c7 [/ A" j5 m% j5 U% v 设两组圆的半径分别为 、 ,则其内接正六边形的边长分别为 、 ,因此每个六边形的面积分别为:
. Y {) G" ^$ n4 z; D! H! j 设每组圆的个数分别为 、 ,每组圆覆盖的有效面积分别为 、 ,则 1 p, t$ z! T8 G# k9 Q R0 G a
当 时, ! f5 S6 Q, L4 |
因此当 时, ,即大圆的覆盖面积大于小圆的覆盖面积。 / f) r% m) b' n3 @* L
这说明,为了使半径和最小,在区域内部,应该用尽量大的圆去覆盖。
. L! ~* C$ F/ k 因此,当正方形区域内有一个湖时,只需要对边界(包括湖的边界)的圆进行调整,而内部的排列方式不必改变。调整的基本原则是保证公共面积的比例要求下,调整圆心和半径,使圆的半径尽量小。
" ~ x3 r0 d! ?; \ 先考虑内边界,即湖的边界。首先对圆心的位置在可行解的范围内进行微调,使得椭圆边界经过尽可能多的圆的交点,这样做的目的是尽量减少需要调整的圆的个数。调整后,由椭圆与圆的位置关系可以看出,受到影响较大的有三个圆,其中一个圆的绝大部分都在椭圆内,如果去掉该圆,会有一个较小的区域不能被覆盖,如果要覆盖,需要在该处加入一个半径为 75 的圆,但该小区域的面积很小,在工程应用中,我们认为这样的小区域不被覆盖是允许的,因此可以不再加入圆。对另外两个圆,通过在一定的范围内,对圆心和半径进行搜索,检查是否可以减小半径,结果显示,这两个圆的半径并不能减小。 ' E D$ B6 o3 g' s; ^
再考虑外边界,即正方形边界。通过观察圆的排列可以发现,左右边界上都有可能进行调整的圆,对这些边界圆的圆心、半径进行搜索发现:左边有三个圆的半径可以减小,最小值是 82 。
! }1 q! m& D. `, i, n' ` 图 10 显示了边界调整后的结果,全部圆的半径之和为 4346 。
+ c. U6 |9 g8 E, v% b% M( A+ y" m" s* `
5 F C. i: f$ x' R7 q P! o: c6 S * h' R5 J( }6 @3 n4 N
调整后的结果对信道分配并没有影响,该图仍是一个 3 可着色的,即需分配 3 个不同信道,不同的是不必给被去掉的圆分配信道,其他圆的信道与问题一中的信道相同。 8 s% A5 ?1 `' k% u; s1 U% T
5 .3、问题三的求解 5 .3.1 基于胞腔划分的分簇方式 矢量量化中胞腔的相关理论: 6 x( ^- g0 ^4 B* C' j
设样本矢量集合 , 是样本个数, 是一个矢量, 是再生矢量(码本)集合, 是码本的个数, 是与 同维的矢量。 / M9 X, m/ m7 J6 D- G
对样本矢量集合进行分割: 4 z6 c! A5 |: Y, Z4 V5 Y0 v, R
, , $ }8 K, E& u9 C; C
就称为胞腔, 表示将 划分到第 i # J& B8 |4 r6 r4 U; D2 Y
个胞腔所引起的失真,可以用均方误差等来度量。因此矢量量化就是找到一组码本和胞腔的划分,使平均失真最小。 0 S6 H1 z9 o* d9 t' W
针对本问题,将节点看成样本矢量,圆心的集合作为码本集合,每一个胞腔中的节点就组成一簇,并用距离来衡量失真,则这样的划分可以使得平均距离最小,相应的圆的半径也较小。 % U0 o; T- t6 d* c5 G* ?3 \# {
在具体实现时,使用现有的 LBG 算法,它的算法流程如图 11 。
& ~! A. V1 P5 o / A& T2 x3 _' M6 e0 j
Z$ ?& a. w! k% K6 h- _4 }8 q
划分胞腔,计算平均失真 D 0
5 D! ]8 d' K( e* E) x2 U9 M: a
; h0 n* d: j, |( @! \' _1 j+ j
4 S! A0 B6 A) V% X/ W% | 5 S' L- ?, o* `, r- [7 v
重新划分胞腔,计算平均失真 Dm ?% H7 y6 N7 W: `/ e+ B* e- @! K# J
o5 k: t" J0 E L6 i. O6 t, `' k, Q
1 T; b( b$ f8 J' `) y
G" F! n* G; e
2 T: s5 ]: M9 L6 g/ o$ f 5 ^0 p2 |; x( F$ Y" ^- a/ {
, ^0 v9 n P4 D/ }7 q0 v* w1 n0 @
k =k +1; p: o6 d& M+ Z' m
" n( F/ T5 F" g) g& m
% X7 A- |) t: ~ 在计算时,具体问题的处理如下: " v: ~( n( o+ h
1 .码本个数的选择:通过观察已给的数据点看出他们是比较均匀的分布在整个正方形内,因此覆盖这些点与覆盖这个区域所用的圆的个数应该相差不多,因此可以预先 设定码本个数的范围是 40 到 50 之间;
8 ?2 X" d4 t3 `) c% W, p( _ 2 .初始码本的生成:通常有随机产生法和分裂法,随机产生法是在正方形区域内随机产生 m 个点作为初始码本;分裂法是先计算整个区域的概率中心 ,将 乘以一个常数值 ,将 和 作为码本,重新划分胞腔,计算最佳码本,完成一次分裂,下一次分裂之前要判断每个胞腔中节点和码本距离的最大值,如果大于 100 ,继续分裂,否则不分裂,依次类推,直到完成分裂。后者不需要事先设定码本的个数,但计算复杂,所以这里采用随机产生法;
8 e s/ C } {$ @* j3 ] 3 .划分胞腔的依据:
6 N! V) n; Q$ I! `2 Z( q 4 .平均失真的计算: & {+ C+ O+ V) O0 W
5 .第 n % a$ Y' E& n1 O5 t' b
次码本的产生:第 n
9 Q* m( X% r0 X/ f( h" ? 次循环的第 j
: M6 v- n2 o7 ]- _, Y2 p 个码本是由第 次循环得到的第 j / d- O0 t4 P7 K! D `
个胞腔内的所有点的概率中心求得; S) J% \6 a* K7 C
6 .结束条件的判断:当前后两次计算的平均失真的相对变化 小于门限 时,结束运算。 7 ]* I. U4 o0 t# R P$ P2 v
经过以上的计算得到了 m
5 M' n9 l1 o- P. E 个码本,即圆心的位置,以该胞腔内的点与码本的最大距离为半径画圆,如果最大距离大于 90 ,取半径为 90 ,取 90 的目的是为后面的调整留有余地,这样就得到了一种覆盖方式。但由于限制了半径的最大值,可能导致部分节点不能被覆盖,另外,这种方式仅仅考虑了半径的因素,对区域是否连通,相邻圆的公共面积是否达到 5 %并没有加以限制,因此结果可能并不是可行解。为了综合考虑这几个条件的限制因素,定义一个评价指标,用来衡量结果的优劣。该指标要综合反映点的覆盖情况、公共面积的比例要求这三个因素,令
: f' q6 P7 Y9 \ 其中 表示没有被覆盖的点的个数, 表示公共面积不满足 5 %的要求的个数(题中“满足有转发任务的相邻一跳覆盖区的公共面积不小于较大一跳覆盖区面积的 5% ”,我们认为,如果两个相邻一跳覆盖区的公共部分没有交点,对该公共面积也不作要求)。
6 ^, }' ~ @* J8 Q' D6 n) @4 d( N 在不同的码本个数下,反复执行 LBG 算法 n 次,并分别用指标 h 进行评价。在所有结果中,若存在 的方案,选择其中半径和最小的一个的作为最终的结果;如果不存在 的方案,则选择指标 最小的方案,然后对不符合要求的圆的圆心进行局部范围内的遍历搜索,并辅助扩大圆半径的方式得到一个可行解。 - j+ e; N; K' l+ N: O: e- L
区域划分好之后,构造 ,其中 是将每个圆看成一个点所形成的顶点集, eij Î E 当且仅当圆 i 和 j 相交,参考文献 [1] 中图的顶点染色算法容易求得 的染色方案,即相应的信道分配方案。
5 ~. p. W! q+ t 图 12 为最终确定的区域划分的结果以及信道分配方案,此时半径和为 4247 ,每个圆的圆心及半径见附录。 ( J0 L" `# g& X/ r7 X, s/ n
5 .3.2 抗毁性讨论 在问题一中,我们建立了所有节点之间的连接矩阵,通过矩阵运算判断网络的连通性,但在此问中,共有 926 个节点,如果也采用类似的方法,计算量是很大的,因此必须对节点进行预处理。 6 `; k# d* |8 c: Z/ x
建立一个新图 ,其中 是将每个圆看成一个点所形成的顶点集, eij Î E 当且仅当圆 i 和 j 相交且公共部分有节点,显然,图 的连通性与网络的连通性是等价的。这是因为如果 中两点 、 之间有通路,则意味着圆 i 和 j 中所有点之间都有通路,因此当 中任意两点都有通路(连通)时,任意两圆中的所有节点都有通路,即网络是连通的。
0 D8 V- J" a# e5 g' p 设邻接矩阵 ,其中
, }9 \8 n/ p- b! X# P! G 不仅能反映两个圆是否有公共节点,也反映了公共节点的个数。同 5.1.3 中的讨论,当且仅当矩阵 中, , ,都有 时,网络是连通的。 - A' D( W! j8 O+ i8 s6 a
为研究网络的抗毁性,随机去掉一定比例的节点,重新构造矩阵 D ( G. O( l- F, i& _0 {
,检验网络的连通性,得到网络性能如图 13 。 ( B0 f/ w0 [' `6 D8 [1 e3 I" F
图13 在 2% 、 5% 、 10% 、 15% 毁坏概率下 网络的不连通的概率
5 .3.3 分簇方法二:基于权值的划分方法 我们对节点用圆进行分区覆盖,使得圆半径和最小,这样的圆的圆心节点周围应该较密,所以我们提出一种能反映这种性质的指标作为节点优先作为圆心的权值,我们以距某节点 ui 的距离不大于某一定值(如 100 )的节点数目作为该节点的权值,称为它的度 d (ui ) 。 区域划分的步骤如下: 0 J* X( X- z3 P# Z+ a
Step1: 输入节点集 及每个节点的坐标;
$ T4 }: Z$ J3 V2 ?7 g o( o Step2: 计算每个节点 的度 d (ui ) ,并排序 , 是某个节点 ,记录与 距离小于 100 (可以调节)的节点集 , .
# V. S1 J+ e8 t* F/ n. o Step3: 比较 与 , , 找到最小的正整数 l ,使得 ,把 作为初步聚类,把 作为圆心 .
* }1 a( [ h7 H0 P Step4: 设与圆心 对应的半径为 ,以半径和最小为目标,利用类似方法一中的算法搜索合适的半径。 - U: u$ K: A' m0 K) a" U. Z
利用此种方法聚类出来的圆心数固定,只须搜索半径即可。按方法一中的方法容易分析网络的连通性和抗毁性。
' x" L4 F& _, H6 N, Y 5 .4、问题四的求解 5 .4.1 节点移动过程的仿真 为了研究节点移动后网络的连通性,首先要研究节点的运动,根据题中要求,前 10 个用户只作折线运动,每 30 个单位时间可能改变一次运动的方向和速度,运动的方向角、速度是分别服从在 [0 , 2 p ] 、 [0 , 2] 上均匀分布的随机变量,其他节点不移动。节点到达正方形区域边界后只可能向区域内运动。
* n5 C8 f& V( A, s9 i! P: U, r1 L% z 据此对节点的运动进行仿真,随机选择运动方向和速度,图 14 是 10 个点的运动轨迹,图 15 是其中一个节点运动轨迹的放大图。
+ p/ @) ?+ l+ h6 b+ N& H+ N 5 .4.2 连通强度 前 10 个节点可以移动,相当于改变了 10 个节点的位置,在第三问中已经解决了网络连通性的判断问题,因此只需要重新构造连接矩阵,就能判断节点移动后网络是否连通。 0 y; @* O" E0 C, ] f; C3 _
图14 10个节点的运动轨迹5 L. q4 [8 X2 v% h. E
$ s( d# l* v4 w+ f 图15
/ o$ J* M5 `' f, I, C1 J2 z 其中一个节点的运动轨迹的放大
! W3 j% ~# i: a. t1 c9 s 由于总节点的个数是 926 , 10 个节点仅占总结点数的 1.08 %,如果是去掉这 10 个节点,网络连通的概率与上一问中随机去掉 1.08 %的节点后网络连通的概率应该相差不多,但这里并不是去除点,而是将这些点重新放置,因此连通的概率要大于上一问中随机去掉 1.08 %的节点后网络连通的概率,可见,这时是网络的性能是比较好的,大多情况都能保持连通。为了进一步分析连通的性能,在网络连通的前提下,给出了连通强度的概念。
( E+ T+ t$ @ D 文献 [3] 中,连通强度的定义是: % a9 N: e6 i3 |- R
其中, E 是网络中存在的链路数, 网络全连通时的链路数,即任意两个节点之间都有一条边。
1 M+ R1 G U4 h) z+ i3 } 在本题的网络模型中,我们注意到,处于圆内部和相邻圆公共部分的节点,对网络连通性的贡献是不同,处于公共部分的节点越多,网络的连通性越好,因此定义: ( R# Q% ?) a4 w, V( n
其中, 是节点总数, 表示处于公共部分的节点总数,显然,连通强度越大,网络的抗毁性越好。与文献中的定义方式相比,它的优点是:突出了公共部分的点对连通性的重要性;统计点的个数比边的个数算法更简单、更易实现。 ) ]- L2 s' ]& d7 N0 |
根据连接矩阵的定义, 的值就是处于圆 i
; v9 g, X2 |: S- o* @# q4 O 、 j 的公共区域的节点的个数,那么矩阵中所有元素值之和的一半就是处于公共区域的节点数。
5 K2 h; G% I% t1 ]0 a9 }6 A 对 10 个节点的运动多次仿真,在网络连通时,计算连通强度,得到 200 组仿真结果,将连通强度绘于图 16 (节点未移动时,连通强度为 0.1031 )。 9 z8 F8 S$ A: z/ {- y. ?, e& C
从图中可以看出,当节点随机移动时,网络的连通强度在 0.1031 附近上下浮动,最大可达 0.1059 ,最小为 0.102 。可见,节点的移动虽未引起网络是否连通的改变,但也影响了网络的抗毁性,例如,如果原节点 处于两圆的公共部分,当它移动到某个圆的内部时,虽然网络仍然是连通的,但其抗毁性是有所降低的,由此也可以看出,节点原来所处的位置对连通强度的变化是有影响的,如果 10 个节点大部分位于公共区域,那么移动后网络的抗毁性的总趋势是下降的。 . b* ]9 k) A. q% Z: c
5 .5、问题五的讨论 本问要求在第三问的基础上,不考虑节点 的移动,确定给定节点的较节能的区域划分,即考虑电池在发射、接收和备用等状态下的能量损耗,进行合适的区域划分使得第一个因电池能量耗尽退出网络的节点的时间尽量晚。从附件1给出的数 据看这些节点分布较均匀,而目标是使第一个退出的节点时间晚,所以各个节点的地位都是均等的,可以设想最佳的划分区域一定是半径相同的圆,并且每个节点电池的最大通讯半径也应该相同,边界的区域和节点可以不同。 根据本题要求, 按照第三问的方法对 这些节点进行分簇必须提出一个合理的划分指标,既要使节点的寿命更长又不能划分的区域太多,我们提出以节点度数和电池的能量剩余的加权和作为节点的权值。定义节点 ai 的权值为:
+ O: u! J5 b: s0 Y( N* J* N* c
* g0 ]+ S, M- F* f% P T, Z/ Z W(ai ) = w 1 d (ai ) + w 2 E (ai ).
- y, h. Z3 {% w (1)
其中 w 1
7 ]$ S- ^; Y; W + w 2 = 1 , d (ai ) 表示与 ai 的距离不超过某一定值(如 100 )的节点个数,反映的是点 ai 周围节点的稠密程度; E (ai ) 表示与 ai 在一段时间通讯后电池的剩余的能量,它能够反映该节点在网络中的寿命长短。 w 1 和 w 2 分别是 节点度数和电池的能量剩余的权重,可根据实际需要设定。本问以考虑节能为主,所以 w 2 要比 w 1 大些。 - z' G. g) P* C' S& K3 C
设电池的最大通讯半径为 R , 划分区域的圆的半径为 r , 考虑到同一区域的两点可以直接通讯不需中转,所以 R ³ 2r , 由于发射功率近似地与最大传输距离的三次方成正比,电池在覆盖半径为 100 发送状态下的工作总时间是 400 个时间单位,根据电池总能量相等容易计算电池在覆盖半径为 R 时发送状态下的工作总时间,并转化为待机备用状态下的工作总时间
' m: R2 |2 G. Y0 [0 m7 @6 K
- l: Q7 {: [4 ~, h$ Y+ I 我们将电池的能量都转化为待机工作时间来描述,最佳的分区一定是使得在一段通讯时间内每个节点进行的发射、接收和转发的任务量分别几乎相同。 因为每个节点在 1200 个时间单位内平均产生 25 次呼出, 通讯是随机的,所以 同样应该有 25 次接受,我们以每48个时间单位作为一个研究的时 间段,平均每一段每个节点都有一次 呼出、一次接受和一些转发任务,用 En 表示某一节点在第 n 段时间后电池能量的剩余, , S( i" D2 k( U. K* {3 C
. t2 z, T. Z: I5 P# m4 @
En=En-1 - (4 ´ 11 + 4 ´ 10 + 40 + 44 r ),
# t# m% ]% o. i& [ 1 £ n £ 25.0 K6 P& `; E0 R8 M8 m
(3)
其中 r 表示节点在每段时间内平均转发的次数。再利用 (2) 式可得到,
# f0 ?: o; K& ^1 G + Y+ m) U9 u1 e' o$ K
En= - (124 + 44 r ) n .
+ C8 K, y/ j/ N& O . H- r7 d+ c6 B* Y
(4)
令 En= 0 ,则
; n q6 W$ { D 要节点退出的时间晚即要使得 En= 0 时的 n 值尽量大。
# w7 ~4 M; S2 x: t. {( r S 7 D6 O* @& x& P
( G2 v' A8 s% H# k, E0 D6 R
A1
& M: p( _8 R0 I7 o7 U; _" K& k; i) s/ ^
: P, @0 `$ i- F9 C* K* q+ K
A2
! m, K* T- ~0 g4 \& [5 a# ]
- E1 ~( [4 d' ?8 n" h# g
B1
* H7 g- t" x) E5 x* A
9 [$ f8 @* T5 Q5 t
B2 Ï
5 ?- _$ [, ~+ v( O4 B
3 Y! e; h# O, o+ X2 f @
区域 I
/ H0 @" t) n3 n6 E+ z w
* t9 h9 \0 u1 m) c! w, B
区域 II
' n: Y' S) J `* S! b 1 b2 F% l3 o/ Q/ j( I# O
C * E: u' J$ x$ ]: [! K# L
% m- _0 v+ O" e* g, H
$ a0 v- n+ ^* s- R }" C( a4 H
下面我们来讨论 r 的计算,令 + v: A3 f4 H F: @6 e% J+ ]
% g0 ^0 ]/ p2 u2 M: p% K; e d= , ^4 w' d' ?" v/ `" p/ U9 b1 y5 F4 |
max{ d (ai ) , ai 跑遍所有节点 }! B/ O/ ` Y: \: v N: L
8 m, P- t8 ?1 l' a
(6)
用 d 近似表示区域内节点的个数,如图所示区域 I 和区域 II 的半径为 r ,均包含 d 个节点,设相交区的节点数为 h , 将每个圆相交区外的节点粗略地分成两类 A = { 节点到 S 的距离接近 } , B = { 节点到 S 的距离接近 } ,其中 l 是圆心到 S 的距离, 他们的个数分别约为 和 ;记 表示在一段时间内 中节点到 中节点通讯的次数,类似地定义 . 则 9 X1 \7 c% W6 o2 |/ t
则 S 的转发次数: $ s! F" b6 s( W
记角∠ SA2C = a , 则 + n3 a& D. W+ }
于是可以建立规划模型: # M9 M) B: h7 R& {/ a9 [
我们可以限定 R 为 2r ,求解此规划,设使得目标最小的 r 和 a 值为 , 。 取 (6) 式中 d = d (ai ) ,类似计算 r i
, J- s* a. Z2 X# q = + + + ,进而计算
: U- n/ X: v; |# v, H: F E (ai )=E 0 - (124 + 44 r i ),
3 z H3 \9 f- j5 E F W(ai ) = w 1 d (ai ) + w 2 E (ai ) ( j1 R0 m$ c1 h
最后以权值 W(ai ) 为指标,按照第三问中提出的方法对节点进行分 簇 ,确定圆心。区域圆的半径为 ,圆心与覆盖区两端连线成的角为 ,覆盖区面积占原面积的百分比为:
1 e! c; Y$ _5 F" l! X+ q- L
网络的改进建议
% L& _9 Q0 u- J* Y4 R3 q 该网络中个节点的地位近乎相等,呼叫点到目的点的通讯存在多条路径,当网络规模扩大时路由维护的能量开销指数增加,且消耗有限的带宽,我们可以在区域圆相交的区域内选取一节点作为簇头,使得簇头与同簇内节点通讯用一个频率,簇头之间的通讯用另一频率,且对簇头可进一步分簇,确定更高级的簇头,构成分级结构,低级网络的频率可低些,通讯范围在区域内,高级网络频率可高些,通讯范围大些,这样将节点划分级别,不再一律平等,这样整体的能耗将会减少。 & ]& u# \) P/ L
六、模型评价
6 o, i, G1 R- P% V 1 o8 X$ I. @0 J' r" C
本文分析解决了 Ad Hoc 网络的几个有关问题,主要的优点有: 4 m5 |3 Q0 V4 r2 F5 x
1 .从简单的对称排列入手,较好的解决了区域的覆盖问题。
: i5 `# h' k& ? 2 .讨论网络的抗毁性时,建立连接矩阵,并给出了网络连通的充要条件,通过矩阵运算判断连通性,避免了求最小生成树等复杂的算法。 & q9 r8 y* V$ a& \$ {$ t3 o: U H2 {
3 .基于节点的个数定义了连通强度,更进一步的分析了网络的连通性能。
9 d; e" s6 l k 存在的问题是: " I8 `* [( E0 \, A# Q" G$ U
1 .对问题二、三的求解时,给出了一种我们认为较好的方法,但对该方法的分析、以及解的可行性没有进行深入的研究; ) {& L; k0 {! L0 G4 C" }! X
2 .由于时间原因,第五问仅给出了思路,并未实现,第六问未考虑。
zan