oalib

Publish in OALib Journal

ISSN: 2333-9721

APC: Only $99

Submit

Any time

2019 ( 106 )

2018 ( 1986 )

2017 ( 2088 )

2016 ( 2220 )

Custom range...

Search Results: 1 - 10 of 109370 matches for " 范植华 "
All listed articles are free for downloading (OA Articles)
Page 1 /109370
Display every page Item
离散层次与可准原形向量化

科学通报 , 1985,
Abstract: 文献1]把时序层次的离散性应用于A型循环,获得可原形向量化算法。本文旨在把文献1]的成果推广到包含控制结构的I0型循环。定义1 任给一个I0型循环。倘若其闭体具有离散层次,则称该循环也有离散层次。例1.DO 1 I=1,1000,21 IF(A(I).LT.0)A(I)=0
循环中的偏序结构

科学通报 , 1987,
Abstract: FORTRAN DO循环的全体构成一个无穷集,在其中定义一个有意义的“序”是一件有意义的事情。本文证明了文献1]阐明的循环强弱关系具备自反性、反对称性和传递性,从而在循环中建立一个偏序结构。
离散层次与可原形向量化

科学通报 , 1985,
Abstract: 文献1]指出:在沿着串行运算的语义追踪AO型循环的过程中,元素的出现构成一个队列。任给一个AO型循环,定理1证明了其元素的出现队列是唯一确定的。定理2证明了该队列在子女关系下具有层次结构。一般而言,时序层次的初始状态是杂乱无章的,子女链和再生链把所有的元素出现交织成为一个整体,通常需要施行复杂的等价变换达到标准形。本文旨在探求一种结构松散的时序层次及其十分简便的向量化算法,并把影响可向量化性质的所有参数都最大限度地推广到识别阶段未必可计值的情形。
循环中的偏序结构

科学通报 , 1987,
Abstract: FORTRANDO循环的全体构成一个无穷集,在其中定义一个有意义的“序”是一件有意义的事情。本文证明了文献[1]阐明的循环强弱关系具备自反性、反对称性和传递性,从而在循环中建立一个偏序结构。
离散层次与可准原形向量化

科学通报 , 1985,
Abstract: 文献[1]把时序层次的离散性应用于A型循环,获得可原形向量化算法。本文旨在把文献[1]的成果推广到包含控制结构的I0型循环。定义1任给一个I0型循环。倘若其闭体具有离散层次,则称该循环也有离散层次。例1.DO1I=1,1000,21IF(A(I).LT.0)A(I)=0
离散层次与可原形向量化

科学通报 , 1985,
Abstract: 文献[1]指出在沿着串行运算的语义追踪AO型循环的过程中,元素的出现构成一个队列。任给一个AO型循环,定理1证明了其元素的出现队列是唯一确定的。定理2证明了该队列在子女关系下具有层次结构。一般而言,时序层次的初始状态是杂乱无章的,子女链和再生链把所有的元素出现交织成为一个整体,通常需要施行复杂的等价变换达到标准形。本文旨在探求一种结构松散的时序层次及其十分简便的向量化算法,并把影响可向量化性质的所有参数都最大限度地推广到识别阶段未必可计值的情形。
向量化的一种新方法

科学通报 , 1982,
Abstract: 称作A0型的,倘若I~o,s和c_j、d_i、c_(ij)、d_(ij)编译时可计值;称作A型的,倘若c_i、d_i、c_(ij)、d_(ij),编译时可计值。如果把逻辑IP的首部、块IF替换成逻辑暂存句,剔除ELSE和ENDIP后剩下一个A型循环(称作闭体),则称原循环为IO型的。定义2赋值句左部量称作右部量的子女;同一元素的后一定值称作前一定值的再生。在出现队列里构造时序层次的公理系统
MPI程序同步通信基本模型死锁检测
廖名学,
电子学报 , 2008,
Abstract: 本文提出了MPI程序的同步通信模型及三个基本简化模型,给出了判定这些基本模型是否死锁的方法和定理并予以了严格证明.简化模型的死锁检测理论和方法是真实MPI程序死锁检测的必要基础.这些方法基于程序静态分析,必要时进行运行时检测,它们对两种简化模型可以在程序编译前确定是否死锁,对另外一种模型,在编译前可静态确定部分死锁,运行中可确定其他死锁.我们的理论可以证明MPI程序死锁检测主流算法的正确性,其方法可以减少它们对客户源代码或MPIprofiling接口的修改量,从而大大降低死锁检测开销,并可在运行前判定死锁.
关于实时设备驱动程序自动生成的研究
,邢国光?
软件学报 , 1996,
Abstract: 软件系统的自动生成是90年代软件工程的主流.由于专用实时设备的高效管理与灵活加接是任何计算机专用实时系统不可或缺的基本功能,加之它们的类别和型号、数量和质量的与日俱增,如何克服专用外设驱动模块的易变性成为任何专用实时系统自动生成的关键.本文介绍作者在专用实时设备驱动程序自动化研究中的初步成果,重点是他们自行研制的专用实时设备驱动程序半自动生成器rtdg(realtimedevicegenerator)的内部构造与实现技术,以及一个经过实践考验的应用实例.此项实时系统自动生成研究过程中的阶段性成果已通过部委
Multicast Management in Military Command System
军事指挥系统中的组播管理

常志勇,
计算机系统应用 , 2004,
Abstract: 摘要本文根据军事指挥的特点,建立了一个专门进行网络管理的分层结构的组播树,完成了对整个军事指挥系统的管理任务.此系统通过组播的方式,实现对各结点的动态管理,以适应瞬息万变的战时需要.
Page 1 /109370
Display every page Item


Home
Copyright © 2008-2017 Open Access Library. All rights reserved.