-
题名有限自动机RTL描述的一种有效逻辑转换
被引量:1
- 1
-
-
作者
袁永昇
-
机构
东北师范大学物理系
-
出处
《计算机学报》
EI
CSCD
北大核心
1990年第6期470-474,共5页
-
文摘
本文为有限自动机M的RTL描述(有限自动机M的RTL描述请参看文[2])建立了几种转换规则和等效定理,并根据这些规则和定理将M的RTL程序转换为与M的硬件结构相对应的逻辑表达式。 1.预处理 为了进行这种转换必须做如下的准备工作。 (1) 为M的RTL程序中的各个语句指定命令字。命令字是语句执行的条件。
-
关键词
有限自动机
RTL描述
逻辑转换
-
分类号
TP31
[自动化与计算机技术—计算机软件与理论]
-
-
题名有限自动机的逻辑流程图分析法
- 2
-
-
作者
袁永升
兰亚坤
-
机构
东北师大物理系
-
出处
《东北师大学报(自然科学版)》
CAS
CSCD
1993年第3期50-55,共6页
-
文摘
本文将硬件设计语言 RTL 以及逻辑流程图用于有限自动机的逻辑分析,并为此建立了相应的定理和转换规则。
-
关键词
有限自动机
逻辑流程图
RTL
乘法器
-
Keywords
Finite automaton
Logic flowchart
-
分类号
TP332.22
[自动化与计算机技术—计算机系统结构]
-
-
题名有限自动机M的RTL描述
- 3
-
-
作者
袁永升
-
机构
东北师大物理系
-
出处
《东北师大学报(自然科学版)》
CAS
CSCD
1989年第2期31-34,共4页
-
文摘
1 前言有限自动机是一个五元组:M=〈X,S,Z,F,G〉其逻辑结构如图1所示。其中;输入向量 X_i={x_1,x_2,…,X_n}是变量 x_1,x_2,…,x_n 的有限序列。输出向量 Zj={z_1,z_2,…,z_m}是变量 z_1,z_2,…,z_m 的有限序列。状态向量 S_k={y_1,y_2,…,y_r}是变量 y_1,y_2,…,
-
关键词
有限自动机
RTL描述
逻辑函数
-
Keywords
Finite automaton
Register transfer language
Logic function
-
分类号
O233
[理学—运筹学与控制论]
-
-
题名有限自动机的CAD
- 4
-
-
作者
袁永升
岳丽娟
-
机构
东北师大静电研究所
-
出处
《东北师大学报(自然科学版)》
CAS
CSCD
1992年第4期43-48,共6页
-
文摘
本文是在文献[1]和[2]的基础上,以 RTL 的一个子集 AHPL 为工具,以PCSIM 模拟器为支持软件,将有限自动机 M 的源程序直接在 IBM—PC 机上进行逻辑模拟来研究有限自动机 M 的 CAD 方法。
-
关键词
有限自动机
CAD
-
Keywords
finite automaton
logical analogue
ahpl (an hardware programming language)
-
分类号
TP202
[自动化与计算机技术—检测技术与自动化装置]
-
-
题名JX2401用作Z80单板机定时显示器
- 5
-
-
作者
郝会新
袁永升
卢洪波
-
机构
东北师大物理系
-
出处
《东北师大学报(自然科学版)》
CAS
CSCD
1992年第3期47-52,共6页
-
文摘
本文给出了Z80单板机和JX2401定时显示器间传输数据的接口电路和汇编语言程序并成功的应用于双极型半导体器件寿命试验装置中。
-
关键词
定时显示器
半导体器件
单板机
-
Keywords
JX2401 timing disply, interfacing circuit, life testboard of bipolar smiconductor.
-
分类号
TP274.4
[自动化与计算机技术—检测技术与自动化装置]
-
-
题名多级节拍分配器的自启动电路
- 6
-
-
作者
袁永昇
-
出处
《电子技术(上海)》
北大核心
1990年第4期32-33,共2页
-
文摘
在数字控制的自动化设备中被广泛应用的节拍分配器又称为分相器。它的逻辑功能是将脉冲序列均匀地分配到各个控制线路中,达到分时操作的目的。构成节拍分配器的最简单方法是使用环形计数器。图1是使用环形计数器构成的4节拍分配器。这种电路虽然简单但是不能自启动。它须要有一个初始状态,在加电之后必须将电路置成初始状态: Q_1=1,Q_2=0,Q_3=0,Q_4=0 它才能正常地工作。
-
关键词
节拍分配器
分配器
启动电路
-
分类号
TP213
[自动化与计算机技术—检测技术与自动化装置]
-