检索结果-南通市图书馆

使用Petri网T－不变量求解子句的逻辑推论

在线全文

学校读者我要写书评

暂无评论

计算机学报 1996年第10期19卷 762-767页

作者：林闯王鼎兴国家信息中心研究所清华大学计算机科学与技术系

本文研究了子句逻辑规则的Ｐｅｔｒｉ网模型的表示及使用Ｐｅｔｒｉ网分析方法进行逻辑推论．基于四值逻辑和冲突变迁的概念，表示了非Ｈｏｒｎ子句Ｐｅｔｒｉ网模型的构造，并使用Ｔ－不变量方法解决于句推论问题．另外，本文还显示了... 详细信息

本文研究了子句逻辑规则的Ｐｅｔｒｉ网模型的表示及使用Ｐｅｔｒｉ网分析方法进行逻辑推论．基于四值逻辑和冲突变迁的概念，表示了非Ｈｏｒｎ子句Ｐｅｔｒｉ网模型的构造，并使用Ｔ－不变量方法解决于句推论问题．另外，本文还显示了向前推论和向后推论在子句Ｐｅｔｒｉ网模型中的应用．

关键词：逻辑推论子句 Petri网 T-不变量人工智能

在线全文

学校读者我要写书评

暂无评论

一种机群网络文件系统的合作高速缓存技术

计算机学报 1997年第10期20卷 899-907页

作者：何军田范江王鼎兴清华大学计算机科学与技术系

随着网络技术和工作站性能的发展，合作高速缓存成为进一步提高机群系统上的网络文件系统性能的有效方法．本文提出了适于机群系统的基于分布式客户／服务器模型的合作高速缓存结构，设计了一种采用改进的ＬＲＵ替换策略的孤本优先一致... 详细信息

随着网络技术和工作站性能的发展，合作高速缓存成为进一步提高机群系统上的网络文件系统性能的有效方法．本文提出了适于机群系统的基于分布式客户／服务器模型的合作高速缓存结构，设计了一种采用改进的ＬＲＵ替换策略的孤本优先一致性协议，并对该协议的模拟实现的测试结果进行了分析评价，说明合作高速缓存的使用可大大减少磁盘访问次数，有效降低文件访问的平均响应时间．

关键词：合作高速缓存机群系统网络文件系统

在线全文

学校读者我要写书评

暂无评论

构造并行化系统交互环境的若干关键技术

软件学报 2001年第5期12卷 698-705页

作者：杨博王鼎兴郑纬民清华大学计算机科学与技术系北京100084

