物联网软件体系结构中的感执模型的求精

物联网的基本功能是感知物理环境,并根据实时的感知信息和用户的执行需求实现对物理环境的控制.因此,感执模块是物联网软件的核心模块.为最终将软件体系结构应用于物联网软件的开发,在基于物理模型的物联网软件体系结构（physical-model driven software architecture,简称PMDA）研究的基础上,对PMDA 中的感执模型SEM进行求精,求精后的感执模型称为R-SEM.R-SEM 考虑了物联网的特有属性,将SEM的内部构件按照物理应用的感执工作流程分解为用通信顺序进程（communication sequential process,简称CSP）表达的子构件来说明构件端口的功能实现,并采用CSP 中的导管运算符来说明子构件的端口与构件的端口之间的同步,通过CSP 描述了子构件与子构件之间的交互.使用进程分析工具（process analysis toolkit,简称PAT）对R-SEM 进行了验证.验证结果表明：R-SEM 中子构件之间的交互、子构件的端口与构件的端口之间的同步保持了SEM 所具有的保证物理应用之间有效互联的性质——不死锁、不中止和不发散.由于R-SEM 精化了SEM 的内部组成,且保持了SEM 的有效互联性质,因此,R-SEM 对最终将PMDA 应用于物联网软件的开发具有实际的指导意义.     

基于决策树的僵尸流量检测方法研究

僵尸网络目前是互联网面临的安全威胁之一，检测网络中潜在的僵尸网络流量对提高互联网安全性具有重要意义。论文重点研究了基于IRC协议的僵尸网络，以僵尸主机与聊天服务器之间的会话特征为基础，提出了一种基于决策树的僵尸网络流量检测方法。实验证明该方法是可行的。     

PMDA:一种物理模型驱动的物联网软件体系结构

实现众多物理应用之间的互联是建立物联网的基本方法.然而,如何设计一种有效的架构指导物理应用的水平化互联是目前物联网研究领域尚未解决的问题之一.针对该架构设计问题,提出了一种支持物理应用水平化互联的物理模型驱动的物联网软件体系结构(PMDA).PMDA由3个模型组成,分别是物理模型、感执模型和应用模型.模型之间以及模型内的组件之间通过连接器进行连接与交互,模型或组件在交互时需要满足一定的约束条件.通过体系结构描述语言Wright对PMDA中的3个模型的组成以及模型之间的交互进行了形式化描述.通过一种形式化验证工具PAT验证了用Wright描述的PMDA可以保证水平化互联起来的物理应用的有效性,即不存在死锁、发散和中止这3个影响物理应用有效互联的性质.基于PAT的验证结果,通过数学归纳法证明了根据PMDA开发的物联网应用系统在交互时不存在死锁、发散和中止的情形.     

湖南省加药食品调查报告(摘要)

为贯彻执行卫生部颁发的《禁止食品加药卫生管理办法》,防止人们无病吃药或假冒名贵药物性食品欺骗群众,我们于1988年5月组织长沙、郴州、津市、衡山、宁远等五市、县的食品卫生监督检验所对当地的加药食品进行了调查,现将结果报告如下:调查对象、方法和内容长沙、郴州、津市三市市区及衡山、宁远二县县城副食品商店,均为本次调查对象。采取询问、察看和填表记录等方法调查加药名称、加入药品品种(以包装标签上所注     

面向闪存的树型索引综述

随着闪存技术的不断成熟,基于闪存的固态硬盘（solid state drive,SSD）迅速发展。然而,SSD具有不同于磁盘的特性,使得传统基于磁盘设计的索引不适用于闪存环境,因此面向闪存索引机制的研究与优化迅速开展。通过对目前闪存索引的广泛调研,从索引更新策略的角度,分析了它们的优缺点,旨在为SSD算法设计和索引开发提供系统的、有价值的参考。最后讨论了该领域未来的发展趋势和新的研究方向。     

基于区块链的数字货币演化

区块链是数字货币研究的主流技术和重要前提。作为一种去中心化的分布式计算技术,区块链具有共同维护、防窜改、可追溯等中心化技术所不具备的优势。以区块链的基本原理为基础,主要分析了哈希加密、共识机制以及智能合约方面的关键技术;以区块链中的首个应用比特币为基础,分析了以太坊、达世币、卡尔达诺、比特股等数字货币的发展演化历程。根据数字货币的研究现状及其所面临的诸多挑战,展望了区块链未来在数字货币的发行与监管、交易跟踪和海量交易数据分析方面的研究趋势。     

物联网体系结构与实现方法的比较研究

构建物联网设计与实现的统一方法是目前物联网研究领域亟待解决的问题之一.物联网体系结构是设计与实现物联网系统的首要基础.文中从功能角度将目前已经提出的物联网体系结构分为"后端集中式"和"前端分布式"两种类型,并以水平性、可扩展性、环境感知性、环境交互性和自适应性等为指标对这两类体系结构进行了比较分析,指出了USN和IoT-A具有更多符合物联网特征的属性,对未来物联网的设计与实现具有更好的参考价值.文中还从物品连接模式、通信协议和服务机制3个方面对这两类物联网体系结构指导下的物联网实现方法进行了分层归纳,总结了目前建立后端集中式和前端分布式物联网系统的常用方法.最后还指出,为形成物联网设计与实现的统一方法,未来还需要在物联网体系结构的形式化说明与验证、物联网服务机制的实现方面,深入开展一些研究工作.