检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

多重控制依赖向多重数据依赖的转换

电子学报 1990年第2期18卷 1-7页

作者：范植华北京系统工程研究所

在强化定理的基础上,文献[3]建立的闭合定理与判别定理把单层控制依赖转移到闭体的单层数据依赖之中,进而利用文献[4—9]关于赋值语句循环的成果解决它们的向量化问题。本文运用上述思想于包含控制结构的多重循环,把多重控制依赖转移到... 详细信息

在强化定理的基础上,文献[3]建立的闭合定理与判别定理把单层控制依赖转移到闭体的单层数据依赖之中,进而利用文献[4—9]关于赋值语句循环的成果解决它们的向量化问题。本文运用上述思想于包含控制结构的多重循环,把多重控制依赖转移到多重数据依赖之中,进而利用文献[10,11]关于多重赋值语句循环的已有成果,圆满地解决包含控制结构的多重循环的向量化问题。文中的例题尽管已简化到仅起示意作用,但仍复杂到向量化文献迄今未曾处理过,本文成功地实现了它们的向量化。

关键词：多重控制多重数据转换控制论

基于双层ID空间的Peer-to-Peer文件系统设计与实现

在线全文

学校读者我要写书评

暂无评论

计算机工程 2005年第10期31卷 69-71,167页

作者：马燕王亮范植华中国科学院软件研究所北京100080

提出并实现了一种建立在Peer-to-Peer 搜索策略上的自组织、自适应、高效和可靠的文件系统DISPFS(Double ID Space basedPeer-to-peer File System)。它在双层ID 空间中构造虚拟存储节点,不仅有效地取得了文件系统内的负载均衡、提高系... 详细信息

提出并实现了一种建立在Peer-to-Peer 搜索策略上的自组织、自适应、高效和可靠的文件系统DISPFS(Double ID Space basedPeer-to-peer File System)。它在双层ID 空间中构造虚拟存储节点,不仅有效地取得了文件系统内的负载均衡、提高系统利用率,而且保证了动态环境中文件的可靠、快速获取。试验数据表明,DISPFS 在系统接近满负荷运行和文件插入/删除操作频繁的双重压力下依然保持优良的性能。

关键词： DISPFS Peer-to-Peer 文件系统双层ID空间虚拟存储节点

在线全文

学校读者我要写书评

暂无评论

MPI程序同步通信基本模型死锁检测

电子学报 2008年第2期36卷 402-407页

作者：廖名学范植华中国科学院软件研究所北京100080

本文提出了MPI程序的同步通信模型及三个基本简化模型,给出了判定这些基本模型是否死锁的方法和定理并予以了严格证明.简化模型的死锁检测理论和方法是真实MPI程序死锁检测的必要基础.这些方法基于程序静态分析,必要时进行运行时检测,... 详细信息

本文提出了MPI程序的同步通信模型及三个基本简化模型,给出了判定这些基本模型是否死锁的方法和定理并予以了严格证明.简化模型的死锁检测理论和方法是真实MPI程序死锁检测的必要基础.这些方法基于程序静态分析,必要时进行运行时检测,它们对两种简化模型可以在程序编译前确定是否死锁,对另外一种模型,在编译前可静态确定部分死锁,运行中可确定其他死锁.我们的理论可以证明MPI程序死锁检测主流算法的正确性,其方法可以减少它们对客户源代码或MPI profiling接口的修改量,从而大大降低死锁检测开销,并可在运行前判定死锁.

关键词： MPI(Message Passing Interface) 死锁同步通信

在线全文

学校读者我要写书评

暂无评论

动态字母表算术编码

软件学报 2001年第2期12卷 283-292页

作者：王忠效范植华中国科学院软件研究所北京100080

