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

计算机研究与发展 1999年第3期36卷 297-303页

作者：茅兵李成锴黄丽雯谢立南京大学软件新技术国家重点实验室南京大学计算机科学与技术系

文中提出了一个支持ＣＳＣＷ系统开发的协同程序设计模型，它以一个一般化的协同系统结构模型为基础，采用层次结构，提供了对象链接机制，实现应用独立的多层次协同．同时，它屏蔽具体的通信和共享等概念，直接向程序员提供对象协同的... 详细信息

文中提出了一个支持ＣＳＣＷ系统开发的协同程序设计模型，它以一个一般化的协同系统结构模型为基础，采用层次结构，提供了对象链接机制，实现应用独立的多层次协同．同时，它屏蔽具体的通信和共享等概念，直接向程序员提供对象协同的功能，大大方便了协同系统的设计和实现．不仅于此，多层次协同的方法获得了细粒度的协同感知，提高了协同效率，面向对象的方法便于将协同关系结构化，实现了灵活的协同管理，并方便了协同系统的开发．

关键词： CSCW 层次结构面向对象程序设计模型

来源：评论

学校读者我要写书评

暂无评论

一个通用的系统故障诊断模型

引用

计算机科学 1999年第1期26卷 85-87,84页

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

狭义上,故障诊断包括两层含义即故障检测和故障定位,前者是指测试一个系统,判断其是否存在故障,而后者则是指在前者的基础上进一步定位故障点。广义上,故障诊断的内容,除了包含要判断系统有无故障以及故障产生后找到故障部位,还包含对... 详细信息

狭义上,故障诊断包括两层含义即故障检测和故障定位,前者是指测试一个系统,判断其是否存在故障,而后者则是指在前者的基础上进一步定位故障点。广义上,故障诊断的内容,除了包含要判断系统有无故障以及故障产生后找到故障部位,还包含对故障特性的分析以及所采取的措施。

关键词：系统故障故障诊断专家系统神经网络计算机

来源：评论

学校读者我要写书评

暂无评论

基于Connectionist机制的合一算法实现及其模拟系统

引用

计算机应用研究 1999年第11期16卷 17-21页

作者：孙维祥俞立军许满武南京大学计算机科学与技术系计算机软件新技术国家重点实验室 210093 南京大学计算机科学与技术计算机软件新技术国家重点实验室 210093

本文我们首先介绍了基于ｃｏｎｎｅｃｔｉｏｎｉst机制的合一算法并在此基础上建立了其模拟系统。

关键词：数据结构合一算法模拟系统

来源：评论

学校读者我要写书评

暂无评论

线性混成系统的参数分析

引用

计算机学报 1999年第6期22卷 639-644页

作者：侯建民郑滔樊晓聪李宣东郑国梁南京大学计算机科学系南京210093 南京大学计算机软件新技术国家重点实验室南京210093

针对线性混成系统中存在的一类典型未知参数问题，如实时系统的验证通常局限于给定具体数值，未考虑系统中任何时间参数或物理特征参数的计算等，给出了具体的计算过程．实例应用表明，该计算过程可以有效地求解线性混成系统中这类未知... 详细信息

针对线性混成系统中存在的一类典型未知参数问题，如实时系统的验证通常局限于给定具体数值，未考虑系统中任何时间参数或物理特征参数的计算等，给出了具体的计算过程．实例应用表明，该计算过程可以有效地求解线性混成系统中这类未知参数，并能保证系统按照规约的要求正确运行．

关键词：线性混成系统计算过程参数分析实时系统

来源：评论

学校读者我要写书评

暂无评论

基于C++的一种主动对象事件服务机制的实现

引用

南京大学学报（自然科学版） 1999年第1期35卷 42-50页

作者：王晨周颖王三军张德富南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系

用面向对象方法构造具有互操作能力的分布并行软件系统是当今一种日渐强烈的需要，但现有的程序设计环境对这方面的支持尚不能让人满意．我们提出并基于Ｃ＋＋实现了一种主动对象的事件服务机制。

关键词：主动对象互操作性事件服务软件系统 C++

来源：评论

学校读者我要写书评

暂无评论

结合形式化的面向对象设计方法与支撑系统

引用

软件学报 1999年第4期10卷 409-414页

作者：郑明春段会川高波张家重山东师范大学计算机科学系南京大学计算机软件新技术国家重点实验室

为了有效地结合形式化和非形式化设计方法各自的优点，克服其不足之处，以尽可能保证软件设计的质量与可靠性，文章提出了一种将形式化方法与非形式化的面向对象设计方法ＨＯＯＤ（ｈｉｅｒａｒｃｈｉｃａｌｏｂｊｅｃｔ－ｏｒｉｅｎｔ... 详细信息

为了有效地结合形式化和非形式化设计方法各自的优点，克服其不足之处，以尽可能保证软件设计的质量与可靠性，文章提出了一种将形式化方法与非形式化的面向对象设计方法ＨＯＯＤ（ｈｉｅｒａｒｃｈｉｃａｌｏｂｊｅｃｔ－ｏｒｉｅｎｔｅｄｄｅｓｉｇｎ）相结合的途径，并介绍了其机器支撑环境的设计与实现．该途径在对层次式面向对象设计方法ＨＯＯＤ进行必要扩充的基础上，有机地集成了Ｚ语言等形式规约技术．支持这一途径的支撑环境提供了一套方便灵活的图形构筑工具、语法制导的形式语言与文本编辑工具，以及自动检查机制等．

