%!PS-Adobe-2.0型%%创建者:dvips(k)5.86d版权所有1999 Radical Eye Software%%页码:第22页%%PageOrder:升序%%边界框:0 0 612 792%%结束注释%DVIPS网页:(www.radicaleye.com)%dvips命令行:dvips-f%DVIPS参数:dpi=600,压缩%DVIPS来源:TeX输出2001.02.13:1105%%开始程序集:texc.pro%!/TeXDict 300 dict def TeXDick开始/N{def}定义/B{绑定定义}N/S{交换}N/X{SN} B/A公司{dup}B/信托收据{翻译}N/isls错误N/vsize 11 72 mul N/hsize 8.5 72mul N/landplus90{false}定义/@rigin{isls{[0 landplus90{1-1}{-1 1}ifelse 00 0]concat}if 72 Resolution div 72 V分辨率div负比例isls{landplus90{V分辨率72 div vsize mul 0 exch}{分辨率-72 div hsizemul 0}ifelse TR}如果分辨率VResolution vsize-72 div 1,则添加mul TR[矩阵电流矩阵{A圆分abs 0.00001 lt{圆形}如果}对于所有圆exch-round exch]集合矩阵}N/@landscape{/ilss-true N}B/@manualfeed{statusdict/manualfeed true put}B/@copies{/#copies X}B/FMat[1 0 0-1 0 0]N/FBB[0 0 0 0]N/nn 0 N/IEn 0 N/ctr 0 N/df-tail{/nn 8 dict N nn开始/FontType 3 N/FontMatrix fntrx N/FontBBox FBB N字符串/基本X数组/位图X/BuildChar{CharBuilder}N/编码IEn N端A{/foo setfont}2阵列复制cvx N加载0 nn put/ctr 0 N[}B/sf 0 N/df{/sf 1 N/fntrx FMat Ndf-tail}B/dfs{div/sf X/fntrx[sf 0 0 sf neg 0 0]N df-tail}B/E{pop nn Adefinefort setfont}B/Cw{Cd A length 5 sub get}B/Ch{Cd A length 4 sub get}B/Cx{128 Cd A length 3 sub get sub}B/Cy{Cd A longth 2 sub get 127 sub}B/Cdx{Cd A length 1 sub-get}B/Ci{Cd Atype/stringtype ne{ctr-get/ctr-ctr1如果}B/id 0 N/rw 0 N/rc 0 N/gp 0 N/cp 0 N/G 0 N/CharBuilder{保存3,则添加N}1个滚动S A/base获取2个索引获取S/BitMaps获取S获取/Cd X弹出/ctr 0 N Cdx0 Cx Cy Ch sub Cx Cw add Cy setcachedevice Cw Ch true[1 0 0-1-.1 Cxsub Cy.1 sub]/id Ci N/rw Cw 7添加8个idiv字符串N/rc 0 N/gp 0 N/cp 0 N{rc 0 ne{rc 1 sub/rc X rw}{G} 如果不是这样}图像掩码恢复}B/G{id gp获取/gpgp 1 add N A 18 mod S 18 idiv pl S get exec}循环}B/adv{cp add/cp X}B/chg{rw cp id gp 4 index getinterval putinval A gp add/gp X adv}B/nd{/cp 0 N rw exit}B/lsh{rw cp 2 copy get A 0 eq{pop 1}{A 255 eq{pop 254}{A A添加255和S 1和或}ifelse}ifelle放置1 adv}B/rsh{rw cp 2 copy获取A 0 eq{pop 128}{A 255 eq{pop 127}{A 2 idiv S128和或}ifelse}ifelse放置1 adv}B/clr{rw-cp 2索引字符串放置间隔adv}B/set{rw-cpfillstr 0 4 index getinterval putinterval adv}B/fillstr18字符串0 1 17{2copy255putpop}用于N/pl[{adv1chg}{adv1 chg-nd}{1add-chg}{1dd-addchg-nd}{adv-lsh}{adv lsh-nd}{adv-rsh-nd}}{adv-rsh-nd}{1添加adv}{/rc X nd}{1个添加集}{1个添加clr}{adv 2 chg}{adv 2 chg nd}{pop nd}]一个{绑定pop}对于所有N/D{/cc X A type/stringtype ne{]}如果nn/base get cc ctr put nn/位图获取S ctr S sf 1 ne{A长度1子A 2索引S获取sf div put}如果put/ctr ctr 1 add N}B/I{cc 1 add-D}B/bop{userdict/bop-hook已知{bop hook}如果/SI保存N@原始0 0移动到/V矩阵currentmatrix A 1得到Amul-exch 0获取mul-add.99lt{/QV}{/RV}ifelse加载def-pop-pop}N/eop{SI还原用户dict/eop-hook已知{eop-hook}如果展示页}N/@开始{userdict/start-hook已知{start-hook}如果pop/V分辨率X/分辨率X1000 div/DVImag X/IEn 256数组N 2字符串0 1 255{IEn S A 360加36 4pop 65781.76 div/vsize X 65781.76div/hsize X}N的索引cvrs-cvn-put}/第页{显示}N/RMat[1 0 0-1 0 0]N/BDot 260字符串N/Rx 0 N/Ry 0 N/V{}B/RV/V{/Ry X/Rx X V}B状态字典开始/产品,其中{pop false[(显示)(NeXT)(LaserWriter 16/600)]{A长度积长度le{A长度乘积exch 0exch-getinterval-eq{pop-true-exit}-if}{pop}ifelse}所有}{false}ifelse结束{{gsave TR-.1.1 TR 1 1标度Rx Ry假RMat{BDot}图像掩码grestore}}{{gsave TR-.1.1 TR Rx Ry scale 1 1 false RMat{BDot}imagemask grestore}}ifelse B/QV{gsave newpath transform round exch roundexch itransform移动到Rx 0 rlineto 0 Ry neg rlineto Rx neg 0 rlineton填充grestore}B/a{移动到}B/增量0 N/tail{A/delta X 0 rmoverove}B/M{S p增量加尾}B/B{sp-tail}B/c{-4M}B/d{-3M}B/e{-2M}B/f{-1M}B/g{0M}B/h{1M}B/i{2M}B/j{3M}B/k{4M}B/w{0-rmovide}B/l{p-4w}B/M{p-3w}B/n{p-2w}B/o{p-1w}B/q{p1w}B/r{p2w}B/s{p3w}B/t{p4w}B/x{0Srmovide}B/y{3 2滚动pa}B/bos{/SS保存N}B/eos{SS恢复}结束%%结束过程集TeXDict开始40258437 52099154 1000 600 600()@开始%DVIPS位图字体:Fa cmbx10 10.95 11/传真11 121 df<903803FF80013F13F890B512FE00036E7E2607FC017F4886C6C7E6D6D7E001F816D131F82150F826C5AA26C5AEA01E0C8FC153FEC7FFF0107B5FC133F9038FFFC0F000313E0000F1300485A485A5B485AA2485AA4151FA26C6C133F6DEB7BFF6C6C01F313FE391FFE03F16CB512E10003EC807FC69038FE001FD90FF890C7FC2F2B7DA933>97D类99天101天105 D<13FFB5FCA512077EB3B3AFB512FCA5163F7CBE1D>108 D<01FFEB1FF0B5EBFFFE02036D7E4A80DA0FC07F91381F007F0007013C806C49133F5C4A80A25CA25CB3A5B5D8FE0FB512E0A533297CA83A>110D<3901FE01FC00FFEB0FFF4A13C04A13E091387E3FF0147800079038F07FF8000313E013FF14C0ED3FF01480ED1FE0ED078092C7FC91C8FCB3A3B6FCA525297DA82B>114编号:90381FFC0E90B5123E000314FE120F381FE007383F800190C7FC007E147E153E12FEA27EA201C090C7FC13F8EBFFE06C13FE6E7E6C14E06C14F86C806C800001806C7E010F1480EB007F020313C014000078147F00F8143F151F7EA26C1580A26C143F6D14006D137E9038F803FE90B512F8485CD8F83F13C026E00FFEC7FC222B7DA929>我东经120%结束DVIPSBitmapFont%DVIPS位图字体:Fb cmtt10 10.95 63/Fb 63 126 df<121E123FEA7F80EAFFC0B2EA7F80B1EA3F00C7FCA8121E123FEA 7F80EAFFC0A4EA7F80EA3F00121E0A396DB830>33 D37天39天<141E143F14FF5BEB03FEEB07F8EB0FF0EB1FE0EB3F80137FEBFF005B485AA22035B485AAA2485AA2485A2123F5BA2127F90C7FCA412FEAD127FA47F123FA27F121FA26C7EA26C7EA 26C7E7F12016C7E7 FEB7F80133 FEB1FE0EB0FF0EB07F8EB03FEEB01FF7F143F141E184771BE30>我<1238127CB4FC6C7E6C7e6C7E6C7EEA01FC7F6C7E7FEB3F8014C0131FEB0FE0A2EB07F0A2EB03F8A214FC1301A214FE1300A4147FAD14FEA4130114FCA2130314F8A2EB07F0A2EB0FE0A2EB1FC0133F1480EB7F005B485A5BEA07F8485A485A485A148C7FC127C1238184778BE30>我<141C143E147FAF003FB612FE4881B81280A36C16006C5DC76CC8FCAF143E141C29297DAF30>43D类我<003FB612E04815F0B712F8A36C15F06C15E025077B9E30>I<120FEA1F80EA3FC0EA7FE0EAFFF0A4EA7FE10EA3FC0EA1F80EA0F000C0C6E8B30>I<14FE903807FFC0497F013F13F8497F90B57E48EB83FF4848C6138049137F4848EB3FC04848EB1FE049130F001F15F0491307A24848EB03F8A290C712014815FCA400FEEC00FEAD6C14016C15FCA36D1303003F15F8A26D1307001F15F0A26D130F6C6CEB1FE0A26C6CEB3FC06C6CEB7F806D13FF2601FF8313006CEBFF6D5B6D5B010F13E06D5BD900FEC7FC273A7CB830>48天我<000FB612805A4815C0A21680A20180C8FCAEEB81FF019F13C090B512F08115FE81D9FE0313809038F0007F49EB3FC00180EB1FE06CC7120F000E15F0C81207A216F81503A3121C123E127F487E150716F090C7120F16E06C141F6DEB3FC0003F147F9039E001FF80261FFC0F13006CB55A6C5C6C14F0C65C6D1380D90FFCC7FC25397BB730>II<120FEA1F80EA3FC0EA7FE0EAFFF0A4EA7FE0 EA3FC0 EA1F80EA0F00C7FCAF120FEA1F80EA3FC0EA7FE0EAFFF0A4EA7FE10EA3FC0 EA1F80EA0F000C276EA630>58D类我<16E0ED01F0ED07F8150F153FEDFFF04A13e020713c04a1300ec3英尺7英尺8903801fe0495b010f90c7fc495aeb7ff8495a000313C0485BD81FFEC8FC485AEA7FF0485A138013E06C7EEA3FFC6C7E3807FF806C7FC613F06D7EEB1FFE6D7E010313C06D7F9038007FF8EC3FFEEC0FFF6E13C0020113E06E13F0ED3FF8150F1507ED01F0ED00E0252F7BB230>我<003FB612FE4881B81280A36C16006C5DCBFCA7003FB612FE4881B81280A36C16006C5D29157DA530>I<147F4A7EA2497FA4497F14F7A401077F14E3A010F7FA314C1A2011F7FA490383F80FEA590387F007FA4498049133FA290B6FCA24881A43A03FC001FE049130FA4000781491307A2D87FFFEB7FFFB515806EB5FCA24A7E6C160029397DB830>65 D<007FB512F015FEB77E826C81823A03F8001FF815076F7E1501A26F7EA615015EA24B5A1507ED1FF0ED7FE090B65A5E4BC7FC6F7E16E0829039F8000FF8ED03FC6F7E1500167FA3EE3F80A6167F1700A25E4B5A1503ED1FFC007FB6FC5EB75A16C06C5D03FCC7FC29387EB730>我<003FB512E04814FCB67E6F7E6C816C813A03F800第8页第16页第16页第16页第16页163F1780A2167F17005E4B5A15034B5A150F4B5AED7FF0003FB65A485DB75A93C7FC6C14FC6C14E02B387FB730>68 D<007FB7FCB8FC1780A37ED803F8C7123FA7EE1F00A293C7FCA4157CA215FEA390B5FCA6EBF800A3157CA292C8FCA5EE07C0A2EE0FE0A8007FB7FCB8FCA317C07E2B387EB730>I<003FB712805AB812C0A27E7ED801FCC7121FA7EE0F80A293C7FCA5153EA2157FA390B6FCA69038FC007FA3153EA292C8FCAE383FFFF8487FB5FCA27E6C5B2A387EB730>我<02FF13700103EBC0F8010F13F14913F94913FF5BEBFFC148EB007FD803FC133F488131F49130F120F49130712F5B123F491303A2127F90C7FC6F5A92C8FC5A5AA892B5FC4A14805CA26C7F6C6D1400ED03F8A27F003F1407A27F121F6D130F120F7F0007141F7F6C6C133F6CB4137F6CEBC1FF6DB5FC7F6D13FB6D13F30103EBC1F0010090C8FC293A7DB830>我<007FB6FCB71280A46C1500260007F0C7FCB3B3A8007FB6FCB1280A46C1500213879B730>73 D<383FFFF8487FB57EA26C5B6C5BD801FCC9FCB3B0EE0F80A2EE1FC0A8003FB7FC5AB8FCA26C16807E2A387EB730>76 D我<007FB512F0B612FE6F7E16E0826C813903F8003FED0FFCED03FE15016F7EA2821780163FA6167F17005EA24B5A1503ED0FFCED3FF890B6FC5E5E16804BC7FC15F001F8C9FCB0387FFFC0B57EA46C5B29387EB730>80 D<003FB57E4814F0B612FC15FF6C816C812603F8017F9138003FF0151F6F7E15071503821501A515035E1507150F4B5A153F4AB45A90B65A5E93C7FC5D8182D9F8007F153F6F7E150F821507A817F8EEF1FCA53A3FFF8003FB4801C0EBFFF8B56C7E17F06C496C13E06C49EB7FC0C9EA1F002E397FB730>82 D<90390FF801C090397FFF03E090B512C7000314F74814FF5A381FF80F383FE001EB8000007F147F90C7123F48141F5AA2150FA37EED07C06C91C7FC7F7FEA3FF0EA1FFE380FF06C13FF6C14E06C14F86C80011F7F01037FD9003F1380020113C09138007FE0151FED0FF0A2ED07F8A2003C1403127E12FEA46C140716F07Fed0fe001e0311f01f8eb3fc001ffebff8091b512005d00fd5cd8fc7f5bd8f81f5bd870011380253A7BB830>我<003FB712C05AB812E0A43AFE003F800FA7007CED07C0A2C791C7FCB3B1011FB5FC4980A46D91C7FC2B387EB730>我<3A3FFF01FF84801837F02C77FA202835B6C01015B3A01FC007F806D91C7FC00005C6D5BEB7F01EC81FCEB3F8314C3011F5B14E7010f5b14ff6d5ba26d5ba26d5ba26d90c8fca497fa2497fa2815b81eb0fe781eb1fc381EB3F8181EB7F0081497F49800001143F4980000003141F49800007140FD87FFEEB7FFFB515806EB5FCA24A7E6C48150029387DB730>88 D97天I<913801FFE05C4A7FA28080EC0007AAEB03FE90381FFF874913E790B512F74814FF5A481303380FFC0001F0133F4848131F488130F5B007F140790C7FCA25AA25AA87E6C140FA27F003F141F7F6C6C133F6D137F390FF801FF2607FE07EBFFC06CB712E06C02F713F06C14E76D01C313E0011F010313C0D907FCC8FC2C397DB730>我<14FF010713E0011F13F8017F90B57E488048010113803A07FC007FC04848133FD81FE0EB1FE049130F003F15F0491307127F90C7FCED03F85AB7FCA416F0A248C9FC7E7EA27F003FEC01F07F6C6CEB03F86C7E6D1307D807费用1ff03a03ff807fe06c90b5fc6c15c0013f1486debfe00010313f89038007fc0252a7CA830>我<15FF020713C0021F13E04A13F04A13F2891B5FC49138F903803FC0F9138F807F00107EB03E09138F001C092C7FCA7003FB612C05AB712E0A26C15C0A2260007F0C7FCB3A9003FB512FE4880B71280A26C15006C5C25397DB830>我I<387华氏度FFF8B5FC80A37EEA0001B3A8007FB612F0B712F8A46C15F025387BB730>我<02FC137E3B7FC3FF01FF8001CF01877FB600CF7F15DF6C91B57E020F13873B07FC07FE03F8A29039F803FC01A201F013F8A301E013F0B3A23C7FFE0FFF07FF804A5BB5028F13C0A2D87FFE020F13806E7F322881A730>我我<49B4FC010F13E0013F13F8497F90B57E0003ECFF8014013A07FC007FC04848EB3FE0D81FE0EB0FF0A2488EB07F8491303007F15FC90C71201A300FEEC00FEA86C14016C15FCA26D1303003F15F86D13076D1303F6C6CEB1FF06C6CEB3FE06D137F3A07FF01FFC06C90B512806C15006C6C13FC6D5B010F13E0010190C7FC272A7CA830>我我<49B413F8010F13C0013FEBF1FC4913F990B512FD4814FF4813807FC003F4848131FD81FE0130F491307123F491303127F90C7FC15015A5AA77E7E15037FA26C6C1307150F6C7E6C6C131FD807FC137F9038FF01FF6C90B5FC6C14FD6C6C13F96D13F1010F13C1903803FE0190C7FCAD92B512F8A24A14FCA26E14F8A22E3C7DA730>我I<90381FFC0E48B5129F000714FF5A5A387FF007EB000100FE7F4880A46C143E007F91C7FC13E06CB4FC6C13FC6CEBFF806C14E0000114F86C6C7F01037F9038000FFF0201380003C143F007EEC1FC012FE150F7EA27F151F6D14806D137F9039FC03FF0090B55A5D00FD5C00FC5CD8F83F13C026700FFEC7FC222A79A830>II<3B3FFFC07FFF804816C0B56CB512E0A26C496C13C06C16803B01F80003F000A26D13070005DA26D130F017E5CA2017F131F6D5CA2EC803F011F91C7FCA26E5A010F137EA2ECE0FE01075BA214F101035BA3903801FBF0A314FF6D5BA36E5A6E5A2B277EA630>I<3b3ffc01fffe0486d4813f0B515F8A26C16F06C496C13E0D807E0C7EA3F00A26D5C0003157EA56D14FE00015DEC0F80EC1FC0EC3FE0A33A00FC7FF1F8A2147DA2ECFDF9017C5CA214F8017E13FBA390393FF07FE0A3ECE03FA2011F5C90390F800F802D277FA630>我<3A3FFF81FFC4801C37FB580A26C5D6C01815BC648C66CC7FC137FEC80FE90383F81FC90381FC90381 FC3F8EB0FE3ECE7F06DB45A6D5B7F6D5B92C8FC147E147F5C497F81903803F7E0EB07E790380FE3F0ECC1F890381F81FC90383F80FE90387F007E017E137F01FE6D7E4886D7E267FFF80B5FCB512C102E31480A202C114006C138029277DA630>我<001FB612FC4815FE5AA316FC90C7EA0FF8ED1FF0ED3FE0ED7FC0003EECFF804A1300C7485A4A5A4A5A4A4A5A5A4A4990C7FC495A495A495A495A495A49 5A4948133E4890C7FC48147F485A48A485A485A485 A48B7FCB8FCA316FE7E28277DA630>122天125天%EndDVIPS位图字体%DVIPS位图字体:Fc cmsy8 8 1/Fc 1 49 df<137813FCEA01FEA4EA03FCA313F81207A213F0A2120F13E0A3EA1FC0A21380A3EA3F00A3123E127EA2127CA212FC5A12780F227EA413>48 DE类%EndDVIPS位图字体%DVIPS位图字体:Fd cmmi8 8 7/Fd 7 111 df<90260FFFFC90B5FC814B14FE9026003FE0EB1FE04B14006E6C131C5F5F6E6C5B4C5A913807F8034C5A6E6C48C7FC161E6E6A5E5E6C5A5E6F5AA26F7EA24B7E15FF5CEDCF0EC038F91380707F8140E4A6C7E14384A6C7 E14E0130149486C7E495A49C76C7E131E496E7E13FC00074B7ED87FFF0103B5FCB56C5A6C497E382D7EAC3A>88D<1307EB0F80EB1FC0A21480A2EB0E0090C7FCA8EA01E0EA07F8487EEA1E3E1238A2EA707EA212E05BA21240EA01F8A3485AA2485AA214C0EA0FC1A2EA1F81EB8380A2EB8700A2EA0F8E13FC6C5AEA01F0122E7EAC18>105 D<15E0EC03F0A21407A2EC03E0EC01C091C7FCA814F8EB03FE497E90380F0F80131C013C13C013381370EC1F8013E0A213409038003F00A4147EA45CA4495AA4495AA44 95AA338380FC0127C38FE1F8091C7FCEAFC3E13FCEA7FF86C5AEA1F801C3B81AC1D>II<137EEA0FFEA3EA00FCA4EA01F8A4EA03F0A4EA07E0A4EA0FC0A4EA1F80A4EA3F00A4127EA31318EAFC38A4EAF870A3EAFCE0127FEA3FC0EA0F000F2F7DAD15>我<2707C007F013FE3C0FF01FFC03FF80281FF87FFE0F7F3C3CFCF83F1F07E03C387DE01FBC03F026707F8013F0A2020013E0D8E0FE14C0491480A21240D801F84948485AA34D5A4848137EA24D5AF0818048491483EF3F03A2F0070048484848137E180E173E183C48484848EB1FF8000F01016E5A6CC748EB07C0391F7E9D3E>I<39078007f0390fe03fc486C487e3938f8f83f9038f9c01f2670f80138014005beae1fcA25B1241D803F0EB3F00A3157E485AA25D161848481438EC01F8A21670391F8003F0A2020113E0EDF1C048C7EAFF806CEC7F00000E143E251F7E9D2B>I E%EndDVIPS位图字体%DVIPS位图字体:Fe cmti10 10.95 58/铁58 122 df12天39天<15031507150E153C157815F0EC01E0EC03C014071580EC0F00141E143E5C5CA2495A13035C495AA2495A131F91C7FC5B133E137EA25BA25B1201A2485AA3485AA3485AA3121F5BA3123F90C8FCA45A127EA55AAE127CA6123C123EA2121EA27EA27E7F12036C7EA21200205A73C325>I<14031580EC01C015E0140015F0A21578A2157C153CA2153EA3151E151FAD153FA7157EA515FE15FCA3140115F8A3140315F0A2140715E0A2140F15C0A2EC1F80A3EC3F00A2147EA2147C14FC5C13015C495AA2495A495AAA249C7FC131E133E5B5B5B385A485A485A148C8FC121E5A5AA12C0205A7FC325>I<387FFFFCB5FCA414F81606789621>45 D<120FEA1F80EA3FC0127F12FFA3EA7F801300123C0A0A77891C>I<15fe913807ff80021f13c091387f07f0ecfc0390301f801f8903803e00010714fc495a4948137C167E49C7FC4914FE137E13FEA24885AA200031401A25B000715FCA2491303120FA34848EB07F8A44848EB0FF0A444848EB1FE0A316C090C7123F5A1680157FA2481500A215FEA25D1401485C14035D4A5A127C007E495A4A5A6C49C7FC147E381FC1FC380FFFF00003型13C0C648C8FC273F76BC2E>48 D<15031507150F150E151E153E157E15FC14031407141F903801FF8130FEB1FF314C390380E07F01300A3EC0FE0A4EC1FC0A4EC3F80A4EC7F00A414FEA4495AA4495AA4495AA4495AA4495A497E007FB512E015F0B612E07E203D77BC2E>我<15FE913803FFC0020F7F91383F03F891387C00FC02F0137E495A49487F495A91C713805BEB1E0CEB1CD93C0E14C013381378A213F01780484848137FA35CD803C0ECFF005C4A485A12019039C3C003FC9039FF8007F86C01005B017C495A90C7485A4B5A4BC7FC15FEEC公司01F8EC07F0EC0FC0EC3F80027EC8FC495AEB03F0EB0FC0495A013EC9FC49141C49141E48485C5B485A48485C000F15F890C85AD81FE0130101FF495A48EBF00FD83C7FB55AD8780F5C010391C7FC486C5B6D6C5A6E5A48EB07E02A3F79BC2E>II<1638167C16FC1501A4ED03F8A3ED07F0A316E0150FA216C0151FA21680153F16005D157EA25DA24A5AA24A5AA24 A5A5D141F92C7FC5C143EEC7C0EECFC1F9138F83F80EB01F0903903E07F00EB07C0A2EB0F8090381F00FE133E5B5B49485AEA01E0EA07C0EA0FFE391FFFC3F8007F13FBB6FCD8F80114703AF0003FFFF80040130FC76C13E01600EC0FE0A44A5AA44A5AA44AC7FCA2143E141C264F7CBC2E>I<6EEB0180D901E0130F02FEBFF0091B55A495C5E16E05E4991C7FC15F80280C8FCA249C9FCA4131EA45BA3EC1FC090338787FF0903879FFF890387FE07CEC003E01FE133F01F86D7E5B4980A290C7FCA6153FA3120E001F4A5A487E127F93C7FC00FF5C90C75A48130100F85C5A4A5A4A5A00785C4A5A007CEB3F806C49C8FC383F01FE381FFFF86C5B000313C0C648C9FC293F77BC2E>I型I<157F913801FFE0020713F091380FC1F891383F007C027C137E4A133E163F495A495A3075C130FA3011F147EA2167C16FCED01F802E013F09138F003E0ECF80790390FFC0F809138FE1F00ECFF3E6D13FC6D13F06D5B6D13F2497F497F90380FCFFFD91F071380EB7E03D9F80113C04887E488EB7FE00007143F488131F49130F121F48C7fc1507127ea348ec0fc0a216080151f16005d007e143e5d6ceb03f0391f800fe09038e03FC06CB55A000349C7FC6C13F838003FC0283F78BC2E>I<15FF020713C04A13E091383F81F091387E00F814F8494848137C495A0107147E495A498133E013F147E49C7127FA25B5B1201A216FF485AA216FE1501485AA3150316FC491307A30003EC0FF8151FA20001143F6DEB7FF0000014EF90397C03CFE090383FFF8F6D131FD90FFC13C090C7FCED3F80A2ED7F00A2157E5DA2001C495A003E495A27F48495A4A5A48495A4849C7FC48137E48485A38FC07F8387FFFE06C5B6C90C8FCEA03F8283F77BC2E>I<131E133FEB7F80EBFFC0A2481380A26C1300137E133C90C7FCB3120F487E487E127F12FFA36C5A90C7FC123C122777A61C>I<173C177CA217FEA216016031607A2160FA2161FA2163DA2167916F916F1150116E1923803C1FFA2ED0780A24B5A5D151E153E153C5DA25DA24A5A14035D14075D4AC7FC844AB6FCA25C5C0278C7127F14F85C495AA2495AA2495AA249C8FC5B131E133E017E8213FED807ff15ff007f01e013年2月ff80b57e4a5b70140039417bc044>65天<49B712C018F84916FE6D8290280003F8000113809438007FC0183F19E04A48141F19F0A34A48140F181FA34A4815E0A2183F19C04A48EC7F8018FF4D1300604AC7EA07FC4D5AEF1FE0EFFFC091B648C7FC17F817FF4AC77F4948EC1FE0717EA2717E494811703A284495AA449485D1707A2604948140F60171F4D5A495A4D5A4D5A040390C7FC49C7485A49EC3FF8007F90B65AB812C094C8FC16F83C3E7BBD40>我我<49B712C018F84916FE6D8290280003FC000313809438007FC0F01FE0F00FF04A48140719F8F003FC18014A5A19FEA218004A5A19FFA34A5AA44A485CA319FE4AC8FC1803A3494816FC1807A219F8495A180F19F0A24948ED1FE0A2F03FC0A24948ED7F801900604D5A4985D4D5A4D5A170F4948A5A4D5A05FFC7FC4C5A448EB0FFC01FFEC7FF0007F90B65AB8128004FCC8FC16E0403E7BBD45>我<49B812F8A25B7F90260003FCC7127F180FF003F0A24A481401A44A5A19E0A34A5A173CA2F003C04A481378180195C7FC17F84A485B16011603160F91B65AA493A01FE001FC01607A349485CF00780A2F00F004948EB0F00A2181E93C7FC4948153E183CA260495A18F84D5AA249484A5A1707170FEF3FC0494814FF01FF140F007F90B75AB9FC95C7FCA23D3E7BBD3E>I<49B812F0A490260003FCC7127F181FF007E0A24A481403A44A5A19C0A34A5AA2177094387804A4813F0180395C7FC1601DA7F805BA2160316079139FF001FC092B5FCA3495D9138FE003F160FA2494891C8FCA44948131EA3161C494890C9FCA4495AA4495AA3497E007FEBFFE0B6FCA25D3C3E7BBD3B>I<49B5D8FE01B512FE04FF15FF494A4814FE6D8190260003FEC73803FE004B5DA34A484A5AA44A484A5AA 44A484A AA44A484 A5AA 44A 484 A5AA 44B 8C7FCA44948C7EA01FEA449484A5AA449484A5AA4494 84A5AA44 9484A5 AA449484 A5AA44 94 84A5 AA 4494845 A5 A01FF15FF007F9026FF807FEBFF80B690B6FCA24B92C7FC483E7BBD44>72D<49B512FE4914FFA26D14FE90390003FE005DA34A5AA44A5AA44A5AA44A5AA44Ac7fca495aa4495a495aa4495a495aa4495a495aa4495a495a13f2007年2月80日b6fca292c7fc283E7BBD23>我<4AB512FE5CA391C713801700A34B5AA44B5A4B5AAA44B5AA445AA44B5A44BC7FCA44A5AA44A5AA3120E391F8007F8123FEA7FC04A5AEAFF805DEB001F485C0078495A4AC8FC14FE6C485A381F07F8380FFFE06C1380D801FEC9FC2F4078BD30>I<49b500fe90380ffffe705b495c6d18fc90260003ec7000313c04床fe0019f819e4a484A5A4E5A061EC7FC187C4A485C4D5A4D5AEF07804A4849C8FC173E5F5F4A48485AE03C04C5A041FC9FC4A485A5E5E03817F4A5A5D92381F7FC0ED3E3F903801FE7C4B6C7EECFFE015C049496C7E15005C4A6D7E495A2707EA2495A707EA28349487FA284177F495A717EA349488101FF4B7E007F9026FF8007B57EB64980611500473E7BBD46>我<49B67E83495D7F90260003FEC8FC5DA34A5AA44A5AA44A5A44A5AA44 A5AA44AC9FCA4495AA4495A18C0EF01E0A24948EC03C0A217071880495AEF0F00A25F4948141E173EA25F494814FC16014C5A160F4948133F01FF49B45A007F90B6FCB8FC5FA2333E7BBD39>我<49B593380FFFF87017FC494E13F86D60D90003F0F800505AA21AF7DA07BF4B485AA2DB9FC0EC03CFA2DA0F1F4B485AF10F1FA2191E021E4D5A193C1978A2023C4C48C7FC6F7EF001E0F003C0027817FEF00780A2F00F0002F092381E01FCA2183C6F7ED901E04B485AA218F0EF01E0D903C04C5Aef03c0a2ef0780d907804a48485和03f8171ea2d90f004a495a5fa25f011e4d5eef9e0EEFBC0A2496DB44849C8FCA294C7FC017C5C01FC17FED803FF4A1301007F01F892B512FEB54A5A16F0DAF0005E563E7BBD52>我<902601FFE91381FFE6F16FF494C13FE6D82D900036D010013C0F17E00197C70143CDA07BF5DA2ED9FE0A2DA0F1F5D6F7EA391261E07F8495AA36F7E023C4B5A821501A202786D495A81A2EE7F804A4BC7FCA2EE3FC0A24948151EEE1FE0A349486D6C5AA3EE07F849485D17FC1603A249C76D5A1601A2EE00FF011E5EA2177FA2495E173FA2137C01FC6F5AEA03FF007F13F8B5150F95C8FC4A80483E7BBD44>我<49B77E18F04916FC6D82903B0003FC0003FF05001380F07FC0183F4A48EC1FE0A44A4815F0A319E04A48143FA319C04A48147FA21980F0FF004A5A4D5A4D5A4AC7485AEF3FE0933801FF8092B548C7FC4915F817E04ACAFCA2495AA4495AA44945AA4495AA44951AA4495A13FF007FEBFF80B6FCA292CAFC3C3E7BBD3E>80 D<49B612FCEFFF804916F06D82903B0003FC000FFEEF01FF83F07F804A48EC3FC0A319E04A5AA44A48EC7FC0A3F0FF804A5A19004D5A4D5A4A48495A4D5A4D5AEF7F809127FF0003FEC7FC92B512F817E05F903A01FE000FF0EE03F8707EA249486D7EA283A2495AA449485B5FA349481303A44848010714C09438FC01E0A219C049480103130313FF007FD9FF80EC0780B6D901FE13000400131E92C7EA7FFCCA6C5AEF07F03B407BBD42>82 D我<90B9FC5AA2913A001FE003FED807F8150001E0167E494948133E485AA290C7FC484A48133C121EA25A4BC7FCA25A18784A5A5AA2C716004A5AA44A5AA44A5AA44A5AA44A5AA 44A5AA44 AC9FCA4495AA4495A497E003FB67EA4383D71BC我<267FFFFE90B500F890B512C04B6E4814E0B504F815C06C13FC0001902780007FEC7381FFC0049C749EC07E04D5D715DA204034BC7FC16071A1E160F041F5DA2043F5D1AF8047B5D190104F35D4F5AED01E34F5AED03C34FC8FCED07836D171EED0F036C021F5D151E033E5D033C15F8037C5D0378140103F05D1803DA01E05D4E5AEC03C07148C9FCEC07800401131EEC0F0060141E023E5D143C027C5D027814FF4A5DA24A5D605C95CAFC5C5F91C7FC5F5B017E5D137C5F137853406EBD5B>87 D<267FFFFE91383FFFF0B65C5C19E0001018091380FFE006CEE07F018C04D5A017F4BC7FC6E141E5F013F157C6E5C4C5A5F6D6C495A16074C5A010F4AC8FC6E131E5E0107147C6E5B4B5A5E6C485A15074B5A010149C9FCECFF1E5D6D137C5D5D5D6E5AA25DA292CAFC5CA35C1301A35C1303A35C1307A35C130F131F000FB512F05AA25D3C3E6EBD44>89 D<147E49B47E010713C790390FC3EF8090391F00FFC0133E49EB7F8013FC485A485A00071500A2485AA2001F14FE5B123FA24848485AA448485AA4913807F01C48153CA391380FE078127E141F023F13F0123E003F903877E1E0381F01E73A0F87C3E3C03A07FF81FF806C01001300D800FC137C262977A72E>97D类I<167FED1FF5DA3ED00FEA4ED01FCA4ED03F8A4ED07F0A4ED0FE0A2147E903801FF8F0107EBDFC090380FC3FF49C6FC133E49EB7F8013FC485A485A00071500A2485AA2001F14FE5B123FA248485AA44848485AA3913807F01C48153CA391380FE078127E141F023F13F0123E003F903877E1E0381F01E73A0F87C3E3C03A007FF81FF806C01001300D800FC137C284077BE2E>II<167ced01馈线07ff92380f878017C0ED1F0FED3F163F157F037E1380EE1F00EDFE0E93C7FCA24A5AA54A5A0107B512F8825EA29026000FE0C7FCA54A5AA64A5AA54AC8FCA514FEA54995AA413035CA4495AA4495AA3001E5B123F4885A12FF91C9FCA2EAFE3EEAF83CEA7878EA3FF06C5AEA07C02A5383BF1C>我我<147014F8EB01FC1303A214F8EB01F0EB00E01400AD137C48B4FC481380EA078F380E0FC0121E121C003C13E0007813C0131F127012F0EB3F80A212E038007F00A213FEA3485AA3485AA33807F01C143CEA0FE0A21478EA1FC0147014F014E01381380F83C0EBC7803807FF006C5AEA00F8163E79BC1C>I107天我<903903E001F8903907F807FE496C487E903A1E3E3E0F80903AC3F7807C0017801F013E015E001709038C003F013F015803901E07F0017F8A21607EBC0FEC7FCA217F04948130FA44948EB1FE0A317C04948133F1780A2EE7F004948137E6E13FE5E4B5A011F495A02F85B4B5A9138FC1F8090263F9FFFC7FCEC8FFCEC83E00280C8FC49C9FCA413FEA4485A31203387FFFF0A2B5FC6C5B2D3A80A72E>I114D类我<137C48B41438486D137C260787C013FEEA0F07001E7F001C4A5AEA3C0F123812784B5A38F01FC0A2EB3F8000E04A5A1200EB7F00A24B5A13FEA3488495AA4484890383F80E01681A392387F03C0A39238FF078012014A14003A00FC03BF0F90397E0F1F1E90393FFE0FFC6D486C5A903907F003F02B2979A731>我<017CEB03C048B4EB07E0489038800FF0380787C0D80F07131F001E13E0001CEC0FF8D83C0FEB07F0003814031278150138F01FC0A2EB3F8000E015E01200EB7F00A2ED03C013FEA3488EB0780A3ED0F00485A150E151EA2151C5DA200015C15F06D485A000495A90387E07806DB4C7FCEB1FFCEB03F0252979A72A>I<017C16F048B491387001F8486D9038F803FC3A0787C001FCD80F071507001E13E0001C913903F803FED83C0FED01FC0038160012784B48137C38F01FC0A2EB3F8000E04A4813781200EB7F00A24B4813F013FEA348890393F8001E0A3EF03C04848EB7F001A218801707A2EF0F005D0001161E4A141CD800FCEC803CDA03DF5B903A7F078FC1F0903A3FFF07FFE090260FFE035B902703F8007FC7FC372979A73C>I<137C48B41438486D137C260787C013FEEA0F07001E7F001CEC01FCEA3C0F12381278ED03F838F01FC0A2EB3F8000E0EC07F01200EB7F00A2ED0FE013FEA3488EB1FC0A448EB3F80A4ED7F00A35D00015C14013800FC03EB7E0F6DB45AEB1FFDEB07F1EB00014A5AA25D000E1307003F5C387F800F5D4A5A1300007E49C7FC007C137E00785B387C01F8383E07E06CB45A6C90C8FCEA03F8273B79A72C>121东经%EndDVIPS位图字体%DVIPS位图字体:Ff cmsy10 10.95 22/Ff 22 107 df<007FB812FEBAFCA26C17FE3804799847>0 D<121E123FEA7F80EAFFC0A4EA7F80EA3F00121E0A0A799B19>我15 D<4AB612FE021F15FF147F49B712FED907FEC9fceb1fe0eb3f80017ecafc13f8485a485a85a5b48cbfc5a121e5aa35aa35aaa1278a37eA37E121F7E6C7E7F6C7E137E6D7EEB1FE0EB07FE0101B712FE6D6C15FF141F020115FE91CAFCAE001FB812FE4817FFA26C17FE384879B947>18 D<1806181F187FEF01FEEF07F8EF1FE0EFFF80933803FE00EE0FF8EE3FE004FFC7FCED03FCED0FF0ED3FC003FFC8FCEC03FCEC0FF0EC3FC002FFC9FCEB07FCEB1FF0EB7FC04848CAFCEA07F8EA1FE0EA7F8000FECBFCA2EA7F80EA1FE0EA07F8EA01FF38007FC0EB1FF0EB07FCEB00FFEC3FC0EC0FF0EC03FCEC00FFED3FC0ED0FF0ED03FCED00FFEE3FE0EE0FF8EE03FE933800FF80EF1FE0EF07F8EF01FEEF007F181F18061800AE007FB812FEBAFCA26C17FE384879B947>20D<126012F812FEEA7F80EA1FE0EA07F8EA01FF38007FC0EB1FF0EB07FCEB00FFEC3FC0EC0FF0EC03FCEC00FFED3FC0ED0FF0ED03FCED00FFEE3FE0EE0FF8EE03FE933800FF80EF1FE0EF07F8EF01FEEF007FA2EF01FEFEF07F8F8EF1FE0EFF80933803FE00EE0FF8EE3FE004FFC7FCED03FCED0FF0ED3FC003FFC8FCEC03FCEC0FF0EC3FC002FFC9FCEB07FCEB1FF0EB7FC04848CAFCEA07F8EA1FE0EA7F8000FECBFC12F81260CCFAE007FB812FEBAFCCA26C17FE384879B947>我<007FB67EB712F816FE6C6F7EC9EA7FE0EE07F8EE01FCEE007E171FEF0F80EF07C0EF03E01701EF00F018F81878183CA3181EA31818180FAA181EA3183CA3187818F818F0EF01E01703EF07C0EF0F80EF1F00177E4C5AEE07F8EE7FE0007FB71280B748C7FC16F86C1580383679B147>27 D<1418143CA35CA35CA2495AA2495AA1495AA2495A49CDFC5B133E5B5B485AEA07E0EA1FC0007FBB12FCBC12FEA26C1AFCD81FC0CDFEA07E0EA01F06C7E137C7F7F7F6D7E6D7EA26D7EA26 D7EA21478A380A314184F307AAE5B>32D<4AB512F8021F14FC147F49B612F8D907FEC8FCEB1FE0EB3F80017EC9FC13F8485A485A485A5B48CAFC5A121E5AA35A35AA35AA3B812F817FCA217F800F0CAFCA31278A37EA37E121F7E6C7E7F6C7E137E6D7EEB1FE0EB07FE0101B612F86D6C14FC141F020114F82E3679B13D>50直径<1718173CA21778A217F0A2EE01E0A2EE03C0A2EE0780160F1700161EA2第五次会议5AA24AC8FCA2141EA25CA25CA25C13015C495AA245AA249C9FCA2131EA25BA25BA25BA 2485AA2485A12075B48CAFCA2121EA25AA25AA25AA 212602E5474C000>54D<007FB81280B912C0A27ECA1203B3EF018032187B9F3D>58 D<1518153CA35DEB03FCEB0月13日至5月7日07月07日08月48486日07月848487日07月07日07月02日80日07月03日81日00日80A2489038078FC0A4007E90380F07E0A4141EA200FE15F0143CA41478A414F0A3EB01E0A4EB03C0A4EB0780A2007E15E0EB0F00A3007F140F131E003F15C0A36C48148001BC131F000F150013F85D0007143E00035C6C485BEBF8013900FE07E090B55AD801EF90C7FCEBE3FC01E0C8FC485AA36C5A244D7CC52D>I65天67天92 D<15C04A7EA24A7EA24 A7EA3EC0F3CA2EC1E1EA24A7EA34A6C7EA24A6C7 EA249486C7EA34481378A249C77EA2011E80A34980A2496E7EA2496E7EA348486E7EA24.8486E4EA248481578A348C97EA2001E82A24882A348EE0780A248EE03C0A20060EE018032397BB63D>94 D<0060EE018000F0EE03C0A10078EE0780A26CEE0F00A36C161EA26C5EA26C6C5DA36C6C5DA26C6C4A5AA26C6C4A5AA301784A5AA26D4AC7FCA26D141EA36D5CA26D6C5BA26D6C6BA26D4C485AA36D6C485AA29138780780A26E48C8FCA3EC1E1EA26E5AA2EC07F8A36E5AA26E5AA26E5A32397BB63D>I<157FEC03FF141FEC3FE0EC7F80ECFE00495A495AA2495AB3AB3AA495AA2495A5C017FC7FC13FEEA07FCEAFFF0138013F0EA07FCC67E137FEB1F80806D7EA26D7EB3AA6D7EA 26D7E6D7EEC7F80EC3FE0EC1FF1403EC007F205B7AC32D>102 D<127EEAFFE013F8EA07FEC67EEB3F806D7E6D7EA26D7EB3AA6D7EA 26D7E1300147EEC3F80EC1FE0EC07FF14011407EC1FE01EC3F80EC7E005C1301495AA2495AB3AA495AA21495A495A01FFC7FCEA07FEEAFFF813E0007EC8FC205B7AC32D>I<146014F0A2EB01E0A3EB03C0A3EB0780A2EB0F00A3131EA35BA25BA35BA3485AA3485AA2485AA348C7FCA3121EA25AA35AA21278A37EA37EA27EA36C7EA36C7EA26C7EA36C7EA31378A37FA27FA37FA3EB0780A2EB03C0A3EB01E0A3EB00F0A21460145A77C323>我<126012F0A21278A37EA37EA27EA36C7EA36C7 EA26C7EA365C7EA31378A37FA27FA37FA3EB0780A2EB03C0A3EB01E0A3EB00F0A2EB01E03EB03C0A2EB0780A20F00A3131EA35BA25BA35BA35BA3485AA3485AA485AA2485AA348C7FCA3121EA25AA35AA21260145A7BC323>我<126012F0B3B3B3B3B11260045B76C319>我爱%EndDVIPS位图字体%DVIPS位图字体:Fg cmmi10 10.95 21/图21 117 df<121E123FEA7F80EAFFC0A4EA7F80EA 3F00121E0A0A798919>58D<121E123FEA7F80EAFFC0A313E0127F123F121E1200A5EA01C0A30380A212071300120EA25A5A12200B1C798919>我<1806181F187FEF01FEF07F8EF1FEFEF80933803FE00EE0FF8EE3FE004FFC7FCED03FCED0FF0ED3FC003FFC8FCEC03FCEC0FF0EC3FC002FFC9FCEB07FCEB1FF0EB7FC04848CAFCEA07F8EA1FE0EA7F8000FECBFCA2EA7F80EA1FE00EA07F8EA01FF38007FC0EB1FF0EB07FCEB00FFEC3FC0EC0FF0EC03FCEC00FFED3FC0ED0FF0ED03英尺00英尺3英尺0英尺8英尺03英尺933800英尺80英尺1英尺07英尺8英尺01英尺07英尺81英尺806383679B147>我65个D<49B612E0835FA2D900010180C7FC4BC8FCA34A5AA44A5AA44A5AA44A5AA44A5AA44AC9FCA4495A1804180EA24948151CA2183C1838495A1870A218F0494815E01701A2EF03C049481407170FEF1F80177F4948EB01FF017F021F1300007FB8FCB9FC5FA2373E7DBD3E>76 D<49B77E18F818FF8590280001FE000113E09438003FF0F00FF8727E4A5A727EA34A4881A44A484A5AA34E5A4A5A614E5A4A4A484A5A4E5A4D48C7FCEF0FFC4A48EB7FF092B6128005FCC8FC5F9139FF0001FEEE007F717E717E4948140F84A3494881A44948141FA44948143FA44948027F5BF10380A2F107004948143F496C160E007FB500E0131FB66F5A050F13784B6DB45ACA00015B9438003F8041407DBD45>82D类86编号:027FB5D88007B512C091B65BA26E02001580020001F00101EBF000DB7FC06D1380033F4BC7FC7014F84E5A6F6C495A4E5A6F 6C5C4EC8FC606F6C133E606F6 C5B4D5A4D5A6F6 C485A4D5A6F018FC9FC179E17BEEE7FFC5F705A5FA2707EA283163F167F4C7EED01F7923803E3FEED07C3ED0F8392381F01FF153EDB3C007F5D15F84A486D7E4A5A486D7 E4A5A3AC7FC023E6E7E5C02786E7E4C495A01036F7EEB0FC0D93FE06E7E48B46CEC1FF007F01FE49B512FE85B55F6C5B4A3E7EBD4B>88天98 D<163EEEFF804B13C0923803E1E0923807C3F0ED0F87ED1F8F169FED3F1FA2037F13E0EE0FC0EE0780037EC7FC15FEA54A5AA54A5A0103B512FE5BA25E90260007F0C7FCA54A5AA64A5AA54A5AA54AC8FCA514FEA5495A45C1303A35CA2380F07E0EA3F87127FEBC7C0EAFF87EB8F80130F4848C9FCEA7C1EEA783CEA3FF86C5AEA07C02C537CBF2D>102 D<147814FC1301EB03FEA2EB07FCEB03F814F0EB01E090C7FCAC13FC487E487E38070F80000E13C0121C003813E0A21270EB1FC0A212E0EB3F80A212C038007F00A213FEA3485AA3485AA33807F00C141CEA0FE0A21438EA1FC01470A214E0A2380FC1C0EBC7803807FF006C5AEA00F8173E7DBC1F>105 D112德国<91383F80089138FFE03C0103EBF07890390390FE0F8F890381F80390383F001F017E14F049130F485A12034914E01207485AA2001FEC1FC05B123FA24848EB3F80A448C7EA7F00A415FE5AA3007E495AA214036C13074A5A6C131FEB803F380FC1F36CB4485A000113C738007E0713004A5AA44A5AA44A5AA3147F90383FFFFEA4263A7DA729>我I<147014F813011303A4495AA4495AA3007FB512E0B6FCA339003F800049C7FCA413FEA4485AA4485AA4495AA4484813C01401A2EC0380EA1FC0EC0700A2140E5C000F5B5C3807C1E06CB45A6C5BD8007EC7FC1B3A7EB821>电子%EndDVIPS位图字体%DVIPS位图字体:Fh cmbx12 12 34/Fh 34 121立方英尺12天46D类49天I小于163F5E5EA25D5D5DA25D5D5D5A292B5FC5C5C15EFEC07CF140FEC1F8FEC3F0F143E147C14FCEB01F8EB03F014E0EB07C0130FEB1F80140133E137E5B485AB485A1207485A5B48C7FC5A127E5AB91280A5C8001F90C7FCAB91B71280A531417DC038>我<00031503D807E0143F01FFEB07ff91b6fc5e5e5e5e5e5e93c7fc15fc15f015c002fc8fc01c0c9fca9ec3f001c1b5fc01C714C001DF14F09039FFC03FF89039FE000FFC01F86D7E496D7E4815804915C06C5AC86C13E0A217F0A317F8A21203EA1FC0487E487E7E7F12FF7F17F0A25B17E06C485B4915C05B6CC74813806C6C15006D495AD80FF0EB3FFCD807FEEBFFF86CB65AC615C06D91C7FC010F13FC010113C02D427BC038>我65天67天71D类76天80D类83编号:903801FF0011F13FF017F14C048B612F04848C626C7ED807F8EB1FF486C6D7E6D6D7E486C81818381836C5A6C5A665A6C5AC8FCA30203B5FC91B6FC1307013F13F19038FFFE01000313F0481380481300485A485AA2485AA45DA26C6C5BA26C6C010E13F86C6C013Cebffc03a0fff80f87f6cebfff06ce01fc66eb8007d90ffcc9fc322f7dad36>97D类99 D<4CB4FC0307B5FCA5ED001F82B1EC3FF0903803FFFE010FEBFF8F013F14EF90267FF807B5FC3901FFC00148496C7E4890C77E49140F120F485AA2123FA2485AA412FFAA127FA4123F7F121FA2000F5D7F6C6C147F6C92B512806CD9C00314FE6C9038F01FE013FB512CF6D140F010713FC9026007FC0EBF80037467CC43E>I<913801FF80021F13E0027F13F849B512FC0107138790390FFE0FFED91FFC13FF49485A137F14F013FF14E048EC0FFEED07FCED03F8ED00E01600AAB612F8A5000101E0C7FCB3B0B612E0A528467DC522>我我<137C48B4FC487F487FA2487FA56C5BA26C5B6C90C7FCEA007C90C8FCAAEB3FE0EA7FFFA512037EB3AFB61280A519467DC51F>I108 D<90277FC003FFEC07FEB5011F01E090383FFFC04B01F84913F092B56C48B57E913DC1F81FFE03F03FFC913DC3C00FFF07801FFE00039026C7800790380F000F6CD9CE00029C8002DE6D01BC7F02DC03F8158002F85DA24A5DA34A5DB3A7B600C1B60083B6FCA5582D7DAC5D>I<90397FC003FFB5011F13E04B13F892B57E9139C1F81FFE9139C3C00FFF00039038C780076CD9CE008002DE7F02DC8114F8A25CA35CB3A7B600C1B61280A5392D7DAC3E>II<90393FE00FFCB590387FFFC002E3B512F002EF14FC9139FFE03FFE9238000FFF000301FC010313806C4915C04A6D13E05C7013F018F8177FA218FCA2173F18FEAB18FC177FA318F817FF18F0A24C13E06E15C06E4913806E5B02FF90380FFE009238E07FFC02E7B55A02E314E002E01480DB0FF8C7FC92C9FCADB612C0A537407EAC3E>I<90397FC03F80B5EBFFE002C113F802C313FC9138C7C7FEECCF0700039038CE0FFF6C13DE14FC14F8ED07FEA29138F003FCED00F01600a25cb3a6b612f0a25282d7eac2e>114 D<90391FFC038090B5128F000314FF5A380FF003381FC0004848133F48C7FC151FA248140FA27FA26D90C7FC13F0EBFF806C13FCECFF806C14E015F86C806C806C18012016C1580011F14C01301D9000F13E014010078EB007F00F08143FA26C141FA36C15C0A27E6DEB3F807F6DEBFF009038FC03FE90B55A00F814F0D8F03F5B26E007FEC7FC232F7CAD2C>I119D类I E公司%EndDVIPS位图字体%DVIPS位图字体:Fi cmsy9 9 1/Fi 1 25 df<013F16402601FFE015604801F815E0487F4813FF488001C06D1301273E001FE014C0003CD907F81303486D6CEB0780070D900FF130F00F091397FE07F00486EB5FC6F5B03075B6F5P006002005B0040ED1F8033127C9B3C>24东经%EndDVIPS位图字体%DVIPS位图字体:Fj cmtt9 9 36/Fj 36 123 df<121E123FEA7F80EAFFC0A4EA7F80EA 3F00121E0A0A728927>46编号:1538157815FCA2140115F8140315F0140715E0140F15C0141F1580143F1500A25C147E14FE5C13015C13035C13075C130F5CA2131F5C133F91C7FC5B137E13FE5B12015B12035BA212075B120F5B121F5B123F90C8FC5A127E12FE5AA212778A21E3A7CB327>I型I<130E131FA25BA25B5B5A5A123F5AB5FCA2133F127E1200B3A8003FB5FC48148015C0A215806C14001A2F79AE27>我我<14FF010713C0011F13E04913F04913F 890B5FC48EB81FC3803FC03EA07F8EA0FE0A2391FC001F8393F8000F0150090C8FC5A007E1340EB1FFE38FE7FFF48B512C000FD14E0B612F015F8EBF0079038C001FC90C712FEA248147E157F153FA3127EA3007F147F7E6D137E001F14FE9038C001FC380FE0039038F81FF86CB512F06C14E06C14C06C1400EB3FFEEB0FF820307DAE27>54 D56天I<121E123FEA7F80EAFFC0A4EA7F80EA 3F00121EC 7FCAC121E123FeA7F80 EAFFC0A4EA7F80EA3F00121E0A20729F27>I<90387FC0E03901FF1F04813FF5A5A383FC07F387F001F007E130F00FE13075A1403A3EC01E06C90C7FC127E127FEA3FC013F86CB47E6C13F86C13FE00017F6C1480010F13C0013E0EC0FF0EC03F81401A215FC14001238127C12FCA2140016C14F8140338FF80079038F01FF090B512E015C01580150000F85B38701FF81E307CAE27>83 D<3803FFC0000F13F04813FC487F487F819038807FC0383F001F001E6D7E000C1307C7FCEB1FFF90B5FC12075A5A383FFC07EA7FC0EAFF0012FCA3140F7E007F133FEBC0FF6CB612806C15C07E6C13F36C13C1C69038007F8022207C9F27>97D类我<153F90391FC0FF80D97FF313C048B612E05A5A4814CF3A1FF07FC7C09039C01FC3809039800FC000003F80EB0007A4EB800F001F5CEBC01FEBF07F6CB55A92C7FC485B5CEB7FF0EB1FC090C9FCA213A06CB5FC6C14E04814F8488080397F8001FF007EC7EA3F80007C140F00FC15C0481407A46C140F007EEC1F80D87F80137F3A3FF003FF006CB55A6C5C6C000114E06C6C1380D90FFCC7FC23337EA027>我我<130F497E497EA46D5A6DC7FC90C8FCA7383FFF80487FA47EEA000FB3A2003FB512E04814F0B612F8A26C14F06C14E01D2F7BAE27>I<143C147E14FFA4147E143C1400A73801FFFE4813FFA47EC7123FB3AE147F003C137E007E13FEB413FC1303EBFFF814F06C13E06C13C06C13803807FE0018407CAE27>II<387FFF80B57EA47EEA000FB3B0007FB512F8B612FCA46C14F81E2E7CAD27>我<397F07C01F3AFF9FF07FC09039FFF9FFE091B57EA26C81390FF87FE19038E03F8001C01300A3EB803EAF3A7FF07FC1FF27FFF8FFE3138001F913E7A201F813E3277FF07FC113002920819F27>I<387FE07F39FFF1FFC001F77F90B57E817E0003EB81FCEBFE005BBBA25BAF3A7FFF81FFE0B500C313F014C7A214C36C018113E024207F9F27>我I<397FE07F8039FFF1FFE001F77F90B57E816C800003EB81FF9039FE007F8001F8133FED1FC049130FA216E01507A6150F6D14C0151F7FED3F806D137F9039FF83FF00ECFFFE5D5D01F75B01F313C001F090C7FC91C8FCAB387FFF80B57EA46C5B23317F9F27>I<393FFC03FC397ffe0ff00ff013f13804a13c0007f90b5fc6cb6fc39007ffe1f9138f80f809138e002004AC7FC5CA291C8FCA3137EAB003FB57E4880B6FCA27E6C5C22207E9F27>114D<9038FFF3800007EBFFC05A5A38FF801F38FE000F5AEC07806C90C7FCEA7F8013FC383FFFE06C13FC000713FF00011480D8000F13C09038007FE0140F0038EB03F0127C12FC7E6C13079038C03FE090B5FC15C01580150000FB13FC38707FF01C207B9F27>我<131C133E137EA7003FB512F04814F8B6FCA36C14F0D8007EC7FCAB1518153C157EA4017F13FE15FCEB3FC3ECFFF86D13F06D13E06D13C06D1380903800FE001F297EA827>我<397FE01FF8486C487EA4007F131F00031300B114011403EBF80F90B612E06C15F07E7FEB3FFC90391FF07FE024207F9F27>我<3A7FFC0FFF80486C4813C0A46C486C13803A07E001F8000035CA2EBF00300015CA2EBF8070005CA390387C0F80A36D48C7FCA3EB3F3FEB1F3EA214FE6D型5AA36D5AA26D5A22207E9F27>我<3A3FFC03FFC0486C4813E0B54813F0A26C486C13E06C486C13C03A0F80001F00A26D5B0007143EA414F8EBC1FC3903E3FE7CA4EBE7DEA20001EBDF78A213F7A2148F01FF13F86C5CA2140F140790387E03E024207F9F27>我<393FFC0FFE486C487E4A1380A26E13006C486C5A000014C04A5A017E90C7FC6D5AEB1F7E5C6D5A13076D5A5C80497E130F497E143EEB3E3FEB7E1F90387C0F8001F87F00016D7E393FFC0FFF486C481380B54813C0A26C486C13806C486C1 30022207E9F27>我<000FB512FE4814FF5AA315FE90380003FCEC07F8EC0FF0EC1FE0001EEB3FC0C7EA7F80ECFF00495AEB03F8495A495A495AEB7F8049C7FC48131E4848133F485A48A485A485A445A485A48B6FCB7FCA46C14FE20207E9F27>122东经%EndDVIPS位图字体%DVIPS位图字体:Fk cmr9 9 23/Fk 23 122东风12 D<121C123E127FEAFF80A3EA7F00123E121C09097A8815>46天<90381FE00390387FFC0748B5FC3903F01F8F39078003DF48C7B4FC001E804880A24880A200F880A381A27EA2007E91C7FC127F13C0EA3FF013FF6C13F06C13FF6C14C06C80C614F8013F701037FEB003FEC03FF1400ED3F80151F16C0150F126000E01407A47E1680A26C140F16006C5C6C141E6C6C5BD8FBE013F839F1FC03F000E0B55A011F138026C003FEC7FC22377CB42B>83天97天I<153FEC0FFFA3EC007F81AEEB0FF0EB7FFC90B5FC3901FC0FBF3907E001FF487E497F001F8048C7FCA25A127EA212FEA8127EA2127F7EA26C6C5B5D6C6C5A6C6813803A03F81F3FFC3801FFFE38007FF8D91FE0130026357DB32B>我我<14FEEB03FF010F138090381F8FC090383E1FE0137C13F81201EC0FC03903F0078091C7FCABB512F0A3D803F0C7FCB3A7487E387FFFE0A31B357FB417>我<151F90391FC07F8090387FF0FF3A01FFFDE7C03903F07F873907C01F073A0F800F838001FECC000EB00074880A76C5CEB800F000F5C6C6C48C7FCEBF07EEBFFFC380C7FF0EB1FC0001CC9FCA2121EA27EEBFFFE6CEBFFC015F06C80000F80391F0001FE003EEB007F48141F168048140立方英尺5007立方英尺2000立方英尺2003立方英尺47立方英尺6立方英尺5立方英尺390立方英尺2007立方英尺8000立方英尺512立方英尺6立方英尺1480d91立方英尺7立方英尺22337EA126>我I<1207EA0F80EA1FC0EA3FE0A3EA1FC0EA0F80EA0700C7FCA9EA07E012FFA3120F1207B3A6EA0FF0B5FCA310337EB215>我107天我<2703F01FE013FF00FF90267FF80313C04A6C487F903BF3C0FE1E07F03C07F7003F3801F8D803F6143001FC90391FE000FC495CA3495CB3486C487EB53BC7FFFE3FFFF0A33C217EA041>我<3903F01FC000FFEB7FF09038F1FFF89038F3C0FC3907F7007EEA03FE497F5BA35BB3486CEB7F80B538C7FFFCA326217EA02B>I我<3903F03FC000FFEBFFF001F313FC9038F7C0FE3907FE007F6C48EB3F8049EB1FC04130F16E0150716F0A2150316F8A816F01507A216E0150F6D14C0ED1F806DEB3F006D137E9038F781FC9038F3FFF801F113E09038F03F8091C8FCAA487EB512C0A325307EA02B>I<3803E07C00FF13FF01E113809038E39FC03807E71FEA03EE9038EC0F809038FC070049C7FCA35BB2487EB512E0A31A217FA01E>114天I<1370A513F0A31201A212031207120F121FB512FEA33803F000AF1407A8140EEA01F8A23800FC1CEB7FF8EB3FF0EB0FC0182F7FAD1E>I118编号:3A7FFF80FFF8A33A07F8003FC06C48EB1F806C6CEB0F00150E6D131E000141CA2017E5BA2017F13786D1370A26D6C5AA214C1010F5B14E301075BA2D903F7C7FCA214FF6D5AA26D5AA31478A21470A214F05CA2495A127CEAFE035C49C8FC5BEAF1EEA783CEA3FF86C5AEA07C025307F9F29>东经121%结束DVIPSBitmapFont%DVIPS位图字体:Fl cmr6 6/Fl 6 55 df<137013F0120712FFA212F91201B3A6B512E0A313217AA01E>49D类我<13FE3803FFC04813E0380F03F0381E00F8003f13fc147c138013006c13fc000c13f8c7fceb01f0eb03e0eb0cc03801ff00a2380003E0EB00F8147C147E143E143F127CA212FEA2147E5A007813FC383E01F8381FFFF0000713C00001130018227DA01E>I<14E013011303113031307A2130F131FA2133B137313E3A2EA01C3EA0383EA0703A2120E121CA21238127012E0B6FCA3380003E0A6EB7FFFA318227DA11E>我<00301330383E01F0383FFFE014C01480EBFE0013F00038C7FCA513FC383BFF80383F07C0383C01E0003813F0381000F8C7FCA214FCA2127812FCA314F8EAF801007013F0387803E0383E0FC0381FFF806C1300EA03F816227CA01E>II E公司%EndDVIPS位图字体%DVIPS位图字体:Fm cmcsc10 10.95 7/表格7 119 df100D类108D类111D<90383FC00C9038FFF81C0003EBFE3C3807E03F390F0007FC001E1301481300A248147C153C12F8A2151CA27EA26C1400EA7F8013E0EA3FFEEBFFE06C13FE6CEBFF806C14C0000114E06C6C13F0010F13F801013FC1407EC01FE1400157F153F126000E0141FA46C141EA26C143E153C6C147CB414789038C001F039F3F807E000F1B512C0D8E07F130038C007FC20317BAF2A>115天东经118%EndDVIPS位图字体%DVIPS位图字体:Fn cmr8 8/Fn 8 55立方英尺43D类48 D<130E131E137EEA01FE12FFA2EAFE7E1200B3AF13FF007F13FFA3182C7BAB23>我I<140F5CA25C5CA25C5BA25BEB07BF143F130F131E131C1338137813F013E01201EA03C01801207EA0F00120E121E5A123812785AB612FCA3C7EA3F00A8EC7F8090381FFFFCA31E2D7EAC23>I<000CEB0180381F801F801 F90B5FC15005C14F85C14C0D81C7CC7FC90C8FCA7EB1FC0EB7FF0381DFFFC381FE07EEB801F01001380001EEB0FC0120CC7EA07E0A315F0A3123C127E12FEA215E0A248130F007014C00078EB1F8000381400001E133E380F80FC6CB45A000113E038007F801C2D7DAB23>我I E公司%EndDVIPS位图字体%DVIPS位图字体:Fo cmsl10 10.95 22/Fo 22 122东风12D<007FB5FCA2B512FEA418067C961E>45 D97天我<17FC913907F803FE91393FFE0FFF91B5EA9F1F903A01FC0FFC3F903903F007F0902607C003131E010F150C903A01F800133F14004980A301FE495AA45E017E495AA2013E495AA013F495A6D49C7FC90383FC0FE903877FFF801f15b9038e07f80000190c9fca41203a26c7e90b512f8edf806c15e06d8090b67e003813A0FE0000FFED81F80130148C8127F123E007E815AA4167EA25E007E4A5A4B5A6C6CEB0FE06C6CEB3FC02707F801FFC7FC6CB512FC66C13F0010F90C8FC303D7FA82D>103D<147814FCEB01FE130314FFEB07FE130314 FCEB01F8EB00F01400ACEB03F83801FF0A4EA001F130F14E0A6EB1FC01A6EB3F80A6EB7F00A613FEA4201387FFFF814F0A2B5FC183E7DBD1A>105 DI<143FEB1FFF5BA313001EB00FEA6EB01FCA6EB03F8A6EB07F0A6EB0FE0A6EB1FC0A6EB3F80A6EB7F00A613FEA4487E007F13F8A3B5FC183F7DBE1A>108D<902707F007F8EB03FC2803FFE03FFF90381FFF804B6D4813C0913CE1F01FC0F80FE0913CE3C00FE1E007F03D001FE70007E38003D90FEEDAF70013F84A14FE02F85C4A5CA24A5CA2011F020FEC07F04A5CA549484948EB0FE0A649C74848EB1FC0A601FE4AC7EA3F80A4486C4A6CEB7FC0007FD9FC3FD9FE1FB5FCB54848494813FEA348287DA74C>I<903907F007F83A03FFE03FFF4B13809139E1F01FC09139E3C00FE03A001FE70007D90FEE14F05C14F85CA25CA2011FEC0FE05CA54948EB1FC0A649C7EA3F80A601FEEC7F00A4486CECFF80007FD9FC3F13FEB5484813FCA32F287DA733>I我<027F13FF90267FFE0713C0031F13F092387E03F89238F000FC902601FFC0137E4B137F92C7EA3F804A15C04A141FA218E0A24948140FA218F0A318E0494814FA5EF3FC0495A1880177F18005F4C5A011F5D4C5A6E495A4C5A4E495A02DCEB7F8090273F8F01FFC7FC913887FFFC028313F09138807F8092C9FCA249CAFCA613FEA4487E007F13FCB55AA3343A81A733>I<903807F03F3A03FFE0FFC002E113E09138E3C7F09138E70FF838001参见0FFC02DC13F002F813E09138F007C0ED038092C7FC5C131FA25CA4495AA649C8FCA613FEA4487E007F13FEB5FCA325287EA724>114 D<9138FF81800107EBE3C0011FEBF78090383F00FF017C131F01F0130F485A120349EB07001207A37F150601F890C7FC13FF6C13F814FF6C14C06C806D7F6D7W01077FEB007FEC07FE14010018EB007E1238A2003C143EA2153C007C147CA2007E14785D007F495AEB800339FFE01F8000F1B5C7FC38E07FFC38C01FE0222A7DA824>我我<01FE147FB448EB7FFEA4000714030003140495CA64848495AA64848495AA64848495AA4151FA249495AA2157F15FF913801DF03B0FC0079FFF802707F01F3F13003803FFFE6C13F826003FC013802977A733>我我<90B539E007FFF05E18E0A2903B07FE0003FE006D48EB01F8705A01015D4C5A16036E5C0100140794C7FC160E805E805E1678ED8070023F13F05EED81C015C191381FC38015C793C8FC15EF15EEEC0FFCA25DA26E5AA25DA26E5A5DA24AC9FC5C140E141E141C5C121C003F5B4813F0485B495A130348485A4848CAFCEA783EEA7FFCEA3FF0EA0FC0343A80A6东经30>121%结束DVIPSBitmapFont%DVIPS位图字体:Fp cmr10 10.95 88/Fp 88 128立方英尺0天5 D<9239FF8007F0020F9038E03FFC027F9038F8FFFE913AFF00FDFC3FD903F89037FF07F49489039FFE0FF8090260FC0015BEB1F80013F5DD97F00ED7F006FEB003E017E6E90C7FC13FEADB97EA4C648C76CC8FCB3AC486C4A7E007FD9FC3FEBFF80A439407FBF35>11 D<15FF020F13E0027F7F4AC67ED903F8133C4948133ED90FC013FE49487F013F5BEB7F00A2017E6D5A13FE163893C7FCAA167FB8FCA43900FE00018182B3AA486CECFF80007FD9FC3F13FEA42F407FBF33>I<4AB47E020F13F7027F13FF4AC67ED903F85B49485AEB0FC0EB1F80133F49C7FC82137E13FEADB8FCA4C648C77EB3AC486CECFF80007FD9FC3F13FEA42F407FBF33>I<4AB4EC7F80020F9039E007FFF0027FD9F03F7F913BFF01F87F807C903C03C03F8003DFC001E4948D97FF8131FD90FC0D9FFE0137F494841480013F17FFD97F005CA2017E92C7EA7F0001FE7F70141C96C7FCAAF13F80BBFCA4C648C76CC7FC197F193FB3AA486C4A6CEB7FC0007FD9FC3FD9FE1FB5FCa48407fbf4c>I<133e133f137f13ffa2ea01eea03fcea07f813f0ea0fe0ea1fc01380EA3E005A5A1270122010116EBE2D>19 D<00E01470A4007014E0A20078130103814C0003C13036CEB0780381F801F390FE07F003807FFFE6C5BC613F0EB3FC01C1078BE2D>21D类24天<1478EB03F8EB1FFC3801FF8000F13C0387FFE00EAFFE06CC7FC127816097EA219>32 D<001E130F003FEB1F80397F803FC039FFC07FE0A301E013F0007F133F003F131F001EEB0F700001300A54813E0A339038001C0A20007130301001380000EEB0700A248130E485B485B002013101C1C7DBE2D>34D<121E123FEA7F80EAFFC0A313E0127F123F121E1200A5EA01C0A30380A212071300120EA25A5A12200B1C79BE19>39 D<1438147814F0EB01E0EB03C0EB0780EB0F00A2131E5B137C137813F85B1201485AA2485AA3485AA3121F90C7FCA25AA2123EA2127EA5127C12FCB2127C127EA5123EA2123FA27EA27F120FA36C7EA36C7EA 26C7E12007F1378137C133C7F7FA2EB0780EB03C0EB01E0EB00F014781438155A78C323>我<12C07E7E12787E7E7EA26C7E6C7E7F12017F12007F137CA27FA37FA31480130FA214C0A21307A214E0A5130314F0B214E01307A514C0A2130FA21480A2131F1400A3133EA35BA25B5B12015B12035B485A48C7FCA2121E5A5A5A5AA145A7AC323>I<1506150FB3A9007FB912E0BA12F0A26C18E0C8000FC9FCB3A915063CC7BB447>43 D<121E123FEA7F80EAFFC0A313E0127F123F121E1200A5EA01C0A3EA0380A212071300120EA25A5A12200B1C798919>我我<121E123FEA7F80EAFFC0A4EA7F80EA 3F00121E0A0A798919>我48个D<14E013011303130F137FEA07FFB5FCA2139FEAF81F1200B3B3AA497EB612FCA41E3D78BC2D>I型I<151E153EA2157E15FEA214031407A2140E141E141C143C1478147014F0EB01E014C01303EB078014005B131E131C133C5B137013F05B485A12035B48C7FC5A120E121E5A123812785AB8FCA4C73801FE00AB4A7E0103B6FCA4283E7EBD2D>I<00041403d80f80131f01f813ff90b55a5d5d15c05d4ac7fceb7ff090c9fcaceb01fe90380FFF804913E090387E07F09038F001F8496C7E49137E49137F90C7EA3F801206C813C0151F16E0A316F0A4123E127F487E7FA216E05B90C7FC007EEC3FC0127016806C147F003C15006C14FE6C495A9038C003F83907F00FF00001B55A6C1480D93FFEC7FCEB0FF0243F7立方厘米2d>II<1238123C123F90B612FCA44815F816F0A216E00078C7EA03C00070EC0780A2ED0F00151E5A5D5DA2C85A4A5A4A5AA24A5A140F92C7FC5C141E143E143C147CA25CA21301A2495AA31307A3130F5CA3131FA5133FA96D5AA20107C8FC26407BBD2D>II<121E123FEA7F80EAFFC0A4EA7F80EA3F00121EC7FCB3121E123FEA7F80EAFFC0A4EA7F80EEA3F00121E0A2779A619>I<121E123FEA7F80EAFFC0A4EA7F80ea3F00121EC7FCB3121E123FEA7V8012FF13C0A3127F123F121F1201A5EA0380A4EA0700A2120EA25AA25A5A12200A3979A619>I<007FB912E0BA12F0A26C18E0CDFCAE007FB912E0BA12F0A26 C18E03C167BA147>61D类63天65天I<011FB512FEA4D9000313806E1300B3B3A5120EEA3F80EA7FC0EAFFE0A35D140313C0D87F805B49485A123C6C495A6C6C485A3907E07F806CB5C7FCC613FCEB1FE027407DBD2F>I82天我<003FB91280A4D9F000EBE001018090397FC0003F48C7ED1FC0007C1707A200781703A300701701A548EF00E0A5C81600B3B04B7E010FB612FEA43B3D7DBC42>I89编号:003FB712F8A317F091C7123F01F0815E001E0147F0180ECFFC090C81380003E5C1700484A5A150700785D150F4B5A5E0070143F5E4B5A15FF5EC75A4A90C7FC5D14075D4A5A141F5D143F4A5D14FF5D4990C8FC5B4A141C1307495A5C131F5C495A017F153C53FF485B91C8FC4816785B484815F8120F491401001F15034848140F49143F007FEC01FF90B7FCB8FCA32E3E7BBD38>I型I<6D1340486C13E039038001C03907000380000EEB0700A248130E003C131E0038131CA2485BA3485BA500EFEB778039FF807FC001C013E001E013F0007F133FA3393FC01FE0391F800FC0390F0007801C1C73BE2D>I97天I<49B4FC010F13F0013F13FC90387F007E01FC7F4885B4848EBFF80485A120F485AED7F004848133E151C007F91C7FCA290C9FCA25AA97E7FA2123FED01C06C7EED03806C7E0007EC07007F6C6C130ED801FE133C39007F80F86DB45A010F13C0D901FEC7FC222A7DA828>我我<167C903903F803FE90391FF07FF017F9038df9f809039fe0ffe1f3901f803f82603f001eb0f003a07e00fc0693c7fc4848137ea2001F147FA7000F147EA26C6C5BA26C6C485A6C6C485A3903FE0FE090B55AD8071F90C8FCEB03F848CAFCA57F7F6CB512F015FE6C6E7E6C15E0488148813A0FC0001FFC48C7120348EC00FE007E157E167F4881A5007E157EA26C5D6C6C495A6C6C595AD807F0EB0FE0D803FEEB7FC0C6B6C7FC013F13FC010313C0293D7EA82D>II<147814FCEB01FEEB03FFA4EB01FEEB00FC14781400AC147FEB7FFFA413017F147FB3B3A4123E127F38FF807E14FE14FCA2EB01F8007E13F0383E07E0381FFFC06C1300EA01FC185185BD1C>I<EA01FC12FFA4120712031201B192B51280A492383FF80016C093C7FC153C5D5D4A5A4A5A4A5A020EC8FC141E143F14FF01FD7F9038FFDFC0148FEC0FE0496C7EEBFC0301F87F6E7E6E7EA2157F6F7EA26F7E6F7EA 282486C14FCB539F07FFFE0A42B3F7EBE30>我我<2701F801FE14FF00FF90270FFFC00713E0023FD9E01F7F913B7C07F03E03F8913BF003F87801FC3D07F9C001FCE000FE2603FB80EBFDC000010200157E01FFC7B448137F4992C7FCA3495CB3A5486C496CECFF80B5D8F87FD9FC3F13FEA447287DA74C>I<3901F801FE00FF90380FFFC0023F7F91387C07F09138F003F83A07F9C001FC3803FB800001140001FFC77E5BA35BB3A5486C497EB5D8F87F13FCA42E287DA733>我<14FF010713E0011F13F890387F81FE9038FC003F488EB1F804848EB0FC04848EB07E04848EB03F0001F15F8491301003F15FCA248C812FEA44815FFA96C15FEA36C6CEB01FCA36C6CEB03F8000F15F06D13076C6CEB0FE06C6CEB1FC06C6CEB3F803A007F81FE006DB45A010F13F0010090C7FC282A7EA82D>I<3901FC03FC00FF90381FFF804A13E09138FC0FF89039FDE003FC3A03FF8000FE6C90C7127F491580163F49EC1FC017E0A2160F17F0A2160717F8A917F0160FA217E0161F17C0163F6D1580EE7F006D14FE6E485A9039FDE003F89039FCF80FF091387FFFC0021F5BDA03FCC7FC91C9FCAC487EB512F8A42D3A7EA733>我<02FE131C903907FFC03C011F13E090387F09039FE00387C4848131C4848EB0EFC4848130748481303121F5B003F14015B127FA290C7FC5AA97E7FA2123F7FA2001F14036C7E6C6C1307150F6C6C131DD801FE137939007F81F190383FFFE1010F1381903801FC0190C7FCAC4B7E92B512F8A42D3A7DA730>I<3901F80FC000FFEB3FF0EC7FF8ECF1FC9038F9C3FE3807FB8312033801FF03EC01FC9038FE00F815701500A25BB3A4487EB512FEA41F287EA724>I<90383FC0603901FFF8E0000713FD380FC03F381E000F481303127C0078130112F81400A37E7E6C6C1300EA7FF0EBFF806C13F86C7F6C13FF6C1480000114C06C6C13E013039038003FF014070060EB03F800E01301A26C1300A37E15F06C130115E06C130339FF8007C039FBE01F8000F1B512000E013FC38C01FE01D2A7DA824>我<131CA6133CA4137CA213FCA2120112031207001FB512C0B6FCA3D801FCC7FCB315E0A90000EB01C013FE137E90387F038090383F8700EB1FFE6D5AEB01F81B397EB723>我I<001FB61280A3D9E000130001805B49485A001E1303001C495A003C5C140F4A5A0038495A5D147F4AC7FC5CEA0001495A495A5C130F90391FE00380EB3FC01480137FEBFF005B00011407485A485A491400000F5C485A495B4848137F007F495AB7FCA321277EA628>我I<001C130E007EEB1F80007F133F39FF807FC0A3397F003F80007E131F001CEB0E001A0977BD2D>127东经%EndDVIPS位图字体%DVIPS位图字体:Fq cmbx12 14.4 35/传真:35 122 df12个D<153C157EEC01FE1407141F14FF13070003B5FCB6FCA3147F13F8EAFC00C7FCB3B3A4007FB712FEA62F4E76CD43>49 DI<91380FFF8091B512F8010314FF010F15C0013F15F090267FF8077F9026FF80017F488C76C7ED803F881D807FE6E13807F486D15C06E7F486 D15E0A76C5D4A15C06C5B6C90C71480EA00FC90C8481300A24C5A5F4B5B5B4B5B3B5BB5B8B5B92B5C7FC91B512FC16F016C016FCEEFF80DA000713E0030113F89238007FFE707E70138018C07013E018F0A27013F818FCA3D801E016FEEA07F8EA1FFE487E487FA2B57EA218FCA44A4913F87E91C714F06C5D01FC16E06C484A13C0494A1380D80FFE91B512002707FFE0075B000190B65A6C16F0013F15C0010F92C7FC010114F8D9001F90C8FC374F7ACD43>我<177E17FF5E5EA25E5EA256E5E93B5FC5DA25D5D5DA2第5天第3天第7天第3天第15天第21天第3天第8天第7天第15天第15天第14天第14天第49天5A495A5C1307495A495A495AA249C7FC13FE485A5B1203485A485A485AA2485A48C8FC12FEBA12C0A6C96C90C7FCAE020FB712C0A63A4F7CCE43>我<0003160ED807E0153E01FCEC03FED9FFE0137F91B6FC5F5F5F2F5F5 F5F94C7FC16FC5E16E016804BC8FC15F0D9E07CC9FC91CAFCAAEC07FF027F13F001E1B512FC01E714FF01EF15C09026FFF8077FDA80017F49C77F496E7E01F06E7E836C5A491680C97E18C0A218E0A418F0A2EA07E0EA1FF8487E487EA2B5FCA318E0A34916C0007F5D4916805BD83FE0160001805C6C6C5D6D4A5AD80FF8495B6C6C01075B2703FFC03F5B6C90B65A6C93C7FC013F14FC010F14F0010314809026007FF8C8FC344F79CD43>I型我<171F4D7E4D7EA24D7EA34C7FA24C7FA34C7FA34C7FA24C7FA34 C80A24C80167E8304FE804C7E030116F88303814C7E003078116E0830F814C7E031F81168033F8293C7FC4B82157E8403FE824B800201835D840203835D02076F7F5D844AB87EA24A83A34A8492C812014A6F80A2027E8202FE845C0101717FA24A820103855C0107717FA24A 82010F85C496C707FB600F8021FB712E0A65B547BD366>65 D<932601FFF8EC01C0047FD9FF8013070303B600F0130F031F03FC131F92B8133F0203EFC07F020FDAF000EBF0FF4A49C7EA1FF9027F01F00203B5FC91B5008080010349C97E494982490498824901E0824949882498290B5CA7EA24849834849187FA24849183FA25A4A181F5AA24849180FA45A4A95C7FCA3B5FCAE7EA280A26CF20FC0A46C7FA26C1A1F6E19807EA26C6DF03F00A26C6D187E6C7F636D6D16016D6D4C5A6D6C5A6D1F8160F6D6D5A6D6D4C5A01006D6CEDFF806E01F0020390C7FC021F01FEEC0FFC6ED9FFF0EBFFF8020391B612E002005F031F93C8FC030315F8DB007F14C0040101FCC9FC525479D261>67D类73D类76天80D类82天<91260FFF80130791B500F85B010302ff5b010fedc07f013fedf0f4915f92701fff80090b5fc4801c0130f4849130149C87E000F824814981003F824981007F82A283A200FF83A27FA2847F7F7F6E92C7FC6C13E014FCECFFC015FE6CECFFE016FF6C16E017F86C16FE6C707E6C83846C836C6C826D826D820107821301D9003F16801403DA003F15C01501DB001F14E01601707E171F7113F08383127c00fc82a283a37e19e0a37e6d17c05f6d17806d5d6d170001f5d6d4b5ad9ffc04a5A02F8EC7FF8913AFFC003FFF0019F90B65A01075ED8FE0193C7FC26F8007F14FC48010714E0489026003FFEC8FC3C5479D24B>I97天我<913801FF0021F13FF91B612E0010315F8010F81499038800FFE4948486C7ED9FFF84913800485B4A4913C0485B5A485BA25A91C76C1380486F1300A2EE01FC484891C8FCA412FFAB127FA27FA27EA26C6DEC07E0A27E6EEC0FC06C7FEF1F806C6D143F6C6DEC7F006C01FE14FE6D6C495A011F9038E00FF86D90B55A01035D01001580021F01FCC7FC020113E033387CB63C>I<943801FFC00407B5FCA6EE001F1707B3A3913801FFC0021F13F891B6FC010315C7010F15F749D9C01FB5FC90397FFE0003494813004801F08048498048498083485BA24890C8FCA25AA2485AA412FFAB127FA4123F7FA27EA26C7F5F6C6D5C6C6D5C6C6D91B5FC6C6D010314F06D6C49ECFFC090393FFF803F6D90B512CF0107150F010114FCD9003F13F00203018049C7FC42547CD24B>I<913803FF80023F13F891B512FE01036E7E010F15E0013F01017F903A7FFC003FF8D9FFF06D7E48496D7E428496D7E5A4A6D13805A91C76C13C05AA24817E082485AA218F0A212FFA290B8FCA418E049CAFCA5127FA36C7EA36CEE01E0EF03F06C7FEF07E06C7F6C6DEC0FC06C161F6C6DEC3F80D97FFCEC7F006DB4EB01FE6D9038E00FFC010790B55A010115E06D6C1480021F49C7FC020013E034387CB63D>II<133FEBFFC0487F487F4287FA2487FA66C5BA26C5B6C5B6C65B013FC7FC90C8FCACEB1FF8B5FCA612017EB3B3A4B612F0A61C547BD326>105 D107D类我<913801FFE0021F13FE91B612C0010315F0010F15FC499038807FFE903B7FFC000FFF8049486D7F4801E001017F48496D7FA248496E7E488391C8123F4883A248834981A2007F1880A400FF18C0AC007F18803003F18006D5DA26C5FA26C6D4A5AA26C6D4A5A6C5F6C6D495B6C01F801075B6D6C495B90273FFF807F90C7FC010F90B512FC6D5D010015C0023F91C8FC020113E03A387CB643>I<90393FF003FCB5EB1FF4B13C092B512F002F114F89238FC7FFCECF3F000039039F7E0FFFEC65CEFF805DA25CEE7FFCEE3FF85CEE0FE093C7FCA35CB3AB612FEA62F367CB537>114 D<903901FFE007011FEBFC1F017FEBFF7F48B7FC1207390FFE003FD81FF0130749130148487F5B007F81A200FF81A37F7F01F891C7FC13FEEBFFF06CEBFF8015FC6C14FF16C06C15F06C816C15FE6C817E6C6C1580011F15C01303D9003F14E01400303F13F01501007C8000FC157F163F6C151FA37E17E07F7FEE3FC001F0147F6DECFF806D4913009039FF800FFE91B55A013F5CD8FC1F14E0D8F803148027E0007FF8C7FC2C387CB635>I<147EA614FEA4130A31303A21307A2130F131F133F137F13FF1203000F90B6FCB8FCA5C66C48C8FCB3A8EE0FC0AB013FEC1F808017006D5月6日至8月7日至10月6日至10月10日121德国%EndDVIPS位图字体%DVIPS位图字体:Fr cmcsc10 10 7/法语:7 119 df100天108D类111编号:017F13603901FFE0E0000713F9380F80FD381E001F48130714035A140112F81400A37E15007EEA7F8013F86CB47E14F06C13FC6C7F00037F6C1480D8003F13C013039038003FE0140FEC07F01403A20060130112E0A36C14E0A214036C14C06CEB0780B4130F39F7E03F0038F3FFFE00E013F838C01FE01C2D7BAB26>115D类东经118%EndDVIPS位图字体%DVIPS位图字体:Fs cmr10 10 31/图31 122 df12 D<121E123FEA7F80EAFFC0A213E0A2127F123F121E1200A4EA01C0A3EA0380A2EA0700A2120E5A123C123812100B1A7A8917>44天I<121E123FEA7F80EAFFC0A4EA7F80EA 3F00121E0A0A7A8917> 我48天56天I<1538157CA315FEA34A7EA34A7FA34A7F153FA2020F7FEC0E1FA2021E7FEC1C0FA2023C7FEC3807A202787FEC7003A202F07FECE001A20101804A7EA20103814A137FA201078191C7123F91B6FC4981A2010EC7121F011E81011C140FA2013C8101381407A201788101701403A201F08116011201486C81D80FFE02071380B500C090B512FEA373C7DBB3E>65 D<003FB812E0A3D9E003EB003F90260001FE1307007EEE03F0007C160100781600A300701770A400F01778481738A4C71600B3B0913807FF80011FB612E0A335397DB83C>84 D97D类我<147E903803FF80010F13C090381FC7E090383F07F0EB7E0F13FE13FC0001EB07E09038F803C0000390C7FCADB512FCA3D803F8C7FCB3AB487EB512F8A31C3B7FBA19>我108D<2703F807F8EB0FF000FFD91FFEEB3FFCDA7FFFEBFE913AF03F81E07F3D0FF9C00FC3801F802603FB80D9E7007F02013E601FED907FC6D7EA2495CA2495CB3A4486C496C497EB500E1B500C3B51280A341257EA446>我<3903F807F000FFEB1FFCEC7FFF9138F07F80390FF9C01F2603FB807F9038FF000F49805BA35BB3A4486C497EB500E1B51280A329257EA42E>I我<3903F80FE000FFEB7FFC9038F9FFFE9039FBE07F803A07FF801FC03A03FE000FE049EB07F0A249EB03F816FC150116FEA3ED00FFA916FE1501A316FC150316f86债务07f0e06d14c09039ff803f809039fbe07f009038f9fffe9038f87ff8ec1fC091C8FCAB487EB512E0A328357EA42E>I<3803F03F00FFEB7F809038F1FFE014C7390FF38FF03803F70F13F69038FE07E09038FC03C0EC018091C7FCA25BB3A3487EB512F8A31C257EA421>114 DI<131CA5133CA3137CA213FC120112031207121FB6FCA3D801FCC7FCB2EC01C0A93900FE0380A2017E13006D5AEB1FFE6D5AEB03F01A347FB220>我东经121%EndDVIPS位图字体%DVIPS位图字体:Ft cmbx10 10 7/Ft 7 117东风65天97D<13FFB5FCA512077EAEEDFF80020F13F8023F7F91B6FCDAFE031380DAF00013C002C0EB3FE04A14F091C7121F17F8A2EE0FFCA317FEA917FCA3EE1FF8A217F06EEB3FE06E137F02F0EBFFC09026FDFC07138001F8B5EAFE00023F5BD9F00F13F0D9E00190C7FC2F3A7EB935>我<903801FFC0010F13FC017F7F90B6FC48018013802607FE0113C0EA0FFC13F8EA1FF0003F6D1380A24848EB7F00151C92C7FC12FFA9127F7FA2123F6DEB03E0121F6C6CEB07C07F6C6CEB0F8000019038E03F006CEBFFFE6D5B010F13F00101138023257DA42A>我<9038FE07F000FFEB1FFC4A7E4A7E02F8138002E113C0EA07FF6C13C1A202801380A2ED7F00151C91C8FCB3B512FEA522257EA427>114 D<90383FF0383903FFFEF84813FF121F383FC00FEB0003007E1301140012 FEA27E6D130013F8EBFFE06C13FC14FF6C14C06C14E06C14F0C14F0000314F8C614FC131F9038007FFE14070078130112F814007EA26C14FC6C1301018013F89038F00FF090B512E000FD14C000F0140038E01FF81F257DA426>I<131FA55BA45BA25BA25A5A001FEBFFE0B6FCA4000390C7FCB115F8A86CEB01F014816CEBC3E090387FFFC06D13806D1300EB03FC1D357EB425>电子%EndDVIPS位图字体%DVIPS位图字体:Fu cmr12 12 33/Fu 33 123 df<121E123FEA7F80EAFFC0A313E0127F123F121E1200A5EA01C0A4EA0380A2EA0700A2120E121E121C5A5A12200B1D78891B>44 D<121E123FEA7F80EAFFC0A4EA7F80EA3F00121E0A0A78891B>46 D<1438147814F81303130F137FB5FCA213F71387EA0007B3B3AFEB1FFE007FB61280A4214278C131>49 DI<121C121EEA1FC090B712C0A35A7801700A25E003CC8121C485DA200705D5EA24B5A484A5A4BC7FCA2C8120E5DA25D5DA25D D4A5AA214034A5AA24AC8FCA25C141E143EA2147E147CA214FCA21301A4495A31307A6130FA96D5AA2EB01C02A457BC231>55 D<14FF010713E0011F13F84913FE49C67E01F8EB3F80488EB0FC0D803C0EB07E00007140349EB01F0120F90C7FCED00F85AA37FA27FED01F07FD80FF8EB03E07F6CB4EB07C09138800F806C9038E01F006CEBF03EECFC7C6CEBFFF06D5B011F5B6D13F001037F010F13FE90383F7FFFD97C3F1380D9F80F13C02601E00713E02603C00113F048486C13F8000FEC3FFC48C7121F003EEC07FE1503481400167fa248153fa2161fa4161e7e127c163c7e03f15786c15f06c6c1301d807e0eb03E0D803F8EB0FC06CB4EBFF806C9038FFFE00013F5B010F13F0010190C7FC28447CC131>我64D类76 D<49B41303010 2007年2月013f13f890b56c5a3901f00f803f8eb1f9fd807e0eb07ff48487f48487f8148c87e825A007E81A212FE82A46C81A36C7E6D91C7FC7F7FEA3FFC6CB47E14F86CEBFF806C14F86C14FE6C6E7E6C15E06D80011F80010780D9007F7F14079138007FFF030F138015031500EE7FC0A2163FEE1FE0126012E0160FA47EA217C07E161F6C1680A26CED3F007E6D147E6D5CD8FDF01301D8F8FE495A3AF07FC01FF06DB512C0D8E00F5C010149C7FC39C0003FF02B487BC536>83 D<003FB912F8A4903BF8003F01C06D48130748C7ED01FC007E1700007C187C0078183CA30070181CA500F0181E48180EA5C81600B3B3A4ED7FFC0103B77EA43F447DC346>我我<B66C91387FFFF0A4000101F0C8000F13006C01C0ED03F8017F705A6E013F5FA280011F4C5AA26E1507010F94C7FC800107160EA28001035EA26E153C6D1638A26F14786D167081027平方英尺5da26f1301023平方英尺5da26f1303021平方英尺5d81020平方英尺4平方英尺5平方英尺20平方英尺7140平方英尺31平方英尺203141C816E5CA216806E5CA2EEC0F0037F5B16E092383FE1C0A216F192381FF380A216FF6F90C9FCA36F5AA26F5AA36F5AA36F5AA244467EC349>我<003FB500F0017FB5FCA4D8003F90C7000F13C0D91FFCDA03FEC7FC010FED01F86D6C15E0A26D6C4A5A6F5C6D15076D6D49C8FC6F130E027F141E6E6C5B17386E6C13786E6C5B5F913807FE016E6C485A5F6E138704CFC9FC6E13CEED7FFE5F5A151FA26F7E6F7EA26F7B7FA2030E7F031E7FED1C7F4B6C7E03787FED701F9238F00FFCEC01E04B6C7E02036D7EEC07804B6C6C7F4A6D7F141E021C6E7E023C814A143F02706E7E02F0814948140F4A6E7E10382494880717F131FD97FC0822603FFF0020713F0B500FE023FEBFFF0A44447EC349>88天97天99编号:167FED3FFFA415018182B2EC7F80903803FFF0010F13F8903FC07E90387F000F01FC6D5A48481301485A48487F000F81485AA2485AA2127FA290C8FCA25AA97EA37F123FA2121F7F000F5D6C6C5B7F00034A1380D801FC9038077FC06C6C011E13FE90383F80FC90381FFFF0010713E00100010013002F467DC436>我我<EA01FC12FFA4120712031201B2EC01FE913807FFC04A13F091383E07F8EC70014A6C7E4A7FEBFD8001FFC7127E167F5BA35BB3A8486CECFF80B5D8F83F13FEA4257DC436>104D类108天I<3901FC01FE00FF903807FFC04A13F091383E07F8EC70010007496C7E0003497F3801FD8001FFC7127E167F5BA35BB3A8486CECFF80B5D8F83F13FEA42F2C7DAB36>我我<3903F807E000FFEB1FF8EC3FFCEC78FEECE1FF3807F9C100031381EA01FBEC00FE01FF137C4913381500A35BB3A7487EB512FEA4202C7DAB26>114天<90383个月0183901个月ffc3848个月ff78390个月01ff8381f0003003e1301003c1300481478A212F81538A37E7E6C1400EA7FC013FC383FFFE06C13FC6C13FF6C14806C14C0C614E0011F13F0010013F8EC0FFC14030060130000E014FE157E7E153EA37E153C7E157C6C14786C14F039FB8003E039F1F00FC000F0B5128039E07FFE0038C00FF01F2E7DAC26>我<130ea6131ea4133ea2137ea213fe1201120312007001fb512f0b6fca3c648c7fcb3a3151cAA017E1338137FA26D1370EB1F8090380FE1E0903807FFC06D13809038007E001E3E7EBC26>我120D类I<003FB612E0A39039E0003FC001801480003EC7127F003CECFF005D0038495A007813034A5A5D007010F4A5A5D143F4A5AC748C7FC5C1301495A5C1307495A4A13E0131F495A495AEC00014914C0485AB1203484813035B4881307121F488130F49EB3F80007FEB01FFB7FCA3232B7DAA2B>爱尔兰%EndDVIPS位图字体%DVIPS位图字体:Fv cmbx12 17.28 17/Fv 17 120立方英尺65天71D类80天83D<913803FFFC027FEBFFE00103B612FC010F15FF013F16C090277FFE001F13F0D9FFE001037F486D6D7F6E6D7f486D6 E7E717F486 E7FA2717FA285A26C4980856C5B6D5AEB1F8090C9FCA64BB6FC157F0207B7FC143F49B5EAFE07010714C0011FEBFC00017F13E090B51280000391C7FC4813FC485B485BA2485B5C55AA2B55AA45FA36C6D5C5F173D6C6D027D7F6C6D02F9EBFF806ED903F114FF6C01FE90FE015800039039FF807FC06C91B5487E6C6C9138FE001F011F02F087F010302E001001400D9001F90CBFC49437CC14E>97D类100D<92380FFF8092B512FC0207ECFF80023F15E091B77E49D9FE0113FC01079039F0003FFE4901C06D7E494901077F4948C76C7F017F8349486E7F4849084485B727E5A4A8248173FA24884A25C4883A21A80A2B5FCA291B9FCA41A0002C0CBFCA57EA56C7FA27EA2191F6C6DEE3F807EF17F006C7F19FE6C7F6C6D4B5A6D6C15036D6D4A5A6D6DEC1FF06D01F04A5A010301FC49B45A6D9026FFC00F90C7FC6D6C90B55A021F15F8020315C0DA007F91C8FC030313E041437CC14A>I103天105直径<903807FF80B6FCA7C6FC7F7FB3B3B3B3ABB712E0A723647BE32C>108 D<902607FF80D90FFFEE7FF8B691B500F00207B57E040302FC021F14E0040F02FF027F14F8043F6F48B67E93267FC03F9027C003FE017F922781FE001F9027E00FF0007FDB83F86D9026F01FC06D7FC6DA87E06D4AC77E6D4A6DD9F83E6E7F6DD98F805E039FC76E488203BEEEFDF003BC6E4A8003FC16FF4B4D824B5FA34B94C8FCA34B5EB3B2B7D8F007B7D8803FB612FCA77E417BC087>我<902607FF80EB0FFFB691B512F0040314FC040F14FF043F8193267FC03F7F922781FE001F7FDB83F86D7FC6DA87E07F6D4A6D7F6DEB8F80039FC78015BE03BC8015FC4B825DA35DA35DB3B2B7D8F007B71280A751417BC05A>I<923807ffe092b6fc020715e021f15f8027f15fe494848c66c6c7e010701F0010F13E04901C001037F49496D7F490C87F49486F7E49486F13804819C04A814819E048496F13F0A24819F8A348496F13FCA34819FEA4B518FFAD6C19FEA46C6D4B13FCA36C19F8A26C6D4B13F0A26C19E06C6D4B1 3C0A26C6D B13806C6D4 B13006D6C4B5A6D6D495B6D6D495B010701F0010F13E06D01FE017F5B010090B7C7FC023F15FC020715E0020092C8FC030713E048437CC151>我114D类东经119%EndDVIPS位图字体结束%%结束Prolog%%开始安装程序%%特点:*分辨率600dpiTeXDict开始%%结束设置%%页码:1 110 bop 1029 937 a Fv(Answ)l(er)52 b(Set)h(编程)12051120 y(和)h(计划)h(发电)1558 1373 y Fu(Vladimir)30b(Lifsc)m(hitz)1530 1489 y(Univ)m(ersit)m(y)k(of)e(T)-8b(exas)1430 1605 y(奥斯汀)33 b(德克萨斯)g(78712,)f(美国)15841721年(vl@cs.utexas.edu公司)1760 2058 y Ft(摘要)800 2210y Fs(The)24 b(idea)e(of)h(answ)n(er)f(set)i(编程)18b(is)23 b(to)g(represen)n(t)f(a)i(giv)n(en)d(compu-)6762309 y(可选)26 b(问题)g(b)n(y)j(a)f(逻辑)e(程序)g(谁的)i(answ)n(er)f(集合)i(对应)r(ond)e(到)676 2409 y(溶液)c(和)j(然后)g(使用)g(an)g(answ)n(er)e(set)i(solv)n(er),e(suc)n(h)h(as)gFr(smodels)h Fs(或)f Fr(dl)-7 b(v)p Fs(,)676 2508 y(to)25b(\014nd)h(an)g(answ)n(er)e(set)h(for)h(this)f(程序)33b(应用)22 b(of)k(this)f(metho)r(d)g(to)676 2608y(规划)f(are)i(相关)g(to)h(线)e(of)i(研究)n(h)e(on)ig(帧)f(问题)f(即)676 2708 y(开始)i(与)g(框架)h(in)n(v)n(en)n(tion)c(of)k(形式)d(非单调)g(推理)f(in)j(1980)4482994 y Fq(1)135 b(In)l(tro)t(duction)448 3197 y Fp(Kautz)25b(和)e(Selman)g([19)q(])h(支柱)s(闭合)f(至)h(近似)m(h)h(the)f(问题)e(共)i(计划)f(生成)448 3310 y(b)m(y)30b(减少)e(it)h(到)h(问题)e(的)h(\014nding)e(a)j(令人满意)e(in)m(解释)h(对于)h(a)f(集合)448 3423 y(共)40b(prop)s(positional)c(form)m(ulas.)66 b(This)37 b(metho)s(d)k(kno)m(wn)d(as)i Fo(satis\014abilit)m(y)c(planning)p Fp(,)448 3536y(is)h(使用)f(no)m(w)i(in)e(sev)m(eral)i(规划师)17383503年Fn(1)1837年3536年Fp(In)f(this)f(pap)s(er)h(w)m(e)g(discussion)f(a)i(相关)f(idea)448 3649 y(到期)28 b(to)i(Subrahmanian)c(and)i(Zaniolo)f([36)r(]:)40 b(减少)27 b(a)i(规划)d(问题)h(到)j(the)4483762 y(问题)d(共)i(014nd)e(an)h(answ)m(er)h(集合)g(稳定)g(mo)s(del“\))g(for)f(a)h(逻辑)g(程序)40 b(The)4483875 y(adv)-5 b(an)m(tage)23 b(of)e(this)e(answ)m(er)i(set)g(编程)f(近似)m(h)h(到)g(规划)d(is)i(that)h(the)4483987 y(represen)m(station)j(of)g(prop)s(erties)e(of)i(actions)g(is)f(更容易)h(当)f(逻辑)g(程序)h(are)g(使用)448 4100y(代替)39 b(of)g(公理化)g(in)e(经典)h(逻辑)j(in)d(视图)g(of)h(the)h(非单调)448 4213 y(c)m(特征)25b(of)e(否定)h(as)f(失败)37 b(Tw)m(o)23 b(b)s(est)g(kno)m(wn)f(answ)m(er)h(set)h(solv)m(ers)f(系统)448 4326 y(for)37b(计算)g(answ)m(er)g(集合)h(a)m(v)-5 b(可用)37b(to)s(da)m(y)h(are)f Fm(smodels)2743 4293 y Fn(2)28204326 y Fp(和)g Fm(dl)-8 b(v)3156 4293 y Fn(3)3194 4326y Fp(.)62 b(The)448 4439 y(results)41 b(of)h(computative)g(exp)s(erimen)m(ts)f(that)i(使用)e Fm(smodels)f Fp(for)i(planning)e(are)4484552 y(rep)s(orted)30 b(in)f([4)q(,)h(30)q(])p 448 46131196 4 v 552 4667 a Fl(1)587 4699 y Fk(参见)d Fj(http://www.research.att.com)q(/)p Fi(\030)p Fj(kautz)q(/bla)q(ckbo)q(x/)34 b Fk(for)29 b(the)e(最新)i(system)e(of)i(this)4484790 y(种类)c(创建)h(b)n(y)f(the)g(in)n(v)n(en)n(tors)g(of)i(满意度)n(y)f(规划)552 4850 y Fl(2)5874882年预测(http://www.tcs.hut.fi/软件/)q(烟)q(els/)46b(.)552 4941年F1(3)587 4973年Fj(http://www.dbai.tuwien.ac.at/pr)q个(oj/d)q(lv/)f(.)1920 5225 y Fp(1)p eop%%页码:2 22 1 bop 589 573 a Fp(In)25 b(this)f(pap)s(er),i(based)f(on)g(早期)f(rep)s(orts)h([22)q(,)h(23],)h应用程序d(of)h(answ)m(er)g(集合)448686年(编程)h(到)i(规划)c(是)k(讨论)d(从)h(规划)i(p)s(ersp)s(ectv)m(e)e(of)h(the)g(researc)m(h)448 799年(on)34b(框架)g(问题)f(和)g(非单调)h(推理)f(完成)h(in)f(AI)h(since)f(1980)448 912 y(Sp)s(eci\014cally)-8 b(,)29b(w)m(e)i(关联)g(他们)g(到)g(线)e(的)h(w)m(工作)h(那)g(开始)g(带)e()i(in)m(v)m(en)448 1024 y(tion)k(of)g(默认)f(逻辑)h([33)q(]|)g(非单调)g(形式主义)e(that)i(turn)f(out)h(to)448 1137 y(b)s(e)h(尤其是)e(紧密)h(相关)h(to)h(逻辑)f(编程)f([2)q(,)h(26)q(、)g(10)q(].)58 b(之后)37b(the)448 1250 y(publication)26 b(of)i(the)g(\\y)-8 b(ale)30年b(Sho)s(oting)d(Scenario“)h([14)q(])g(it)g(w)m(as)h(wide)d(b)s(elive)m(ed)g(that)448 1363 y(the)33 b(solution)e(to)i(the)f(frame)g(problem)f(概述)g(in)g([33)q(])h(w)m(as)h(不足)46 b(Sev)m(一般)4481476年(交替)m(es)38 b(ha)m(v)m(e)g(b)s(een)e(prop)s(osed)g([18)q(,)h(20)q(,)g(34)q(b(It)37 b(转向)f(外)448 1589 y(ho)m(w)m(ev)m(近似)m(h)g(of)h([33)q(])f(is)f(完全)h(满意)h(if)e(h)h(休息)g(共)448 1702 y()k(默认)e(理论)h(is)g(集合)g(向上)f(正确地)i([37)q(].)67 b(It)40 b(is),g(in)e(事实上)43b(v)m(ery)c(通用)j(as)448 1815 y(讨论)34 b(in)g(章节)h(5.2)h(b)s(elo)m(w.)55 b(w)-8 b(e)36 b(will)d(见)i(即)h(说明)d(of)j(动作)f(in)448 1928 y(the)k(st)m(yle)g(of)g([33)q(,)g(37)q(])g(can)g(b)s(e)f(used)g(as)h(a)g(basis)f(for)g(planning)f(use)g(answ)m(er)h(set)448 2041 y(solv)m(ers)589 2154 y(In)d(the)h(next)f(section,)j(w)m(e)e(review)e(the)i(concept)g(of)g(an)f(answ)m(er)h(set)g(as)f(de \014ned)448 2267 y(in)28 b([9)q(,)h(10)q(、)g(25)q(])g(和)g(its)f(关系)h(到)h(默认)e(逻辑)40 b(然后)28 b(w)m(e)i(描述)s(e)df(the)448 2379 y(计算)37 b(p)s(可能性)c(of)38b(answ)m(er)f(set)h(solv)m(ers)f(第g(3)节)h(和)f(插图)4482492 y(the)43 b(answ)m(er)f(set)i(programming)d(metho)s(d)h([27)q(,)h(30)q(])f(b)m(y)h(应用)d(it)i(到)h(a)g(图-)4482605年(理论)e(searc)m(h)f(问题)e(第i(4)节)69b(In)39 b(Section)g(5)h(w)m(e)g(turn)e(to)j(the)f(use)f(of)448段2718 y(answ)m(er)e(set)h(solv)m(ers)e(for)h(plan)f(generation)60b(节)37 b(6)g(描述)s(es)f(关系)f(of)4482831 y(this)30 b(w)m(ork)g(to)h(other)g(researc)m(h)g(on)f(actions)h(和)e(规划)448 3117 y Fq(2)135 b(Answ)l(er)45 b(集合)4483324 y Fh(2.1)113 b(逻辑)37 b(程序)448 3495 y Fp(W)-8b(e)34 b(b)s(egin)d(with)f(a)j(set)g(of)f(prop)s(positional)e(sym)m(b)(ols,)h(称为)h Fo(原子)p Fp(.)47 b(A)32 b Fo(文字)fFp(is)g(an)448 3608 y(表达式)26 b(of)h(形式)gFg(A)g Fp(或)g Ff(:)p Fg41 b(W)-8 b(e)28 b(调用)f(调用)g(sym)m(b)s(ol)f Ff(:)4483721 y Fp(经典)g(否定,“)j(to)e(区分)22b(it)k(来自)g(the)h(sym)m(b)s(ol)e Fe(未使用)36 b Fp(已使用)26b(代表)g(否定)448 3834 y(as)j(失败)38 b(A)28b Fo(规则)f(元素)m(t)i Fp(is)e(an)h(表达式)f(of)h(形式)eFg(L)h Fp(或)g Fe(非)38 b Fg(L-)p Fp(,)29 b(其中)e Fg(L-)4483947 y Fp(is)j(a)g(文字)40 b(a)30 b Fo(规则)f Fp(is)h(an)g(有序)g(对)1666 4151 y Fe(He)-5 b(ad)36 b Ff()25 b Fe(Bo)-5b(dy)1111 b Fp(1)448 4355 y(其中)34 b Fe(He)-5 b(ad)44b Fp(和)33 b Fe(Bo)-5 b(dy)44 b Fp(规则)f(elemen)m(ts.)52 b(A)34 b(规则)f(1)i(is)e(A)hFo(con-)448 4468 y(菌株)m(t)39 b Fp(if)f Fe(He)-5 b(ad)51b Fp(=)39 b Ff(;)p Fp(;)44 b(it)39 b(is)f Fo(析取)m(e)gFp(if)g(the)h(cardialit)m(y)f(of)h Fe(He)-5 b(ad)50b Fp(is)38 b(大于)448 4581 y(大于)30 b(1.)42 b(If)11004694 y Fe(He)-5 b(ad)35 b Fp(=)25 b Ff(f)p Fg(L)15354708 y Fn(1)1575 4694 y Fg(;)15 b(:)g(:)g(:)i(;)e(L)18394709 y Fd(k)1882 4694 y Fg(;)g Fe(非)40 b Fg(L)21514709年Fd(k)r Fn(+1)2283 4694年Fg(;)15磅(:)克(:)g(:)i(;)e铁(非)40 b Fg(L)2714 4709 y Fd(L)2740 4694 y Ff(g)4484861 y Fp(和)1029 4974 y Fe(Bo)-5 b(dy)34 b Fp(=)25b Ff(f)p Fg(L)1461 4989 y Fd(L)q Fn(+1)1578 4974 y Fg(;)15b(:)g(:)g(:)h(;)f(L)1841 4988 y Fd(m)1908 4974 y Fg(;)gFe(非)40 b Fg(L)2177 4988 y Fd(m)p Fn(+1)2334 4974 yFg(;)15 b(:)g(:)g/(:)h(;)f Fe(非)41 b Fg(L)2765 4988y Fd(n)2811 4974 y Ff(g)1920 5225 y Fp(2)p eop%%页码:3 33 2 bop 448 573 a Fp(()p Fg(n)25 b Ff(025)g Fg(m)hFf(\025)e Fg(l)k Ff(\025)d Fg(k)j Ff(+025)d Fp(0\))31b(然后)f(w)m(e)h(写入)f(1)h(as)520 777 y Fg(L)582791 y Fn(1)622 777 y Fp(;)15 b Fg(:)g(:Fg(L)885 792 y Fd(k)928 777 y Fp(;)g Fe(not)40 b Fg(L)1197792年Fd(k)r Fn(+1)1330 777年Fp(;)15年Fg(:)g(:Fp(;)e Fe(not)40 b Fg(L)1761 792 y Fd(L)1812 777 y Ff()25b Fg(L)1990 792 y Fd(L)q Fn(+1)2106 777 y Fg(;)15 b(:)g(:)g(:)i(;)e(L)2370 791 y Fd(m)2437 777 y Fg(;)g Fe(not)40 b Fg(L)2706791年Fd(m)p Fn(+1)2862 777年Fg(;)15磅(:)克(:)g(:)i(;)e铁(非)40 b Fg(L)3293 791 y Fd(n)3340 777 y Fg(:)3321890 y Fp(2)448 1003 y(W)-8 b(e)32 b(将)c(下降)hFf()h Fp(in)f(2))j(if)d(the)i(b)s(o)s(dy)d(of)j(the)g(rule)e(is)g(empt)m(y)i(()p Fg(n)25 b Fp(=)g FgFp(\)。)589 1116 y(A)31 b Fo(程序)f Fp(is)f(A)i(集合)g(共)g(规则)5891229 y(这些)f(定义)e(di\013er)h(来自)h(the)g(传统)f(描述)f(of)j(the)f(syn)m(tax)h(of)448 1342 y(logic)c(programs)f(in)f(sev)m(eral)i(w)m(a)m(ys)41 b(First,)27 b(our)f(rules)f(are)i(属性)s(位置:)36 b(原子)28 b(是)448 1455 y(不是)i(假设)e(到)i(b) s(e)f(形式)g(来自)g(谓词)g(sym)m(b)s(ols),f(常量)m(ts)i(和)f(v)-5 b(变量)448 1567 y(An)31 b(输入)e(\014le)h(giv)m(en)g(to)i(an)f(answ)m(er)f(set)i(solv)m(er)f(do)s(es)f(通常)f(con)m(tain)i(\\sc)m(血液)448 1680 y(规则)24 b(带)f(v)-5b(变量)24 b(但)g(例如)m(h)g(a)h(sc)m(血液)g(规则)e(is)g(处理)j(as)e(an)g(缩写)448 1793 y(代表)32 b(the)f(set)h(of)g(规则)e(获得)h(来自)g(it)g(b)m(y)g(接地)42b(The)31 b(result)f(of)i(grounding)448 1906 y(is)k(a)i(prop)s(接地)31 b(位置)c(ob)5b(ject),40b(just)d(lik)m(e)f(a)i(set)g(of)f(子句)g(that)g(w)m(uld)f(b)s(e)h(giv)m(en)g(as)448 2019年y(输入)29b(to)i(a)g(satis\014abilit)m(y)d(solv)m(er)589 2132y(On)f(the)g(other)h(hand)e(in)g(some)i(w)m(a)m(ys)g(\(2))g(is)e(更多)i(一般)f(比)g(规则)f(发现)f(in)448 2245y(传统)g(逻辑)h(程序)39 b(Eac)m(h)27 b Fg(L)18202259 y Fd(i)1875 2245 y Fp(ma)m(y)g(con)m(tain)f(the)h(经典)f(否定)g(sym-)448 2358 y(b)s(ol)35 b Ff(:)p Fp(;)j(传统)d(逻辑)g(程序)h(使用)f(仅)g(一)h(种类)e(of)i(否定|否定)448 2471 y(as)e(故障)48 b(The)33 b(水头)g(of)h(2)g(ma)m(y)g(con)m(tain)g(sev)m(eral)g(rule)e(element)m(ts),j(or)e(it)g(can)h(b)s(e)448 2584 y(empt)m(y;)39 b(传统)-8 b(,)36 b(头)g(头)f(of)h(a) h(规则)d(是)h(a)h(单个)f(原子)57 b(The)36 b(否定)g(as)4482697年(失效)i(sym)m(b)s(ol)h(is)g(allo)m(w)m(ed)h(to)h(o)s(ccur)e(in)g(the)h(head)g(of)g(a)g(rule)i(and)d(not)h(only)f2809年g(b)s(o)s(dy)e(as)i(in)e(传统)g(逻辑)i(编程)64 b(W)-8 b(e)40 b(将)c(参见)j(稍后)g(即)g(the)4482922 y(附加)29 b(表达)m(y)g(给定)m(en)h(b)m(y)g(这些)h(语法)m(战术)h(特征)e(是)g(确实)f(有用)4483166 y Fh(2.2)113 b(定义)38 b(of)f(an)h(Answ)m(er)g(集合)4483337 y Fp(The)26 b(concept)f(of)i(an)f(answ)m(er)f(set)i(is)e(定义)g(\014rst)g(for)h(程序)g(that)g(do)g(not)h(con)m(tain)4483450 y(否定)k(as)f(失败)e()p Fg(l)g Fp(=)d Fg(k)33b Fp(和)d Fg(n)25 b Fp(共个)f(the)h(program\)。)41 b(Let)448 3563 y(\005)30 b(b)s(e)g(suc)m(h)f(a) i(程序)f(和)f(设)h Fg(X)37 b Fp(b)s(e)30 b(a)g(浓度)m(t)g(集合)h(of)f(文字)39 b(W)-8 b(e)31 b(sa)m(y)f(that)4483676 y Fg(X)47 b Fp(is)38 b Fo(闭合)h Fp(低于)e(\005)i(如果,)i(用于)e(ev)m(ery)g(规则)f(1)i(in)e(005,)k Fe(He)-5 b(ad)36b Ff(\\)25 b Fg(X)47 b Ff3789 y Fe(Bo)-5 b(dy)42 b Ff(\022)33 b Fg(X)7 b Fp(.)54b(W)-8 b(e)36 b(sa)m(y)f(即)h Fg(X)42 b Fp(即)34 b(a)gFo(answ)m(er)h(set)g Fp(for)g(\005)g(if)f Fg(X)42 b Fp(is)34b(最小)d(中间)448 3902 y(组)g(闭合)f(低于)f(\005)h(相对)m(e)h(to)g(set)g(inclusion))589 4015年(F)-8b(或)32 b(实例)e(程序)g(程序)1797 4211 y Fg(p)pFp(;)15 b Fg(q)33 b(;)1797 4324 y Ff(:)p Fg(r)27 b Ff()fFg(p)3321 4268 y Fp(\(3\))448 4521 y(具有)k(t)m(w)m(o)i(answ)m(er)e(组:)1687 4634 y Ff(f)p Fg(p;)15 b Ff(:)p Ff(r)s Ff(g)pFg(;)46 b Ff(f)p Fg(q)s Ff(g)p Fg(:)1123 b Fp(\(4))4484801 y(If)30 b(w)m(e)h(添加)f(the)g(约束)m(t)18634913 y Ff()25 b Fg(q)1920 5225 y Fp(3)p eop%%页码:4 44 3 bop 448 573 a Fp(to)34 b(3),)h(w)m(e)e(will)d(get)k(a)f(程序)g(其)g(仅)e(answ)m(er)i(集合)h(is)d(the)i(\014rst)f(of)h(集合)(\(4\).)448 686 y(On)c(the)g(other)h(hand)f(if)f(w)m(e)i(add)e(the)i(规则)1890 883 y Ff(:)p Fg(q)448 1080 y Fp(to)g(3),)h(w)m(e)f(will)d(get)j(a)g(program)f(which)g(only)g(answ)m(er)g(set)h(is)eFf(f)p Fg(p;)15 b Ff(:)pFp(.)589 1193 y(T)-8 b(o)33 b(扩展)f(定义)f(of)i(a)f(answ)m(er)h(集合)g(到)h(程序)e(带)g(否定)h(as)4481306 y(失败)23 b(tak)m(e)i(an)e(任意)f(程序)h(\005,)i(和)e(设)g Fg(X)31 b Fp(b)s(e)22 b(a)i(consisten)m(t)f(set)h(of)f(文字)448 1419 y(The)30 b Fo(reduction)g Fp(\005)9861386 y Fd(X)1084 1419 y Fp(of)h(\005)f(relativ)m(e)h(to)gFg(X)37 b Fp(is)30 b(the)g(set)h(of)g(规则)1414 1616y Fg(L)1476 1630 y Fn(1)1515 1616 y Fp(;)15 b Fg(:)g(:Fp(;)e Fg(L)1779 1631 y Fd(k)1847 1616 y Ff()25 b Fg(L)20251631年Fd(l)q Fn(+1)2141 1616年Fg(;)15磅(:)克(:)g(:)i(;)e(l)24051630 y Fd(m)448 1813 y Fp(for)34 b(all)f(rules)f(2)j(in)e(005)h(suc)m(h)g(that)g Fg(X)42 b Fp(con)m(tains)34 b(all)f(the)h(literals)eFg(L)2844 1828年Fd(k)r Fn(+1)2977 1813年Fg(;)15磅(:)克(:)g(:)i(;)e(L)3241 1828 y Fd(l)3301 1813 y Fp(but)448 1926 y(do)s(es)45b(非)h(con)m(tain)g(an)m(y)g(of)f(L)1548 1940 y Fd(m)pFn(+1)1705 1926 y Fg(;)15 b(:)g(:)g(:)h(;)f(L)1968 1940y Fd(n)2016 1926 y Fp(.)85 b(Th)m(us)45 b(\005)2440 1893y Fd(X)2553 1926 y Fp(is)f(a)i(程序)f(无)4482039年(否定)30 b(as)g(失败)39 b(W)-8 b(e)30 b(sa)m(y)g(即)hFg(X)36 b Fp(is)29 b(an)g Fo(answ)m(er)h(set)g Fp(for)f(\005)h(if)eFg(X)37 b Fp(is)29 b(an)g(answ)m(er)448 2152 y(set)i(for)f(\005)7972119 y Fd(X)865 2152 y Fp(.)589 2265 y(考虑)f(对于)h(例如)h(程序)1716 2454 y Fg(p)25 b Ff()g Fe(not)40b Fg(q)33 b(;)1716 2567 y(q)28 b Ff()d Fe(not)40 b Fgb(;)1716 2680 y(r)28 b Ff()d Fe(非)40 b Fg(s)30 b(2568 y Fp(5)448 2875 y(和)36 b(let)h Fg(X)44 b Fp(b)s(e)35b Ff(f)p Fg(p;)15 b(r)s Ff(g)p Fp(.)60 b(The)36 b(还原)g(of)h(\(5\))h(相对)m(e)e(to)i(this)d(set)i(composes)f(of)h(t)m(w)m(o)4482988 y(规则:)1892 3075 y Fg(p)30 b(;)1892 3188 y(r)j(:)4483349 y Fp(Since)j Fg(X)44 b Fp(is)36 b(an)g(answ)m(er)h(set)g(for)f(此)g(还原)i(it)e(is)g(an)g(answ)m(er)h(set)g(for)g(5))60b(It)37 b(is)448 3462 y(easy)31 b(to)g(c)m(hec)m(5)i(有)e(无)g(其他)h(answ)m(er)f(组)589 3575y(本例)h(示例)i(图解)d(原)j(原)e(原)-5b(ation)32 b(for)g(the)h(de \014初始)d(of)j(an)448 3688y(answ)m(er)d(set | pro)m(viding)d(a)j(declarativ)m(e)g(seman)m(tics)f(对于)h(否定)f(as)h(失败)d(as)j(im-)448 3801 y(plemen)m(ted)h(in)f(现有)h(Prolog)g(系统)44 b(Giv)m(en)31 b(程序)g(5),i(a)f(Prolog)f(system)448 3913 y(will)26 b(resp)s(ond)h Fo(y)m(es)jFp(to)f(a)g(query)g(if)e(and)h(only)gFg(p)h Fp(或)f Fg(r)s Fp(,)h(即)g(is)f(to)i(sa)m(y)-8b(,)448 4026 y(if)30 b(and)g(only)f(if)h(the)h(query)e(b)s(elongs)h(to)h()g(answ)m(er)f(set)h(for)g(5))42 b(In)30 b(this)f(sense)i448 4139 y(角色)38 b(of)h(answ)m(er)f(集合)h(is)e(类似)f(to)jf(角色)g(of)h(概念)i(of)e(完成)g([3]q(],)4484252 y(whic)m(h)27 b(pro)m(vides)h(an)g(alternativ)m(e)h(解释)e(对于)h(the)h(b)s(eha)m(vior)e(of)i(Prolog)f(\()p Fg(p)hFp(和)448 4365 y Fg(r)k Fp(are)e(en)m(tailed)f(b)m(y)g(the)h(程序的)f(完成\)。)448 4607 y Fh(2.3)113 b(比较)39b(带)e(默认)h(逻辑)448 4779 y Fp(Let)30 b(\005)g(b)s(e)e(a)i(程序)f(suc)m(h)g(that)h(the)g(head)f(of)g(ev)m(ery)h(rule)e(of)i(\005)f(is)g(a)g(single)f(文字:)1141 4976 y Fg(L)12034990 y Fn(0)1268 4976 y Ff()d Fg(L)1446 4990 y F n(1)14854976 y Fg(;)15 b(:)g(:)c(:)i(;)e(L)1749 4990 y Fd(m)18164976 y Fg(;)g Fe(not)40 b Fg(L)2085 4990 y Fd(m)p Fn(+1)22414976 y Fg(;)15 b(:)g(:)c(:)i(;)e Fe(非)40 b Fg(L)26724990 y Fd(n)2719 4976 y Fg(:)577 b Fp(\(6))1920 5225y(4)p人%%页码:5 55 4 bop 448 573 a Fp(W)-8 b(e)27 b(can)f(transform)f(\005)h(in)m(to)f(a) h(prop)s(positional))e(默认)h(理论)g(in)g(感官)h(of)g([33)q(])448 686 y(b)m(y)31 b(转弯)d(eac)m(h)k(规则)d(6)i(in)m(to)f(the)h(默认)1280 870 y Fg(L)1342 884 y Fn(1)1402870 y Ff(^)20 b(\001)15 b(\001)g(\001)21 b(^)f Fg(L)1752年884 y Fd(m)1874 870 y Fp(:)55 b Ff(:)p Fg(L)2077 884y Fd(m)p Fn(+1)2234 870 y Fg(;)15 b(:)g(:)g(:)h(;)f Ff(:)pFg(L)2558 884 y Fd(n)p 1280 911 13254 v 1892 994 a Fg(L.)19541008 y Fn(0)448 1170 y Fp(There)40 b(is)e(a)j(simple)c(corresp)s(ondence)j(b)s(et)m(w)m(een)g(the)g(answ)m(er)g(sets)g(for)g(\005)g(和)f(the)448 1283 y(extensions)30 b(for)h(this)e(default)h(theory)h(理论)Fe(DT)12 b Fp(:)41 b(if)30 b Fg(X)38 b Fph(代表)g(\005)g(然后)f(the)448 1396 y(演绎)m(e)36b(闭合)f(of)h Fg(X)43 b Fp(is)35 b(a)i(一致)m(t)f(延伸)f(对于)h Fe(DT)12 b Fp(;)39 b(con)m(v)m(ersely)-8 b(,)38b(ev)m(ery)448 1509 y(一致)m(t)30 b(扩展)e(持续)hFe(DT)41 b Fp(is)28 b(the)h(演绎)m(e)g(闭包)f(of)i(an)e(answ)m(er)h(set)h(for)f(\005.)589 1622 y(f)-8 b(or)32 b(instance)e(the)g(默认)g(理论)h(对应)s(条件)d(到)j(程序)f(5)i(是)15021783年(:)56 b Ff(:)p Fg(q)p 1502 1824 1864 v 1571 1907a(p)1697 1845 y(;)1838 1783 y Fp(:)g Ff(:)p Fg(r)p 18381824 185 4 v 1909 1907 a(q)2033 1845 y(;)2174 1783 yFp(:)g Ff(:)p Fg(s)p 2174 1824 V 2245 1907 a(r)2368 1845y(:)448 2087 y Fp(The)39 b(only)f(extension)g(for)h(this)f(default)g(理论)h(is)f(the)h(演绎)m(e)f(闭包)h(of)g(the)4482200 y(程序)31 b(answ)m(er)f(set)h Ff(f)p Fg(p;)15b(r)s Ff(g)p Fp(.)589 2313 y(Under)35 b(this)g(corresp)s(ondence),h(a)g(规则)f(无)f(否定)i(as)g(失败)e(is)g(代表-)4482426 y(sen)m(ted)41 b(b)m(y)f(a)h(默认)f(无)f(justi\014cations,)j(即)f(is)e(to)i(sa)m(y)-8 b(,)44b(b)m(y)d(A)f(推断)448 2539 y(规则)59 b(A)37 b(事实|A)i(规则)c(与)h(the)h(empt)m(y)g(b)s(o)s(dy | corresp)s(onds)d(to)k(a)f(默认值)f448 2652 y(有)f(没有)f(先决条件)f(也没有)h(justic\014cations,)h(即)h(是)f(an)g(公理)55 b(The)34b(正常)448 2765 y(默认)1830 2816 y Fg(p)55 b Fp(:)hFg(q)p 1830 2857 226 4 v 1921 2940 a(q)3321 2878 y Fp(7)4483083 y(is)30 b(the)g(coun)m(terpart)h(of)g(the)f(规则)16593287 y Fg(q)e Ff()d Fg(p;)15 b Fe(not)40 b Ff(:)p Fg(g)s(:)1094b Fp((8))589 3491 y(逻辑)31 b(程序)g(as)f(定义)g(ab)s(o)m(v) m(e)i(are)f(更多)f(一般)h(比)f(默认)g(in)f(即)4483604年(他们的)j(规则)e(ma)m(y)j(ha)m(v)m(e)h(sev)m(eral)f(elemen)m(ts)f(in)f(the)i(head)f(and)g(these)h(elemen)m(ts)f(ma)m(y)4483717 y(包括)26 b(否定)i(as)g(失败)38 b(开启)27b(the)h(other)g(hand)g(默认值)e(are)j(more)f(general)f(in)4483830y(即)33b(它们)f(ma)m(y)h(con)m(tain)f(任意)f(属性)s(位置)f(形式)m(ulas,)i(不是)g(只是)g(文字)e(或)4483943 y(连词)g(of)g(文字)589 4056 y(In)23b(this)f(connection,)i(it)f(is)f(in)m(teresting)g(to)i(note)f(that)h(一)f(of)g(the)g(tec)m(enical)g(issues)448 4169 y(related)31b(to)h(the)f(\\Y)-8 b(ale)32 b(Sho)s(oting“)e(con)m(tro)m(is)d(是否)g(the)h(e \013节)i(of)e(动作)448 4282y(应该)e(b)s(e)g(描述)s(ed)g(b)m(y)h(公理)g(例如)m(h)g(as)12184486 y Fe(lo)-5 b(ade)g(d)13 b Fp(()p Fg(s)p Fp())25b Ff(\033)g(:)p Fe(活性)7 b Fp(\()pFe(r)-5 b(结果)10b Fp(()p Fe(sho)-5 b(ot)11 b FpFg(;)655 b Fp(9)448 4690 y(或)31 b(b)m(y)f(推断)g(规则)f(例如)m(h)h(as)1748 4875 y Fe(lo)-5 b(ade)g(d)12 b Fp(\()pFg(s)p Fp(\))p 1461 4916 938 4 v 1461 4999 a Ff(:)p Fe(活性)7b Fp(()p Fe(r)-5 b(结果)10 b Fpb Fp(()p Fg(s)p Fp()))2409 4937 y Fg(:)841 b Fp5225年(5)月%%页码:6 66 5 bop 448 573 a Fp(根据)37 b(to)i([37)q(],)h(form)m(ulation)c(10)j(is)d(a)i(b)s(etter)g(c)m(hoice.)63 b(In)36b(语言)g(of)448 686 y(逻辑)30 b(程序)g(10)i(w)m(ould)e(b)s(e)f(书面)h(as)1208 885 y Ff(:)p Fe(活性)7b Fp(\()p Fe(r)-5 b(esult)10 b Fp(\()p Fe(sho)-5 b(ot)11b Fp(()p Fg(s)p Fp()))26 b Ff()f Fe(lo)-5 b(ade)g(d)12b Fp(()p Fg(s)p Fp()p F g(:)448 1084 y Fp(F)-8 b(orm)m(ula)43b(9),j(on)c(the)h(other)f(hand),i(do)s(es)e(not)h(corresp)s(ond)e(到)i(an)m(y)f(规则)f(in)g(the)448 1197 y(sense)e(of)f(logic)h(编程)63 b(P)m(arado)m(xically)-8 b(,)41 b(限制)c(of)h(语言)448 1310 y(逻辑)c(程序)f(pla)m(y)g(a)h(p)s(positiv)m(e)f(role)g(in)g(this)f(case)j(b)m(y)f(excision)d(some)j(of)g(the)448 1423 y(bad“)29 b(represen)m(静态)f(c)m(提升)hf(are)h(a)m(v)-5b(ailable)28b(when)f(prop)s(erties)f(of)j(动作)448 1536 y(are)i(describ)s(ed)d(in)h(默认)h(逻辑)4481778 y Fh(2.4)113 b(生成)38 b(和)g(消除)h(Answ)m(er)e(套)448 1950 y Fp(F)-8 b(rom)32 b(the)F(p)s(ersp)s(answ)m(er)f(set)g(编程)g(t)m(w)m(o)h(种类)d(of)i(规则)f(pla)m(y)h(a)448 2063 y(sp)s(ecial)c(role:)39 b(thres)29 b(that)g(generate)h(m) m(倍数)25 b(answ)m(er)k(集合)f(和)g(那些)g(那个)h(罐)g(b)s(e)448 2176 y(使用)h(到)h(消除)e(一些)i(of)f(the)h(answ)m(er)f(sets)h(of)f(a)h(program.)589 2289 y(One)37 b(w)m(a)m(y)h(to)g(write)f(a)g(程序)h(with)d(man)m(y)j(answ)m(er)f(sets)h(is)e(to)i(use)f(the)g(dis-)448 2402 y(junctiv)m(e)30 b(rules)1824 2515 y Fg(A)pFp(;)15 b Ff(:)p Fg(A)1214 b Fp(\(11))448 2679 y(用于)30b(sev)m(eral)h(atoms)g Fg(A)p Fp(.)41 b(A)30 b(program)g(即)h由f(of)g Fg(n)g Fp(rules)e(of)j(this)e(form)h(has)g(2)3390组成2646 y Fd(n)448 2792 y Fp(answ)m(er)h(套)41 b(F)-8b(或)31 b(实例)f(程序)h(程序)1819 2983 y Fg(p)pFp(;)15 b Ff(:)p Fg(p)29 b(;)1819 3096 y(q)s Fp()15b Ff(:)p Fg(q)448 3288 y Fp(has)30 b(4)h(answ)m(er)f(sets:)12613487 y Ff(f)p Fg(p;)15 b(q)s Ff(g)p Fg(;)47 b Ff(p)pFg(p;)15 b Ff(:)p Fg(q)s Ffb(q)s Ff(g)p Fg(;)46 b Ff(f:)p Fg(p;)15 b FfFf(g)p Fg(:)589 3686 y Fp(As)26 b(观测)m(ed)f(in)f([5)q(],)j(规则)d(11)j(can)f(b)s(e)e(等效)-5 b(alen)m(tly)25 b(替换)f(in)h(an)m(y) g(程序)448 3799 y(b)m(y)31 b(t)m(w)m(o)g(非分离)m(e)d(规则)1662 3990 y Fg(A)e Ff()f Fe(非)40 b Ff(:)p Fg(A)30b(;)1662 4103 y Ff(:)p Fg(A)25 b Ff()h Fe(not)39 b Fg(A)31b(:)448 4295 y Fp(In)f(the)h(符号)f(of)h(默认)e(逻辑)i(这些)f(规则)f(can)i(b)s(e)f(书面)f(as)1705 4469 y(:)56b Fg(A)p 1705 4509 149 4 v 1746 4593 A(A)1864 4530 y(;)1945年4469 y Fp(:)g Ff(:)p Fg(A)p 1945年4509 210 4 v 1986年4593a Ff(:)p Fg(a)2165 4530 y(:)589 4751 y Fp(交替)m(ely)-8b(,)43 b(a)e(程序)f(带)f(man)m(y)i(answ)m(er)f(集合)g(can)h(b)s(e)f(形成)g(使用)448 4863 y(规则)29 b(of)i(形成)f(形式)17774976 y Fg(L)p Fp(;)15 b Fe(非)40 b Fg(L)1167 b Fp(\(12\))19205225年(6)月%%页码:7 77 6 bop 448 573 a Fp(其中)32 b Fg(L)f Fp(is)g(a)h(文字)43b(本)30b(规则)h(有)g(t)m(w)m(o)i(answ)mb Ff(f)p Fg(L)p Ff(g)32 b Fp(和)f Ff(;)p Fp(.)45 b(A)32b(程序)448 686 y(即)j(包括)e(of)g Fg(n)g Fp(规则)g(of)g(形式)g(12)j(has)d(2)2133 653 y Fd(n)2214 686 y Fp(answ)m(er)g(sets | all)g(子集)g(of)h(the)448 799 y(set)j(of)f(literals)e(o)s(occurring)g(in)h(规则)56 b(F)-8 b(或)36 b(实例)h(规则)F(answ)m(er)g(集合)g(用于)g(the)448 912 y(program)1766 1017 y Fg(p)p Fp(;)15b铁(非)39 b Fg(p)31 b(;)1766 1130 y(q)s Fp(;)15 b铁(不)40b Fg(q)3275 1073 y Fp(\(13\))448 1294 y(are)31 b(the)g(4)f(subset)g(of)h Ff(f)p Fg(p;)15 b(q)s Ff(g)p Fp(.)589 1407 y(The)37b(规则)e(即)j(可以)f(b)s(e)f(使用)g(到)h(消除)f(不需要)f(answ)m(er)h(集合)i(are)448 1520 y(约束)m(ts |规则)h(带)g(the)h(empt)m(y)h(水头)70 b(W)-8 b(e)41 b(sa)m(W)g(in)e(断面)h(2.2)h(即)g(ap-)448 1633 y(p)s(结束)26 b(the)j(constraint)m(t)gFf()c Fg(q)31 b Fp(to)e(程序)g(3)g(消除)e(一)i(of)f(its)g(t)m(w)m(o)i(answ)m(er)448 1745 y(组)39 b(组)65b(The)38 b(e \013ect)h(of)g(加法)e(a)h(约束)m(t)g(to)h(a)g(程序)f(is)f(alw)m(a)m(ys)i(mono-)448 1858 y(tonic:)h(the)29b(集合)g(of)f(answ)m(er)h(集合)g(of)g(扩展)g(程序)f(is)g(a)h(part)g(of)g(the)448 1971 y(collection)h(of)h(answ)m(er)f(集)h(of)f(the)h(original)e(program.)589 2084 y(More)j(精确地)-8b(,)29 b(w)m(e)i(sa)m(y)g(即)g(a)g(设定)g Fg(X)38 bFp(of)30 b(文字)f Fo(违反)h Fp(a)h(约束)m(t)12172288 y Ff()25 b Fg(L)1395 2302 y Fn(1)1435 2288 y F g(;)15b(:)g(:)g(:)h(;)f(L)1698 2302 y Fd(m)1765 2288 y Fg(;)g铁(非)40 b Fg(L)2034 2302 y Fd(m)p Fn(+1)2191 2288 yFg(;)15 b(:)g(:)h(;)f Fe(非)40 b Fg(L)2621 2302y Fd(n)3275 2288 y Fp(14)448 2493 y(if)30 b Fg(L)594年2507年Fn(1)634 2493年Fg(;)15磅(:)克(:)g(:)小时(;)f(L)8972507 y Fd(m)990 2493 y Ff(2)26 b Fg(X)39 b Fp(和)30b Fg(L)1430 2507 y Fd(m)p Fn(+1)1587 2493 y Fg(;)15 b(:)g(:)(L) 1851 2507 y Fd(n)1924 2493 y Ff(62)26 b Fg(X)7 b Fp(.)43b(Let)32 b(\005)2393 2460 y Fc(0)2447 2493 y Fp(b)s(e)f(the)g(program)g(获得)448 2606 y(来自)f(a)h(程序)f(\005)g(b)m(y)h(添加)d(约束)m(t)j(14)。)42 b(然后)29 b(a)i(集合)g Fg(X)38b Fp(of)30 b(文字)f(is)g(an)448 2718 y(answ)m(er)i(集合)g(for)f(005)1099 2685 y Fc(0)1152 2718 y Fp(i\013)585 2906y Ff(\017)46 b Fg(X)37 b Fp(is)30 b(a)g(answ)m(er)g(for)g(\005,)h(and)585 3094 y Ff(\017)46 b Fg(X)37 b Fp(do)s(es)30 b(not)h(contract)f(约束)m(t)h(14)。)448 3281 y(F)-8 b(or)32 b(instance)e(the)h(第二)g(of)g(the)f(answ)m(er)h(sets)g(\(4))h(for)e(program)h(\(3))g(违反)g(the)448 3394 y(constraint)m(t)40 b Ff()hFg(q)s Fp(,)i(和)c(the)h(\014rst)f(do)s(esn’t;)45 b(相应地)-8b(,)42 b(添加)c(此)h(约束)m(t)448 3507 y(to)31b(\(3\))h(消除)d(第二个)h(的)f(程序的)f(answ)m(er)g(集合)589 3620 y(T)-8 b(o)42 b(参见)f(ho)m(w)g(规则)f(of)h(b)s(oth)f(种类|那些)g(那些)h(生成)h(answ)m(er)f(集合)h(和)4483733 y(那些)27 b(那些)g(消除)f(他们|可以)g(w)m(工作)h(一起)i(考虑)c(the)i(follo)m(wing)e(trans-)448 3846 y(lation)45b(从)f(属性)s(位置)f(理论)h(到)i(逻辑)f(程序)84b(Let)46 b(\000)e(b)s(e)h(a)g(set)h(of)448 3959 y(子句,)31b(和)e(let)i(\005)f(b)s(e)g(the)g(program)h(由e(of)585组成)4146 y Ff(\017)46 b Fp(规则)29 b(\(11\))i(对于)g(所有)e(原子)iFg(A)g Fp(o)s(发生)e(in)g(\000)h(和)585 4334 yFf(\017)46 b Fp(the)30 b(constraint)m(ts)h Ff()p 14124262 102 4 v 25 w Fg(L)1474 4348 y Fn(1)1513 4334 y Fg(;)15b(:)g(:)c(:)i(;)p 1715 4262 109 4 v 15 w(L)1777 4348y Fd(n)1854 4334 y Fp(for)30 b(all)g(子句)g Fg(L)24864348 y Fn(1)2545 4334 y Ff(_)20 b(\001)15 b(\001g)21b(_)f Fg(L)2895 4348 y Fd(n)2972 4334 y Fp(in)29 b(000.)4484522 y(By)p 632 4450 62 4 v 37 w Fg(L)36 b Fp(w)m(e)h(表示)g(the)f(文字)f(complemen)m(tary)i(to)g Fg(L)p Fp(.\))58 b(The)36b(answ)m(er)g(sets)h(for)f(\005)448 4635 y(are)d(in)e(a)i(1{1)g(对应)s(ondence)f(与)f(the)h(真值)g(赋值)m(ts)g(满足)f(\000,)h(ev)m(ery)448 4748 y(真值)d(赋值)m(t)h(b)s(正在)e(represen)m(ted)i(b)m(y)f(the)h(set)g(of)g(literals)e(to)i(whic)m(h)f(it)g(赋值)448 4860 y(the)i(v)-5 b(alue)30 b Fo(true)pFp(.)1920 5225 y(7)p地球物理观测%%页码:8 88 7波普448 573 a Fq(3)135 b(Answ)l(er)45 b(Set)g(Solv)l(ers)448776 y Fp(系统)35 b Fm(dl)-8 b(v)34 b Fp(计算)i(answ)m(er)f(套)g(对于)g(\014nite)f(程序)h(无)f(否定)i(as)448889 y(故障)e(in)h(the)g(heads)h(of)g(rules)e(\()pFg(l)i Fp(=)e Fg(k)39 b Fp(in)34 b(ev)m(ery)j(rule)d(\(2))j(of)f(the)g(程序\)。)56 b(F)-8 b(或)448 1002 y(例如)31 b(giv)m(en)F(the)h(输入)d(\014le)448 1151 y Fb(p)48 b(;)f(q.)448 1264y(-r)g(:-)h(p.)448 1414 y Fp(it)30 b(will)e(return)h(the)i(answ)m(er)f(设置)h(用于)f(程序)g(3)。)42 b(Giv)m(en)30 b(the)h(input)d(\014le)448 1563 y Fb(p)48 b(:-)f(非)g(q.)448 1676 y(q)h(:-1789年(r)h(:-)f(not)g(s.)448年(it)30年(will)e(return)h(the)i(answ)m(er)f(set)h(for)f(program)g(\(5\))589 2051 y(系统)25b Fm(smodels)d Fp(需要)h(另外)f(即)j(其)f(输入)e(程序)i(con)m(tain)h(no)448 2164 y(析取)m(e)k(规则)39b(本)29 b(限制)f(is)h(减轻)h(b)m(y)h(t)m(w)m(o)g(环境)589 2277 y(First,)26 b(the)f(input)e(language)j(of)fFm(smodels)e Fp(allo)m(ws)h(us)h(to)g(express)g(an)m(y)g(排除)m(e) 448 2390 y(disjunctiv)m(e)k(rule,“)h(that)h(is,)e(a)i(disjuctiv)m(e) e(规则)1564 2548 y Fg(L)1626 2562 y Fn(1)1665 2548y Fp(;)15 b Fg(:)g(:2548 y Ff()25 b Fe(Bo)-5 b(dy)448 2707 y Fp(伴随)31b(b)m(y)f(the)h(constraint)m(ts)1240 2865 y Ff()25 bFg(L)1418 2879 y Fd(i)1446 2865 y Fg(;)15 b(L)1548 2879y Fd(j)1585 2865 y Fg(;)g Fe(Bo)-5 b(dy)192 b Fp(1)26b Ff(\024)f Fg(i)g(<)g(j)31 b FfFg(:)448 3024 y Fp(This)k(com)m(bination)h(is)f(represen)m(ted)h(as)4483171 y Fg(L)510 3185 y Fn(1)580 3171 y F(j)46 b(\001)15b(001)g(001)46 b(j)31 b Fg(L)920 3185 y Fd(n)1022 3171y Fp(:)26 b Ff(\000)k Fe(Bo)-5 b(dy)9 b Fp(.)448 3319y(秒)28 b Fm(smodels)c Fp(allo)m(ws)i(us)g(to)h(represen)m(t)g(the)g(imp)s(ortan)m(t)e(析取)m(e)g(com)m(bina-)4483432 y(tion)30 b(12)i(in)d(the)i(head)f(of)g(a)h(rule)e(b)m(y)i(封闭)e Fg(L)h Fp(in)f(支撑:)448 3579 y Ff(f)iFg(L)f Ff(g)p Fp(.)448 3727 y(A)h(list)e(of)h(rules)f(of)i(the)f(form)1263 3885 y Fg(L)1325 3899 y Fd(i)1353 3885 y Fp(;)15b Fe(非)40 b Fg(L)1622 3899 y Fd(i)1675 3885 y Ff()26b Fe(Bo)-5 b(dy)191 b Fp(1)26 b Ff(024)f Fg(i)h Ff(\024)eFg(n)p Fp(\))448 4044 y(can)31 b(b)s(e)f(con)m(v)m(enien)m(ty)g(表示)m(ted)h(in)e(an)h Fm(smodels)e Fp(input)h(\014le)g(b)m(y)i(一)f(线)448 4191 y Ff(f)h Fg(L)586 4205 y Fn(1)6564191年Fg(;)45 b(:)15 b(::)g(:)i(;)76 b(L)1011 4205年Fd(n)1088 4191 y Ff(g)56 b Fp(:)25 b Ff(\000)30 b Fe(Bo)-5b(dy)10 b Fp(.)448 4339 y(F)-8 b(或)31 b(实例)g(规则)e(13)j(can)e(b)s(e)g(书面)f(简单)f(as)448 4488 y Fb({p,q})5894638 y Fp(两者)40 b Fm(dl)-8 b(v)38 b Fp(和)g Fm(smodels)eFp(allo)m(w)i(the)h(user)f(to)i(sp)s(specify)d(large)i(programs)f(in)g(a)448 4751 y(紧凑)f(时尚)e(使用)f(规则)g(与)g(sc)m(血统)i(v) -5 b(变量)34 b(和)h(其他)h(缩写-)448 4863y(选项)52 b(两者)35 b(系统)f(emplo)m(y)g(复杂)g(接地)e(算法)h(那个)i(w)m(工作)448 4976 y(快速)c(和)f(简化)d(程序)g(in)g(pro)s(过程)g(of)h(接地)1920 5225年(8)月%%页码:9 99 8 bop 448 545 a Fb(\045)48 b(GENERATE)448 770 y(j)g({in\(X\))e(:)h(顶点\(X\)}。)448 996 y(\045)h(DEFINE)448 1222 y(连接的)d(:-)i(边\(X,Y)。)448 1335 y(连接的)e(:-)i(边缘)4481561 y(045)h(测试)448 1787 y(:-)f(in(X),)g(in(y),)93b(X!=Y,)47 b(非)g(连接的)591 1900 Y(顶点(X),)e(顶点\(Y\)。)448 2125 y(\045)j(显示)448 2351 y(隐藏)4482464 y(显示)f(in(X)。)1252 2760 y Fp(图)30 b(1:)41b(Searc)m(h)31 b(for)f(a)h(large)f(clique.)448 3035年Fq(4)135 b(Answ)l(er)45 b(Set)g(编程)448 3238y Fp(The)32 b(idea)g(of)h(answ)m(er)f(set)h(programming)f(is)f(to)i(represen)m(t)g(a)g(giv)m(en)f(计算)448 3351y(问题)c(b)m(y)h(a)h(程序)f(其)g(answ)m(er)g(集合)h(对应)s(ond)e(to)i(solutions),)f(and)f(then)448 3463 y(use)i(an)h(answ)m(er)f(集合)h(溶剂)m(er)f(到)h(\014nd)e(a)i(溶液)589 3576y(As)25 b(a)g(例如)h(w)m(e)f(将)e(sho)m(w)h(ho)m(方法)s(d)g(can)h(b)s(e)g(使用)f(to)h(\014nd)f(a)h(大)4483689 y(集团)30 b(即)h(即)e(a)i(子集)f Fg(V)50b Fp(of)31 b(the)f(v)m(ertices)i(of)e(a)h(giv)m(en)f(graph)g(suc)m(h)g(即)585 3877 y Ff(\017)46 b Fp(ev)m(ery)31 b(t)m(w)m(o)g(v)m(ertices)h(in)d Fg(V)50 b Fp(are)31 b(连接)e(b)m(y)h(a)h(边缘)g(和)5854065 y Ff(\017)46 b Fp(the)30 b(基数)m(y)f(of)hFg(V)51 b Fp(is)29 b(not)i(less)f(than)g(a)h(giv)m(en)f(constan)m(t)iFg(j)5 b Fp(.)589 4252 y(图)35 b(1)g(sho)m(ws)f(a)gFm(smodels)f Fp(input)g(\014le)g(that)j(can)f(b)s(e)f(used)f(to)j(\014nd)d(a)i(large)448 4365 y(clique)j(or)h(to)g(determine)f(that)h(it)g(do)s(es)f(not)h(exist.)66 b(This)37 b(\014le)h(is)f(supp)s(至)j(b)s(e)448 4478 y(随附)31 b(b)m(y)g(a)h(\014le)e(即)i(describ)s(es)d(the)i(graph)g(and)f(sp)s(eci\014es)g(the)h(v)-5b(值)31 b(of)g Fg(j)5 b Fp(,)448 4591 y(suc)m(h)30b(as)h(the)g(one)f(sho)m(wn)g(in)f(图)h(2.)589 4704y(The)39 b(p)s(possible)d(v)-5b(values)38 b(of)h(The)g(v)-5b(变量)37 b Fb(X)p Fp(,)i Fb(Y)f Fp(in)f(图)i(1)g(are)g(受限)f(b)m(y)448 4817 y(the)c(\\domain)f(谓词“)hFb(顶点)e Fp(和)h Fb(边)p Fp(.)49 b(In)33 b(案例)i(案例)e(案例)h(图)f(describ)s(ed)448 4930 y(in)g(图)h(2,)i(the)f(谓词)fFb(顶点)f Fp(保持)g(对于)h(the)h(n)m(数字)e Fb(0)pFg(;)15 b(:)g(:)g(:)h(;)f Fb(5)p Fp(,)36 b(和)e(the)19205225年(9)月%%页码:10 1010 9 bop 448 537 a Fb(常数)47 b(j=3.)448 763 y(顶点)448989 y(边缘(0,1))93 b(边缘)g(边缘\(2,0\)。)f(边\(3,4\)。)4481102年(边缘)h(边缘(5,3))g(边缘)f(边缘\(2,5\)。)11481397 y Fp(图)30 b(2:)41 b(A)31 b(测试)g(用于)f(the)h(集团)e(程序)448 1672 y(谓词)39 b Fb(边)e Fp(保持)h(用于)g(8)h(对)e(of)i(v)m(ertices)h Ff(h)p Fb(0)p Fg(;)15 b Fb(1)pFf(i)p Fg(;)g(:)g(:)g(Ff(i)p Fp(.)66 b(相应地)-8 b(,)448 1785 y(the)31b(表达式)448 1973 y Fb({in(X))46 b(:)i(顶点(X)})4482160 y Fp(at)38 b(the)g(b)s(eginning)c(of)k(图)e(1)i(\(\\ the)g(set)g(原子)g Fb(in(X))d Fp(for)i(all)g FbX)g Fp(suc)m(h)f(that)4482273 y Fb(顶点\(X\))p Fp(“\))29 b(有)h(相同)h(表示)g(与)4482461 y Fb({英寸(0),)46 b(英寸(1),)g(英寸(2),)克(英寸(3),)g(英寸(4),)(在\(5\)})h(.)448 2649 y Fp(The)24 b(最后)f(表达式)g(can)h(b)s(e)f(understo)s(o)s(d)f(as)i(an)g(缩写)e(代表)i(a)g(集合)h(of)f(规则)448 2761 y(形式)k(12),k(as)d(讨论)d(in)i(章节)g(3.)40 b(The)26 b(answ)m(er)h(sets)g(for)f(this)f(set)j(of)e(rules)g(are)448 2874 y(任意)h(集合)i(形成)e(来自)h(这些)h(6)f(原子)41 b(Sym)m(b)s(ol)27 b Fb(j)h Fp(at)h(the)f(b)s[开始]d(of)k(the)4482987 y(规则)j(限制)h(the)h(answ)m(er)f(集合)g(to)h(那些)g(which)f(基数)m(y)f(is)g(at)i(最小)g Fb(j)p Fp(.)49 b(本)4483100 y(is)35 b(an)g(instance)g(of)g(the)g(\\cardialit)m(y“)g(构造)h(a)m(v)-5 b(可用)34 b(in)g Fm(模型)fFp([31)q(].)56 b(It)448 3213 y(allo)m(ws)28 b(the)h(user)f(to)h(b)s(ound,)e(来自)h(b)s(elo)m(w)g(和)f(来自)h(ab)s(o)m(v)m(e,)j(the)d(n)m(um)m(b)s(er)g(of)g(atoms)448 3326 y(of)39 b(a)f(sequent)g(form)g(that)h(are)f(included)e(in)h(the)h(answ)m(er)g(set)65 b(\(A)38b(lo)m(w)m(er)h(b)s(ound)d(is)448 3439 y(placed)d(to)g(the)h(left)e(of)i(the)f(expression)e(in)h(大括号)i(as)f(in)f(this)g(示例)i(an)f(upp)s(er)448 3552 y(b)s(ound)c(w)m(ould)g(b)s(e)h(placed)f(to)i(the)g(righ)m(t.\))589 3665 y(The)25 b(main)g(parts)g(of)g(The)h(program)f(in)f(图)h(1)h(are)f(the)h(t)m(w)m(o)h(lab)s(eled)cFb(生成)448 3778 y Fp(和)35 b Fb(测试)p Fp(.)f(前)g(de\014nes)g(a)h(大)g(集合)g(of)g(answ)m(er)g(集|\\p)s(oten)m(tial)448 3891 y(溶液)j(The)23 b(后者)i(包含)e(of)h(The)g(约束)m(ts)g(即)h(\\w)m(eed)f(out)h(the)f(answ)m4003 y(组)38 b(即)g(do)g(非)g(对应)s(ond)e(to)i(溶液)61b(As)37 b(讨论)f(ab)s(o)m(v)m(e)41 b(a)d(p)s(oten)m(tial)4484116y(解)i(is)h(an)m(y)h(子集)f(of)h(f(v)m(ertices)i(其)e(cardinalit)m(y)f(is)h(at)h(至少)g Fg(j)5bFp(;)48 b(the)448 4229 y(constraint)m(ts)29 b(exclude)f(the)h(子集)f(that)i(are)f(not)g(cliques.)39 b(This)27 b(is)h(similar)e(to)k(the)448 4342 y(使用)g(of)h(生成)g(和)e(消除)f(规则)h(in)g(截面)h(2.4.)589 4455 y(The)22 b(part)g(lab)s(eled)eFb(定义)g Fp(con)m(tains)i(the)h(定义)c(of)j(the)h(辅助)c(谓词)448 4568 y Fb(连接)p Fp(.)72 b(The)41 b(part)g(lab)s(eled)e Fb(DISPLAY)g Fp(tells)i Fm(smodels)e Fp(whic)m(h)h(elemen)m(ts)h(of)h(the)448 4681 y(answ)m(er)21 b(套)g(应该)e(b)s(e)i(包括在内)d(in)h(the)i(output:)36b(it)20b(instructions)g(the)h(system)g(to)h(\\hide“)448 4794 y(all)32 b(文字)f(其他)i(而不是)g(那些)g(那)h(enco)s(de)f(the)g(集团)47 b(In)32 b(案例)i(of)f(问题)4484907 y(sho)m(wn)d(in)f(图)h(2,)h(the)g(part)f(of)g(the)h(answ)m(er)f(设置)h(显示)m(y)m(ed)e(b)m(y)h Fm(平滑)f Fp(is)18975225年(10)月%%页码:11 1111 10 bop 448 573 a Fb(in(5))47 b(in))f(in(3))g(.)589760 y Fp(The)32 b(discussion)d(of)j(this)e(example)i(in)e(terms)i(of)f(生成)h(a)g(集合)h(of)f(p)s(oten)m(tial)448 873y(解)e(和)g(测试)h(its)f(元素)m(ts)h(图解)e(the)i(声明)m(e)h(意思)e(of)h(the)448 986 y(program,)25b(但是)d(it)g(应该)f(不是)i(b)s(e)f(understo)s(o)s(d)e(as)j(a)g(描述)e(of)i(what)g(is)e(actually)448 1099 y(happ)s(ening)32b(在)h(期间)h(操作)s(操作)g(of)h(an)f(answ)m(er)h(集合)g(溶剂)m(er.)53 b(系统)34 b Fm(模型)448 1212 y Fp(do)s(es)40b(not)h(pro)s(process)f(the)g(program)h(sho)m(wn)e(ab)s(o)m(v)m(e)j(b)m(y)e(pro)s(ducing)e(answ)m(er)i(sets)h(for)448 1325 y(the)30b Fb(GENERATE)d Fp(part)j(and)f(c)m(hec)m(满足)g(the)h(constraint)m(ts)g(in)e(the)448 1438 yFb(测试)41 b Fp(部分)j(刚好)d(as)h(a)f(合理)h(满意度)m(y) d(solv)m(er)i(do)s(es)h(not)f(searc)m(h)h(for)g(a)4481551y(mo)s(del)30b(of)g(a)h(giv)m(en)g(set)g(of)g(子句)f(b)m(y)g(生成)h(全部)f(p)s(可能)e(真值)h(赋值)m(ts)4481664年(和)g(c)m(hec)m(条款)g(是)h(satis\014ed.)40 b(the)28 b(searc)m(h)4481777年(pro)s(cedures)g(emplo)m(y)m(ed)h(in)e(systems)iFm(smodels)d Fp(and)i Fm(dl)-8 b(v)28 b Fp(use)h(高级)e(searc)m(h)448 1890 y(策略)32 b(有点)e(类似)e(to)j(那些)g(使用)f(in)f(e \016cien)m(t)i(satis \014abilit)m(y)d(solv)m(ers)5892002年y(Answ)m(er)39 b(set)h(编程)e(has)h(已找到)f(应用程序)g(至)i(sev)m(eral)f(实际)448 2115 y(imp)s(ortan)m(t)e(计算)h(问题)e([30)q(,)i(35)q(、)g(16)q(])63b(一)38 b(共)g(这些)g(问题)e(是)448 2228 y(规划)4482515 y Fq(5)135 b(规划)448 2721 y Fh(5.1)113 b(示例)4482893 y Fp(The)21 b(co)s(de)g(in)f(图)h(3{5)h(allo)m(ws)f(us)g(to)h(使用)e Fm(smodels)g Fp(to)i(solve)m(e)f(planning)e(problems)4483006 y(in)38 b(the)i(blo)s(c)m(ks)f(w)m(orld.)67 b(w)-8b(e)40 b(想象)f(that)h(blo)s(c)m(ks)f(are)g(mo)m(v)m(ed)i(b)m(y)e(a)h(rob)s(ot)f(with)448 3118 y(sev)m(eral)22 b(gripp)s(ers),f(so)g(that)h(a) f(少量)g(blo)s(c)m(ks)g(can)g(b)s(e)g(mo)m(v)m(ed)h(sim)m(瞬时)-8 b(.)36 b(Ho)m(w)m(ev)mb(rob)s(ot)f(is)f(canable)g(to)i(mo)m(v)m(e)g(a)g(blo)s(c)m(k)e(on)m(to)j(a)e(blo)s(c)m(k)g即h(is)e(b)s(eing)g(mo)m(v)m(ed)i(at)g(the)4483344 y(相同)j(时间)44 b(As)32 b(通常)e(in)g(blo)s(c)m(ks)h(w)m(世界)g(规划,)e(w)m(e)j(假设)g(that)g(a)g(blo)s(c)m(k)f(can)4483457 y(b)s(e)f(mo)m(v)m(ed)h(仅)f(如果)f(有)i(有)g(无)f(blo)s(c)m(k)g(on)g(top)g(of)h(it)589 3570 y(There)40 b(are)h(three)f(domain)f(谓词)h(in)f(this)g(示例:)60 b Fb(time)p Fp(,)42b Fb(块)d Fp(和)448 3683 y Fb(位置)p Fp(;)32b(a)i(lo)s(阳离子)e(is)g(a)h(blo)s(c)m(k)g(或)g(表)48b(The)32 b(constan)m(t)j Fb(lasttime)30 b Fp(is)i(an)4483796 y(upp)s(er)39 b(b)s(ound)g(on)i(the)h(长度)e(of)h(平面图)d(至)j(b)s(e)f(考虑)71 b(\(T)-8 b(o)42 b(\ 014nd)e(the)4483909 y(最短)d(计划)g(一)f(罐)h(使用)f(the)g Fb(最小化)eFp(特征)j(of)f Fm(smodels)e Fp(whic)m(h)h(is)h(not)4484022 y(讨论)29 b(in)g(本)g(pap)s(er))589 4135y(The)20 b Fb(GENERATE)e Fp(section)j(de\014nes)e(a)i(p)s(oten)m(tial)f(解)f(to)i(b)s(e)f(a)g(任意)f(集合)i(of)4484248 y Fb(移动)27 b Fp(动作)h(执行)h(之前)d(到)iFb(上次)e Fp(例如)m(h)h(即)j(代表)d(ev)m(ery)i Fb(T)pFp(,)e(the)h(n)m(um)m(b)s(er)448 4360 y(of)j(actions)f(executed)i(at)f(时间)f Fb(T)g Fp(do)s(es)g(not)h(不超过)g(the)g(n)m(um)m(b)s(er)e(of)h(抓取)s(ers)589 4473 y(The)i(rules)e(lab)s(eled)h Fb(DEFINE)fFp(describ)s(e)g(the)i(sequence)h(of)f(states)h(corresp)s(onding)Fp(描述)s(e)g(序列)h(共)f(状态)h(对应)s(对应)4484586 y(to)d(the)g(execution)g(of)f(a)h(giv)m(en)f(p)s(oten)m(tial)g(平面图)39 b(Eac)m(h)30 b(序列)g(of)f(状态)i(is)d(代表)4484699 y(sen)m(ted)g(b)m(y)f(a)g(complete)h(set)f(of)hFb(on)e Fp(文字)38 b(The)27 b Fb(DEFINE)e Fp(规则)h(in)f(图)i(5) g(sp)s(specify)448 4812 y(the)37 b(p)s(ositiv)m(e)f(literals)f(描述)f(the)j(initial)c(p)s(positions)i(of)i(all)e(blo)s(c)m(ks)59 b(The)36 b(\014rst)448 4925 y(t)m(w)m(o)d Fb(定义)cFp(规则)g(in)h(图)g(3)h(sp)s(specify)f(the)h(p)s(positiv)m(e)f(文字)f(描述)f(the)j(p)s(o-)1897 5225 y(11)p电子操作程序%%页码:12 1212 11 bop 448 1362 a Fb(时间\(0..上次\)。)448 1588y(位置\(B\))45 B(:-)i(块\(B\.))448 1701年(位置(表))4481926年(\045)h(生成)448 2152年({move\(B,L,T\))d(:)i(块\(B\))f(:)h(位置\(L\)})e(夹具)g(:-)2262 2265 y(时间\(T\),)g(T-->