海洋牧场生态环境在线监测网是海洋牧场建设的重要发展方向之一。传统海洋监测系统体积大、功耗大、价格昂贵,受牧场建设的经费限制,无法大量投放组成监测网,迫切需要一种低成本的海洋监测手段,可负担大面积、高空间密度的投放,并以分布式的物联网方式进行组网监测,解决这一难题。本文基于MEMS技术研发可大量“群蜂式”布放、高时空分辨率、兼顾环境与生物种群特征监测的低成本监测小浮子,每个小浮子下挂多节点传感器链和视频监控节点,使用低成本的水面水下无线传输无线通信手段进行组网观测,从而为构建海洋牧场环境智能化立体监测物联网提出了全新的解决方案。2 x, g6 [/ q5 f* u/ n
, p# f6 _9 p1 i/ b9 k3 r7 U$ F4 v/ f# N5 n, N
海洋牧场; 在线监测; 低成本; 物联网
( z6 e& e& x5 @4 [ M4 r
( i( q2 _( _- M9 l0 `% S" F6 | H- J/ A i2 x
中国是海洋大国,海洋渔业是现代农业和海洋经济的重要组成部分,也是中国粮食安全保障的重要组成部分。中国渔业产量多年来一直位于世界首位,但是长期粗放型的传统海洋渔业生产方式给中国近海生态环境和渔业资源造成了巨大压力。现代化海洋牧场是适合现代可持续发展战略的新型海洋生物资源开发模式。建设现代化海洋牧场,可促进中国渔业供给侧结构性改革、海洋经济持续健康发展以及海洋强国战略的稳步实施[1]。5 v$ M3 \ p8 z7 N A' \# b& \, e
; ?- ]+ s# L! @" C4 L
# t1 ?* Q2 m1 z& x( K$ G4 c
传统海洋牧场实现了部分要素或部分空间、时间环境监测的自动化,但在现代化海洋牧场需要的广域生态环境多维信息化监控方面还有很大距离。现代化海洋牧场则是利用现代科学技术和管理方法对生物资源、生态环境、渔业生产以及相关活动等进行系统管理,所以海洋牧场环境监测以及水下养殖生物实时监测已经成为海洋牧场建设的重要方向。
, l; B9 w* N! D6 { @/ q; ]7 ~ U; F1 q
2 S5 L0 ^; S6 t4 V5 f2 F7 D5 X% l为推进海洋强国战略实施和现代渔业科技创新, 驱动我国渔业产业转型升级与持续发展,2019年我国启动实施了“蓝色粮仓科技创新”重点专项,针对海洋牧场渔业水域环境实时高效监测的共性关键技术瓶颈, 提出开发典型渔业水域水质生态环境原位在线监测技术,研制渔业水域水环境预警及管理决策支持系统。
0 `' k# ?$ U; y. j+ T7 l3 ? K5 {2 h; p& P5 k
& v9 y" R1 o# N* ~0 E2 E2 ]
1当前海洋牧场监测存在的主要问题7 Y# s/ b) L; o
现代化海洋牧场需要建立对广域水体和生态环境的监测网络,这就要求布设多个节点传感器,对诸如海洋温度、生态、生物等多种环境剖面信息进行原位实时监测。同时还需要布设多个水下视频在线监控节点,这样可随时掌控鱼虾等水产养殖产品生长发育情况,实现自动增氧、精准投喂和鱼病诊断等异常报警。目前传统的监测技术手段离现代化海洋牧场的需求还有很大距离,例如山东海洋牧场采用CAN总线技术设计了一套海底在线观测系统,实现了水下多要素水文数据和高清视频的实时在线观测[2],如图1所示。" e: z4 J5 C" J( Q& R( J$ \! i
8 i1 ]5 U$ i, q# I6 \, |! E/ N
图 1 山东海洋牧场海底观测系统示意图
2 H ^" P0 E( T0 ?, k! Z( d4 Y8 V. B) t+ S+ c
: j. I6 N4 C" F# n该套系统只有一个海底测量节点,不能实现满足水下不同深度数据的剖面测量,并且需要通过电缆进行数据和电能传输,造价和维护成本很高。
# N! I6 @5 l* g1 B0 f$ y' A" c/ j# ]7 m& v3 A* c
( J( E! R/ c# \$ g9 L/ D1 @$ z从目前技术角度上看,实现现代化海洋牧场多维度实时监测网这一目标的瓶颈主要以下两个:. I8 E7 M) v s+ y: Z) q" w
: X, q' j+ Q" ?
/ }6 ~( G2 f5 P3 v& V# P& g; a(1)现有的水质生态环境监测传感器大都体积大、功耗大, 虽测量精度高,但价格昂贵、寿命期短,且需搭载的海洋站和浮标规模较大,也无法大量布设,或布设多限于海表面和海底,这样就使海洋牧场广域水体的监测成为一个难题。这样可以看出,已有的观测技术,对于海洋牧场广域水体的监测而言,绝大多数传感器造价高昂,难以广泛布设,这就使得面向海洋牧场的多要素综合监测网还处于空白。' |' ]1 J2 w. z, d7 ]4 A
$ y4 N" C8 Z2 M. U3 a k& f5 T* A* ~# P
(2)这种在线监测网络状多节点传感器和监控节点的分布,将生成的大量信息(包括监测数据、图像、视频等)需要实时传输,对传输数据量和通信速率的要求非常高。有线通信的造价成本非常高且海洋环境适应性差, 容易被破坏,常规的海洋环境在线监测网数据通信都是采用无线传输方式,所以高速高可靠的水下和水面无线通信技术是实现海洋牧场监测网络互联互通的最关键技术之一。尤其海洋牧场区别于其他海洋监测网络的是,需要对于牧场生物行为进行有效控制与追踪、生物资源进行高效探测与精准评估,必须依靠水下实时影像观测的途径获取视频和图像信息,这就进一步加大了监测网的数据传输量,也成为制约海洋牧场智能监测网技术发展的重要瓶颈问题。正因为这样,现有海洋牧场监测还不得不停留在人工或水下机器人携带水下影像设备进行现场录像回收后进行分析的阶段,未能实现连续的在线监测。
5 B" m- F- L: ~; ]! l* R; d
, `7 Q, [7 ~4 G5 E. E& p( P( M- x$ N! h
综上,要实现现代化海洋牧场对广域水体和生态环境的立体在线监测,需要应用陆地上蓬勃发展的所谓泛在感知的“物联网”理念,突破海量、低成本、高空间分辨率传感器技术和高速高可靠数据互联互通技术瓶颈,构建海洋牧场环境智能化立体监测网。5 w$ X7 F0 w3 g
" F n. _2 k3 t# |6 v) w0 @8 q1 {
8 b/ X: N* j2 D, d: ?, R2 海洋牧场生态环境在线监测物联网实现途径( m* `7 E/ V) C* j8 g$ ]) A4 l9 |
# R/ X* C& v8 r" p
$ h' ]2 N! ~! _! a. f
2.1 基于物联网的海洋牧场监测系统设计理念3 z* |* { n, q' W3 f
* J* U# u( d# W! z2 n
) m8 U: H' x5 k- W, }由于基于现有技术来连续监测广域海洋的成本是难以负担的,美国国防高级研究计划局(DARPA)于2017年12月宣布启动“海洋物联网”项目[3-4],试图将海洋感知领入物联网时代。DARPA计划在全球范围内寻求搭载创新性、商业化传感器的低成本小浮子及其岸基云平台数据智能挖掘方案。通过将商业化传感器技术与高性能分析工具相结合,创建由数以千计、异构小浮子(或微型浮标)组成的浮动传感器网络, 以便极大地拓展海事感知能力。DARPA需求中不仅关注收集如海洋温度、海况等具有重要环境意义的气象水文信息,同时还寻求自动探测、跟踪、识别周边军事与商业舰船分布态势的技术方法或其他海上活动的可识别特征或指标,并挖掘数据之间的关联。2 p/ H3 I0 e- C( G. B
, D9 J) |9 {9 e4 c& E8 X图2 美国国防高级研究计划局(DARPA)海洋物联网计划示意图. y3 b) E3 {. `2 A( X0 m! n8 ?
) u) d9 R2 [. l4 m
" `+ t5 }4 }- m; _DARPA物联网的未来设想是在全球任意1000km× 1000km区域内可布放5万个,即每10km×10km网格内至少有5个海洋物联网小浮子;小浮子与岸基的通信采用低轨卫星通信(铱星或类似低轨物联网卫星信道)方式;小浮子具备一定的前端智能对环境和目标状态进行感知、岸基系统对小浮子群进行智能运控与场区环境与目标分布的数据产品制作;每个小浮子的未来批量造价控制在$1000以内。
3 F, Z% n- ^4 |6 Z: ]2 n6 Z( y% v/ }; N# ?; R3 C0 d
3 F2 V+ R8 k# g* x
借鉴DARPA计划和海洋物联网的技术理念,设计应用可大量“群蜂式”布放、高时空分辨率、兼顾环境与生物种群特征监测的低成本监测小浮子构建海洋牧场环境智能化立体监测物联网,如图3所示。
6 A" Z- I' H. m+ A0 m
" R, M5 u: x2 n; u+ Z* E图3 海洋牧场环境智能化立体监测物联网示意图
6 b4 k+ }+ U0 N. Z9 L( U
# x, U7 \- k9 L* I* H% s6 f A8 F8 G$ r8 b L. l
在该立体监测网络中,将海洋牧场需要监测广域水体空间分割成若干个网格,每个网格布放一个或多个小浮子,在小浮子下面的传感器链悬挂一个多节点传感器链,对诸如海洋温度、生态、生物等多种环境信息进行原位实时监测。每个小浮子的多节点传感器链将数据实时传输到水面,再由水面多个小浮子间进行高速的组网通信。这样以低成本微型浮标和传感器链的方式,融合多要素传感器技术和海量传感器链、微型浮标组网、通信技术等,由监测预警中心进行大数据分析,即可形成智能化的海洋牧场监测预警系统。* E- J& g" `2 ~- a% ~7 d
c/ N4 L. j# `$ `& P
9 G# M- Q% `0 y7 ~+ H2 A- ~( p: D9 s2.2物联网中低成本小浮子的实现/ b3 Y$ m% F) I/ ~; w5 o9 ~
海洋牧场监测物联网中使用的低成本小浮子理念,来源于海洋观测中常用的漂流浮标。其体积小、重量轻、成本低、布放简单,没有庞大复杂的锚系系统,浮标下挂水帆,随海流以拉格郎日法测量海水表层流和进行大面积海区、洋面水文气象观测。它依靠Argos卫星通信网定位并上传收集观测到的各种参数,经地面接收站处理,提供给用户[5-7]。+ s. H0 V3 `, V) x2 K( _+ E
; v7 P9 A/ B* |% V6 h
% _9 [: }- f3 z! k目前国内外漂流浮标大都仅关注表层温度、流速参数的测量,工作模式单一,仍然存在高精度传感器价格昂贵、依赖进口的状况,单温测量要素的浮子售价在万元左右,多水文气象要素的漂流浮标的造价将增加到4万元以上,甚至达到20万元,这成为阻碍浮标大规模布放应用的重要问题。那么,未来海洋牧场物联网小浮子是借鉴传统表面漂流浮标的结构特点,优化其电源、智能通信与控制以及传感器链挂接结构、接口,可搭载传感器链在海洋环境下长期运行。同时采用环境友好型材料,并将成本控制在人民币5000元左右,作为一种面向海洋物联网的新型通用小浮子观测平台,如图4所示。6 p+ o2 p+ I3 j+ z0 g8 L0 @9 \8 }; n
" N1 n. Z1 G; N5 o6 n
图 4 海洋牧场物联网水面小浮子结构示意图- {+ j. q2 ^/ h. e4 a
$ r6 E* g3 C$ N5 E3 U# r- @6 j& O# }+ M- @( T
2.3低成本传感器链的实现" v- l% a* g. [0 i" U
9 h: v* h; G8 @6 e6 E+ ]9 @" r
7 m9 N7 x* p. C传统海洋传感器虽精度高,但存在体积大、功耗大、重量大、成本高等问题,无法满足海洋牧场物联网需要大规模部署传感器的需求。而实际上,海洋牧场的监测不需要大量高精尖、大深度的海洋传感器,更需要的是中等精度、高一致性、低成本的传感器,可负担大面积、高空间密度的监测,传统技术无法实现这一难题。
8 {* x* ?. Q- f6 I) z" q
& M. I0 F S2 M% v x
6 B: t/ ~8 k: ^/ m, d3 S$ sMEMS微机电系统,是可批量制作的,集微结构、微传感器、微执行器以及信号处理和控制电路于一体的器件或微系统。主要优点是体积小、重量轻、功耗低、一致性好、可靠性高、灵敏度高、易于集成。基于MEMS技术的海洋传感器与传统传感器相比,在构建海洋牧场物联网方面更具优势。
! N2 q; f' n: q' F6 Z
, H( ]3 U1 ?+ V3 e! W8 a2 P7 l+ o- R% R/ l' l6 A2 m/ d. B: h/ r
美国伊利诺伊大学的He等[8]加工了0.1mm的MEMS电极探头,测量误差在4%以内。丹麦科技大学的Hyldgard等[9-11]基于硅材料的MEMS技术制作了一个尺寸约为4mm×4mm的开放式四电极电导率传感器,电极形状为条形,测量精确度在±0.6mS/cm。本文中采用铂电阻测温、四电极探头测量电导率的方法,应用MEMS技术研制新型温盐传感器探头,可在一块基板上一次成型100余个温盐传感器探头,且一致性好,减少了后续对传感器的标定和校准环节,大大降低了制造和校准检测成本。
3 I6 l2 `9 C' E5 H- H1 T/ h9 U1 y2 C% o1 B
8 c6 k2 o. e- a3 B; K2 Q, P
新型四电极电导率传感器采用开放式片式结构, 保证良好的水交换特性,工作时无需带泵,既大大降低了功耗,也保证测量水团尽量不被扰动破坏。传感器探头设计尺寸为8mm×14mm,体积很小,温度滞后对电导率测量的影响很小。两个传感器的时间常数均控制在20ms以内,保证测量同步性,可有效消除盐度测量尖峰。为保证传感器的长期稳定性,电导率电极与温度传感器均采用Pt电极和SiN薄膜。而后将温盐传感探头、信号处理模块、电源控制模块、数据通信模块、状态查询与反馈模块集成于小型传感器节点中(如图5所示),传感器节点通过标准电气接口实现即插即用、随意替换,与其他传感器节点组成阵列(链),实现海洋上层的快速、连续剖面温盐变化。) p, n7 u* |, d6 ?8 l6 [0 ]3 @$ i
$ u, q. a! p5 R: v1 B/ T% q& o图5 基于MEMS技术的低成本温盐传感器探头结构和封装节点结构9 Q, m- e0 }. t I: c6 B2 ^; ^
: S3 v( o' {1 c3 h3 K& R" C# @6 u) z9 Y+ P# K/ T+ {, P3 C4 G( V
根据应用需求,新型叶绿素a传感器,采用光学荧光法,基于光电混合集成芯片技术,将LED光源、法布里-波罗(Fabry-Perot)干涉腔、光接收器、信号调制处理电路等高度集成,实现叶绿素a传感器的小型化。短的光传播路径降低对光源功率的要求,大大降低传感器功耗。采用LED脉冲调制光源去除或避免太阳光对传感器测量产生的误差。
% g& E7 U7 E* u# w' X! z' `. A/ ~) |6 d4 |: V# ~. ^" b/ m
, |& D2 C. O1 l, o叶绿素a传感器采用450nmLED脉冲调制光源作为激发光源,通过光纤进行信号传输,激发光源通过光纤末端的准直器以一定角度射入法布里-波罗(Fabry-Perot)干涉腔。FP腔中充满海水,光源在腔中形成反射,不断激发海水中叶绿素a发出的荧光。激发出来的680nm的脉冲调制荧光通过光纤被光电二极管吸收,实现对叶绿素a浓度的测量。经脉冲调制后的450nmLED光源区别于太阳光,接收激发的荧光信号时可以有效避免太阳光对测量产生的影响, 如图6所示。
3 z1 P9 N5 P* D6 R) N n, Q' n8 _; W! a8 @1 M8 l+ W- X5 [% r
图6 基于光电集成混合芯片的微型叶绿素 a 传感器测量原理图% p5 o3 z! w! @! f9 \/ P8 |, R
$ t% k( q2 g+ z0 t1 x. J+ r* T/ K4 D. s1 ^
为实现叶绿素a的原位、实时和精细化测量,将传感器设计为小型化标准节点,如图7所示。5 {' P+ `- v; w& x' }3 M
2 z: @" J8 J3 j! Y/ p* @: U3 A图7 叶绿素 a 传感器结构示意图" N$ O, W6 t% d1 u7 m- Y
2 Q3 Y* R7 ^; ]; P" L( u/ o d1 J) g b, U
节点顶端开槽,槽内制作FP腔做为传感部分,LED光源通过透明窗口入射至FP腔,激发的荧光通过窗口完成收集。光信号处理模块、信号处理模块、供电模块及数据通信模块全部封装在40×25mm小型节点内。高集成度的光路设计可以有效降低LED光源功率,高集成度的电路模块可以降低电路功耗,小型标准化节点设计可实现传感器的一致性,有效降低成本,多个标准节点可形成水下阵列,通过标准接口实现供电、通信、即插即用和随意更换。
, b3 F# {. e8 G7 j( b O9 C
& W# |/ C: j7 p' c* O( Q) ^5 {3 a% @# V; c
基于以上的几型小型智能化传感器和组网成阵观测理念,设计形成一种海洋传感器链。采用MEMS技术制作具备通用数字接口和智能化自校准功能的温盐深和叶绿素、溶解氧等参数传感器,相比国外现阶段传感器探头,具有更加微小型化、高一致性、低功耗、低成本的特点,以通用的传输协议组成多节点观测链,悬挂于小浮子下端,实现对上层海洋叶绿素、电导率(盐度)、温度、压力、溶解氧、海流等多参数水下观测。
4 `, |: F" h5 @7 A0 M2.4 物联网低成本高速高可靠水下数据传输的实现
7 ~* G0 U- ]/ q4 B g& e
) {! a9 m% \. X) u4 e8 S- K( h$ x8 S! l; {/ c1 }. H0 }
海洋牧场在线监测网主要由监测平台(小浮子)、监测传感器(链)和无线数据传输网组成。其中无线数据传输网要完成两个重要任务:一是由水下传感器网络(USN)将各水下节点的传感器数据传输到小浮子的水上终端,二是由水上网络通信系统实现各个小浮子与海洋牧场监测预警中心的互联互通,所以低成本高速高可靠的水下和水面通信技术是实现海洋牧场监测物联网互联互通的关键技术。海洋牧场监测物联网要将生成的大量监测数据(包括图像、视频等)进行实时传输。近年来,随着图像和视频智能识别技术的发展,虽可只需传输提取的关键特征数据,可大大压缩传输数据量,但传输速率仍需达到500kbp以上[12]。; t! M& S3 i) e4 T) B% E. D
" k. l7 }1 b) _) p. x
+ a2 h7 h2 f/ w4 ~8 H# X
现有USN采用的通信技术主要是有线传输和无线传输两种。第一种是采用类似陆地的电缆直连传输方式,但其需要解决电缆水密性、多节点通信可靠性以及通信电缆与锚系水下缠绕的问题。第二种方式是无线传输,即应用电磁波或声学原理对数据进行传输。其中水声通信在海水介质里可实现长距离传输,但其传输性能受低带宽、时变多径传播、高延时和多普勒扩散的限制[13],在长距离(km)通信下其数据传输率仅为几十kpb,不能满足传输需求[14]。电磁波传输具备更高的带宽和更快的速度,但在水下应用,受海水介质电导率等参数的影响,其传播范围会受到基波衰减和噪声因素的限制,其工作在2.4GHz的频率时,在海水中衰减大约1600dB/m,只能实现几十厘米的短通信距离[15]。而且电磁波传输需要解决水下接驳,电缆或光纤缆的水密等复杂问题,且无法自由变换位置,大大限制了网络节点的数量。
( S$ P* g( H( f. K
2 p, ?( F/ W% Z& M, @, X z) d7 u Q) u) s' @ G x# n
因上述两种方法存在的缺点,国内外海洋技术专家创新研发了感应耦合数据传输技术,这种技术介于上述两种方法之间,将小浮子系留包塑钢缆与海水构成的回路,利用电磁感应原理实现无接触水下多节点传感器数据传输。传输原理类似两级变压器原理,小浮子系留包塑钢缆两端与海水接触,形成单匝回路,水下每台仪器的数据信息通过载波加到耦合磁环的初级绕组上;在钢缆与海水串联构成的单匝回路中感应出电流;该电流又在水上终端耦合磁环次级绕组上感应出电动势;该电动势送到终端解调以获得水下送来数据。- Q1 U9 A* N# ?* T* L
: ` I. v8 O2 _
- z$ w$ G( u$ E, q
该传输方式无任何直接电气连接,在可靠性和造价上明显优于其他传输方式;且传输距离远,可覆盖海洋全部深度,具有全天候实时采集传输海洋环境观测数据的优点。目前,国际上知名海洋仪器厂商已经开发出了满足多节点海洋观测应用需求的产品,传输速率最快可达9600bp[16],但面对海洋牧场监测网的需求仍要对现有传输系统的传输能力进行有效提升。
# r) r& J+ t( @" n: E* }& z* U7 u2 X3 t0 D
, U+ h3 _+ B' K2 i& j+ K$ ?传统感应传输方式由于耦合信道的“窄带”特性,采用传统的单载波调制方式提高信号传输速率会受到信道的噪声容限及有效带宽的限制。那么,采用正交频分复用(OFDM)技术以降低单个载波传输速率的方式来获得更高的信噪比增益,以增大载波的数量来提高信道带宽利用率,最终提高系统的传输速率。针对OFDM技术子载波调制方式灵活性的特点, 根据耦合信道的特性选择合适的子载波调制方式, 信道条件较差时选择抗误码性能较强的低阶调制方式(如2PSK,QPSK),信道条件较好时选择传输效率较高的高阶调制方式(如16QAM,64QAM)。在调制方式确定的情况下设计合理的星座图映射,提高耦合信道的传输速率,达到1Mbp。
% x. \7 G2 N7 `8 j& j0 m; m1 d7 p: a
( W" v" N2 s$ k0 P+ \0 w& N: m
( ?( g2 f% Y1 R3 u! Z# C2.5物联网低成本水面数据传输网的实现- i- R, L: V" g: ]. `3 M! R
# h7 ?0 S ^. T; \- ?8 e/ ^9 C2 }% I3 {" y6 z( t
支撑海洋牧场监测物联网的核心环节,除了前端智能浮标技术、低成本传感器阵列等之外,还要适于浮标的低功耗、实时、可支持图像端视频等较大数据量传输的、且具有稳定业务化能力的水面无线通信技术。海洋牧场环境的数据传输需要覆盖很长的距离,功耗要求比较高,且海洋是一个不断运动的环境,通信信号衰减比较严重。从目前来看,传统观测系统中应用的美国铱星系统符合要求,但其通信费用很高,并不适用海洋牧场。而远程LoRa是最成功的LPWAN技术之一,它能够实现可靠的远程低功耗通信[17],其通信距离可达5km以上,若每1min采集一次数据,两节5号电池可供LoRaWAN网络节点工作3年左右[18]。LoRa技术的LoRaWAN集成遵循物联网系统的通用集成规则,它的速率自适应机制,可以使不同传输距离的设备根据传输状况,尽可能使用最快的数据速率,使得整体的数据传输更有效率,非常适合于传感器数据组网;,而在价格上, 单节点的LoRa芯片的价格为几十元,远远低于目前卫星通信的价格,大大降低了该系统的应用成本, 可满足海洋牧场的多要素监测海量数据通信传输长距离、低功耗、低成本、稳定可靠的需求。
+ H- h0 G6 \; @: s现代化海洋牧场需要对牧场生态环境进行多要素立体实时监测,传统监测和数据传输手段存在着成本高、不能大量布设等问题,成为构建智能化的监测预警系统的瓶颈问题。
# n: }5 Y; R, d! z' O [6 `+ e; l( N3 V% L. G" F2 }
. S" P1 E7 S7 u& K' ~8 C
本文基于陆地上蓬勃发展的所谓泛在感知的“物联网”理念,设计了一种基于低成本小浮子的海洋监测物联网技术方案,对于如何解决实现低成本和高可靠的小浮子、多要素传感器链、水下数据传输和水面组网通信等问题提出了具体解决措施。这些研究成果后续可以为海洋牧场或其他海洋观测系统建设提供技术支撑,将一定程度改变当前监测系统建设投入中存在的的技术手段传统、落后、低效、信息化程度低等问题,促进产业转型升级。
5 v( p5 Z6 _, v该文章来源互联网，如有侵权请联系删除. R. }0 k. g# O
查看原文：www.52ocean.cn |
0 ?1 z) F# q; H1 T
