信息物理融合系统常采用嵌入式实时多任务系统作为其控制软件,这类软件的并发和非确定性给验证带来了困难.提出了一种利用统计模型检验技术分析多任务系统的功能正确性的方法.该方法构造的时间自动机模型以模块化的方式描述了实时多任务系统中的主要成分,包括实时操作系统、周期性任务、偶发任务、共享资源以及物理环境,能够 ...
/dl/211234.html
标签: 信息 物理 融合 系统 控制 软件 统计 模型 检验理融合系统 多任务系统
上传时间: 2022-09-12
上传用户:dgnd9999
激光打标是指利用高能量密度的激光束在物件表面作永久性标刻。激光打标以其“打标速度快、性能稳定、打标质量好”等优势,获得了日益广泛的应用。传统的激光打标系统一般是基于ISA总线或PCI总线的,运动控制卡必须插在计算机的PCI插槽内,且不支持热捅拔,影响了控制卡的稳定性;以单片机为主控制器的激光打标控制卡虽然成 ...
/dl/211315.html
上传时间: 2022-09-13
上传用户:哒哒哒
传统的节气门靠机械连接进行控制,很难实现发动机性能的最佳控制。电子节气门控制系统采用电驱动,能根据发动机的转矩需求实现最佳的进气控制,被认为是传统节气门的理想替代品。本文选用Intel公司的16位单片机80C196KC为主芯片,开发了电子节气门控制系统的硬件电路。建立了电子节气门的数学模型,由此得到电子节气门的状 ...
/dl/211328.html
标签: 电子节气门控制系统
上传时间: 2022-09-13
上传用户:czc1427101557
本书从工程应用的角度出发,较全面和系统地介绍了工业控制计算机典型应用系统,内容包括:利用PC 与PLC、PC 与PCI 数据采集卡、PC 与USB 数据采集模块、PC 与CAN 总线模块、PC 与单片机、PC 与无线数传模块、PC 与GSM 短信模块、PC 与智能仪器及PC 与远程I/O 模块等组成的控制系统设计。每个实例首先介绍了相关的硬件技术, ...
/dl/211551.html
标签: 工业控制计算机
上传时间: 2022-09-16
上传用户:alexkinglalala
目前,随着整车控制策略越来越复杂,传统的发动机管理系统不利于整车控制系统的集成与扩展,研发和制作成本也在逐渐提高。因此现代发动机管理系统逐渐过渡到基于扭矩的发动机管理系统,而适用于天然气的基于扭矩控制的发动机管理系统的研发也在逐步展开。为缩短和发达国家的差距,需要对其控制策略、控制理论和控制方法进行深入 ...
/dl/211608.html
标签: 扭矩 cng 发动机 管理 系统 分析 点火 控制 研究统
上传时间: 2022-09-16
上传用户:围城里
目前在医疗界,电子理疗仪、电子针灸治疗仪已广泛被临床应用,取得了较好的治疗效果,且使用十分方便。其基本原理是发出尖窄脉冲对人体有关部位或穴位进行电刺激,以达到放松肌肉、激活中枢神经、促进分泌某些生物成分,达到治疗的目的。 本文设计的便携式多功能乳腺治疗仪,是采用凌阳公司SPCE061A单片机控制的,结合无变 ...
/dl/211855.html
上传时间: 2022-09-19
上传用户:dthdzz901
现代科技馆是一种以现代科学技术为主题的科技博物馆,其展品具有自主开发、科普教育、娱乐休闲和互动参与的特点。本论文是关于科技馆网络与信息传递展项的开发与研究,采用机械装置和控制系统来模拟计算机网络的信息传递,向参观者展示计算机网络的构造以及数据的传递过程。 该课题基于FPGA芯片EPIC6Q240C8和A ...
/dl/212008.html
上传时间: 2022-09-20
上传用户:a571490029
使用C语言和硬件模块实现8051 MCU与I2C™串行EEPROM的接口Microchip Technology 的24XXX 系列串行EEPROM 支持双向2 线总线和数据传输协议。总线由单片机(主器件)控制,该单片机可产生串行时钟(SCL)、控制总线访问并产生启动和停止条件,而24XXX 串行EEPROM作为从器件工作。24XXX 串行EEPROM 兼容I2C™,最大时钟频率范 ...
/dl/212172.html
标签: C语言 硬件 模块 8051 mcu i2c eeprom 接口
上传时间: 2022-09-22
上传用户:guaizi10
中国是传统的农业生产大国,保证粮食生产是关系到国民经济的关键所在.在现今土地资源日益减少的情况下,农产品问题更加重要.提高现有农产品质量和产量就必须重视谷物的机械化干燥问题.谷物烘干机的结构虽然比较简单,但烘干过程是非线性、时变性和多变量的.在烘干过程中由于受各种不确定因素的影响,难于建立精确的数学模型.虽 ...
/dl/212265.html
标签: 谷物 烘干 模糊 控制系统 仿真LAB仿真 模糊控制系统
上传时间: 2022-09-23
上传用户:jackeywang348
SR-FRS-0W5是一款性价比极高的无线语音对讲及数传模块,内置高性能射频收发芯片、微控制器以及射频功放。外控制器可通过标准的异步串行接口(RS232)通讯来设置模块工作参数并控制整个模块的收发。该模块只需外接天线、MIC和语音功放即可组成一台完整的对讲机或数传电台。 ...
/dl/212439.html
上传时间: 2022-09-25
上传用户:d5565137