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

软件学报 2000年第4期11卷 481-487页

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

讨论了 COOZ( complete object- oriented Z)中的继承关系 ,将继承分为增量继承和子类型化继承 ,并重点讨论了子类型化继承 .定义了一种行为子类型化继承 ,证明了该方法的合理性 ,并据此定义了 COOZ的规约继承及规约继承的推理规则 .所... 详细信息

讨论了 COOZ( complete object- oriented Z)中的继承关系 ,将继承分为增量继承和子类型化继承 ,并重点讨论了子类型化继承 .定义了一种行为子类型化继承 ,证明了该方法的合理性 ,并据此定义了 COOZ的规约继承及规约继承的推理规则 .所讨论的子类型化方法与 ***等人的方法相比 ,具有可构造性 ,并且比L

关键词：面向对象继承子类型软件开发方法推理规则

来源：评论

学校读者我要写书评

暂无评论

一种从面向对象Z规约到代码的精化演算方法

引用

软件学报 2000年第8期11卷 1041-1046页

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

COOZ(complete object- oriented Z)的优势在于精确描述大型程序的规约 .COOZ本身的结构不支持精化演算 ,这限制了 COOZ的应用能力 ,使 COOZ难以作为完整的方法应用于软件的开发 .将精化演算引入COOZ,弥补了 COOZ在设计和实现阶段的不... 详细信息

COOZ(complete object- oriented Z)的优势在于精确描述大型程序的规约 .COOZ本身的结构不支持精化演算 ,这限制了 COOZ的应用能力 ,使 COOZ难以作为完整的方法应用于软件的开发 .将精化演算引入COOZ,弥补了 COOZ在设计和实现阶段的不足 ,同时也消除了规约与实现之间在结构和表示方法上的完全分离 ,使程序开发在一个完整的框架下平滑进行 .该文提出了基于 COOZ和精化演算的软件开发模型 ,通过实例讨论了数据精化和操作精化问题 .在精化演算实现技术方面构造了一种数据精化算子 ,提出一种基于数据精化演算和程序窗口推理的数据精化的方法 .

关键词：形式化开发方法精化演算面向对象代码

来源：评论

学校读者我要写书评

暂无评论

一种移动agent结构化迁移机制的设计和实现

引用

软件学报 2000年第7期11卷 918-923页

作者：陶先平 *** 吕建张冠群李新董桓南京大学计算机软件新技术国家重点实验室

移动 agent计算模式将成为未来网络计算的主流模式 .移动 agent的迁移机制是其技术核心之一 .该文分析了现有移动 agent系统中采用的几种代表性迁移技术 ,提出了一种新的结构化迁移机制 .该机制的主要特点如下 :( 1) agent的旅行计划和... 详细信息

移动 agent计算模式将成为未来网络计算的主流模式 .移动 agent的迁移机制是其技术核心之一 .该文分析了现有移动 agent系统中采用的几种代表性迁移技术 ,提出了一种新的结构化迁移机制 .该机制的主要特点如下 :( 1) agent的旅行计划和功能体完全分离 ;( 2 )旅行计划本身也具有严格定义的结构 ;( 3)提供了 3种灵活有力的迁移模式 .因此 ,它能有效地控制移动 agent的复杂度 ,有利于 agent的复用 .在该机制的基础上 ,设计并实现了移动 agent系统 Mogent1.

关键词：移动agent 迁移结构化信息处理人工智能

来源：评论

学校读者我要写书评

暂无评论

网上IP劫持攻击的研究

引用

软件学报 2000年第4期11卷 515-519页

作者：赵欣 *** 陈道蓄谢立南京大学计算机软件新技术国家重点实验室

当前 ,网上出现了一种基于 TCP的主动攻击 ,称为 IP劫持 .这种攻击不同于以往的基于网络侦听的被动式网络攻击 ,它能绕过系统口令和 S/ KEY口令保护的防御 ,将网络连接完全接管 ,对网络安全造成了重大威胁 .该文分析了这种攻击的实施原... 详细信息

当前 ,网上出现了一种基于 TCP的主动攻击 ,称为 IP劫持 .这种攻击不同于以往的基于网络侦听的被动式网络攻击 ,它能绕过系统口令和 S/ KEY口令保护的防御 ,将网络连接完全接管 ,对网络安全造成了重大威胁 .该文分析了这种攻击的实施原理。

关键词： IP劫持网络监视器 Internet网网络安全

来源：评论

学校读者我要写书评

暂无评论

基于事件约束的分布式程序正确性测试

引用

软件学报 2000年第8期11卷 1035-1040页

作者：顾庆陈道蓄于勐谢立孙钟秀南京大学计算机软件新技术国家重点实验室南京210093

