模糊灰色认知网络的建模方法及应用

针对具有不确定性非线性系统的机理模型难以建立的问题,提出了基于模糊灰色认知网络（Fuzzy grey cognitive networks,FGCN）的非线性系统建模方法.该方法将模糊认知网络和灰色系统理论相结合,把模糊认知网络的节点状态值和权值扩展为灰色区间,引入灰度来评判可靠性.采用一种带终端约束的非线性Hebbian学习算法（Nonlinear hebbian learning,NHL）辨识FGCN的模型参数,引入了与FGCN模型中节点的系统实际测量值对应的灰数值,在更新机制中增加了包含系统测量值与预测值之差的修正项,对权值进行有监督的修正.利用水箱控制系统进行的仿真实验结果表明,本文提出的建模方法能解决对数据存在不确定性或缺失的复杂系统建模的难题,所建的模型能做出接近人类智能的控制决策,所采用的权值学习方法具有收敛速度快、学习结果精准等优点,并克服了传统非线性Hebbian算法对初始值依赖性强的缺点,对不确定性系统的建模具有广泛适用性.     

基于Birkhoff插值的可验证秘密共享算法

密钥管理是密码系统重要组成部分,对密码系统的安全性起着关键的作用.分布式密钥管理被广泛应用于保密通信、面向群体的密码学.为此,基于秘密共享策略,利用Birkhoff插值法和离散对数的困难性,提出了基于Birkhoff插值的可验证秘密共享(BIVSS,birkhoff interpolation verified secret sharing)算法.BIVSS算法考虑了参与者和分发者的不诚信问题,分析了BIVSS的可验性和安全性能.该算法比常见的秘密共享策略具有更广泛的适用性.     

一种构造代码安全性证明的方法

提出一种构造代码安全性证明的新方法.这种方法的基本思想是,在基础逻辑中定义辅助递归函数来帮助构造证明.这种构造方法在不增加系统信任计算基础的情况下可以极大地减轻构造证明的工作量,并且减小安全性证明的规模同时介绍了该方法在一个FPCC系统中的应用.在这个系统中使用该方法使得代码的安全性证明可以自动产生.全部工作的细节已在证明辅助工具Coq中得以实现.     

一个关于程序时间性质的验证框架

运行时间是计算机程序的重要性质之一。对于运行时间而言,常用的时间复杂度分析技术基于的是抽象的算法,并非实际程序。而对于实际程序,大多数程序验证技术则不适合验证运行时间。提出一个运行时间的验证框架以解决这个问题,该框架适用于实际代码,而同时和复杂度分析一样,具有编程语言无关性。在对运行时间的性质要求较高的场合下,可以用于提高软件的可靠性。     

表格玩"穿越"用Word快速美化封面

今天上级让小六做一份宣传文档（题目叫做《宣传之窗》）。文档内容很简单,小六两下就做好了,在但封面的问题上小六有些犹豫不决。他觉得插入的风景图太单调了,想加点特效上去,但自己又不会PhotoShop,     

离散车间制造物联网及其关键技术研究与应用综述

物联网在制造领域的深度渗透和落地应用催生了一种以"物物互联、泛在感知"为特征的新型制造技术—制造物联网。在解析制造物联网基本概念、特征和应用需求的基础上,以多源制造数据的感知、传输、分析和应用为主线,阐述了面向离散车间的制造物联网关键技术;通过分析国内外制造物联网技术的相关应用研究文献,分别从车间制造资源管理、生产过程调控、车间物流优化、质量监控与追溯、智能服务与保障5方面,总结了制造物联网在离散车间的应用模式;基于制造物联网核心技术的应用和发展需求,以及与云制造、大数据、信息物理系统的紧密关联,探讨了智能制造背景下制造物联网的未来发展趋势。     

多功能校准源的数字多用表自动检定系统设计分析

本文主要根据多功能校准源进行分析,探究多功能校准源的数字多用表自动检定系统的设计,对数字多用表自动检定系统的原理、系统的具体组建方式以及数字多用表自动检定系统的操作流程进行简述,为多功能校准源的数字多用表自动检定系统设计提供学术参考。     

风力发电机组偏航电机选型优化方法探究

为了使风力发电机组偏航系统驱动电机的选型准确合理,也为了揭示偏航电机在超过截断值外载后的运行情况,文章提出了一种基于偏航电机特性(扭矩-转速)曲线和外载时间序列的仿真模拟方法,并用该方法定量地分析了3类工况下普通型和高海拔型两款偏航电机的运行情况。3类工况如下:(1)在额定转速下,偏航电机经历大于截断值外载,且逆风偏航;(2)偏航电机由静止开始启动时,经历大于截断值外载,且逆风偏航;(3)在额定转速下,偏航电机经历大于截断值外载,且顺风偏航。研究结果表明,在某些工况下,所选两款偏航电机会出现短时间的堵转运行或反拖运行问题。文章所提出的仿真方法,可为偏航电机的精细化选型提供定量参考,也可作为检验截断值外载是否合适的评判方法。     

自平衡试桩法在桩基工程中的应用分析

根据自平衡试桩法在钻孔灌注桩中的实测经验,分析了自平衡试桩法的基本原理,总结了荷载箱埋设位置的确定和试桩具体操作方法,以期规范自平衡试验方法、为自平衡试桩的顺利进行提供保证、促进自平衡试验技术的推广应用。     

以DDoS攻击为例的网络攻防平台构建和实现

通过对网络攻防模拟平台的研究,分析当前流行的一些攻击方式和手段及这些攻击方式的有效防御方式;并基于Linux的开发环境,以DDoS为例,进行了系统的研究。