自主存取控制的Petri网建模和分析

对计算机系统安全中的自主存取控制Ｔａｋｅ－Ｇｒａｎｔ模型提出了一种有色Ｐｅｔｒｉ网表达，并用可达性树技术对ｃａｎ；ｓｈａｒｅ问题提供了一个更为简明实用的解答。文中用一个实际的信息处理系统为例，演示了所提出的方法。     

基于Petri网的多机器人协作任务分配与导航研究

研究了基于Petri网理论的多移动机器人任务分配和导航策略问题.针对有限空间环境下的物科收集协作任务,提出了一种机器人路径选择方法,并建立了基本路口单元和工作空间的Petri网模型.通过任务分配模型实时规划物科仓库内的机器人,并对具有拐角特征的多机器人路径冲突给出了消解方法,建立了机器人冲突协调模型.通过分析任务冲突协调模型,避免了多机器人运动路径冲突.最后仿真实验验证了提出的多机器人任务规划方法的有效性.     

Petri网在复杂系统建模中的意义

图灵机模型是计算机的理论模型,它能实现模型相互之间的模拟,但应用于通信系统等异步、并行的复杂系统却很难模拟,从而引入了一种建模工具--Petri网.通过介绍自动机和图灵机的原理.分析Petri网.给出一个具体的基于Petri网建模方式的实例,并对实例模型和现有的建模工具进行比较,从而证明Petri网在复杂系统建模中是处于优势的.     

Petri网在电信管理网可信性建模中的应用

介绍了ＴＭＮ（电信管理网）可信性建模的一种新的方法———Ｐｅｔｒｉ网。首先简要介绍了Ｐｅｔｒｉ网的基本概念和Ｐｅｔｒｉ网的特性分析,然后描述了用Ｐｅｔｒｉ网进行建模的一般方法并举例说明了它在ＴＭＮ可信性建模中的应用。最后还介绍了一种自动生成可信性Ｐｅｔｒｉ网模型的方法。     

Petri网在呼叫中心建模中的应用

呼叫中心开发的主要难点在于呼叫处理流程的定义与实现,设计出一个合理的呼叫处理流程系统是呼叫中心系统成功与否的关键。作者建立了一种适合呼叫处理流程建模的有色Petri网模型,提出了用Petri网进行呼叫处理流程建模分析,并通过一个典型案例对本方法进行了说明和验证。     

基本Petri网在信息系统中的建模方法

Petri网丰富的数学分析手段在信息系统性能分析方面有很大的优势。在Petri网的建模方法中,“先概要,后具体”的建模方案比较规范,更适应计算机建模的需要。结合某信息系统,详细说明,使用基本Petri网进行概要建模的步骤和方法。     

扩展时间Petri网在CSMA/CD建模中的研究

对CSMA/CD的建模有利于对协议本身进行分析和评价,在对存在冲突事件的系统建模时,利用普通Petri网不能很好地反映和解决冲突。该文介绍一种扩展时间Petri网(ETPN),它利用在弧上赋予时间函数来解决冲突事件发生,然后用ETPN来对CSMA/CD进行建模并对模型进行分析。在较复杂的系统中,ETPN能够反映并解决事件的冲突,具有灵活、直观、可扩展性好等优点。     

基于Petri网的多智能体制造系统建模

针对多智能体系统建模困难、不易推广应用的问题,根据其技术特点,提出了多智能体制造系统体系结构,并利用Petri理论对系统进行了建模分析,不但使制造系统的智能化模型得以图形化地体现,而且降低了系统的复杂性,使系统的可扩展性和智能化水平得到了增强．     

Petri网在物流系统建模中的应用

Petri的动态、异步、并发等特征使其特别适合对离散事件系统进行建模与仿真,而其深奥的理论知识限制它的普及应用。本文力求用一种浅显易懂的方法将它用来描述物流系统模型,并在此基础上引入Pr/T系统描述方法,对复杂Petri网物流模型进行简化。     

基于Petri网的病毒攻击建模

针对威胁计算机网络安全的病毒攻击行为,建立了基于Petri网的病毒入侵网络基本模型,利用CPN tools仿真工具分析了模型的活性和各个库所的有界性,以利于采取有效的网络防御措施和建立安全的防御体系.利用安全策略域、域间通信信道的概念,根据病毒入侵传播的特性,建立了基于随机着色Petri网的企业网络模型,并给出了用该模型模拟与安全相关网络行为的方法.     

基于Robocup中型组足球机器人的图像识别算法

根据Robocup中型组足球机器人足球比赛的规则要求,机器人科研通过对颜色的识别来达到识别球场上的物体及环境.为了满足实时性和准确性的要求,提出了一种基于YUV色彩空间模型的阈值算法,并通过与RGB色彩空间的算法比较,验证了其有效性和优越性.     

改进的足球机器人局部极小值的研究

