基于CPN的情报组网系统作战过程建模仿真研究

为更好地研究情报组网系统作战过程这一离散型事件,运用CPN语言和DoDAF框架标准,建立了情报组网系统作战过程的CPN-Tools模型,并假定来袭目标和情报组网系统结构进行了仿真.仿真得出的情报组网系统的探测时间和融合发现概率与实际情况相符,表明运用CPN语言分析情报组网系统的可行性.     

电流型变流器SVM技术简化算法研究

为了改善电流型变流器(CSC)的控制性能和提高控制系统的实用性，提出了一种基于反向传播神经网络（CPN）结构的空间矢量调制(SVM)技术（CPN-SVM）实现方法.该方法利用CPN的竞争学习机制，将变流器的6个非零开关矢量构成CPN的输入层,根据CPN竞争层中的胜者选择每一个采样时刻作用的开关矢量，并确定此时参考电流矢量所在的扇区，同时采用胜者的线性组合来计算SVM中所选择的开关矢量的作用时间.结果表明，与传统SVM相比，CPN-SVM避免了计算正弦函数非线性运算，大大缩短了计算时间，从而缩短最小采样周期，提高了整个系统的传输带宽，同时降低了控制系统的软硬件成本.     

基于冲突的离散事件系统诊断方法

提出了一种基于冲突的动态模型故障诊断方法。通过在离散事件系统的自动机模型中添加概率,离线计算模型中事件与状态的后验概率,从而处理不完全观测导致的不确定性,增强了离散事件系统处理不确定性问题的能力。在已经建立的离线模型上,在线计算观测与模型的冲突,在模型中提取符合观测的轨迹,推导系统运行状况,判断故障,并给出故障路径。将基于冲突的诊断方法扩展到离散事件系统的诊断上来,避免了对无关事件的搜索及判断,从而降低了诊断搜索空间,便于计算更大规模的系统模型。     

面向4D航迹运行的飞行冲突混杂系统理论监控方法

为实现未来大流量、高密度、小间隔条件下的空中交通管理,提出了一种避免飞行冲突的混杂控制系统结构。首先依据不同飞行状态下的航空器运动学方程建立被控对象模型,依据空中交通管制规则确定了禁止空中交通系统轨迹穿越的冲突超曲面,并通过设计监控器辨识潜在的冲突事件。然后基于管制员可采用的调配手段设计飞行冲突离散控制器,根据离散冲突事件向量确定可行的离散解脱策略,并在允许解脱时间段内且系统超曲面函数值的差分为负的前提下计算连续操纵输入量。案例研究表明,混杂系统理论模型能对潜在冲突进行实时探测和解脱,保证空中交通系统处于可达集的安全子集中。     

基于权限冲突的扩展权限管理方法

权限管理是系统开发中一个非常重要的环节.在一般应用系统所要求的权限功能基础上提出了一种基于权限冲突的扩展权限管理方法,通过设立权限冲突机制,将具有冲突性质的权限构成冲突集合,并与其他一般权限有效地间隔开来,从而保障了系统的安全机制.在此基础上利用UML语言进行了实现,并成功地应用于应用系统开发中.     

电信网中业务冲突的研究

介绍了目前研究业务冲突的主要方法:静态检测和避免方法。通过形式化的方法描述电信业务和系统,离线地仿真检测业务冲突,重新设计存在冲突的业务以避免业务冲突;动态检测和解决方法。通过在线检测,实时地提供解决业务冲突的方案。基于对电信网中业务冲突研究现状的分析,讨论了以上方法的优缺点。提出在下一代网络中研究业务冲突应考虑的关键因素以及利用人工免疫学等方法研究业务冲突的新思路。     

一种基于XML的可变粒度冲突避免策略

针对协同设计过程中的数据一致性问题,分析了已有的并发冲突避免策略,结合CATIA的特殊性提出了一套可变粒度锁的冲突避免策略,设计了总体框架及核心算法.以节点间关联性作为判断依据进行节点仲裁选择,并提出节点关联集的维护算法.在协同设计平台中,利用XML实现并发控制机制,对提出的算法进行了实验,验证了用户可互斥地访问对象,并保证一致性.     

冲突避免的CoMP动态资源分配方法

为了解决用户选择协作集的协作多点传输(CoMP)系统中本地资源调度时的冲突问题,设计了一种冲突避免的动态资源分配方法.通过对协作资源的细分和随机指派,实现了协作节点间资源分配的解耦,简化了协商过程,有效避免了资源冲突,从而能完成简单的分布式本地资源调度.仿真结果表明,该方法能适应用户选择协作集的分布式调度场景下资源分配的要求,并有效提高系统的边缘用户频谱效率和整体频谱效率.     

一种基于 CPN 网络的分布式粒子群优化算法

CPN（Computing Process Node,计算处理节点）网络是群智能建筑平台系统的基础网络。CPN 网络中,每个 CPN 节点只能和它邻接的 CPN 节点交换数据,而 CPN 节点之间连接与否依赖于其代表的空间区域是否相邻或代表的建筑设备单元是否物理连接。以 CPN 网络数据交换方式为约束,本文提出了基于 CPN 网络的粒子群优化算法分布式实现的数据交换策略和粒子位置更新策略,设计并实现了运行于 CPN 节点中、全部 CPN网络上的分布式粒子群优化算法。实验表明,基于所提出数据交换策略和粒子位置更新策略实现的分布式粒子群优化算法可以快速、有效地收敛。     

