计算理论

Android OpenCV（二十六）：Canny算法边缘检测

Canny创立了边缘检测计算理论（Computationaltheoryofedgedetection）解释这项技术如何工作。
onlyloveyd·2020-08-17 13:24

OpenCV教程 之 边缘检测函数：Canny、Sobel、Scharr（C++）

更为重要的是，Canny创立了边缘检测计算理论，解释了这项技术是如何工作的。Canny边缘检测算法以Canny的名字命名，被很多人推崇为当今最优的边
Liangjun_Feng·2020-08-17 11:02

计算理论

最近在看机器学习的计算理论部分，深感不易。目前机器学习的应用还是偏应用了很多，其理论基础包括机器怎样学习，为什能够学习等估计很多能够熟练应用各种trick的人也不甚清楚。
張清扬·2020-08-17 06:37

计算理论基础 第2版 Harry R. Lewis 第1章

看到计算理论基础这门课程，就挺怀念郑虹老师给我们讲编译原理的那段日子了。虽然理论性强，但还是要沉下心去读一读，毕竟学术、专业都比较枯燥。这门课偏理论，主要是培养咱思考、解决问题的能力吧。
耿直-boy·2020-08-17 06:31

计算理论导引

计算理论导引计算机的基本能力和限制是什么？计算理论自动机可计算性复杂性计算复杂性理论复杂性理论的核心问题：是什么使得某些问题很难计算，又使得另一些问题容易计算？
FrankYang6666·2020-08-17 06:08

计算理论学习笔记（二）

上下文无关文法(CFG)定义前面提到的0n1n0^n1^n0n1n可以用上下文无关文法表示如下：S→0S1∣ϵS\rarr0S1\vert\epsilonS→0S1∣ϵ.设计CFGCFG的设计很难对于多个简单CFG的合并或者语言本身是DFA都较容易设计。有些很难的CFG是在一些基础的CFG上发展来的，所以需要记住一些常见的CFG的形式。一些常见的CFG表示如图所求.乔姆斯基范式乔姆斯基范式有两个特
Onwaier·2020-08-17 05:47

计算理论学习笔记（三）

图灵机™有穷自动机与图灵机区别：图灵机在带子上能写能读；读写头即能左移也能右移；带子无限长；进入拒绝和接受状态立即停机。定义格局图灵可判定：有限步骤内，可知结果是yes或者no.图灵可识别：有限步骤内，可知结果是yes.对于no的可能进入死循环.图灵可补识别：有限步骤内，可知结果是no.对于yes的可能进入死循环.识别语言02n0^{2^n}02n的图灵机如图.每次减半，直到1个0结束。中间出现奇
Onwaier·2020-08-17 05:47

计算理论基础

内容形式语言与自动机：正则语言、上下文无关语言、图灵机可计算性：可判定、可归约计算复杂性：时间、空间、难解性正则语言确定有穷自动机DFA：M=,δ:Q×Σ→QM=,δ:Q×Σ→QM接受字符串：w=w1...wn,∃q0...qn,δ(qi,wi+1)=qi+1,qn⊂Fw=w1...wn,∃q0...qn,δ(qi,wi+1)=qi+1,qn⊂F正则语言：A={w|w被一个DFA接受}正则表达式：
cd2dvd·2020-08-17 05:59

计算理论相关

