检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

用户指导的并行化策略的研究与实现

计算机工程 2005年第4期31卷 71-73,84页

作者：刘勇陆鑫达上海交通大学计算机科学与工程系上海200030

提出的用户指导的并行化策略,提供给程序员一个图形化的交互界面,首先由程序员选择并行算法,然后通过配置向导对所选择的并行算法进行定制,生成配置文件,然后参照配置文件自动生成并行程序的框架代码,并将程序员提供的元任务的串行代码... 详细信息

提出的用户指导的并行化策略,提供给程序员一个图形化的交互界面,首先由程序员选择并行算法,然后通过配置向导对所选择的并行算法进行定制,生成配置文件,然后参照配置文件自动生成并行程序的框架代码,并将程序员提供的元任务的串行代码嵌入到框架代码中,最后生成并行程序,这样程序员就可以较方便高效地编写并行程序了。

关键词：用户指导的并行化配置向导框架代码元任务

基于VTK的CFD数据可视化Grid Service设计和实现

在线全文

学校读者我要写书评

暂无评论

计算机工程 2005年第3期31卷 195-197页

作者：漆晓峰陆鑫达上海交通大学计算机系上海200030

应用可视化工具VTK和Java 在网格计算环境下实现了一个用于CFD数据后处理的高效率、易扩展、实用的可视化网格服务,网格服务接口用Web服务语言(WSDL)描述,网格服务内部实现使用VTK作为可视化内核,构建网格环境的中间件系统使用的是基于O... 详细信息

应用可视化工具VTK和Java 在网格计算环境下实现了一个用于CFD数据后处理的高效率、易扩展、实用的可视化网格服务,网格服务接口用Web服务语言(WSDL)描述,网格服务内部实现使用VTK作为可视化内核,构建网格环境的中间件系统使用的是基于OGSA的GT3。实验结果表明,可视化网格服务可以充分利用远程强大计算资源,为性能较弱的客户端提供强大的可视化处理能力。

关键词：网格服务数据可视化可视化工具网格环境 OGSA 计算资源内核内部系统使用构建

在线全文

学校读者我要写书评

暂无评论

身份认证协议的模型检测分析

计算机学报 2003年第2期26卷 195-201页

作者：徐蔚文陆鑫达上海交通大学计算机科学与工程系上海200030

提出一个直观、易用的模型来模拟和验证身份认证协议 ,并给出基于Spin(模型检测工具 )的实现 ,它不仅可以模拟多对参与者同时进行会话 ,而且还有效缩减了状态空间 ,从而避免了以前文献中提到的状态爆炸现象 .同时该文用Needham Schroede... 详细信息

提出一个直观、易用的模型来模拟和验证身份认证协议 ,并给出基于Spin(模型检测工具 )的实现 ,它不仅可以模拟多对参与者同时进行会话 ,而且还有效缩减了状态空间 ,从而避免了以前文献中提到的状态爆炸现象 .同时该文用Needham Schroeder公钥协议和TMN协议来说明如何应用该模型 .

关键词：身份认证协议模型检测分析伪随机函数通信协议

具有公平性约束的CTL部分状态空间模型检测

在线全文

学校读者我要写书评

暂无评论

计算机工程 2003年第5期29卷 10-12页

作者：徐蔚文陆鑫达上海交通大学计算机工程系上海200030

检测部分状态空间是近年来出现的有效解决状态爆炸的模型检测技术，部分Kripke 结构是描述部分状态空间的形式框架。文章主要讨论一类具有公平性约束条件的CTL（计算树逻辑）模型检测问题。定义了部分公平Kripke结构和公平序，分别来表... 详细信息

检测部分状态空间是近年来出现的有效解决状态爆炸的模型检测技术，部分Kripke 结构是描述部分状态空间的形式框架。文章主要讨论一类具有公平性约束条件的CTL（计算树逻辑）模型检测问题。定义了部分公平Kripke结构和公平序，分别来表征部分公平状态空间和它们之间的序关系。并给出相应的3值CTL语意和相关定理来说明部分状态空间模型检测技术同样适用于具有公平性约束条件的CTL模型检测问题。

关键词：公平性约束 CTL 部分状态空间模型检测部分Kripke结构计算树逻辑命题逻辑

调整数组大小——一种减少 Cache 失效率的有效方法

在线全文

学校读者我要写书评

