-
题名FPGA在电梯控制系统中的应用
被引量：3
- 1
-
-
作者
田红光
-
机构
安徽理工大学电气与信息工程学院
-
出处
《微型机与应用》
2011年第24期15-17,共3页
-
文摘
介绍了基于Altera公司EP1K30TC144芯片的电梯控制器设计过程,描述了该控制系统的功能。该设计采用VHDL语言进行编程,以QUARTUSⅡ软件为开发平台,对本设计进行了仿真,并使用JTAG将程序代码下载到实验板上进行了硬件验证。
-
关键词
电梯控制器
VHDL
EP1K30TC144
QUARTUSⅡ
-
Keywords
lift-controller
VHDL
EP1K30TC144
QUARTUS II
-
分类号
TP391
[自动化与计算机技术—计算机应用技术]
-
-
题名B方法在PVS中的应用
- 2
-
-
作者
刘梅
-
机构
上海应用技术学院计算机科学与信息工程学院
-
出处
《上海应用技术学院学报（自然科学版）》
2015年第4期380-383,392,共5页
-
文摘
针对B方法和原型验证系统(PVS)的特点,提出了将B方法引入到PVS中,即将一个用B方法描述的系统转换为由PVS描述,以此来实现形式化的检验证明.B方法中的抽象机在PVS中转换为一个方法,而B方法中的不变量不变式要转换为PVS中的一个类型,由B方法描述的性质则转换为PVS中的推测、猜想,并借助于PVS自带的证明器有效地完成相应证明工作.最后,通过1个电梯控制系统来阐述上述转换方法.
-
关键词
B方法
原形验证系统
形式化方法
电梯系统控制器
-
Keywords
B method
prototype verification system（PVS）
formal method
lift system controller
-
分类号
TU857
[建筑科学]
TP301
[自动化与计算机技术—计算机系统结构]
-
-
题名基于Verilog HDL的电梯系统设计
被引量：2
- 3
-
-
作者
吴海生
沈建华
-
机构
华东师范大学软件学院
-
出处
《控制工程》
CSCD
2005年第S1期148-150,153,共4页
-
文摘
从状态机的角度,介绍了一种电梯控制器的Verilog HDL设计方法。将其嵌入到FPGA中,用于实现电梯的控制。着重介绍电梯的总体设计方案,详细描述其内部状态机的工作原理,并提供了电梯中主控制器与分控制器通信部分的Verilog源代码。给出了在Xilinx公司的ISE6.2+ModelSimXE5.6软件平台中进行EDA的综合结果与时序仿真,并遵循方向优先的原则提供3个楼层多用户的载客服务并指示电梯的运行情况。实际应用表明,该系统设计灵活,运行可靠,成本低廉,有一定的应用价值。
-
关键词
电梯控制器
状态机
VERILOG
HDL
FPGA
-
Keywords
lift controller
state machine
Verilog HDL
FPGA
-
分类号
TP273
[自动化与计算机技术—检测技术与自动化装置]
-
-
题名模拟升降控制器的设计与实现
- 4
-
-
作者
张胜男
谢治虢
张嘉航
张进
刘天飞
-
机构
江苏建筑职业技术学院机电工程学院
-
出处
《无线互联科技》
2018年第11期74-76,共3页
-
基金
江苏省2017年大学生创业创新训练计划项目
项目名称:模拟升降控制器的设计与实现
项目编号:90250886217014
-
文摘
针对大多数工地施工升降机存在的成本高、施工效果不好、应用不方便等问题,文章提出一种基于ARM技术的施工升降控制系统,该系统以STM32F103为主控制器,通过软件编程实现施工升降机的自动控制。经实验验证,该系统参数功能达到设计要求,较大改善现有升降控制器存在的操作精度低、应用不便及成本高等问题,既保证了施工的安全,又可以降低施工费用,增加工作效率,适合大规模推广使用。
-
关键词
嵌入式技术
STM32F103微控制器
升降控制器
-
Keywords
embedded technology
STM32F103 microcontroller
lift controller
-
分类号
TP273
[自动化与计算机技术—检测技术与自动化装置]
TU732
[自动化与计算机技术—控制科学与工程]
-
-
题名棉花样品收纳袋撑架的研制
- 5
-
-
作者
连素梅
刘俊
傅科杰
李朋
牛增元
-
机构
石家庄海关
乌鲁木齐海关
宁波检验检疫科学技术研究院
青岛海关
-
出处
《棉纺织技术》
CAS
北大核心
2020年第2期54-56,共3页
-
基金
河北省科技支撑计划项目(12227682)
国家质检总局科技计划项目(2015IK112)
-
文摘
介绍棉花样品收纳袋撑架的研制过程。为了规范样品收纳过程,提高样品收纳工作效率,研制了棉花样品收纳袋撑架。介绍了棉花样品收纳袋撑架的结构、工作原理和工作过程。结果表明:使用棉花样品收纳袋撑架塞装样品,平均每袋可节约1.8 min。认为:棉花样品收纳袋撑架操作方便,可大幅提高工作效率。
-
关键词
棉花样品
收纳袋
撑架
工作原理
升降控制器
-
Keywords
Cotton Sample
Storage Bag
Support Frame
Working Principle
lift controller
-
分类号
TS103.8
[轻工技术与工程—纺织工程]
-
