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.     

关于映射周期性的若干性质及其应用的注记

若f∈PfT(R)∩C(R),则F(x)=∫axf(t)dt,x∈R与周期函数有何关系,具有哪些性质?本文将就这一问题进行研究,获得了一个关于周期函数一个重要的若干性质的定理,应用其便捷的处理了一大批与周期函数有关的问题,进而给出了关于映射周期性的若干性质及其应用的注记,这对经济周期性研究有一定的参考意义。     

完全市场中的Yaari对偶效用最大化问题

效用最大化问题是经济学和金融学中的最重要和最基本的问题之一.经典的von NeumannMorgenstern期望效用模型在实践中都受到诸多挑战.Yaari对偶效用理论是重要的非期望效用模型之一.本文研究完全金融市场中的Yaari对偶效用最大化问题.前人在某种单调性条件下得到了该问题最优解的显式刻画.而在本文中,无需任何单调性条件,我们得到了最优解的显式刻画.     

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) ...     

海上电泵结蜡井热循环洗井工艺参数优化设计

为探索海上油田电泵举升结蜡井热循环洗井工艺井筒温度场分布规律，综合考虑潜油电机增温、电缆散热、热流体注入量、注入深度、注入温度、结蜡管段传热和海水空气导热的影响，基于热能守恒原理，建立了电泵井结蜡热循环洗井工艺井筒温度场计算模型，分析了热流体注入温度和注入量对混合产出流体的井筒温度分布的影响。研究结果表明，随着注入量的增加混合产出液沿程井筒温度增加，随着注入温度的增加混合产出液沿程井筒温度增加。该方法可有效指导现场措施工艺的实施，达到延长结蜡井的清蜡周期、延缓产液/产油量下降速度的目的。     

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

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...     

远距离支援干扰下双隐身飞机自卫相参干扰对单脉冲雷达影响

以复杂电磁环境下双隐身飞机自卫相参干扰对抗单脉冲雷达为研究背景,针对单脉冲雷达角欺骗问题,提出了远距离多假目标干扰下双隐身飞机自卫相参干扰模型。首先构建双隐身飞机姿态敏感性模型,提取即时雷达散射截面序列,依据目标回波与干扰信号对应关系,建立复合等效信干比模型。在此基础上,采用脱靶与有效干扰最小即时距离对双机干扰模式下雷达角跟踪误差形成评判指标。仿真表明，该组网干扰模式使雷达角跟踪误差提高696.49倍,比单一干扰模式使单脉冲雷达角跟踪误差平均提高1.07倍,检验了组网复合相参干扰样式的有效性。     

2018年天文学热点回眸

 天文学是一门以观测为基础的学科，其发展主要依靠观测和数据的支持。基于SAO/NASA Astrophysics Data System天文物理学数据系统中高被引文章并结合热点新闻报道，回顾了2018年天文学热点的进展和发现，以观测和基础研究、仪器研制及工具开发两大方面论述了2018年天文学研究热点。     

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

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