【摘 要】
：
Heterogeneous vehicular clustering integrates multiple types of communication networks to work efficiently for various vehicular applications. One popular form
【机 构】
：
Department of Computer Science and Information Technology,Mirpur University of Science and Technolog
论文部分内容阅读
Heterogeneous vehicular clustering integrates multiple types of communication networks to work efficiently for various vehicular applications. One popular form of heterogeneous network is the integration of long-term evolution (LTE) and dedicated short-range communication. The heterogeneity of such a network infrastructure and the non-cooperation involved in sharing cost/data are potential problems to solve. A vehicular clustering framework is one solution to these problems, but the framework should be formally verified and validated before being deployed in the real world. To solve these issues, first, we present a het-erogeneous framework, named destination and interest-aware clustering, for vehicular clustering that integrates vehicular ad hoc networks with the LTE network for improving road traffic efficiency. Then, we specify a model system of the proposed framework. The model is formally verified to evaluate its performance at the functional level using a model checking technique. To evaluate the performance of the proposed framework at the micro-level, a heterogeneous simulation environment is created by integrating state-of-the-art tools. The comparison of the simulation results with those of other known approaches shows that our proposed framework performs better.
其他文献
丘陵岗地是我国生态系统受损较为严重的区域,实施丘陵岗地山水林田湖草系统保护修复迫在眉睫,对国家生态安全屏障构建极为重要。以江苏省贾汪区为例,识别出重点保护和修复区域,提出丘陵岗地区山水林田湖草系统保护修复总体思路,建立低山丘陵、河流水系、生态湿地等多要素融合的保护修复总体格局,明确生态保护修复重点方向,系统构建适应高质量发展新要求的系统保护和修复模式,整体改善生态系统质量和服务功能,为相似区域山水林田湖草系统保护修复提供借鉴。
生态系统服务权衡与协同关系研究对于区域土地利用管理和可持续发展具有重要意义。基于遥感、GIS空间分析和模型模拟等技术,开展长江经济带2000—2015年碳固定、水源涵养、土壤保持、生物多样性维护功能的时空变化特征分析,研究两两之间的权衡与协同关系。结果表明:与2000—2010年相比,2010—2015年长江经济带生态系统碳固定、土壤保持服务功能有所提升,水源涵养、生物多样性维护服务功能则有所减弱。碳固定与水源涵养服务在空间上以权衡关系为主,与土壤保持、生物多样性维护服务以协同关系为主。水源涵养和土壤保持
了解广州市典型水库水环境因子与浮游生物生态学现状及其水质情况,为水质安全的预防和控制工作提供基础资料。于2021年2月至5月,对该市典型水库进行了现场环境流行病学现况调查。根据水库水环境的历史资料,有针对性地对8种环境因子进行了检测;分析水环境中浮游动物及浮游植物的构成及丰度;运用Shannon-Weaver指数法分析水环境中浮游生物的多样性;运用Pielou指数法分析水环境中浮游生物的均匀度;基于浮游生物的生态学现状,对水环境质量进行了初步评价。参照《地表水环境质量标准》(GB 3838—2002),8
土壤调理剂和叶面阻控剂是农田土壤镉污染修复的主要技术之一,能有效降低糙米中重金属镉含量。通过调查我国南方镉污染水稻地区常用的土壤调理剂和叶面阻控剂,整理这两类修复技术的种类、技术参数、原材料、施用量、施用时期等信息,分析其技术成本、降镉效果及修复机理等。同时对产品的市场研发和农田镉污染修复进行分析和展望,以期为农田土壤镉污染修复提供技术支撑和参考。
室内空气中细菌、真菌、病毒等微生物,容易引发人体健康问题。科学合理控制室内空气中微生物,有利于提升公共卫生防疫能力与提高室内空气质量。通过总结近年来室内空气中微生物污染控制方法,包括通风换气、过滤除菌、紫外辐照、等离子体、光催化、臭氧消毒、过氧乙酸消毒、二氧化氯消毒、中药消杀等,提出新型材料推进消毒灭菌技术发展,开发高效的细菌病毒过滤材料、原位灭活技术与装置,并将其应用在暖通空调新风及空气净化系统是未来的发展方向。
随着广西科学技术的高速发展和社会经济活动规模迅速扩张,集中在陆域社会活动产生的环境影响逐渐扩展到近岸海域。为达到改善海洋环境的目标,立足于党中央、国务院生态环境保护整体性、协调性,按照碳达峰、碳中和的要求,加快建设美丽广西和生态文明强区,结合陆地和海洋,开启广西海洋生态环境保护的新征程。不仅需要规范人类海上活动,更需要加强陆域相关活动对近岸海域环境污染的控制,因此建设生态文明,关系人民福祉,关乎民族未来,而探索陆海统筹环境保护发展势在必行。在基于广西近岸海洋生态环境现状的基础上,分析存在的海洋环境问题,提
生态文明示范创建工作是当前生态文明建设的重要抓手和有效载体,通过对《湖南省生态文明建设示范市县建设指标》(以下简称《指标》)中指标的合理性进行探究,分类归纳出不同类型的指标问题,分析提出合理的改进和解决建议,为《指标》的进一步完善和改进提供理论依据。
法治保障生态化是贵州省生态环境法治的良好传统,但贵州省在自然保护地立法方面却存在多头管理问题突出、自然资源资产产权界定模糊、生态补偿资金投入不足、公众参与缺乏自主性的实践困境。应通过组建省级层面保护地统一管理机构、明晰自然资源资产产权、建立以财政投入为主的多元化资金保障机制、培育自然保护地参与主体的有效路径来解决贵州省自然保护地立法的实践困境。
在近年异常气候和特殊区位综合影响下,西双版纳州首府所在地景洪市环境空气质量严重下降。通过综合分析2016—2020年环境空气质量变化情况,污染天数集中出现在每年旱季的2—5月,主要污染因子为细颗粒物,在不利气候条件下生物质焚烧境外输入污染影响更为突出。为持续提升区域环境空气质量,需密切关注气候变化趋势,强化大气污染应急预警体系,建立跨境雾霾防控机制和大气污染防控长效机制。
为了改进传统单一人工湿地处理污水效果差且不稳定、占地面积大、易发生淤塞等不足之处,构建一种复合型人工湿地污水处理系统,并详细介绍复合型人工湿地处理某城镇污水处理厂尾水工程的工艺流程、工程设计参数等,总结了设计特点。实际运行中,要求复合型人工湿地进水水质严格执行《城镇污水处理厂污染物排放标准》(GB 18918—2002)一级A标准限值,能够使出水水质指标化学需氧量、生物需氧量、氨氮、总磷达到或优于《地表水环境质量标准》(GB 3838—2002)中Ⅳ类标准限值。将其应用于某城镇污水处理厂尾水净化提质具有较