信息物理融合系统常采用嵌入式实时多任务系统作为其控制软件,这类软件的并发和非确定性给验证带来了困难.提出了一种利用统计模型检验技术分析多任务系统的功能正确性的方法.该方法构造的时间自动机模型以模块化的方式描述了实时多任务系统中的主要成分,包括实时操作系统、周期性任务、偶发任务、共享资源以及物理环境,能够展现多任务系统的细粒度的运行过程及其对物理环境的实时响应.应用该方法分析了玉兔号月球车控制软件的一个早期版本,发现了系统运行中出现的一个特殊错误,识别了实际系统出现错误的条件,再现了出现错误的场景.
资源简介:信息物理融合系统常采用嵌入式实时多任务系统作为其控制软件,这类软件的并发和非确定性给验证带来了困难.提出了一种利用统计模型检验技术分析多任务系统的功能正确性的方法.该方法构造的时间自动机模型以模块化的方式描述了实时多任务系统中的主要成分,包括实...
上传时间: 2022-09-12
上传用户:dgnd9999
资源简介:CANopen协议及在电机系统控制中的应用
上传时间: 2021-07-09
上传用户:philis
资源简介:·一种新型CT模拟激光定位系统控制电路的设计与研究
上传时间: 2021-02-21
上传用户:sonnoy
资源简介:突破一流信息监控拦截系统上传
上传时间: 2021-03-13
上传用户:xifeng123
资源简介:建立了双容水箱系统的数学模型,采用串级控制方案对双容水箱液位系统进行控制,控制算法采用数字PID。确定了硬件设备,制作了双容水箱液位控制系统。采用力控5.0 版组态软件,对整个液位控制系统进行组态,构
上传时间: 2021-01-17
上传用户:zyp851816282
资源简介:随着电子技术的飞速发展,各类装备设备的集成化程度越来越高,由于系统构成的复杂性和操作环境的多样性,装备设备电路故障的复杂性、模糊性给维修保障带来极大挑战,针对装备设备中的模拟电路故障诊断问题,提出了一种基于信息融合和神经网络的模拟电路故障诊...
上传时间: 2021-06-17
上传用户:393504000
资源简介:车辆散热系统的参数是车辆安全行驶的保障,其散热系统的稳定性也是衡量车辆先进性的重要标志。因为车辆的各个系统都有一定的参数范围,当各零件的参数都在此范围内时其性能指标才最正常,所以需要很好的监测系统指标的准确性和稳定性,给汽车行业以有力的保障...
上传时间: 2021-07-03
上传用户:cloo
资源简介:本书从应用的角度介绍了智能信息处理和智能控制在国民经济和发展高新技术中的重要作用斤书中论述的智能技术中的人工神经网络和智能信号处理,反映了近年来在该领域中主要研究工作的进展情况,其中有些是作者创新的理论成果,而关于控制系统的智能设计、智能调...
上传时间: 2022-01-16
上传用户:lin1202
资源简介:本文介绍了彩色像片洗印机温度控制系统的组成及原理,给出了利用DS1820 温度传感器实现温度检测与控制软件的设计实例。关键词:温度检测 温度控制 单片机 DS1820 传感器T
上传时间: 2021-01-13
上传用户:royal312
资源简介:工业X-CT(X-ray Computed Tomography)无损检测技术是以不损伤或者破坏被检测对象的一种高新检测技术,被誉为最佳的无损检测手段,在无损检测领域日益受到人们的青睐。近年来,各国都在投入大量的人力、物力对其进行研究与开发。 目前,工业CT主要采用第二代...
上传时间: 2021-01-20
上传用户:344190914
资源简介:电极间距作为影响金卤灯性能的重要参数,在金卤灯生产过程中一直都有着严格的精度要求。对于小功率尤其是超小功率金卤灯,由于受电弧管尺寸的限制,电极间距的额定值一般都比较短,在装配过程中微小的误差都可能会对金卤灯的性能产生较大的影响。如何制造出快...
上传时间: 2021-06-03
上传用户:wm102953
资源简介:随着科技的进步,微机控制技术和通讯技术的广泛使用,当今社会已进入了信息时代。锅炉作为传统的工业产品已经广泛应用于各个领域。全自动化的、低污染的生物质锅炉作为现代农业温室的热源主体已经和现代智能温室紧密结合起来。基于集散控制技术的多锅炉的组网...
上传时间: 2021-12-16
上传用户:zhang365947064
资源简介:激光打标是指利用高能量密度的激光束在物件表面作永久性标刻。激光打标以其“打标速度快、性能稳定、打标质量好”等优势,获得了日益广泛的应用。传统的激光打标系统一般是基于ISA总线或PCI总线的,运动控制卡必须插在计算机的PCI插槽内,且不支持热捅拔,影...
上传时间: 2022-09-13
上传用户:哒哒哒
资源简介:对共享控制系统中数据包在因特网传输过程发生丢包的现象进行建模,分析丢包对系统控制性能的影响,利用预测补偿控制原理设计一种基于混合型pi-sigmod 模糊神经网络的丢包补偿算法。仿真实验结果表明,该算
上传时间: 2021-01-01
上传用户:lzsxtree
资源简介:资料->【C】嵌入系统->【C3】自动化控制->【1】控制算法->【人工智能】->智能信息处理和智能控制.pdf
上传时间: 2021-01-18
上传用户:xianannan
资源简介:在工程应用中,常常会用到自动控制的方法与思想,那么如何用C实现控制方法与控制算法,如何更为有效的设计适合系统要求的控制算法是高级工程人员经常面对的问题,本课程力求深入浅出的讲解控制方法的工程应用,弥补工程算法应用的空白。
上传时间: 2021-04-27
上传用户:西西里岛12345
资源简介:本文首先根据自顶向下的设计方法以及可重用的设计原则讨论了该芯片的设计方案,包括设计规范、芯片系统实现框图、USB音频拓扑结构、USB端点分配情况、模拟数字部分划分以及数字模块划分等。然后重点描述了主要数字功能模块的原理、端口说明,借助EDA工具编写R...
上传时间: 2021-05-01
上传用户:誓言
资源简介:自移式机尾是综采工作面可伸缩带式输送机的重要连接部件。自移式机尾在井下工作时,由于顺槽底板不平整、输送带跑偏、转载机机头歪斜等情况的存在,常常需要通过调平处理使相关设备保持正常工作状态。目前井下对机尾的调平通常是手动操作,调平效率低、耗时长...
上传时间: 2021-10-10
上传用户:zyt1528
资源简介:研究了物联网终端设备软件的开发系统,开发了终端软件并进行了仿真和测试.通过进入该系统的软件开发平台,采用JAVA编写程序,然后使用系统切换平台把编写的程序软件导入到主测试平台,测试软件参数并进行仿真.高校智慧食堂的APP软件开发及仿真测试结果表明,该程序...
上传时间: 2021-12-16
上传用户:zhhuan
资源简介:基于ACtivex技术的Lonworks网络管理系统软件的设计与实现:对Lonworks网络管理系统的结构与功能设计进行了探讨,并介绍了在VB环境下调用LCA对象提供的属性、方法及事件实现网络管理系统
上传时间: 2022-02-04
上传用户:pneumatic
资源简介:随着电力发展和电网改造的进行,目前市场对电力自动化管理系统的需求正进一步增大.但现有的系统或自动化程度不高或抗干扰能力差,不能满足实际使用的要求,因此迫切要求提高系统性能。 该课题的研究内容为HFC自动抄表系统,通过此系统来达到抄表的自...
上传时间: 2022-09-01
上传用户:薛靖文
资源简介:本文首先介绍了高清视频的发展历史。并就当前相关领域的发展阐述了高清视频编解码系统的设计思路,提出了可行的系统设计方案。基于H.264的高清视频编码系统对处理器的要求非常高,一般的DSP和通用处理器难以达到性能要求。本系统选择富士通公司最新的专用视频...
上传时间: 2022-09-06
上传用户:誓言
资源简介:基于一维天线测试转台,采用VB编程实现对其伺服控制器的控制和转台状态的监测。其中包括:控制界面设计、串行通信功能、命令处理和发送功能、应答接收和处理功能、转台扫描状态监测功能和限位报警功能等。
上传时间: 2021-01-10
上传用户:dgnd9999
资源简介:IC封装在电磁干扰控制中的作用:将去耦电容直接放在IC封装内可以有效控制EMI并提高信号的完整性,本文从IC内部封装入手,分析EMI的来源、IC封装在EMI控制
上传时间: 2021-01-11
上传用户:24个比利
资源简介:2章单轴传动的执行电机选择,多轴传动的执行电机选择,步进电动机的选择3章功率放大装置的设计与选择4章连续伺服系统中信号的检测:伺服系统中侧角(位移)装置的设计,伺服系统中角速度的检测5章数字伺服系统设计:两种不同输入方式的数字伺服系统,数字伺服系统中轴...
上传时间: 2021-02-27
上传用户:nemesis
资源简介:几种光伏系统MPPT方法的分析比较,太阳能发电的系统中需要对太阳能电池的最大功率点进行跟踪。本文分析了四种常见的最大功率跟踪方法,比较了其优缺点,为不同的系统选择不同的跟踪方法提供了理论依据。
上传时间: 2021-04-04
上传用户:kmq
资源简介:系统与软件可靠性标准第一部分:指标体现,需要的可以看一下。
上传时间: 2021-04-16
上传用户:shanxiaoke
资源简介:系统与软件可靠性标准第二部分:度量方法,需要的可以看一下。
上传时间: 2021-04-19
上传用户:xiexieixe
资源简介:系统与软件可靠性标准第三部分:测试方法,需要的可以看一下。
上传时间: 2021-04-20
上传用户:二虎125
资源简介:现代的电网中,由于电力系统的负荷中感性负载过多,造成大量无功功率的在电网中传输,严重影响供电质量,因此对电网无功补偿的研究具有很重要的现实意义。 本文在查阅大量中外资料的基础上,设计了一种基于DSP的TSC型低压动态的无功补偿装置。本文首先以无...
上传时间: 2021-07-16
上传用户:bbontime