2025年1月13日
星期一
|
欢迎来到佛山市图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
周险峰
作品数:
3
被引量:3
H指数: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
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张