< B语言与方法：实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先，介绍了B 语言的发展历史及与其他语言的关系，然 后，从集合、序列等基本数学符号表示到B 语言的结构化机制，再到它所支 持的大型程序设计方法，全面地介细了B 符号语言的描述方法。
上传时间： 2014-11-29
上传用户：康郎
1998年建模B题，内含解题方法解题步骤。
上传时间： 2020-05-02
上传用户：isomerrrr
费恩曼（R．P．Feynman）1918年生于布鲁克林区，1942年在普林斯顿获得博士学位。第二次世界大战期间在洛斯阿拉莫斯，尽管当时他还很年轻，但已在曼哈顿计划中发挥了重要作用。以后，他在康奈尔大学和加利福尼亚理工学院任教。1965年，因他在量子电动力学方面的工作和朝永振一郎及施温格（J．Schwinger）同获诺贝尔物理学奖。费因曼博士获得诺贝尔奖是由于成功地解决了量子电动力学理论问题，他也创立了说是液氦中起流动性现象的数学理论。此后，他和盖尔曼（M.Gell-Mann）在B衰变等弱相互作用领域内做出了奠基性的工作。在以后的几年里，他在夸克理论的发展中起了关键性的作用，提出了他的高能质子碰撞过程的部分子模型。除了这些成就之外，费恩曼博士将新的基本计算技术及记号法引时物理学，首先是无处不在的费恩曼图，在近代科学历史中，它比任何其他数学形式描述都更大地改变了对基本物理过程形成概念及进行计算的方法。费恩曼是一位卓越的教育家。在他区得的许多奖项中，他对1972年获得的奥斯特教学奖章特别感到自豪。在1963年第一次出版的《费恩曼物理学讲义》被《科学叛国人》杂志的一位评论员描写为“咬不动但富于营养并且津津有味。25年后它仍是教师和最好的初学学生的指导书”。为了使外行的公众增加对物理学的了解，费恩曼博士写了《物理定律和量子电动力学的性质：光和物质的奇特理论》。他还是许多高级出版物的作者，这些都成为研究人员和学生的经典参考书和教科书。费恩曼是一个活跃的公众人物。他在挑战者号调查委员会里的工作是从所周知的，特别是他的著名的O型环对寒冷的敏感性的演示，这是一个优美的实验，除了一杯冰水以外其他什么也不需要。费恩曼博士1960年在加利福尼亚州课程促进会中的工作却很少人知道，他在会上抨击了教材的平庸。仅仅罗列费恩曼的科学和教育成就并没有恰当抓信这个人的本质。即使是他 最最技术性的出版物的读者都知识道，费恩曼活跃的多面的人格在他所有的工作中都闪闪发光。除了作为物理学家，在各种不同的场合下他变成不同的人物：有进是无线电修理工，有时是锁具收藏家，艺术家、舞蹈家、邦戈（bongo）鼓手，甚至玛雅象形文字的解释者。对他的世界人们永远好奇，他是一个典型的经验主义者。费恩曼于1998年2月15日在洛杉矶逝世。
标签： 物理学
上传时间： 2022-04-24
上传用户：得之我幸78
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
专辑类-电子基础类专辑-153册-2.20G 21世纪大学新型参考教材系列-集成电路B-荒井-159页-2.8M.pdf
上传时间： 2013-05-16
上传用户：pkkkkp
三次B样条曲线源代码,C语言编写的三次B样条曲线源代码，希望大家喜欢。
标签：
上传时间： 2013-07-13
上传用户：chengli008
便携式B型超声诊断仪具有无创伤、简便易行、相对价廉等优势，在临床中越来越得到广泛的应用。它将超声波技术、微电子技术、计算机技术、机械设计与制造及生物医学工程等技术融合在一起。开展该课题的研究对提高临床诊断能力和促进我国医疗事业的发展具有重要的意义。 便携式B型超声诊断仪由人机交互系统、探头、成像系统、显示系统构成。其基本工作过程是：首先人机交互系统接收到用户通过键盘或鼠标发出的命令，然后成像系统根据命令控制探头发射超声波，并对回波信号处理、合成图像，最后通过显示系统完成图像的显示。 成像系统作为便携式B型超声诊断仪的核心对图像质量有决定性影响，但以前研制的便携式B型超声诊断仪的成像系统在三个方面存在不足：第一、采用的是单片机控制步进电机，控制精度不高，导致成像系统采样不精确；第二、采用的数字扫描变换算法太粗糙，影响超声图像的分辨率；第三、它的CPU多采用的是51系列单片机，测量速度太慢，同时也不便于系统升级和扩展。 针对以上不足，提出了基于FPGA的B型超声成像系统解决方案，采用Altera公司的EP2C5Q208C8芯片实现了步进电机步距角的细分，使电机旋转更匀速，提高了采样精度；提出并采用DSTI-ULA算法（Uniform Ladder Algorithm based on Double Sample and Trilinear Interotation）在FPGA内实现数字扫描变换，提高了图像分辨率；人机交互系统采用S3C2410-AL作为CPU，改善了测量速度和系统的扩展性。 通过对系统硬件电路的设计、制作，软件的编写、调试，结果表明，本文所设计的便携式B型超声成像系统图像分辨率高、测量速度快、体积小、操作方便。本文所设计的便携式B型超声诊断仪可在野外作业和抢险（诸如地震、抗洪）中发挥作用，同时也可在乡村诊所中完成对相关疾病的诊断工作。
上传时间： 2013-05-18
上传用户：helmos
