基于π演算的指挥决策行为形式化建模研究

指挥决策行为建模研究急需能够为分析、描述和建模指挥决策行为所具有的并发性、复杂交互性以及动态演化性提供有力支持的形式化方法。基于改进的OODA,通过应用π演算对指挥决策行为进行形式化建模,探讨了基于π演算的指挥决策行为形式化建模的可行性和可用性;在此基础上,就π演算方法为指挥决策行为形式化建模正确性验证以及模型有效性验证方面所提供的支持进行了初步探讨。研究表明,π演算方法可为指挥决策行为建模提供有力支持。     

一种基于π演算的行为建模形式化方法

根据人的行为建模形式化方法需求, 针对直接应用π演算形式化建模人的行为所存在的不足, 尝试以π演算为基础扩展定义了一种人的行为建模形式化方法π-BFMBM(π-Based Formal Method of Behavioral Modeling); 并结合具体示例,阐述了扩展内容为π-BFMBM方法带来的、增强的行为描述能力及其实现方法. 研究表明,相比于π演算, π-BFMBM方法能够为人的行为建模提供更为有力地支持.     

基于封箱演算的形式化组织模型

组织是群体对抗的主要形式.一个好的组织模型有利于提高规划识别的精度和效率.封箱(seal)演算是π-演算的变体.将封箱演算引入动态联盟组织模型建模中,为组织模型的形式化研究提供新的手段.利用封箱演算工具,给出了形式化组织模型,提出了一种基于角色的层次性组织生成方法,并讨论了由于角色变化带来的组织动态调整.     

多Agent系统形式化建模方法研究

简要总结了多Agent系统（MAS）形式化建模方法的研究现状;以面向对象Petri网（OPN）和π演算为基础,给出了一种直观的MAS体系结构模型（Multi-Agent Systems Architecture Model,MASAM）。OPN可以形象地描述MAS的初始化结构及动态行为,而π演算可以刻画MAS的动态演化;另外,可以利用Petri网和π演算的相关分析方法和支持工具分析和验证系统模型,在系统开发早期发现并避免体系结构级的错误。     

网络安全研究中的建模环境分析与实现

提出网络建模环境的形式化描述,据此将网络模型划分为三种虚拟度,并结合网络安全研究特点提出了具备三种虚拟度的高保真建模概念。在网络模拟器NS2基础上实现了一个原型系统,并阐述和分析了其结构、实现与性能,还给出一个支持真实攻击包的蠕虫模型实例。最后分别对若干问题和未来工作进行了总结与展望。     

基于云模型的主观信任管理模型研究

在开放网络中,信任管理是信息安全的重要前提与基础。主观信任具有模糊性和不确定性的双重特征。将定性定量转换模型-云模型引入主观信任管理研究中,提出了一种新的主观信任的表示方法,较好地解决了信任表达中的模糊性和不确定性难题,进而提出了一种灵活直观,描述能力较强的形式化定性信任推理机制,为主观信任管理研究进行了有益的探索和尝试。     

密码协议的π -网形式化描述和分析

π-网是一类模块化的、具有代数演算功能的高级Petri网.通过引入项、buffer库所和解密变迁等建模元素,本文在π-网中建立了密钥管理和加密信息的传输机制,形成了密码协议的Petri网形式化模型,而且对于任意的一个密码协议,都可以将其模块化,本文还提出了密码协议的鉴别性和安全性的验证机制.通过对Needham-Schroeder协议的实例分析,对密码协议的密钥交换和鉴别性,以及协议存在的漏洞,进行了有效的形式化描述和分析.     

基于π网的多Agent系统建模与分析

