搜索资源列表
hmake
- Haskell是一种程序语言。特别的，它是多态类型，懒惰的，纯的函数式语言，与大多数其它编程语言不同。 该语言被命名为Haskell Brooks Curry。它是以数学逻辑为基础的函数式语言，基于lambda演算。 为什么使用Haskell？ 写一个能工作的大型的软件系统是很困难的而且很昂贵的。维护这个系统甚至更加困难和昂贵。函数式程序语言，例如Haskell，能够使之变得简单而且廉价。 附件为Haskell编译器源代码-Haskell is a programming langu
fft_32K
- 32K点的fftVHDL实现,可直接在可编程逻辑器件上运行实现-32K fftVHDL points, which could be directly in the programmable logic device to achieve run
^^A_big_nu1648259212003
- This program is to handle all possible arithmetic operations (+, -, *, /, %) and logic operations (, >=, <=, ==, !=) between 2 numbers, which have quite a lot of number of digits.
math
- 逻辑计算器 输入逻辑算式 求出真值表 界面简洁 使用方便-Logic formula calculator input logic interface is simple and easy to find the truth table
HammingCode
- 此程序实现对汉明码的编码与译码算法。汉明码是一种多重（复式）奇偶检错系统。它将信息用逻辑形式编码，以便能够检错和纠错。用在汉明码中的全部传输码字是由原来的信息和附加的奇偶监督位组成的。-This process of realization of hamming code encoding and decoding algorithm. Hamming code is a multiple (double) parity error detection system. It will use t
Tripleinvertedpendulumweightedfuzzyneuralnetworkco
- 为了提高三级倒立摆系统控制的响应速度和稳定性,在设计Mamdani 型模糊推理规则控制器控制倒立摆系统稳定的基础上, 设计了一种更有效率的基于Sugeno 型模糊推理规则的模糊神经网络控制器。该控制器使用BP 神经网络和最小二乘法的混 合算法进行参数训练,能够准确归纳输入输出量的模糊隶属度函数和模糊逻辑规则。通过与Mamdani 型控制器的仿真对比, 表明该Sugeno 型模糊神经网络控制器对三级倒立摆系统的控制具有良好的稳定性和快速性,以及较高的控制精度。-In order to
StateReduction
- State Reduction program for logic circuits.
OTU_Nechetkie_mnogestva_1
- Its a fuzzy logic algorithm of operations for fuzzy massives.
Kalman
- kalman filter using fuzzy logic
sdcalc
- 数独顾名思义——每个数字只能出现一次。数独是一种源自18世纪末的瑞士，后在美国发展、并在日本得以发扬光大的数字谜题。数独盘面是个九宫，每一宫又分为九个小格。在这八十一格中给出一定的已知数字和解题条件，利用逻辑和推理，在其他的空格上填入1-9的数字。使1-9每个数字在每一行、每一列和每一宫中都只出现一次。 这种游戏全面考验做题者观察能力和推理能力，虽然玩法简单，但数字排列方式却千变万化，所以不少教育者认为数独是训练头脑的绝佳方式-Sudoku As the name suggests- Each
iencelogicincomputersciencepdf
- ience(面向计算机的数理逻辑)英文pdf ＋习题答案-ience (Computer-Oriented Mathematical Logic) English pdf+ Exercises Answer
work
- fuzzy logic controller for linear systems.
truthtable
- 求离散数学中命题逻辑公式的真值表的源代码。-Discrete Mathematics in seeking a formula of propositional logic truth table of the source code.
FUZZPID
- VC++ implemented basic Fuzzy Logic PID controller.
system_monitor
- 用于系统行为验证。给出系统运行的观测数据，给定一个用MTL形式化语言描述的表达式，运行结果为该系统行为在此形式化表达式上的鲁棒值。-it is a tool for the computation of the robustness of a propositional temporal logic specification with respect to a discrete time signal.
LTLrobust
- 用形式化语言LTL(linear temporal logic)离线测试系统。程序SystemMonitor采用系统运行在线测试，本程序采用离线测试。输入为系统运行数据和LTL表达式，输出为该系统的鲁棒特征值。本程序采用了动态程序设计方法。对从事系统验证工作的开发人员和研究人员非常有帮助。-Its very useful for researchers and programmers who are working on system control and verification. it i
HandoutForLogic_fromArizonaStateUniversity
- 这是亚利桑那州立大学计算机课程Logic for Computer Scientists 的原版教程。教程中重点讲述了propositional logic和逻辑编程语言（ASP）Answer set programming. 这是一种非常快速在国外刚兴起的逻辑编程语言。-This is the Arizona State University computer courses Logic for Computer Scientists in the original tutorial. Tut
binaries-2.0.5-win32
- 上传文件包括编译运行平台和许多实例。Answer set programming(简称ASP)是国外近几年兴起的一种重要的逻辑编程语言，对于求解NP问题有良好的时间上限优势。例如图的着色问题，哈密顿回路问题，sudoku问题，生物医学的特征选择问题等等。加上我上传的logic学习资料配套使用。-uploaded file include the compile and develop platform and many examples. Answer set programming is a
Classical_digital_circuit_logic_gates_tutorial
- 数字电路逻辑门电路经典教程Classical digital circuit logic gates tutorial-Classical digital circuit logic gates tutorial Classical digital circuit logic gates tutorial
Symbolic-logic
- 数理逻辑中实现，求取合取范式和析取范式的源代码-Mathematical logic to achieve, to strike a conjunctive normal form and disjunctive normal form of source code