搜索资源列表
Haskell 中文教程1-3章
- Haskell 中文教程1-3章(flw译) 纯粹的函数型编程语言。以著名逻辑学家 Haskell B. Curry 的名字命名。 最初的目的是想要设计出满足下面这些要求的语言： 1，它必须能够适合教学、研究、应用开发，包括一些大系统的构造。 2，它必须能够使用形式语言来准确描述。 3，它必须是自由免费的，任何人只要愿意都可以获取、使用和再次发布它。 4，它必须建立在大家一致认可的基础上。 5，它应该能够消除目前的函数型编程语言的差异。 -Haskell Chap
CMUnited97-source.tar
- RoboCup 2D 仿真组冠军源代码之1997年冠军队——CMUnited97源代码，这是第一年正式的RoboCup比赛。-RoboCup championship 2D simulation source code's 1997 championship team -- CMUnited 97 source code, which is the first year of formal RoboCup competition.
Obfuscating
- 保护软件未经授权的访问是越来越艰巨的任务。 因此，在本文，着眼于源代码的迷惑手段保护和讨论控制流变换技术的适应称为C + +语言的控制流平展技术。 除适应的问题和解答办法之外，给出了算法的原型实现介绍。实验证明，程序的复杂性增加5倍。 -Protecting a software from unauthorized access is an ever demanding task. Thus, in this paper, we focus on the protection of source
indentify_english_word
- matlab 识别英文字母 用神经网络训练 可以识别大图片，小图片，正规的字符-matlab recognition letters can be identified by neural network training, the big picture, small picture, the formal character
3G_WLAN
- 关于3G与WLAN网络融合的安全性分析及形式化方法的应用-3G and WLAN networks on the integration of security analysis and the application of formal methods
filterbank_for_speech_signal
- A speech signal filterbank, using melscale frequency and framebanking.- 1. For speech signal can be represented as a discrete sequence of frames (or feature vectors) that can be used as the input to a speech recogniser. Important ideas and technique
SAT2
- Algoritmo en matlab para leer 3 imagnees d un solo canal ,para formal una imagen a color RGB.
fcbo
- fcbo - 计算形式概念和最大频繁项集。这 程序计算对象属性集（形式背景）的所有形式概念的内涵，即算法计算一个布尔矩阵。-fcbo- computes formal concepts and maximal frequent itemsets. This program computes intents of all formal concepts in an object-attribute data set (a formal context), i.e. the algo
2
- 物理实验模拟，很正规，很有帮助，国外牛人精品-Physical experimental simulation, very formal, very helpful, foreign cattle quality
xcthulhu-Cayley_Theorem-b17e9e0.tar
- Formal verification of Cayley s representation theorem in Isabelle/HOL
PID
- PID 控制由于算法简单，适应面广，鲁棒性强等优 点，是当前工业生产过程中应用最为广泛的控制算 法［1，2］。采用PID 控制的控制系统在正式投运前必须进 行参数整定工作，过去主要依赖熟练操作技术人员的经 验或一些常规整定公式。1984 年K. J. Astrom 提出了 在继电反馈下观测被控过程的极限环振荡，过程的基本 特征可由极限环的特征确定，然后算出PID 控制的参 数［3 ～ 5］。该方法大量节省了技术人员的工-Since the PID control al
Deadlock-contracted-algorithm
- 死锁环路判定的系统资源分配图约简算法的设计与实现.(1)系统资源分配图输入（界面） • 按资源分配图的形式定义，输入进程名字、资源类名字及其个数、申请/占有边。 (2)运行结果（界面） • ① 以图形的形式输出原资源分配图； • ② 以图形的形式动态输出原资源分配图约简过程 • 实现 -Deadlock loop system to determine resource allocation graph reduction
CPPWilliam.H.Press
- Formal Methods and Hybrid Real-Time Systems
989
- 具有正规特征值的矩阵的刻画A formal characterization of the matrix eigenvalue-A formal characterization of the matrix eigenvalue
Proofs_and_Computations_(Perspectives_in_Logic)-C
- Proofs and Computations Driven by the question “What is the computational content of a (formal) proof?”, this book studies fundamental interactions between proof theory and computability. It provides a unique self-contained text for advanced st
NLMS_LMs
- 正规自适应LMS算法，通过改变步长因子，使LMS算法更优-Formal adaptive LMS algorithm, by changing the step size LMS algorithm is better
GANotes
- Genetic algorithms (GA) is an optimization technique for searching very large spaces that models the role of the genetic material in living organisms. A small population of individual exemplars can e ectively search a large space because they c
Class-and-object-
- 1. 建立一个对象数组，内放5个学生的数据（学号、成绩）。请根据下面要求实现类中的功能，其他的函数根据需要创建。 (1). 用指针指向数组首元素，输出第1，3，5个学生的数据。 (2). 以对象指针作为形式参数找出5个学生中学习成绩最高者。注：函数名为max 2. 定义一个圆类，分别用以下方法计算圆的面积和周长。 (1). 用成员函数实现求圆的面积和周长。 (2). 用友元函数求圆的面积和周长 -(1) create an array of objects, put th
Calculator
- Java编写的计算器，只支持标准计算，没有记忆功能，精确度较低，仅供学习参考，不能用作正式计算-Calculator written in Java, only supports the standard calculation, no memory function, accuracy is low, only a reference can not be used as a formal calculation
extension-learn-knowledge
- 详细分析了可拓方法在人工智能技术中 的应用，特别是它与知识表示和推理技术的密切联系。由此，提出了可拓知 识表示方法的形式化定义，并且将它与原有的几种知识表示方法进行了详细 的比较。 -Detailed analysis of the extension method in artificial intelligence technology, especially with the knowledge representation and reasoning techniques