首先集成两种互为补充的形式化方法-面向对象Petri网(Object-Oriented Petri nets,OPN)和π演算,建立了一种通用的形式化建模方法——π网.π网利用OPN形象地描述系统的初始化模型及动态行为,利用π演算刻画系统的动态演化.然后以π网为语义基础,从软件体系结构的角度,建立了一种多Agent系统体系结构模型(Multi-agent Systems Architecture Model,MASAM).在MASAM中,将多Agent系统抽象为计算Agent、连接Agent和配置等三个单元,并描述了多Agent系统的动态演化;研究了系统演化后体系结构一致性的分析方法,从而可以检测系统开发早期存在的错误,确保模型的可靠性和正确性.     

一种基于推荐证据理论的仿真网格信任模型

在仿真网格环境中,信任机制是解决网格服务安全问题的一种有效方法.参考社会学的人际关系信任模型,建立了仿真网格节点信任推荐机制,并利用推荐证据推理理论,提出了将推荐证据组合为间接信任的一种线形时间递归算法.将直接信任和间接信任组合为综合信任,从而构建了一个计算仿真网格节点信任度的信任模型,并分析了模型中的几个关键问题.仿真试验和结果分析表明,提出的信任模型具有合理性、有效性及工程可行性.     

服务驱动的制造网格系统

就服务在制造网格系统的应用层面上的行为特性展开研究,提出基于工艺信息的制造网格服务的静态结构和动态过程,分析了制造网格服务的服务请求与响应过程,以及制造网格服务的分裂和衍生过程,设计了相应的制造网格服务结构演算算子,并就制造网格系统服务响应流程与企业的实际业务处理之间的集成进行了描绘和实例说明.     

BA模型的三种扩展

无标度网络的发现，使人类对于复杂网络的认识进入了一个新的天地．BA模型是对于这种新认识的第1个抽象模型．由于考虑了系统的成长性和连接的择优性，BA模型给人们带来了很多启发．但是BA模型的两个基本假定，对于解释许多现实中的现象来说过于简单，与现实的网络还有较大的距离．所以，作者试图对BA模型进行扩展，即根据现实中的网络，增添某些假定，并通过计算机模拟进行观察，以便进一步探索复杂网络系统的规律．对BA模型的扩充考虑了3个因素：择优选择的成本；边的重新连接；网络的初始状态．实验结果表明，在考虑了这些因素之后，BA模型的基本结论并没有变化，它们的影响在于演化过程的某些方面，例如在某些极端条件下的演变趋势等．     

改进的模糊神经网络应用于投标报价

针对模糊神经网络规则膨胀导致的网络训练速度慢和泛化能力弱的缺陷,提出了一种改进的基于T-S模型的模糊神经网络的结构和算法。网络结构包括前件和后件网络二部分,本文在后件网络中增加了一个隐含层以提高计算能力,在前件网络中运用了有效模糊规则选取的方法以提高收敛速度。最后将提出的网络结构应用于建筑工程的投标报价中,仿真结果证明:该网络能达到更高的误差精度、更快的训练速度和更好的泛化能力。     

一种P2P网络分布式信任模型及仿真

由于传统的集中式信任机制不适合P2P网络,提出了一种应用于P2P网络的分布式信任模型。它根据交易历史信息来计算节点的全局可信度。此模型运算量小,没有迭代运算不收敛的问题,并能较好地处理冒名和诋毁等非法行为,具有较强的安全性。计算机仿真亦证明了此模型的良好性能。     

Research on web forum oriented rumors spreading and inhibitions北大核心CSCD

A rumor spreading model for the web forum based on the heterogeneity of web forum user behaviors and SEIR model is proposed in this paper. First, according to the mean-field equations of the model on inhomogeneous networks, the critical threshold of the spreading of rumor is deduced, the result of theoretical analysis shows that the increase in trust mechanism between users can effectively inhibit the rumor spread in the network with limited velocity of propagation; Then the simulation and numerical analysis of the model itself and the influences of trust mechanism to the model is given, which verify the validity of the model and the introduction of trust mechanism can effectively reduce the rumor influence, the velocity of rumor spreading and the rumor size; Finally, combined with the previous conclusions and the high-influence limited trust relationships between web forum users, a high-influence immunization strategy is given. The experimental results show that the strategy able to reach better effect than traditional immunization strategy. © 2016, The Journal of Agency of Complex Systems and Complexity Science. All right reserved.     

