< B语言与方法：实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先，介绍了B 语言的发展历史及与其他语言的关系，然 后，从集合、序列等基本数学符号表示到B 语言的结构化机制，再到它所支 持的大型程序设计方法，全面地介细了B 符号语言的描述方法。
上传时间： 2014-11-29
上传用户：康郎
超声理论与技术的快速发展，使超声设备不断更新，超声检查已成为预测和评价疾病及其治疗结果不可缺少的重要方法。超声诊断技术不仅具有安全、方便、无损、廉价等优点，其优越性还在于它选用诊断参数的多样性及其在工程上实现的灵活性。 全数字B超诊断仪基于嵌入式ARM9+FPGA硬件平台、LINUX嵌入式操作系统，是一种新型的、操作方便的、技术含量高的机型。它具有现有黑白B超的基本功能，能够对超声回波数据进行灵活的处理，从而使操作更加方便，图象质量进一步提高，并为远程医疗、图像存储、拷贝等打下基础，是一种很有发展前景、未来市场的主打产品。全数字B型超声诊断仪的基本技术特点是用数字硬件电路来实现数据量极其庞大的超声信息的实时处理，它的实现主要倚重于FPGA技术。现在FPGA已经成为多种数字信号处理（DSP）应用的强有力解决方案。硬件和软件设计者可以利用可编程逻辑开发各种DSP应用解决方案。可编程解决方案可以更好地适应快速变化的标准、协议和性能需求。 本论文首先阐述了医疗仪器发展现状和嵌入式计算机体系结构及发展状况，提出了课题研究内容和目标。然后从B超诊断原理及全数字B超诊断仪设计入手深入分析了B型超声诊断仪的系统的硬件体系机构。对系统的总体框架和ARM模块设计做了描述后，接着分析了超声信号进行数字化处理的各个子模块、可编程逻辑器件的结构特点、编程原理、设计流程以及ARM处理模块和FPGA模块的主要通讯接口。接着，本论文介绍了基于ARM9硬件平台的LINUX嵌入式操作系统的移植和设备驱动的开发，详细描述了B型超声诊断仪的软件环境的架构及其设备驱动的详细设计。最后对整个系统的功能和特点进行了总结和展望。
上传时间： 2013-05-28
上传用户：sssnaxie
国内首款采用B/S完美模式开发的考试系统国内首款采用开放式、动态数据架构的考试系统
上传时间： 2013-12-25
上传用户：liglechongchong
自己开发的b+树代码,经过本人测试,已经初步通过,有问题请联系我
上传时间： 2014-09-02
上传用户：lht618
基于B/S结构的在线选课系统.可以实现在线的学生选课\查看功能,教师开课,查看功能,以及后台的学生信息和教师信息的管理,它是以vbscrip为脚本,以SQL2000为后台数据库开发的
上传时间： 2013-12-12
上传用户：gut1234567
java ejb开发 程序4、语句alter table people add(phone_number varchar2(10)) 的作用是 A 修改表结构 B 为people表添加约束，约束名称是phone_number C 向people表中添加一列，名称是phone_number，数据类型是varchar2，长度是10 D 上述答案均不正确 5、（ ）BLOB和CLOB的区别在于 A CLOB只能存放字符类型的数据，而BLOB没有任何限制 B BLOB只能存放字符类型的数据，而CLOB没有任何限制 C CLOB只能存放小于4000字节的数据，而BLOB可以存放大于4000字节的数据 D BLOB只能存放小于4000字节的数据，而CLOB可以存放大于4000字节的数据 6、存储过程从本质上来讲就是 A 匿名的PL/SQL程序块，它可以被赋予参数 B 命名的PL/SQL程序块，它可以被赋予参数 C 命名的PL/SQL程序块，不能被赋予参数 D 匿名的PL/SQL程序块，不能被赋予参数 7、（ ）下列关于日期数据类型，哪一个语句是正确的写法 A insert into test values( 9999-12-03 ) B insert into test values( 1999-03-02 ) C insert into test values(to_char(1999-06-03, yyyy/dd/mm )) D insert into test
标签： people phone_number varchar2 alter
上传时间： 2013-12-26
上传用户：wendy15
是一款强劲的B2C的网上购物软件,利用它我们能建立起强劲的、自由的、安全的购物平台.系统由C#及SqlServer开发, 是B/S(浏览器/服务器)结构的asp.net程序. 此版本对常用功能进行了更多整合: 投票功能 评论功能 快速注册或不注册即可购买 查看此商品的用户又查看了哪些商品的统计 购买此商品的用户又购买了哪些商品的统计 单件商品的快速收藏 可按商品编号搜索商品 新增积分换赠品的优惠方式 在有新定单、用户留言及用户对其订单声明"我己付款"时发邮件通知管理员 增加8848在线支付接口 增加网银在线支付接口 增加中文网服OIPS在线支付接口 增加西部在线支付接口 增加PayEX在线支付接口 增加PayPal在线支付接口。
上传时间： 2015-03-26
上传用户：exxxds
TMS320bbs（源程序）的c67xfiles文件。用于在CCS2.0集成编译环境下实现TI的c67x系列DSP开发。是用DSP汇编语言，包括中断等等源程序。
上传时间： 2013-12-22
上传用户：yzy6007
这是一个好的B/S结构的数据库开发实例。应用了ASP。NET技术进行开发实现。后台采用了SQL SERVER2000。对于初学者是很不错的哦：）
上传时间： 2013-12-20
上传用户：gut1234567
a.本系统是学校教材科内部的一个教材订购系统,实现教材的销售和采购。 b.本项目有学校教材科提出,由老师委托我小组开发,开发人员包括: 组长兼系统分析员：AAA、系统设计员：BBB、程序设计员：CCC、数据库管理员：DDD、数据操作员：EEE.统最终用户为教材科,由教材科提供计算网络。 c.该系统还和学校财务科进行资金数据来往,.由本系统向财务处提供销售情况,实行教材的安全发放和采购.并顺便和各书店联营向个别人员单独售书。
上传时间： 2015-04-25
上传用户：baitouyu
