prolog 找路例子程序： === === === === === === Part 1-Adding connections Part 2-Simple Path example | ?- path1(a,b,P,T). will produce the response: T = 15 P = [a,b] ? Part 3 - Non-repeating path As an example, the query: ?- path2(a,h,P,T). will succeed and may produce the bindings: P = [a,depot,b,d,e,f,h] T = 155 Part 4 - Generating a path below a cost threshold As an example, the query: ?- path_below_cost(a,[a,b,c,d,e,f,g,h],RS,300). returns: RS = [a,b,depot,c,d,e,g,f,h] ? RS = [a,c,depot,b,d,e,g,f,h] ? no ==================================
标签： Part connections example prolog
上传时间： 2015-04-24
上传用户：ljt101007
Draak is a multi-language, macro compiler, meaning all syntax and code generation is defined in a single file. Draak is a single binary that is able to compile any context free language (like C, Pascal, Java) for any platform with only 1 file. Draak Compiler是一个多语言，宏编译器，可以在一个单独的文件中定义所有的语法和代码生成。Draak 是一个单独的二进制文件，可以在任意平台上只使用一个文件来编译任何上下文无关的语言（类似 C, Pascal, Java）。
标签： multi-language generation compiler defined
上传时间： 2013-12-30
上传用户：a673761058
排序算法、字典和B-树的C++语言实现 代码内容 包括以下算法： qui.c sort: quicksort qsort.c sort: qsort ins.c sort: insert sort shl.c sort: shell sort has.c dictionary: hash tables bin.c dictionary: binary tree rbt.c dictionary: red-black trees skl.c dictionary: skip lists ext.c external sort btr.c btree 语言 C++ 编译平台 Visual C++ 作者 Thomas Niemann 备注 来自Sorting and Searching Algorithms:A Cookbook
标签： sort qsort quicksort insert
上传时间： 2013-12-15
上传用户：silenthink
The subject which is to us propos¨¦ is as follows: calculation of the degr¨¦ d¡ ¯ inconsistance d¡ ¯ un logical program possibilist in C++. We thus work on a logical program possibilist, it be-¨¤-statement a logical program resulting from non-classique logic. The goal first of this project is of d¨¦ terminer if a logical program is consisting or not of share the calculation of sound degr¨¦ d¡ ¯ inconsistance.
标签： brvbar calculation subject follows
上传时间： 2013-12-18
上传用户：yulg
The software package provides a MAX-MIN Ant System implemented in the Hyper-Cube Framework for the application to Unconstrained Binary Quadratic Programming (UBQP).
标签： implemented Hyper-Cube Framework the
上传时间： 2015-05-13
上传用户：cooran
The tar file contains the following files: ptfsf.c: heart of the perfect TFSF code ptfsf.h: header file for same ptfsf-demo.c: FDTD code which demonstrates use of perfect TFSF code. Essentially this program used to generate results shown in the paper ptfsf-file-maker.c: code to generate an incident-field file using the "perfect" incident fields ptfsf-demo-file.c: FDTD code which uses the perfect incident fields stored in a file fdtdgen.h: defines macros used in much of my code Makefile: simple make-file to compile programs Also include are some simple script files to run the programs with reasonable values. The code assumes a two-dimensional computational domain with TMz polarization (i.e., non-zero field Ez, Hx, and Hy). The program is currently written so that the incident field always strikes the lower-left corner of the total-field region first. (If you want a different corner, that should be a fairly simple tweak to the code, but for now you ll have to make that tweak yourself.)
标签： ptfsf following the contains
上传时间： 2013-11-28
上传用户：风之骄子
Decoding most of the infrared signals can be easily handled by PIC16C5X microcontrollers. This application note describes how this decoding may be done. The only mandatory hardware for decoding IR signals is an infrared receiver. The use of two types is described here. Both are modular types used often by the consumer electronics industry. The first type responds to infrared signals modulated at about 40 kHz. The second responds to non-modulated infrared pulses and has a restricted range. The hardware costs of each approach will be less than two dollars.
标签： microcontrollers Decoding infrared handled
上传时间： 2015-05-24
上传用户：ruan2570406
Micro In-System Programmer Brief Installation Notes Enter the src directory. If uisp does not compile successfully, add switch -DNO_DIRECT_IO in the Makefile to remove support for direct I/O port access (that may be necessary on non-PC architectures). Parallel port access should still work if you have the Linux ppdev driver (patch for 2.2.17 is in the kernel directory, ppdev is standard in 2.4 kernels). Please lobby Alan Cox to include this tiny little driver in 2.2.x too :). To make it type: make and to install it: make install If you have any further doubts, please consult UISP s homepage: http://www.nongnu.org/uisp/
标签： Installation Programmer In-System directory
上传时间： 2013-12-23
上传用户：小儒尼尼奥
Jollen-Kit! 2006 是非常積極進行中的專案，所有紀錄與更新將同步揭示於本網頁。 快速下載 U-Boot 的 binary code：U-Boot binary - 2006/01/03 Linux kernel 2.4.18 for jk2410：uimage.img - 2006/01/06 可開機的 Base root filesystem： urootfs.img -2006/01/07 (without tftp) 可開機的 Base root filesystem： urootfs2.img -2006/03/10 (Busybox 1.10 with tftp) GNU cross toolchain：arm-9tdmi-linux-gnu.tar.gz (armpath by Joe) 安裝方法: # cd / (切換到 / 根目錄) # tar jxf <路徑>/arm-9tdmi-linux-gnu.tar.gz (將檔案解開) "Hello, World!" 在 ARM9 的範例：hello_arm.tar.gz (使用Makefile) 其它工具與原始碼下載 驅動程式模組
标签： Jollen-Kit 2006
上传时间： 2015-06-16
上传用户：xz85592677
The decoding algorithm used in RBDS.c is based on error trapping. The program emulates the operation of the encoder and decoder of a binary cyclic codes, using bitwise shifts and xor for modulo g(x) operations.
标签： The algorithm operation decoding
上传时间： 2015-07-05
上传用户：youmo81
