检索结果-维普期刊中文期刊服务平台

用 S7-200 PLC I/O 口传输打印数据的 STEP 7 语言实现被引量：2: 1; 作者黄有方黄赛清《上海海运学院学报》 EI 1997年第4期44-48,共5页; 在对ＳＩＥＭＥＮＳＳ７－２００系列ＰＬＣ的专用编程软件ＳＴＥＰ７的功能和特点进行归纳的基础上，介绍了应用ＳＴＥＰ７语言实现ＳＩＭＡＴＩＣＳ７－２００ＰＬＣＩ／Ｏ口传输并行打印数据的编程技术关键。; 关键词数据传输可编程序控制器 step7语言; 在线阅读下载PDF 职称材料

喷射成形柱状坯尺寸模糊控制: 2; 作者曲迎东叶正涛 +3 位作者古元军李荣德白彦华李润霞《沈阳工业大学学报》 EI CAS 2009年第4期374-378,共5页; 为了提高沉积坯尺寸精度,研究了喷射成形过程中柱状沉积坯尺寸的模糊控制.在柱状喷射成形过程中,影响沉积盘进给调节系统的因素较多,数学模型难以建立,常规控制无法获得满意的效果.为此,提出了一种新的以沉积坯尺寸误差和误差变化率为... 展开更多; 关键词模糊控制 VC++编程语言喷射成形柱状坯沉积坯尺寸模糊逻辑; 在线阅读下载PDF 职称材料

LB023型洗毛机翻泥斗控制系统中的通用逻辑控制器的设计: 3; 作者王妍萍曲冬辉黄建文《毛纺科技》 CAS 北大核心 2008年第6期52-55,共4页; 介绍了LB023型洗毛联合机翻泥斗系统电气控制改造中的通用逻辑控制器的设计过程。它是一种以单片机为核心,C51编程语言为开发工具,能实现6种基本逻辑功能以及接通延时、断电延时和RS触发器等逻辑功能。该通用逻辑控制器能够代替定时器... 展开更多; 关键词洗毛机单片机 C51编程语言逻辑控制通用逻辑控制器; 在线阅读下载PDF 职称材料

一个C语言子集上的程序逻辑被引量：1: 4; 作者王勇朝李兆鹏冯新宇《小型微型计算机系统》 CSCD 北大核心 2014年第6期1258-1264,共7页; 在分离逻辑和C语言规范的基础上,设计一个C语言子集C3(C Code Certified)上的程序逻辑,其由操作语义、推导规则和可靠性证明组成.操作语义采用了小步的方式,为并发程序的验证留下了扩展的可能性.推导规则采用了扩展Hoare三元组的形式,... 展开更多; 关键词 C语言小步语义程序逻辑可靠性形式化验证; 在线阅读下载PDF 职称材料

题名用 S7-200 PLC I/O 口传输打印数据的 STEP 7 语言实现被引量：2: 1; 作者黄有方黄赛清; 机构上海海运学院机械工程系; 出处《上海海运学院学报》 EI 1997年第4期44-48,共5页; 文摘在对ＳＩＥＭＥＮＳＳ７－２００系列ＰＬＣ的专用编程软件ＳＴＥＰ７的功能和特点进行归纳的基础上，介绍了应用ＳＴＥＰ７语言实现ＳＩＭＡＴＩＣＳ７－２００ＰＬＣＩ／Ｏ口传输并行打印数据的编程技术关键。; 关键词数据传输可编程序控制器 step7语言; Keywords data transformission programming logic controller,step 7 language; 分类号 TP332.3 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名喷射成形柱状坯尺寸模糊控制: 2; 作者曲迎东叶正涛古元军李荣德白彦华李润霞; 机构沈阳工业大学材料科学与工程学院; 出处《沈阳工业大学学报》 EI CAS 2009年第4期374-378,共5页; 基金国家自然科学基金资助项目(50605045) 辽宁省创新团队基金项目(2007T131) 沈阳市应用基础研究计划项目(1081229-1-00); 文摘为了提高沉积坯尺寸精度,研究了喷射成形过程中柱状沉积坯尺寸的模糊控制.在柱状喷射成形过程中,影响沉积盘进给调节系统的因素较多,数学模型难以建立,常规控制无法获得满意的效果.为此,提出了一种新的以沉积坯尺寸误差和误差变化率为输入量、以沉积盘进给速度为输出量,来完成对沉积盘进给量进行自动调节的模糊控制方案,并应用VC++编程语言实现.对模糊控制器的仿真结果表明,该模糊控制对沉积盘自动调节系统控制效果优良,为柱状沉积坯的有效制备提供了可靠保障.; 关键词模糊控制 VC++编程语言喷射成形柱状坯沉积坯尺寸模糊逻辑; Keywords fuzzy control VC ＋＋ programming language spay forming columnar deposit deposit dimension fuzzy logic; 分类号 TG249.9 [金属学及工艺—铸造]; 在线阅读下载PDF 职称材料

