Meet-Cloud for Secure and Accurate Distribution of Negative Messages in Vehicular Ad hoc Network

Keeping Vehicular Ad hoc Network(VANET) from attacks requires secure and efficient distribution of information about bad entities. Negative messages are pieces of information that define the negative attributes of vehicles. By formally defining the negative message, we observe that accuracy is essential for its efficient distribution. We formally define the coverage percentage and accurate coverage percentage to describe the availability and distribution efficiency of negative message. These two metrics can jointly evaluate the performance of a distribution method. To obtain both high coverage percentage and high accurate coverage percentage, we propose meet-cloud, a scheme based on meet-table and cloud computing to securely and accurately distribute negative messages in VANET. A meet-table in a Road Side Unit(RSU) records the vehicles it encounters. All meettables are sent to cloud service to aggregate a global meet-table. The algorithm for distributing and redistributing negative messages are designed. Security analysis shows that meet-cloud is secure against fake and holding on to negative message attacks. Simulations and analysis demonstrate that meet-cloud is secure under denial of service and fake meet-table attacks. The simulation results also justify that meet-cloud outperforms the RSU broadcast and epidemic model.     

一个水稻bHLH转录因子的反向遗传学分析

b HLH类型转录因子对于植物开花具有重要的调控作用.为了揭示b HLH转录因子在短日照植物水稻中的功能,利用反向遗传学方法构建了水稻Osb HLH1基因过表达载体,获得过表达转基因植株,分析目的基因在过量表达条件下的功能.结果表明:过表达Osb HLH1能够导致水稻的抽穗期推迟;Osb HLH1在水稻中的表达还具有光周期昼夜节律性,无论是在长日照还是在短日照条件下,Osb HLH1都在夜间具有表达高峰.组织特异性表达结果表明:Osb HLH1在水稻的不同器官中都有表达,但在叶片中表达较高,与光周期相关基因的表达吻合.     

A Layer-Stripping Method for 3D Near-Surface Velocity Model Building Using Seismic First-Arrival Times

In order to improve the efficiency of 3D near-surface velocity model building, we develop a layer-stripping method using seismic first-arrival times. The velocity model within a Common Mid-Point (CMP) ...     

部件寿命服从威布尔分布时典型系统的寿命与剩余寿命估计

在实际工程中,对系统寿命以及剩余寿命的估计非常重要。在已知系统中部件寿命与可靠度的前提下,关于如何快速得到系统级寿命与剩余寿命的相关研究比较缺乏。针对这一问题,首先研究了可靠度、寿命以及剩余寿命的关系,进一步假设部件寿命服从同一威布尔分布,根据部件的寿命与可靠度函数,推导得到串联、并联和表决系统寿命与剩余寿命期望的封闭表达式,并给出了相应的计算方法。对于冷备系统,当部件寿命服从同一指数分布时,推得了系统寿命及剩余寿命期望的封闭表达式,而当部件寿命服从同一威布尔分布时,给出了系统寿命与剩余寿命的数值计算方法。仿真试验证明本文所提出的方法是准确高效的。最后,以卫星中的动量轮r/n(G)表决系统为例开展了实例研究,证明了该方法在工程实践中的有效性。     

乡村振兴绩效评价:意义、维度与路径

2018年,中共中央、国务院印发《中国乡村振兴战略规划(2018-2022年)》,全面部署和布局乡村振兴战略.文章基于政府绩效评价的理念和方法,构建乡村振兴绩效评价指标体系,明确评价维度,为实现乡村振兴、城乡融合发展提供价值导向、度量体系和动力工具.该评价维度包涵资源投入、过程监管、目标实现情况和社会满意度四个方面.文章指出,相关单位以绩效评价推进乡村振兴时应注重顶层设计,强化部门协同,构建评价体系,引入第三方评价主体,凸显农民获得感.     

人类卫生健康共同体视域下的全球科技合作研究——以新冠肺炎疫情为背景

新冠疫情暴发以来,中国政府和人民秉持人类命运共同体理念,运用一系列先进技术,在较短时间内扭转了国内疫情的严峻形势.在此背景下,为了更好地发挥中国方案在全球抗疫中的作用,文章运用内容分析法和归纳分析法,首先梳理了从人类命运共同体到人类卫生健康共同体的理论逻辑,其次探究了人类卫生健康共同体、全球科技合作与疫情防控之间的结构关系,最后分析了中国疫情防控的有效举措,进而得出结论:中国疫情防控工作的成效离不开人类命运共同体理念的指引和全球科技合作的开展,而中国在平台建设、机制整合及合作网络等领域的方案共享将有助于遏制全球疫情的蔓延.     

Speeding Up the GVW Algorithm via a Substituting Method

Journal of Systems Science and Complexity - The GVW algorithm is an efficient signature-based algorithm for computing Gröbner bases. In this paper, the authors consider the implementation of...     

基于热中子探测评价裂缝的示踪剂特性研究

针对裂缝热中子示踪探测方法,从中子双组扩散理论入手结合蒙特卡洛数值模拟方法,分析压裂前后地层热中子分布影响因素,并模拟不同类型示踪剂及含量的热中子裂缝响应规律,筛选最佳示踪剂并给出其在支撑剂中含量的上、下限。结果表明:压裂前后热中子计数变化量主要受裂缝宽度和标记支撑剂中示踪剂含量的影响;钆对裂缝宽度变化反应最灵敏,钆元素是作为标记支撑剂的最佳示踪元素;随支撑剂中Gd 2O 3含量的增加,热中子计数率降低,热中子计数变化量D增加;示踪剂中氧化钆的上、下限值随裂缝宽度呈指数降低,且当裂缝宽度为1.0 cm时,Gd 2O 3的质量分数上限为0.68%,下限为0.03%。     

乳酸菌益生功能研究进展

介绍了益生菌的概念、乳酸菌的益生功能,并指出了乳酸菌益生功能研究中的问题.     

基于风廓线雷达的降水云分类方法在海南地区的应用

将风廓线雷达用于热带降水云体进行垂直探测,可以实时对热带地区降水云体进行较准确分类.通过对海口地区降水云系特征(2017年1月～12月)进行统计分析,提出一套基于风廓线雷达探测数据(回波强度、垂直速度和速度谱宽)的热带降水云体分类方法.以该方法为基础,结合天气雷达等观测资料,对2017年发生在海口地区的两次降水过程展开详细分析.结果表明:风廓线雷达具备较好体现降水云体垂直结构的能力,相比于天气雷达,风廓线雷达探测数据可以更精细地描述降水云系的变化趋势;相比于传统降水分类方案,采用以风廓线雷达探测数据为基础的分类方案可以提高对复杂降水类型识别的正确率;风廓线雷达可以更好地描述快速过境的高空微弱对流系统.