基于蜂拥的智能电网动力学模型分析与控制

针对智能电网中信息、物理网络深度融合的运行稳定问题,提出对暂态稳定问题中信息-物理交互关系进行动力学建模的方案。为了描述各智能体与邻近智能体的信息-物理交互关系,将各智能体间信息-物理耦合关系均由各自建立的动力学模型所表达。该方案通过应用发电机间的互联摇摆方程对简化物理电网模型的动态行为进行描述,并由实现暂态稳定控制器来表述智能电网信息、物理网络间的交互行为。通过IEEE9节点模型的仿真与分析证明了智能电网信息-物理网络动力学建模的可能性,并通过对相应节点施加控制及控制效果的对比说明了蜂拥控制的高效性。     

形式化多主体系统中的交互及交互协议

深入研究了多主体系统中的交互及其协议,并用一种进程演算;即π演算进行了形式化的描述.为了研究主体之间的交互,首先对参与交互的主体的行为进行了分类,并形式化地描述了其行为规范,然后用进程定义了主体间的交互协议,并在此基础上分析了主体交互的一致性及无死锁性.     

Web应用的UML协作图建模与形式化规格说明

针对Web应用的特点,从整体功能层面和交互行为层面用UML协作图构建了Web应用模型,以便精确、有效地描述参与协作对象间的结构关系和交互行为,保证在利用UML形式的规格说明推导测试用例时所需的语义信息.研究了运用Object-Z语言来形式化描述Web应用模型,提出了相应的转换规则.设计了形式化规格说明自动化生成的工具(UMLTOZ)中的主要相关类库.     

安全协议认证属性的设计框架研究

提出了一种安全协议的认证属性设计方法。该方法设计了协议认证消息结构,通过通道模型增加设计过程中消息结构的动态安全特性,采用迹模型准确描述消息交互过程。讨论了避免攻击的安全属性设计原则,并通过形式化的方法表示出来。最后证明了该形式化方法的有效性。     

基于角色划分的构件组合兼容性检查

基于构件的软件开发是软件工程化和工业化发展的必然趋势,构件间通过接口实现交互。目前主要的接口定义语言是为了满足封闭的C/S应用而设计的,仅描述了构件交互的静态语法层信息,这些信息已不能满足开放环境下对构件理解、使用和推导需要。形式化方法因其描述的准确性和使用自动定理证明机制而受到越来越多的重视,以CORBA构件为例,结合一个电子商务应用实例,给出基于π演算的构件接口动态行为信息描述方法,在此基础上根据构件在交互中的作用进行了角色划分,并基于角色模型研究了构件组合中的兼容性问题,从而保证了开放环境下构件间成功地进行互操作。     

基于信息价值链的多粒度信息交互网络模型建模方法

由于复杂系统的信息化,其组分间的信息交互关系变得更为复杂并在系统内部出现了信息的链式运动。针对这种情况,提出基于信息价值链的多粒度信息交互网络模型建模方法。该方法通过粗粒度信息交互网络模型建模和细粒度信息交互网络模型建模两个阶段,对复杂系统内部组分间的信息交互关系和信息链式运动建模。实验结果表明,该建模方法可以定量描述复杂系统内部各组分的信息交互关系和信息链式运动,为研究复杂系统中如何利用信息创造价值奠定了基础。     

多Agent系统分布式问题求解的代数模型方法(Ⅰ): 社会行为、社会局势和社会动力学

该组论文提出一种新的代数模型方法，用于多Agent系统超分布超并行社会智能问题求解，该方法通过社会动力学和社会智能，统一地处理各种复杂的并行的社会行为，用于求解用常规方法难以处理的许多社会交互问题，本文是组合论文中第一篇，提出多Agent系统分布式问题求解的代数模型结构，讨论多Agent系统中典型社会行为模式及其性质，建立形式化描述，同时也论述了代数模型中的社会局势和社会动力学。     

车-地通信场景的一种混合建模方法研究

为了更好地建立高速列控系统分布式整体形式化描述,采用Agent理论和层次着色Petri网混合建模方法对中国列车控制系统车-地通信场景进行了研究。将车-地通信场景抽象为MAS,给出了场景中车-地主体Agent的内部推理过程和形式化定义,采用CPN Tools工具建立了层次化结构HCPN模型,使车-地通信过程、MAS整体行为以及车-地主体内部推理流程可视化。通过对模型状态空间报告的分析确保了模型的正确性,通过对模型进行多次模拟仿真,分析了该场景中不同通信故障率情况下非周期消息的重发间隔对控车实时性能的影响,验证了模型的可行性。     

基于多Agent的虚拟企业结构与信息交互

