期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
计算机辅助气动系统逻辑设计的研究
1
作者
刘永贤
张瑞金
《工程科学学报》
CSCD
北大核心
1994年第S3期105-105,共1页
本文对计算机辅助气动系统逻辑设计进行了深入研究,选择了逻辑综合的方法作为计算机辅助气动系统逻辑设计基本方法,采用立方符号表述逻辑函数,把逻辑运算表示为立方的相交、相容及锐积运算,提出用判断最小项来完成对给定程序的判断...
本文对计算机辅助气动系统逻辑设计进行了深入研究,选择了逻辑综合的方法作为计算机辅助气动系统逻辑设计基本方法,采用立方符号表述逻辑函数,把逻辑运算表示为立方的相交、相容及锐积运算,提出用判断最小项来完成对给定程序的判断和校正,进而实现了计算机的辅助逻辑综合,得到了最优的逻辑设计结果,并将此应用于计算机辅助气动系统设计中取得了良好的效果。
展开更多
关键词
计算机辅助
逻辑设计
气动系统设计
逻辑综合
逻辑函数
立方符号
锐积运算
逻辑
运算
给定程序
最小项
下载PDF
职称材料
题名
计算机辅助气动系统逻辑设计的研究
1
作者
刘永贤
张瑞金
机构
东北大学CAD/CAM研究中心
出处
《工程科学学报》
CSCD
北大核心
1994年第S3期105-105,共1页
文摘
本文对计算机辅助气动系统逻辑设计进行了深入研究,选择了逻辑综合的方法作为计算机辅助气动系统逻辑设计基本方法,采用立方符号表述逻辑函数,把逻辑运算表示为立方的相交、相容及锐积运算,提出用判断最小项来完成对给定程序的判断和校正,进而实现了计算机的辅助逻辑综合,得到了最优的逻辑设计结果,并将此应用于计算机辅助气动系统设计中取得了良好的效果。
关键词
计算机辅助
逻辑设计
气动系统设计
逻辑综合
逻辑函数
立方符号
锐积运算
逻辑
运算
给定程序
最小项
分类号
N55 [自然科学总论]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
计算机辅助气动系统逻辑设计的研究
刘永贤
张瑞金
《工程科学学报》
CSCD
北大核心
1994
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部