论文部分内容阅读
提出了一种用Prolog语言描述NGN中电信业务交互的静态检测方法.根据上述方法,用Visual Prolog描述业务交互并对状态可达目标进行求解,实现对业务之间的特性冲突检测.在描述了用该方法的原理后.通过案例详细介绍了对电信业务建模并检测的冲突的过程.
基于PROLOG语言的NGN业务特性冲突自动检测
【摘 要】
：
提出了一种用Prolog语言描述NGN中电信业务交互的静态检测方法.根据上述方法,用Visual Prolog描述业务交互并对状态可达目标进行求解,实现对业务之间的特性冲突检测.在描述了
【机 构】
：
华南理工大学电子与信息学院510640
【出 处】
：
第六届中国通信集成电路技术与应用研讨会
【发表日期】
：
2008年9期
其他文献
潜水作业过程中发生水下呕吐往往来势凶险，容易导致潜水员水下窒息，直接危及潜水员的生命安全，因此在日常的潜水作业过程中应该充分重视，预防出现此类情况。本文对我院潜水训练过
在潜水过程中,因潜水员使用潜水装具不同,发生呕吐的原因也不尽相同.由于潜水装具面罩空间及其有限,因此,在潜水过程中,潜水员一旦发生呕吐,很容易造成窒息,危及潜水员生命安
船舶电气火灾不仅会使船舶受损,也会直接威胁到船员的生命安全.本文从船舶电气火灾的成因和预防两个方面进行了阐述,强调了减少此类火灾的发生,依然要依靠船员的日常管理和监
我们总是强调"安全",但事故的发生率并未降低,有时我们过分强调"安全",从而又制约了训练水平和工作效率提高,怎样解决这个问题?本文从五个方面对这一问题进行探讨.
随着经济的不断发展,海上运输显得日益重要,同时,海上救助尤其是海上飞行救助的地位更显实力,而宣传工作对海上飞行救助事业的发展更是起到不可替代的作用,本文从宣传工作的
本文借助企业管理理论中有关组织文化的思路,对救捞行业管理文化进行了研究.文章提出了救捞文化的定义,从物质、行为、制度、精神四个层面剖析了救捞文化的内容,探讨了救捞文
二次雷达是现代空中交通管制的关键设备之一,雷达现场周围的环境对二次雷达的检测性能有着显著的影响.本论文针对由于多路径效应引起的二次雷达天线波束分裂进行了详细分析,
本文主要介绍了RFID卡厂用预付费电表的程序设计,以及对IC卡读写模块安全性进行探讨.本文的重点是详细分析了整个系统的设计原理,并通过程序流程图来表达编程实现思想.本次设
介绍了一种通过DSP对非接触式生命参数信号进行采集和处理的系统.论述了该系统的软硬件设计以及预处理电路,通过预处理电路放大生命信号、滤除噪声,由AD7705进行采集,送入DSP
会议