针对传统人工势场法在足球机器人路径规划中的局限,提出通过改造斥力模型,从而解决算法在静态路径规划中存在的局部极小值问题.通过引入速度势场产生速度斥力,从而解决算法不适应动态环境和动态环境存在的局部极小值问题.仿真验证了算法的有效性.     

动态环境下基于GNG网络的拓扑地图创建

动态障碍物的存在导致产生不一致的环境地图,为此设计了一种新的拓扑地图创建方法。该方法首先通过概率方法过滤运动障碍物的干扰信息,获得环境可行区域信息,再将可行区域信息作为GNG算法的输入空间,通过学习与不断增加新的拓扑节点,创建一致的环境拓扑地图。该方法具有自学习、自适应等特点。通过仿真与物理实验验证了其可行性与有效性。     

深水钻井隔水管系统配置及动力学特性分析

针对钻井隔水管钻井隔水管问题,总结了海洋隔水管基本配置特征,使用变分原理推导了隔水管动力学数学方程,确定了考虑上下端旋转刚度的边界条件,建立了波浪载荷影响下的隔水管动力响应分析模型,利用埃尔米特三次差值函数对其进行离散,分析了不同工况对隔水管变形特性的影响。结果表明,顶张力越大,隔水管的位移越小;海流类型对隔水管的变形特征具有明显影响;海流的表面流速对隔水管的变形影响十分显著,表面流速增加时,隔水管位移大大增加;常规海况下,风速较低,风速对隔水管动力响应的影响很小;但当系统遭遇极端天气（如台风）时,隔水管的位移会明显增加。     

动态环境中具有记忆和搜索能力的微粒群算法

提出了响应环境变化的充分条件——子种群多样性和环境变化前后全局最好解的距离,分析了提出响应依据的原因、必要性及响应依据之间、响应依据和重设之间的关系。使用"记忆"微粒保留环境变化后的有用信息,同时使用"搜索"微粒替换"过时"的微粒,替换的过程即增加种群多样性又充分地利用了之前进化的信息。最后,将其应用于线性变化和随机变化的抛物线函数中,并与Eberhart-PSO和APSO进行了对比,结果表明了该算法的有效性。     

Model of Markov Chains in Space-Time Random Environments

A general framework of stochastic model for a Markov chain in a space-time random environment is introduced, here the environment ξ^＊：={ξ1,x∈N,x∈ X}is a random field. We study the dependence relations between the environment and the original chain, especially the ＂feedback＂. Some equivalence theorems and law of large numbers are obtained.     

随机环境中的独立过程

引进遍历性条件,利用分析方法研究了随机环境中独立随机过程,重点讨论马氏环境中的0－1分布、Posson分布和一般离散分布,得到了这些分布的数学期望、方差,证明了它们均满足大数定理。     

飞行区场面滑行资源时空图构建方法

在机场自治化运行条件下,对于场面运行环境的感知是制约机场实现自治化运行的一个关键因素,而机场场面交通运行过程中对于场面滑行资源占用情况是构建完整的场面运行环境的关键步骤,首先以机场场面滑行过程为研究对象,构建了机场场面滑行过程的本体模型,基于机场的场面路网结构,对路网中的滑行路径进行划分,建立了以路网节点与节点连接关系为基础的“节点-边”模型,同时以本体模型为基础,定义了场面路网的动静态属性作为路网节点的基本属性,在此基础上,以路网节点为研究对象,将航空器场面滑行过程中的存在的多种冲突场景以路网节点的动态属性进行模型表达,从而实现了航空器滑行过程在路网节点上的动态表示。以航空器动力学模型生成的速度数据为基础,设计了在航空器冲突场景下的飞行区场面滑行资源动态图的可视化表示,试验结果表明,该模型可以很好地表示场面运行过程,可以增强场面交通参与者对飞行区场面滑行资源占用状况的全域感知能力。     

我国植被与环境关系研究进展

植被与环境关系研究是植被生态学的重要领域之一,在过去的几十年里,人们发展了许多数量方法,用来分析植物群落与其环境如气候、土壤、地形等的关系,这些方法可分为两类,一类是多元分析,如植物群落的排序和分类;另一类是植被－气候分类系统,生态学家利用这些方法并结合数理统计,解释植被梯度和环境变化的,分析表明,我国学十分重视这类研究并做了大量工作,有方法介绍和改进,但更多的是应用,目前,新技术特别是遥感和地     

Research on Virtual Object Tele-operation Based on Gesture

A tele-operation method of virtual environment based on gesture is presented.Firstly,the design block diagram and the information flow of the virtual environment tele-operation simulation system are given.Secondly,the coordination transformation between virtual gesture and the tele-operated aircraft is presented.Finally,a tele-operation simulation system based on gesture is developed.And the simulation results demonstrate that there is more consistency between the virtual gesture and the moving object.