复杂系统范式下社会科学的模型化进路

模型化一直是社会科学重构认识论逻辑的有力途径。基于计算机模拟技术的发展,社会科学的建模路径从基于变量走向基于对象,特别是基于主体的建模。基于主体的模型一方面将社会系统整体的自下而上的突现过程展示出来,另一方面将系统要素之间交互作用受到的自上而下的整体性约束予以形式化,为动态地理解社会系统的生成和演化机制提供了新的认知模式与方法论工具,以一种复杂系统思维推动了社会科学朝着“问题导向”的趋向发展。     

基于E-CARGO模型的云ERP建模与演化方法

传统需求建模方法通过形式化的建模语言来对需求进行描述,因其缺乏灵活性及配套的需求解决方案,而难以适配云ERP领域动态演化的需求。针对以上问题,依托E-CARGO模型可灵活对演化需求进行建模的特点,提出一种基于E-CARGO模型的云ERP建模与演化方法。首先,将需求解构为需要和云ERP服务并将二者描述为基于角色的协作问题,进而通过E-CARGO模型对其进行建模;然后,为了更具领域针对性地评估云ERP领域人才能力,建立高质量的云ERP开发团队,使用模糊层次分析法（FAHP）构建模糊互补判断矩阵,度量人才综合能力值;最后,利用E-CARGO模型的组角色分配方法结合CPLEX优化包得到所有演化中的需求最大化满足方案。实验结果表明,所提方法不仅能够对云ERP中演化的需求进行灵活建模,还能在很快的时间内求得需求满足方案,进而迅速响应需求的演化并提供随需而变的云ERP服务。     

CA-Markov模型在舟山市土地利用中的应用研究

基于复杂适应系统、元胞自动机和马尔科夫链等相关理论,构建了城市土地利用的元胞自动机-马尔科夫模型（CA-Markov模型）,给出了从众系数矩阵的演化规则和确定方法.以舟山市土地利用变更为例,利用CA-Markov模型对该市土地利用变化进行计算机模拟,分析城市土地利用的变化规律.同时,得到的土地利用系统非线性的复杂特征体现了CA-Markov模型具有模拟复杂适应系统的能力.研究表明CA-Markov复合模型不仅具有空间演化的优势,还具有Markov过程的优良性质,比简单的Markov模型和CA模型更优越.     

云计算环境中数据级权限管理研究

针对云计算环境中传统RBAC访问控制模型不能很好应对与业务逻辑高度关联的数据级权限管理的问题,结合规则引擎中规则可配置的特点提出了一种基于规则引擎的数据级权限管理模型.该模型以系统中的所有对象为事实库,使用逆向推理对数据级的权限进行判断.目前该模型已经被用于高校教学资源共享系统,实践结果表明该模型提高了系统对业务逻辑变更的应对能力,在保证云端数据安全的同时又具有一定的灵活性.     

大数表决及异构结构间数据同步的研究

讨论了形式化的大数表决技术及算法的实现问题,分析了保持冗余结构服务器间的数据一致所采用的同步方案。方案保证了系统在遭受未知攻击后的可生存性及冗余服务器之间的数据同步。     

基于Pi-演算的服务组合正确性验证

对于Web服务及其组合而言,保证其正确性并实现增值服务是十分必要的。Pi-演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模。通过建立一个实际的模型,用Pi-演算对Web服务及其组合进行建模,并利用形式化工具对建立的组合模型是否正确以及是否满足需求进行了验证。     

扩散系统的元胞自动机模拟

元胞自动机是一种时间、空间、状态都离散的动力学模型,是非线性科学的一种重要的研究方法。元胞自动机特别适合于复杂系统时空演化过程的动态模拟研究。元胞自动机提供一个虚拟的微观世界,能够在粗粒化程度上再现符合一般性规则的物理现象。用元胞自动机模拟两种物质的扩散过程,建立扩散系统的演化规则样本。     

