基于国家电网的财务管理系统的开发与研究

随着社会生产力的不断发展,越来越多的企业认识到了财务工作的重要性。企业要利用现代高效的运作方式来开发和管理组织中最重要、最昂贵的资源,实现财务管理的精细化、自动化,提高财务资源的利用率,促进企业的发展。     

基于时滞分割法的区间变时滞不确定系统鲁棒稳定新判据

针对一类存在泛数有界不确性的区间变时滞线性系统, 利用Lyapunov-Krasovskii (L-K) 泛函方法并结合线性矩阵不等式(LMI) 技术建立一种新的保守性更低的鲁棒稳定性判据. 首先基于时滞分割方法将时滞区间均分成N 等分, 针对不同的子区间构造合适的L-K 泛函; 然后在各自的分割区间采用保守性较小的积分不等式处理泛函沿时间的导数, 基于凸组合技术建立了LMI 形式的时滞相关稳定性新判据; 最后通过数值实例验证了结论的有效性.

     

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

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

企业客户信息系统(ECIF)设计

以客户为中心是众多企业战略规划的重点,如何在信息技术飞速发展中,根据客户的特征、行为和偏好来获取新客户、促进企业的发展,企业客户信息系统的信息化建设已成为重中之重。采用J2EE设计了一个支持多层架构,并具有良好的可用性、伸缩性、扩展性、安全性的系统。系统可以实现对企业客户信息的数据管理、数据统计、数据维护等功能,提高了企业办公效率,完善了客户服务体系。     

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.     

软件安全性检测技术综述

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