一种异构计算系统中考虑通信冲突的有效任务调度算法

1

作者 万剑怡 孙永强 薛锦云 《小型微型计算机系统》 CSCD 北大核心 2002年第2期133-135,共3页

任务调度是异构计算的核心问题之一 .现有的异构计算系统的任务调度算法基本上没有考虑任务通信时可能在同一通道中发生冲突的情况 ,因而造成任务调度的结果与实际运行结果之间的差异 .本文提出了一种异构计算系统中的基于表调度 (list ... 任务调度是异构计算的核心问题之一 .现有的异构计算系统的任务调度算法基本上没有考虑任务通信时可能在同一通道中发生冲突的情况 ,因而造成任务调度的结果与实际运行结果之间的差异 .本文提出了一种异构计算系统中的基于表调度 (list scheduling)的启发式任务调度算法 ,该算法考虑了任务通信中通道冲突的情况 ,在不提高算法复杂度的同时提高了任务调度的性能 . 展开更多

关键词 异构计算系统 启发式算法 通信冲突 有效任务调度算法 计算机

在线阅读 下载PDF 职称材料

半相依回归模型中回归系数新估计的效率 被引量：1

2

作者 甘登文 《江西师范大学学报（自然科学版）》 CAS 1993年第2期127-130,共4页

对于半相依多元线性模型中的回归系数,刘爱义提出了一种新的估计,本文对这个新估计的效率进行了讨论.

关键词 半相依回归 估计 回归系数

在线阅读 下载PDF 职称材料

智能决策支持系统中克星循环的处理方法

3

作者 王明文 薛锦云 《计算机应用研究》 CSCD 1999年第8期1-2,7,共3页

本文利用关系矩阵给出一个更为简单的寻找有效循环算法，证明了此算法的正确性；并讨论了在智能决策支持系统中如何综合各个决策者的决策关系矩阵，给出了应用实例。

关键词 决策支持系统 克星循环 关系矩阵 人工智能

在线阅读 下载PDF 职称材料

专家系统支持的变形以太网络结构的设计

4

作者 曾国荪 田玉 《计算机应用与软件》 CSCD 1998年第6期16-20,共5页

变形以太网是在传统以太网的基础上增加通道(数据链路)实现的,它克服了以太网的缺陷:缺乏秘密安全通讯的保证;难于建立交互通讯;难于在系统负载增大的情况下,进一步改善网络性能等。本文提出了专家系统支持的变形以太网络结构的设计,所... 变形以太网是在传统以太网的基础上增加通道(数据链路)实现的,它克服了以太网的缺陷:缺乏秘密安全通讯的保证;难于建立交互通讯;难于在系统负载增大的情况下,进一步改善网络性能等。本文提出了专家系统支持的变形以太网络结构的设计,所设计的专家系统用来决定在何处插入附加数据链路,以便满足不同的要求,如:用户私下通讯和交互通讯要求、网络传输量的要求、网络连接成本等。通过应用伪树型以太网络结构,我们建立开销的直接数据链路和引入的间接数据链路达到了折衷。 展开更多

关键词 以太网 局域网 变形网络 专家系统

在线阅读 下载PDF 职称材料

码保持关系模式变换理论

5

作者 周定康 《计算机学报》 EI CSCD 北大核心 1995年第10期770-776,共7页

本文定义了分类属性的六个函数和属性集弱闭包概念，开发了决定双元非主属性的算法；并从变换技术入手，导出了将一个关系模式映射成与之等码的简单关系模式的理论和方法．

关键词 数据库 关系模式 候选关键字 关系数据库

在线阅读 下载PDF 职称材料

多处理系统并行活动的模拟实现技术

6

作者 聂承启 《小型微型计算机系统》 CSCD 北大核心 1995年第9期44-50,共7页

本文提出了在单处理机系统上模拟实现多处理系统中并行活动的基本理论与技术，并阐述了如何获得该系统下的一些重要性能参数，最后，利用面向对象程序设计方法（ＯＯＰ方法）给出了该模拟系统的高层设计框架。

关键词 多处理系统 并行活动 并行计算机 模拟实现技术

在线阅读 下载PDF 职称材料

消元法化简关系模式求所有候选关键字新方法

7

作者 周定康 《计算机研究与发展》 EI CSCD 北大核心 1995年第5期57-62,共6页

本文研究了通过消元法将一个关系模式化成与之具有相同候选关键字的一组简单关系模式的理论和方法。

关键词 数据库 关系模式 候选关键字 消元法

在线阅读 下载PDF 职称材料

关系模式中候选码数

8

作者 周定康 《江西师范大学学报（自然科学版）》 CAS 1994年第1期86-89,共4页

本文研究了关系模式中可能出现的候选码数;候选码数与属性、函数依赖之间的关系;候选码数的极值问题.

关键词 关系模式 候选码 关系数据库

在线阅读 下载PDF 职称材料

也谈带约束的回归系数的线性估计的可容许性

9

作者 丁晖 《江西师范大学学报（自然科学版）》 CAS 1992年第4期310-312,共3页

本文针对带齐次线性等式约束的线性模型(Y,Xβ,σ~2Γ,Γ≥0,Hβ=0),给出了回归系数 Sβ的估计 LY+α在线性估计类中可容许的充要条件,发展了《高校应用数学学报》1991;6(1)发表的“带约束的回归系数的线性估计的可容许性”一文中的主... 本文针对带齐次线性等式约束的线性模型(Y,Xβ,σ~2Γ,Γ≥0,Hβ=0),给出了回归系数 Sβ的估计 LY+α在线性估计类中可容许的充要条件,发展了《高校应用数学学报》1991;6(1)发表的“带约束的回归系数的线性估计的可容许性”一文中的主要结果,而且证明方法更加简单. 展开更多

关键词 约束 线性估计 回归系数

在线阅读 下载PDF 职称材料

一种基于设计模式的三阶段并行程序设计方法 被引量：9

10

作者 万剑怡 孙永强 薛锦云 《计算机研究与发展》 EI CSCD 北大核心 2002年第3期324-329,共6页

并行程序的可编程性是并行计算的难点之一 ,使用传统的方法对非数值问题进行并行求解则更加困难 .通过对设计模式概念的扩展 ,定义了算法模式与结构模式 ,以此为基础提出了一种基于设计模式的三阶段并行程序设计方法 ,并通过算法模式库... 并行程序的可编程性是并行计算的难点之一 ,使用传统的方法对非数值问题进行并行求解则更加困难 .通过对设计模式概念的扩展 ,定义了算法模式与结构模式 ,以此为基础提出了一种基于设计模式的三阶段并行程序设计方法 ,并通过算法模式库与结构模式库实现对该方法的系统支持 .该方法不仅可用于一般的数值问题求解 ,而且在处理复杂的非数值问题时与传统方法相比要简单得多 . 展开更多

关键词 设计模式 问题求解 并行程序设计方法 可编程性

在线阅读 下载PDF 职称材料

形式化方法B及其程序规约机理 被引量：16

11

作者 肖美华 薛锦云 《计算机工程》 CAS CSCD 北大核心 2004年第16期16-18,50,共4页

用形式化方法开发软件是提高软件可靠性和生产效率的革命性途径,是实现软件自动化的关键。文章针对B方法,介绍了其产生的历史背景,分析了其程序规约机理,并结合实例给出了B方法中抽象机的具体运用,对该方法的特点进行了评述。

关键词 形式化方法B 程序规约 抽象机 程序设计

在线阅读 下载PDF 职称材料

基于集合与序列的Ada可复用部件及应用 被引量：4

12

作者 李云清 杨庆红 薛锦云 《计算机工程》 EI CAS CSCD 北大核心 1998年第11期23-25,共3页

分析了集合与序列部件的基本特征，对基于集合与序列的Ada可复用部件的开发和正确性进行了介绍和讨论．

关键词 集合 序列 可复用部件 软件工程 ADA语言

在线阅读 下载PDF 职称材料

一种设计模式的混合规范描述模型研究 被引量：6

13

作者 万剑怡 薛锦云 《计算机工程》 CAS CSCD 北大核心 2001年第5期8-9,21,共3页

设计模式形式规范描述的研究对于设计模式的广泛重用具有重要的意义。以设计模式的模型规范描(DPs)3(Three-model Specification)述方法为基础,提出了一种设计模式的混合规范描述模型。该模型采用图示化的手段描述的静态结构,采用图示... 设计模式形式规范描述的研究对于设计模式的广泛重用具有重要的意义。以设计模式的模型规范描(DPs)3(Three-model Specification)述方法为基础,提出了一种设计模式的混合规范描述模型。该模型采用图示化的手段描述的静态结构,采用图示化和时态逻辑方法相结DPs合的手段描述动态行为中各参与者行为操作的语义,克服了一般图示化方法对进行完整描述需借助自然语言的补充从而DPs(participants)DPs引起的二义性问题,比较精确、完整地描述了的静态结构和动态行为。 展开更多

关键词 设计模式 形式规范 混合规范模型 软件设计

在线阅读 下载PDF 职称材料

一种从Z规约到并行程序的精化方法 被引量：3

14

作者 万剑怡 孙永强 薛锦云 《软件学报》 EI CSCD 北大核心 2002年第11期2106-2111,共6页

提出了一种通过对设计模式进行精化,从Z规约开发并行程序的方法.该方法对Z语言进行了并行扩充,从Z功能规约出发,通过使用扩展的设计模式逐步精化得到并行的设计规约,再通过保持语义的转换,得到可最后转换为并行代码的抽象并行程序.通过... 提出了一种通过对设计模式进行精化,从Z规约开发并行程序的方法.该方法对Z语言进行了并行扩充,从Z功能规约出发,通过使用扩展的设计模式逐步精化得到并行的设计规约,再通过保持语义的转换,得到可最后转换为并行代码的抽象并行程序.通过实例对这一方法进行了详细的描述. 展开更多

关键词 Z规约 并行程序 精化方法 程序设计

在线阅读 下载PDF 职称材料

数据并行程序中的动态负载平衡模型 被引量：1

15

作者 王明文 陆宁 +1 位作者 孙永强 薛景云 《计算机工程》 CAS CSCD 北大核心 2000年第11期6-8,共3页

在研究分析已有的负载平衡策略算法的基础上．应用Ｄｅｍｐｓｔｅｒ－Ｓｈａｆｅｒ的信任函数理论，提出了一种基于信度网络的负载平衡策略算法，此算法较适应动态负载平衡，而且优于负载平衡的随机算法，若忽略系统的通信花费则可达到... 在研究分析已有的负载平衡策略算法的基础上．应用Ｄｅｍｐｓｔｅｒ－Ｓｈａｆｅｒ的信任函数理论，提出了一种基于信度网络的负载平衡策略算法，此算法较适应动态负载平衡，而且优于负载平衡的随机算法，若忽略系统的通信花费则可达到系统的完全负载平衡，综合各种费用，提出的算法通过状态管理器，在不完全信息的状态下可使系统达到较满意的平衡．此外，基于信度网络的负载平衡策略算法不仅适应于虚拟非规则网络，也适应于虚拟规则网． 展开更多

关键词 动态负载平衡 数据分布 数据并行 单程序多数据模 信任函数 信度推理网络

在线阅读 下载PDF 职称材料

自动提取程序的SIMD和MIMD异构性 被引量：2

16

作者 曾国荪 陆鑫达 《计算机研究与发展》 EI CSCD 北大核心 2000年第11期1397-1403,共7页

异构计算是并行处理的一个新领域 ,可望达到超级线性加速比 .提取程序的异构性是异构计算的一个重要步骤 ,这方面的工作难度大 ,概念和术语含糊不清 .从程序结构和程序运行的观点出发 ,清楚地给出了 SIMD,MIMD并行性的形式定义 ,它是提... 异构计算是并行处理的一个新领域 ,可望达到超级线性加速比 .提取程序的异构性是异构计算的一个重要步骤 ,这方面的工作难度大 ,概念和术语含糊不清 .从程序结构和程序运行的观点出发 ,清楚地给出了 SIMD,MIMD并行性的形式定义 ,它是提取程序异构性的依据 .还提出了基于程序结构变换和基于性能分析的两种方法 ,该方法可作为开创自动提取程序异构性的框架 . 展开更多

关键词 程序异构性 异构计算 SIMD MIMD

在线阅读 下载PDF 职称材料

C++的虚拟函数和虚拟基类 被引量：1

17

作者 滕少华 黄育潜 黄明和 《江西师范大学学报（自然科学版）》 CAS 1992年第4期313-318,共6页

面向对象的程序设计给出了一种新的思考方式和一种与结构化程序设计有较大不同的新的程序设计方法学.本文论述了面向对象的程序设计语言 C++中两个与虚拟有关的特性,并给出了相应的实例.

关键词 面向对象 C++ 虚拟函数 虚拟基类

在线阅读 下载PDF 职称材料

关于群组决策特征根法的注记 被引量：5

18

作者 王明文 谭玮 《江西师范大学学报（自然科学版）》 CAS 1999年第3期219-222,共4页

邱苑华教授提出了一个群组决策的特征根法GEM(Groupeigenvaluemethod),为决策支持系统中的专家选择开辟了新路,但文中主要定理所需要的条件是不满足的.本文作者给出了反例,并提出了使用特征根法时的一个准则.

关键词 群组决策 理想专家 评分夹角 反例 特征根法

在线阅读 下载PDF 职称材料

候选关键字的判定理论 被引量：5

19

作者 周定康 《计算机学报》 EI CSCD 北大核心 1992年第4期258-263,共6页

在关系数据库理论中,确定关系模式的候选关键字是一个NP完全问题,至今尚无有效的理论.本文提出关系模式唯一候选关键字存在性的充要条件和开发了具有单属性函数依赖候选关键字的求解规则.

关键词 候选关键字 关系模式 关系数据库

在线阅读 下载PDF 职称材料

求候选关键字的替换算法及其正确性和完备性证明 被引量：5

20

作者 周定康 《计算机学报》 EI CSCD 北大核心 1994年第10期743-749,共7页

本文研究了用替换方法求解候选关键字的理论和算法，并证明了该算法的正确性和完备性．

关键词 数据库 候选关键字 替换算法

在线阅读 下载PDF 职称材料