阻塞呼叫控制机理广义随机Petri网建模与分析

基于广义随机Petri网(GSPN),对数字交换机面临过载时的一种阻塞呼叫控制机理进行了描述与分析,建立了其广义随机Petri网模型。通过对模型求解、构造可达图及同构Markov链,推导出了这种控制方式下系统性能的解析结果,给出了它们与控制严密程度之间的关系,从而为定量分析和评价数字交换机过载控制特性提供了依据。     

飞控计算机系统分层混合可靠性建模方法

对于复杂的非相似、多余度飞控计算机系统,根据其结构特点,综合静态和动态可靠性建模方法的优势,提出了采用可靠性框图（RBD）和广义随机Petri网（GSPN）相结合的分层混合建模方法,并对建模过程中低层各子系统存在共因失效部件情况下的可靠性建模和求解作了分析.分别采用分层混合建模方法和动态可靠性建模GSPN方法对Boeing777电传主飞控计算机系统进行可靠性建模和分析.同动态GSPN方法相比,该方法综合采用了静态和动态可靠性建模方法,具有状态空间模型的灵活性和组合模型求解的高效性,同时层次结构避免了GSPN方法带来的状态空间爆炸问题.由结果比较可得,该方法可行、高效、精确.     

广义随机Petri网在工作流建模中的应用研究

工作流管理技术是20世纪90年代初兴起的软件技术,其实现的关键在于工作流概念模型的建立。Petri网(GSPN)作为一种图形化的数学建模工具,适合于工作流领域的建模需求。提出了基于广义随机Petri网的工作流建模方法,运用可达图法对工作流正确性和可靠性进行检查。利用GSPN与马尔可夫链的同构关系,采用GSPN和马尔可夫链相结合的工作流性能分析方法,为工作流性能的有效评估提供理论依据。实例验证该方法是有效性的,有利于工作流管理系统的实现。     

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

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

采用GSPN分析计算机网络可靠性

针对计算机网络可靠性难以评估的问题,提出采用广义随机Petri网(generalized stochastic petri net,GSPN)分析计算机网络可靠性。研究了GSPN模型要素的用法,建立了典型计算机网络逻辑系统GSPN模型,有效地描述了计算机网络的动态行为。以某计算机网络为例,仿真验证了所提方法的有效性。     

广义随机Petri网下的组合Web服务建模与评价

为了保证用语义Web服务标记语言(OWL-S)描述的组合Web服务的可靠性,确保组合服务具有较高的系统性能,提出了一种用广义随机Petri网(GSPN)对OWL-S过程模型进行建模、分析、验证以及评估的方法.首先给出从OWL-S过程模型到GSPN的映射规则和转换方法,然后针对得到的GSPN模型,采用S-不变量、T-不变量,通过可达性等分析方法验证OWL-S过程模型的正确性,最后构造与GSPN同构的马尔可夫链,并根据其稳定状态概率进行系统性能评价.经数学工具验证结果表明,所建模型是正确、可靠的,并发现了组合服务中的瓶颈.所提方法可支持组合Web服务的重建、优化和决策.     

飞机座舱压力自动调节系统可靠性研究

飞机座舱压力自动调节系统用于在高空环境中调整座舱内部压力,其可靠性直接关系机上人员的安全。针对座舱压力自动调节系统的复杂冗余结构及故障发生的随机性,提出了基于体系结构分析及设计语言(AADL)及广义随机Petri网(GSPN)的可靠性分析方法。首先采用AADL语言对系统的架构及相关部件的故障信息进行描述建立系统AADL可靠性模型;为了进一步分析系统故障动态行为,研究了AADL可靠性模型向GSPN转化规则,通过对GSPN模型分析,得到系统可靠性。最后,通过实验的方法对比分析了3种不同架构下的系统可靠性,给出了系统架构的选择建议。     

基于GSPN的海上风电场维护过程建模与分析

随着海上风电产业的规模化发展,大型海上风电场对风电机组维护保养的要求也将越来越高,全面地考虑影响海上风电场维护工作的各项因素,科学合理地实施风电机组维护工作,对于降低风电场运营成本、提高风电场运营效率具有重要的作用。该文着眼于提高海上风电场维护工作效率,提出了基于广义随机Petri网(GSPN)的维护过程建模仿真方法。通过对海上风电场维护工作全过程的分析,按照维护工作过程的层次结构自顶向下建立了相应的着色Petri模型,运用GSPN相关理论对工作票的执行过程及其实施效率进行了深入论述,采用着色Petri网仿真工具CPN Tools对维护过程进行了仿真,并对影响维护工作的相关因素进行了分析。     

通信网中窗口流量控制的随机Petri网分析

本文将随机Petri网与排队论相结合,对分组交换网中的窗式流量控制机理进行了描述与分析,建立了窗式流量控制机理的随机Petri网模型,并给出了随机Petri网模型的可达图及状态转移方程.     

