近十年以来,计算机科学研究的进步大大推动了需求和设计验证工具和技术的发展,其中最成功的技术当属模型校验。模型验证与规范化建模语言的紧密结合,极大地推动了验证自动化的发展。本文介绍了模型校验的原理及工作
嵌入式系统中的温度监测与显示是一项重要的技术应用，而单片机温度传感器测温显示是该领域中常见的实现方式之一。嵌入式系统通常由嵌入式单片机、传感器和显示装置组成，其中温度传感器的作用是实时感知环境温度变化
电控系统的增加虽然提高了轿车的动力性、经济性和舒适性,但随之增加的复杂电路也降低了汽车的可靠性,增加了维修的难度。从布线角度分析,传统的电子气系统大多采用点对点的单一通信方式,相互之间少有联系,这样必
1 地铁杂散电流产生原理 地铁牵引供电一般为直流供电,而当直流大电流沿地面敷设的轨道流动时,直流电流除了在轨道中流动外,还会从轨道泄漏到大地,在大地中的各种金属物体上流动,然后再回到电源系统。这部
分析了分布式嵌入式实时系统的特点和要求,对实时CORBA的处理器、内存和网络资源管理的主要技术进行了总结,提出了利用CORBA技术建立分布式嵌入式实时系统的三种方案。
桥梁健康监测系统的设计，甘慧娟，，桥梁健康监测已成为国内外相关领域的研究热点。本文从桥梁健康监测系统的功能要求出发，开发了一套完整的桥梁健康监测系统的总体
摘要:嵌入式系统是目前比较受关注的软件。文中主要讲述嵌入式pclinux中USB设备驱动的开 发，在本系统中采用S3C44B0作为主处里芯片，它是一种适用于嵌入式的无MMU的芯片。
随着Internet的飞速发展,网络应用越来越广泛,对各种工业控制设备的网络功能要求也越来越高。当前的要求是希望工业控制设备能够支持TCP/IP以及其它Internet协议,从而能够通过用户熟悉的浏览
引言 最新的嵌入式设计为各行各业及各种应用提供了大量复杂的新产品和新服务。由于精简成本的限制及提高性能的预期,嵌入式设计正在为各种包括家电、工具、建筑、服装及我们周围几乎所有物品在内的日常应用提供
摘要:主要介绍硅实验室双芯片形式的嵌入式Modem(ISOmodem)芯片Si2414和Si3015,以及ISOmodem在配电变压器远方终端单元(TTU)中的应用;重点介绍运用ISOmodem通信的
用户评论