* Explains process algebra and protocol specification using µ CRL, a language developed to combine process algebra and abstract data types * Text is supported throughout with examples and exercises * Full solutions are provided in an appendix, while exercise sheets, lab exercises, example specifications and lecturer slides are available on the author s website
标签： specification developed Explains language
上传时间： 2016-04-27
上传用户：笨小孩
富士通单片机MB902420系列 CAN Project: CAN0 will work as a simple Repeater. Received data will appear at Port P47..P40 (UserLEDs of FlashCan100P) and will send out again as byte-packages to ID#2 Receive-Buffer #1 : basic can Transmit-Buffer #6 : full-can ID #2
标签： will Repeater Received Project
上传时间： 2016-04-27
上传用户：www240697738
富士通单片机MB902420系列 extINT Project: All external Interrupt-Pins INT0 .. INT7 will be enabled. A falling edge on INTx will toggle PDR4_P4x in order to toggle the LEDx of the Flash-CAN-100P Board e.g. falling edge on INT3 will result in LED D3 will toggleP47..P40 (UserLEDs of FlashCan100P) and will send out again as byte-packages to ID#2 Receive-Buffer #1 : basic can Transmit-Buffer #6 : full-can ID #2
标签： Interrupt-Pins external Project enabled
上传时间： 2016-04-27
上传用户：waizhang
FIFO（先进先出队列）通常用于数据的缓存和用于容纳异步信号的频率或相位的差异。本FIFO的实现是利用 双口RAM 和读写地址产生模块来实现的.FIFO的接口信号包括异步的写时钟（wr_clk）和读时钟（rd_clk）、 与写时钟同步的写有效（wren）和写数据（wr_data） 、与读时钟同步的读有效（rden）和读数据（rd_data） 为了实现正确的读写和避免FIFO的上溢或下溢，给出与读时钟和写时钟分别同步的FIFO的空标志（empty）和 满标志（full）以禁止读写操作。
上传时间： 2014-01-25
上传用户：赵云兴
The Internet is bigger and better than what a mere browser allows. Webbots, Spiders, and Screen Scrapers is for programmers and businesspeople who want to take full advantage of the vast resources available on the Web. There s no reason to let browsers limit your online experience-especially when you can easily automate online tasks to suit your individual needs.
标签： and Internet Spiders Webbots
上传时间： 2016-06-22
上传用户：cc1015285075
序列对齐 Compare a protein sequence to a protein sequence database or a DNA sequence to a DNA sequence database using the Smith-Waterman algorithm.[.wat815.] \fCssearch3\fP is about 10-times slower than FASTA3, but is more sensitive for full-length protein sequence comparison.
标签： sequence protein DNA database
上传时间： 2016-08-01
上传用户：wangchong
用多线程同步方法解决读者阅览问题 1) 每个读者进入阅览室后，即时显示“Entered” 及其线程自定义标识，还同时显示阅览室共有几名顾客及其所坐的位置。 2) 至少有10个读者，每人阅览至少3秒钟。 3) 多个读者须共享操作函数代码。 2总的设计思想及系统平台、语言、工具： 设计思想：程序设定的是10个读者和5个座位，对读者进行编号，依次进入阅览室读书，为每一座位列一表目,包括座号和读者号等,读者离开时要登出，即消掉登记的信息。 系统平台：LINUX 语言：C语言 工具：vi编辑器、gcc编译器 操作系统:linux操作系统 调试工具：edit、masm、link、debug. 3数据结构与模块说明（功能与流程图） 数据结构 int count=0 //记录阅览室读者数量 sem_t full //定义阅览室座位信号量 int seat[5] //用数组表示座位 pthread_t reader[10] //定义读者线程 pthread_mutex_t mutex //定义互斥量 3.2功能说明 可以标识读者，随机为读者设置在阅览室的读书时间 可以显示阅览室读者的人数 可以显示读者所坐的位置，座位状态以及列出空座位
标签： 多线程同步
上传时间： 2016-08-10
上传用户：zsjzc
The C++ standard library provides a set of common classes and interfaces that greatly extend the core C++ language. The library, however, is not self-explanatory. To make full use of its components - and to benefit from their power - you need a resource that does far more than list the classes and their functions.
标签： interfaces standard provides library
上传时间： 2014-12-01
上传用户：电子世界
The download includes the kernel source code, and a demo application for EVERY RTOS port. See http://www.freertos.org/a00017.html for full details of the directory structure and information on locating the files you require. The easiest way to use FreeRTOS is start start with one of the demo application projects. Once this is running the project can be modified to include your own source files. This way the correct files and compiler options will be automatically included in your application. + The Source directory contains the real time kernel source files for every port. The kernel itself is only 3 files. + The Demo directory contains the demo application source files for every port. + The TraceCon directory contains the trace visualisation exe file. See the readme files in the respective directories for further information.
标签： application download includes kernel
上传时间： 2016-08-24
上传用户：zhyiroy
This sample displays a basic integer calculator powered by the 8051 microcontroller. Although Keil C51 has a full floating point math library the evaluation version is restricted to 2k of object code, so we have constrained this sample to integer maths in order to fit within this limit. The program for this design was written in C using the Keil uVision 2 IDE for which Proteus VSM provides a Debug Monitor driver. Instructions for configuring Proteus to run in conjunction with the Keil environment can be found by editing the 8051 microcontroller on the schematic (point at it and press CTRL-E) and then clicking on the help button on the Edit Component dialogue form.
标签： microcontroller calculator Although displays
上传时间： 2014-12-01
上传用户：edisonfather
