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

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

基于科学知识图谱分析的我国科技创新发展脉络研究

为更加全面地了解我国科技创新的研究状况,整理了1998—2018年CNKI数据库中篇名含有科技创新的相关文献,利用Citespace和Vosviewer绘制了相关文献的知识图谱,包括关键词时区图谱、突变词检测图谱、关键词网络可视化图谱、关键词密度图谱。在此基础上,通过对图谱分析得出我国科技创新的三个阶段和四大未来研究热点。     

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

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

前言

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

基于ESI的湖北省高校科技竞争力评价

基于ESI数据库，选取湖北省高校作为研究对象，分析各高校论文发表数量、被引情况、世界排名等，以期通过科技竞争力的研究，了解湖北省高校的整体实力，为决策者提供决策依据，提升湖北省高校的整体科研水平。     

存储发展技术综述

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

河南农业科技创新联盟建设与发展的思考

农业科技创新联盟是联盟发展的新产物,是农业科技创新进行协作的组织形式。本文主要通过对农业科技创新联盟及其重要作用和农业科技创新联盟功能定位、管理体制与存在问题进行了分析论述,提出了河南农业科技创新联盟建设发展的对策建议     

国家层面创新能力的评价

 综述了创新、创新监测与评价的研究进展，辨析了国家创新能力、创新型国家和科技强国的内涵特征，分析了中国创新能力在世界上的相对位置，探讨了建设科技强国的经验及启示。     

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

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

"医疗器械"一词的英译与思考

近年来,随着国内医疗器械领域的创业公司不断兴起,“医疗器械”一词被广泛使用于公司名称注册、内容介绍、网站宣传及产品使用说明等方面,而其英译名却五花八门,没有统一的标准。文章通过数据采集、实例分析来辨明“医疗器械”各种英译的区别,旨在为广大译者提供有关该词的英译思路。