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

AODE中Agent通信机制的设计与实现

引用

模式识别与人工智能 2000年第1期13卷 94-98页

作者：骆斌王立春谢俊元陈世福南京大学计算机软件新技术国家重点实验室南京210093

本文讨论了面向Agent的系统开发环境AODE中的通信机制,并实现了由通信服务器、本地通信模块和外部通信模块构成的通信系统。

关键词： AODE Agent 人工智能通信机制

来源：评论

学校读者我要写书评

暂无评论

FTART2神经网络及其规则抽取研究

引用

小型微型计算机系统 2000年第2期21卷 201-204页

作者：李宁周志华陈兆乾南京大学计算机软件新技术国家重点实验室南京210093

本文提出了一种基于域理论的自适应谐振神经网络算法ＦＴＡＲＴ２，该算法将自适应谐振理论和域理论的优点有机结合，不需人为设置隐层神经元，学习速度快、精度高．此外，本文还提出了一种从ＦＴＡＲＴ２网络中抽取符号规则的方法，实... 详细信息

本文提出了一种基于域理论的自适应谐振神经网络算法ＦＴＡＲＴ２，该算法将自适应谐振理论和域理论的优点有机结合，不需人为设置隐层神经元，学习速度快、精度高．此外，本文还提出了一种从ＦＴＡＲＴ２网络中抽取符号规则的方法，实验结果表明，使用该方法抽取出的符号规则可理解性好、预测精度高，可以很好地描述ＦＴＡＲＴ２网络的性能．

关键词：机器学习神经网络规则抽取自适应谐振理论

来源：评论

学校读者我要写书评

暂无评论

电力变压器状态检测中复合推理方法的研究

引用

模式识别与人工智能 2000年第2期13卷 197-201页

作者：尹旭日周志华陈世福南京大学计算机软件新技术国家重点实验室南京210093

本文在对电力系统的特点进行深入研究后,提出了基于分类框架推理技术、模糊推理技术、神经网络技术以及事例推理技术的复合推理方法,并将其应用于电力变压器状态检测。试用表明,复合推理方法比传统的单一推理方法具有更高的准确性和灵活... 详细信息

本文在对电力系统的特点进行深入研究后,提出了基于分类框架推理技术、模糊推理技术、神经网络技术以及事例推理技术的复合推理方法,并将其应用于电力变压器状态检测。试用表明,复合推理方法比传统的单一推理方法具有更高的准确性和灵活性,并且可以在类似故障诊断领域中推广使用。

关键词：电力变压器故障诊断状态检测复合推理

来源：评论

学校读者我要写书评

暂无评论

赋值层化占先模型

引用

计算机学报 2000年第10期23卷 1009-1014页

作者：朱朝晖陈世福朱梧槚南京航空航天大学计算机科学研究所南京大学计算机软件国家重点实验室南京210093 南京大学计算机软件国家重点实验室

Bezzazi,Makinson及 Pino最近系统地研究了一些非 Horn型推理规则 (它们强于 RM规则或者与 RM规则不可比 ) ,给出了 P+ RM+ WD与 P+ RM+ RC非单调后承的表示定理 ,并将另两个非单调后承 P+ WD及 P+RC的表示定理作为开问题提出来 .文中... 详细信息

Bezzazi,Makinson及 Pino最近系统地研究了一些非 Horn型推理规则 (它们强于 RM规则或者与 RM规则不可比 ) ,给出了 P+ RM+ WD与 P+ RM+ RC非单调后承的表示定理 ,并将另两个非单调后承 P+ WD及 P+RC的表示定理作为开问题提出来 .文中提出两个新的占先模型类——赋值层化占先模型与 PRC模型 ,在有限语言情形下 ,利用这两个模型类分别建立了 P+ WD及 P+ RC后承的表示定理 .并用 P+ WD的表示定理对他们提出的另一开问题给出否定的答案 ,即证明了 P+ WD / NR在单射占先模型类中不成立 .

关键词：非单调推理赋值层化占先模型人工智能

来源：评论

学校读者我要写书评

暂无评论

WindowsNT4.0非标准打印机Mini驱动程序的实现方法

引用

小型微型计算机系统 2000年第2期21卷 216-218页

作者：刘斌王沛王箭潘金贵南京大学计算机软件新技术国家重点实验室多媒体计算机研究所南京210093

本文介绍了ＷｉｎｄｏｗｓＮＴ下光栅打印机的动作机构及其Ｍｉｎｉ驱动程序的体系结构，以及ＷｉｎｄｏｗｓＮＴ４．０下非标准打印机Ｍｉｎｉ驱动程序的实现方法．

关键词： Mini驱动程序 WindowsNT4.0 打印机

来源：评论

学校读者我要写书评

暂无评论

一种基于类层次图的分析面向对象程序的框架

引用

软件学报 2000年第5期11卷 694-700页

作者：李必信梁佳张勇翔樊晓聪郑国梁 *** 南京大学计算机软件新技术国家重点实验室