暂无评论

上海交通大学学报 1997年第8期31卷 44-48页

作者：陈杰陆鑫达上海交通大学计算机科学与工程系

循环分块是提高Ｃａｃｈｅ命中率的有效途径，但循环分块后仍然存在Ｃａｃｈｅ的干扰失效问题．循环分块的副作用也是影响程序效率的一个重要因素．

关键词：失效率编译程序 Cache 调整数组大小法

在线全文

学校读者我要写书评

暂无评论

异构计算系统的三元模型与性能分析

上海交通大学学报 1997年第8期31卷 12-15页

作者：郑飞陆鑫达上海交通大学计算机科学与工程系

基于异构计算系统（ＨＣＳ）体系结构的双层异构性，提出一种描述ＨＣＳ体系结构的三元模型，其本质是对ＨＣＳ各类性能模型作出划分．推导并分析ＨＣＳ〈０，２＊。

关键词：性能分析三元模型计算机网络异构计算系统

在线全文

学校读者我要写书评

暂无评论

考虑网络性能的广域网系统中机群的通信模型

计算机工程 2004年第9期30卷 15-16,30页

作者：邬延辉陆鑫达上海交通大学计算机科学系上海200030

网格中的机群或者超级计算机通过广域网互相连接，在这个平台上进行并行编程应用的一个主要问题是它们的等级网络结构，广域网上的延迟和带宽通常是局域网中的好几倍。该文针对LogP模型进行了扩展，提出带参数的LogP模型，详细讨论比较... 详细信息

网格中的机群或者超级计算机通过广域网互相连接，在这个平台上进行并行编程应用的一个主要问题是它们的等级网络结构，广域网上的延迟和带宽通常是局域网中的好几倍。该文针对LogP模型进行了扩展，提出带参数的LogP模型，详细讨论比较了其中的各个参数以及如何通过实验对它们进行测量。在此模型基础上通过选取合适的通信结构，并且把消息分割成多个部分，在不同的广域连接上采用并行化发送，达到优化通信操作的目的。

关键词：网络性能通信模型并行计算广域网机群

JOGR——利用Java对象组关系支持多模式并行编程

在线全文

学校读者我要写书评

暂无评论

电子学报 2002年第11期30卷 1718-1721页

作者：邓倩妮陆鑫达上海交通大学计算机科学与工程系上海200030

为支持在机群环境和Grid环境中实现Master/Slave、“分而治之”、“阶段并行”等多种并行范例 ,本文提出了Master/Group/Slave编程模式JOGR ,利用JOGR可以实现机群环境下的动态数据分配和负载均衡 .此外 ,我们还基于WebServic技术和Jav... 详细信息

为支持在机群环境和Grid环境中实现Master/Slave、“分而治之”、“阶段并行”等多种并行范例 ,本文提出了Master/Group/Slave编程模式JOGR ,利用JOGR可以实现机群环境下的动态数据分配和负载均衡 .此外 ,我们还基于WebServic技术和Java语言实现了JOGR .

关键词： JOGR Java WebService 对象组集群计算格点计算并行编程范例

一种基于双向拍卖机制的计算网格资源分配方法

在线全文

学校读者我要写书评

暂无评论

计算机学报 2006年第6期29卷 1004-1008,F0003页

作者：翁楚良陆鑫达上海交通大学计算机科学与工程系上海200030

针对计算网格资源的特点以及运用经济机制进行网格资源管理所具有的灵活性及有效性,提出一种改进的基于双向拍卖机制的网格资源分配方法.首先,描述了基于双向拍卖机制的资源分配框架,整个系统由买方、卖方和计算资源经纪人组成.然后,针... 详细信息

针对计算网格资源的特点以及运用经济机制进行网格资源管理所具有的灵活性及有效性,提出一种改进的基于双向拍卖机制的网格资源分配方法.首先,描述了基于双向拍卖机制的资源分配框架,整个系统由买方、卖方和计算资源经纪人组成.然后,针对网格中的CPU资源,提出一种改进的双向拍卖机制,采用统一拍卖方式,可以灵活调节交易双方的付费.进而,分析了该双向拍卖机制满足优势策略激励相容、预算平衡以及个人理性的特点,并定义了拍卖机制的效率.最后,通过实验分析了双向拍卖分配机制的效率.

关键词：计算网格资源分配双向拍卖效率仿真