建筑工程预算计算机软件系统设计与实现

1

作者 杨明泰 唐连章 《中南矿冶学院学报》 CSCD 1991年第3期307-312,共6页

本文介绍作者研制的建筑工程预(结)算计算机软件系统的设计思想,数据结构和处理方法。主要使用数据流图及程序框图说明了维护子系统和预(结)算子系统的处理过程及有关算法。

关键词 建筑工程 预算 计算机 软件 设计

在线阅读 下载PDF 职称材料

计算机辅助设计数字系统的一种新方法

2

作者 侯水英 谭汉松 《中南矿冶学院学报》 CSCD 1993年第3期405-410,共6页

本文先介绍了用面向对象语言C++开发的计算机辅助设计数字系统(CADDS)的基本原理,然后简述了用逻辑法,功能法和网络法设计与仿真数字电路的过程。

关键词 逻辑 组合电路 CAD 数字系统

在线阅读 下载PDF 职称材料

工科大学物理试题库管理系统的设计与研究

3

作者 唐连章 杨明泰 吴耀斌 《中南矿冶学院学报》 CSCD 1990年第6期652-657,共6页

本文阐述了建立大学(工科)物理试题库的重要意义和建库的理论基础。构造了物理试题库的数学模型及其指标体系,提出了一套物理试题库的设计方案以及在微机上实现的技术和方法,同时介绍了物理试题库管理系统的主要功能和技术指标。对建立... 本文阐述了建立大学(工科)物理试题库的重要意义和建库的理论基础。构造了物理试题库的数学模型及其指标体系,提出了一套物理试题库的设计方案以及在微机上实现的技术和方法,同时介绍了物理试题库管理系统的主要功能和技术指标。对建立试题库的关键技术作了分析和论述。 展开更多

关键词 物理 试题库 管理系统 设计

在线阅读 下载PDF 职称材料

专家系统规则启发式划分和并行推理

4

作者 贾维嘉 《中南矿冶学院学报》 CSCD 1989年第6期651-657,共7页

