非均匀热传递下传感网络节点选择改进算法

在非均匀热传递网络通信效率优化的研究中,由于非均匀热传递环境下的传感网络中的节点的能力消耗过程具有较强的随机性和动态性特征,使得节点能量消耗出现不规则发散问题.传统的传感网络节点选择以既定节点能量分布为前提,没有考虑温度造成的节点不规则能耗造成的能量下降问题,使得节点选择过程存在弊端.提出了一种自适应模糊差分和自适应粒子群的传感网络节点选择改进算法,分析非均匀热环境下传感网络通信原理,得到非均匀热传递下传感网络节点能量特征,依据节点的能量特征,自适应完成非均匀热传感网络簇首的选择,采用Logistics模糊映射对节点进行改进分区处理,获取最佳网络节点分区,将模糊扰动量融入最佳节点分区中,采用自适应粒子群算法对无线传感网络最佳分区节点的最优位置进行运算,获取无线传感网络最佳能量节点的最优位置,实现网络节点覆盖改进.仿真结果说明,所提算法可在非均匀热传递环境下实现传感网络节点节点的改进,具有较高的收敛效率.     

基于物联网的移动通信信号定位模型仿真分析

在城市小区或在物联网中,因受非视距传播、多径传播等多种不利因素的综合影响,导致其定位性能显著下降,造成移动通信的信号定位识别出现较大的偏差,严重时甚至导致定位识别器瘫痪,无法定位.为此提出基于物联网的移动通信信号定位模型仿真分析,通过对移动通信环境下产生的通信信号频率进行定位识别分析,经由物联网环境下移动通信信号进行定位识别检测,建立信号定位模型来完成通信信号准确定位的过程.仿真结果表明,提出的方法能够有效的提高移动通信信号设备在物联网中的定位准确性、抗干扰能力强并且在长时间运行过程识别定位速度快,可靠性强.有效的为移动通信安全高效运行提供更好的保障,也为基于物联网的电信业务提供了更好的技术手段.     

谈加强水利档案管理的信息化建设

水利档案是指水利各部门在参与水利相关事务时汇总的资料,是国家做出水利管理方面决定和策略的重要依据和凭证。加强水利网络信息化建设是推进水利档案现代化管理的重要手段,本文论述了水利档案信息化的重要作用,分析了水利档案目前存在的不足,并提出了加强水利档案网络信息化建设的方法和策略。     

基于事件逻辑的改进Needham-Schroeder协议安全性证明

安全协议是现代网络安全的基础,密码协议的安全性证明是一个挑战性的问题。事件逻辑是一种描述分布式系统中状态迁移的形式化方法,用于刻画安全协议的形式化描述,是定理证明的基础。用事件序语言、事件类和一个表示随机数、密钥、签名和密文的原子类,给出身份认证协议可以被形式化定义和强认证性证明理论。利用该理论对增加时间戳的Needham-Schroeder协议安全性进行证明,证明改进的Needham-Schroeder协议是安全的。此理论适用于类似复杂协议形式化分析与验证。     

运用SPIN对开放授权协议OAuth 2.0的分析与验证

OAuth 2.0协议是一种开放授权协议,主要用于解决用户账号关联与资源共享问题。但是,其弱安全性导致各网络公司海量用户信息泄露,且OAuth 2.0传输数据采用的https通道效率低下,成为黑客攻击对象。提出采用http通道传输OAuth 2.0协议数据,基于Promale语言及Dolev-Yao攻击者模型对OAuth 2.0协议建模,运用SPIN进行模型检测。形式化分析结果表明,采用公钥加密体系对OAuth 2.0协议进行加密不安全。上述建模方法对类似的授权协议形式化分析有重要借鉴意义。     

一款可综合全数字锁相环设计与分析

全数字锁相环ADPLL拥有较高的集成度、灵活的配置性和快速的工艺可移植性,可以解决模拟电路中无源器件面积过大、抗噪声能力不强、锁定速度慢以及工艺的移植性差等瓶颈问题。在纳米工艺下,单级反相器的最小延时已经达到10ps以内,大大改善了全数字锁相环的抖动性能。提出了一款面向高性能微处理器应用的全数字锁相环结构,并对该结构进行了频域建模和噪声分析。该结构完全采用标准单元设计,最高频率可达到2.4GHz,抖动性能达到ps级别。     

一种隐藏注入模块的新方法

在信息安全领域,安全分析工具往往需要将监控模块注入到其他进程空间以实现监控功能,但恶意软件往往会通过检测自身空间是否有其他模块来逃避监控。因此,安全工具需要对注入模块加以隐藏。比较常见的隐藏方法有:断开进程的LDR_MODULE链、Hook枚举模块的函数、抹去PE头等,但这些方法都有比较大的局限性。针对这些局限性,提出了一种对注入模块进行隐藏的新方法。在注入时利用普通有模块注入方式,让恶意软件疏于防范;注入之后消除自身模块,让恶意软件无法检测到监控软件的存在。对于应用中的一些具体技术问题给出了解决方法。实验结果表明,该方法突破防御能力强,可兼容各种版本的Windows操作系统,并且隐蔽性比目前的通用方法更好。     

Optimal controller location in wireless networked control systems

The control performance of wireless networked control systems (WNCS) has been shown to heavily depend on the packet delivery quality of both the sensor‐to‐controller and controller‐to‐actuator communications. Such quality relies on the relative distance between the wireless transmitter and receiver, which naturally raises the challenging problem of controller placement in WNCS for optimal control performance. In this paper, we investigate the optimal controller location (OCL) problem in WNCS based on linear‐quadratic‐Gaussian control strategy. For the one‐hop network case where the controller can only be placed at either the sensor side or the actuator side, we derive a simple yet effective criterion to determine the OCL. For the more general multi‐hop case where the controller can be located at either one of the sensors, relays, or actuators, we obtain the necessary and sufficient condition under which the closed‐loop system is guaranteed to be stable. On the basis of these results, we further transform the OCL problem into an optimization problem that can be solved efficiently. Numerical results are provided to verify our analysis. Copyright © 2013 John Wiley & Sons, Ltd.     

Observer based repetitive learning control for a class of nonlinear systems with non‐parametric uncertainties

In this paper, a repetitive learning control (RLC) scheme is developed for a class of nonlinear systems to handle an output tracking problem, where two state observers are introduced concurrently to estimate the unavailable control system and reference states information. The estimation of reference state information is because of the lack of reference internal model in the RLC design. By virtue of the periodicity of reference signals and the associated learning capability in control mechanism, the involved unstructured nonlinear uncertainties can be handled. The Lyapunov‐like energy function method is adopted to facilitate the learning control design as well as property analysis thus achieve the asymptotical convergence of errors in state observation and output tracking simultaneously. Moreover, owing to the robustification of the learning controller that is addressed by incorporating projection, the proposed control scheme would be applicable in practice. In the end, an illustrative example is simulated to demonstrate the efficacy of the proposed RLC law. Copyright © 2014 John Wiley & Sons, Ltd.