基于智能合约的物联网权限传递访问控制模型

物联网(IoT)中的传感节点具有海量性、动态性等特点,使得传统的中心式的授权决策访问控制难以满足更高的物联网环境需求。结合基于属性的访问控制模型(ABAC)与区块链技术,利用ABAC中属性和权限相关联的特点及区块链去中心化的思想来解决IoT中设备海量性的问题;同时针对节点接入和权限传递等动态性问题,提出一种基于区块链的新方法来表示资源访问策略,利用智能合约来实现权限的动态传递,将协议策略和权利交换过程展现在链上,任何用户都可以随时知道策略与资源和当前拥有访问资源的权限。通过对比分析和实验结果表明,该架构与现有传统的架构相比,能更有效地解决IoT中设备存在的海量性、动态性的问题。     

旋转插补原理研究

提出基于旋转进给速度的数控插补原理和方法．基于五轴数控加工的运动的分析,提出了旋转插补及相关的概念,讨论了线性进给速度与旋转进给速度之间的关系,针对参数曲线,建立了沿曲线的角弧长导数与旋转进给速度之间的关系,基于泰勒级数展开构建了参数曲线的旋转插补方法及算法．     

三参数曲线插补原理

基于三参数曲线的数控加工轨迹生成方法是对目前的数控加工中刀具路径生成的截面线方法的推广,拓展了截面线方法的研究思想和研究内容.提出了三参数曲线的基本定义和表示,分析了三参数曲线的几何特性,建立了三参数曲线的几何特性和刀具运动特性之间的关系,在此基础上,运用近似泰勒级数展开方法提出了参数插补原理,进一步地提出了三参数曲线的插补原理.     

用免疫组化法检测感染乳鼠组织和培养细胞中的SARS病原体

用病理组织学和免疫病理学方法检测严重急性呼吸综合征(SABS)患肺组织标本接种乳鼠和培养细胞的病理变化和病原体。轧鼠的肺、肝脏、脾脏等病变明显,在肺、脾脏、胸腺、肝脏、心肌组织中查到阳性应反应细胞,接种的Vero E6细胞也呈阳性反应。试验方法可用于检测SABS临床标本和实验标本中的病原体,为病原学、动物模型和致病机理的研究提供了基础资料。     

换流站巡检四足机器人建图定位系统优化

为解决巡检机器人对换流站狭窄区域场景以及多楼层场景建图定位困难的问题,采用四足机器人作为巡检平台,对四足机器人建图定位系统进行优化。首先融合深度相机与激光雷达点云,对融合点云进行地面分割,提取边缘特征、非地面面特征以及地面面特征,优化基于特征的点云匹配算法,使用紧耦合的迭代卡尔曼滤波器(iterated extended Kalman filter, IEKF)来融合点云特征点和惯性测量单元(inertial measurement unit, IMU),通过ORB(oriented FAST and rotated BRIEF)描述符计算关键帧图像的BoW(Bag-of-Words)向量用于回环检测消除建图累积误差。其次,通过无迹卡尔曼滤波(unscented Kalman filter, UKF)融合足式里程计作为四足机器人正态分布变换(normal distribution transform, NDT)姿态匹配初值,加快NDT匹配时间,通过实时匹配融合点云与三维地图得到全局位姿进行姿态更新。实验结果表明,所提出的建图方法可以实现狭窄通道以及多楼层场景的有效建图,所提出的定位方法...     

高校贫困学生伦理困扰探究

贫困学生问题，是人才培养过程中必须妥善解决的一个重要问题，一直得到党和政府的关怀，受到社会各界的关注。这一特殊群体成为高校教育管理工作的一个重要内容，不仅直接关系到贫困生健康成长和成才，还关系到学校和社会的稳定，关系到人才培养目标的实现。本文通过伦理困扰这一视角来分析贫困大学生的思想问题，并据此提出解决的对策和措施，把对贫困生问题的认识引入了一个新的领域，为高校开展针对贫困学生群体的德育工作提供有益的参考。     

软件可靠性模型及其参数估值技术

软件产品的可靠性评估主要取决于软件可靠性模型及其参数估值技术。本文探讨了六种软件可靠性增长模型的内在关系,提出了一个统一的软件可靠性增长模型,并从数理统计角度介绍了两种可靠性模型参数估值方法:最大似然估值法和最小均方误差估值法。最后,通过实例说明了软件可靠性模型及其参数估值技术在软件产品的可靠性评估方面的具体应用。