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.     

基于弦振动测量金属细线的线密度

提出了一种测量金属细线线密度的新方法,并对测量原理、公式进行了较为详细的推导,将测量结果与标准值进行了比较.从测量结果可知,其相对误差较小,说明利用该方法测量细线的线密度确实可行.     

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

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

土壤肥料学实验课程的教学改革与实践

为全面培育卓越农林人才，提高教学培养质量，本研究结合土壤肥料学的课程内容、教学特点及实验方法，对存在的问题进行了剖析，并结合实际针对存在问题做出了相应改革，适时调整《土壤肥料学》实验课程内容和形式。通过删减验证性实验内容，增设综合性实验，传统部分教学内容实现网络化等三方面对该课程的实验课部分进行了改革与实践，以期提高学生综合运用所学《土壤肥料学》的相关知识来解决生产实际问题的能力。     

时标轴上二阶Dirichlet边值问题的弱解（英文）

采用变分方法和临界点理论研究一个时标轴上二阶Dirichlet边值问题弱解的存在性.     

General mechanisms of drought response and their application in drought resistance improvement in plants

Plants often encounter unfavorable environmental conditions because of their sessile lifestyle. These adverse factors greatly affect the geographic distribution of plants, as well as their growth and productivity. Drought stress is one of the premier limitations to global agricultural production due to the complexity of the water-limiting environment and changing climate. Plants have evolved a series of mechanisms at the morphological, physiological, biochemical, cellular, and molecular levels to overcome water deficit or drought stress conditions. The drought resistance of plants can be divided into four basic types-drought avoidance, drought tolerance, drought escape, and drought recovery. Various drought-related traits, including root traits, leaf traits, osmotic adjustment capabilities, water potential, ABA content, and stability of the cell membrane, have been used as indicators to evaluate the drought resistance of plants. In the last decade, scientists have investigated the genetic and molecular mechanisms of drought resistance to enhance the drought resistance of various crops, and significant progress has been made with regard to drought avoidance and drought tolerance. With increasing knowledge to comprehensively decipher the complicated mechanisms of drought resistance in model plants, it still remains an enormous challenge to develop water-saving and drought-resistant crops to cope with the water shortage and increasing demand for food production in the future.     

青藏铁路含保温夹层路基厚度与地温关系的研究

通过对青藏铁路风火山段含有保温夹层的路基建立均匀介质分层纯导热模型并运用分层近似解法求出冻土表层的温度函数,结合Lachenbruch给出的冻土层的理论温度表达式,得到了路基填料层、保温层、地表年平均温度与正弦变化温度的振幅比三者之间的隐式方程,并应用该方程对三者之间的关系进行了分析.     

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

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

弱智儿童的脑机制及教育启示探析

弱智儿童的脑机制是我国特殊教育界尚未探讨的一个领域。从智力、弱智和学习的本质出发,探讨了弱智儿童脑发育的机制和脑活动机制,认为弱智儿童脑发育的正常机制因为先天、后天的遗传异常或损伤遭到了破坏,由此导致了神经系统的传导失能,并表现为神经环路的形成困难、传导的信息堵塞和消失这些主要的神经活动特点。提出了干预或教育弱智儿童的三大措施,包括食物或物质干预、文化给予以及感官训练与文化、言语的结合。     

An Economic Model-Based Matching Approach Between Buyers and Sellers Through a Broker in an Open E-Marketplace

A broker in an open e-marketplace enables buyers and sellers to do business with each other. Although a broker plays an important role in e-marketplaces, theory and guidelines for matching between buyers and sellers in multi-attribute exchanges are limited. Therefore, a challenge for a broker’s responsibility is how to maximize a buyer’s total satisfaction degree as its goals under the consideration of trade-off between a buyer’s buying quantity and price paid to a seller, and other attributes. To solve this challenge, this paper proposes an economic model-based matching approach between a buyer’s requirements and a seller’s offers. The major contributions of this paper are that (i) a broker can model a seller’s price policy as per a buyer’s buying quantity through communication between a broker and a seller; (ii) due to each buyer’s different quantity demand, a broker models a buyer’s satisfaction degree as per a buyer’s buying quantity based on communication between a broker and a buyer; and (iii) to carry out a broker’s matching processes, an objective function and a set of constraints are generated to help a broker to maximize a buyer’s total satisfaction degree. Experimental results demonstrate the good performance of the proposed approach.