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.     

基于低碳理念的鄂州市城市土地集约利用评价

结合国内外低碳土地利用的研究背景和实践,分析出不同土地利用方式碳排放效应,并对城市土地低碳化与集约化利用进行定性与定量分析,并采用鄂州市实际构建低碳理念下城市土地集约利用评价指标体系,对鄂州市2000-2013年土地利用状况进行分析评价.由此,总结鄂州市再加入低碳因素后土地集约利用的变化规律,并提出相关建议.     

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

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

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

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

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

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

城乡公共服务均等化现状与对策——以安徽省为例

城乡公共服务均等化是市场经济基本原则的要求,同时也是我国市场经济深入发展提出的新问题。财政资源配置不当可能是导致城乡公共服务非均等的主要原因。通过对安徽省城乡公共服务均等化现状的研究,有助于提出更有针对性的改进措施,同时也将对该地区经济和社会发展起到一定的推动作用。     

我国SNS营销现状与发展趋势研究

从SNS营销内涵、营销工具、营销策略和营销评价等方面对有代表性的文献成果进行了分析,揭示了我国SNS营销的研究进展,探讨了我国SNS营销的发展趋势,包括SNS营销认识动态化、商务智能方法和社交平台结合深入化、营销策略微观化、评价思路多元化.     

Hierarchical Community Detection Based on Partial Matrix Convergence Using Random Walks

Random walks are a standard tool for modeling the spreading process in social and biological systems.But in the face of large-scale networks,to achieve convergence,iterative calculation of the transition matrix in random walk methods consumes a lot of time.In this paper,we propose a three-stage hierarchical community detection algorithm based on Partial Matrix Approximation Convergence(PMAC) using random walks.First,this algorithm identifies the initial core nodes in a network by classical measurement and then utilizes the error function of the partial transition matrix convergence of the core nodes to determine the number of random walks steps.As such,the PMAC of the core nodes replaces the final convergence of all the nodes in the whole matrix.Finally,based on the approximation convergence transition matrix,we cluster the communities around core nodes and use a closeness index to merge two communities.By recursively repeating the process,a dendrogram of the communities is eventually constructed.We validated the performance of the PMAC by comparing its results with those of two representative methods for three real-world networks with different scales.     

中立型分数阶微分控制系统能控性

研究一类分数阶中立型微分控制系统的能控性问题,对系统状态方程的分析,利用拉普拉斯变换通过基本控制系统的基础解给出了控制系统通解的表达式,并且通过构造格拉姆矩阵,研究了控制系统能控性的充分必要条件;最后通过举出一个格拉姆矩阵的计算举例来进行验证。     

Predicting Initial Formation Temperature for Deep Well Engineering with a New Method

With the progress of science and technology, human beings explore the energy under-ground with thousands of meters. As a thermophysical parameter, initial formation temperature (IFT) plays an essential...