信任网络、资金流动与区域发展差距

信任被认为是一种非正式制度和重要的社会资本，在正式制度尚未成熟尤其是法律基础薄弱的地区具有重要作用，能够弥补正式制度的缺陷，降低交易成本.利用中国人民银行大额支付系统和中国企业家调查系统的数据，本文首先考察了省际双边信任对地区间资金流动的因果影响.结果表明，来源地对目标地的信任水平会显著促进资金从来源地流入目标地.通过进一步构造基于地理关联、文化关联和信任关联的信任网络，我们发现信任网络的溢出效应对资金流动的促进作用大于来源地对目标地信任的直接影响.此外，两个地区间的双边信任差距越大，会引致更大的资金流动差异，进而扩大区域发展差距.本文从社会资本角度为中国区域发展不平衡现象给予了新的解释，并提出相应的政策建议.     

基于信任和推荐关系的可信服务发现

随着基于开放Web的服务网络中服务数量的急剧增长, 快速、准确地发现可信服务是面向服务计算的一个关键问题. 针对开放网络环境下可信服务发现工作量大、效率低等问题, 基于模拟现实世界的网络小世界特性, 设计了基于信任和推荐关系的可信服务发现方法. 首先, 提出一种开放的具有信任和推荐关系的服务网络模型, 给出该模型的形式化定义和两种关系的计算策略; 接着, 在具有信任和推荐关系的服务网络模型之上, 给出一种动态的可信服务发现算法, 该算法能有效减少服务的搜索路径, 在较短的时间搜索到可信服务; 最后, 仿真实验表明, 该方法能快速返回可信服务, 具有较高的效率和满意度.     

战略网络内部相互信任激励模型及策略

制定有效的激励策略，克服战略网络发展过程出现的“败德行为”信任风险，既是促进网络内部相互信任发展的动力所在，也是战略网络管理的关键问题之一。本文运用委托代理理论建立网络内部相互信任激励通用模型，并对模型进行有效性分析。最后根据激励模型及其有效性分析结论，制定相应的激励策略，为网络内部相互信任管理提供有效的技术方法。     

基于高度残缺信息的分布式语言信任网络群决策方法

针对缺失的分布式语言信任社会矩阵以及高度残缺的评价信息, 提出一种新的分布式语言信任网络群决策方法。首先, 提出了一种分布式语言信任传递模型以填充分布式语言信任社会矩阵中的缺失值。其次, 定义了基于分布式语言信任社会矩阵的个体信任中心度和群体信任中心度, 并在此基础上提出了确定评价网络中专家权重的方法。再者, 鉴于决策矩阵中评价信息存在高度残缺的情形, 利用K-近邻算法评估残缺的评价信息, 并基于分布式语言信任函数的距离测度提出一种改进的逼近理想解排序(technique for order preference by similarity to an ideal solution, TOPSIS)法。最后, 通过外卖服务平台性价比的综合评估验证该群决策方法的可行性和有效性。     

基于节点信任值的WSNs入侵检测方案

为了保证无线传感器网络(wireless sensor network,WSNs)内部节点入侵检测中具有较高的检测率和较低的误检率,提出了一种基于节点信任值的层簇式WSNs入侵检测方案。该方案通过分析WSNs中典型网络攻击特征,定义了节点的多种典型信任属性,并利用马氏距离判断节点信任属性是否异常来获知节点是否存在异常,最后利用贝塔分布理论和异常折扣因子相结合实现节点信任值的计算和更新,从而实现节点入侵检测判断。经仿真,结果表明该方案可实现常见入侵的检测,具有较高的检测率和较低的误检率。