基于分层式有限状态机和Petri网的航天器仿真器控制系统设计

本文针对一种航天器地面仿真器控制系统采用的主程序和硬件定时中断服务程序结合实现实时性的机制.利用分层式有限状态机理论对主程序和中断程序各自内部的任务状态转换关系进行分析.利用Petri网理论对主程序和中断程序的并发性任务和资源共享状况进行分析.结合两种理论各自擅长的建模分析技术,高效、清晰、完整的表示出了控制流程,为软件工程化设计中详细设计和代码实现提供了准确的模型.系统的实际应用结果证明了上述方法的有效性.     

无线移动网络中一种呼叫接入控制方案

提出了一种用于无线移动网络中语音和数据业务共存下的呼叫接入控制方案。该方案将呼叫分为四类：新产生的语音和数据呼叫；从相邻小区发出切换请求的语音和数据呼叫。通过建立多维马尔可夫链模型和数值计算，对该方案的性能进行了分析，并与没有采用强占信道机制或切换专用信道机制的接入控制方案进行比较，结果表明，该方案对于网络优化有一定的辅助作用。     

通信网的过载及其控制

网络过载是影响网络效率、造成长话接通率降低的一个重要原因.本文通过对网络过载的模拟,分析了过载的特性及其导致拥塞的原因,探讨和比较了两种过载控制方法的有效性.     

低轨卫星通信系统中的一种呼叫接入控制策略

对于低轨卫星通信系统(LEO)的每个小区来说,随时都有大量的新呼叫切换呼叫到达,并要求在本小区内分配有限的信道资源进行通信。这就需要一种呼叫接入算法具有优化系统性能,改善呼叫阻塞率和信道利用率等参数,因此提出了一种呼叫接入控制算法PGC（part guard channels）,即部分接入算法,此算法除吸取传统的预留信道GC(guard channels)算法已有的优点外,还进行了一些改进,使系统的新呼叫阻塞率和切换呼叫掉话率得到了更好的平衡,在分析GC和PGC的几种子算法的基础上,进行计算机仿真,并给出了相应的仿真结果,最后在服务等级、信道占用率等重要参数方面对2种算法进行了对比分析。      

低轨卫星通信系统中的一种呼叫接入控制策略

对于低轨卫星通信系统(LE0)的每个小区来说，随时都有大量的新呼叫切换呼叫到达，并要求在本小区内分配有限的信道资源进行通信。这就需要一种呼叫接入算法具有优化系统性能，改善呼叫阻塞率和信道利用率等参数，因此提出了一种呼叫接入控制算法PGC(part guard channels)，即部分接入算法，此算法除吸取传统的预留信道GC(guard channels)算法已有的优点外，还进行了一些改进，使系统的新呼叫阻塞率和切换呼叫掉话率得到了更好的平衡，在分析GC和PGC的几种子算法的基础上，进行计算机仿真，并给出了相应的仿真结果，最后在服务等级、信道占用率等重要参数方面对2种算法进行了对比分析。     

一种通用SIP呼叫控制模型研究与实现

提出了一种通用SIP呼叫控制模型SIPCC,构建了模型与底层SIP协议的映射关系,并作为JAIN SLEE平台的一种通用的资源适配器,完成SIP呼叫控制模型的开发实现.实际业务应用测试证明模型可行,可有效简化开发复杂性.     

基于神经网络的ATM接入允许控制

提出一种基于ＢＰ神经网络的ＡＴＭ接入允许控制方案．该方案不仅具有自适应实时控制的优点,而且不依赖于呼入的种类个数,同时也无需呼入参数的更详细描述,因而比以往提出的方案具有更大的灵活性和适应面．模拟结果表明该方案有充分大的接入区域和抗干扰能力     

一种非公平条件下的多SCP智能网过载控制算法

智能业务的螺旋形膨胀不但使智能网的结构向着多SCP的方向发展,更使得智能网SCP过载控制机制显得极其重要.首先给出了一套不依赖集中控制的完全分布式多SCP智能网组网方案,然后给出了在这种网络环境下的呼叫分发算法以及在非公平条件下的基于ACG算法的SCP过载控制算法.     

无线ATM网络中的用户切换和访问控制

提出了一种适用与ＡＴＭ主干网络相连的无线接入网络的切换控制方法,以支持网络环境中频繁的切换事件,同时采用有效的用户呼叫允许控制机制,使越区切换所产生的小区超载现象发生概率保持在用户可接受的限度．     

DS-CDMA蜂窝网络呼叫接入控制机制的研究

提出了一种对DS－CDMA蜂窝网络的呼叫控制进行分析的数学模型。虽然相似的模型已经有几种,但是它们都存在不同的问题。通过一种基于线性编程技术的数学模型来试图纠正这些问题并提出了一种更好的呼叫接入控制机制。此外,还研究了在双斜度（Two-slopc)路径传播衰减环境下小区尺寸对于小区Erlang容量的影响。