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.     

云计算视角下可验证计算的分析研究

云计算能否在未来的各个领域中被广泛运用,决定因素在于其可信度。可验证计算在检测云计算结果的可信度方面具有其独特优势。利用可验证计算协议可验证云服务器端所返回的数据是否正确,它成为实现云计算可信度的重要保障。文中在阐述可验证计算基本内容和相关设计原则的基础上,分析了可验证计算协议的一般流程、设计原则及计算模型,并结合基于交互系统的可验证计算协议分析,探讨在云计算视角下可验证计算的研究展望。     

基于LQG控制的整车8-DOF系统振动分析

建立了整车8-DOF系统动力学模型,考虑了主动悬架控制,并增设了主动座椅控制,设计了车辆主动悬架系统的LQG控制器。基于Matlab仿真平台建立了整车8-DOF系统动力学仿真模型,对所得最优控制策略下的动态响应进行了仿真验证。仿真结果表明:为了改善人椅系统质心及车身质心的跳振性能需要在一定程度上弱化各轮轮胎动位移性能。从控制效能上来看,该最优控制器能够满足各行驶状态下对悬架性能的要求,改善了车辆的行驶平顺性。     

Ni~(26+)离子态分辨光复合过程的R矩阵理论研究

利用基于相对论R矩阵理论的DARC程序系统计算了Ni 25+离子基态1s22s(2S1/2)和激发态1s22p(2P1/2,2P3/2)的光电离截面,并通过细致平衡原理获得了统一的光复合过程(即辐射复合和双电子复合)态分辨的截面,计算结果给出了辐射复合与双电子复合过程间的干涉效应.为了标识和分析KLL共振能区所有的共振峰,基于相对论组态相互作用理论(RCI)的FAC程序被用来计算共振峰的能量、强度及其相关的双激发态的辐射、俄歇跃迁几率以及共振宽度等.利用统一的光复合截面进一步得到了KLL双电子复合过程的伴线强度,并与孤立共振近似下FAC的计算结果以及以前的理论和实验结果进行了比较,对存在的一致性和偏差进行了分析和讨论.     

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

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

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

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

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

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

桐叶封弟新辨

桐叶封弟的真伪历来是学术界的公案,学者们大都对故事的真实性持否定态度。然而只要从故事的本身出发,注意分析当时故事核心人物间的关系以及权力对比,就不难发现,桐叶封弟故事的真实性是非常高的。桐叶封弟实为成王以桐叶戏弟为虚,行封叔虞于唐为实的一个借口,也反映出成王当时确有难言之隐。桐叶封弟中周公对成王的真实想法其实也早已心知肚明,"周公成之"是作为臣子的周公在故意配合成王。桐叶封弟的背后隐藏着周初朝中君臣权力间的博弈,对于君臣来说,故事的结果也是双赢。     

(2+1)维KD方程组的一类非亚纯行波解

通过行波变换将(2+1)维KD方程组转变为复域中的常微分方程,给出复合的(2+1)维KD方程组2(wk-3l2+3ak2 C1)u=2k4 u″-k2 a2 u3+(6k2b-3kal)u2+C2,v=lku+C1的一类非亚纯解的结构.     

基于老厂房改造的景观规划设计

随着城市化高速发展，老厂房再利用的问题日益急迫.上海是中国近代工业起源地,也是率先着手对彰显城市文脉的工业遗产进行调查和保护的历史文化名城.本文以上海典型案例入手，分析了具有代表性的老厂房改造的项目特点，并在此基础上，对常州大成三厂这一民国时期的纺织业遗留地块进行改造设计手法进行介绍，从设计理念、设计内容和节点设计3个方面，体现了文化传承和生态技术相融合理念.