< B语言与方法：实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先，介绍了B 语言的发展历史及与其他语言的关系，然 后，从集合、序列等基本数学符号表示到B 语言的结构化机制，再到它所支 持的大型程序设计方法，全面地介细了B 符号语言的描述方法。
上传时间： 2014-11-29
上传用户：康郎
接收解码用VHDL语言编写程序，在EDA实验板上实现解码，要求具有以下功能： （a）将一体化红外接收解调器的输出信号解码（12个单击键、6个连续键，单击键编号为7－18，连续键编码为1－6），在EDA实验板上用七段数码管显示出来； （b）当按下遥控器1—6号连续键时，在EDA实验板上用发光二极管点亮作为连续键按下的指示，要求遥控器上连续键接下时指示灯点亮，直到松开按键时才熄灭，用于区别单击键。 （c）EDA实验板上设置四个按键，其功能等同于遥控器上的1—4号按键，当按下此四个按键时七段数码管分别对应显示“1”、“2”、“3”、“4”。 （d）每当接收到有效按键时，蜂鸣器会发出提示音。
上传时间： 2016-07-05
上传用户：libinxny
8255扫描键盘、显示程序 A- a^n18 利用8255可编程并行口做一个扫描键盘实验，把按键输入的键码，显示在由8279控制的七段数码管上。 8255PA口做键盘输入线，PB口作扫描线。
上传时间： 2016-07-07
上传用户：
s3c44b0 uclinux gpio驱动测试程序。程序每隔一秒扫描一次相应的gpio，我的开发板上是几个按键，如果有按键按下则显示按下的按键号。
上传时间： 2016-07-14
上传用户：jyycc
sourceforge历史版本完整下载: http://sourceforge.net/project/showfiles.php?group_id=202044 提供了基于b树索引算法的文件数据数据库模块详见storage/目录下面的 btree.c与pager.c container目录为常用的容器实现，如果rbtree avltree map heap list vector hashtable deque T树 B树, test目录为测试程序代码经过初步测试，比较稳定。 os_api:装一些操作系统相关的接口函数。已完成event mutex sem thread pipe相关的封装 advance_container:提供优先级消息队列,普通消息队列，定时器容器。 frame:目前提供了listerner（linux下版本，模仿ace的反应器）定时器 algorithm:补充了堆排序 与快速排序 所有代码均已在windows linux与uclinux + arm44b0平台下测试 欢迎交流 msn:lsccsl@163.net mail:lsccsl@tom.com
标签： sourceforge showfiles group_id project
上传时间： 2016-07-16
上传用户：lili123
高斯－塞德尔迭代法算法： 设方程组AX=b 的系数矩阵的对角线元素 ，M为迭代次数容许的最大值， 为容许误差。 ① 取初始向量 ，令k=0 ② 对 计算 ③ 如果 ，则输出 ，结束；否则执行④， ④ 如果 ，则不收敛，终止程序；否则 ，转②。
上传时间： 2014-01-22
上传用户：集美慧
自己的51开发板源代码B，里面包含有LCD1602实验，lcd12864实验，ps2 lcd1602，串口通讯，红外遥控，计算器，继电器控制，矩阵键盘等实验程序，内容丰富
上传时间： 2016-09-06
上传用户：wab1981
在编制键盘输入程序时常常要用到一个键的扫描码或ASC码，如用到 Foxpro 的 inkey() 函数，以及用到 BIOS 的 INT 16H时，但找一个编码表不太容易，有时候找到的编码表又不全，无法查到组合键的编码，本程序就是一个随时用来显示按键的ASC码及扫描码的程序，可以用 16 进制和 10 进制同时显示一个键按下和放开的扫描码，以及ASC码，同样也支持组合键。
上传时间： 2016-09-21
上传用户：钓鳌牧马
16个按键的 程序， 具体按照扫描的，时间快
上传时间： 2013-11-26
上传用户：tianjinfan
16个按键的 程序， 具体按照扫描的，时间快
上传时间： 2014-05-23
上传用户：ruan2570406
