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.     

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

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

Defining G protein-coupled receptor peptide ligand expressomes and signalomes in human and mouse islets

Introduction

Islets synthesise and secrete numerous peptides, some of which are known to be important regulators of islet function and glucose homeostasis. In this study, we quantified mRNAs encoding all peptide ligands of islet G protein-coupled receptors (GPCRs) in isolated human and mouse islets and carried out in vitro islet hormone secretion studies to provide functional confirmation for the species-specific role of peptide YY (PYY) in mouse islets.

Materials and methods

GPCR peptide ligand mRNAs in human and mouse islets were quantified by quantitative real-time PCR relative to the reference genes ACTB, GAPDH, PPIA, TBP and TFRC. The pathways connecting GPCR peptide ligands with their receptors were identified by manual searches in the PubMed, IUPHAR and Ingenuity databases. Distribution of PYY protein in mouse and human islets was determined by immunohistochemistry. Insulin, glucagon and somatostatin secretion from islets was measured by radioimmunoassay.

Results

We have quantified GPCR peptide ligand mRNA expression in human and mouse islets and created specific signalomes mapping the pathways by which islet peptide ligands regulate human and mouse GPCR signalling. We also identified species-specific islet expression of several GPCR ligands. In particular, PYY mRNA levels were ~ 40,000-fold higher in mouse than human islets, suggesting a more important role of locally secreted Pyy in mouse islets. This was confirmed by IHC and functional experiments measuring insulin, glucagon and somatostatin secretion.

Discussion

The detailed human and mouse islet GPCR peptide ligand atlases will allow accurate translation of mouse islet functional studies for the identification of GPCR/peptide signalling pathways relevant for human physiology, which may lead to novel treatment modalities of diabetes and metabolic disease.

     

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

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

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

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

The modernity of Dedekind’s anticipations contained in What are numbers and what are they good for?

Archive for History of Exact Sciences - We show that Dedekind, in his proof of the principle of definition by mathematical recursion, used implicitly both the concept of an inductive cone from an...     

The expansion of GPCR transactivation-dependent signalling to include serine/threonine kinase receptors represents a new cell signalling frontier

G protein-coupled receptor (GPCR) signalling is mediated through transactivation-independent signalling pathways or the transactivation of protein tyrosine kinase receptors and the recently reported activation of the serine/threonine kinase receptors, most notably the transforming growth factor-β receptor family. Since the original observation of GPCR transactivation of protein tyrosine kinase receptors, there has been considerable work on the mechanism of transactivation and several pathways are prominent. These pathways include the “triple membrane bypass” pathway and the generation of reactive oxygen species. The recent recognition of GPCR transactivation of serine/threonine kinase receptors enormously broadens the GPCR signalling paradigm. It may be predicted that the transactivation of serine/threonine kinase receptors would have mechanistic similarities with transactivation of tyrosine kinase pathways; however, initial studies suggest that these two transactivation pathways are mechanistically distinct. Important questions are the relative importance of tyrosine and serine/threonine transactivation pathways, the contribution of transactivation to overall GPCR signalling, mechanisms of transactivation and the range of cell types in which this phenomenon occurs. The ultimate significance of transactivation-dependent signalling remains to be defined but it appears to be prominent and if so will represent a new cell signalling frontier.