由于并发的存在和不确定性 ,在以规约为基础来测试分布式程序的正确性时 ,必须考虑程序执行时的内部状态 .这些内部状态通过端口显示为事件序列 ,程序规约需要对序列中各事件间的依赖关系作约定 ,即定义事件约束集 .该文提出了 E- CSPE(... 详细信息

由于并发的存在和不确定性 ,在以规约为基础来测试分布式程序的正确性时 ,必须考虑程序执行时的内部状态 .这些内部状态通过端口显示为事件序列 ,程序规约需要对序列中各事件间的依赖关系作约定 ,即定义事件约束集 .该文提出了 E- CSPE(extended- constraints on succeeding and preceding events) ,以形式化描述这类事件约束 ,它由 3个基本描述规则组成 ,分别对应于 3种不同类型的事件约束 .通过判断程序执行时所产生的事件序列集同这些事件约束集的一致性以及对约束集覆盖程度可以检测被测程序的正确性 .

关键词：分布式程序测试自动机模型事件约束

来源：评论

学校读者我要写书评

暂无评论

基于域理论的自适应谐振神经网络分类器

引用

软件学报 2000年第5期11卷 667-672页

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

提出了一种基于域理论的自适应谐振神经网络模型 FTART2 ( field theory based adaptive resonancetheory 2 ) .该模型结合了自适应谐振理论和域理论的优点 ,学习速度快 ,归纳能力强 ,效率高 ,可以根据输入样本自适应地调整拓扑结构 ,... 详细信息

提出了一种基于域理论的自适应谐振神经网络模型 FTART2 ( field theory based adaptive resonancetheory 2 ) .该模型结合了自适应谐振理论和域理论的优点 ,学习速度快 ,归纳能力强 ,效率高 ,可以根据输入样本自适应地调整拓扑结构 ,克服了前馈型网络需要人为设置隐层神经元的缺点 .基准测试表明 ,FTART2在学习精度和速度上都远远优于标准

关键词：神经网络机器学习自适应谐振域理论分类器

来源：评论

学校读者我要写书评

暂无评论

基于Markov对策的多Agent强化学习模型及算法研究

引用

计算机研究与发展 2000年第3期37卷 257-263页

作者：高阳周志华何佳洲陈世福南京大学计算机软件新技术国家重点实验室南京210093

在ＭＤＰ中，单Ａｇｅｎｔ可以通过强化学习来寻找问题的最优解．但在多Ａｇｅｎｔ系统中，ＭＤＰ模型不再适用．同样极小极大Ｑ算法只能解决采用零和对策模型的ＭＡＳ学习问题．文中采用非零和Ｍａｒｋｏｖ对策作为多Ａｇｅｎｔ系统学... 详细信息

在ＭＤＰ中，单Ａｇｅｎｔ可以通过强化学习来寻找问题的最优解．但在多Ａｇｅｎｔ系统中，ＭＤＰ模型不再适用．同样极小极大Ｑ算法只能解决采用零和对策模型的ＭＡＳ学习问题．文中采用非零和Ｍａｒｋｏｖ对策作为多Ａｇｅｎｔ系统学习框架，并提出元对策强化学习的学习模型和元对策Ｑ算法．理论证明元对策Ｑ算法收敛在非零和Ｍａｒｋｏｖ对策的元对策最优解．

关键词：元对策强化学习多Agent系统人工智能

来源：评论

学校读者我要写书评

暂无评论

基于域理论的自适应谐振神经网络研究

引用

软件学报 2000年第11期11卷 1451-1459页

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

提出了一种基于域理论的自适应谐振神经网络算法 FTART,有机结合了自适应谐振理论和域理论的优势 ,以一种独特的方式解决了示例间冲突和分类区域的动态扩展 ,不仅不需要手工设置隐层神经元 ,可以还获得了较快的训练速度和较高的预测精... 详细信息

提出了一种基于域理论的自适应谐振神经网络算法 FTART,有机结合了自适应谐振理论和域理论的优势 ,以一种独特的方式解决了示例间冲突和分类区域的动态扩展 ,不仅不需要手工设置隐层神经元 ,可以还获得了较快的训练速度和较高的预测精度 .同时还提出了一种可以从训练好的 FTART网络中抽取可理解性好、精度高的符号规则的方法 ,即基于统计的产生测试法 .实验结果表明。

关键词：神经网络机器学习规则抽取自适应谐振理论域理论知识获取在线学习增量学习

来源：评论

学校读者我要写书评

暂无评论

视频服务器网络中影像对象映射问题的研究

引用

软件学报 2000年第12期11卷 1620-1627页

作者：周笑波谢立 ReinhardLueling 南京大学计算机软件新技术国家重点实验室南京210093 德国Paderborn大学计算机并行中心

视频服务器网络中的影像对象映射问题是一种新的组合优化问题 .服务器网络可以建立在基于局域网的工作站网络之上 ,也可以建立在广域网之上 .基于对用户的服务请求模式、服务器网络的存储容量和通信带宽等因素的综合考虑 ,研究了服务器... 详细信息

视频服务器网络中的影像对象映射问题是一种新的组合优化问题 .服务器网络可以建立在基于局域网的工作站网络之上 ,也可以建立在广域网之上 .基于对用户的服务请求模式、服务器网络的存储容量和通信带宽等因素的综合考虑 ,研究了服务器网络中影像对象映射问题 ,利用局部搜索算法给出了一套对该映射问题的解决方案 .然后用一套基准集实例对给出的算法集进行验证 .结果表明 ,在较短的计算时间内。

关键词：视频服务器网络影像对象映射视频点播

来源：评论

学校读者我要写书评

暂无评论

Mogent系统的通信机制

引用

软件学报 2000年第8期11卷 1060-1065页

作者：陶先平冯新宇李新张冠群吕建南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机软件研究所南京210093

移动 agent技术是新型软件构件框架的基础技术之一 ,而通信机制是其重要的组成部分 .该文结合移动agent系统 Mogent(mobile agent)平台的研制 ,在分析了 agent的移动特性对通信机制的影响后 ,提出并实现了一种用于 Mogent平台的一套系... 详细信息

移动 agent技术是新型软件构件框架的基础技术之一 ,而通信机制是其重要的组成部分 .该文结合移动agent系统 Mogent(mobile agent)平台的研制 ,在分析了 agent的移动特性对通信机制的影响后 ,提出并实现了一种用于 Mogent平台的一套系统的解决方案 .该方案主要包括移动 agent命名机制、移动 agent寻址机制以及通信失效解决方法等 ,具有易于使用、效率高、可靠性好等优点 .

关键词： Mogent系统通信机制通信失效 Internet网

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：