计算机工程
Computer Engineering
本刊是中国电子科技集团公司第三十二研究所(华东计算技术研究所)主办的学术性刊物,是上海市计算机学会会刊。主要特点:以最快的速度、科学求实的精神,精选刊登代表计算机行业前沿科研、技术、工程方面的高、精、尖优秀论文。贯彻党的“双百”方针,繁荣科技创作,促进国内外学术交流,探讨和传播计算机科学的理论和实践,加速和促进我国计算机事业的发展。
|
[中文期刊]
刊名:《计算机工程》
ISTIC
CSCD
1987年
005期
作者:林阿龙
作者单位:南京工学院 |
|
该文主要介绍逻辑程序设计语言LOGLISP的实现思想及采用的技术,介绍了LOGIC中的"语义合一"及"LISP归约"技术,讨论了"LISP专用形归结"原理.对"Cut"算子的实现提出了不同的思想.最后 |
|
关 键 词:SP表 谓词 专用 索引技术 逻辑程序设计语言 演绎树 子句 子目标 知识库 标识符 |
|
[中文期刊]
刊名:《计算机工程》
ISTIC
CSCD
1987年
005期
作者:左源儿
作者单位:华东计算技术研究所 |
|
SQL/DS是功能完备的数据库管理系统.它提供查询、报表输出、数据安全和完整性功能.该文简要介绍SQL/DS的特性、功能、数据结构及其应用. |
|
关 键 词:命令 关系型数据库 表格 存贮池 DASD |
|
[中文期刊]
刊名:《计算机工程》
ISTIC
CSCD
1987年
005期
作者:尤晋元
作者单位:上海交通大学 |
|
该文分析UNIX原通信机构的长处和不足,分析评述UNIX S-5共享数据存储及消息机构的基本设计思想、数据结构及有关算法. |
|
关 键 词:共享段 共享数据 进程通信 消息队列 息机 UNIX |
|
[中文期刊]
刊名:《计算机工程》
ISTIC
CSCD
1987年
005期
作者:沈一栋
作者单位:重庆大学 |
|
针对多联系环境下(Multiple Associations Environment)求极小覆盖存在的"非法删除信息"问题,该文提出了一个基于知识的极小覆盖自动生成系统-KAMCGS.该系统不仅具有自 |
|
关 键 词:系集 极小覆盖 |
|
[中文期刊]
刊名:《计算机工程》
ISTIC
CSCD
1987年
005期
作者:徐公权
作者单位:复旦大学 |
|
模块结构微程序设计是固件工程的重要基础.该文阐述了它的基本思想,并通过在VAX-11/780上运行仿真微程序的实例,说明模块结构微程序设计的方法. |
|
关 键 词:微程序设计 CALL 微指令 微模块 模块结构 |
|
[中文期刊]
刊名:《计算机工程》
ISTIC
CSCD
1987年
005期
作者:K.BALOGH
作者单位:南京大学 |
|
LDM(开发方法逻辑)是在各种抽象级上设计软件的方法、语言和支撑系统.它以逻辑程序设计(prolog)和维也纳开发方法(VDM)的思想为基础.该文叙述了该方法、语言,第一个实验性支撑系统,以及从它的使 |
|
关 键 词:DEFINES PROLOG M语言 操作定义 软件开发 支撑系统 HORN逻辑 规范说明 抽象级 |
|
[中文期刊]
刊名:《计算机工程》
ISTIC
CSCD
1987年
005期
作者:张遵濂
作者单位:西北工业大学 |
|
NPU-PROLOG 2.0是作者在IBM PC/XT上采用pascal语言实现的一个PROLOG解释系统.该文对该系统的核心部分作了介绍,主要包括:存贮管理、回溯处理和死循环检测. |
|
关 键 词:解释系统 PROLOG 谓词 再试 回溯算法 变量 |
|
[中文期刊]
刊名:《计算机工程》
ISTIC
CSCD
1987年
005期
作者:朱关铭
作者单位:上海科技大学 |
|
该文介绍以连接法定理证明器为基础的PROLOG系统及其特点. |
|
关 键 词:文字 PROLOG 连接法 子句 定理证明器 |
|
[中文期刊]
刊名:《计算机工程》
ISTIC
CSCD
1987年
005期
作者:刘少英
作者单位:西安交通大学 |
|
该文从数据结构入手,在结合功能测试方法和结构测试方法的基础上提出了一种便于自动生成测试数据的方法,并给出了实现算法和实现模型.实践证明,这种方法比测试数据的随机产生方法效率更高. |
|
关 键 词:条件表达式 数据依赖 输入变量名 测试数据 自动生成 关系化 边界值 字符串 |
|
[中文期刊]
刊名:《计算机工程》
ISTIC
CSCD
1987年
005期
作者:王悦民
作者单位:邮电部十所 |
|
Chill是并发功能很强的语言,进程间的通讯和同步是实现并发功能的重要部份.该文结合自己的经验介绍它们的实现方法. |
|
关 键 词:缓冲池 实现方法 RECEIVER 基本单位 缓冲区 通讯与同步 进程间通讯 |