< B语言与方法:实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先,介绍了B 语言的发展历史及与其他语言的关系,然 后,从集合、序列等基本数学符号表示到B 语言的结构化机制,再到它所支 持的大型程序设计方法,全面地介细了B 符号语言的描述方法。
上传时间: 2014-11-29
上传用户:康郎
科恩著“时_频分析:理论与应用”该书全面系统地阐述了时-频分析的理论与应用。全书共分19章,主要内容有:时间分析、频率分析、尺度分析、时间-带宽关系;瞬时频率;密度和局部量;短-时傅里叶变换;时-频分析;魏格纳分布;时-频表示;计算方法;综合问题;空间/空间-频率表示;时间尺度表示;算子;一般联合表示;随机信号和高阶时-频分布。每一个概念都有举例说明,而且还给出了这些方法如何推广到其它的变量,如尺度等。 西安交通大学出版社
标签: 分
上传时间: 2016-04-07
上传用户:恋天使569
使用VHDL语言写的一些奇次和偶次分频源程序,在使用CPLD/FPGA的过程中有一定的参考价值
上传时间: 2013-12-18
上传用户:stvnash
uclinux 中如何使用b核的文章,经典
上传时间: 2016-04-11
上传用户:jqy_china
采用基于B/S结构进行开发学生管理信息系统,本系统采用Servlet+Jsp+JavaBean+MySQL 的设计方式
标签: JavaBean Servlet MySQL Jsp
上传时间: 2013-11-26
上传用户:yuchunhai1990
给出了一种用时空混沌系统产生 系统的扩频序列的方法, 对其中驱动序列的选择进行了讨论, 并分CDMA析了时空混沌扩频系统的特殊耦合同步特性, 最后给出了一种 通信系统模型
上传时间: 2013-12-24
上传用户:13517191407
该系统是一个B/S结构的公司定饭系统,整套软件由JSP编制,希望大家能够多提宝贵意见,但请不要将它应用于商业环境,如实在要使用的话,请与作者联系!(使用此系统无比要有ORACLE8i以上版本数据库!)
上传时间: 2014-01-25
上传用户:坏坏的华仔
利用matlab编写的小波分解分频和除躁程序,分为高低频率,并除去噪声,达到较好的效果。
上传时间: 2013-12-29
上传用户:yyyyyyyyyy
任意整数分频,很好,欢迎大家使用,有疑问请即时跟我联系
上传时间: 2014-10-27
上传用户:chens000
QTP全名Quick Test Professional,是MI公司出品的一款测试工具.它的优点是使用方便,功能强大并且可以通过与测试管理工具的互连达到自动化功能测试的目的. QTP是专门针对B/S模式的测试工具.它具有:识别能力强,回放精确等优点,是进行B/S模式下功能测试的首选工具
标签: Professional QTP Quick Test
上传时间: 2016-04-21
上传用户:tyler