冲突事件在建筑工程项目中的表现形式及影响

建筑工程项目中的冲突事件给项目的顺利实施带来了许多不利影响,并呈现出随机性特征。为揭示其规律,在实地调研的基础上,通过定性和定量分析相结合的方法,用表现强度这一新概念揭示了冲突事件在建筑工程项目各阶段内部的表现规律。基于AHP原理,建立了各阶段冲突事件的判断矩阵,并依据判断矩阵的特征根,分析了各阶段冲突事件累积效应对建筑工程项目所带来的影响,并在一致性检验中得到了满意的结果。最后,依据调查结果的统计数据,描述了冲突事件在建筑工程项目整个生命期的分布状态。这一研究结果对预测建筑工程项目冲突、把握项目全局、避免和减少冲突事件的发生、提高建筑工程项目管理水平具有较高的理论价值和实用价值。     

基于着色Petri网的Web服务组合建模

用经典Petri网对Web服务组合建模,其令牌类型的单一性不利于对模型的理解.针对这种不足,提出了一种基于着色Petri网的建模方法,给出了Web服务网系统结构的静态和动态特性,而且还给出了一个用着色Petri网建模的实例.应用结果表明,利用着色Petri网建立的模型具有较强的解释性和扩展性.     

建筑产品设计过程资源管理的仿真与优化

为了提高建筑产品设计过程资源管理效率,以产品设计信息约束条件下设计活动的资源管理和优化为中心,提出基于模糊时间有色工作流网的建筑产品设计过程资源管理模型的数学表达形式,加强了资源管理模型对系统动态模糊时间约束关系的支持,解决了对建筑产品设计过程资源管理的仿真和优化的关键问题.以某办公楼结构详细设计过程为例,构建基于模糊时间有色工作流网的建筑产品设计过程资源管理模型,利用CPNTools仿真软件进行资源管理仿真分析和优化研究,验证方法的正确性和实效性.     

基于CPN的UML2.0形式化建模

UML作为一种半形式化建模语言,很难对系统进行动态的仿真与性能评价。基于着色Petri网（CPN）拥有严格的数学理论基础,能够对系统进行图形化的模拟与分析,提出了一种UML的形式化建模方法。对UML2.0顺序图中opt等操作符给出了对应CPN图形的转化规则,实现了用CPN模型描述UML2.0的用例图与顺序图的目的。以一个简单的UML2.0顺序图进行验证,结果表明所提方法是有效的。     

基于最小二乘支持向量机的变速风力发电机组模糊控制器

提出了一种新型模糊控制器用于变速风力发电机组最大能量获取,该控制器中使用了基于最小二乘支持向量机(LS-SVM)的机组Takagi-Sugeno-Kang(TSK)模糊模型。建模过程中,采用了模糊聚类的方法进行输入输出空间的划分,并以LS-SVM的方法确定模糊规则的后件参数。将该控制器应用于变速风力发电系统的仿真结果表明,机组很好地实现最大能量获取的目标,并具有实时性强、容错性、学习能力强、计算速度快等优点。     

双航母编队C3I系统Petri网建模与分析研究

基于着色Petri网(CPN)的基本理论和航母编队C³I系统的情况,重点分析了双航母编队作战特点．建立了双航母编队C³I系统作战指挥的CPN模型,并对该模型在无优先级和有优先级的条件下进行了仿真分析研究,设计了提升系统协同作战效能、系统科学合理决策、以及优化作战效费比的方法．     

用CPN网络实现的自学习模糊控制器

采用计数传播网络（CPN）作为框架,结合一种简单的模糊控制算法（SFCA）,实现模糊神经元控制。这种方法有能力自组织、自学习控制过程所需的控制知识,控制规则库初始为空,逐渐地被自构造,来满足预先设定的性能要求。方法能实现任意维控制规则库的自学习。仿真研究体现了系统的适应能力、学习能力和推理能力。     

单点登录技术在企业资源集成中的应用

单点登录(SSO)是企业应用集成的重要组成部分.从项目需求入手,提出一种通过凭证加密与代理登录相结合的单点登录模型.该模型能够与原有业务系统无缝结合,实现安全、灵活的单点登录访问控制.阐述了该模型在企业集成中的应用,以及就如何保证系统安全性作出了相应的分析.目前系统将在现代人口与生殖健康公共服务信息门户中运行.     

在线模糊支持向量机回归方法及其应用

针对全局建模方法很难精确描述实际生产过程,提出了一种模糊支持向量机回归建模算法,并推导出相应的增量与减量算法;在此基础上,提出了在线模糊支持向量机回归建模方法,该方法利用滚动时间窗内的数据优化建模,随着时间窗的滚动,在原有模糊支持向量机模型的基础上通过增量与减量算法实现参数的快速在线更新。通过将该方法用于丙烯腈收率的预测建模,结果表明,所提方法具有参数调整时间快、泛化能力强的优点,可以较好的跟踪丙烯腈收率的变化。