受限波兹曼机联合稀疏近似的脑功能检测模型

人脑功能连通性检测是神经科学研究的重要技术．使用受限制波兹曼机（RestrictedBoltzmannMachine,RBM）对大量多被试功能磁共振（functionalMagneticResonanceImaging,fMRI）数据进行建模可以检测人脑功能连接,但是不能有效检测单被试数据的功能连接．本文研究一种新颖的融合了稀疏近似与RBM技术的脑功能连通性检测模型,该模型充分利用fMRI数据的稀疏性,采用稀疏近似理论对fMRI数据进行空间域稀疏近似压缩,然后使用RBM建立模型,以检测脑功能连通性．实验结果表明,该融合模型可以有效地提取单被试数据的脑功能时间域混合模型及其相应的脑功能图谱,解决了RBM在单被试数据分析上的瓶颈．     

基于参数可变遗传算法的炮兵通信网络覆盖控制优化

针对节点高密度部署的炮兵通信网络中优化工作节点集的选取问题,提出一种基于参数可变遗传算法的覆盖控制优化方法。设计了密度检测机制优化初始种群,并设计了即考虑到进化代数对算法影响,又考虑到每代中不同个体适应度对算法作用的自适应交叉概率和变异概率。仿真实验及分析表明,该优化方法快速有效地实现了工作节点数目少、节点集覆盖率高的工作节点集的选取,可有效地降低能耗,延长网络生存时间。     

A new result on the delay‐dependent stability of discrete systems with time‐varying delays

This paper proposes an improvement to the delay‐dependent stability of discrete systems with time‐varying delays. The approach is based on the observation that the positive definiteness of a chosen Lyapunov–Krasovskii functional does not necessarily require all the involved symmetric matrices to be positive definite, which has been overlooked in the literature. The derived delay‐dependent stability conditions are in terms of linear matrix inequalities. It is theoretically proved that our results are less conservative than the corresponding ones obtained by requiring the positive definiteness of all the symmetric matrices in a chosen Lyapunov–Krasovskii functional. The importance of the present approach is that a great number of delay‐dependent analysis and synthesis results obtained by the aforementioned requirement in the literature can be improved by the present approach without introducing any new decision variables. Copyright © 2013 John Wiley & Sons, Ltd.     

Decentralized output feedback stabilization for a class of large‐scale feedforward nonlinear time‐delay systems

This paper is concerned with the decentralized stabilization problem for a class of large‐scale feedforward nonlinear time‐delay systems. The uncertain nonlinearities involved in the systems are assumed to be bounded by continuous functions of the inputs and delayed inputs multiplied by unmeasured states and delayed states. An observer‐based decentralized output feedback control scheme is proposed by using the dynamic gain control design approach. On the basis of the Lyapunov–Krasovskii stability theory, the global asymptotic stability of the closed‐loop control system is proved. Contrary to many existing control designs for feedforward nonlinear systems, the celebrated forwarding design and saturation design are not utilized here. An example is finally given to demonstrate the effectiveness of the proposed design procedure. Copyright © 2013 John Wiley & Sons, Ltd.     

软件安全性检测技术综述

该文阐述了网络软件安全检测的重要性,介绍了现有的主要检测方法,包括形式化安全测试、基于模型的安全功能测试、语法测试、基于故障注入的安全测试、基于属性的测试、模糊测试、基于风险的安全性测试、基于故障树的安全性测试以及基于渗透的安全性测试。     

石武高铁新乡段无线信号覆盖网络建设方案浅析

本文通过石武高铁新乡段的实际建设案例,介绍了分布式基站建设方案以及相关配套方案,以期对其他相似案例提供一定的借鉴。     

Studies on fluorinated polyurethanes by X-ray diffraction and density functional theory calculations with periodic boundary conditions

Thin-film wide-angle X-ray diffraction, small-angle X-ray scattering, and density functional theory calculations using B3LYP hybrid functional with the two-dimensional periodic boundary conditions (2D-PBC) have been applied to study the crystal structures of parent and fluorinated polyurethanes. The crystal structures from 2D-PBC-B3LYP calculation and experiments showed the hard-segment chains within crystallites adopted an extended-chain conformation for polyurethanes. Energetically, the parent polyurethane preferred an alternating hydrogen-bonded sheet structure while the fluorinated one adopted a progressive hydrogen-bonded sheet structure.