虚拟企业具有分布性、自主性，互操作性，开放性等特点，传统的企业信息系统已经不能满足虚拟企业的这些特殊要求，在分析了多代理技术在虚拟企业中应用的必要性和可行性基础上，将多代理技术引入到虚拟企业信息系统中，构造了一个基于市场机制（Agora）的多Agent虚拟企业体系结构，在此基础上给出了Agent间的合作与协商模型，并描述了Agent之间的信息交互过程，最后对支持虚拟企业生命周期的原型系统的实现过程及信息交互过程进行了描述。     

基于多智能体系统的面向对象本体研究

智能体间的信息交互和行为协调是共同完成被委托任务的必要条件,论文提出了在多智能体系统中智能体本身必须建立领域模型的技术要求,即用本体支持运行时的语义交互。为此,文中用面向对象的知识表示方法描述并建立本体,并以此为基础形成领域操作代数系统和智能体服务描述语言。结合开放购买的仿真案例,表明在一个完整的情景语义交互中,服务提供方需要以智能体服务描述语言表述自己提供服务的方法和过程,而接受服务方必须在理解智能体服务描述语言的基础上,获取某一具体服务。     

网络信息资源的信息安全

文章通过列举网络信息资源的各种隐蔽来源,分析了网络信息资源的特点,进一步列举了影响网络信息资源安全的各种元素,从信息资源的可用性、真实性、完整性、可知性及安全性等方面论述了网络信息资源的信息安全,最后提出了可行的网络信息资源安全的几种防范措施。     

信息模型驱动的信息系统开发与元信息系统

信息系统开发经历了以计算为中心、数据为中心、对象为中心(数据与处理一体化)和正在发展的以模型为中心的四个阶段。以模型为中心的阶段的出现,使信息系统开发成为一个由信息模型(Information Model)驱动的过程,信息模型将贯穿于信息系统的分析、设计、实现、配置、维护和管理的各个阶段,从而需要一个基于信息模型的、辅助和管理信息系统开发与运行过程的信息系统,即元信息系统。     

信息隐藏技术与信息安全

介绍了信息隐藏技术的原理、实现方法及应用.     

信息准则在信息融合中的应用

在图像识别时,如果样本较小,往往会造成识别结果的不准确.采用信息融合的方法可以改善这一问题.在这一过程中,通过引入信任度系数对信息源的质量作出评价,可以提高图像识别的准确性.提出了一种利用信息准则来确定信息源信任度系数的方法,并以此作为衡量信息源质量的依据.其中着重比较了根据两种不同的信息准则所确定的信任度系数对于识别结果的影响.实验结果表明利用BIC准则确定的信任度系数可以得到更好的图像识别结果,同时也证明了该方法应用在信息融合中的可行性.     

信息安全与信息隐藏

近年来,随着网络和多媒体的快速发展,信息隐藏技术已经成为信息安全领域的一个研究重点。该文首先介绍了信息隐藏的一般概念,然后介绍了信息隐藏的基本原理,最后简要介绍了常用技术以及应用。     

信息安全等级保护中的信息和信息系统安全分类

安全分类直接决定下一阶段中要为相应的信息和信息系统选择何种安全强度的安全措施(这些措施包括管理、技术等类别)才能保证实现对信息和信息系统的适度安全保护。因此,如何为信息和信息系统建立安全分类标准并提供具体可操作的分类指南是信息安全等级保护的关键。一、信息和信     

Information Equilibrium: Punctual Structures of Information Distribution

For the reflexive game where the agents make decisions on the basis of a hierarchy of beliefs about the fundamental parameters, beliefs about beliefs, and so on, a concept of information equilibrium was proposed which is a generalization of the Nash equilibrium in the noncooperative games.     

信息系统信息安全保障工程

本文论述了信息系统安全保障的概念,分析了信息安全保障的安全内涵,提出了信息安全保障工程的三维结构模型,以及信息系统安全保障工程的规划与实施策略。     

领域信息在信息融合进程中的优化处理

提出一种新的局部领域信息最优化组合函数算法,以解决融合过程中局部领域最优信息合理利用问题。引入最小鉴别信息熵的概念后,得到局部领域最小鉴别信息熵的概念与表示方法,应用于信息融合,得到局部领域信息最优化组合函数算法。该算法为避免其他融合方法主要考虑整体的结果而忽略具体过程提供了一种新的方法和思路。     

湖南信息化中信息资源整合探讨

"两型四化"是湖南经济发展的指导性纲要,文章针对"两型四化"主要内容之一的信息化建设中信息资源利用所存在的问题进行分析与探讨,提出湖南信息化整合与利用的个人看法与建议,对信息化建设有参考作用.