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.     

Blockage of the NLRP3 inflammasome by MCC950 improves anti-tumor immune responses in head and neck squamous cell carcinoma

The NLRP3 inflammasome is a critical innate immune pathway responsible for producing active interleukin (IL)-1β, which is associated with tumor development and immunity. However, the mechanisms regulating the inflammatory microenvironment, tumorigenesis and tumor immunity are unclear. Herein, we show that the NLRP3 inflammasome was over-expressed in human HNSCC tissues and that the IL-1β concentration was increased in the peripheral blood of HNSCC patients. Additionally, elevated NLRP3 inflammasome levels were detected in tumor tissues of Tgfbr1/Pten 2cKO HNSCC mice, and elevated IL-1β levels were detected in the peripheral blood serum, spleen, draining lymph nodes and tumor tissues. Blocking NLRP3 inflammasome activation using MCC950 remarkably reduced IL-1β production in an HNSCC mouse model and reduced the numbers of myeloid-derived suppressor cells (MDSCs), regulatory T cells (Tregs) and tumor-associated macrophages (TAMs). Moreover, inhibiting NLRP3 inflammasome activation increased the numbers of CD4⁺ and CD8⁺ T cells in HNSCC mice. Notably, the numbers of exhausted PD-1⁺ and Tim3⁺ T cells were significantly reduced. A human HNSCC tissue microarray showed that NLRP3 inflammasome expression was correlated with the expression of CD8 and CD4, the Treg marker Foxp3, the MDSC markers CD11b and CD33, and the TAM markers CD68 and CD163, PD-1 and Tim3. Overall, our results demonstrate that the NLRP3 inflammasome/IL-1β pathway promotes tumorigenesis in HNSCC and inactivation of this pathway delays tumor growth, accompanied by decreased immunosuppressive cell accumulation and an increased number of effector T cells. Thus, inhibition of the tumor microenvironment through the NLRP3 inflammasome/IL-1β pathway may provide a novel approach for HNSCC therapy.     

有理数域上一类不可约多项式的简单推广

若a1,a2,…,an是n-1个不同的整数,证明了当n≥4时,f(x)=(x-a1)(x-a2)…(x-an)-1在有理数域Q上不可约;当n≥3时,f(x)=(x-a1)2(x-a2)2…(x-an)2+1在有理数域Q上不可约.     

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

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

A Layer-Stripping Method for 3D Near-Surface Velocity Model Building Using Seismic First-Arrival Times

In order to improve the efficiency of 3D near-surface velocity model building, we develop a layer-stripping method using seismic first-arrival times. The velocity model within a Common Mid-Point (CMP) ...     

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对冲策略过程中,本文提出了一个包含摩擦系数ε的外汇远期汇率模型,并通过分析即期对冲和远期对冲的差异,给出了最优对冲方式的判别条件.该判别条件依赖于摩擦系数ε,做市商仅通过对摩擦系数ε实时的监控,便可以选择最优的风险对冲方式,从而提高了对冲效率.本文提出的对冲误差的具体解析式和最优对冲方式的判别条件为外汇期权对冲及其风险管理提供了理论依据.实证结果表明,本文提出的期望收益差与实际对冲组合的收益差基本一致,从而验证了判别条件的合理性.     

乡村振兴绩效评价:意义、维度与路径

2018年,中共中央、国务院印发《中国乡村振兴战略规划(2018-2022年)》,全面部署和布局乡村振兴战略.文章基于政府绩效评价的理念和方法,构建乡村振兴绩效评价指标体系,明确评价维度,为实现乡村振兴、城乡融合发展提供价值导向、度量体系和动力工具.该评价维度包涵资源投入、过程监管、目标实现情况和社会满意度四个方面.文章指出,相关单位以绩效评价推进乡村振兴时应注重顶层设计,强化部门协同,构建评价体系,引入第三方评价主体,凸显农民获得感.     

Speeding Up the GVW Algorithm via a Substituting Method

Journal of Systems Science and Complexity - The GVW algorithm is an efficient signature-based algorithm for computing Gröbner bases. In this paper, the authors consider the implementation of...     

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

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