1Banff移植病理学会议的起源及其简要历程Banff移植病理学会议(Banff Conference on Allograft Pathology,简称“Banff会议”)创立于1991年,截止至2021年,已经走过了30年的历程^([1-5])。Banff会议及其移植病理学诊断标准的建立和不断更...1Banff移植病理学会议的起源及其简要历程Banff移植病理学会议(Banff Conference on Allograft Pathology,简称“Banff会议”)创立于1991年,截止至2021年,已经走过了30年的历程^([1-5])。Banff会议及其移植病理学诊断标准的建立和不断更新,是国际移植病理学发展中的里程碑,不仅极大地提高了器官移植术后并发症的诊断及其治疗水平,而且也形成了一个新的学科即移植病理学。展开更多
From data published by the Hong Kong SAR(HKSAR)government in their two sole fisheries surveys of 2006 and 2016/2017,the current authors produced regional maps using spatial interpolation to more accurately describe an...From data published by the Hong Kong SAR(HKSAR)government in their two sole fisheries surveys of 2006 and 2016/2017,the current authors produced regional maps using spatial interpolation to more accurately describe and estimate the geographic coverage of changes in fishing production in Hong Kong waters since the ground trawl ban of 2012 December 31st.These suggest the fishing industry has adapted to smaller craft,and that fishing production increased in several areas in the period after the ground trawl ban came into effect.In addition,the maps enable a smoother assessment to be made of the geospatial changes in fishing production which have occurred since the ground trawl ban and suggest a‘workaround’by fishermen.In particular,small fishing craft known as sampans are able to take advantage by being more suitable vessels for areas such as narrower or shallower bays.Marine plastics pollution is also a proxy indicator of these activities,as evidenced by discarded fishing gear that includes plastic nets,floats,and other fishing boat equipment.展开更多
由于类 BAN 逻辑缺乏明确而清晰的语义,其语法规则和推理的正确性就受到了质疑。本文定义了安全协议的计算模型,在此基础上定义了符合模态逻辑的类 BAN 逻辑“可能世界”语义模型,并从语义的角度证明了在该模型下的类 BAN 逻辑语法存在...由于类 BAN 逻辑缺乏明确而清晰的语义,其语法规则和推理的正确性就受到了质疑。本文定义了安全协议的计算模型,在此基础上定义了符合模态逻辑的类 BAN 逻辑“可能世界”语义模型,并从语义的角度证明了在该模型下的类 BAN 逻辑语法存在的缺陷,同时,指出了建立或改进类 BAN 逻辑的方向。展开更多
This paper presents the design and analysis of a miniaturized and novel wearable ultra-wideband(UWB)band-notch textile antenna for Body Area Networks(BANs).The major goal of building the antenna for wearable applicati...This paper presents the design and analysis of a miniaturized and novel wearable ultra-wideband(UWB)band-notch textile antenna for Body Area Networks(BANs).The major goal of building the antenna for wearable applications with band notch in X-band is to reject the downlink band(7.25 to 7.75 GHz)of satellite communication in the UWB frequency ranges of 3.1–10.6 GHz to keep away from interference.Computer Simulation Technology(CST)TM Microwave Studio,which is user-friendly and reliable,was used to model and simulate the antenna.The radiating element of the antenna is designed on Jeans’textile substrate,which has a relative permittivity of 1.7.The thickness of the jeans’fabric substrate has been considered to be 1 mm.Return loss,gain,bandwidth,impedance,radiation,and total efficiency,and radiation patterns are presented and investigated.The antenna is simulated placed on the three layers of the human body model,and the on-body results are summarized in comparison with free space.Results and analysis indicate that this antenna has good band-notch characteristics in the frequency range of 7.25 GHz to 7.75 GHz.The parametric study varying the relative permittivity of Jeans’fabric substrate of this antenna is also evaluated.In addition,effects on the antenna parameters of variation of ground plane size have been reported.The antenna is 25 mm×16 mm×1.07 mm in total volume.Results reveal that this antenna achieves the design goal and performs well both in free space and on the body.展开更多
Ad hoc移动网络路由协议为加强其安全性,采用了密码技术,使其成为安全协议的一种。这使得采用形式化的方法分析其安全性成为可能。考虑ad hoc移动网络路由协议的特点,采用BAN逻辑对协议的安全性进行描述,提出了协议应满足的条件。并对...Ad hoc移动网络路由协议为加强其安全性,采用了密码技术,使其成为安全协议的一种。这使得采用形式化的方法分析其安全性成为可能。考虑ad hoc移动网络路由协议的特点,采用BAN逻辑对协议的安全性进行描述,提出了协议应满足的条件。并对协议的运行过程进行了形式化,给出具体的分析方法。采用该方法对安全路由协议SADSR进行了安全验证,说明方法的有效性。展开更多
文摘1Banff移植病理学会议的起源及其简要历程Banff移植病理学会议(Banff Conference on Allograft Pathology,简称“Banff会议”)创立于1991年,截止至2021年,已经走过了30年的历程^([1-5])。Banff会议及其移植病理学诊断标准的建立和不断更新,是国际移植病理学发展中的里程碑,不仅极大地提高了器官移植术后并发症的诊断及其治疗水平,而且也形成了一个新的学科即移植病理学。
文摘From data published by the Hong Kong SAR(HKSAR)government in their two sole fisheries surveys of 2006 and 2016/2017,the current authors produced regional maps using spatial interpolation to more accurately describe and estimate the geographic coverage of changes in fishing production in Hong Kong waters since the ground trawl ban of 2012 December 31st.These suggest the fishing industry has adapted to smaller craft,and that fishing production increased in several areas in the period after the ground trawl ban came into effect.In addition,the maps enable a smoother assessment to be made of the geospatial changes in fishing production which have occurred since the ground trawl ban and suggest a‘workaround’by fishermen.In particular,small fishing craft known as sampans are able to take advantage by being more suitable vessels for areas such as narrower or shallower bays.Marine plastics pollution is also a proxy indicator of these activities,as evidenced by discarded fishing gear that includes plastic nets,floats,and other fishing boat equipment.
基金Taif University Researchers are supporting project number(TURSP-2020/216),Taif University,Taif,Saudi Arabia.
文摘This paper presents the design and analysis of a miniaturized and novel wearable ultra-wideband(UWB)band-notch textile antenna for Body Area Networks(BANs).The major goal of building the antenna for wearable applications with band notch in X-band is to reject the downlink band(7.25 to 7.75 GHz)of satellite communication in the UWB frequency ranges of 3.1–10.6 GHz to keep away from interference.Computer Simulation Technology(CST)TM Microwave Studio,which is user-friendly and reliable,was used to model and simulate the antenna.The radiating element of the antenna is designed on Jeans’textile substrate,which has a relative permittivity of 1.7.The thickness of the jeans’fabric substrate has been considered to be 1 mm.Return loss,gain,bandwidth,impedance,radiation,and total efficiency,and radiation patterns are presented and investigated.The antenna is simulated placed on the three layers of the human body model,and the on-body results are summarized in comparison with free space.Results and analysis indicate that this antenna has good band-notch characteristics in the frequency range of 7.25 GHz to 7.75 GHz.The parametric study varying the relative permittivity of Jeans’fabric substrate of this antenna is also evaluated.In addition,effects on the antenna parameters of variation of ground plane size have been reported.The antenna is 25 mm×16 mm×1.07 mm in total volume.Results reveal that this antenna achieves the design goal and performs well both in free space and on the body.
