检索结果-内蒙古大学图书馆

CMIP和SNMP的比较和综合

引用

东南大学学报（自然科学版） 2000年第3期30卷 130-135页

作者：徐哲夏云谢希仁南京通信工程学院计算机教研室南京210016

现代网络管理要求能有效地管理分布的多厂商网络 ,OSI的CMIP与IAB的SNMP为实现这一目标都在作进一步的努力 ,本文首先对CMIP和SNMP进行比较和分析 ,然后讨论几种综合这

关键词：网络管理协议管理信息库计算机网络

来源：评论

学校读者我要写书评

暂无评论

移动代理在网络管理中的应用

引用

南京大学学报（自然科学版） 2000年第4期36卷 413-418页

作者：胥光辉谢希仁徐永森通信工程学院计算机教研室江苏南京210016 南京大学计算机系江苏南京210093

介绍了移动代理的几个基本概念和相关的实现技术 ,针对传统的客户 /服务器模式的网络管理模型的缺陷 ,提出了一种引入移动代理的网络管理模型 ,给出了支持网络管理的移动代理系统的逻辑结构 .给出了一个原型系统 ,并就原型系统的安全性... 详细信息

介绍了移动代理的几个基本概念和相关的实现技术 ,针对传统的客户 /服务器模式的网络管理模型的缺陷 ,提出了一种引入移动代理的网络管理模型 ,给出了支持网络管理的移动代理系统的逻辑结构 .给出了一个原型系统 ,并就原型系统的安全性设计和性能方面进行了讨论 ,可以看出现有的网络管理模型和移动代理分别有自己的应用场合 ,实时性的、处理频繁的、或者数据量大的管理任务适合采用移动代理来实现 ,而另一些常规的管理任务仍然需要采用SNMP或CMIP协议来完成 .

关键词：移动代理安全性网络管理

来源：评论

学校读者我要写书评

暂无评论

MP~*与各种命题联结词含量完全的三值逻辑在语言表达能力上的等效性研究

引用

数学杂志 2000年第3期20卷 305-310页

作者：顾红芳白鹏肖奚安朱梧槚南京通信工程学院数学教研室南京210016 解放军信息工程学院基础部郑州450002 空军气象学院数学教研室南京211101 南京大学计算机软件新技术国家级重点实验室

本文基于中介命题逻辑的扩张系统 MP*之命题联结词含量的完全性结果 ,进一步证明了 Lukasiwicz三值逻辑系统 L*3 、Post三值逻辑系统 P*3 、Slupecki三值逻辑系统 S*3 和 Woodruff三值逻辑系统 W*3 等的命题联结词的含量也是完全的 .从... 详细信息

本文基于中介命题逻辑的扩张系统 MP*之命题联结词含量的完全性结果 ,进一步证明了 Lukasiwicz三值逻辑系统 L*3 、Post三值逻辑系统 P*3 、Slupecki三值逻辑系统 S*3 和 Woodruff三值逻辑系统 W*3 等的命题联结词的含量也是完全的 .从而着眼于形式系统 ,可知 MP*、L*3 、P*3 、S*3 、W*3 的语言表达的能力也都是等效的 .又若这些三值系统都是可靠的完备的 ,则可进一步证明这些三值系统立足于形式推理也都是互相等价的 .

关键词：三值逻辑命题联结词语言表达能力等效性

来源：评论

学校读者我要写书评

暂无评论

网络服务器容错技术

引用

军事通信技术 2000年第2期 38-41页

作者：孙国萌薛高阜解放军理工大学计算机与指挥自动化学院计算机教研室解放军理工大学通信工程学院电信交换教研室

网络服务器通常处理的是关键性任务 ,不允许信息丢失及异常停机等情况的出现。本文首先介绍了目前广泛使用的 RAID技术 ,然后详细探讨了双机容错技术和群集技术 ,并给出了典型的应用例子。

关键词：服务器容错高可用性

来源：评论

学校读者我要写书评

暂无评论

PB下拉数据窗口的使用

引用

军事通信技术 2000年第2期 8-11页

作者：莫国庆杨勤解放军理工大学计算机与指挥自动化学院指挥自动化教研室解放军理工大学通信工程学院电信交换教研室

本文简要介绍了 PB的专利——数据窗口技术 ,并结合作者的 PB开发经历 ,对下拉数据窗口使用中的三个问题 :带检索参数的下拉数据窗口、快速选择下拉数据窗口中的数据行及获得下拉数据窗口中数据行的显示值 ,进行了较深入的探讨。

关键词： PB 数据窗口下拉数据窗口

来源：评论

学校读者我要写书评

暂无评论

卫星通信网综合网管系统

引用

电信科学 1999年第9期15卷 22-26页

作者：吴礼发赖容通信工程学院计算机教研室南京210016

本文主要讨论建立卫星通信网综合网管的必要性，以及卫星通信网综合网管的功能和实现。

关键词：卫星通信网络管理综合网管

来源：评论

学校读者我要写书评

暂无评论

谈VISUAL FOXPRO的表单设计技术

引用

军事通信技术 1999年第3期 43-49页

作者：宿萍南京通信工程学院计算机教研室

本文针对一个具体实际问题,较详细地说明了在VISUALFOXPRO环境下两种不同的表单(FORM)设计方法,并提出了值得研究和发展的一些技术。

关键词： VFP 表单事件属性

来源：评论

学校读者我要写书评

暂无评论

基于广义信念修正的占先模型

引用

模式识别与人工智能 1999年第1期12卷 19-24页

作者：顾红芳张东摩南京通信工程学院数学教研室 210016 南京航空航天大学计算机科学研究所 210016

本文基于广义信念修正操作,构成了一个经典的(classical)、停止的(stoppered)、信赖的(faithful)和完全的(complete)占先模型,且由该占先模型所确定的占先推理操作恰好是广义信念修正操作。反之由一个经典的、停止的、信赖的、完全的和... 详细信息

本文基于广义信念修正操作,构成了一个经典的(classical)、停止的(stoppered)、信赖的(faithful)和完全的(complete)占先模型,且由该占先模型所确定的占先推理操作恰好是广义信念修正操作。反之由一个经典的、停止的、信赖的、完全的和模块的占先模型所确定的占先推理操作,可以构造一个广义信念修正操作。

关键词：广义信念修正占先模型信念修正理论

来源：评论

学校读者我要写书评

暂无评论

CAI课件制作实践谈

引用

军事通信技术 1999年第1期 59-62页

作者：陈卫卫南京通信工程学院计算机教研室

本文结合CAI课件的开发实践,将课件制作的基本要素和提高课件质量的要点列举实例加以论述。

关键词：多媒体 CAI 课件

来源：评论

学校读者我要写书评

暂无评论

中介逻辑演算系统MP^N及MF^N

引用

模糊系统与数学 1999年第2期13卷 45-51页

作者：毛宇光朱剑英顾红芳南京航空航天大学计算机科学与工程系南京通信工程学院数学教研室南京大学计算机软件新技术国家重点实验室

为满足不完全信息系统应用的需要，本文构造了基于命题联结词∧、∨、→、ヲ、～和～的中介逻辑命题演算系统ＭＰＮ和中介逻辑谓词演算系统ＭＦＮ，并证明了ＭＰＮ与ＭＰ＊、ＭＦＮ与ＭＦ＊的表达能力等价。

关键词：中介逻辑命题演算谓词演算表达能力三值逻辑

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：