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

计算机科学 1998年第6期25卷 19-23页

作者：袁晓东郑国梁电力部电力自动化研究院仿真室南京210003 南京大学计算机软件新技术国家重点实验室计算机科学与技术系南京210093

形式化规格说明为我们提供一个简洁、精确且能被很好理解的系统描述。但我们还需要从规格说明得到其合适的代码实现,这一开发过程称为形式化规格说明的求精[lj。规格说明的求精技术已经有比较深入的研究,一般要通过数据求精和操作求精... 详细信息

形式化规格说明为我们提供一个简洁、精确且能被很好理解的系统描述。但我们还需要从规格说明得到其合适的代码实现,这一开发过程称为形式化规格说明的求精[lj。规格说明的求精技术已经有比较深入的研究,一般要通过数据求精和操作求精逐步精化的过程,逐步降低抽象级,最终得到规格说明的程序实现代码。但现有的精化理论较少考虑机器辅助技术的应用。

关键词：形式化规格说明机器辅助求精技术形式语言

来源：评论

学校读者我要写书评

暂无评论

基于IHMCAP算法的一个故障诊断模型

基于IHMCAP算法的一个故障诊断模型

引用

1998年中国智能自动化学术会议

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

本文在故障集和与之对应的差错属性集的基础上,构造系统的故障模型,用IHMCAP 算法寻找属性值与故障类型之间的对应关系,由此对故障进行诊断。理论分析及应用表明, 该方法不仅精度高、通用性好、学习能力强,而且在利用系统的先验知识与... 详细信息

本文在故障集和与之对应的差错属性集的基础上,构造系统的故障模型,用IHMCAP 算法寻找属性值与故障类型之间的对应关系,由此对故障进行诊断。理论分析及应用表明, 该方法不仅精度高、通用性好、学习能力强,而且在利用系统的先验知识与动态数据上也取得了均衡。

关键词：机器学习神经网络故障诊断

来源：评论

学校读者我要写书评

暂无评论

连续函数图象的精细计盒维数及其刻划

连续函数图象的精细计盒维数及其刻划

引用

第一届全国分形图学学术研讨会

作者：江惠坤大学计算机软件新技术国家重点实验室

将分形理论中的一个重要概念计盒维数推广为精细计盒维数，讨论此定义的等价表示。并且给出了Ｒ〈’ｎ〉上连续函数图象的精细计盒维数用函数空间刻划的充要条件。

关键词：精细计盒维数光滑性函数空间函数空间刻划

来源：评论

学校读者我要写书评

暂无评论

Agent技术在虚拟环境软件系统设计中的应用

Agent技术在虚拟环境软件系统设计中的应用

引用

第五届中国人工智能联合学术会议

作者：李红兵陈世福南京大学计算机软件新技术国家重点实验室

该文主要研究将Ａｇｅｎｔ技术应用于虚拟环境软件系统的设计，给出了一个描述虚拟环境的抽象框架，以面向对象的方法实现了几种虚拟环境的计算模型，如神经网络、遗传算法、专家系统和规划管理等，以此作为Ａｇｅｎｔ的能力和支撑。

关键词： Agent 虚拟环境神经网络遗传算法专家系统规划管理

来源：评论

学校读者我要写书评

暂无评论

Agent构造环境ABE系统及其扩充

Agent构造环境ABE系统及其扩充

引用

第五届中国人工智能联合学术会议

作者：郭磊陈世福南京大学计算机软件新技术国家重点实验室

该文介绍了由ＩＢＭ公司开发的ａｇｅｎｔ构造环境ＡＢＥ系统的基本结构与设计思想以及研究人员对该系统进行的面向多ａｇｅｎｔ应用系统开发的扩充。

关键词：人工智能面向agent技术 agent构造环境

来源：评论

学校读者我要写书评

暂无评论

支持大规模分布式系统的对象接口描述语言OIDL

支持大规模分布式系统的对象接口描述语言OIDL

引用

大连--香港国际计算机会议

作者：仲盛王运翔谢立金志权大学计算机科学与技术系南京大学计算机软件新技术国家重点实验室大学计算机科学与技术系大学计算机软件新技术国家重点实验室

在分布式计算系统中，接口描述语言（IDL）是一个重要的核心概念，它使得用户不必考虑网络细节，为RPC应用程序设计提供了迅速可靠的支持。随着网络和分布式技术的发展，尤其是Internet的出现，分布式系统的规模急剧膨胀，适应支持大规... 详细信息

在分布式计算系统中，接口描述语言（IDL）是一个重要的核心概念，它使得用户不必考虑网络细节，为RPC应用程序设计提供了迅速可靠的支持。随着网络和分布式技术的发展，尤其是Internet的出现，分布式系统的规模急剧膨胀，适应支持大规模分布式系统的需要成为IDL的一个重要问题。传统IDL的基础是经典客户机/服务器体系，而经典客户机/服务器体系中存在着客户机对服务器的依赖，使得传统IDL在支持大规模分布式系统方面存在重要的局限性。因此，作者引入了智能服务器系统的概念，设计并实现了一种对象接口定义语言OIDL。与传统IDL相比，它具有更好的透明性和灵活性，使得客户机摆脱对服务器的依赖成为独立的对象实体，因而能够较好地支持大规模分布式系统。

关键词：接口描述语言分布式系统

来源：评论

学校读者我要写书评

暂无评论

通用数据库知识发现系统KNIGHT

通用数据库知识发现系统KNIGHT

引用

第十五届全国数据库学术会议

作者：刘伟宏李晋晋徐洁磐南京大学计算机软件新技术国家重点实验室计算机系

本文首先简单介绍了KNIGHT的特点和功能实现,接着详细介绍了如何用KNIGHT系统进行数据库知识发现,最后对系统进行了总结。

关键词：关联规则特征规则分类规则数据分类

来源：评论

学校读者我要写书评

暂无评论

一个基于Java的可视化程序设计环境靖VPTJ

一个基于Java的可视化程序设计环境靖VPTJ

引用

全国第一届JAVA技术及应用研讨会

作者：方斐柳颖谢立大学计算机软件新技术国家重点实验室计算机科学与技术系

实现了一个基于Java的可视化程序设计环境VPTJ，可以为用户提供Java程序的可视化编制。

关键词：面向对象 Java 可视化程序设计环境软件

来源：评论

学校读者我要写书评

暂无评论

CONETV2.0中的SOCKET的设计

CONETV2.0中的SOCKET的设计

引用

第十届中国计算机学会网络与数据通信学术会议

作者：胡宁宁金志权谢立大学计算机科学与技术系大学计算机软件新技术国家重点实验室

CONETV2.0是一种在微内核环境下实现的网络系统软件，由于微内核在系统构造方法上与传统的方法不同，在该环境下的系统模块在实现上也具有其特殊之处。该文介绍了CONETV2.0的体系结构与实现思想，并着重阐述了作为该系统应用程序接口之... 详细信息

CONETV2.0是一种在微内核环境下实现的网络系统软件，由于微内核在系统构造方法上与传统的方法不同，在该环境下的系统模块在实现上也具有其特殊之处。该文介绍了CONETV2.0的体系结构与实现思想，并着重阐述了作为该系统应用程序接口之一--SOCKET—的设计与实现。

关键词：网络系统程序接口套接字微内核

来源：评论

学校读者我要写书评

暂无评论

日汉网络翻译浏览器设计与实现

日汉网络翻译浏览器设计与实现

引用

1998中文信息处理国际会议

作者：胡海文王启祥大学计算机科学与技术系大学计算机软件新技术国家重点实验室

该文讨论日汉网络翻译浏览器设计的难点问题及解决方法。包括：在windOWs95环境下实现日、中、英多国语支撑环境;日汉翻译系统的设计：动态获取网络上HTML页面原码的技术;网络浏览器功能的实现;HTML页面的分析和版面还原，该研究利用Act... 详细信息

该文讨论日汉网络翻译浏览器设计的难点问题及解决方法。包括：在windOWs95环境下实现日、中、英多国语支撑环境;日汉翻译系统的设计：动态获取网络上HTML页面原码的技术;网络浏览器功能的实现;HTML页面的分析和版面还原，该研究利用ActiveX等技术，实现了一个与IE4.0兼容的中日文浏览器，解决了HTML页面的实时版面分析还原、翻译处理等关键技术。

关键词：机器翻译网络浏览器

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：