从类层次图 CHG( class hierarchy graph)出发 ,提出一个基于 CHG的分析面向对象程序的框架 OOAF( object- oriented analyzing framework) ,讨论了 OOAF的功能、算法和设计思想 ,给出了子对象识别以及可见方法、主导方法的确定算法 ,... 详细信息

从类层次图 CHG( class hierarchy graph)出发 ,提出一个基于 CHG的分析面向对象程序的框架 OOAF( object- oriented analyzing framework) ,讨论了 OOAF的功能、算法和设计思想 ,给出了子对象识别以及可见方法、主导方法的确定算法 ,建立了可见方法类层次图 ;并且通过计算方法的继承集、改写集以及对方法改写边界的确定 ,生成程序的虚函数调用图。

关键词：类层次图面向对象程序设计虚函数调用图 OOAF

来源：评论

学校读者我要写书评

暂无评论

基于角色的CSCW系统访问控制模型

引用

软件学报 2000年第7期11卷 931-937页

作者：李成锴 *** 詹永照茅兵谢立南京大学计算机软件新技术国家重点实验室

针对现有的方法不能很好地满足 CSCW系统对访问控制提出的新的需求 ,该文提出了一个基于角色的CSCW系统访问控制模型 RBCSAC( role- based collaborative systems access control) .该模型形式化地描述了数据、操作、权限、角色和用户... 详细信息

针对现有的方法不能很好地满足 CSCW系统对访问控制提出的新的需求 ,该文提出了一个基于角色的CSCW系统访问控制模型 RBCSAC( role- based collaborative systems access control) .该模型形式化地描述了数据、操作、权限、角色和用户等要素及其相互间的关系 ,提供访问控制信息的记录方法 ,通过分配和取消角色来完成对用户权限的授予和取消 ,并且提供了角色分配规则和操作合法性检查规则 .该模型针对 CSCW系统的多用户、交互、协作、实时、动态等特性 ,能较好地满足

关键词： CSCW 角色访问控制模型 Internet网

来源：评论

学校读者我要写书评

暂无评论

一类递归算法的多种计算方案及其比较

引用

小型微型计算机系统 2000年第3期21卷 253-256页

作者：蔡经球厦门大学计算机科学系南京大学计算机软件新技术国家重点实验室南京210093

本文讨论一类递归算法 ,利用“递推关系”,“多步递归变换”及“函数嵌入法”等方法可得到它们的多种计算方案。

关键词：程序设计方法学递归算法程序变换

来源：评论

学校读者我要写书评

暂无评论

基于故障敏感图的回卷算法和故障恢复

引用

软件学报 2000年第2期11卷 235-239页

作者：柳颖陈道蓄谢立曹建农南京大学计算机软件新技术国家重点实验室南京210093 香港理工大学计算系

扩充的面向图结构的分布式程序设计模型 (extended graph- oriented model,简称 Ex GOM)提供了一个支持动态配置的系统框架 .系统的动态配置包括系统运行时的伸缩、运行时的升级以及出现故障后的重配置 .故障后的重配置所涉及的问题之... 详细信息

扩充的面向图结构的分布式程序设计模型 (extended graph- oriented model,简称 Ex GOM)提供了一个支持动态配置的系统框架 .系统的动态配置包括系统运行时的伸缩、运行时的升级以及出现故障后的重配置 .故障后的重配置所涉及的问题之一是如何恢复系统原状态 ,该文着重就此问题进行了讨论 ,给出了基于故障敏感图的异步检查点回卷算法和故障恢复策略 .该算法和策略考虑了在暂时性主机故障中单个主机上有多个故障进程的情况 .与其他异步回卷及故障恢复算法相比 ,该算法将故障区域局部化 ,仅对故障敏感节点进行回卷 ,从而有效地降低了系统开销 .

关键词：分布式程序设计检查点回卷故障恢复

来源：评论

学校读者我要写书评

暂无评论

基于程序窗口推理的精化演算

引用

软件学报 2000年第8期11卷 1071-1077页

作者：王云峰李必信庞军查鸣郑国梁南京大学计算机软件新技术国家重点实验室

由于数据精化需要针对更大的程序块 ,所以 ,它比一般的算法精化更加复杂 .在精化演算中过程如何有效地进行数据精化是形式化方法研究中的一个重要内容 .该文介绍了相关的基本概念 .在精化演算的基础上 ,构造了一种数据精化算子 ,并提出... 详细信息

由于数据精化需要针对更大的程序块 ,所以 ,它比一般的算法精化更加复杂 .在精化演算中过程如何有效地进行数据精化是形式化方法研究中的一个重要内容 .该文介绍了相关的基本概念 .在精化演算的基础上 ,构造了一种数据精化算子 ,并提出一种基于数据精化演算和程序窗口推理的数据精化的方法 .

关键词：软件开发精化演算数据精化程序窗口推理

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：