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

计算机学报 1999年第4期22卷 351-358页

作者：朱朝晖毛宇光朱梧南京航空航大大学计算机科学研究所南京210016 南京大学计算机软件国家重点实验室南京210093

本文在Vakarelov的信息逻辑IL的基础上，通过引入新的模合同以及模态词间的布尔运算建立了BILC系统，研究了系统的语义．提出在布尔模态逻辑语言下解决Vakarelov问题的思想，主要结果表明在BILC语言下要彻底解决Vakarelov问题必须针对三... 详细信息

本文在Vakarelov的信息逻辑IL的基础上，通过引入新的模合同以及模态词间的布尔运算建立了BILC系统，研究了系统的语义．提出在布尔模态逻辑语言下解决Vakarelov问题的思想，主要结果表明在BILC语言下要彻底解决Vakarelov问题必须针对三种KR-结构分别构造逻辑系统，IL系统的研究方法对BILC语言框架下的研究是行不通的．

关键词：知识表示系统信息逻辑 Vakarelov问题形式语言

来源：评论

学校读者我要写书评

暂无评论

Mathem atica在横向程序变换中的应用

引用

小型微型计算机系统 1999年第10期20卷 768-772页

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

本文讨论用Ｍａｔｈｅｍａｔｉｃａ的两大核心工作机制即模式匹配和规则来实现横向程序变换．以两类不同的递归程序变换的抽象模式为例，本文设计了相应的Ｍａｔｈｅｍａｔｉｃａ程序包将非尾递归的程序变换成为相应的尾递归形式，... 详细信息

本文讨论用Ｍａｔｈｅｍａｔｉｃａ的两大核心工作机制即模式匹配和规则来实现横向程序变换．以两类不同的递归程序变换的抽象模式为例，本文设计了相应的Ｍａｔｈｅｍａｔｉｃａ程序包将非尾递归的程序变换成为相应的尾递归形式，然后利用Ｍａｔｈｅｍａｔｉｃａ３．０提供的ＭａｔｈＬｉｎｋ机制，在ＶＢ５．０

关键词：程序设计方法学数学软件系统程序变换

来源：评论

学校读者我要写书评

暂无评论

基于文档目录树的WWW文档协同写作机制

引用

计算机研究与发展 1999年第9期36卷 1051-1056页

作者：杨文清黄宜华冯坚卢坚张福炎南京大学计算机科学与技术系南京210093 南京大学计算机软件新技术国家重点实验室南京210093

协同写作是ＣＳＣＷ的一个重要研究领域．文中针对ＷＷＷ文档的协同写作提出了一种文档目录树技术，不仅为ＷＷＷ文档扩充了表示其全局结构的层次式目录结构，还为文档的分工协作写作提供了良好的数据组织结构．文中... 详细信息

协同写作是ＣＳＣＷ的一个重要研究领域．文中针对ＷＷＷ文档的协同写作提出了一种文档目录树技术，不仅为ＷＷＷ文档扩充了表示其全局结构的层次式目录结构，还为文档的分工协作写作提供了良好的数据组织结构．文中详细讨论了基于文档目录树结构对一个ＷＷＷ文档进行协同写作时的协同机制，研究了多用户界面设计、协作方式、以及使用“目录路径锁定法”

关键词： CSCW 协同写作文档目录树 WWW

来源：评论

学校读者我要写书评

暂无评论

线性混成系统的参数分析

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于多层油藏问题负载均衡的并行任务划分

引用

软件学报 1999年第10期10卷 1061-1066页

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

该文基于分布式并行计算机系统，对一类多层二维二相流油藏数值模拟问题给出了３种任务划分策略──“卷帘”方式、区域分解方式和“卷帘”与区域分解结合的方式，对它们进行了比较，提出了减少求解时间、利于负载均衡和提高并行性能的... 详细信息

