基于串空间模型的认证测试方法

串空间模型认证测试方法是定理证明安全协议分析法中最具有代表性的一类.利用串空间模型理论对Needham-Schroeder(N-S)公钥协议中中间人攻击问题进行形式化分析与设计,并对其进行证明.与原有技术相比,该方法更为形式化,协议分析人员可以很方便地进行手动分析,并且更有利于协议分析自动化工具的实现.     

江苏省县域经济增长的趋同与差异分析

运用统计分析方法对江苏省2000~2011年县域经济增长的趋同与差异问题进行实证分析.结果表明,在这11年内出现了σ趋同,但不明显,且该阶段存在绝对β趋同;进一步分析发现,江苏省县域经济差距经历了先扩大后缩小的过程,特别是2007年以来,差距缩小的趋势明显.     

数据为王时代,如何让大数据释放大价值——关于《2014年全球信息技术报告》的解读

<正>自2002年起,世界经济论坛每年发布一次的《全球信息技术报告》,成为洞察世界信息技术与网络发展情况的重要风向标。本文基于上海市软科学研究基地——前沿技术发展研究中心的研究成果,对2014年最新报告进行了深入详细的解读分析。     

基于有载调压配变的移动巡查平台研究

在电力应用中,电压的稳定性是影响用电安全的重要因素.为了提高电压的合格率,电力公司在安装了20多台在线滤油有载调压配变基础上,进一步扩大安装规模.同时,在实践中我们发现有载调压配变的定期巡检工作难度较大,为了进一步确保设备使用的安全性和可靠性,对不同分布区域的调压配变进行巡查,有必要加强有载调压配变巡查系统的研发.论文首先介绍研发的背景,概括研发目标和进程,然后进一步对项目的具体开展、创新点进行细化分析,最后对研发成效和工作中的不足进行探讨,力求通过创新项目研发改善我们的有载调压配变工作效率.     

前言

<正>在我国社会经济进入到新的发展阶段之际,国家提出了转型升级、节能减排、生态文明、美丽中国等中长期规划目标。水体污染控制与治理是我国目前及未来相当长一段时间内环境保护与生态建设的重点任务之一。为了科学和高效     

存储发展技术综述

本文根据存储介质产生的先后顺序,并结合实例介绍了各个阶段存储介质形式的发展,概括了当前存储技术的发展状况及方向,并重点介绍了网络存储及其相关的技术。     

电商打假背后：中国产业结构亟待升级

任何一个企业成长到一定体量、能影响多个行业生态时,都会在自身经济属性之外具备相应社会责任,如《蜘蛛侠》所言,"能力越大,责任越大",上市之后的阿里巴巴变得成熟了许多,它要做的已不仅是追求经济体量的增长,更要承担起相关社会责任。而这一次摆在阿里面前的,不是单纯的"打假",而是中国产业结构升级的迷局。     

贯彻落实科技创新战略,促进农业经济快速持续发展

实施创新驱动发展战略是确保经济有持久发展的重要措施,科技创新能力在当今经济的发展中发挥着主导作用。因此,要把实施科技创新工程作为落实创新驱动战略的主要工作,集中力量,开展重大技术创新,将科技创新与产业升级紧密结合起来,加快构建高新技术产业,促进结构优化和经济转型。本文将对贯彻落实科技创新战略,促进经济快速持续发展做一探索。     

低碳经济背景下建筑行业发展路径探讨

低碳经济是人类社会发展的又一次重大进步,必将对建筑行业带来革命性的变革。在阐述低碳经济概念与内涵的基础上,分析了低碳经济对建筑行业提出的更高要求,提出了建筑行业实现低碳发展的对策与建议,以期为建筑行业发展提供思路。