分布式计算机应用水平考试系统的设计与实现 被引量：12

1

作者 吴锦林 吴清锋 《计算机工程与设计》 CSCD 2003年第3期52-54,共3页

传统的基于“集中式”的计算机应用水平考试系统存在诸多弊端,如过分依赖中心服务器、造成服务器的负载过大以及系统的扩展性和安全性差。同时,传统的集中控制模式使得系统的维护变得复杂和困难。介绍了分布式计算机应用水平考试系统的... 传统的基于“集中式”的计算机应用水平考试系统存在诸多弊端,如过分依赖中心服务器、造成服务器的负载过大以及系统的扩展性和安全性差。同时,传统的集中控制模式使得系统的维护变得复杂和困难。介绍了分布式计算机应用水平考试系统的软件结构,描述了系统实现过程中的主要技术,对基于网络的考试系统的安全性、主观题阅卷系统的智能化设计进行了详细论述。 展开更多

关键词 分布式计算机应用水平考试系统 设计 阅卷系统 计算模型

在线阅读 下载PDF 职称材料

支持多型号产品制造过程管理的数据库系统设计 被引量：5

2

作者 金天国 刘博 《哈尔滨工业大学学报》 EI CAS CSCD 北大核心 2001年第2期189-192,共4页

目前大型的 ＭＲＰ　ＩＩ或 ＥＲＰ系统软件在客户化时对用户的要求过高，需要准备的数据量大，管理流 程要求严格，这就导致实际应用的困难，尤其不适合多型号交叉、制造与研制并行的生产管理。给出了一个 支持航空航天产品制造过程管... 目前大型的 ＭＲＰ　ＩＩ或 ＥＲＰ系统软件在客户化时对用户的要求过高，需要准备的数据量大，管理流 程要求严格，这就导致实际应用的困难，尤其不适合多型号交叉、制造与研制并行的生产管理。给出了一个 支持航空航天产品制造过程管理的数据库系统的设计过程．介绍了项目管理的特点和数据库在项目管理中 的作用，利用面向过程和面向数据相结合的方法分析生产管理中的数据，给出了数据库系统设计的需求模 型、概念模型以及数据库结构模型，并分别用数据流图（Ｄａｔａ Ｆｌｏｗ Ｄｉａｇｒａｍ，ＤＦＤ）、ＩＤＥＦ１Ｘ图和表格来表达 设计结果。利用 ＳＱＬ Ｓｅｒｖｅｒ实现数据库系统的功能模块组成和运行过程，能较好地解决多型号产品研制过 程中的资源平衡、冲突检测、计划与控制等问题． 展开更多

关键词 型号产品 制造过程管理 项目管理 数据库 飞机 卫星

在线阅读 下载PDF 职称材料

专家系统推理的可视化研究 被引量：2

3

作者 陈德运 王育舒 《计算机工程与应用》 CSCD 北大核心 2000年第7期57-58,共2页

该文在介绍可视化基本概念及ICON系统形式化规范基础上，提出了专家系统推理过程可视化问题，并给出了一个具有可视特性的知识库系统的一般模型。

关键词 专家系统 推理 可视化 人工智能

在线阅读 下载PDF 职称材料

具有相关任务多组作业的均衡——压缩并行调度算法 被引量：2

4

作者 方程 王凤儒 《计算机应用》 CSCD 北大核心 2005年第B12期349-353,共5页

讨论了在分布式系统中多组作业的并行调度问题,提出了一种描述作业推进速度的指标———调度效率和一个新的并行调度算法(BCPSA)。以调度效率作为调度的依据,通过追求多组作业的均衡推进,来达到有效利用处理机时间的目的。同时利用静态... 讨论了在分布式系统中多组作业的并行调度问题,提出了一种描述作业推进速度的指标———调度效率和一个新的并行调度算法(BCPSA)。以调度效率作为调度的依据,通过追求多组作业的均衡推进,来达到有效利用处理机时间的目的。同时利用静态压缩算法,来进一步压缩调度长度,提高处理机的利用率。实验表明该算法具有较短的调度长度和较高的处理机利用率。 展开更多

关键词 分布式系统 多处理机 调度算法

在线阅读 下载PDF 职称材料

PMS:一种支持并行推理的模型 被引量：1

5

作者 刘欣然 胡铭曾 王文敏 《计算机工程与应用》 CSCD 北大核心 1998年第8期42-44,共3页

