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.     

深水铺管船的动力定位能力评估系统

为解决评估铺管船作业能力的难题,提出一种适用于评估铺管船动力定位能力的方法,开发了动力定位能力评估程序系统,并针对高海况环境条件设计了优化的辅助作业方案.采用数值计算方法对铺管船作业期间的平均二阶力、风载荷以及流载荷进行仿真计算,建立了环境载荷与动力定位系统提供的推力之间的平衡关系,给出了用于评估铺管船动力定位能力的系统模块,采用动力定位能力包络线的方式表达动力评估结果.在高海况作业中给出安全建议,即采用辅助拖轮作用于船舶适当位置以增强动力定位能力,从而降低工程作业风险.     

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

n个Schrodinger算子积自伴域

本文讨论了由微分算式l=-d2/dt2 q(t)生成的具有某种边界条件的n个正则Schrodinger算子Li(i=1,…,n)的积Ln…L2L1自伴性问题,证明了积算子Lm…L2L1自伴的充分必要条件为=L*n 1-i(i=1,…,[n 1/2]).     

APCI5000电气自动化成套装置设计

电气自动化成套装置种类繁多，并广泛应用于电力系统．结合现场实际商业运行期所积累的经验，并根据市场预测以及目前工控机发展动态，提出了采用APCI5000工业控制计算机实现电气自动化成套装置设计的最佳方案．     

LaMnO3不同晶位掺杂的磁电阻效应

基于研究钙钛矿型氧化物磁电阻效应的目的,采用固相反应法制备了实验所需的单相多晶样品,主要就La位二价金属离子掺杂和稀土互掺及Mn位掺杂对LaMnO3磁电阻影响的实验结果作比较研究,发现La位稀土互掺对磁电阻的影响可以用晶格效应来解释,并明确指出La位和Mn位掺杂是提高和调制钙钛矿型锰氧化物超大磁电阻效应的一种有效途径.     

粉末冶金陶瓷模工艺中的快速脱蜡新技术

粉末冶金陶瓷模工艺是一种先进的过净形成形工艺．本文报道该工艺中一种新的脱蜡技术．采用快速加热、管径集中热量和定向导热传热综合方法，在陶瓷模和大部分蜡模材料处于较低温度下，使蜡模材料来不及发生显著的热膨胀而直接蒸发，得到脱蜡干净、外形完整的陶瓷模．     

矿山酸性废水的治理及综合回收

研究了ｐＨ值、中和剂、硫化物等对沉淀除去酸性矿山废水中有害金属离子的影响以及回收废水中重金属离子的可能途径．确定了ＣａＣＯ３除铁－Ｈ２Ｓ沉铜、锌－石灰乳中和絮凝沉淀处理矿山酸性废水的工艺．出水水质可达到国家排放标准．硫化渣中含铜量达３２％，含锌量７．２％，可以综合回收铜、锌等有价金属．     

蝗虫体内无机物的百分含量

动物体的鲜重(FM)、干重(DM)、灰分重(AM)及其比值在不同分类群和不同生态型的动物类群中变化很大,其中 DM/FM 和 AM/DM 比值反映了动物体水、无机矿物质和有机物三者之间的比例,是了解动物体化学组成的两个重要参数.我们在进行直翅目蝗总科昆虫整体痕量元素含量分析的同时,测定和计算了35种蝗总科昆虫的AM/DM 比值,现将结果以及其它主要动植物类群的有关资料一并介绍如下.     

Desargues定理的推广

本文将射影几何著名的Desargues透视三点形定理推广到四面体和三维射影空间的完全n(n≥4)点形(体)中。