< B语言与方法：实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先，介绍了B 语言的发展历史及与其他语言的关系，然 后，从集合、序列等基本数学符号表示到B 语言的结构化机制，再到它所支 持的大型程序设计方法，全面地介细了B 符号语言的描述方法。
上传时间： 2014-11-29
上传用户：康郎
SmartARM2300原理图，PDF文档，很祥细
上传时间： 2013-11-26
上传用户：zhangyi99104144
opnet modeler与网络仿真：一本较权威的opnet教材，关于函数的讲解很细
上传时间： 2014-06-04
上传用户：牛津鞋
提 出了一种 网络 化嵌 入 式 数 控 系统 ， 系统 采 用 A RM 4 - D S P结 构 ， 实现 了数 控 系统 的 小型 化 、 网络 化 、 智能化 和 集成 化 。详 细介 绍 了嵌入 式数 控 系统 内 CNC主控 单元 与 伺 服 驱动 及 I ／0逻辑 控 制 等各 单 元 间的通信 、 车 间级 工 业 以太 网络 的通信 和 i n t r a n e t ／ I n t e r n e t网络 通信 ， 并给 出 了关键 实现技 术。
标签： 网络
上传时间： 2013-11-25
上传用户：as275944189
提 出了一种 网络 化嵌 入 式 数 控 系统 ， 系统 采 用 A RM 4 - D S P结 构 ， 实现 了数 控 系统 的 小型 化 、 网络 化 、 智能化 和 集成 化 。详 细介 绍 了嵌入 式数 控 系统 内 CNC主控 单元 与 伺 服 驱动 及 I ／0逻辑 控 制 等各 单 元 间的通信 、 车 间级 工 业 以太 网络 的通信 和 i n t r a n e t ／ I n t e r n e t网络 通信 ， 并给 出 了关键 实现技 术。
标签： 网络
上传时间： 2013-12-27
上传用户：huannan88
学习嵌入式应用系统设计，需要有一个好的学习环境，达到快速入门和提高的效果。本节祥细介绍该系统的组成和使用方法。
上传时间： 2013-12-20
上传用户：gxrui1991
RTU程序，数据保存！采用LPC的2200，ucossii操作细听
上传时间： 2013-12-10
上传用户：海陆空653
离散数学教学课件,ppt格式的，写得比较细，对自学者有帮助
上传时间： 2014-12-07
上传用户：waizhang
简单的求解tsp问题，比matlab demo中的更细，用的是蚂蚁算法。
标签： tsp
上传时间： 2013-12-10
上传用户：李彦东
无线通信FPGA设计 书的附带代码。书中涉及无线通信的各个环节，但是介绍的都不细，而且例程太简单，但是可以做入门学习用。
上传时间： 2013-12-31
上传用户：啊飒飒大师的