目前，许多成功的专家系统都是用产生式系统实现的，但是随着系统知识库规模的不断增长，推理效率却急骤下降．本文在分析了产生式系统的优点和不足的基础上，提出了一种改进方案，介绍一种能在多机环境下进行推理的并行成员系统ＰＭＳ... 目前，许多成功的专家系统都是用产生式系统实现的，但是随着系统知识库规模的不断增长，推理效率却急骤下降．本文在分析了产生式系统的优点和不足的基础上，提出了一种改进方案，介绍一种能在多机环境下进行推理的并行成员系统ＰＭＳ（ＰａｒａｌｅｌＭｅｍｂｅｒＳｙｓｔｅｍ）。 展开更多

关键词 并行成员系统 并行推理 专家系统 PMS

在线阅读 下载PDF 职称材料

面向对象的夹具装配模型的建立 被引量：1

6

作者 金天国 刘博 《光学精密工程》 EI CAS CSCD 2000年第6期513-517,共5页

给出一个面向对象 (O-O)的组合夹具装配建模方法。讨论了 O-O模型表达的一般方法 ,然后分析组合夹具装配设计中的各类对象以及对象类之间的关联关系 ,给出组合夹具装配设计类的静态结构和典型类的具体定义。讨论了利用 O-O方法建立的装... 给出一个面向对象 (O-O)的组合夹具装配建模方法。讨论了 O-O模型表达的一般方法 ,然后分析组合夹具装配设计中的各类对象以及对象类之间的关联关系 ,给出组合夹具装配设计类的静态结构和典型类的具体定义。讨论了利用 O-O方法建立的装配模型相对传统树 /图 (Tree/Graph)模型的优点 ,并在 Pro/E下给出一个 展开更多

关键词 面向对象 装配模型 夹具 CA 组合夹具

在线阅读 下载PDF 职称材料

可视程序设计语言形式化规范及应用的研究 被引量：2

7

作者 陈德运 陈经明 胡士忠 《计算机工程与应用》 CSCD 北大核心 1999年第3期33-35,共3页

可视化技术的出现，减少了人和计算机交流的障碍。文章主要介绍可视化程序设计的基本概念、可视化程序设计语言的形式规范的描述及可视化技术在专家系统推理中的应用。

关键词 可视化 程序设计语言 形式规范

在线阅读 下载PDF 职称材料

基于能量缓冲的优化消谐UPFC物理模型控制技术的研究

8

作者 李兰英 李霄燕 +1 位作者 董怀国 赵龄强 《电机与控制学报》 EI CSCD 北大核心 2001年第1期59-63,共5页

详细分析了基于能量缓冲统一潮流控制器物理模型中优化消谐ＰＷＭ方法开关脉冲的产生机理，提出了一种基于工控机和单片机来用公用ＲＡＭ技术传递数据的控制系统，解决了电网频率跟踪，相差调控等技术难题，为其物理模型的研制奠定了基础．

关键词 UPFC 物理模型 优化 消谐 PWM 能量缓冲 朝流控制器 电网

在线阅读 下载PDF 职称材料

基于物体的并行空间子分及数据分布

9

作者 范策 李朴 李岩 《计算机工程与应用》 CSCD 北大核心 1997年第11期38-40,共3页

本文提出了一种在超立方体互连拓扑下有效的并行子分方法，它把一个给定的图形自适应地分解成矩形区域，并把这些合成区域映射到多处理机的结点处理机上。所提出的方法利用有效的结构来加速标识分解的平面，并在并行空间分解的同时完成... 本文提出了一种在超立方体互连拓扑下有效的并行子分方法，它把一个给定的图形自适应地分解成矩形区域，并把这些合成区域映射到多处理机的结点处理机上。所提出的方法利用有效的结构来加速标识分解的平面，并在并行空间分解的同时完成区域和物体映射到结点处理机上。 展开更多

关键词 空间子分 拓扑结构 图形处理 数据分布

在线阅读 下载PDF 职称材料

机器定理证明的反向归约方法

10

作者 李爱中 黄厚宽 乔佩利 《软件学报》 EI CSCD 北大核心 1996年第6期354-359,共6页

基于代数和递归函数理论，本文定义了代数递归谓词．代数递归谓词是一类广泛的谓词．基于数学归纳法，作者给出了证明代数递归谓词永真性的反向归约方法及相应的算法Ｒｅｄｕｃｔｉｏｎ．由于采用反向归约方式来完成定理证明，从根本上... 基于代数和递归函数理论，本文定义了代数递归谓词．代数递归谓词是一类广泛的谓词．基于数学归纳法，作者给出了证明代数递归谓词永真性的反向归约方法及相应的算法Ｒｅｄｕｃｔｉｏｎ．由于采用反向归约方式来完成定理证明，从根本上消除了正向组合式定理证明所产生的组合爆炸，因而极大地提高了定理证明的效率． 展开更多

