期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
脉冲型时序逻辑网络设计的解析方法
AN ANALYTIC METHOD FOR DESIGNING PULSE MODE SEQUENTIAL LOGIC NETWORKS
下载PDF
职称材料
导出
摘要
在文献[1]的基础上,我们给出了脉冲型时序逻辑网络(包括同步网络和钟控异步网络)设计的解析方法。本文对该方法作简要介绍,本文使用[1]中的记号,不同之处,另作说明。
作者
姜文彬
机构地区
淮北煤炭师范学院
出处
《计算机学报》
EI
CSCD
北大核心
1989年第4期310-313,共4页
Chinese Journal of Computers
关键词
脉冲型
逻辑网络
解析法
分类号
O233 [理学—运筹学与控制论]
引文网络
相关文献
节点文献
二级参考文献
0
参考文献
1
共引文献
0
同被引文献
0
引证文献
0
二级引证文献
0
参考文献
1
1
姜文彬,电子学报,1985年,14卷,6期,112页
1
施庆生,张东摩.
基于中介逻辑的时序逻辑系统[J]
.Journal of Mathematical Research and Exposition,1998,18(3):465-471.
被引量:2
2
李聪睿.
时序规则表达法及其应用[J]
.硅谷,2009,2(1):127-128.
3
林闯,曲扬,李雅娟.
扩展时段时序逻辑的模型、一致性和推理[J]
.计算机学报,2002,25(12):1338-1347.
被引量:7
4
施庆生,朱梧檟.
中介时序逻辑系统MTL的模型论性质[J]
.南京航空航天大学学报,1996,28(6):800-805.
被引量:2
5
范磊,姚琼,谢元平,宋章启.
基于DSP的闭环光纤陀螺研究[J]
.光电子技术与信息,2005,18(2):59-61.
计算机学报
1989年 第4期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
微信扫一扫:分享
微信里点“发现”,扫一下
二维码便可将本文分享至朋友圈。
;
用户登录
登录
IP登录
使用帮助
返回顶部