期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
108
篇文章
<
1
2
…
6
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
物流输送线控制图形化编程方法设计
被引量:
1
1
作者
吴帅举
杨其华
何雨辰
《现代电子技术》
2023年第13期91-96,共6页
为解决物流输送线上PLC编程方式工作量大、技术要求高的问题,设计图形化编程方法,应用于物流设备组线时替代PLC的自备单片机控制系统。通过对物流线运行原理的分析,确定了将流程图转换为控制指令的图形化转换方法,设计了编程平台的图形...
为解决物流输送线上PLC编程方式工作量大、技术要求高的问题,设计图形化编程方法,应用于物流设备组线时替代PLC的自备单片机控制系统。通过对物流线运行原理的分析,确定了将流程图转换为控制指令的图形化转换方法,设计了编程平台的图形化资源,定义对应图元的相关参数。针对流程图逻辑表达不清的问题,提出一种结构优化的算法,先将控制程序流图抽象化为AOV图,使用邻接表的方式存储数据,再针对组合判断和循环两种控制逻辑对AOV图进行结构优化和深度遍历调整,最后输出控制指令,发送给下位机,由下位机按规定顺序执行控制指令。研究结果表明,该图形化编程方法能够实现流程图向控制指令的转化,将生成的控制指令下发给下位机后,下位机能够按照流程图的逻辑运行。
展开更多
关键词
物流输送线
AOV图
邻接表
组合逻辑
图形化编程
流程图
控制指令
上位机
下载PDF
职称材料
LSC在微机联锁中的应用
被引量:
8
2
作者
卢佩玲
肖宝弟
《中国铁道科学》
EI
CAS
CSCD
北大核心
1998年第1期110-114,共5页
介绍了逻辑关联图LSC(Logic&SequenceCharts)的基本原理,并对其应用于微机联锁系统进行了研究,设计了基本元素的逻辑图和与站场对应的关联图,并在SUN工作站上仿真验证,证明设计是切实可行的。
关键词
逻辑关联图
铁路信号
微机
联锁系统
LSC
下载PDF
职称材料
车用燃料电池系统的性能衰退机理及影响因素分析
被引量:
6
3
作者
张新丰
杨代军
周拓
《汽车安全与节能学报》
CAS
2012年第3期276-286,共11页
耐久性问题是制约车用燃料电池系统产业化的一个关键。该文以目前最常用的全氟磺酸膜燃料电池为对象,基于文献研究法,对目前在燃料电池耐久性、性能衰退方面的研究成果进行分析和整理,归纳了车用质子交换膜燃料电池系统中膜、催化剂、...
耐久性问题是制约车用燃料电池系统产业化的一个关键。该文以目前最常用的全氟磺酸膜燃料电池为对象,基于文献研究法,对目前在燃料电池耐久性、性能衰退方面的研究成果进行分析和整理,归纳了车用质子交换膜燃料电池系统中膜、催化剂、气体扩散层、双极板等主要组件的性能衰退机理,利用逻辑链分析方法描述了其性能衰退的过程,归纳了道路环境下影响燃料电池性能衰退的不同原因类型,给出了车载运行环境和操作工况对燃料电池性能衰退影响的半定量分析,给出了改进燃料电池系统耐久性的一些方法。
展开更多
关键词
车用燃料电池系统
质子交换膜(PEM)
道路工作环境
耐久性
性能衰退
逻辑链图
下载PDF
职称材料
属性序列图:形式语法和语义
被引量:
6
4
作者
张鹏程
周宇
+1 位作者
李必信
徐宝文
《计算机研究与发展》
EI
CSCD
北大核心
2008年第2期318-328,共11页
在基于场景的软件工程中,时态逻辑被广泛地用来推理并发系统的正确性.模型检验技术允许自动检验系统模型和给定的属性之间的一致性,这些属性常用线性时态逻辑公式来表示.不幸的是,由于这些公式具有复杂的结构使得模型检验技术很难应用...
在基于场景的软件工程中,时态逻辑被广泛地用来推理并发系统的正确性.模型检验技术允许自动检验系统模型和给定的属性之间的一致性,这些属性常用线性时态逻辑公式来表示.不幸的是,由于这些公式具有复杂的结构使得模型检验技术很难应用在工业实践中.属性序列图可以用来解决这种问题,它是一种基于场景的可视化的语言,容易理解并且具有较强的表达能力,能够克服当前工业中常用的符号中存在的诸多表达缺陷.为了能够完全清晰地描述和理解属性序列图,使其能够广泛地应用,给出其形式语法和基于Bchi自动机的形式语义,并进行了实例研究,讨论了其应用前景.
展开更多
关键词
时态逻辑
场景
属性序列图
Büchi
自动机
模型检验
下载PDF
职称材料
嵌入式PLC中顺序功能图向AOV的映射
被引量:
7
5
作者
李强
吴松松
+1 位作者
严义
邬惠峰
《控制工程》
CSCD
北大核心
2013年第2期272-275,279,共5页
为实现PLC顺序功能图语言向梯形图语言的转换,阐述了将PLC的顺序功能图映射为有向图的思想与实现算法。首先对顺序功能图图形网络的描述方式进行严格定义,提出了一种新的AOV节点定义,把顺序功能图中的步元件与其前后连接信息相结合抽象...
为实现PLC顺序功能图语言向梯形图语言的转换,阐述了将PLC的顺序功能图映射为有向图的思想与实现算法。首先对顺序功能图图形网络的描述方式进行严格定义,提出了一种新的AOV节点定义,把顺序功能图中的步元件与其前后连接信息相结合抽象为AOV图的顶点,步元件之间的转换关系抽象为弧,然后在此基础上提出了统一的顺序功能图程序结构的表达方式。本算法在保持顺序功能图结构完整性的基础上,简化了模型,同时可以很好地检查其中的连接错误,为从图的角度研究顺序功能图向梯形图的转化打下了基础。基于本算法思想设计的可编程逻辑控制器编程平台也在实际应用中得到验证,进一步证明其正确性和可用性。
展开更多
关键词
可编程逻辑控制器
顺序功能图
层次结构
映射
AOV图
下载PDF
职称材料
三菱PLC控制器在电机学实验中的应用
被引量:
6
6
作者
林卫共
林鹏
郭林峰
《实验科学与技术》
2010年第4期40-41,92,共3页
介绍了用三菱PLC、工控机等硬件组合对电机学部分实验进行的改革。其中工控机利用GX-Developer软件平台向PLC发送控制指令,根据相应指令,三菱PLC控制器控制了三相交流异步电动机正反转和三相交流异步电动机Y—△启动等实验项目,在实验...
介绍了用三菱PLC、工控机等硬件组合对电机学部分实验进行的改革。其中工控机利用GX-Developer软件平台向PLC发送控制指令,根据相应指令,三菱PLC控制器控制了三相交流异步电动机正反转和三相交流异步电动机Y—△启动等实验项目,在实验教学中得到了较好的运用。
展开更多
关键词
编程器
可编程控制器
梯形图
下载PDF
职称材料
PLC梯形图设计方法研究
被引量:
11
7
作者
石玉明
李锡辉
《现代电子技术》
2007年第12期145-147,共3页
在PLC系统应用中,梯形图的程序设计往往是最主要的问题,通过相应的实例论述梯形图程序的4种设计方法:时序逻辑设计法、状态表设计法、顺序控制设计法及经验设计法。这些设计方法汇总可编程控制器作为开关量控制系统通用的电路设计法,对...
在PLC系统应用中,梯形图的程序设计往往是最主要的问题,通过相应的实例论述梯形图程序的4种设计方法:时序逻辑设计法、状态表设计法、顺序控制设计法及经验设计法。这些设计方法汇总可编程控制器作为开关量控制系统通用的电路设计法,对教学和工程实践具有一定的实用参考价值。
展开更多
关键词
PLC
梯形图
时序逻辑
顺序控制
下载PDF
职称材料
基于硬解题的PLC设计及其在测发控系统中的应用
被引量:
7
8
作者
宋征宇
刘亮亮
《航天控制》
CSCD
北大核心
2012年第5期78-82,共5页
梯形图是目前应用最为广泛的PLC编程语言,根据解析方式不同分为硬解题和软解题两种。硬解题采用专用的梯形图硬件处理器,跟采用通用处理器软件解析方式相比,梯形图处理速率大大提升、功耗明显降低,能够满足恶劣环境下高可靠性应用需求,...
梯形图是目前应用最为广泛的PLC编程语言,根据解析方式不同分为硬解题和软解题两种。硬解题采用专用的梯形图硬件处理器,跟采用通用处理器软件解析方式相比,梯形图处理速率大大提升、功耗明显降低,能够满足恶劣环境下高可靠性应用需求,是高端PLC中的首选。本文通过研究梯形图构图原理,提出了一种梯形图编码方法,采用该方法完成了梯形图硬解题专用处理器HLS(Hardware Logic Solver)设计,并通过与通用处理器双核集成,在一个芯片实现了梯形图解析、通信控制、中断处理等全部内容,进一步提升了PLC的集成化、小型化水平。采用硬解题的PLC满足火箭测发控系统高可靠应用要求,已经在多个运载火箭中应用。
展开更多
关键词
PLC
梯形图
硬解题
测发控系统
下载PDF
职称材料
基于时序描述逻辑的UML状态图语义
被引量:
1
9
作者
李明
杨海波
+1 位作者
张其文
王旭阳
《计算机工程》
CAS
CSCD
北大核心
2010年第23期76-78,共3页
将UML图形转换成形式化规范是一种精确UML语义、扩大形式化软件方法适用范围的有效途径。鉴于描述逻辑强的可判定推理能力,提出一种采用时序描述逻辑形式化UML状态图,对描述逻辑进行时序扩展,得到可以表示动态和时序语义的形式化规范—...
将UML图形转换成形式化规范是一种精确UML语义、扩大形式化软件方法适用范围的有效途径。鉴于描述逻辑强的可判定推理能力,提出一种采用时序描述逻辑形式化UML状态图,对描述逻辑进行时序扩展,得到可以表示动态和时序语义的形式化规范——时序描述逻辑,给出一套UML状态图向时序描述逻辑表达式转换的规则,通过实例验证了该方法的可行性。
展开更多
关键词
描述逻辑
时序扩展
时序描述逻辑
状态图
形式化
下载PDF
职称材料
基于Keil时序逻辑和Proteus的电路仿真
被引量:
26
10
作者
邓力
《实验室研究与探索》
CAS
北大核心
2017年第1期80-83,共4页
针对Proteus仿真液晶LCD1602出现的问题,对LCD1602技术手册中的读写操作时序图进行LCD1602相关引脚时序逻辑电平分析,通过Keil4的逻辑分析仪对程序中LCD1602的读写时序进行查看,根据逻辑分析仪的时序波型对液晶显示程序代码进行修改使...
针对Proteus仿真液晶LCD1602出现的问题,对LCD1602技术手册中的读写操作时序图进行LCD1602相关引脚时序逻辑电平分析,通过Keil4的逻辑分析仪对程序中LCD1602的读写时序进行查看,根据逻辑分析仪的时序波型对液晶显示程序代码进行修改使程序符合LCD1602的读写时序要求,并使用Proteus的图表分析对电路程序代码执行时的电平进行查看,直观显示了程序在电路执行的过程。在嵌入式系统开发中使用Keil4时序逻辑及Proteus图表仿真,可以对软件及电路中出现的问题有针对性的分析,探索了使用Keil4的逻辑分析仪和Proteus的图表分析对程序执行时序进行分析的新方法。
展开更多
关键词
Keil逻辑分析仪
电路仿真
图表分析
下载PDF
职称材料
液压转位机械手的PLC电气控制
被引量:
2
11
作者
汪功明
姚道如
《轻工机械》
CAS
2009年第3期47-49,共3页
根据液压转位机械手的动作循环,确定电磁铁动作顺序表,分析控制要求,用某公司生产的C20P主机来控制电磁铁的自动通断,并就I/O端口分配PLC输入输出接线及PLC程序等进行设计。用PLC改造转位机械手的电气控制,可以节省硬件成本、降低故障...
根据液压转位机械手的动作循环,确定电磁铁动作顺序表,分析控制要求,用某公司生产的C20P主机来控制电磁铁的自动通断,并就I/O端口分配PLC输入输出接线及PLC程序等进行设计。用PLC改造转位机械手的电气控制,可以节省硬件成本、降低故障率、提高自动化程度,达到节能增效的目的。
展开更多
关键词
机械手
电磁铁
继电器
PLC(可编程控制器)
梯形图
下载PDF
职称材料
目标跟踪技术及应用前景
被引量:
2
12
作者
高浩军
杜宇人
《现代电子技术》
2004年第24期1-2,5,共3页
介绍了 3种常用的目标跟踪方法 ,并对其性能和算法特点进行了分析研究。对于不同的目标和场合 ,选择上述不同的方法来实现目标跟踪 ,具有较高的跟踪精度和较好的实时性 ,其运用前景十分广泛。
关键词
模糊逻辑
倒谱
目标跟踪
相移跟踪
下载PDF
职称材料
顺序控制流程图在交通灯自动控制系统中的应用
被引量:
4
13
作者
岑红蕾
吴延祥
+1 位作者
谢江
任玲
《石河子大学学报(自然科学版)》
CAS
2006年第6期765-767,共3页
利用顺序控制流程图(SFC)作为设计平台实现的自动控制系统,具有程序直观、可读性好、易于修改参数等优点。本文从实用的角度出发,以日本三菱公司的FX2系列小型PLC为例,介绍SFC在交通信号灯自动控制方面的应用设计。实践证明,该系统具有...
利用顺序控制流程图(SFC)作为设计平台实现的自动控制系统,具有程序直观、可读性好、易于修改参数等优点。本文从实用的角度出发,以日本三菱公司的FX2系列小型PLC为例,介绍SFC在交通信号灯自动控制方面的应用设计。实践证明,该系统具有运行可靠,维护工作量小等特点,真正实现了自动化、科学化运行,具有一定的参考和推广价值。
展开更多
关键词
顺序控制流程图
可编程控制器
控制
交通信号
下载PDF
职称材料
PLC语句表向梯形图自动转换的实现方法
被引量:
8
14
作者
吕俊白
《华侨大学学报(自然科学版)》
CAS
北大核心
2005年第3期313-316,共4页
实现可编程控制器语句表向梯形图的自动转换,是提高可编程控制器应用系统的维护和改造效率亟等解决的问题.文中通过对PLC指令及其对应的梯形图图符进行分析,总结出由PLC语句表生成梯形图的规则,并分析软件实现的主要数据结构及其关键技...
实现可编程控制器语句表向梯形图的自动转换,是提高可编程控制器应用系统的维护和改造效率亟等解决的问题.文中通过对PLC指令及其对应的梯形图图符进行分析,总结出由PLC语句表生成梯形图的规则,并分析软件实现的主要数据结构及其关键技术.实验结果表明,软件能正确实现PLC语句表向梯形图的自动转换,可广泛应用于PLC应用系统的设计,改造和维护.
展开更多
关键词
可编程控制器
梯形图
语句表
有向图
下载PDF
职称材料
PLC在胶订机控制中的应用
被引量:
7
15
作者
管力明
李国栋
+1 位作者
杜量
周盛华
《机电工程》
CAS
2007年第6期55-57,共3页
通过分析胶订机在装订书刊中的工艺流程特点,提出了将PLC应用于书刊装订过程的控制方案。它解决了传统手控装订机在书刊装订中功效低、质量差的问题;控制系统设计方案合理且易实现;程序设计采用可读性强的状态转移图法,非常适合复杂工...
通过分析胶订机在装订书刊中的工艺流程特点,提出了将PLC应用于书刊装订过程的控制方案。它解决了传统手控装订机在书刊装订中功效低、质量差的问题;控制系统设计方案合理且易实现;程序设计采用可读性强的状态转移图法,非常适合复杂工艺流程。经实时调试,胶订机的装订功效可提高一倍多。实例说明,PLC能为今后印刷设备实现智能控制探索出一条捷径。
展开更多
关键词
胶订机
可编程控制器
状态转移图
书刊装订
下载PDF
职称材料
可编程控制器(PLC)在1000t挤压机控制中的应用
被引量:
1
16
作者
张立新
段名法
《石油化工高等学校学报》
EI
CAS
2001年第2期63-66,85,共5页
1 0 0 0t挤压机是生产石墨电极 (炼钢用 )的主要设备 ,系统较庞大 ,工序较复杂 ,用常规控制较难实现 ,采用了PLC进行控制 ,实现了系统自动、手动控制功能。系统共有 3 8点入 ,3 3点出 ,还有 2路压力信号 (模拟量 )需要采集 ,采用了三菱...
1 0 0 0t挤压机是生产石墨电极 (炼钢用 )的主要设备 ,系统较庞大 ,工序较复杂 ,用常规控制较难实现 ,采用了PLC进行控制 ,实现了系统自动、手动控制功能。系统共有 3 8点入 ,3 3点出 ,还有 2路压力信号 (模拟量 )需要采集 ,采用了三菱公司FX2系列PLC ,4 8点基本单元FX2 -4 8MR ,4 8点扩展单元FX2 -4 8ER ,还有一块模拟模块FX -4AD。由于系统工艺的复杂性、工艺的特殊性 ,在控制软件的编制上并没有统一采用梯形图编程法 ,而是采用梯形图编程法与状态转移图编程法相结合的方法 ,这样大大提高了软件的可编性、可调性。
展开更多
关键词
石墨电极
挤压机
可编程控制器
梯形图
状态转移图
下载PDF
职称材料
自动磨料成形机电气控制系统
被引量:
2
17
作者
程广振
《制造技术与机床》
CSCD
北大核心
2011年第9期81-83,共3页
根据磨料成形机的控制要求,分析电气控制输入输出信号,绘制工作过程示意图,按照电气控制线路的逻辑设计方法与步骤,绘制逻辑关系图。合理布置运算元件工作区间,列出运算元件逻辑表达式,把逻辑表达式转化成对应的电气控制线路图。
关键词
逻辑关系图
气动
成形机
电气控制
下载PDF
职称材料
基于控制图的模糊资料判别研究
被引量:
3
18
作者
张剑
李从东
《工业工程》
2006年第1期104-106,共3页
与一般处理如合格或不合格等布尔型数据的质量控制图不同,针对不适合采用布尔逻辑的产品质量数据,应用模糊逻辑构建质量控制图,以加权平均法来解模糊化,权重采用模糊中位数作为不同语言类别的表示值。通过实例分析,这种方法可以比较满...
与一般处理如合格或不合格等布尔型数据的质量控制图不同,针对不适合采用布尔逻辑的产品质量数据,应用模糊逻辑构建质量控制图,以加权平均法来解模糊化,权重采用模糊中位数作为不同语言类别的表示值。通过实例分析,这种方法可以比较满意地进行工序控制工作。
展开更多
关键词
控制图
模糊资料
模糊逻辑
下载PDF
职称材料
南宁机场T2航站楼暖通设备监控系统设计
被引量:
2
19
作者
谷现良
《暖通空调》
北大核心
2016年第2期47-56,共10页
以南宁机场T2航站楼暖通设备监控系统设计为例,介绍了暖通设备监控系统的组成和设计流程。从暖通工程师的角度着重介绍了暖通空调设备的监控原理图、监控策略以及逻辑控制图,并简单介绍了设备监控软件的编制。最后,结合工程实践,介绍了...
以南宁机场T2航站楼暖通设备监控系统设计为例,介绍了暖通设备监控系统的组成和设计流程。从暖通工程师的角度着重介绍了暖通空调设备的监控原理图、监控策略以及逻辑控制图,并简单介绍了设备监控软件的编制。最后,结合工程实践,介绍了暖通工程师在暖通设备监控系统设计中承担的任务和一些工作方法。
展开更多
关键词
暖通设备
监控系统
原理图
策略
逻辑控制图
航站楼
下载PDF
职称材料
基于PLC的控制系统仿真平台的应用
被引量:
1
20
作者
高军礼
禤建林
邓则名
《广东工业大学学报》
CAS
2007年第2期44-46,50,共4页
基于个人计算机环境,利用可编程逻辑控制器程序开发工具GX Developer和触摸屏开发工具DT Designer构建了并联电梯控制系统的仿真平台.该平台可以实现并联电梯控制系统的软件化仿真,验证并联电梯的控制程序开发过程和工作过程.
关键词
顺序功能图
可编程逻辑控制器
并联电梯
下载PDF
职称材料
题名
物流输送线控制图形化编程方法设计
被引量:
1
1
作者
吴帅举
杨其华
何雨辰
机构
中国计量大学机电工程学院
出处
《现代电子技术》
2023年第13期91-96,共6页
基金
国家自然科学基金项目(61903352)。
文摘
为解决物流输送线上PLC编程方式工作量大、技术要求高的问题,设计图形化编程方法,应用于物流设备组线时替代PLC的自备单片机控制系统。通过对物流线运行原理的分析,确定了将流程图转换为控制指令的图形化转换方法,设计了编程平台的图形化资源,定义对应图元的相关参数。针对流程图逻辑表达不清的问题,提出一种结构优化的算法,先将控制程序流图抽象化为AOV图,使用邻接表的方式存储数据,再针对组合判断和循环两种控制逻辑对AOV图进行结构优化和深度遍历调整,最后输出控制指令,发送给下位机,由下位机按规定顺序执行控制指令。研究结果表明,该图形化编程方法能够实现流程图向控制指令的转化,将生成的控制指令下发给下位机后,下位机能够按照流程图的逻辑运行。
关键词
物流输送线
AOV图
邻接表
组合逻辑
图形化编程
流程图
控制指令
上位机
Keywords
logistics transmission line
AOV graph
adjacency list
combinatorial
logic
graphical programing
flow
chart
control command
upper computer
分类号
TN02-34 [电子电信—物理电子学]
TP273 [自动化与计算机技术—检测技术与自动化装置]
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
LSC在微机联锁中的应用
被引量:
8
2
作者
卢佩玲
肖宝弟
机构
铁道部科学研究院
出处
《中国铁道科学》
EI
CAS
CSCD
北大核心
1998年第1期110-114,共5页
文摘
介绍了逻辑关联图LSC(Logic&SequenceCharts)的基本原理,并对其应用于微机联锁系统进行了研究,设计了基本元素的逻辑图和与站场对应的关联图,并在SUN工作站上仿真验证,证明设计是切实可行的。
关键词
逻辑关联图
铁路信号
微机
联锁系统
LSC
Keywords
Signal, Interlocking,
logic
& sequence
chart
s
分类号
U284.3 [交通运输工程—交通信息工程及控制]
下载PDF
职称材料
题名
车用燃料电池系统的性能衰退机理及影响因素分析
被引量:
6
3
作者
张新丰
杨代军
周拓
机构
同济大学新能源汽车工程中心
出处
《汽车安全与节能学报》
CAS
2012年第3期276-286,共11页
基金
国家"八六三"高技术研究发展计划(2011AA11A265)
文摘
耐久性问题是制约车用燃料电池系统产业化的一个关键。该文以目前最常用的全氟磺酸膜燃料电池为对象,基于文献研究法,对目前在燃料电池耐久性、性能衰退方面的研究成果进行分析和整理,归纳了车用质子交换膜燃料电池系统中膜、催化剂、气体扩散层、双极板等主要组件的性能衰退机理,利用逻辑链分析方法描述了其性能衰退的过程,归纳了道路环境下影响燃料电池性能衰退的不同原因类型,给出了车载运行环境和操作工况对燃料电池性能衰退影响的半定量分析,给出了改进燃料电池系统耐久性的一些方法。
关键词
车用燃料电池系统
质子交换膜(PEM)
道路工作环境
耐久性
性能衰退
逻辑链图
Keywords
vehicular fuel cell system
proton exchange membrane (PEM)
road operating condition
durability
performance degradation
logic
link
chart
分类号
U463.6 [机械工程—车辆工程]
下载PDF
职称材料
题名
属性序列图:形式语法和语义
被引量:
6
4
作者
张鹏程
周宇
李必信
徐宝文
机构
东南大学计算机科学与工程学院
出处
《计算机研究与发展》
EI
CSCD
北大核心
2008年第2期318-328,共11页
基金
国家自然科学基金项目(60473065
60773105)
+2 种基金
江苏省自然科学基金项目(BK2007513)
国家"八六三"高技术研究发展计划基金项目(2007AA01Z141)
国家杰出青年科学基金项目(60425206)
文摘
在基于场景的软件工程中,时态逻辑被广泛地用来推理并发系统的正确性.模型检验技术允许自动检验系统模型和给定的属性之间的一致性,这些属性常用线性时态逻辑公式来表示.不幸的是,由于这些公式具有复杂的结构使得模型检验技术很难应用在工业实践中.属性序列图可以用来解决这种问题,它是一种基于场景的可视化的语言,容易理解并且具有较强的表达能力,能够克服当前工业中常用的符号中存在的诸多表达缺陷.为了能够完全清晰地描述和理解属性序列图,使其能够广泛地应用,给出其形式语法和基于Bchi自动机的形式语义,并进行了实例研究,讨论了其应用前景.
关键词
时态逻辑
场景
属性序列图
Büchi
自动机
模型检验
Keywords
temporal
logic
s
scenario
property sequence
chart
Büchi automaton
model checking
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
嵌入式PLC中顺序功能图向AOV的映射
被引量:
7
5
作者
李强
吴松松
严义
邬惠峰
机构
杭州电子科技大学计算机学院
出处
《控制工程》
CSCD
北大核心
2013年第2期272-275,279,共5页
基金
浙江省重点科技创新团队支持(2010R50008)
文摘
为实现PLC顺序功能图语言向梯形图语言的转换,阐述了将PLC的顺序功能图映射为有向图的思想与实现算法。首先对顺序功能图图形网络的描述方式进行严格定义,提出了一种新的AOV节点定义,把顺序功能图中的步元件与其前后连接信息相结合抽象为AOV图的顶点,步元件之间的转换关系抽象为弧,然后在此基础上提出了统一的顺序功能图程序结构的表达方式。本算法在保持顺序功能图结构完整性的基础上,简化了模型,同时可以很好地检查其中的连接错误,为从图的角度研究顺序功能图向梯形图的转化打下了基础。基于本算法思想设计的可编程逻辑控制器编程平台也在实际应用中得到验证,进一步证明其正确性和可用性。
关键词
可编程逻辑控制器
顺序功能图
层次结构
映射
AOV图
Keywords
Programmable
logic
Controller
sequential function
chart
hierarchy structure
map
activity on vertex.
分类号
TP27 [自动化与计算机技术—检测技术与自动化装置]
下载PDF
职称材料
题名
三菱PLC控制器在电机学实验中的应用
被引量:
6
6
作者
林卫共
林鹏
郭林峰
机构
三峡大学机械与材料学院
三峡大学科技学院
出处
《实验科学与技术》
2010年第4期40-41,92,共3页
文摘
介绍了用三菱PLC、工控机等硬件组合对电机学部分实验进行的改革。其中工控机利用GX-Developer软件平台向PLC发送控制指令,根据相应指令,三菱PLC控制器控制了三相交流异步电动机正反转和三相交流异步电动机Y—△启动等实验项目,在实验教学中得到了较好的运用。
关键词
编程器
可编程控制器
梯形图
Keywords
programming device
programmable
logic
controller
ladder
chart
分类号
TP273 [自动化与计算机技术—检测技术与自动化装置]
下载PDF
职称材料
题名
PLC梯形图设计方法研究
被引量:
11
7
作者
石玉明
李锡辉
机构
湖南信息职业技术学院
出处
《现代电子技术》
2007年第12期145-147,共3页
文摘
在PLC系统应用中,梯形图的程序设计往往是最主要的问题,通过相应的实例论述梯形图程序的4种设计方法:时序逻辑设计法、状态表设计法、顺序控制设计法及经验设计法。这些设计方法汇总可编程控制器作为开关量控制系统通用的电路设计法,对教学和工程实践具有一定的实用参考价值。
关键词
PLC
梯形图
时序逻辑
顺序控制
Keywords
PLC
trapezoidal
chart
sequential
logic
sequence control
分类号
TP393 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
基于硬解题的PLC设计及其在测发控系统中的应用
被引量:
7
8
作者
宋征宇
刘亮亮
机构
北京航天自动控制研究所
宇航智能控制技术国家级重点实验室
出处
《航天控制》
CSCD
北大核心
2012年第5期78-82,共5页
文摘
梯形图是目前应用最为广泛的PLC编程语言,根据解析方式不同分为硬解题和软解题两种。硬解题采用专用的梯形图硬件处理器,跟采用通用处理器软件解析方式相比,梯形图处理速率大大提升、功耗明显降低,能够满足恶劣环境下高可靠性应用需求,是高端PLC中的首选。本文通过研究梯形图构图原理,提出了一种梯形图编码方法,采用该方法完成了梯形图硬解题专用处理器HLS(Hardware Logic Solver)设计,并通过与通用处理器双核集成,在一个芯片实现了梯形图解析、通信控制、中断处理等全部内容,进一步提升了PLC的集成化、小型化水平。采用硬解题的PLC满足火箭测发控系统高可靠应用要求,已经在多个运载火箭中应用。
关键词
PLC
梯形图
硬解题
测发控系统
Keywords
PLC
Ladder
chart
Hardware
logic
solver
Test and launch control system
分类号
TP332 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
基于时序描述逻辑的UML状态图语义
被引量:
1
9
作者
李明
杨海波
张其文
王旭阳
机构
兰州理工大学计算机与通信学院
出处
《计算机工程》
CAS
CSCD
北大核心
2010年第23期76-78,共3页
基金
甘肃省自然科学基金资助项目(0809RJZA018)
文摘
将UML图形转换成形式化规范是一种精确UML语义、扩大形式化软件方法适用范围的有效途径。鉴于描述逻辑强的可判定推理能力,提出一种采用时序描述逻辑形式化UML状态图,对描述逻辑进行时序扩展,得到可以表示动态和时序语义的形式化规范——时序描述逻辑,给出一套UML状态图向时序描述逻辑表达式转换的规则,通过实例验证了该方法的可行性。
关键词
描述逻辑
时序扩展
时序描述逻辑
状态图
形式化
Keywords
Description
logic
s(DLs)
temporal extension
Temporal Description
logic
s(TDLs)
state
chart
formalization
分类号
N945 [自然科学总论—系统科学]
下载PDF
职称材料
题名
基于Keil时序逻辑和Proteus的电路仿真
被引量:
26
10
作者
邓力
机构
桂林理工大学南宁分校
出处
《实验室研究与探索》
CAS
北大核心
2017年第1期80-83,共4页
基金
广西高等学校优秀中青年骨干培养工程第一期(桂教人[2013]16号)
南宁市科学研究与技术开发计划项目(科技攻关计划20151038)
文摘
针对Proteus仿真液晶LCD1602出现的问题,对LCD1602技术手册中的读写操作时序图进行LCD1602相关引脚时序逻辑电平分析,通过Keil4的逻辑分析仪对程序中LCD1602的读写时序进行查看,根据逻辑分析仪的时序波型对液晶显示程序代码进行修改使程序符合LCD1602的读写时序要求,并使用Proteus的图表分析对电路程序代码执行时的电平进行查看,直观显示了程序在电路执行的过程。在嵌入式系统开发中使用Keil4时序逻辑及Proteus图表仿真,可以对软件及电路中出现的问题有针对性的分析,探索了使用Keil4的逻辑分析仪和Proteus的图表分析对程序执行时序进行分析的新方法。
关键词
Keil逻辑分析仪
电路仿真
图表分析
Keywords
Keil
logic
analyzer
circuit simulation
chart
analysis
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
液压转位机械手的PLC电气控制
被引量:
2
11
作者
汪功明
姚道如
机构
安徽职业技术学院机械工程系
出处
《轻工机械》
CAS
2009年第3期47-49,共3页
文摘
根据液压转位机械手的动作循环,确定电磁铁动作顺序表,分析控制要求,用某公司生产的C20P主机来控制电磁铁的自动通断,并就I/O端口分配PLC输入输出接线及PLC程序等进行设计。用PLC改造转位机械手的电气控制,可以节省硬件成本、降低故障率、提高自动化程度,达到节能增效的目的。
关键词
机械手
电磁铁
继电器
PLC(可编程控制器)
梯形图
Keywords
manipulator
electromagnet
relay
PLC(programmable
logic
al controller)
echelon
chart
分类号
TP241.2 [自动化与计算机技术—检测技术与自动化装置]
下载PDF
职称材料
题名
目标跟踪技术及应用前景
被引量:
2
12
作者
高浩军
杜宇人
机构
扬州大学信息工程学院
出处
《现代电子技术》
2004年第24期1-2,5,共3页
基金
扬州大学自然科学基金 (KK0 31 30 90 )
文摘
介绍了 3种常用的目标跟踪方法 ,并对其性能和算法特点进行了分析研究。对于不同的目标和场合 ,选择上述不同的方法来实现目标跟踪 ,具有较高的跟踪精度和较好的实时性 ,其运用前景十分广泛。
关键词
模糊逻辑
倒谱
目标跟踪
相移跟踪
Keywords
blur
logic
inverse
chart
target tracking
phase di splacement tracking
分类号
TN911.73 [电子电信—通信与信息系统]
下载PDF
职称材料
题名
顺序控制流程图在交通灯自动控制系统中的应用
被引量:
4
13
作者
岑红蕾
吴延祥
谢江
任玲
机构
石河子大学机械电气工程学院
新疆天富热电股份公司
出处
《石河子大学学报(自然科学版)》
CAS
2006年第6期765-767,共3页
文摘
利用顺序控制流程图(SFC)作为设计平台实现的自动控制系统,具有程序直观、可读性好、易于修改参数等优点。本文从实用的角度出发,以日本三菱公司的FX2系列小型PLC为例,介绍SFC在交通信号灯自动控制方面的应用设计。实践证明,该系统具有运行可靠,维护工作量小等特点,真正实现了自动化、科学化运行,具有一定的参考和推广价值。
关键词
顺序控制流程图
可编程控制器
控制
交通信号
Keywords
sequential function
chart
programmable
logic
controller(PLC)
control
traffic signal
分类号
TP29 [自动化与计算机技术—检测技术与自动化装置]
下载PDF
职称材料
题名
PLC语句表向梯形图自动转换的实现方法
被引量:
8
14
作者
吕俊白
机构
华侨大学信息科学与工程学院
出处
《华侨大学学报(自然科学版)》
CAS
北大核心
2005年第3期313-316,共4页
文摘
实现可编程控制器语句表向梯形图的自动转换,是提高可编程控制器应用系统的维护和改造效率亟等解决的问题.文中通过对PLC指令及其对应的梯形图图符进行分析,总结出由PLC语句表生成梯形图的规则,并分析软件实现的主要数据结构及其关键技术.实验结果表明,软件能正确实现PLC语句表向梯形图的自动转换,可广泛应用于PLC应用系统的设计,改造和维护.
关键词
可编程控制器
梯形图
语句表
有向图
Keywords
programmable
logic
controller , ladder
chart
, statement list, directed graph
分类号
TP311.52 [自动化与计算机技术—计算机软件与理论]
TM571.61 [电气工程—电器]
下载PDF
职称材料
题名
PLC在胶订机控制中的应用
被引量:
7
15
作者
管力明
李国栋
杜量
周盛华
机构
杭州电子科技大学新闻出版学院
浙江省机电设计研究院有限公司
出处
《机电工程》
CAS
2007年第6期55-57,共3页
文摘
通过分析胶订机在装订书刊中的工艺流程特点,提出了将PLC应用于书刊装订过程的控制方案。它解决了传统手控装订机在书刊装订中功效低、质量差的问题;控制系统设计方案合理且易实现;程序设计采用可读性强的状态转移图法,非常适合复杂工艺流程。经实时调试,胶订机的装订功效可提高一倍多。实例说明,PLC能为今后印刷设备实现智能控制探索出一条捷径。
关键词
胶订机
可编程控制器
状态转移图
书刊装订
Keywords
staple pin attacher
programmable
logic
controller (PLC)
sequential function
chart
binding of books
分类号
TM924 [电气工程—电力电子与电力传动]
下载PDF
职称材料
题名
可编程控制器(PLC)在1000t挤压机控制中的应用
被引量:
1
16
作者
张立新
段名法
机构
北京石油化工学院自动化系
出处
《石油化工高等学校学报》
EI
CAS
2001年第2期63-66,85,共5页
文摘
1 0 0 0t挤压机是生产石墨电极 (炼钢用 )的主要设备 ,系统较庞大 ,工序较复杂 ,用常规控制较难实现 ,采用了PLC进行控制 ,实现了系统自动、手动控制功能。系统共有 3 8点入 ,3 3点出 ,还有 2路压力信号 (模拟量 )需要采集 ,采用了三菱公司FX2系列PLC ,4 8点基本单元FX2 -4 8MR ,4 8点扩展单元FX2 -4 8ER ,还有一块模拟模块FX -4AD。由于系统工艺的复杂性、工艺的特殊性 ,在控制软件的编制上并没有统一采用梯形图编程法 ,而是采用梯形图编程法与状态转移图编程法相结合的方法 ,这样大大提高了软件的可编性、可调性。
关键词
石墨电极
挤压机
可编程控制器
梯形图
状态转移图
Keywords
Extruder
Programmable
logic
al controller
Ladder
chart
Sequential function
chart
分类号
TQ127.11 [化学工程—无机化工]
TM571.61 [电气工程—电器]
下载PDF
职称材料
题名
自动磨料成形机电气控制系统
被引量:
2
17
作者
程广振
机构
湖州师范学院信息与工程学院
出处
《制造技术与机床》
CSCD
北大核心
2011年第9期81-83,共3页
文摘
根据磨料成形机的控制要求,分析电气控制输入输出信号,绘制工作过程示意图,按照电气控制线路的逻辑设计方法与步骤,绘制逻辑关系图。合理布置运算元件工作区间,列出运算元件逻辑表达式,把逻辑表达式转化成对应的电气控制线路图。
关键词
逻辑关系图
气动
成形机
电气控制
Keywords
logic
Relation
chart
Pneumatics
Figuration Machine
Electricity Control
分类号
TP278 [自动化与计算机技术—检测技术与自动化装置]
下载PDF
职称材料
题名
基于控制图的模糊资料判别研究
被引量:
3
18
作者
张剑
李从东
机构
天津大学管理学院
出处
《工业工程》
2006年第1期104-106,共3页
文摘
与一般处理如合格或不合格等布尔型数据的质量控制图不同,针对不适合采用布尔逻辑的产品质量数据,应用模糊逻辑构建质量控制图,以加权平均法来解模糊化,权重采用模糊中位数作为不同语言类别的表示值。通过实例分析,这种方法可以比较满意地进行工序控制工作。
关键词
控制图
模糊资料
模糊逻辑
Keywords
control
chart
fuzzy datum
fuzzy
logic
分类号
C935 [经济管理—管理学]
下载PDF
职称材料
题名
南宁机场T2航站楼暖通设备监控系统设计
被引量:
2
19
作者
谷现良
机构
北京市建筑设计研究院有限公司
出处
《暖通空调》
北大核心
2016年第2期47-56,共10页
文摘
以南宁机场T2航站楼暖通设备监控系统设计为例,介绍了暖通设备监控系统的组成和设计流程。从暖通工程师的角度着重介绍了暖通空调设备的监控原理图、监控策略以及逻辑控制图,并简单介绍了设备监控软件的编制。最后,结合工程实践,介绍了暖通工程师在暖通设备监控系统设计中承担的任务和一些工作方法。
关键词
暖通设备
监控系统
原理图
策略
逻辑控制图
航站楼
Keywords
HVAC equipment, monitoring, principle diagram, strategy,
logic
control
chart
, terminal building
分类号
TU83 [建筑科学—供热、供燃气、通风及空调工程]
下载PDF
职称材料
题名
基于PLC的控制系统仿真平台的应用
被引量:
1
20
作者
高军礼
禤建林
邓则名
机构
广东工业大学自动化学院
出处
《广东工业大学学报》
CAS
2007年第2期44-46,50,共4页
文摘
基于个人计算机环境,利用可编程逻辑控制器程序开发工具GX Developer和触摸屏开发工具DT Designer构建了并联电梯控制系统的仿真平台.该平台可以实现并联电梯控制系统的软件化仿真,验证并联电梯的控制程序开发过程和工作过程.
关键词
顺序功能图
可编程逻辑控制器
并联电梯
Keywords
sequence function
chart
programmable
logic
controller
parallel elevator
分类号
TP311.51 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
物流输送线控制图形化编程方法设计
吴帅举
杨其华
何雨辰
《现代电子技术》
2023
1
下载PDF
职称材料
2
LSC在微机联锁中的应用
卢佩玲
肖宝弟
《中国铁道科学》
EI
CAS
CSCD
北大核心
1998
8
下载PDF
职称材料
3
车用燃料电池系统的性能衰退机理及影响因素分析
张新丰
杨代军
周拓
《汽车安全与节能学报》
CAS
2012
6
下载PDF
职称材料
4
属性序列图:形式语法和语义
张鹏程
周宇
李必信
徐宝文
《计算机研究与发展》
EI
CSCD
北大核心
2008
6
下载PDF
职称材料
5
嵌入式PLC中顺序功能图向AOV的映射
李强
吴松松
严义
邬惠峰
《控制工程》
CSCD
北大核心
2013
7
下载PDF
职称材料
6
三菱PLC控制器在电机学实验中的应用
林卫共
林鹏
郭林峰
《实验科学与技术》
2010
6
下载PDF
职称材料
7
PLC梯形图设计方法研究
石玉明
李锡辉
《现代电子技术》
2007
11
下载PDF
职称材料
8
基于硬解题的PLC设计及其在测发控系统中的应用
宋征宇
刘亮亮
《航天控制》
CSCD
北大核心
2012
7
下载PDF
职称材料
9
基于时序描述逻辑的UML状态图语义
李明
杨海波
张其文
王旭阳
《计算机工程》
CAS
CSCD
北大核心
2010
1
下载PDF
职称材料
10
基于Keil时序逻辑和Proteus的电路仿真
邓力
《实验室研究与探索》
CAS
北大核心
2017
26
下载PDF
职称材料
11
液压转位机械手的PLC电气控制
汪功明
姚道如
《轻工机械》
CAS
2009
2
下载PDF
职称材料
12
目标跟踪技术及应用前景
高浩军
杜宇人
《现代电子技术》
2004
2
下载PDF
职称材料
13
顺序控制流程图在交通灯自动控制系统中的应用
岑红蕾
吴延祥
谢江
任玲
《石河子大学学报(自然科学版)》
CAS
2006
4
下载PDF
职称材料
14
PLC语句表向梯形图自动转换的实现方法
吕俊白
《华侨大学学报(自然科学版)》
CAS
北大核心
2005
8
下载PDF
职称材料
15
PLC在胶订机控制中的应用
管力明
李国栋
杜量
周盛华
《机电工程》
CAS
2007
7
下载PDF
职称材料
16
可编程控制器(PLC)在1000t挤压机控制中的应用
张立新
段名法
《石油化工高等学校学报》
EI
CAS
2001
1
下载PDF
职称材料
17
自动磨料成形机电气控制系统
程广振
《制造技术与机床》
CSCD
北大核心
2011
2
下载PDF
职称材料
18
基于控制图的模糊资料判别研究
张剑
李从东
《工业工程》
2006
3
下载PDF
职称材料
19
南宁机场T2航站楼暖通设备监控系统设计
谷现良
《暖通空调》
北大核心
2016
2
下载PDF
职称材料
20
基于PLC的控制系统仿真平台的应用
高军礼
禤建林
邓则名
《广东工业大学学报》
CAS
2007
1
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
2
…
6
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部