期刊文献+
共找到8篇文章
< 1 >
每页显示 20 50 100
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
上一页 1 下一页 到第
使用帮助 返回顶部