基于元胞自动机的污染气体扩散模拟系统

元胞自动机模型( Cellular Automation Model, CA模型)是一种用于模拟离散动力系统内部的各独立单元间因为强烈非线性作用而引发的系统自组织演化过程的建模方式,规则的局部性和时空离散化是CA模型的主要特征.本系统基于当今城市最为严重的空气污染问题展开研究,主要通过在地图上确定污染源位置,并录入污染源数据,通过元胞自动机原理,模拟在有风和无风状态下污染气体元胞的运动状况,从微观到宏观,系统地描述污染气体的运动状况.     

有色Petri网在web服务组合建模中的应用

以分布、异构、多自治域的互联网环境为背景,提出利用有色Petri网对web服务组合进行建模的方法,给出了web服务组合网的形式化描述和常用结构的图形化表示方法。文中所引用的案例模型可以在CPN—tools中测试．有效的建模是模型分析验证和模型应用的基础。对电子商务和企业应用集成在解决web服务组合问题中具有一定的参考价值。     

P2P网络模型的形式化描述方法(英文)

为了更好地适应对Intemet中迅速发展的新形态P2P网络应用进行建模的需求,深入研究了适于描述多方并发网络交互的形式化建模方法.首先,对P2P网络系统模型的各项特征及其分类进行了探讨.然后,参照构件化建模的研究思路,基于对P2P应用建模需求的分析,提出了一种运用通信顺序进程(CSP)进行描述的P2P网络应用的形式化描述方法.借助CSP进程组表示,该方法能够更为方便精确地描述P2P系统中以多方交互为主的动态交互关系,探讨了CSP非确定性语义在P2P交互建模中的应用.最后通过一个新型P2P媒体点播系统的实例展示了以上描述方法的应用,验证了该方法在描述并行交互关系等方面的能力.     

安防大数据下的分布式云计算模型

针对安防领域中的信息孤岛问题,本文提出一种基于大数据的分布式云计算模型,该模型由域结点、子域结点和终端结点组成,终端结点负责数据的采集,域结点和子域结点负责数据的计算和存储,并给出一种基于云计算的大数据安防监控系统架构．该模型集成了大数据和云计算的各自优势,解决了安防领域中的信息孤岛问题,具有通信带宽低、扩展弹性高和易于实施的特点．     

一种基于演化的中医疗效自适应动态评价模型

为了公正、客观地评价中医的疗效,针对中医证候复杂多变的特征提出一种基于演化的中医疗效自适应动态评价模型.模型在形式化描述中医证候演化特点的基础上,首先利用启发式算法对评价指标的组成要素进行抽象并提出重构方案,然后利用依赖矩阵计算不同指标间的关联度,并通过关联度重新构造演化后的指标权重体系,实现演化环境下中医疗效的自适应动态评价.最后通过实例说明了该模型的使用方法和有效性.     

Web服务组合规范WS-CDL的类型化形式化模型

为了形式化地推理和验证web服务编排规范WS-CDL所描述的web服务组合,提出了一个WS-CDL规范的类型化形式化模型——typed abstract WS-CDL.在typed abstract WS-CDL中,定义了类型和会话的语法、类型判定规则和操作语义;web服务间的协作由会话来描述;利用会话的操作语义能对web服务编排的执行进行推理;利用类型判定规则能检查web服务间交换信息类型一致性并捕获由于类型不一致导致的运行时错误.特别地提出了类型假设集的外延和类型假设集相容性的概念,并定义了类型假设集的合并算法以消除类型假设冲突.在该模型基础上,还定义了从choreography到orchestration的类型化映射规则,通过这组规则,可以从一个给定的web服务choreography得到orchestration桩代码及其类型假设集,因而web服务组合能在choreography和orchestration层被验证.提出的模型被证明具有类型安全性,并且通过一个案例分析说明了所提出的模型是有助于对web服务组合进行推理和验证的.     

基于Pi-演算的服务组合正确性验证

