< B语言与方法:实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先,介绍了B 语言的发展历史及与其他语言的关系,然 后,从集合、序列等基本数学符号表示到B 语言的结构化机制,再到它所支 持的大型程序设计方法,全面地介细了B 符号语言的描述方法。
上传时间: 2014-11-29
上传用户:康郎
这是一个利用B+ Trees数据结构存储数据的源码,全部代码用C语言写的.
上传时间: 2014-01-09
上传用户:myworkpost
实现B树,并在MFC中将其画出。 B树的表示及基本操作的实现。 1.掌握B树的存贮结构。 2.实现B树中关键字值的插入及删除操作。 3.屏幕图形化的显示。
标签: 树
上传时间: 2013-12-18
上传用户:xymbian
杭州立宇泰armsys2410-b套件光盘资料使用手册。 包括: 1、armsys2410-B开发板linux2.4.18内核用户手册.pdf 2、armsys2410-B开发板硬件用户手册.pdf 3、ARMSYS2410开发套件Linux2.6.15内核使用说明.pdf 4、ARMSYS2410开发套件WINCE5.0BSP使用说明.pdf 5、一步一步基于ADS1.2进行开发(ARM9).pdf
上传时间: 2014-01-21
上传用户:hj_18
The Design and Evolution of C++ 国外经典C++原版书库《C++语言的设计和演化》/(美)斯特郎斯特鲁普(Stroustrup,B)著;裘宗燕等译 十分经典、难得!
标签: Stroustrup Evolution Design The
上传时间: 2016-08-17
上传用户:chenlong
这是一个三次样条插值的.m程序 输入的是一个二维数组A(Nx2) 插值方法为: S(x) = A(J) + B(J)*( x - x(J) ) + C(J)*( x - x(J) )**2 +D(J) * ( x - x(J) )**3 for x(J) <= x < x(J + 1)
上传时间: 2013-12-14
上传用户:gengxiaochao
移位乘法器的输入为两个4位操作数a和b,启动乘法器由stb控制,clk信号提供系统定时。乘法器的结果为8位信号result,乘法结束后置信号done为1. 乘法算法采用原码移位乘法,即对两个操作数进行逐位的移位相加,迭代4次后输出结果。具体算法: 1. 被乘数和乘数的高位补0,扩展成8位。 2. 乘法依次向右移位,并检查其最低位,如果为1,则将被乘数和部分和相加,然后将被乘数向左移位;如果为0,则仅仅将被乘数向左移位。移位时,被乘数的低端和乘数的高端均移入0. 3. 当乘数变成全0后,乘法结束。
上传时间: 2014-01-03
上传用户:星仔
a XOR b> a,然后a XOR b< b,and both a and b are dependent data
上传时间: 2014-01-27
上传用户:yxgi5
Problem B:Longest Ordered Subsequence A numeric sequence of ai is ordered if a1 < a2 < ... < aN. Let the subsequence of the given numeric sequence (a1, a2, ..., aN) be any sequence (ai1, ai2, ..., aiK), where 1 <= i1 < i2 < ... < iK <= N. For example, sequence (1, 7, 3, 5, 9, 4, 8) has ordered subsequences, e. g., (1, 7), (3, 4, 8) and many others. All longest ordered subsequences are of length 4, e. g., (1, 3, 5, 8).
标签: Subsequence sequence Problem Longest
上传时间: 2016-12-08
上传用户:busterman
两台处理机A 和B处理n个作业。设第i个作业交给机器 A 处理时需要时间ai,若由机器B 来处理,则需要时间bi。由于各作 业的特点和机器的性能关系,很可能对于某些i,有ai >=bi,而对于 某些j,j!=i,有aj<bj。既不能将一个作业分开由两台机器处理,也没 有一台机器能同时处理2 个作业。设计一个动态规划算法,使得这两 台机器处理完成这n 个作业的时间最短(从任何一台机器开工到最后 一台机器停工的总时间)。研究一个实例:(a1,a2,a3,a4,a5,a6)= (2,5,7,10,5,2);(b1,b2,b3,b4,b5,b6)=(3,8,4,11,3,4)
上传时间: 2014-01-14
上传用户:独孤求源