< B语言与方法:实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先,介绍了B 语言的发展历史及与其他语言的关系,然 后,从集合、序列等基本数学符号表示到B 语言的结构化机制,再到它所支 持的大型程序设计方法,全面地介细了B 符号语言的描述方法。
上传时间: 2014-11-29
上传用户:康郎
充电系统对于实际的电动汽车而言是不可缺少的子系统,当蓄电池的电能用完之后,就必须使用充电系统对电池进行再充电。对于这种电动车充电系统的监控,目前国内尚处于起步阶段。 本文以电动车充电站的建设为背景,对充电机监控系统的通信总线和上位机软件设计进行了研究。首先介绍了系统的整个网络规划,然后对工业现场总线的特点、CAN2.0总线技术、涉及到的通信协议分别做了详细的描述,重点介绍了CAN总线的相关设计和系统的硬件、软件设计及实验结果。设计过程中参考了目前比较成熟的CAN2.0与J1939协议,并创新性的将这一用于汽车内部的通信总线移植到充电站内充电机与上位机之间的通信系统中。整个设计的创新在于将CAN总线这一现有成熟技术应用在充电站监控系统建设这一新领域,成功的实现了总线的移植。 整个系统中,系统前端执行数据采集、充电控制等任务,同时通过CAN总线和以太网分别实现前端数据采集模块与监控计算机、监控计算机与数据服务器的数据传输,实现站内充电机的统一监控。本文围绕系统整体网络组建,CAN网络通信以及系统软硬件设计进行了讨论,并提供了一套完整的、先进的、可行的充电机监控系统通信总线及软件的解决方案。这种监控方案提高了系统通信的实时性、准确性、安全性,同时极大的提高了充电工人的工作效率。 目前系统的各项参数及功能已在实验室测试完毕,性能已基本达到设计目标,即将被用于奥运会电动汽车充电站的建设。
上传时间: 2013-04-24
上传用户:gtzj
基于目前电动汽车大功率充电装置的需求,提出了一种基于IGBT器件的直流充电机充电装置设计方案,并完成系统的软硬件设计。该系统的硬件部分架构设计主要是主回路部分以及控制系统部分,软件部分采用C语言进行编程,能够完成对其输出电压电流等信号的检测。实际应用表明,该系统达到了设计要求。
上传时间: 2013-10-10
上传用户:王者A
基于STC89C52单片机的全自动充电机设计
上传时间: 2014-12-26
上传用户:李彦东
%直接型到并联型的转换 % %[C,B,A]=dir2par(b,a) %C为当b的长度大于a时的多项式部分 %B为包含各bk的K乘2维实系数矩阵 %A为包含各ak的K乘3维实系数矩阵 %b为直接型分子多项式系数 %a为直接型分母多项式系数 %
上传时间: 2014-01-20
上传用户:lizhen9880
直接型到级联型的形式转换 % [b0,B,A]=dir2cas(b,a) %b 为直接型的分子多项式系数 %a 为直接型的分母多项式系数 %b0为增益系数 %B 为包含各bk的K乘3维实系数矩阵 %A 为包含各ak的K乘3维实系数矩阵 %
上传时间: 2013-12-30
上传用户:agent
一个充电机用的成熟程序.带各种报警,自动恒压.直接下载即可用.
上传时间: 2015-07-23
上传用户:shanml
高功率充电机控制程序设计。将输入指令和反馈进行比较,然后进行PI运算,再乘上单位的正弦值就变成输入电流需要跟踪的对象,然后将输入电流采样后和它进行滞回比较,比较后就可以给出开关管的开关信号了
上传时间: 2014-01-07
上传用户:banyou
B树及其B+树的实现代码,支持模版(数据类型,M值)
上传时间: 2016-02-22
上传用户:jhksyghr
欧几里德算法:辗转求余 原理: gcd(a,b)=gcd(b,a mod b) 当b为0时,两数的最大公约数即为a getchar()会接受前一个scanf的回车符
上传时间: 2014-01-10
上传用户:2467478207