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.     

基于Web of Science的河北大学科研论文统计分析

以Web of Science数据库为文献来源，利用文献计量学的方法，从文献年收录量、文献类型、语种、学科分布、作者分布、合作情况、来源期刊和引用情况等方面，对Web of Science收录河北大学2004—2013年的科研论文进行统计分析，结果表明：河北大学近10年来被Web of Science数据库收录的文献数量和被引频次呈现逐年上升的趋势，在化学、物理学、动物学和数学方面具有一定的科研能力和影响力，但同时应注重国际合作交流和文献的质量。     

利用SRTM数据修测高山区地貌的探讨

在高海拔区域测制地形图,如青藏高原地区,所获取的遥感影像局部存在着大范围的高山阴影或云雪覆盖,造成立体观测地貌困难的现象,探讨应用SRTM数据对这类特殊区域地貌进行修测补绘。介绍了数据处理的作业过程,并对实验区SRTM与SPOT5影像立体测图成果进行实验对比分析,成果符合要求。     

基于生态交错带理论的生态环境潜在容量评估和预警研究——以重庆三峡库区为例

生态交错带是指两种不同类型的生态系统交界过渡的区域。基于生态交错带理论对重庆三峡库区的生态脆弱性状况进行了分析，并在此基础上运用道夫尼尔和地球环境的潜在指数M，计算人对地理环境的影响，评估土地类型和环境污染状态。通过对生态环境潜在容量指数E的修正评估了库区 22 个区县的生态环境潜在容量，并在此基础上做出预警研究，将其划分为急警、重警、中警、轻警和无警 5 种类型。最终得出重庆三峡库区生态环境状况两极化现象比较严重，发展不平衡，有些地区生态破坏较为严重，因此需要采取相应的对策进行优化发展。
     

三维打印器件后处理液研究

分析了不同的填充强化剂(后处理A液)、不同的后处理B液基料、后处理B液中水性环氧乳液的掺量及后处理液浸泡时间对石膏基打印器件耐水性、抗压强度、尺寸偏差、表面微观结构的影响.结果表明:经纳米硅超硬固化剂处理后的打印器件抗压强度大幅提高,纳米硅超硬固化剂最适宜作为后处理A液;水性聚氨酯乳液PU-202B最适宜作为后处理B液的基料;后处理B液中加入水性环氧乳液,处理后打印器件的抗压强度增加、吸水率降低,但水性环氧乳液含量增加到一定程度后会出现尺寸偏差;后处理A、B液最佳浸泡时间分别为130 s和35 s;先浸泡后处理A液、后浸泡后处理B液的打印器件具有抗压强度高、吸水率小、表面较光滑、不脱粉等优良性能.     

通辽地区医疗防保单位消毒质量现状与分析

为了解通辽地区医疗防保单位的消毒状况，1999－2001年对32家医疗防保单位的消毒与灭菌情况进行了调查。各年度监测合格率分别为55.76%、78.93%、90.54%。并对医疗防保单位消毒工作提出了建议。     

梯度网络平稳点集合的Hopfield稳定性与吸引域

给出梯度神经网络模型的电路实现 ,证明了网络平稳点集合的全局 Hopfield稳定性。对各个平稳点吸引域的几何估计得到了相关结果 ,这为网络初始输入的数量与方向判定提供了基本的量度参数准则。     

一种特殊递推关系序列的判断及求解

对于特征多项式为C(x) =(x- 1) r的特殊递推序列an,给出了它的通解求法以及判定它的充要条件 :存在整数r≥ 1,对任意的n≥ 0 ,Δran =0成立。其中Δran 为递推序列 {an}的r阶差分。     

论事实与法律的关系

将事实的本质问题划分为客观的事实、陈述的事实和裁判的事实三个层次的概念有助于对于事实与法律问题关系的认识。裁判的事实是该关系问题的核心，对于裁判事实的规范体现了法律与事实之间的联系，由此而促进了证据制度的发展和完善。对于裁判事实的规范体现在证据的相关性规则、可采性规则和自由心证制度等方面。     

Abrupt climate change：Debate or action

Global abrupt climate changes have been documented by various climate records, including ice cores, ocean sediment cores, lake sediment cores, cave deposits, loess deposits and pollen records. The climate system prefers to be in one of two stable states, i.e. interstadial or stadial conditions, but not in between. The transition between two states has an abrupt character. Abrupt climate changes are, in general, synchronous in the northern hemisphere and tropical regions. The timescale for abrupt climate changes can be as short as a decade. As the impacts may be potentially serious, we need to take actions such as reducing CO2 emissions to the atmosphere.