一种面向SSC的电信增值业务的生成方法及实现

随着电信业务需求的发展,业务的快速开发成为研究的热点。为了提高业务流程的开发效率,针对电信增值业务的特点,设计了一种业务生成系统。系统采用类C语法结构对业务进行描述,通过业务逻辑解释程序进行业务数据生成,再通过业务逻辑编译程序和业务逻辑执行程序完成标准业务组件SSC的生成。业务使用者通过SSC组合来完成新业务流程的处理。同基于CPL脚本的业务生成系统的比较,证明了该系统是可行有效的,可以提高业务开发速度,降低业务描述复杂度。     

IMS中的业务提供

从总体上描述了基于3GPPIMS的业务提供机制,主要阐释了三类业务的提供方式。至于这三类业务提供方式的具体应用,则取决于部署IMS的UMTS运营商的具体需求。     

基于业务网络的融合业务实现方案

首先对业务网络概念和开放式横向架构业务网络进行了简单介绍,分析了基于业务网络实现融合业务的优势,然后以一个融合业务的例子重点描述了技术实现方案.     

论移动互联时代下终端业务平台的定位和业务开展分析

移动互联时代智能终端普及的情况下,业务将会很容易地被推送到终端用户,并且需要和终端用户交互。通过终端业务平台的方式可以将业务集中展示提供给用户,方便用户操作,并影响用户上网行为。论述了基于终端业务平台的业务开展方式,并分析了价值链以及描述了对业务管理的要求。     

基于CSP和RSL的协议形式化描述技术研究

协议形式化描述是协议工程的核心,对于协议的开发起到基础作用.首先对协议形式化描述技术进行了综述,然后着重研究了两种协议形式化描述技术:基于CSP的描述和基于RSL的描述,并以AB协议为例,分别给出了具体的描述示例.这两种技术具有较强的表达能力,是进行协议描述的有力工具.     

基于Parlay API的呼叫禁止业务的设计和实现

本文首先说明了基于Parlay API(Application Programming Interface)技术的呼叫禁止业务的功能结构,然后描述了该业务的框架接入消息交互和业务消息交互,最后阐述了业务处理模块和业务话音管理模块的功能和实现细节。     

面向业务管理中业务层与管理层接口研究与设计

针对面向业务网络管理系统中业务层与网络层之间没有统一接口规范的情况,详细讨论相关业务对象的抽象方法和手段;描述业务对象的属性;根据抽象的业务时象的属性以及面向业务管理的分层结构,在业务层和网络层之间设计一个统一的接口层;详细讨论该接口层的描述和实现;在基于主动网络技术的面向业务网管原型系统中,该接口层实现并实际应用,结果表明该接口层能使业务层与网络层方便地交互,提高网管系统的可扩展性.     

城域以太网中的电路仿真业务及其应用

文章概述了基于城域以太网（MEN）的时分复用（TDM）电路仿真业务（CES）的概念，简要介绍了基于MEN的CES的主要业务类型，并着重分析了其中的TDM线路业务的主要结构及其运作方式，描述了电路仿真业务的主要接口类型与功能元件，最后对其进行了应用方案与应用前景的简要分析。     

传送网业务与功能模型对象的对应

针对基于传送网的宽带业务在实现技术及组网方式上有多种可能性的现状．本文提出在基于相关ITU-T业务规范的基础上,辅以业务实现的功能模型描述．可以使运营商各部门之间顺利进行沟通又不会产生歧义。本文对几种典型的业务形式对应的功能模型对象进行了分析。     

FemtoCell的融合业务应用研究

FemtoCell在解决盲区覆盖的同时,也为融合业务应用的提供带来了可能.本文重点描述了基于FemtoCell与DSL/Wi-Fi/IPTV的AP融合方案、资费捆绑及组合业务方案、企业应用方案等融合业务应用.     

分布式移动代理系统的事务管理及死锁检测研究

讨论了并发执行的移动代理间的一致性控制问题,给出了移动代理的形式模型及其交互执行的正确性准则,然后基于上述模型,提出了一种有效的分布式死锁检测算法,该算法具有独立于网络的拓扑结构,死锁的检测和事务代理的执行异步操作,不对代理的移动性施加任何限制等特点。     

MPEG-4-based error resilient coding with closed-loop interaction among peripheral and centralised processing modules

Proposed is a novel MPEG-4-based video coding the resilience of which is implemented by exploiting region-of-interest scalability together with a closed-loop interaction between a central processing system, devoted to object detection and tracking, and the video coding embedded at sensor level. Results in terms of processing reliability, achieved in a formal way, prove the usefulness of the proposed approach in the context of scene monitoring applications     

特征交互动态检测的形式模型

本文通过对业务在执行过程中,业务逻辑实例与外部实体交互消息的分析,提出一个基于消息序列语义的特征交互形式模型.首先,业务逻辑实例和网络实体被认为交互消息集合的子序列,从业务逻辑实例与外部实体交互消息的语法和语义不同角度出发,分别对不确定性、特征违反类和活锁类等不同类型的特征交互给出具体的动态检测形式模型.并在此基础上进一步讨论:在特性违反类特征交互的动态检测中,若直接使用消息序列检测特征交互将是不充分的,本文在最后给出一种简单的特性违反类特征交互动态检测时的补救方法.     

Network protocol system monitoring-a formal approach with passive testing

We study network protocol system monitoring for fault detection using a formal technique of passive testing that is a process of detecting system faults by passively observing its input/output behaviors without interrupting its normal operations. After describing a formal model of event-driven extended finite state machines, we present two algorithms for passive testing of protocol system control and data portions. Experimental results on OSPF and TCP are reported.     

电信系统的业务交互

本文综述了电信业务交互问题产生的原因以及研究的背景，方法和发展，并以作者的研究成果为例说明如何用形式方法处理业务交互。     

新型网络体系结构描述语言及其在分布式流媒体服务规约中的应用

首先针对传统网络形式化描述语言的局限性,提出了一种新型网络体系结构描述语言INSADL,并详细介绍了其设计思想及主要特色.INSADL吸收了软件工程领域近年来的主要研究成果和实践经验,强调将服务和协议两个概念进行明确分离,能有效支持对网络体系结构的形式化建模.然后以分布式流媒体服务(DSMS)体系结构的形式化规约为例,对INSADL的应用进行了探讨.通过对DSMS体系结构中的实体构件、交互连接件、体系结构配置等的规约和分析,验证了INSADL的形式化建模和体系结构分析能力.     

计算机病毒入侵检测技术探讨

计算机病毒是一类很常见的信息安全威胁.本文讨论了病毒的工作原理和检测病毒的常用技术.然后提出了一种基于自我复制行为的病毒检测方法，用图灵机模型给出了形式化的描述，并定性地证明了这种方法可以在图灵机的计算能力范围内自动进行.     

Situation Awareness in Applications of Ambient Assisted Living for Cognitive Impaired People

Cognitive deterioration in neurodegenerative diseases is progressive and leads to increasing need for the patient to be monitored and assisted. Unfortunately, mid-stage cognitive impaired patients may behave irrationally to attempt the integrity of their hosting environments or their own safety. This paper presents a new formal approach for the situation-awareness and the detection of abnormal behaviors of cognitive impaired people in situation-aware smart spaces. Instead of relying on the identification of deviations from normal behaviors, the approach is based on the specification and runtime verification of correctness properties. Situation Calculus is the formal method adopted to model the world; whereas, intelligent agents detect abnormal and dangerous situations. Dangerous situation recovery is also performed by ad-hoc intellignet agents.