< B语言与方法:实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先,介绍了B 语言的发展历史及与其他语言的关系,然 后,从集合、序列等基本数学符号表示到B 语言的结构化机制,再到它所支 持的大型程序设计方法,全面地介细了B 符号语言的描述方法。
上传时间: 2014-11-29
上传用户:康郎
⑴ 提供简单命令 A、通过串口加载程序到指定内存 B、将程序烧写到 NANDFLASH 指定位置 C、LCD 操作函数 I、画点 II、画线 III、画圆 IV、显示图像 ⑵ bootloader 具备自我更新能力 ⑶ bootloader 可以启动 LINUX ⑷ 能通过网络传输文件(FTP/UDP)
上传时间: 2016-06-18
上传用户:牧羊人8920
通过RS485端口不停地发送数据0xaa,用示波器观察RS485端口A、B信号线上的波形或者用RS485接收器接收发送的字符。
上传时间: 2013-12-26
上传用户:xcy122677
鼠标键盘操作 b画线, m拖动点, d删除点
上传时间: 2016-12-29
上传用户:wendy15
这是一个分别用Bezier曲线和B样条曲线进行曲线拟合的例子 程序用VB6.0中文版编写 例子中需要一个窗体和一个按钮(使用默认的名字) 在本例中,黑色的线条是对坐标系上各点的直接连线 黄色的线仅对点间连线进行近似拟合,并不通过每一个点,使用的是B样条曲线 蓝色的线通过除第一个点和最后一个点之外的每一个点,使用的是Bezier曲线
上传时间: 2014-11-06
上传用户:manking0408
采用德布尔算法进行B样条的生成,可以用来进行型线优化设计前的参数化处理
上传时间: 2017-07-03
上传用户:lx9076
21世纪大学新型参考教材系列 集成电路B 荒井
上传时间: 2013-04-15
上传用户:eeworm
家电维修(最基础的教程B)1-20.Torrent
上传时间: 2013-06-10
上传用户:eeworm
jk-b交通信号控制机原理图
上传时间: 2013-07-13
上传用户:eeworm
专辑类-实用电子技术专辑-385册-3.609G jk-b交通信号控制机原理图-1.3M.zip
上传时间: 2013-08-02
上传用户:zhf1234