检索结果-南通市图书馆

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

IF语句向量化的优化方法

电子学报 1988年第2期 8-15页

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

文献;1]初步探讨了包含IF语句的循环向量化目标程序的优化措施。在此基础之上,本文全面而深入地研究各种优化方法与算法。

关键词：语句右部向量化标值 IF 优化方法

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

向量化下标追踪法的工程实现

中国科学(A辑数学物理学天文学技术科学) 1983年第4期 380-388页

作者：范植华长沙工学院计算机研究所

在文献[1]的基础上,本文介绍下标追踪法工程实现中的若干技术,核心内容是层次片断定理。该定理给出追踪区间的确定方法和公式,实际上解决了坐标方法未能解决的整数环上受限二元一次方程的求解问题。在那里,添加同名数组下标表达式一次... 详细信息

在文献[1]的基础上,本文介绍下标追踪法工程实现中的若干技术,核心内容是层次片断定理。该定理给出追踪区间的确定方法和公式,实际上解决了坐标方法未能解决的整数环上受限二元一次方程的求解问题。在那里,添加同名数组下标表达式一次项系数全同的条件回避掉这个问题。层次片断定理突破了下标追踪法工程化的难关,并且进一步放宽对于赋值语句循环的限制,达到只要求步长和线性下标表达式系数编译时可计值的程度。

关键词：时序向量化循环体下标语句号追踪法

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

IF语句向量化的再识别算法

电子学报 1987年第1期 24-30页

作者：范植华长沙工学院

利用文献[6]和[7]的成果,本文给出IF语句向量化的再识别算法。据此研制的程序模块已经在某台巨型向量计算机上模拟成功,成为巨型向量机的关键性部件之一——向量识别器工程实现中的一个主要部分。

关键词：向量化逻辑语句识别算法 IF

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

简洁循环与冗余循环

中国科学:数学 1987年第6期 657-665页

作者：范植华国防科工委系统工程研究所北京

本文从信息冗余的角度,把FORTRAN DO循环分为简洁循环与冗余循环两大类,它们的时序层次相对而言,前者精练,后者臃肿.本文证明了简洁循环集里的每一个简洁循环,对应着冗余循环集里的一族冗余循环,这族冗余循环跟相对应的那个简洁循环表... 详细信息

本文从信息冗余的角度,把FORTRAN DO循环分为简洁循环与冗余循环两大类,它们的时序层次相对而言,前者精练,后者臃肿.本文证明了简洁循环集里的每一个简洁循环,对应着冗余循环集里的一族冗余循环,这族冗余循环跟相对应的那个简洁循环表现出同样的向量化性态,从而把数量庞大而结构臃肿的冗余循环集的向量化问题,归结为相对狭小而结构精练的简洁循环集的向量化问题.

关键词：定理下标变量左部右部冗余容错技术赋值语句

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

数据库管理系统一般结构的研究

电子学报 1983年第5期 70-75页

作者：范植华长沙工学院计算机研究所

在深入剖析ANSI/X3/sPARC体系和Paolo Paolini一般结构的利弊之后,本文提出抽象操作的概念,把各具体数据模型统一在“内模式—概念模式—抽象操作”的结构上。

关键词：数据操纵翻译程序程序系统概念模式数据库系统数据模型程序员

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

向量化下标追踪法的强化定理及其应用

计算机工程与科学 1982年第2期 40-45页

作者：范植华

强化原循环不可向量化的性态而得到一个新循环,倘若能够证明新循环是可向量化的,原循环则更是可向量化的。这就是“强化定理”的要旨,它反映了重言式: （A→B）→C（?）B→C所表达的逻辑规律。有了强化定理,我们就能够解决步长|s|>1的... 详细信息

强化原循环不可向量化的性态而得到一个新循环,倘若能够证明新循环是可向量化的,原循环则更是可向量化的。这就是“强化定理”的要旨,它反映了重言式: （A→B）→C（?）B→C所表达的逻辑规律。有了强化定理,我们就能够解决步长|s|>1的非单位增量一般赋值语句循环,以及包含IF、GOTO语句的DO循环的向量化问题。在文[1]和[2]的基础上,本文首先运用现代集合论工具对时序层次加以抽象,把它表示为由五种集合排列而成的五元组。由于有了这种抽象表示,子层次和循环强弱的概念建立起来。本文的主要成果在于证明了强化定理。该定理指出:任给一个弱强循环对,如果S的时序层次Hs能够在等价变换下达到标准形,那么,W的时序层次H也能够在等价变换下达到标准形。然后,本文应用强化定理证明了:倘若把一般赋值语句循环W的步长s改为s=SIGN（s）,得到的新循环S可向量化,原循环W则也是可向量化的。当我们把循环区间考虑作（-∞,+∞）时,自然可以进一步用1替代s。这样一来,我们就进一步撤消对步长的限制,彻底解决线性下标表达式的系数编译时可计值的一般赋值语句循环的向量化问题。这是强化定理的初步应用。

关键词：时序集合论数学理论定理标准形语句等价变换下标追踪法

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

向量化概论

电子学报 1986年第3期 102-109+113页

作者：范植华长沙工学院

本文系统而概括地论述串行运算向量化的基本思想、原理、方法及其用途。

关键词：向量化 DO 源程序软件向量运算向量机计算机算法并行算法识别器数据依赖关系程序变换串行程序赋值语句

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

计算机专用实时系统的共性与母系统的结构

系统工程与电子技术 1991年第10期13卷 8-15页

作者：范植华邢国光国防科工委系统工程研究所

时至今日,一个国家的国民经济地位在很大程度上取决于其开发计算机技术的能力。然而,作为计算机枝术渗入国民经济的尖兵,计算机专用实时系统长时期来是以型号任务为背景,单打一地通过手工方式研制的。针对这种落后状况,本文运用结构化... 详细信息

时至今日,一个国家的国民经济地位在很大程度上取决于其开发计算机技术的能力。然而,作为计算机枝术渗入国民经济的尖兵,计算机专用实时系统长时期来是以型号任务为背景,单打一地通过手工方式研制的。针对这种落后状况,本文运用结构化的模块程序设计方法,首次提出母系统-子系统框架,把花样翻新的专用实时系统科学地组织成为一个有机的整体。本文以设备管理作为示范,概述专用实时系统的共性与母系统的结构,其他构件将由另文详细描述。

关键词：计算机软件实时控制程序设计

维普期刊数据库

在线全文

学校读者我要写书评

暂无评论

Ada在操作系统中的应用

系统工程与电子技术 1989年第10期11卷 18-25页

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

Ada已被美国国防部选定为统一的军用实时和并发程序设计语言。它不仅适合编制应用软件,而且适合编制系统软件。操作系统是系统软件的主干项目。Ada在操作系统领域内的应用前景如何?本文讨论利用Ada实现操作系统,试图回答这个普遍关注的... 详细信息

Ada已被美国国防部选定为统一的军用实时和并发程序设计语言。它不仅适合编制应用软件,而且适合编制系统软件。操作系统是系统软件的主干项目。Ada在操作系统领域内的应用前景如何?本文讨论利用Ada实现操作系统,试图回答这个普遍关注的问题。

关键词： Ada语言操作系统程序设计调试

维普期刊数据库