交互式并行化系统通过提供友好的交互功能并引入用户知识来协助程序的并行化 ,是解决自动并行化能力不足的一条有效途径 .描述了一个并行化系统交互环境 TIPSIE(interactive environment of Tsinghua interac-tive parallelizing system... 详细信息

交互式并行化系统通过提供友好的交互功能并引入用户知识来协助程序的并行化 ,是解决自动并行化能力不足的一条有效途径 .描述了一个并行化系统交互环境 TIPSIE(interactive environment of Tsinghua interac-tive parallelizing system) ,并就构造该环境的性能预测、增量编译和数据相关查询等关键技术进行了讨论 .实验结果表明。

关键词：增量编译数据相关查询性能预测交互式并行化系统编译程序

在线全文

学校读者我要写书评

暂无评论

UNIX系统源级调试器设计

小型微型计算机系统 1997年第1期18卷 30-36页

作者：熊建新王鼎兴清华大学计算机系

本文探讨在ＵＮＩＸ操作系统上设计和实现源级调试器的原理和方法。文章首先介绍了Ｓｏｌａｒｉｓ操作系统上与调试有关的系统资源，然后讨论了调试器的内部数据结构。

关键词：调试 UNIX 操作系统

在线全文

学校读者我要写书评

暂无评论

二次通过IBNC网络的终端标记控制算法

计算机学报 1989年第11期12卷 876-880页

作者：王鼎兴清华大学

***提出的IBNC(Indirect Binary n-Cube)网络能以间接的办法按方体结构实现处理机结点之间的互连,使处理机的端口数与系统的规模无关,因而被命名为 “间接二进制n方体网络”。

关键词： IBNC网络终端标记控制算法

在线全文

学校读者我要写书评

暂无评论

PARLOG跟踪调试器的设计实现技术

软件学报 1995年第9期6卷 534-541页

作者：马玉羚温冬婵王鼎兴清华大学计算机科学与技术系

本文讨论了ＰＡＲＬＯＧ交互式跟踪调试器的设计与实现技术．作者改进了Ｌ．Ｂｙｒｄ的盒式模型，使之可以描述ＰＡＲＬＯＧ的顺序执行模型．ＰＡＲＬＯＧ顺序化执行模型使计算具有确定性，易于用户调试程序．本文详细介绍了调试器实现... 详细信息

本文讨论了ＰＡＲＬＯＧ交互式跟踪调试器的设计与实现技术．作者改进了Ｌ．Ｂｙｒｄ的盒式模型，使之可以描述ＰＡＲＬＯＧ的顺序执行模型．ＰＡＲＬＯＧ顺序化执行模型使计算具有确定性，易于用户调试程序．本文详细介绍了调试器实现中确定调试层次、将顺序化模型中的平坦化计算恢复为树型、实现不同层次的跟踪算法等方面的研究成果．

关键词： PARLDG语言跟踪调试器设计

在线全文

学校读者我要写书评

暂无评论

一种在异构系统中实现负载平衡的方法

应用气象学报 2003年第4期14卷 410-418页

作者：金之雁王鼎兴中国气象科学研究院北京100081 清华大学计算机科学系北京100080

提出了在异构系统实现负载平衡的区域分解算法和实现负载平衡的计算方法 ,利用它的负反馈性质解决了异构系统处理机计算速度测量误差造成的负载测量不准问题 ,并对处理机速度变化 ,速度测量误差、处理机数量、网格点计算量的分布等因素... 详细信息

提出了在异构系统实现负载平衡的区域分解算法和实现负载平衡的计算方法 ,利用它的负反馈性质解决了异构系统处理机计算速度测量误差造成的负载测量不准问题 ,并对处理机速度变化 ,速度测量误差、处理机数量、网格点计算量的分布等因素的影响进行了计算 ,结果表明本方法具有很强的平衡负载能力和较强的适应性 ;根据计算结果提出了解决模式网格点计算量不易测量问题的解决方案 ,并用扩散方程和模拟物理过程进行试验 ,试验表明这种方法是可行的。

关键词：异构系统负载平衡区域分解算法负反馈性质速度测量误差处理机数量网格点计算量数值天气预报

在线全文

学校读者我要写书评

暂无评论

大规模数据并行问题的可扩展性分析

应用气象学报 2003年第3期14卷 369-374页

作者：金之雁王鼎兴中国气象科学研究院北京100081 清华大学计算机系北京100084

大规模数据并行处理的性能受到处理机数量、I/O速度、通信速度等多方面因素的制约。增加处理机数量或提高处理机的计算速度 ,可以提高计算机的整体处理速度 ,但是通信和I/O会成为影响并行效率的主要因素。为了综合分析这些因素对计算性... 详细信息

大规模数据并行处理的性能受到处理机数量、I/O速度、通信速度等多方面因素的制约。增加处理机数量或提高处理机的计算速度 ,可以提高计算机的整体处理速度 ,但是通信和I/O会成为影响并行效率的主要因素。为了综合分析这些因素对计算性能的影响 ,用一种比较典型的大规模数据并行的计算模型 ,具体分析了处理机数量、处理机速度与处理机间的通信延迟、通信速率以及输入输出速度之间的关系。得到了大规模并行机的通信和I/O性能与处理机速度与数量之间存在的关系。指出 ,增加处理机数量、提高单节点处理速度的同时 ,必须按照一定的关系相应增加节点间的通信性能和I/O性能。单纯以增加处理机数量、提高单处理机速度提高计算机峰值速度的方法会降低系统的计算效率 ,不能达到计算速度与计算机处理能力同步增长的目的。

关键词：大规模数据并行数据处理并行处理可扩展性分析计算模型计算机处理计算速度处理机

在线全文

学校读者我要写书评

暂无评论

异构系统中负载平衡扩散算法的加速方法

软件学报 2003年第5期14卷 904-910页

作者：金之雁王鼎兴中国气象科学研究院北京100081 清华大学计算机科学与技术系北京100084

目前,很多单位与组织都有连接着数百台工作站和微机的局域网,并将它们作为一个机群系统使用.在这样的异构系统上动态负载平衡是提高性能的一个重要方法.扩散方法是同构系统的动态负载平衡算法.将散算法扩展到异构系统中,对异构系统中速... 详细信息

目前,很多单位与组织都有连接着数百台工作站和微机的局域网,并将它们作为一个机群系统使用.在这样的异构系统上动态负载平衡是提高性能的一个重要方法.扩散方法是同构系统的动态负载平衡算法.将散算法扩展到异构系统中,对异构系统中速度不同的处理机的位置与扩散收敛速度的关系进行了研究,提出了加速扩散算法的收敛速度的优化方法.初步实验证明,该方法能通过合理安排处理机,加快扩散算法的速度.

关键词：异构系统负载平衡扩散算法局域网计算机网络