对于Web服务及其组合而言,保证其正确性并实现增值服务是十分必要的。Pi-演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模。通过建立一个实际的模型,用Pi-演算对Web服务及其组合进行建模,并利用形式化工具对建立的组合模型是否正确以及是否满足需求进行了验证。     

A Novel Multivalued Associative Memory System *

通过适当控制参数,全局耦合映射模型能够从混沌搜索演化到若干稳定的周期轨道．这种特性可用于联想记忆和优化．本文在修正的ＧＣＭ模型（ＳＧＣＭ）基础上提出了一种新的多值模式相关学习规则可有效地用于灰度图像的联想记忆．最后对回忆的效果进行了分析．     

基于分簇能耗聚集的云计算多目标任务调度算法

在云计算环境下的多分簇目标的任务调度是提高软件嵌入式系统稳定性的关键,由于云计算中能耗扩散,在多处理器集群多目标任务调度中出现任务调度优先级列表混乱,调度性能不好的问题.传统方法采用节点行为信息流特征分析方法进行任务调度,随着分簇能耗扩散,收敛性不好.提出一种基于分簇能耗聚集的云计算多目标任务调度算法.待分析任务调度信息流的分层能耗聚集轨迹峰值往往含有重要的信息,提取待分析任务调度信息的能耗特征,构建云计算多目标任务调度模型,实现对云计算多目标任务调度算法的改进.仿真结果表明:采用该算法能有效提高云计算多目标任务调度效率,任务执行时间较短,系统稳定性高.     

一种基于僵尸机状态转换的僵尸网络监测方法

目前互联网上发生的大规模网络攻击事件,大多都与僵尸网络攻击有关。僵尸病毒的感染开始于一个外部网络与内部网络的通信过程。通过对通信过程研究分析。基于系统开发平台Window和Visualc＋＋（vc6．0）,对一个潜在的用户从被感染到成为僵尸机,进一步扩散支点形成僵尸网络全部变化过程进行模拟,设计出检测系统。实验证明检测系统具有较好的扩展性,能对Phabot传播扩散过程中的各个状态进行有效捕获．在网络中主要网络节点布置该系统完全可以监测僵尸病毒的传播。     

服务层次模型的可生存评估

基于3层不同节点关系提出3种树型结构层次模型,最底层节点是原子服务,采用应用层服务的共同特征属性作为原子服务,第2层是应用层服务,采用基于信息熵来表征应用层服务系统的可生存性.第3层是增值服务,是应用层服务的组合,直接面向用户的节点.最后,讨论3种模型在DDo S攻击强度变化时的信息熵和信息熵的变化率,以及各属性的变化情况,从而为管理员提供决策和依据.     

基于系统动力学的云计算安全风险仿真分析

云计算技术的广泛应用和发展,在带来高性能技术的同时也带来了一系列安全问题,采用科学合理的风险评估方法显得尤为重要。利用系统动力学建模软件VensimPLE对云计算安全风险系统进行建模,模拟单因素风险影响提供商和用户的风险发生趋势,并对仿真结果进行分析和研究。结果表明,云计算服务提供商的安全风险主要是数据安全带来的风险和虚拟化风险,用户风险主要是管理风险和虚拟化风险。基于模拟结果,制定相应的风险对策,从多方面进行风险控制。     

基于语义web技术的定制产品配置知识建模

为成功实施大规模定制战略,研究解决了在语义层次建模产品配置知识的问题.结合语义web技术,提出了基于本体的配置知识建模方法.开发了通用配置本体为建模特定产品领域的配置知识和规则提供公共的概念结构,采用OWLweb本体语言和语义web规则语言(SWRL)形式化地表示了配置本体、领域配置知识和规则,以促进各种配置知识的一致性、可维护性和重用性.可定制的个人计算机族的配置知识建模说明了该方法能为特定的产品配置领域提供明确的、计算机可理解的知识语义,高效率地支持自动的复杂产品配置任务.