虚拟企业业务流程的建模方法研究

为设计分析虚拟企业生产运作系统, 针对虚拟企业业务流程的特点, 应用UML、Petri网和面向对象技术, 提出了虚拟企业业务流程的建模方法. 该方法分全局业务流程和子业务流程两个层面, 全局业务流程采用UML序列图和Petri网建模, 表示虚拟企业各成员之间的交互接口关系; 子业务流程采用面向对象的Petri网建模, 实现成员企业内部流程的表达、封装和相互之间的业务连接. 仿真验证表明, 所建模型满足合理性要求.     

基于分布式数据挖掘技术的网络入侵检测系统的研究

简要分析了现有的网络入侵检测技术存在的一些问题．在此基础上，提出了一种基于分布式数据挖掘技术的网络入侵检测系统模型，讨论了模型中各个功能部件的结构和关键技术．采用多Agent技术设计了一个基于该模型的网络入侵检测原型系统．对实现不同功能的多类Agent进行了设计．论文还介绍了原型系统的实现技术．通过一个模拟分布式攻击仿真实验，检验了该模型的合理性和原型系统的性能．实验结果表明，该模型可在一定程度上提高入侵检测系统对分布式攻击的检测能力．     

一个新的交通网络平衡设计模型及其算法

针对城市道路网络改造问题中，待改造道路和拟添加道路均具有等级选择的特点，提出了一种更加符合实际的新的网络平衡设计二层规划模型，设计了粒子群求解算法，并给出了一个简单的算例，实际算例表明该算法具有计算简单，收敛速度快的特点．     

UML时序图向PNML转换的研究与实现

对已有行为模型向Petri网的转换机制进行对比分析,提出改进的UML2时序图到Petri网的转换规则,实现了时序图向Petri网标记语言转换的工具.实验结果表明,本文提出的工具能有效地将时序图转化为Petri网模型并生成相应PNML文件,进而更好地对UML模型进行分析和验证.     

一种嵌入式关系模型的形式化描述

在 Ｎ Ｒ／ Ｔ 网的基础上,对基于嵌入式关系模型的数据库信息系统的行为,给出了一种形式化的描述方法,并设计了一个变迁点火执行算法     

多序列联配问题的模拟退火求解

在描述多序列联配问题及其优化模型的基础上，构造了适合多序列联配问题的领域结构，给出了一种使用模拟退火算法求解该问题的方案，并给出了该方案的一个实例，实验结果表明，模拟退火求解多序列联配问题是有效的。     

基于MIP的顺序资源共享分配系统的虹吸寻找方法

研究了S⁴PR(systems of sequential systems with shared resources)网的虹吸寻找问题.S⁴PR网是一类典型的用于建模顺序资源共享分配系统的Petri网模型.在S⁴PR网中,虹吸的不充分标识会导致死锁.现有的虹吸寻找算法得到的虹吸集合中,存在着不需要进行控制的冗余虹吸,对其添加控制器将会导致控制的冗余和受控系统行为允许度的降低.提出了一种基于混合整数规划(MIP)的虹吸寻找方法,并证明了当该方法没有合适的解时,网系统是活的.与现有的其他算法相比,这一方法能直接获取一个极小的虹吸,并剔除一些并不需要控制的虹吸,因此能用于设计更高允许度的虹吸控制器.应用实例说明了其用于死锁预防策略的可行性和有效性.     

星型建模技术在商业信息系统中的应用

在商场数据仓库构造中，尝试了一种新的增量更新法。在星型模型构造的同时解决了维表的纠错改变和自然改变对数据仓库性能造成的影响。该方法能有效地解决因维表的改变而影响数据仓库性能的问题。     

蓝牙Mesh配网协议的形式化安全性分析

蓝牙Mesh是一种无线网状网络组网技术。新设备必须经过配网才能加入蓝牙Mesh网络。配网协议的安全性是蓝牙Mesh网络安全性的基础,但目前针对该协议安全性的研究尚不充足,现有的模型无法捕获协议中存在的某些攻击。因此,借助符号模型下的协议分析工具Tamarin Prover对蓝牙Mesh配网协议进行形式化建模,该模型覆盖了所有的配网阶段和方法。同时,借助Tamarin Prover的构建和解构规则以及内置的消息理论,提出了一种在符号模型下建模AES-CMAC原语的新方法,该方法可以准确地描述消息长度为任意块的AES-CMAC函数的性质,从而能对配网过程中的认证阶段进行更细粒度的建模。对该模型的安全属性进行了验证,验证结果表明,该形式化模型可以捕获之前发现的原语误用攻击。此外,借助该形式化模型和验证的结果,提出了针对原语误用攻击的修复方案,并通过形式化的方法验证了该方案的有效性。     

一种高生存性的车载自组网可信路由协议

