< B语言与方法：实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先，介绍了B 语言的发展历史及与其他语言的关系，然 后，从集合、序列等基本数学符号表示到B 语言的结构化机制，再到它所支 持的大型程序设计方法，全面地介细了B 符号语言的描述方法。
上传时间： 2014-11-29
上传用户：康郎
生成一组带有高斯噪声的样本,分别用一阶,二阶,三阶的最小二乘估计方法进行拟合,然后分别用AIC,MDL,FPE,CAT四种评测模型对其性能进行比较,得到最优的拟合模型.
上传时间： 2016-05-08
上传用户：shawvi
B+树算法,没有密码,供学习使用.质量高
上传时间： 2014-09-10
上传用户：远远ssad
高斯－塞德尔迭代法算法： 设方程组AX=b 的系数矩阵的对角线元素 ，M为迭代次数容许的最大值， 为容许误差。 ① 取初始向量 ，令k=0 ② 对 计算 ③ 如果 ，则输出 ，结束；否则执行④， ④ 如果 ，则不收敛，终止程序；否则 ，转②。
上传时间： 2014-01-22
上传用户：集美慧
移位乘法器的输入为两个4位操作数a和b，启动乘法器由stb控制，clk信号提供系统定时。乘法器的结果为8位信号result,乘法结束后置信号done为1. 乘法算法采用原码移位乘法，即对两个操作数进行逐位的移位相加，迭代4次后输出结果。具体算法： 1. 被乘数和乘数的高位补0，扩展成8位。 2. 乘法依次向右移位，并检查其最低位，如果为1，则将被乘数和部分和相加，然后将被乘数向左移位；如果为0，则仅仅将被乘数向左移位。移位时，被乘数的低端和乘数的高端均移入0. 3. 当乘数变成全0后，乘法结束。
上传时间： 2014-01-03
上传用户：星仔
一个电子产品开发时的部分c代码B!绝对能用!
上传时间： 2013-12-20
上传用户：许小华
一个电子产品开发时的部分c代码B!绝对能用!
上传时间： 2016-09-05
上传用户：515414293
数是对LPC764的I2C的I／O口实 现,即其P1.3 (SDA) , P1.2(SCL),51系列机型可以通用. 注意: 函数是采用软件延时的方法产生SCL脉冲,固对高晶振频率要作 一定的修改....(本例是1us机器周期,即晶振频率要小于12MHZ). (函数的使用可参考给出的事例程序.)
上传时间： 2016-10-06
上传用户：hakim
FIQ有FIQ_PWM、FIQ_TMA和FIQ_TMB三个中断源,当定时器A或B计满溢出时产生中断请求信号TA_TIMEOUT_INT或TA_TIMEOUT_INT,CPU响应后进入中断执行相应的子程序控制二极管发光。A口的低四位接LED灯，B口的低四位接LED灯.
标签： TA_TIMEOUT_INT FIQ_PWM FIQ_TMA FIQ_TMB
上传时间： 2013-12-11
上传用户：凤临西北
关于超宽带的一系列仿真包括高斯波形各阶导函数波形频谱以及采用高斯导函数的跳时超宽带仿真程序
上传时间： 2014-01-08
上传用户：zuozuo1215