题名LB023型洗毛机翻泥斗控制系统中的通用逻辑控制器的设计: 3; 作者王妍萍曲冬辉黄建文; 机构北京服装学院北京迪安帝科技有限公司; 出处《毛纺科技》 CAS 北大核心 2008年第6期52-55,共4页; 文摘介绍了LB023型洗毛联合机翻泥斗系统电气控制改造中的通用逻辑控制器的设计过程。它是一种以单片机为核心,C51编程语言为开发工具,能实现6种基本逻辑功能以及接通延时、断电延时和RS触发器等逻辑功能。该通用逻辑控制器能够代替定时器、继电器等设备,更经济、更快速、更灵活地解决简单开关量控制任务。在系统改造后,产品成本降低,控制柜的体积变小,而且能够根据工艺要求随时扩展其功能。; 关键词洗毛机单片机 C51编程语言逻辑控制通用逻辑控制器; Keywords sheep scoured wool microcontroller C51 programming language logic control general logic controller; 分类号 TS103 [轻工技术与工程—纺织工程]; 在线阅读下载PDF 职称材料

题名一个C语言子集上的程序逻辑被引量：1: 4; 作者王勇朝李兆鹏冯新宇; 机构中国科学技术大学计算机科学与技术学院中国科学科技大学苏州研究院软件安全实验室; 出处《小型微型计算机系统》 CSCD 北大核心 2014年第6期1258-1264,共7页; 基金国家自然科学基金项目(61073040 61170018 61003043)资助; 文摘在分离逻辑和C语言规范的基础上,设计一个C语言子集C3(C Code Certified)上的程序逻辑,其由操作语义、推导规则和可靠性证明组成.操作语义采用了小步的方式,为并发程序的验证留下了扩展的可能性.推导规则采用了扩展Hoare三元组的形式,易于程序员的理解,支持了更多的C语言特征.证明可靠性需要在语义上定义推导规则,本文采用了广为接受的直接定义方式,本文可靠性的证明在Coq中实现,并提供了一份可以通过机器自动检查的证明,保证了逻辑的可信度.证明实例展示了程序逻辑的可用性,程序验证工具可以直接使用C3的推导规则,简化验证的过程.; 关键词 C语言小步语义程序逻辑可靠性形式化验证; Keywords C language small-step semantics program logic soundness formal verification; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	用 S7-200 PLC I/O 口传输打印数据的 STEP 7 语言实现	黄有方黄赛清	《上海海运学院学报》 EI	1997	2	在线阅读下载PDF 职称材料
2	喷射成形柱状坯尺寸模糊控制	曲迎东叶正涛古元军李荣德白彦华李润霞	《沈阳工业大学学报》 EI CAS	2009	0	在线阅读下载PDF 职称材料
3	LB023型洗毛机翻泥斗控制系统中的通用逻辑控制器的设计	王妍萍曲冬辉黄建文	《毛纺科技》 CAS 北大核心	2008	0	在线阅读下载PDF 职称材料
4	一个C语言子集上的程序逻辑	王勇朝李兆鹏冯新宇	《小型微型计算机系统》 CSCD 北大核心	2014	1	在线阅读下载PDF 职称材料