针对目前车载自组网中路由安全问题,提出一种基于经验信任的可信路由模型.该模型从客观信任的角度引入经验信任的概念作为可信度量的标准,并给出了计算节点经验信任值和信誉度的推荐方法,根据节点的经验信任值设计一种新的动态包转发规则,从而实现车载自组网的可信路由.实验结果表明,该模型较贪婪周边无状态路由(greedy perimeter stateless routing,GPSR)协议具有较高的抵抗自私节点的能力.     

基于遗传操作的延迟和度约束的多播路由启发式算法

基于启发式思想的简单性和路径相似性原理，采用遗传算法的交叉和变异操作，提出了一种快速的满足延迟和度约束的最小费用多播路由树的生成算法(DDCMRA)，以解决直接修改延迟约束或者度约束多播路由算法时寻优时间长、并且可能导致部分目的节点因不能满足延迟或者度约束而不能加入多播的问题．仿真结果显示。该算法获得的多播路由树满足延迟和度约束，费用较少，运行时间接近CSPT和RA算法．该算法也为动态多播路由树生成和网络负载平衡提供了一种方法．     

通信网络动态优化与控制研究

引入现代控制科学,建立了一般通信网络的状态控制模型与目标控制模型,利用庞特李亚金极大值原理,研究通信网络最优控制的基本条件、本质意义与一般实现途径,证明了哈密尔顿函数协状态变量稳定解的性质及其在通信网动态优化与控制中的作用与地位。     

基于窗口均值的WSNs链路质量评估方法

无线传感器网络(wireless sensor networks,WSNs)通信的不可靠性为网络协议的设计带来很大的挑战.准确而高效的链路质量评估则是保证上层协议性能的基础.针对传统的LQI (Link Quality Indication)均值评估法所存在的问题,提出了一种LQI窗口均值(window mean-LQI,WM-LQI)评估方法.实验结果表明该评估方法是合理的,且与传统的均值评估法相比,提高了评估的精度,从而更加具有实用性.     

带时滞的高阶Cohen-Grossberg神经网络的指数稳定性

就一类高阶时滞Cohen-Grossberg社昆网络进行研究,假设反应函数满足Lipschitz连续且有界,用非线性测度的方法得到了关于平衡点的存在性和惟一性的一种新的充分性的判别条件,同时,通过构造一个合适的Lyapunov函数,得到这个条件也保证了时滞神经网络的全局指数稳定性.     

混沌神经网络的延时反馈控制

提出了一种适合于混沌神经网络的混沌控制方法,延时反馈控制方法,其目的是将混沌神经网络的丰富动力学特性应用于联想记忆、信息检索、组合优化、模式识别、数据压缩等智能信息处理中.利用本文提出的控制方法,对混沌神经网络进行控制,被控网络能收敛于与初始状态相关的记忆模式和反相模式的二周期状态上,从而实现了记忆搜索、模式识别的功能.     

通信网络性能评价的并行分析方法

应用控制科学理论离散事件动态系统摄动分析思想，提出了一种基于无时钟事件追踪法进行并行仿真的快速算法．根据被模拟网络在一组参数下的仿真样本轨迹，同时并行构造一簇不同参数集合下的网络系统样本轨迹．实验结果表明该算法大大提高了通信网随机模拟与性能评估的效率．     

具有比例时滞的细胞神经网络的全局稳定性分析

研究了具有比例时滞的细胞神经网络的平衡点的全局稳定性。通过建立李亚普诺夫函数，得到全局渐进稳定的充分条件。     

应用逆神经网络的自学习控制器

近年来人工神经网络成功地用于动态系统辨识与控制。本文利用人工神经网络逆的概念，说明如何用神经网络去学习动态系统行为以达到控制目的。用一ＢＰ网学习辨识系统的行为，然后作为系统的模型，同时也作为反馈控制器．利用模型通过直接的误差反传技术训练前债控制器．最后，反馈控制器与前控制器一起去控制实际系统。文中给出的２个例子说明了这种控制方法的有效性。     

带边界的非线性薛定锷方程的孤立子解

本文用构造Lax Pari的方法,得到了对于光纤通讯系统有重要意义的非线性薛定锷（NLS）方程的可积边界条件,然后求得满足可积边界条件时的1－孤立子解和2－孤立子解。     

一种通用的Beyond 3G Multi-Radio接入架构

下一代移动通信网(Beyond 3G)是多种无线接入(Multi-Radio)共存的融合网络.如何有效集成异构无线网络,优化使用全部的无线资源是B3G研究领域内关键课题之一.在分析目前多种异构无线网络整合方案的基础上,借鉴欧洲IST 6th框架中Multi-Radio接入架构的基本思想,考虑在链路层实现异构无线网络之间的整合,从而提出一种通用B3G Multi-Radio接入架构模型,该模型可以无缝融合多种无线接入技术、有效利用全网无线资源.