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 new twist to the No Miracles Argument for the success of science

J. D. Trout has recently developed a new defense of scientific realism, a new version of the No Miracles Argument. I critically evaluate Trout's novel defense of realism. I argue that Trout's argument for scientific realism and the related explanation for the success of science are self-defeating. In the process of arguing against the traditional realist strategies for explaining the success of science, he inadvertently undermines his own argument.     

Little-known and phylogenetically obscure South African estuarine microgastropods (Mollusca: Truncatelloidea) as living animals

Areas of the Knysna estuarine bay in the Western Cape are dominated by three endemic South African truncatelloid microgastropods, temporarily known as ‘Hydrobia’ knysnaensis (Krauss), ‘Assiminea’ capensis (Sowerby) and ‘Assiminea’ globulus Connolly. Although first described 80–170 years ago and present in abundance (up to 100,000 m^?2), they remain surrounded by confusion and still await taxonomic assignment, largely because they appear most atypical members of their groups by virtue of anatomy and/or biogeography and/or habitat. This study contributes in-life perspectives to morphological and phylogenetic analyses known to be on-going. At Knysna, they are syntopic: at least two occurring in >85% and all three in >40% of individual 0.0026 m² samples from their region of dominance. Nevertheless, they tend to greater abundance in divergent microhabitats; ‘A.’ globulus dominating higher tidal levels, and ‘A.’ capensis and ‘Hydrobia’ lower ones; the former especially unvegetated sediment, the latter, if anything, seagrass. Interspecific feeding interactions appear unlikely to be responsible for these patterns, other evidence suggesting that all are maintained below carrying capacity. Field biology of ‘H.’ knysnaensis generally appears equivalent to that of northern-hemisphere intertidal hydrobiids and that of ‘A.’ globulus is typically assimineid, albeit at atypically low shore height. Unlike assimineids, however, ‘A.’ capensis is truly aquatic. The success of these truncatelloids in unusual circumstances may be consequent on the absence from South Africa of other microgastropod groups that fill their niches elsewhere in the southern hemisphere.     

Constructing and evaluating core inflation measures from component‐level inflation data

This paper undertakes a comprehensive examination of 10 measures of core inflation and evaluates which measure produces the best forecast of headline inflation out‐of‐sample. We use the Personal Consumption Expenditure Price Index as our measure of inflation. We use two sets of components (17 and 50) of the Personal Consumption Expenditure Price Index to construct these core inflation measures and evaluate these measures at the three time horizons (6, 12 and 24 months) most relevant for monetary policy decisions. The best measure of core inflation for both sets of components and over all time horizons uses weights based on the first principal component of the disaggregated (component‐level) prices. Interestingly, the results vary by the number of components used; when more components are used the weights based on the persistence of each component is statistically equivalent to the weights generated by the first principal component. However, those forecasts using the persistence of 50 components are statistically worse than those generated using the first principal component of 17 components. The statistical superiority of the principal component method is due to the fact that it extracts (in the first principal component) the common source of variation in the component level prices that accurately describes trend inflation over the next 6–24 months.     

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

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

外汇欧式期权在市场不完备下的对冲误差分析

本文研究了外汇欧式期权的对冲误差问题,针对典型的静态和动态Delta对冲策略,在对冲过程不连续和利率平价公式不成立的市场不完备情形下,给出了即期对冲和远期对冲的对冲误差公式,从而能够更准确地衡量实际对冲组合产生的风险.在研究Delta对冲策略过程中,本文提出了一个包含摩擦系数ε的外汇远期汇率模型,并通过分析即期对冲和远期对冲的差异,给出了最优对冲方式的判别条件.该判别条件依赖于摩擦系数ε,做市商仅通过对摩擦系数ε实时的监控,便可以选择最优的风险对冲方式,从而提高了对冲效率.本文提出的对冲误差的具体解析式和最优对冲方式的判别条件为外汇期权对冲及其风险管理提供了理论依据.实证结果表明,本文提出的期望收益差与实际对冲组合的收益差基本一致,从而验证了判别条件的合理性.     

基于模型的汽油机电子节气门控制器设计

摘要： 建立了电子节气门系统模型，并通过系统辨识方法得出模型参数.根据被控电子节气门的摩擦力和非线性回位弹簧模型，设计了前馈非线性补偿控制器.将经过前馈非线性补偿后的电子节气门系统简化成线性系统，并对该线性系统进行H无穷控制器的设计.对设计的H无穷控制器进行离散化，并加入比例控制环节来弥补控制器离散化导致的性能下降.经过试验验证，在前馈非线性补偿器、H无穷控制器和比例控制的作用下，被控电子节气门的性能达到了设计需求.     

三维打印器件后处理液研究

分析了不同的填充强化剂(后处理A液)、不同的后处理B液基料、后处理B液中水性环氧乳液的掺量及后处理液浸泡时间对石膏基打印器件耐水性、抗压强度、尺寸偏差、表面微观结构的影响.结果表明:经纳米硅超硬固化剂处理后的打印器件抗压强度大幅提高,纳米硅超硬固化剂最适宜作为后处理A液;水性聚氨酯乳液PU-202B最适宜作为后处理B液的基料;后处理B液中加入水性环氧乳液,处理后打印器件的抗压强度增加、吸水率降低,但水性环氧乳液含量增加到一定程度后会出现尺寸偏差;后处理A、B液最佳浸泡时间分别为130 s和35 s;先浸泡后处理A液、后浸泡后处理B液的打印器件具有抗压强度高、吸水率小、表面较光滑、不脱粉等优良性能.