< B语言与方法：实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先，介绍了B 语言的发展历史及与其他语言的关系，然 后，从集合、序列等基本数学符号表示到B 语言的结构化机制，再到它所支 持的大型程序设计方法，全面地介细了B 符号语言的描述方法。
上传时间： 2014-11-29
上传用户：康郎
采用MATLAB编写B样条绘制程序，可以选择四种节点矢量，采用Deboor算法,详细参看计算机辅助几何设计的书籍(CAGD)
上传时间： 2013-12-23
上传用户：yoleeson
随着电子产品向智能化和微型化的不断发展,单片机已成为电子产品研制和开发中首选的控制器.为了更好地推广单片机在家电领域中的应用,介绍了一种应用AT89C2051单片机设计的电子密码锁.经实验验证该密码锁具有安全、实用、成本低等特点,符合住宅用锁的要求,可作为产品进行开发. 详细剖析以单片机为核心构造的一种按键式电子锁,包括其硬件结构和软件设计,同时讨论其功能扩展问题.
上传时间： 2014-01-17
上传用户：qilin
B+树的演示程序，在vs.net 2003 下编译通过。是数据库基础的课程设计。
上传时间： 2014-12-03
上传用户：王小奇
基于J2EE技术的网上商城系统构建 本课题以国家8 6 3引导项目 ， 暨新疆自治区高新计划项目 — 广汇美居物流园网上 商城系统为背景。旨 在利用先进的系统建模思想以及当前流行的We b编程技术，将迭 代式、以用户需求为驱动和以构架为中心的R U P统一开发过程的系统建模思想应用到 电子商务系统模型的需求分析和设计的各个阶段， 完整地实现整个系统的建模过程。 在 此基础上对系统实现的关键技术问题:数据库的并发访问，MV C模式的应用以及统计 信息的图表显示等关键技术进行了具体的分析和实现。 本文利用I nt e 川 e 吸 的强大功能，借鉴国内外电子商务方面的相关经验，分析虚拟店 铺，网上商城及网上拍卖的功能结构和实现方式， 为广汇美居物流园的商户搭建网上虚 拟店铺，网上商城及网上商品竟拍系统平台。该系统经过近半年的使用，实际应用效果 较好。采用的R U P开发方法和M V c的设计模式使系统的灵活性和可扩展性大大增强。
上传时间： 2014-12-03
上传用户：edisonfather
本实训是有关线性表的顺序存储结构的应用，在本实训的实例程序中，通过C语言中提供的数组来存储两个已知的线性表，然后利用数组元素的下标来对线性表进行比较。通过对本实训的学习，可以理解线性表在顺序存储结构下的操作方法。 在实训中，我们设A=（a1,a2,…,an）和B=（b1,b2,…,bm）是两个线性表，其数据元素的类型是整型。若n=m,且ai=bi,则称A=B 若ai=bi，而aj<bj,则称A<B；除此以外，均称A>B。设计一比较大小的程序。
上传时间： 2014-01-14
上传用户：www240697738
1.有三根杆子A,B,C。A杆上有若干碟子 2.每次移动一块碟子,小的只能叠在大的上面 3.把所有碟子从A杆全部移到C杆上 经过研究发现，汉诺塔的破解很简单，就是按照移动规则向一个方向移动金片： 如3阶汉诺塔的移动：A→C,A→B,C→B,A→C,B→A,B→C,A→C 此外，汉诺塔问题也是程序设计中的经典递归问题
上传时间： 2016-07-25
上传用户：gxrui1991
标准化考试系统 (B/S网络版) 用JAVA编写的考试系统，是JAVA课程设计时的作品！ 客户端主类ClientBS 客户端选择试题界面ChoiceFile 客户端考试界面ClientTestArea 服务器端主类Server 服务器端读取试题 ReadTestquestion
上传时间： 2013-12-26
上传用户：yyyyyyyyyy
单链表的操作 初始条件： 已知A，B和C为三个递增有序的线性表，现要求对A表作如下操作：删去那些既在B表中出现又在C表中出现的元素。 （1） 各线性表采用单链表作为存储结构； （2） 题中任一线性表中的元素值可以相同。 （3） 测试用例自己设计。
上传时间： 2014-01-06
上传用户：13188549192
假设在时间段[A, B]期间有6个作业需要在某台机器上处理，每个作业对应的权重为Wi，请设计一个算法使这台机器在该时间段内利用率最高。
标签： 机器
上传时间： 2014-01-10
上传用户：gut1234567
