人工智能技术在网络管理协议验证中的应用

基本信息
批准号:69572041
项目类别:面上项目
资助金额:7.00
负责人:谢希仁
学科分类:
依托单位:中国人民解放军通信工程学院
批准年份:1995
结题年份:1998
起止时间:1996-01-01 - 1998-12-31
项目状态: 已结题
项目参与者:胡谷雨,张兴元,吴礼发
关键词:
网络管理人工智能协议验证
结项摘要

经过努力,在Win32API上用Visual C++实现了Clean语言的一个原型。该语言的特点是。①图重写。图重写技术可明显提高函数式语言的执行速度,节省内存消耗。②先进的类型系统。Clean实现了一个具有多态或重载特性的强类型系统。③实现了面向图形的交互。我们的实现利用Windows系统所提供的良好的交互特性,使得程序的输入、修改、调试都在图形用户界面中完成。④可扩展性好。整个系统都用面向对象技术进行构造。每个类的规模都很小,但类与类之间接口清晰。这种方法使得整个系统的扩展和重组变得比较方便。现存在的主要问题是该系统的运行还不够稳定,需经过一段时间使用才能逐步趋向于稳定。目前正在试图向该系统中加入并发描述机制。

项目摘要

项目成果
{{index+1}}

{{i.achievement_title}}

{{i.achievement_title}}

DOI:{{i.doi}}
发表时间:{{i.publish_year}}

暂无此项成果

数据更新时间:2023-05-31

其他相关文献

1

基于文献计量学和社会网络分析的国内高血压病中医学术团队研究

基于文献计量学和社会网络分析的国内高血压病中医学术团队研究

DOI:10.11842/wst.20190724002
发表时间:2020
2

结直肠癌免疫治疗的多模态影像及分子影像评估

结直肠癌免疫治疗的多模态影像及分子影像评估

DOI:10.13609/j.cnki.1000-0313.2022.04.019
发表时间:2022
3

智能煤矿建设路线与工程实践

智能煤矿建设路线与工程实践

DOI:10.13199/j.cnki.cst.2020.07.010
发表时间:2020
4

现代优化理论与应用

现代优化理论与应用

DOI:10.1360/SSM-2020-0035
发表时间:2020
5

含饱和非线性的主动悬架系统自适应控制

含饱和非线性的主动悬架系统自适应控制

DOI:10.3969/j.issn.1674-0696.2020.10.20
发表时间:2020

谢希仁的其他基金

批准号:68772043
批准年份:1987
资助金额:2.50
项目类别:面上项目
批准号:69272012
批准年份:1992
资助金额:6.00
项目类别:面上项目

相似国自然基金

1

认识逻辑及其在安全协议设计、验证中的应用

批准号:60073056
批准年份:2000
负责人:苏开乐
学科分类:F0201
资助金额:14.00
项目类别:面上项目
2

知识-信度的概率形式化模型及其在安全协议验证中的应用

批准号:60905036
批准年份:2009
负责人:周春来
学科分类:F0601
资助金额:19.00
项目类别:青年科学基金项目
3

基于Petri网的高速网络协议的描述和验证

批准号:69372018
批准年份:1993
负责人:顾冠群
学科分类:F0104
资助金额:6.00
项目类别:面上项目
4

无线传感器网络密钥管理协议研究

批准号:61170279
批准年份:2011
负责人:徐静
学科分类:F0206
资助金额:56.00
项目类别:面上项目