搜索资源列表
zzx
- 这是一道大学生信息学奥林匹克竞赛的试题的解答，里面应用了特殊的控制手段来限制递归算法的递归深度，这种手段在利用递归结决问题时非常有借鉴意义。-students Informatics Olympiad answer the questions, inside a special application of the control measures to limit the recursive algorithm recursive depth, this means the use of re
ad-function
- 在操作系统中，由于进程总数多于处理机，它们必然竞争处理机。进程调度的功能就是按一定策略、动态地把处理机分配给处于就绪队列中的某一进程并使之执行。根据不同的系统设计目标，可有多种选择某一进程的策略。有两种基本的进程调度方式，即剥夺方式(preemptive mode)和非剥夺方式(non-preemptive mode)。前者指就绪队列中一旦有优先级高于现行进程优先级的进程出现时，系统便立即把处理机分配给高优先级的进程。当然，被剥夺了处理机的进程的有关状态和上下文都必须妥善保存以便今后恢复。后者是
conseq
- 命题逻辑中的归结推理系统设计与实现用C++实现-propositional logic of reasoning can be summed system design and implementation to achieve C
mingtiguijie
- 命题逻辑中的归结推理系统设计与实现,人工智能实习项目,包括实验报告-propositional logic of reasoning can be summed System Design and Implementation, artificial intelligence internship projects, including experimental report
final归结反演
- 用Java编的人工智能的归结反演算法-Java series attributed to the anti-artificial intelligence algorithms
travelweb
- 适用于旅行社同行操作的网站平台.将旅游资源网站归结在一起.方便查询.
Autologic
- 基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题，其目标公式被否定并化成子句形，然后添加到命题公式集中去,把消解反演系统应用于联合集，并推导出一个空子句(NIL)，产生一个矛盾。-based on the automatic machine learning logical reasoning machine. The procedures used attributed inversion strategy to achieve
subsentence
- 这个程序是人工智能里字句归结的一个程序，它采用了线性归结策略和删除策略相结合的方法-the procedure is artificial intelligence Lane words attributed to the procedure, which uses the linear sum strategies and strategy to delete a combination of methods
200114072樊天麒第一次实验子句归结
- 人工智能课程的实验中用C语言环境实现子句归结的算法和反映-experimental artificial intelligence courses using C language environment to achieve phrase attributed to the algorithm and reflect
粒子群算法计算最短路径
- 优化问题是工业设计中经常遇到的问题,许多问题最后都可以归结为优化问题. 为了解决各种各样的优化问题,人们提出了许多优化算法,比较著名的有爬山法、遗传算法等.优化问题有两个主要问题:一是要求寻找全局最小点,二是要求有较高的收敛速度. 爬山法精度较高,但是易于陷入局部极小. 遗传算法属于进化算法( Evolutionary Algorithms) 的一种,它通过模仿自然界的选择与遗传的机理来寻找最优解. 遗传算法有三个基本算子:选择、交叉和变异. 但是遗传算法的编程实现比较复杂,首先需要对问题进行编
code
- 矩卷积反投影法实现CT图象重建，从投影重建三维物体的图像，就是重建一个个横断面。这样三堆图像的重建就归结为二维图象的重建-Moment convolution back projection method of CT image reconstruction, reconstruction of three-dimensional objects from projection images, is a reconstruction of a cross-section. This three
yrgh.rar
- 用Prolog求解传教士和野人问题 复习经典谓词演算中的归结原理，掌握人工智能程序设计语言Prolog，理解通过搜索求解问题实现人工智能的思想。,Using Prolog to solve the issue of missionaries and Savage Classical Predicate Calculus review summarized in principle, grasp the artificial intelligence programming language P
人工智能归结反演算法代码
- 人工智能归结反演算法代码,很好的源代码，基于c#的,robot
TI_1
- 美国TI公司的protel 元器件库，在应用中需要更新，本人收集了最新的版本共30M，为提高上传速度分六次上传。文件名依次为TI_1到TI_6。希望大家设计电路板时少走弯路。由于在上传时找不到分类，所以归结为书籍一类-TI' s U.S. Treasury protel components, need to be updated in the application, I collected a total of up-to-date version of 30M, to improve
Untitled
- 光孤子传输特性模拟 在光纤通信中，光脉冲信号在光纤中传输的过程中会受到色散、损耗和非线性等作用的影响而不断地发生演化和畸变。脉冲演化的规律遵循非线性薛定谔方程（NLSE）。由于NSLE 在一般情况下无法求得它的解析解，因此通常需采要用数值方法来求解，最终归结于求解归一化的NLSE。本文使用了分步傅里叶方法对归一化NLSE 进行了求解，并模拟了输入为一到三阶双曲正割光脉冲条件下光脉冲传输演变情况。-soliton In optical fiber communications, the optic
bianchengzhimei
- 文件名为中文名的全拼，编程之美--微软技术面试心得.rar，里面为单独的pdf格式文件，不到5m，非常值得一看。因为我只用vc，所以归结到vc图书里面去了。-File name is the full-spelling of Chinese names, programming of the United States- Microsoft technology interview experiences. Rar, inside a separate pdf file, less than 5
artificial_intelligence_demo_programs
- 光盘中的演示实例是人工智能原理和方法的演示程序.包括基于归结原理的推理系统,合一算法,等式归结,归类算法,八数码问题,八皇后问题,一字棋,博弈算法,遗传算法和蚁群算法等的演示。-CD-ROM presentation of examples of the principles and methods of artificial intelligence demo program. Including reasoning based on the principle of the system c
Resolution
- 本程序实现了对命题逻辑公式应用归结反演策略自动推理。程序结构简单,便于初学者理解人工智能的归结原理.-This procedure has attributed to the propositional logic inversion strategy for Automated Reasoning. Program structure is simple, easy for beginners to understand summarized the principles of artific
GuiJieTree
- 人工智能里面的归结树算法，使用MFC编程，较好的模拟了该算法，要做人工智能作业的朋友，这是个不错的参考!-Artificial intelligence comes down inside the tree algorithm, the use of MFC programming, a better simulation of the algorithms, artificial intelligence work to be done friends, this is a good refe
Robison-resolution-principle
- 自己设计的人工智能课程中鲁滨逊归结原理和归结算法的实现。效果很好。-Robison resolution principle