在理论计算机科学中，有了可计算性概念严格的数学刻划，才使证明一系列重要的数学问题的算法不可解性成为可能。一个众所周知的事实是，直到1935年著名的“算法可计算函数都是递归函数”这一丘奇论题提出，算法可计算性这个直观概念才有了精确的数学刻划。而同样需要指出的是，哥德尔(K.Gödel)在此之前的1931年就引进了原始递归函数概念，1934年明确给出一般递归函数的定义，1934年春还曾与丘奇(A.Ch
micweaver·2020-08-17 05:49

【计算理论基础】

1.语言类的定义1.1正则语言定义：如果一个语言可以被一台有穷自动机识别，则称它是正则语言。有穷自动机是一个五元组(Q,Σ,δ,q0,F)(Q,Σ,δ,q_0,F)(Q,Σ,δ,q0,F)，其中：QQQ是一个有穷集合，称为状态集。ΣΣΣ是一个有穷集合，称为字母集。δ:Q×Σ→Qδ:Q×Σ→Qδ:Q×Σ→Q是转移函数。q0∈Qq_0∈Qq0∈Q是起始状态。F⊆QF⊆QF⊆Q是接受状态集。举例：L(M
Loy_Fan·2020-08-17 05:33

计算理论总结

计算理论复习正则语言与有穷自动机可数无穷正则表达式（注意+不是正则，*是正则；L∅=∅L=∅）Σ⋃{(,),∅,⋃,∗}DFAM=(K,Σ,δ,s,F)whereKisafinitesetofstates
vasonv·2020-08-17 04:38

计算理论学习笔记（一）

确定性有穷自动机（DFA）定义注意：允许没有接受状态，此时接受语言为空集；转移函数对每一个状态和每一个可能的输入都恰好指定了一个状态。定义正则运算的并、连结和星号正则运算的并，连结和星号都是封闭的，后面在证明DFA与NFA等价后，会用NFA对其进行证明。常见语言的DFA状态图举例c题含某子串，首先画出对应的子串，然后再判断其它输入的状态转换即可。f题不含某个子串，首先画出含某个子串的DFA，然后将
Onwaier·2020-08-17 04:56

【计算理论】正则语言 ( 正则语言运算 | 正则语言封闭性 )

文章目录I.正则语言引入II.正则语言III.正则语言运算IV.语言运算示例V.正则语言封闭性VI.正则语言封闭性A∪BA\cupBA∪B证明VII.正则语言封闭性A∘BA\circBA∘B证明VIII.正则语言封闭性A∗A^*A∗证明IX.自动机扩展I.正则语言引入1.非确定性有限自动机作用:非确定性有限自动机并没有增加自动机的计算能力,但是给自动机设计带来很多方便;仅限于在理论计算时带来很多方
韩曙亮·2020-08-17 04:25

【计算理论与算法分析设计】 2. 输水管道问题

输水管道问题问题描述某公司计划建造一条由东向西的主输水管道。该管道要穿过一个有n口水井的区域。从每口水井都要有一条输水管道沿最短路经(或南或北)与主管道相连。如果给定n口水井的位置，即它们的x坐标（东西向）和y坐标（南北向），应如何确定主管道的最优位置，即使各水井到主管道之间的输水管道长度总和最小的位置。注意：要求在线性时间内确定主管道的最优位置。1#include#include#include
aanonymouss·2020-08-17 00:34

【CV系列】Retinex理论模型及其应用

Retinex图像增强算法TheRetinexTheoryofColorVision2、Retinex理论模型1963年12月30日E.Land作为人类视觉的亮度和颜色感知的模型在俄亥俄州提出了一种颜色恒常知觉的计算理论
飞翔的鲲·2020-08-16 05:47

清华大学张悠慧：超越冯·诺依曼模型，实现软硬件去耦合的类脑计算（附视频）

而之所以能够做到软硬件去耦合，其背后的原理便是“图灵机与计算理论”。那么类脑计算，要超越甚至替代冯·诺依曼模型和传统计算机，是否也需要做到软硬件去耦
BAAIBeijing·2020-08-15 05:49

烤仔的朋友们丨DeFi 算什么？

万物皆计算最近DeFi大热，可称现象级，很多人从经济学和互联网应用⻆度谈了不少，本文中我试着提供一种基于计算理论的不同解释。以太坊作为第二代公链代表项目。
Conflux中文社区·2020-08-14 18:17

确定有限状态自动机（维基百科）

确定有限状态自动机[编辑]维基百科，自由的百科全书在计算理论中，确定有限状态自动机或确定有限自动机（英语：deterministicfiniteautomaton,DFA）是一个能实现状态转移的自动机。
冰之断忆·2020-08-13 23:10

使用python实现canny算法

更为重要的是Canny创立了边缘检测计算理论（Computationaltheoryofedgedetection）解释这项技术如何工作。
桃李醉东风·2020-08-12 13:07

【算法】基于OpenCV的Canny边缘检测算法

更为重要的是Canny创立了边缘检测计算理论解释这项技术如何工作。
之外-·2020-08-12 10:05

什么是复杂度

复杂度时间复杂度空间复杂度计算复杂性理论（Computationalcomplexitytheory）是计算理论的一部分，研究计算问题时所需的资源，比如时间和空间，以及如何尽可能的节省这些资源。
wqy琼·2020-08-12 00:30

Spark最佳实践

前言本文主要分为四个部分：分布式计算概览：第一章将会从基础的分布式计算理论开始，讨论一个分布式计算系统需要实现哪些主要的功能，以及业界通用的解决方案，并在最后简单扩展了下分布式计算系统的发展历程。
xiaohei.info·2020-08-11 03:03

HASH函数

HASH函数计算理论中，没有Hash函数的说法，只有单向函数的说法。所谓的单向函数，是一个复杂的定义，大家可以去看计算理论或者密码学方面的数据。
rongwenbin·2020-08-10 00:41

数值计算方法绪论笔记(误差，有效数字)

数值计算方法绪论笔记基础：代数、几何、分析（纯粹数学）数学特征：概念的抽象性逻辑的严密性结论的确定性应用的广泛性数值计算方法->数学计算的应用科学计算计算数学（基础）：数值计算理论与计算相结合研究数学问题的数值方法特点不会造成损害调参去诊断一个算法可重复
ssw_s·2020-08-09 05:31

JAVA经典例题一百道，待更新呢。。。。。

计算理论可以证明递归的作用可以完全取代循环，因此在很多函数编程语言（如Scheme）中习惯用递归来实现循环。
一种天气·2020-08-09 02:23

【逻辑与计算理论】组合子逻辑与 Y 组合子

为什么是Y？在前面的几个帖子里，我已经建立了如何把lambda演算变成一个有用的系统的点点滴滴。我们已经有了数字，布尔值和选择运算符。我们唯一欠缺的是重复。这个有点棘手。lambda演算使用递归实现循环（递归的解释可以看这里）。但是，由于在lambda演算里函数没有名字，我们得采取一些非常手段。这就是所谓的Y组合子，又名lambda不动点运算符。让我们先来看看lambda演算之外的一个简单的递归函
smilejiasmile·2020-08-08 21:01

【逻辑与计算理论】Lambda 演算的类型与其 Lambda 演算建模

Lambda演算的类型我们已经掌握了直觉逻辑（IntuitionisticLogic，IL），------------------------------------------------------------------------------------PS：这一小段是笔者扩充说明下：直觉逻辑。总所周知，最为著名的“经典逻辑（classicallogic）/一阶逻辑”是学习逻辑的一个起点，
smilejiasmile·2020-08-08 21:01

【逻辑与计算理论】Lambda 演算——开篇

原文来自GoodMath/BadMath的系列连载，全文分7章，本篇是第1章。中文博客负暄琐话对这个系列的前6章做过翻译，强迫症表示忍受不了「下面没有了」，于是自己动手做了全套。这里只对原文做了翻译，而“负暄琐话”的版本则加上了很多掌故，使得阅读起来更有趣味性。GoodMath,BadMathLambda演算系列之七（在这个帖子的原始版本里，我试图用一个JavaScript工具来生成MathML。
smilejiasmile·2020-08-08 21:00

【逻辑与计算理论】λ演算与组合子逻辑概念简介

【逻辑与计算理论】λ演算与组合子逻辑概念简介一、λ演算基本概念入门1.通过我们前面的讨论可知：有两种函数，一种是一阶谓词逻辑中存在着的特殊函数——真值函数；另一类则是我们所熟悉的数学函数。
smilejiasmile·2020-08-08 21:00

深入浅出浮点数

本文将回避关于浮点数枯燥的数值计算理论，基于Java平台的浮点数支
longjuanfeng2011·2020-08-08 17:55

计算理论导论｜ 正则语言（上）有穷自动机

第一部分-第二章正则语言（上）2.1.1有穷自动机的形式定义：有穷自动机MMM是一个5元组(Q,Σ,δ,q0,F)(Q,\Sigma,\delta,q_0,F)(Q,Σ,δ,q0,F)，其中1）QQQ是一个有穷集合，叫做状态集。2）Σ\SigmaΣ是一个有穷集合，叫做字母集。3）δ\deltaδ：Q×Σ→QQ\times\Sigma\rightarrowQQ×Σ→Q是转移函数（使用转移函数定义动作
Lyndsey·2020-08-08 16:04

编译器的前端技术

而它主要涉及自动机和形式语言方面的基础的计算理论。词法分析是把程序分割成一个个Token的过程，可以通过构造有限自动机来实现。语法分析是把程序的结构识别出来，并形成一棵便于由计算机处理的抽象语法树。
Zain Lau·2020-08-05 04:09

价值2950亿美元的「量子霸权」，技术水平到了哪个阶段

量子计算将给现有的计算理论带来深刻变革，将极大加深人类对物质与信息的理解；将是一种前所未有的计算微观世界的强大工具。
人工智能学家·2020-08-05 00:03

hash函数

HASH函数应用Hash函数作者：冲处宇宙时间：2007.1.25计算理论中，没有Hash函数的说法，只有单向函数的说法。所谓的单向函数，是一个复杂的定义，大家可以去看计算理论或者密码学方面的数据。
linrix·2020-08-03 19:08

Hash函数的基本知识

计算理论中，没有Hash函数的说法，只有单向函数的说法。所谓的单向函数，是一个复杂的定义，大家可以去看计算理论或者密码学方面的数据。
lifuxin1125·2020-08-03 19:39

几种经典的hash算法

虽然上学期数据结构学过，但是当时觉得hash没什么用，所以没有认真学～后悔啊～～～现在恶补一下～计算理论中，没有Hash函数的说法，只有单向函数的说法。
adamska0104·2020-08-03 14:23

《计算机科学导论（原书第3版）》学习笔记

第一章诸论第二章数字系统第三章数据存储第四章数据运算第五章计算机组成第六章计算机网络和因特网第七章操作系统第八章算法第九章程序设计语言第十章软件工程第十一章数据结构第十二章抽象数据类型第十三章文件结构第十四章数据库第十五章数据压缩第十六章安全第十七章计算理论第十八章人工智能正文
weixin_30532987·2020-08-03 06:26

图灵机与计算问题

其实这一切的源头都来源于计算理论。国内在介绍计算理论方面的教材虽然有不少，但
HotSummerGhost·2020-08-02 21:16

厦大计算机研究生

081202计算机软件与理论①101思想政治理论②201英语一③301数学一④408计算机学科专业基础综合06数据挖掘技术及其应用07智能软件与计算理论08模式识别与图像处理09数据库理论及其应用技术10
loverszhaokai·2020-08-02 20:48

信息安全工程师2020.11备考（仅供自己学习笔记记录，无参考价值）

计算理论：可计算性理论、计算复杂性理论。（2）特有理论访问控
ᑊ᾽ᔿLucas·2020-08-02 14:37

邦加德问题，数学、绘画、音乐的同构

话题涉及数理逻辑学、可计算理论、人工智能学、语言学、遗传
iamsujie·2020-07-30 19:57

“智能化边缘计算”专栏征文通知

同时，人工智能的发展为边缘计算理论与技术的发展注入了新的活力，使得基于边缘计算模式的新兴
边缘计算社区·2020-07-30 13:46

高阶函数学习(JavaScript)

高阶函数思想由来已久，最早可能要追溯到可计算理论的初期，在lambda演算理论中就有了这个思想了。最早的实现可能算是lisp语言。可以说，这个运算模型跟图灵机的计算能
iteye_8220·2020-07-30 08:20

机器学习及监督学习的重要概念理解

机器学习的主要特点：以计算机及网络为平台以数据为研究对象目的是对数据进行预测与分析以方法（算法）为中心，机器学习算法构建模型并应用模型进行预测与分析机器学习是一门交叉学科（是概率论、统计学、信息论、计算理论
tigerlib·2020-07-30 05:01

访问量过万的一点感想

现在在上计算理论，latex很好用。作出来的文件格式很漂亮。图形学Opengl也挺有趣。画画圆圈方块什么的。计算机网络课虽然和国内的差不多。但是我总算自己写了udpchecksum。
hide1713·2020-07-29 19:56

重磅！AI近10年21个子领域高引学者！

10年，人工智能发展迅速，如今该领域已经涵盖了机器学习、自然语言处理、计算机视觉、Web与知识工程、机器人、信息检索、人机交互、语音识别、数据挖掘、图形学、可视化、虚拟现实、多媒体、物联网、计算经济学、计算理论
SophiaCV·2020-07-29 16:55

输入电源AD采样电路误差大及温度影响分析

二、电路三、理论计算分析通过建立Excel表格，计算理论的最大最小值，如下图所示再对不同电压下的实际值进行测量，发现随着输入电压的增大，IO口处的电压，偏离理论最小值越来越大，意味着输入电压增大后，下拉电阻变小了
Jordon_zhao·2020-07-29 15:44

（二）最常用的量子计算模型——量子线路

量子算法线路图在目前的量子计算理论研究中，各种量子算法常用量子线路表
本源量子~·2020-07-27 16:33

建筑基坑工程设计计算与施工（一）

这种趋势对建筑基坑的设计计算理论和施工技术提出了严峻的考验，同时也推动了我国深基坑工程设计理论和施工技术的不断发展。
CHJ_20160630·2020-07-27 11:27

“概率模型与计算机视觉” 林达华

从那时开始，特别是DavidMarr教授于1977年正式提出视觉计算理论，计算
luxialan·2020-07-16 02:44
上一页 1 2 3 4 5 6 7 8 下一页
按字母分类： ABCDEFGHIJKLMNOPQRSTUVWXYZ其他