关键词 自动定理证明 反向归约 数学归纳法 人工智能

在线阅读 下载PDF 职称材料

PMS中的一种匹配通信机制

11

作者 刘欣然 胡铭曾 王文敏 《计算机科学》 CSCD 北大核心 1997年第6期48-51,共4页

过去在产生式系统的并行实现方面,人们往往将注意力放在共享存储的多处理器系统和专体系结构的机器上,而对基于消息传递的计算机系统却没有给予太多的关注。

关键词 PMS 匹配 通信 并行推理 人工智能

在线阅读 下载PDF 职称材料

多阶段建筑物资产运销随机规划模型

12

作者 刁宪君 高俊 杨树文 《商业研究》 北大核心 2003年第14期14-15,共2页

将建筑物资产运销多阶段纳入同一决策体系建立数学规划模型。首先从确定性规划模型入手 ,再转化为随机期望规划模型 ,然后再建立随机机会约束规划模型 ,并给出相应的求解模型的遗传算法过程。

关键词 随机规划 建筑物资 期望规划 机会约束规划 遗传算法

在线阅读 下载PDF 职称材料

基于线图的无β环混合依赖分解条件及算法

13

作者 刘文远 郝忠孝 《软件学报》 EI CSCD 北大核心 2000年第12期1656-1659,共4页

无β环数据库模式具有很多优良的特性 ,以往的研究都局限在图论的范畴内 ,而没有考虑数据库的其他规范化特性 .在混合依赖基概念的基础上 ,定义了严格无冲突、扩展严格无冲突等概念 ,并证明了在混合环境下得出的无损联接、保持依赖、无... 无β环数据库模式具有很多优良的特性 ,以往的研究都局限在图论的范畴内 ,而没有考虑数据库的其他规范化特性 .在混合依赖基概念的基础上 ,定义了严格无冲突、扩展严格无冲突等概念 ,并证明了在混合环境下得出的无损联接、保持依赖、无 β环且满足 4 N F的分解的充要条件是 ,混合依赖集是扩展严格无冲突的 .据此 ,给出了判断严格无冲突及混合环境下无β环分解算法 ,并分析了算法时间的复杂度是线性的 .最后 ,给出基于线图的实例验证 . 展开更多

关键词 数据库模式 混合依赖 线图 无Β环 无损联接 保持依赖

在线阅读 下载PDF 职称材料

PVM应用移植到MPI问题的探讨

14

作者 朱建秋 孙国振 +1 位作者 招兆铿 周丽娟 《计算机工程与应用》 CSCD 北大核心 1999年第3期27-29,共3页

消息传递方式是广泛应用于一些并行机，特别是分布存储并行机的一种模式。ＰＶＭ（ＰａｒａｌｌｅｌＶｉｒｔｕａｌＭａｃｈｉｎｅ）和ＭＰＩ（ＭｅｓｓａｇｅＰａｓｓｉｎｇＩｎｔｅｒｆａｃｅ）都是目前是广受欢迎的基于消息传递的并... 消息传递方式是广泛应用于一些并行机，特别是分布存储并行机的一种模式。ＰＶＭ（ＰａｒａｌｌｅｌＶｉｒｔｕａｌＭａｃｈｉｎｅ）和ＭＰＩ（ＭｅｓｓａｇｅＰａｓｓｉｎｇＩｎｔｅｒｆａｃｅ）都是目前是广受欢迎的基于消息传递的并行程序库，其中ＰＶＭ的消息传递接口，因其简单性，而没有给用户最大的灵活性以实现最佳的性能：为此，消息传递标准的讨论会工作组制定了消息传递接口ＭＰＩ标准，为ＰＶＭ实现最佳性能提供了可能。该文通过对ＰＶＭ和ＭＰＩ的比较，指出了从ＰＶＭ应用移植到ＭＰＩ应用时有利的方面和潜在的缺陷。如果一个应用程序能避开这些缺陷的影响，那么它就能够从移植中提高通信的性能，从而提高其分布式计算的性能。 展开更多

关键词 消息传递 软件移植 PVM MPI

在线阅读 下载PDF 职称材料