研究了动态字母表统计模型的有关性质以及建立动态字母表模型应予以注意的问题 .理论与实验表明 ,动态字母表模型在没有牺牲时间性能的情况下 ,能够提高预测的准确性 ,从而获得更好的编码效率 .动态字母表对于建立大字符集文种 (如汉语 ... 详细信息

研究了动态字母表统计模型的有关性质以及建立动态字母表模型应予以注意的问题 .理论与实验表明 ,动态字母表模型在没有牺牲时间性能的情况下 ,能够提高预测的准确性 ,从而获得更好的编码效率 .动态字母表对于建立大字符集文种 (如汉语 )文本压缩的统计模型具有重要意义 .

关键词：数据压缩算术编码信源符号动态字母表信源编码

在线全文

学校读者我要写书评

暂无评论

反原形向量化与拟离散性

计算机学报 1991年第10期14卷 741-747页

作者：范植华中国科学院软件研究所汉京电脑公司北京100080

如何利用循环体诸如初值、终值、步长和下标式等数学对象的诸如恒等、正负、单调性一类的数学特征,按照严格推导出来的简单规则,绕过各种复杂的数据依赖关系图及其上诸如拓扑排序或等价变换等复杂的操作,直接从事向量化处理,这是极富实... 详细信息

如何利用循环体诸如初值、终值、步长和下标式等数学对象的诸如恒等、正负、单调性一类的数学特征,按照严格推导出来的简单规则,绕过各种复杂的数据依赖关系图及其上诸如拓扑排序或等价变换等复杂的操作,直接从事向量化处理,这是极富实用价值的研究方向.文献[2,3,5]给出的可原形/准原形算法,以及本文的可反原形与拟离散性,正是这样的捷径.它们能使相当部分的常见循环,直接向量化.

关键词：软件反原形向量化拟离散性

在线全文

学校读者我要写书评

暂无评论

串行运算向量化的丢番图方程及其限界解法

应用数学学报 1991年第4期14卷 441-449页

作者：范植华中国科学院软件所汉京电脑公司

综观计算机的发展史,对超高运算速度的追求是刺激巨型机发展的首要指标。因此,所有的巨型机都是以并行处理为基础的。在巨型机不断地更新换代的过程中,面向向量型并行计算的向量机,成为现代巨型机的主要型式。在通常的标量机中,标量是... 详细信息

综观计算机的发展史,对超高运算速度的追求是刺激巨型机发展的首要指标。因此,所有的巨型机都是以并行处理为基础的。在巨型机不断地更新换代的过程中,面向向量型并行计算的向量机,成为现代巨型机的主要型式。在通常的标量机中,标量是基本操作对象。例如下面的两个DO循环:

关键词：丢番图方程向量化限界解法

在线全文

学校读者我要写书评

暂无评论

数据相关性理论及其在并行处理中的应用 1

1999年

作者：范植华

全书共11章，内容涉及硬件并行设施、语言并行机制、数据相关视图、语句视图和依赖片断、变量视图、元素视图、控制依赖向数据依赖的转换、多岔控制转移的结构化重构、分部并行与循环分布、变序点分割、递归分割与并行划分等方面。

ISBN: (纸本)7030070860

关键词：并行算法数据相关

来源：畅想之星图书光盘版（南... 评论

在线全文

畅想之星图书光盘版（南通市图书馆镜像）

学校读者我要写书评

暂无评论

基于封箱演算的形式化组织模型

系统仿真学报 2008年第6期20卷 1455-1458页

作者：张卫华范植华中国科学院软件研究所综合技术集成国家重点实验室北京100084

组织是群体对抗的主要形式。一个好的组织模型有利于提高规划识别的精度和效率。封箱(seal)演算是π-演算的变体。将封箱演算引入动态联盟组织模型建模中,为组织模型的形式化研究提供新的手段。利用封箱演算工具,给出了形式化组织模型,... 详细信息

组织是群体对抗的主要形式。一个好的组织模型有利于提高规划识别的精度和效率。封箱(seal)演算是π-演算的变体。将封箱演算引入动态联盟组织模型建模中,为组织模型的形式化研究提供新的手段。利用封箱演算工具,给出了形式化组织模型,提出了一种基于角色的层次性组织生成方法,并讨论了由于角色变化带来的组织动态调整。

关键词：角色层次化组织封箱演算规划识别

在线全文

学校读者我要写书评

暂无评论

基于系统级诊断理论的卫星网络故障诊断

电子学报 2005年第11期33卷 2066-2069页

作者：侯霞范植华胡刚北京机械工业学院计自系北京100085 中科院软件所通用软件实验室北京100080

本文将系统级诊断引入到卫星网络的故障诊断领域.针对卫星可以具有多个通信方向且可以部分通信失效的特性,提出了一种新颖的卫星网络建模方法———双层节点图,设计了基于广播的卫星网络系统级诊断方案,并对其通信开销进行了理论分析.... 详细信息

本文将系统级诊断引入到卫星网络的故障诊断领域.针对卫星可以具有多个通信方向且可以部分通信失效的特性,提出了一种新颖的卫星网络建模方法———双层节点图,设计了基于广播的卫星网络系统级诊断方案,并对其通信开销进行了理论分析.测试中充分利用了卫星广播和一对多的通信模式,使本方案不但适用于任意类型的网络拓扑,而且可以节省通信量.仿真结果表明诊断的通信开销随网络中可通信端口数量的减少而下降.

关键词：系统级诊断故障检测故障诊断卫星网络双层节点图