< B语言与方法：实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先，介绍了B 语言的发展历史及与其他语言的关系，然 后，从集合、序列等基本数学符号表示到B 语言的结构化机制，再到它所支 持的大型程序设计方法，全面地介细了B 符号语言的描述方法。
上传时间： 2014-11-29
上传用户：康郎
杭电 ACM 1002 I have a very simple problem for you. Given two integers A and B, your job is to calculate the Sum of A + B.
标签： integers problem calcul simple
上传时间： 2014-01-12
上传用户：dave520l
基于verilog HDL的自动售货机控制电路设计: 可以对5种不同种类的货物进行自动售货,价格分别为A=1.00,B=1.50,C=1.80,D=3.10,E=5.00 。售货机可以接受1元,5角,1角三种硬币(即有三种输入信号IY,IWJ,IYJ),并且在一个3位7段LED(二位代表元,一位代表角)显示以投入的总钱数，最大9.90元，如果大于该数值，新投入的硬币会退出,选择货物的输入信号Ia,Ib,Ic,Id,Ie和一个放弃信号In,输出指示信号为 Sa, Sb ,Sc ,Sd, Se 分别表示售出相应的货物,同时输出的信号yuan, jiao代表找零,相应每个脉冲代表找零相应的硬币，上述输入和输出信号均是一个固定宽度的脉冲信号。
上传时间： 2016-07-12
上传用户：lanwei
51单片机控制dm413 R,G,B色彩变化。
上传时间： 2016-10-07
上传用户：chenlong
作品简介:基于51单片机的信号发送器,理论距离是3000米,实际受到现实的干扰,信号发送距离降缩短到1500米以上.可以配备多个接收器,实现多机通讯. 作品作用:例如手动输入A,B,C,D 80个不同的信号,启动发送,那么配备的多个接收器能接收到这80个信号.
上传时间： 2013-12-24
上传用户：zhengjian
基于B IO S和USB盘实现对PC机的安全访问
上传时间： 2016-10-31
上传用户：stvnash
为提升测量精度、方便数据传输管理, 设计并实现了以S3C44B0 处理器作为控制核心, CS5460 作为计量器件, 通过 USB 接口与上位机实现数据通讯的新型电能量测试系统 重点讨论了USB 接口程序的结构与实现。实践证明系统具有广 泛的适应范围。
上传时间： 2014-01-18
上传用户：thinode
步进电机控制 p1.4-p1.7控制a,b,c,d四个相位开关 汇编实现
上传时间： 2017-05-12
上传用户：003030
2015年全国大学生电子设计竞赛风力摆控制系统(B题)，附源代码及设计方案分析和报告。
上传时间： 2016-05-25
上传用户：psypj
产品型号：VK2C21A/B/C/D 产品品牌：VINKA/永嘉微/永嘉微电 封装形式：SOP28/24/20/16 裸片:DICE（邦定COB）/COG（邦定玻璃用） 产品年份：新年份 联 系 人：许硕 原厂直销，工程服务，技术支持，价格最具优势！ VK2C21A/B/C/D概述： VK2C21是一个点阵式存储映射的LCD驱动器，可支持最大80点（20SEGx4COM）或者最大128点（16SEGx8COM）的LCD屏。单片机可通过I2C接口配置显示参数和读写显示数据，也可通过指令进入省电模式。其高抗干扰，低功耗的特性适用于水电气表以及工控仪表类产品。 特点： ★ 工作电压 2.4-5.5V ★ 内置32 kHz RC振荡器 ★ 偏置电压（BIAS）可配置为1/3、1/4 ★ COM周期（DUTY）可配置为1/4、1/8 ★ 内置显示RAM为20x4位、16x8位 ★ 帧频可配置为80Hz、160Hz ★ 省电模式（通过关显示和关振荡器进入）
标签： 21 VK2C C21 LCD VK2 VK 2C 存储器 多功能 映射
上传时间： 2022-04-08
上传用户：2937735731
