搜索结果

< B语言与方法：实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先，介绍了B 语言的发展历史及与其他语言的关系，然 后，从集合、序列等基本数学符号表示到B 语言的结构化机制，再到它所支 持的大型程序设计方法，全面地介细了B 符号语言的描述方法。 ...

SmartARM2300原理图，PDF文档，很祥细

opnet modeler与网络仿真：一本较权威的opnet教材，关于函数的讲解很细

提 出了一种 网络 化嵌 入 式 数 控 系统 ， 系统 采 用 A RM 4 - D S P结 构 ， 实现 了数 控 系统 的 小型 化 、 网络 化 、 智能化 和 集成 化 。详 细介 绍 了嵌入 式数 控 系统 内 CNC主控 单元 与 伺 服 驱动 及 I ／0逻辑 控 制 等各 单 元 间的通信 、 车 间级 工 业 以太 网络 的通信 和 i n t r a n e t ／ I n t ...

提 出了一种 网络 化嵌 入 式 数 控 系统 ， 系统 采 用 A RM 4 - D S P结 构 ， 实现 了数 控 系统 的 小型 化 、 网络 化 、 智能化 和 集成 化 。详 细介 绍 了嵌入 式数 控 系统 内 CNC主控 单元 与 伺 服 驱动 及 I ／0逻辑 控 制 等各 单 元 间的通信 、 车 间级 工 业 以太 网络 的通信 和 i n t r a n e t ／ I n ...

学习嵌入式应用系统设计，需要有一个好的学习环境，达到快速入门和提高的效果。本节祥细介绍该系统的组成和使用方法。

RTU程序，数据保存！采用LPC的2200，ucossii操作细听

离散数学教学课件,ppt格式的，写得比较细，对自学者有帮助

简单的求解tsp问题，比matlab demo中的更细，用的是蚂蚁算法。

无线通信FPGA设计 书的附带代码。书中涉及无线通信的各个环节，但是介绍的都不细，而且例程太简单，但是可以做入门学习用。