您的位置: 专家智库 > >

周险峰

作品数:3 被引量:3H指数:1
供职机构:西安电子科技大学计算机学院更多>>
发文基金:国家重点实验室开放基金国家自然科学基金更多>>
相关领域:自动化与计算机技术电子电信更多>>

文献类型

  • 2篇期刊文章
  • 1篇学位论文

领域

  • 2篇电子电信
  • 2篇自动化与计算...

主题

  • 2篇智能网
  • 2篇面向对象
  • 2篇HOARE逻...
  • 1篇对象技术
  • 1篇智能网业务
  • 1篇神经网
  • 1篇神经网络
  • 1篇人工智能
  • 1篇网络
  • 1篇面向对象分析
  • 1篇面向对象技术
  • 1篇计算机
  • 1篇计算机网
  • 1篇计算机网络
  • 1篇分布式人工智...

机构

  • 3篇西安电子科技...

作者

  • 3篇周险峰
  • 2篇马玉祥
  • 1篇刘振宇
  • 1篇薄华

传媒

  • 1篇电子科技
  • 1篇西安电子科技...

年份

  • 1篇1999
  • 2篇1998
3 条 记 录,以下是 1-3
排序方式:
智能网业务验证技术被引量:1
1999年
以国际电信联合委员会(ITU-T)的能力集CS-2 标准为基础,研究了智能网中业务验证技术.随着智能网的发展,用户越来越迫切的要求电信部门能够快速、经济、准确地提供所需的各项新业务.业务验证的着眼点正是为了保证生成业务的正确性,这对于高效、优质地提供各项智能网业务起着重要的作用.讨论了业务验证所需的限定性条件,针对其中的全局限定性条件的业务验证进行了分析,并提出了一种使用Hoare 逻辑验证业务逻辑的一致性、完整性和正确性的新构想.实验证明。
马玉祥周险峰顾伟平刘振宇李高和
关键词:智能网HOARE逻辑计算机网络
智能网业务软件关键技术的研究
该文来源于国家自然科学基金课题"智能网软件的面向对象分析、设计及验证技术".它以国际电信联合委员会(ITU-T)的能力集CS-2标准为基础,研究了业务独立构件的软件重用和业务验证技术.文中详细讨论了采用面向对象分析方法,...
周险峰
关键词:智能网面向对象分析HOARE逻辑
网络管理专家系统及其关键技术的研究被引量:2
1998年
文意针对通信网络管理的分布式代理机制和实时性等特点,研究了网络管理专家系统的开发环境和知识表示方式,并采用分布式人工智能技术、面向对象技术及神经网络技术,构造了网络管理专家系统模型。
马玉祥薄华周险峰刘振宇
关键词:分布式人工智能面向对象技术神经网络
共1页<1>
聚类工具0