* 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
