期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
8
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
PLC面向对象结构化程序研究与应用
被引量:
2
1
作者
曾海燕
《自动化技术与应用》
2010年第7期51-54,共4页
本文以PLC多电磁阀控制设计为例,阐述PLC面向对象结构化设计思想.同时为形成一种较为固定完整的子功能框架模式,将状态转移图应用在系统主要子功能模块中。合理的程序结构与良好的编程模式,可以降低程序开发的难度,增加程序的可读性和...
本文以PLC多电磁阀控制设计为例,阐述PLC面向对象结构化设计思想.同时为形成一种较为固定完整的子功能框架模式,将状态转移图应用在系统主要子功能模块中。合理的程序结构与良好的编程模式,可以降低程序开发的难度,增加程序的可读性和系统的可维护性。
展开更多
关键词
PLC程序
程序结构
面向对象
结构化
子功能模块
状态转移图
下载PDF
职称材料
一种基于状态转换图的时序电路等价验证算法
被引量:
1
2
作者
魏萌
唐璞山
《微电子学与计算机》
CSCD
北大核心
2007年第7期112-114,共3页
提出一种基于状态转换图的时序电路等价验证算法。此算法通过验证两时序电路的状态转换图是否同构,得到两电路是否等价的信息。若两状态转换图同构,则两图中的状态可一一匹配为等价状态对,算法将状态转换图存储为待验证等价状态对的形式...
提出一种基于状态转换图的时序电路等价验证算法。此算法通过验证两时序电路的状态转换图是否同构,得到两电路是否等价的信息。若两状态转换图同构,则两图中的状态可一一匹配为等价状态对,算法将状态转换图存储为待验证等价状态对的形式,若所有待验证等价状态对均为等价,则两时序电路等价,反之,则不等价。此算法对ISCAS89测试电路进行验证,与基于BDD方法的SIS系统和基于时间帧展开算法相比,均有较好的结果。
展开更多
关键词
时序电路等价验证
状态转换图
状态对
下载PDF
职称材料
归一化卡诺图及其在时序网络设计中的应用
3
作者
黄茂祥
《湖州师范学院学报》
1988年第6期77-83,46,共8页
本文论述了触发器的文字激励表和状态控制函数的归一化卡诺图,指出它在求最简时序网络中能够简化设计过程,最后通过序列检测器和多模计数器设计说明归一化卡诺图的实际应用.
关键词
时序网络
状态转换图
文字激励表
状态控制函数
归一化卡诺图
下载PDF
职称材料
专用短程通信协议初始化内核的设计
4
作者
张北海
李全发
吴佳
《公路交通科技》
CAS
CSCD
北大核心
2012年第S1期96-102,146,共8页
专用短程通信(DSRC)协议是智能交通系统(ITS)领域用于车路无线通信的重要基础通信协议,目前已在国内高速公路电子不停车收费(ETC)系统中得到实际应用。DSRC通信协议中路测设备(RSU)与车载单元(OBU)建立连接的第一步也是最重要的一环,即...
专用短程通信(DSRC)协议是智能交通系统(ITS)领域用于车路无线通信的重要基础通信协议,目前已在国内高速公路电子不停车收费(ETC)系统中得到实际应用。DSRC通信协议中路测设备(RSU)与车载单元(OBU)建立连接的第一步也是最重要的一环,即为本文讨论的内容——初始化内核的设计,具体设计中首先分析了DSRC协议栈,特别是应用层的核心架构,论述了初始化内核的功能和任务;然后分别介绍了RSU端和OBU端的初始化内核设计,详细分析了各自的全部触发事件、状态转移和执行动作。初始化内核协议状态机的设计提高了初始化内核的实现效率、可靠性和实现的完备性,从而为软件或硬件实现提供了重要的理论基础。
展开更多
关键词
智能交通
初始化内核
状态转移表
专用短程通信
电子收费
原文传递
电能计量系统中数据库触发器的设计
5
作者
吴鸿超
陈冲
+1 位作者
陈显枝
李锦彬
《福州大学学报(自然科学版)》
CAS
CSCD
北大核心
2005年第4期473-476,共4页
以电能计量系统为应用背景,分析了采用功能强弱不同的数据库管理系统之间应用软件的设计差别,给出了一种以减少应用软件开发工作量及提高其运行效率为目的的数据库设计思路.设计触发器时,重点考虑存放实时与历史的电能数据及故障信息,...
以电能计量系统为应用背景,分析了采用功能强弱不同的数据库管理系统之间应用软件的设计差别,给出了一种以减少应用软件开发工作量及提高其运行效率为目的的数据库设计思路.设计触发器时,重点考虑存放实时与历史的电能数据及故障信息,并反映计量点的状态转移情况.
展开更多
关键词
触发器
电能计量
数据库管理系统
SQL
SERVER
状态图
原文传递
面向对象软件的测试
被引量:
3
6
作者
于卫
郭建强
+1 位作者
蔡希尧
陈平
《西安电子科技大学学报》
EI
CAS
CSCD
北大核心
1998年第6期725-728,共4页
简要介绍了目前常用的几种程序测试方法,分析了测试面向对象程序的特点,并结合应用实例阐述了基于对象-状态转换图的面向对象程序测试方法.最后借助于自动机指导用户的测试用例设计和测试结果预测.
关键词
测试
面向对象
软件开发
下载PDF
职称材料
PLC在纺织厂双电源互为备用控制电路中的应用
被引量:
1
7
作者
顾子明
蔡永东
包东飞
《北京纺织》
2005年第3期51-54,共4页
提出了用PLC代替继电器控制,实现对纺织厂双电源互为备用电路的控制,并通过对其硬件接线图、程序状态转移图和梯形图的分析,阐明了PLC控制的可行性。
关键词
备用电源
自动投入
PLC
状态转移图
梯形图
下载PDF
职称材料
PLC状态转移图在电极压放控制系统上的应用
8
作者
梁奕
《铁合金》
北大核心
2007年第3期35-38,共4页
介绍了三菱PLC状态转移图编程语言在铁合金矿热炉电极压放顺序控制中的应用,对于铁合金电炉的改造具有一定的实用意义。
关键词
PLC状态转移图
电极压放
应用
下载PDF
职称材料
题名
PLC面向对象结构化程序研究与应用
被引量:
2
1
作者
曾海燕
机构
汕头大学工学院
汕头轻工装备研究院
出处
《自动化技术与应用》
2010年第7期51-54,共4页
文摘
本文以PLC多电磁阀控制设计为例,阐述PLC面向对象结构化设计思想.同时为形成一种较为固定完整的子功能框架模式,将状态转移图应用在系统主要子功能模块中。合理的程序结构与良好的编程模式,可以降低程序开发的难度,增加程序的可读性和系统的可维护性。
关键词
PLC程序
程序结构
面向对象
结构化
子功能模块
状态转移图
Keywords
PLC
programming
structure
of
program
original-object
structured
sub-function
module
state
transfer
diagram
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
一种基于状态转换图的时序电路等价验证算法
被引量:
1
2
作者
魏萌
唐璞山
机构
复旦大学微电子系专用集成电路国家重点实验室
出处
《微电子学与计算机》
CSCD
北大核心
2007年第7期112-114,共3页
基金
国家自然科学基金项目(90207002)
文摘
提出一种基于状态转换图的时序电路等价验证算法。此算法通过验证两时序电路的状态转换图是否同构,得到两电路是否等价的信息。若两状态转换图同构,则两图中的状态可一一匹配为等价状态对,算法将状态转换图存储为待验证等价状态对的形式,若所有待验证等价状态对均为等价,则两时序电路等价,反之,则不等价。此算法对ISCAS89测试电路进行验证,与基于BDD方法的SIS系统和基于时间帧展开算法相比,均有较好的结果。
关键词
时序电路等价验证
状态转换图
状态对
Keywords
sequential
equivalence
checking
state
transfer
diagram
state
pair
分类号
TP302 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
归一化卡诺图及其在时序网络设计中的应用
3
作者
黄茂祥
出处
《湖州师范学院学报》
1988年第6期77-83,46,共8页
文摘
本文论述了触发器的文字激励表和状态控制函数的归一化卡诺图,指出它在求最简时序网络中能够简化设计过程,最后通过序列检测器和多模计数器设计说明归一化卡诺图的实际应用.
关键词
时序网络
状态转换图
文字激励表
状态控制函数
归一化卡诺图
Keywords
Sequential
Network,
state
transfer
diagram
,
Literal
Ex
citation
Table,
state
Control
Function,
Normalized
Karnaugh
map
分类号
TP39 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
专用短程通信协议初始化内核的设计
4
作者
张北海
李全发
吴佳
机构
北京速通科技有限公司
出处
《公路交通科技》
CAS
CSCD
北大核心
2012年第S1期96-102,146,共8页
基金
北京市交通委员会2011年北京市交通行业科技项目(Ky2011-18)
文摘
专用短程通信(DSRC)协议是智能交通系统(ITS)领域用于车路无线通信的重要基础通信协议,目前已在国内高速公路电子不停车收费(ETC)系统中得到实际应用。DSRC通信协议中路测设备(RSU)与车载单元(OBU)建立连接的第一步也是最重要的一环,即为本文讨论的内容——初始化内核的设计,具体设计中首先分析了DSRC协议栈,特别是应用层的核心架构,论述了初始化内核的功能和任务;然后分别介绍了RSU端和OBU端的初始化内核设计,详细分析了各自的全部触发事件、状态转移和执行动作。初始化内核协议状态机的设计提高了初始化内核的实现效率、可靠性和实现的完备性,从而为软件或硬件实现提供了重要的理论基础。
关键词
智能交通
初始化内核
状态转移表
专用短程通信
电子收费
Keywords
intelligent
transportation
I-KE
state
transfer
diagram
DSRC
ETC
分类号
U4 [交通运输工程—道路与铁道工程]
原文传递
题名
电能计量系统中数据库触发器的设计
5
作者
吴鸿超
陈冲
陈显枝
李锦彬
机构
福州大学电气工程与自动化学院
出处
《福州大学学报(自然科学版)》
CAS
CSCD
北大核心
2005年第4期473-476,共4页
文摘
以电能计量系统为应用背景,分析了采用功能强弱不同的数据库管理系统之间应用软件的设计差别,给出了一种以减少应用软件开发工作量及提高其运行效率为目的的数据库设计思路.设计触发器时,重点考虑存放实时与历史的电能数据及故障信息,并反映计量点的状态转移情况.
关键词
触发器
电能计量
数据库管理系统
SQL
SERVER
状态图
Keywords
trigger
energy
measuring
system
DBMS
SQL
Server
state
transfer
diagram
分类号
TM933 [电气工程—电力电子与电力传动]
原文传递
题名
面向对象软件的测试
被引量:
3
6
作者
于卫
郭建强
蔡希尧
陈平
机构
西安电子科技大学软件研究所
出处
《西安电子科技大学学报》
EI
CAS
CSCD
北大核心
1998年第6期725-728,共4页
文摘
简要介绍了目前常用的几种程序测试方法,分析了测试面向对象程序的特点,并结合应用实例阐述了基于对象-状态转换图的面向对象程序测试方法.最后借助于自动机指导用户的测试用例设计和测试结果预测.
关键词
测试
面向对象
软件开发
Keywords
testing
object
oriented
object
state
transfer
diagram
finite
automator
分类号
TP311.52 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
PLC在纺织厂双电源互为备用控制电路中的应用
被引量:
1
7
作者
顾子明
蔡永东
包东飞
机构
南通纺织职业技术学院
出处
《北京纺织》
2005年第3期51-54,共4页
文摘
提出了用PLC代替继电器控制,实现对纺织厂双电源互为备用电路的控制,并通过对其硬件接线图、程序状态转移图和梯形图的分析,阐明了PLC控制的可行性。
关键词
备用电源
自动投入
PLC
状态转移图
梯形图
Keywords
Standby
power
supply
Automatic
put-in
PLC
program
state
transfer
diagram
ladder
diagram
.
分类号
TS941.26 [轻工技术与工程—服装设计与工程]
下载PDF
职称材料
题名
PLC状态转移图在电极压放控制系统上的应用
8
作者
梁奕
机构
广西八一铁合金(集团)有限责任公司
出处
《铁合金》
北大核心
2007年第3期35-38,共4页
文摘
介绍了三菱PLC状态转移图编程语言在铁合金矿热炉电极压放顺序控制中的应用,对于铁合金电炉的改造具有一定的实用意义。
关键词
PLC状态转移图
电极压放
应用
Keywords
state
transfer
diagram
of
PLC
electrode
slipping,
application
分类号
TF632 [冶金工程—钢铁冶金]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
PLC面向对象结构化程序研究与应用
曾海燕
《自动化技术与应用》
2010
2
下载PDF
职称材料
2
一种基于状态转换图的时序电路等价验证算法
魏萌
唐璞山
《微电子学与计算机》
CSCD
北大核心
2007
1
下载PDF
职称材料
3
归一化卡诺图及其在时序网络设计中的应用
黄茂祥
《湖州师范学院学报》
1988
0
下载PDF
职称材料
4
专用短程通信协议初始化内核的设计
张北海
李全发
吴佳
《公路交通科技》
CAS
CSCD
北大核心
2012
0
原文传递
5
电能计量系统中数据库触发器的设计
吴鸿超
陈冲
陈显枝
李锦彬
《福州大学学报(自然科学版)》
CAS
CSCD
北大核心
2005
0
原文传递
6
面向对象软件的测试
于卫
郭建强
蔡希尧
陈平
《西安电子科技大学学报》
EI
CAS
CSCD
北大核心
1998
3
下载PDF
职称材料
7
PLC在纺织厂双电源互为备用控制电路中的应用
顾子明
蔡永东
包东飞
《北京纺织》
2005
1
下载PDF
职称材料
8
PLC状态转移图在电极压放控制系统上的应用
梁奕
《铁合金》
北大核心
2007
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部