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.     

Fabricating Dual-Atom Iron Catalysts for Efficient Oxygen Evolution Reaction: A Heteroatom Modulator Approach

Understanding the thermal aggregation behavior of metal atoms is important for the synthesis of supported metal clusters. Here, derived from a metal–organic framework encapsulating a trinuclear Fe^III₂Fe^II complex (denoted as Fe₃) within the channels, a well-defined nitrogen-doped carbon layer is fabricated as an ideal support for stabilizing the generated iron nanoclusters. Atomic replacement of Fe^II by other metal(II) ions (e.g., Zn^II/Co^II) via synthesizing isostructural trinuclear-complex precursors (Fe₂Zn/Fe₂Co), namely the “heteroatom modulator approach”, is inhibiting the aggregation of Fe atoms toward nanoclusters with formation of a stable iron dimer in an optimal metal–nitrogen moiety, clearly identified by direct transmission electron microscopy and X-ray absorption fine structure analysis. The supported iron dimer, serving as cooperative metal–metal site, acts as efficient oxygen evolution catalyst. Our findings offer an atomic insight to guide the future design of ultrasmall metal clusters bearing outstanding catalytic capabilities.     

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

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

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

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

产气荚膜梭菌ε毒素的细胞毒机制及致病机理的研究进展

产气荚膜梭菌ε毒素（Epsilon toxin ，ETX）由B、D型产气荚膜梭菌产生并分泌至宿主动物体内，在临床上主要症状为肠毒血症．ETX属于以七聚体形式存在的β‐样成孔毒素，它能够形成由14个β折叠片组成的“β‐桶状”结构，这个“β‐桶状”结构可以插入真核细胞的质膜形成穿孔．在细胞水平，ETX能够迅速使细胞膜肿胀、多种细胞器破坏，最终导致靶细胞的坏死．在哺乳动物体内，ETX能够使哺乳动物血管产生水肿，从而穿透血脑屏障而聚积在动物肾和脑中，导致机体随着谷氨酸盐的释放而产生过度兴奋，这一系列反应的发生可以引起机体出现脑水肿和肾衰竭，最终导致动物的死亡．目前， ETX备受关注的主要原因不仅仅因为它是一种β‐样成孔毒素，而是可以作为潜在的一种工具类药物，经改造后可以携带治疗药物在短时间内靶向性地到达哺乳动物脑和中枢神经系统，继而为脑和中枢神经系统疾病的治疗提供新的方向．结合国内外相关研究，对ETX细胞毒机制及致病机理进行了综和评述．     

一个包含Smarandache Ceil函数的对偶函数的方程

利用初等方法研究了一个包含Smarandache Ceil函数Sk(n)的对偶函数-Sk(n),给出了当k=6时方程-S6(1)+-S6(2)+…+-S6(n)=6Ω(n)的具体正整数解。     

2种煤液化残渣氧化萃余物中杂原子化合物的鉴定

在40℃恒温水浴下用次氯酸钠对2种煤液化残渣进行氧化,将反应所得混合物用滤膜过滤,滤出液依次用石油醚、二硫化碳、四氯化碳和乙酸乙酯萃取,得到的萃取物用气相色谱/质谱(GC/MS)分析.根据分析结果系统地考察了2种煤液化残渣中所含杂原子化合物的分布,为从煤液化残渣中选择性地脱除这些杂原子化合物及提取高附加值化学品提供了一条路径.