基于区块链的物联网跨域隐私保护管理系统

在日益去中心化的物联网场景中，为了解决由于单节点故障、间歇性的无线连接以及设备之间缺乏信任而导致的包括身份隐私泄漏、数据安全性和完整性等问题，本文基于区块链技术提出并设计了面向物联网异构设备群的跨域隐私保护管理系统。本系统采用去中心化的区块链技术以及链外存储技术构建可信数据共享平台；为了保护设备的隐私，本系统通过跨域身份认证模块确保设备以匿名方式进行跨域身份认证；采用属性加密技术实现跨域安全通信模块，为设备提供细粒度的数据控制访问；此外，本系统还为设备部署通信中间件来提高物联网设备与区块链节点之间的通信效率。系统仿真实验结果表明本文提出的系统原型可以在确保设备不泄漏身份隐私以及保护通信数据安全性的前提下达到较高的跨域效率。     

申报材料:高转项目认定必备材料与辅助材料

<正>根据新修订的《上海市上海市高新技术成果转化项目认定程序》(以下简称"认定程序")的规定,申报"上海市高新技术成果转化项目"除需填报《上海市高新技术成果转化项目认定申请书》以外,还须提供相关的证明材料和辅助材料,用于支持和证明申报项目符合认定条件及认定申请书中所阐     

高中物理必修2中竖直平面内圆周运动极值条件的证明

对高中物理必修2中竖直平面内圆周运动极值条件进行了证明,意在帮助学生解除对圆周运动轨道变化的疑惑。证明分两步:第一,证明小球到达最高点的下一时刻依然在圆周上;第二,证明在平面直角坐标系第一象限中的任意时刻小球都在圆周上。还提示了在证明中结合学生自身实际要注意的机械能守恒和三角函数取值范围这两个问题。     

《中国科学》上“论Ore图的泛连通性”一文的简短证明

给出一种证明Ore图的泛连通性的较简洁证明。     

平面射影变换基本定理的简洁证明

依据射影坐标变换与射影变换的密切关系，给出子平面射影变换基本定理的一个非常简洁的证明，其证明过程还提供了比较容易的解题方法，最后举例作了比较。     

浅谈向量的应用

本文主要通过举例说明向量在代数和几何中的运用。     

从SCHWARZSCHILD解分析广义相对论的时空观

根据爱因斯坦重力场方程的Schwarzschild外部解，讨论了广义相对论的空——时度规，证明了引力场中的空间和时间都只有相对意义。     

数项级数中阿贝尔判别法的必要条件的证明

利用Dirichlet判别法的必要条件，来证明阿贝尔判别法的必要条件的成立，并推广到广义积分和含参变量的积分的应用上。     

定理机器证明思想的产生与发展

一、定理机器证明思想的产生与发展所谓定理的机器证明 ,是指使用计算机证明定理的成立 ,即把人证明定理的过程 ,通过一套符号体系加以形式化 ,变成一系列在计算机上自动实现的符号计算过程。其实质是把具有智能特点的推理演绎过程机械化。定理的机器证明是涉及人类智能问题的主要研究课题之一。从传统的手工证明到定理的机器证明 ,是现代数学思想方法的一次重大突破。机器证明大体上经历了这样一个过程 :公理化代数化坐标化机械化。近代的机器证明思想由莱布尼兹首先提出 ,并直接导源于他的定理证明机械化设想。到１９世纪末 ,希尔伯…     

民事诉讼证明标准再探析

民事诉讼证明标准是民事诉讼法的一个基本问题,对民事诉讼证明标准进行了界定,明确提出客观真实与法律真实是证明任务,不是证明标准,介绍了证明标准的类型和作用范围,并对我国民事诉讼证明标准的构建进行了初步设想.