该文基于分布式并行计算机系统，对一类多层二维二相流油藏数值模拟问题给出了３种任务划分策略──“卷帘”方式、区域分解方式和“卷帘”与区域分解结合的方式，对它们进行了比较，提出了减少求解时间、利于负载均衡和提高并行性能的任务划分方法，并实际应用于有多达７２万个网格节点的大规模油藏模拟问题实算结果表明，该策略划分产生的并行求解任务均衡，有利于加速比的提高．该方法也适用于区域或数据并行的任务划分问题.

关键词：并行计算负载均衡任务划分油藏数值模拟

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

支持综合业务的Internet-ATM网络及互联

引用

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

作者：黄浩谢立孙钟秀南京大学计算机科学与技术系南京大学计算机软件新技术国家重点实验室

文中阐述了Ｉｎｔｅｒｎｅｔ上综合业务的模式，介绍了资源预订协议ＲＳＶＰ、Ｉｎｔｅｒｎｅｔ流协议ＳＴ－Ｉ、资源预先预订协议ＲｅＲＡ和几种主要的Ｉｎｔｅｒｎｅｔ与ＡＴＭ主干网络的互联协议以及传统的ＴＣＰ／ＩＰ协议族的报文... 详细信息

文中阐述了Ｉｎｔｅｒｎｅｔ上综合业务的模式，介绍了资源预订协议ＲＳＶＰ、Ｉｎｔｅｒｎｅｔ流协议ＳＴ－Ｉ、资源预先预订协议ＲｅＲＡ和几种主要的Ｉｎｔｅｒｎｅｔ与ＡＴＭ主干网络的互联协议以及传统的ＴＣＰ／ＩＰ协议族的报文在ＡＴＭ网络中传送的协议ＩＰｏｖｅｒＡＴＭ；阐述了局域网模拟ＬＡＮＥ的体系结构及其实现的一个实例和ＡＴＭ上支持多种网络层协议（如ＩＰ，ＩＰＸ／ＳＰＸ，ＡｐｐｌｅＴａｌｋ等）的规范ＭＰＯＡ，并给出了一个实现的实例．并介绍了在ＡＴＭ－Ｉｎｔｅｒｎｅｔ网络中各层协议之间服务质量转换的方法．

关键词：综合业务网络互联 ATM Internet网

来源：评论

学校读者我要写书评

暂无评论

一个基于对象的分布式多媒体系统模型

引用

软件学报 1999年第1期10卷 7-12页

作者：曾庆凯杨国良高瀚昭谢立南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系

提出了一个基于对象的分布式多媒体系统模型．由媒体存取层、多媒体对象层和多媒体表现层等构成的层次模型将媒体异构环境存取、分布式多媒体对象处理和语义合成表现等问题在不同层次分别进行处理。

关键词：分布式式媒体功能构件多媒体信息处理

来源：评论

学校读者我要写书评

暂无评论

组通信连接机制

引用

计算机研究与发展 1999年第2期36卷 175-181页

作者：王箭张福炎南京大学计算机科学与技术系南京大学计算机软件新技术国家重点实验室

视频会议和其它对等式实时分布应用要求实时对称的多点传输．各方独立的Ｍｕｌｔｉｃａｓｔ树将消耗大量的资源，不能完全满足对称的多点传输要求，为此文中提出一种连接体系，将各方独立的树合并起来形成多点连接，而对于具体的多点传... 详细信息

视频会议和其它对等式实时分布应用要求实时对称的多点传输．各方独立的Ｍｕｌｔｉｃａｓｔ树将消耗大量的资源，不能完全满足对称的多点传输要求，为此文中提出一种连接体系，将各方独立的树合并起来形成多点连接，而对于具体的多点传输，它的Ｍｕｌｔｉｃａｓｔ路由树在这个多点连接上构成．这种体系较好地满足了视频会议中多点会话对称的传输要求，具有较高的效率．同时，文中采用网络的分层图表达来简化和降低多点连接构成的运算复杂度，并给出了相应的多点连接构成算法．

关键词：组通信 Multicast树多点连接视频会议多媒体

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：