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.     

高陡横坡段桩柱式桥梁双桩基础受力分析

基于高陡横坡段桩柱式桥梁双桩基础承载特性,提出了一种改进有限杆单元计算分析方法.分析了高陡横坡段桩柱式桥梁双桩基础承载机理及受力特性,建立了双桩基础计算分析模型.其次,根据前、后桩与边坡相对位置关系,给出了后桩所受剩余下滑力与前桩所受土压力的比例关系.在传统有限杆单元分析方法基础上,结合陡坡桩受力特征,导得了考虑桩土共同作用与"P-Δ"效应的单元刚度矩阵修正方法,并在此基础上编制了适用于高陡横坡段桩柱式桥梁双桩基础的有限杆单元分析MATLAB计算程序.采用室内模型试验对本文计算方法进行验证,给出了适用于陡坡段桥梁桩基的设计流程图.研究结果表明:本文理论计算值与模型试验实测结果吻合良好,表明本文计算方法正确可行,可为同类工程设计提供参考.     

CSS代码命名规则与技巧探讨

合理、科学地对CSS代码命名,能够精简CSS代码,提高代码的开发效率,方便网站设计师对网站进行维护与修改.通过对CSS代码命名规则分析,提出了进行语义化命名、结构化命名和惯例命名三种CSS代码命名技巧.     

超强筋小麦粉面包烘焙技术研究

为了烘焙出能充分表现超强筋小麦济麦229面粉品质特性的优良面包,设置了4种醒发时间处理、5种酵母和糖用量处理、4种配粉处理,对超强筋小麦面粉的面包品质进行了评价分析。结果表明,在4个醒发时间处理中,当面团醒发时间为30min和面包胚醒发时间为50min时,烘焙的面包品质最好。在5种酵母和糖用量的处理中,利用吐司面包程序时,干酵母和糖的用量分别为6g和24g时烘焙的面包品质最好；利用法式面包程序时,干酵母和糖的用量分别为3g和18g时烘焙的面包品质最好。在4个配粉处理中,200g超强筋小麦济麦229面粉中添加100g普通小麦济麦22面粉的混粉烘焙得到的面包品质最好。因此,适当调整超强筋小麦粉面包的面团、面包胚醒发时间及物料配比,可以烘焙出品质优良的面包。     

公共图书馆在新媒体环境下的服务拓展

介绍了新媒体的概念及特点,分析了新媒体对传统图书馆的冲击,探讨了新媒体环境下公共图书馆的服务拓展。     

基于一维数据逐段均匀条件下的参考分布研究

聚类分析中一个重要的问题是估计聚类数,GS方法通过参考分布对聚类数进行合理的估计,解决了其他聚类方法无法对应分为一类的数据进行分类的问题,具有更好的分类效果;目前已通过理论证明得出,在分布为对数凹且一维情况下,GS方法的参考分布为均匀分布,而有关其在其他条件下的参考分布研究较少;针对这一情况,提出解决一维且逐段均匀条件下GS方法的参考分布问题,以类内平方和为评价标准,通过拉格朗日乘数法求解与问题等价的优化问题,理论证出条件下总体均匀分布是类内平方和最大的情况,进而得出对于一维数据,逐段均匀条件下的参考分布仍为均匀分布的结论。     

砂岩在西湖凹陷花港组交互式盖层中的作用初探

西湖凹陷花港组盖层具有砂泥岩交互式发育特征，而与泥岩伴生的砂岩类盖层的油气封闭作用研究较少。采用岩芯、镜下观察及压汞等分析方法，对砂泥岩交互式盖层中的砂岩特征进行了分析。结果表明，盖层中的砂岩可作为有效盖层，砂岩类盖层早期受沉积环境控制，含有较多的泥质而导致早期压实作用较强，加之晚期的黏土矿物转换及胶结物的发育，具备形成良好盖层的条件。在不同地区进行砂岩盖层有效性研究时应以沉积环境为基础，针对不同类型的砂岩进行成岩作用研究，并针对不同类型的砂岩样品进行实验分析以明确砂岩盖层的有效性。     

从三个角度考察柯西不等式

柯西不等式是高等数学中的重要不等式,它在解析几何、数学分析与高等代数这3门数学专业主干基础课程中均有渗透.从这3门课程的角度,分别给出柯西不等式的不同形式和证明过程,并简要地阐述它们的联系,最后做出小结.     

搪瓷用钢抗鳞爆性能研究进展

搪瓷制品鳞爆缺陷已经成为国内外研究重点。为提高搪瓷用钢的抗鳞爆性能,非常有必要了解搪瓷层的鳞爆机理。综述了国内外研究鳞爆机理以及氢扩散影响因素的现状。     

张量广义特征值的S-型包含区域

设{A,B}为m阶n维正则张量对,通过将指标集N={1,2,…,n}划分为非空真子集S及其补集S珚=N/S,利用分类讨论的思想以及张量对{A,B}某些元素选取的任意性和不等式缩放技巧,解决了张量对{A,B}的特征值定位问题,并给出张量对{A,B}特征值的S-型包含区域.数值结果表明,所得包含区域比已有包含区域更精确.