关键词：面向对象 HOOD 面向对象程序设计支撑系统

来源：评论

学校读者我要写书评

暂无评论

基于Internet的信息资源发现技术与实现

引用

计算机研究与发展 1999年第11期36卷 1369-1374页

作者：王继成邹涛杨小江潘金贵张福炎南京大学软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

Ｉｎｔｅｒｎｅｔ上大量、异质、分布、动态的信息造成了“信息过载”．在信息充斥的情况下，如何有效地为用户提供基于Ｉｎｔｅｒｎｅｔ的资源发现服务已经成为一项重要而迫切的研究课题．搜索引擎部分地解决了资源发现的问题，然而其... 详细信息

Ｉｎｔｅｒｎｅｔ上大量、异质、分布、动态的信息造成了“信息过载”．在信息充斥的情况下，如何有效地为用户提供基于Ｉｎｔｅｒｎｅｔ的资源发现服务已经成为一项重要而迫切的研究课题．搜索引擎部分地解决了资源发现的问题，然而其效果却远不能使人满意．文中首先提出了分布协作式资源发现策略，讨论了资源发现服务中所涉及的几项关键技术，包括：多维文档立方体数据模型、Ｗｅｂ文档检索、基于Ｚ３９．５０的书目检索以及基于Ａｇｅｎｔ的用户接口等，并给出了相应的解决方案．在此基础上，文中构造了一个系统原型ＲＤＳＣＣ。

关键词：资源发现信息资源 Internet网信息处理

来源：评论

学校读者我要写书评

暂无评论

一种C/S环境下异型数据库进行数据交换的解决方案及实现

引用

计算机工程与科学 1999年第2期21卷 20-24页

作者：周驰樊莉萍南京大学计算机科学与技术系南京大学计算机软件新技术国家重点实验室

异型数据库之间的数据交换已经成为信息系统建设中的一个重要课题，它的实现有利于数据库的升级和节约开发投资。本文结合能源分析评价预测系统（ＥＡＥＡＳ）的开发，介绍了异型数据库之间进行数据交换过程中的问题，并给出具体解决方... 详细信息

异型数据库之间的数据交换已经成为信息系统建设中的一个重要课题，它的实现有利于数据库的升级和节约开发投资。本文结合能源分析评价预测系统（ＥＡＥＡＳ）的开发，介绍了异型数据库之间进行数据交换过程中的问题，并给出具体解决方案及其实现过程。

关键词：数据交换异型数据库客户/服务器信息系统

来源：评论

学校读者我要写书评

暂无评论

线性混合系统的一种验证方法

引用

南京大学学报（自然科学版） 1999年第1期35卷 58-65页

作者：侯建民李宣东樊晓聪郑国梁南京大学计算机软件新技术国家重点实验室南京大学计算机科学系

混合系统是指嵌入于物理环境中的数字实时系统．由于计算机技术的快速发展，混合系统在各行各业中都得到广泛应用，但是由于混合系统涉及到连续时间，因此其验证问题始终没有得到完善的解决．近年来，人们普遍采用模型检验方法对混合系... 详细信息

混合系统是指嵌入于物理环境中的数字实时系统．由于计算机技术的快速发展，混合系统在各行各业中都得到广泛应用，但是由于混合系统涉及到连续时间，因此其验证问题始终没有得到完善的解决．近年来，人们普遍采用模型检验方法对混合系统进行验证．由于线性混合系统在实际应用中可以表示大多数的嵌入式实时系统，因此我们着重研究这类混合系统的验证算法．本文首先介绍了混合系统的模型—混合自动机，然后提出了一种针对线性混合系统的基于区域的先划分再遍历的半确定性验证方法．经实例检验，该方法能够有效地验证线性混合系统．

关键词：混合系统混合自动机模型检验线性混合系统

来源：评论

学校读者我要写书评

暂无评论

非均匀区域油藏模拟负载平衡的分区并行算法

引用

软件学报 1999年第2期10卷 187-192页

作者：舒继武赵金熙周维四张德富南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系胜利油田地质科学研究院

基于分布式并行计算机系统，对一类非均匀区域的油藏数值模拟问题，采用了区域分解方法并行求解，给出了并行求解的负载平衡模型及区域负载平衡的一种有效分区算法，从而将这类油藏数值模拟问题均衡映射到并行环境中，高效地并行求解．... 详细信息

基于分布式并行计算机系统，对一类非均匀区域的油藏数值模拟问题，采用了区域分解方法并行求解，给出了并行求解的负载平衡模型及区域负载平衡的一种有效分区算法，从而将这类油藏数值模拟问题均衡映射到并行环境中，高效地并行求解．在黑油油藏数值模拟并行软件的研究中，实验结果表明，该算法有利于提高加速比．

关键词：油藏数值模拟区域分解负载平衡并行算法

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：