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

一种基于主动网络技术的电信网络管理模型

引用

计算机工程 1999年第9期25卷 29-31页

作者：袁俊何丹杨培根南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

介绍了TMN的基本概念．从技术的角度探讨了TMN的体系结构，并指出了现行TMN的不足之处。最后提出了一种基于主动网络技术的电信网络管理模型-ATMN。

关键词：电信管理网络网络管理主动网络

来源：评论

学校读者我要写书评

暂无评论

面向对象的协同程序设计模型

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

铁路系统的模型检查和参数分析

引用

华东理工大学学报（自然科学版） 1999年第2期25卷 182-187页

作者：鲍峥嵘虞慧群邵志清宋国新华东理工大学计算机科学与工程系南京大学计算机软件新技术国家重点实验室

研究铁路系统的自动验证技术。建立火车和控制器的混合自动机模型，用时态逻辑ＩＣＴＬ描述铁路系统的性质规范，使用模型检查技术自动验证铁路系统，并且对铁路系统的一些参数进行分析。

关键词：嵌入式系统铁路系统模型检查参数分析安全性

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

用结构性质分开复杂类

引用

计算机研究与发展 1999年第8期36卷 932-935页

作者：吕义忠南京航空航天大学计算机科学与工程系南京大学计算机软件新技术国家重点实验室

ＮＰ（或Ｃｏ－ＮＰ）是否包含在Ｐ／ｐｏｌｙ中的问题迄今仍为开问题．８０年代初证明了如果ＮＰＰ／ｐｏｌｙ，则ＰＨ＝Σ２．最近，又有了如果ＮＰＰ／ｐｏｌｙ，则ＰＨ＝ＺＰＰ的证明．文中将借助于广义一阶逻辑Ｌ（τ）及其上... 详细信息

ＮＰ（或Ｃｏ－ＮＰ）是否包含在Ｐ／ｐｏｌｙ中的问题迄今仍为开问题．８０年代初证明了如果ＮＰＰ／ｐｏｌｙ，则ＰＨ＝Σ２．最近，又有了如果ＮＰＰ／ｐｏｌｙ，则ＰＨ＝ＺＰＰ的证明．文中将借助于广义一阶逻辑Ｌ（τ）及其上的模型论以证明存在ＮＰ（或Ｃｏ－ＮＰ）中的语言，它们没有多项式大小的线路．

关键词：结构复杂性广义一阶逻辑图论 NP问题

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：