本文提出了一个启发式规则划分办法并分析了并行规则推理的代价,设规则集合被划分为π=(π_1,π_2,…,π_k),则对于任何一个规则R_i∈π_i,在π_(i-1)中至少有某个R_i,R_i与R_i在某种代换下相关,如果串行推理对规则进行一次遍历所费时... 本文提出了一个启发式规则划分办法并分析了并行规则推理的代价,设规则集合被划分为π=(π_1,π_2,…,π_k),则对于任何一个规则R_i∈π_i,在π_(i-1)中至少有某个R_i,R_i与R_i在某种代换下相关,如果串行推理对规则进行一次遍历所费时间代价为C,对于同样规则划分π进行多处理机或进程并行推理一遍遍历代价至多为C′,C′≤(k/~#R)C。其中~#R是规则集合R的基数,同时给出一个实例和推理代价的实验数据。 展开更多

关键词 人工智能 专家系统 划分 并行处理

在线阅读 下载PDF 职称材料

一个多媒介数据库系统原型

5

作者 潘久辉 《中南矿冶学院学报》 CSCD 1989年第5期541-546,共6页

本文从应用的角度提出一个多媒介数据库系统的功能设计原型。文章首先对经典的面向对象的方法进行了扩充使之适应于多媒介信息系统环境的要求。在此基础上,针对很大一类应用环境定义了一组内容寻址的基本模式和一组施于对象的基本操作,... 本文从应用的角度提出一个多媒介数据库系统的功能设计原型。文章首先对经典的面向对象的方法进行了扩充使之适应于多媒介信息系统环境的要求。在此基础上,针对很大一类应用环境定义了一组内容寻址的基本模式和一组施于对象的基本操作,并设计了一个肖像型的视觉化用户接口。 展开更多

关键词 数据库 信息系统 数据模型

在线阅读 下载PDF 职称材料

高等院校工资基金管理系统的设计及实现 被引量：1

6

作者 许五生 《中南矿冶学院学报》 CSCD 1993年第3期411-415,共5页

本文介绍了高等院校工资基金管理系统的开发与研制过程,论述了系统的设计思想和实现方法。整个系统采用C-DBASEⅢ编写,通俗易懂,适用性强。系统还兼有易读、易维护、易扩充等特点。

关键词 数据库 DBASE 程序设计 工资管理

在线阅读 下载PDF 职称材料

中小型企业微型机物资管理系统的开发

7

作者 杨路明 陈福盈 刘士勤 《中南矿冶学院学报》 CSCD 1989年第3期294-300,共7页

本文介绍了一个微型机物资管理系统,在分析系统建立过程的基础上,对中小型企业管理信息系统的开发进行了有益的探讨。

关键词 企业 物资管理 微机

在线阅读 下载PDF 职称材料

用标识文法并行处理复杂对象

8

作者 陈松乔 贾维嘉 《中南矿冶学院学报》 CSCD 1992年第4期447-454,共8页

本文依据复杂对象的内部状态,用标识文法表示其结构,将形式语言的概念和对象层次结构联系起来;阐述复杂对象权的概念以及对象和标识文法之间的等价关系,讨论了关于对象演算的并行处理,给出了在特定并行环境下,顺序执行与并行执行的复杂... 本文依据复杂对象的内部状态,用标识文法表示其结构,将形式语言的概念和对象层次结构联系起来;阐述复杂对象权的概念以及对象和标识文法之间的等价关系,讨论了关于对象演算的并行处理,给出了在特定并行环境下,顺序执行与并行执行的复杂性;在构造对象公式和相关文法形式模型的基础上,研究了非常复杂对象(如对象数据库)的操作和准则。 展开更多

关键词 对象 标识 规则 数据库 并行处理

在线阅读 下载PDF 职称材料

部分赋值一阶逻辑公式的条件求值——NP完全性及在特定情况下的求解

9

作者 潘久辉 《中南矿冶学院学报》 CSCD 1989年第2期204-211,共8页

部分赋值的一阶逻辑公式的条件求值问题是在关系数据库应用,尤其是在分布式环境下应用中经常遇到的问题。此问题在一般意义下的解是NP完全的。本文首先证明此问题的解存在的充要条件,从而推知其NP完全性。然后给出该问题在一种特定情况... 部分赋值的一阶逻辑公式的条件求值问题是在关系数据库应用,尤其是在分布式环境下应用中经常遇到的问题。此问题在一般意义下的解是NP完全的。本文首先证明此问题的解存在的充要条件,从而推知其NP完全性。然后给出该问题在一种特定情况下的求解方法。 展开更多

关键词 条件求值问题 公式 情况 赋值 特定 证明 一般 NP完全 一阶逻辑 关系数据库

在线阅读 下载PDF 职称材料

有限离散偏序集哈斯图的自动生成

10

作者 王加阳 《中南矿冶学院学报》 CSCD 1993年第1期108-112,共5页

本文从CAI的角度,设计并实现了一种帧面型的CAI软件。该软件对任一关系可进行偏序判定,进而判定偏序集合是否为格,并由偏序求出其盖住关系,引入哈斯图逻辑层次的概念,在屏幕上自动生成哈斯图,完全达到了理论与实际的一致性。

关键词 偏序集 哈斯图 CAI 软件 有限离散

在线阅读 下载PDF 职称材料

MIS中决策支持、联网与数据库的设计

11

作者 曾三槐 《中南矿冶学院学报》 CSCD 1990年第2期213-218,共6页

论文运用管理科学、计算机网络及数据库工程等基本理论,结合开发MIS的实践,针对MIS有关决策支持、联网、数据库的设计进行了详细分析,提出如何确定MIS边界的原则以及分布式处理,中心数据库的设计策略。

关键词 信息系统 网络 数据库 决策

在线阅读 下载PDF 职称材料

并发Smalltalk中的并行规则推理

12

作者 贾维嘉 《中南矿冶学院学报》 CSCD 1989年第4期444-451,共8页

本文着重讨论如何用并发Smalltalk-80来实现产生式规则的并行处理,规则推理主要应用于专家系统,这种机制是建立在顺序推理之上,同时讨论了前向、后向的归纳、演绎推理和规则匹配的复杂度。

关键词 SMALLTALK 人工智能 规则推理

在线阅读 下载PDF 职称材料

多层神经网络的软件工具设计与应用 被引量：1

13

作者 赵显富 黄之林 《中南矿冶学院学报》 CSCD 1993年第3期391-397,共7页

本文介绍多层神经网络模型及其改进型反向传播算法,提出了运用Turbo-C语言实现其软件工具的设计原理和方法,并经实例验证是可行的,为用户提供了一种开发多层神经网络应用的通用性软件工具CSBP。

关键词 神经网络 TURBO-C语言 软件

在线阅读 下载PDF 职称材料

程序理解及汇编源程序辅助理解工具TALU

14

作者 陈松乔 谭文颖 《中南矿冶学院学报》 CSCD 1991年第2期301-306,共6页

本文讨论程序分析(理解)的理论和方法,重点阐述用于分析的扫描算法,在此基础上简单介绍我校开发的、能帮助程序分析人员分析理解汇编源程序的工具TALU。开发该工具的目的在于降低软件理解对人的智力依赖程度,提高分析人员理解程序的效... 本文讨论程序分析(理解)的理论和方法,重点阐述用于分析的扫描算法,在此基础上简单介绍我校开发的、能帮助程序分析人员分析理解汇编源程序的工具TALU。开发该工具的目的在于降低软件理解对人的智力依赖程度,提高分析人员理解程序的效率和准确度。TALU可以对IBM/PC汇编语言程序提供较强的综合分析能力。并对分析结果提供各种形式的输出报告。 展开更多

关键词 程序理解 车辆理解工具 TALU 软件

全文增补中

开发中文函数式数据库语言的探讨

15

作者 邢琳 《中南矿冶学院学报》 CSCD 1992年第4期459-466,共8页

函数式数据库语言是一种新颖的数据库语言,它提供统一的计算模型和数据模型。数据库的定义、操作、查询都基于Lambda表达式和计算。函数式数据库语言继承了函数语言的杰出优点:高阶函数、惰性计算、抽象机制、模式匹配。本文讨论开发并... 函数式数据库语言是一种新颖的数据库语言,它提供统一的计算模型和数据模型。数据库的定义、操作、查询都基于Lambda表达式和计算。函数式数据库语言继承了函数语言的杰出优点:高阶函数、惰性计算、抽象机制、模式匹配。本文讨论开发并行函数数据库语言的前景,探讨一些实现要素。 展开更多

关键词 数据库 中文 函数式 高级语言

在线阅读 下载PDF 职称材料

多级矢量量化语音波形

16

作者 陈移风 《中南矿冶学院学报》 CSCD 1989年第1期93-99,共7页

本文介绍了一种通用多级矢量量化器的设计方法。这种量化器能有效地克服运算复杂度与存贮器需要量随矢量维数成指数律增长的困难,因而能采用较大的矢量维数以达到较佳的数据压缩率。该方法允许任意指定量化器的级数、矢量维数、每采样... 本文介绍了一种通用多级矢量量化器的设计方法。这种量化器能有效地克服运算复杂度与存贮器需要量随矢量维数成指数律增长的困难,因而能采用较大的矢量维数以达到较佳的数据压缩率。该方法允许任意指定量化器的级数、矢量维数、每采样码数或传输速率,并按任意指定的数目生成初始码本并将它们优化到局部最优点,然后从中挑出最佳者。该方法中误差计算为一独立模块,可通过更换不同模块来实现以不同误差测量准则来优化码本。由于该方法能方便地设计出具有各种不同参数的多级矢量量化器,故能对量化器级数、矢量维数、每采样码数及不同误差测量方法与量化器性能的关系作有效地研究模拟。本文还给出用该法设计的传输速率为16kbit/s及9.6kbit/s两个多级语音波形矢量量化器的模拟结果。 展开更多

关键词 矢量量化 语音波形 矢量量化器

在线阅读 下载PDF 职称材料