全部分类

推荐文档

更多

热门标签

人际关系动力学连接体力的合成配电装置高考理综全宋诗作者索引公务员考试

计算机

(652 篇文档)

页数

全部 1-9页 10-19页 20页以上

日期

全部近三天近一周近一个月近三个月

权限

全部 VIP专享 VIP免费免费

属性

全部最新最热原创推荐

搜索

搜索重置

计算机图形学多视图重建-对极几何与BundleAdjustment

汇报内容几何变换与射影几何1双目立体视觉2BundleAdjustment34图像特征提取第一部分：几何变换与射影几何http://www.robots.ox.ac.uk/~vgg/hzbook/http://szeliski.org/Book/第二部分：双目立体视觉2.1概述❖双目立体视觉（BinocularStereoVision）类似人类双眼对环境三维感知的过程，其基本原理是：利用摄像机从两个视点对同一景物进行观察拍摄，获取两幅在不同视角下的数字图像，基于视差（即图像像素间的位置偏差），并利用成像几何的三角测量原理，来获取目标的三维信息。❖双目立体视觉既可以同时使用两个摄像机，也可以只用...

2025-01-13 1.56MB 52 页 0 0 5玖币
计算机图形学多视图重建-摄像机标定

汇报内容视觉坐标系1摄像机成像模型2摄像机标定3第一部分：视觉坐标系1.1图像坐标系❖摄像机采集图像后以标准电视信号的形式输入计算机，在计算机中以M×N的数组保存(M行N列的图像中每一个元素的数值即是图像点的灰度)。在图像上定义直角坐标系u、v，每一个像素的坐标(u，v)分别表示该像素在数组中的列数与行数，如此得到以像素为单位的图像坐标系坐标。uxyv1.1图像坐标系❖由于(u,v)只表示像素位于数组中的列数与行数，并没有用物理单位表示出该像素在图像中的位置，因此需要再建立以物理单位（如毫米）表示的图像坐标系(x,y)。❖该坐标原点O1一般在图像平面的中心，该点也是图像的主点坐标，即摄像机光轴...

2025-01-13 1.71MB 61 页 0 0 5玖币
计算理论第八章分布式计算模型

计算理论第八章分布式计算模型nCSP：CommunicatingSequentialProcessesnCCS：CommunicationandConcurrentSystemnp演算nAmbient演算8.1CSPnCSP:(CommunicatingSequentialProcesses)1978年Hoare给出的一种描述并发与分布式计算的研究模型。n多进程间的并发通信n显式消息n卫式命令响应消息主要内容nDijkstra的卫式命令nHoare的CSP（顺序通信进程）理论nCSP应用实例§1卫式命令n用于描述程序的不确定性，主要由命令集Com和布尔表达式集BExp组成。n语法：cÎCom语...

2025-01-13 1.08MB 50 页 0 0 5玖币
计算理论第六章计算复杂性2

计算理论第6章计算复杂性P类定义：P类是单带DTM在多项式时间内可判定的语言类。即，P=�TIME(��)如：PATHRELPRIMELCFGNP类哈密顿路径:有向图G中经过每个节点恰好一次的有向路径哈密顿路径问题：一个有向图是否包含一条从节点s到t到哈密顿路径HAMPATH={|有向图G包含从s到t的哈密顿路径}判定是否有Hamiton路径能找出Hamiton路径验证Hamilton路径：多项式时间st合数问题COMPOSITES={x|x=pq，整数p,q>1}验证是否是合数：多项式时间验证机语言A={w|存在字符串c,算法V接受}算法V...

2025-01-13 765.87KB 32 页 0 0 5玖币
计算理论第六章计算复杂性3

计算理论第6章计算复杂性P与NPnP：多项式时间判定nNP：多项式时间验证nP？NP悬⽽未决！nEXP=⋃!TIME(""!)nNP⊆EXPPNPP=NP或NP完全/NPCn20世纪70年代由库克、列⽂提出nNP完全：NP中某些问题的复杂性与整个NP类复杂性关联。这些问题称为NP完全。nP?NPP?NPCPNPNPC可满⾜性问题SATn合取范式可满⾜性问题：n给定⼀个合取范式(cnf),确定这个公式是否可满⾜nSAT/cnf-SAT={|f是可满⾜cnf}n3cnf可满⾜性问题3SATn给定⼀个3cnf,确定这个公式是否可满⾜n3SAT={|f是可满⾜3cnf}库克定理n定理:SAT≤!"3S...

2025-01-13 1.13MB 55 页 0 0 5玖币
计算理论第七章推理与计算

计算理论第七章推理与计算主要内容n逻辑与推理nHorn逻辑程序n命题Horn逻辑中的自动推理n谓词Horn逻辑中的自动推理nProlog逻辑程序设计7.1逻辑基础知识n符号表示：n常量：小写字母a,b,c,...。n函数：小写字母f,g,h,...。n变量：小写字母x,y,z,...。n逻辑算子(或连结词)：¬,Ù,Ú,→,↔。n量词：",$.n谓词：大写字母P,Q,R,...。n命题：在一阶逻辑中，命题陈述某个对象的性质，或是某些对象的关系，是能够分辨真假的语句。n原子命题：一个语句如果不能再进一步分解成更简单的语句，并且又是一个命题，则称此命题为原子命题n命题公式：n原子命题是命题公式。n...

2025-01-13 994.12KB 64 页 0 0 5玖币
计算理论计算理论1章绪论

计算理论主要内容计算与计算模型30s语言与自动机50s计算能力与计算效率60s推理模型60s分布式计算模型70s1.1计算与计算模型计算：广义地说，计算是信息处理的科学名词。狭义地说，计算是指算术、代数和微积分等。科学定义：通过建立模型、进行模拟、实验、验证等解决问题的过程。1.1计算与计算模型上世纪初，德国大数学家希尔伯特(Hilbert)提出：是否存在着一个通用过程，这个过程能用来判定任意数学命题是否成立，即，输入一个数学命题，在有限时间内，得到一个证明，如果这个命题成立；或是一个反例，如果这个命题不成立。图灵证明了对于平面几何来说，存在这样的过程。但是，对于一般的数...

2025-01-13 172.07KB 25 页 0 0 5玖币
计算理论计算理论2章计算1

计算理论第二章可计算主要内容图灵机模型图灵机变形图灵判定问题2.1图灵机模型图灵机组成：两端无限的线性带（读写介质）有限的符号表（表示信息）有限的信息处理状态信息处理动作（静止，左、右移）信息处理方法（规则）2.1图灵机模型状态控制器q0q5q4q3q1q2读写头线性带例1：识别字符串集合形如w#w例：0111000#01110002.1图灵机模型定义：图灵机的M＝(Q,∑,,δ,B,q0,F)，其中：Q为状态的有限集合；∑为有限字母表，为输入符号集；为线性带符号集，∑；B空符号，B，B∑；q0Q为初始状态FQ是终止状态集;：Q×Q...

2025-01-13 383.46KB 30 页 0 0 5玖币
计算理论计算理论2章计算2

计算理论第二章计算2.1图灵机模型定义：图灵机的M＝(Q,∑,,δ,B,q0,F)，其中：Q为状态的有限集合；∑为有限字母表，为输入符号集；为线性带符号集，∑；B空符号，B，B∑；q0Q为初始状态FQ是终止状态集;：Q×Q×(×{L,R,S})为转移函数。状态控制器q0q5q4q3q1q2读写头线性带例例6设计图灵机识别语言{w#w|w{0,1}*}基本思路：识别过的都标记为x，通过不同状态区分0和1。描述（1）扫描输入；（2）检查#左右两边的符号是否相同。若相同，则通过标记x消去检查过的符号；若不同，则拒绝。（3）左右移动位置，重复（2）；（4）...

2025-01-13 911.57KB 43 页 0 0 5玖币
计算理论计算理论2章计算3

计算理论第二章计算定理：任意一台图灵机都可以等价转换为一台通用图灵机。图灵机自身可以编码作为图灵机的输入不可判定与不可识别图灵可判定语言（递归）图灵可识别语言(递归可枚举）？？不可判定undecidable设计图灵机，检查TMM是否接受字符串w。ATM={|TMM接受输入w}模拟TMM的运行，接受则接受，拒绝则拒绝循环？ATM是不可判定的？ATM是不可判定的定理：ATM={|TMM接受串w}是不可判定的。证明思路：反证法，若ATM可判定，设H是ATM的判定器。构造一TMD，D定义为H的相反。H接受则D拒绝，反之，H拒绝则D接受。当H判定D时，用对角化法得出矛盾。H…M1acce...

2025-01-13 1.45MB 44 页 0 0 5玖币
计算理论计算理论3章 Lambda演算模型

计算理论第三章Lambda演算模型Lambda演算理论AlonzoChurch1936年给出lambda演算Lambda演算理论是一个形式系统，同Turing机一样可作为计算模型。Lambda演算理论是函数式语言的基础，也是指称语义学的理论基础。主要内容：纯Lambda演算理论纯Lambda演算实例纯Lambda演算的扩展Lambda演算理论Lambda演算形式系统主要有两部分：表达式的形式系统变换规则的形式系统Lambda演算理论纯Lambda表达式形式：主要由变量名和抽象符号、“.”以及括号等符号构成。用E表示表达式，Exp表示表达式之集，Exp定义如下：x...

2025-01-13 714.38KB 38 页 0 0 5玖币
计算理论计算理论4章寄存器机

计算理论第四章寄存器机寄存器机寄存器机：与图灵机等价。介于图灵机与实际数字计算机之间的一种抽象机。用于分析算法效率和与机器代码相关的研究。寄存器机寄存器机的一般结构：寄存器指令集控制器输入输出带指令标号寄存器机典型寄存器机计数器机指针机RAM(RandomAccessMachine)RASP(RandomAccessStoredProgramMachine)4.1RAM机器RAM（RandomAccessMachine）:哈佛结构.带有间接寻址和扩充的指令集.读写Ri读头X1X2······Xi······Xn······只读输入带位置计数器程序R0R1R2...

2025-01-13 158.99KB 40 页 0 0 5玖币
计算理论计算理论5章文法与语言1(1)

计算理论第五章自动机与语言求解问题与识别语言问题抽象为符号串的集合；符号串称为句子，问题是句子的集合；求解问题抽象为识别语言。问题提出:如何构造可以接受及产生一个语言的计算模型?解决问题:对一个已经存在的字符串集合,如何判断它就是符合条件的语言?语言识别器。怎样产生一个语言？如何识别这个语言？文法语言的产生与识别方法文法能清晰描述语言的语法构成文法能自动构造有效的语言识别器文法文法G定义为四元组(V,T,S,P)，其中V是有限的非终极符集合；T是有限的终极符集合；S是开始符，SV。必须在某个产生式的左边出现一次；P是产生式的集合，且具有下面的形式：，其中，(...

2025-01-13 1.15MB 75 页 0 0 5玖币
计算理论计算理论5章文法与语言1

计算理论第五章自动机与语言求解问题与识别语言问题抽象为符号串的集合；符号串称为句子，问题是句子的集合；求解问题抽象为识别语言。问题提出:如何构造可以接受及产生一个语言的计算模型?解决问题:对一个已经存在的字符串集合,如何判断它就是符合条件的语言?语言识别器。怎样产生一个语言？如何识别这个语言？文法语言的产生与识别方法文法能清晰描述语言的语法构成文法能自动构造有效的语言识别器文法文法G定义为四元组(V,T,S,P)，其中V是有限的非终极符集合；T是有限的终极符集合；S是开始符，SV。必须在某个产生式的左边出现一次；P是产生式的集合，且具有下面的形式：，其中，(...

2025-01-13 998.5KB 75 页 0 0 5玖币
计算理论计算理论5章文法与语言3

计算理论第五章自动机与语言下推自动机下推自动机﹙PDA﹚是一种抽象的计算模型。下推自动机比有限状态自动机复杂：比自动机多一个长度不受限制的栈.下推自动机下推自动机PDM定义：M=(Q,,,δ,q0,Z,F)，其中：Q：有限状态集：栈符号集：输入符号集q0Q∈，初始状态Z：栈初始符号FQ，终止状态集δ：转换函数.下推自动机确定下推自动机:转换函数:Q×(×)Q×非确定下推自动机:转换函数:Q×(×)P(Q×)定理：确定下推自动机和非确定下推自动机不等价.例如下下推自动机M＝({q0,q1,q2,q3}，{a,b}，{Z,a}，δ，q0，Z，{...

2025-01-13 416.33KB 32 页 0 0 5玖币
计算理论计算理论6章复杂性1

计算理论第6章计算复杂性算法（Algrithm）◼算法处处停机图灵机◼算法是直觉概念◼图灵机是数学概念◼=是可以严格证明的定理◼可以作为定义,不能证明◼丘奇-图灵论题(Church-TuringThesis)◼算法的直觉概念=图灵机算法复杂性理论(Complexity)◼时间复杂性（TimeComplexity）◼空间复杂性（SpaceComplexity）时间复杂性◼复杂性度量◼定义：M是一个在所有输入上停机的DTM，M的时间复杂度是一个函数f:N→N，f(n)是M在所有输入长度为n的输入上运行的最大步数。◼若M的时间复杂度是f(n)，则称M运行时间为f(n)，M是f(n)时间TM。◼平...

2025-01-13 408.49KB 21 页 0 0 5玖币
计算理论计算理论作业汇总

计算理论作业汇总第一次作业-第二章计算1第二次作业-第二章计算2第三次作业-第二章计算3第四次作业-第三章lambda演算模型第五次作业-文法与语言1第六次作业-文法与语言1&2第七次作业-文法与语言2&3第八次作业-文法与语言4

2025-01-13 958.95KB 5 页 0 0 5玖币
矩阵理论与应用I-第三章1-满秩分解

矩阵理论与应用I第三章矩阵分解满秩分解QR分解Schur分解对角化分解谱分解Jordan分解第三章矩阵分解3.1满秩分解第三章矩阵分解——满秩分解定理3.1.1满秩分解定理设�∈ℂ��×��>0,则存在列满秩矩阵�∈ℂ��×��和行满秩矩阵�∈ℂ��×�使得�=��.第三章矩阵分解——满秩分解定理3.1.1满秩分解定理设񘣴...

2025-01-13 362.66KB 22 页 0 0 5玖币
矩阵理论与应用I-第三章2-QR分解

矩阵理论与应用I第三章矩阵分解满秩分解QR分解Schur分解对角化分解谱分解Jordan分解第三章矩阵分解3.2QR分解第三章矩阵分解——��分解定义3.2.1��分解若复方阵�可分解为�=��其中�为酉矩阵,�为上三角矩阵,则称矩阵�可作��分解或酉三角分解.若在分解式&#...

2025-01-13 311.24KB 19 页 0 0 5玖币
矩阵理论与应用I-第三章3-Schur分解

矩阵理论与应用I第三章矩阵分解满秩分解QR分解Schur分解对角化分解谱分解Jordan分解第三章矩阵分解3.3Schur分解第三章矩阵分解——Schur分解定理3.3.1（Schur引理）任意ߐ阶复方矩阵ީ相似于上三角矩阵ࡏ，即存在可逆矩阵޸使得ࡏ=޸௅஻ީ޸为上三角阵，其中上三角矩阵ࡏ的对角元素是矩阵ީ的特征值.第三章矩阵分解——Schur分解定理3.3.2Schur引理任意复方阵ީ酉相似于上三角阵ࡏ,即存在酉矩阵޽使得޽ేީ޽=ࡏ为上三角阵.第三章矩阵分解——Schur分解定理3.3.2Schur引理任意复方阵ީ酉相似于上三角阵ࡏ,即存在酉矩阵޽使得޽ేީ޽=ࡏ为上三角阵.分...

2025-01-13 430.84KB 28 页 0 0 5玖币

共33页/652条

关于我们联系我们隐私政策用户协议免责申明会员服务协议
本站为文档C2C交易模式，即用户上传的文档直接被用户下载，本站只是中间服务平台，本站所有文档下载所得的收益归上传人(含作者)所有。玖贝云文库仅提供信息存储空间，仅对用户上传内容的表现方式做保护处理，对上载内容本身不做任何修改或编辑。若文档所含内容侵犯了您的版权或隐私，请立即通知玖贝云文库，我们立即给予删除！ Copyright ©Jiubeiyunall rights reserved SITEMAP| 备案号：渝ICP备2024044455号| 渝公网安备50010702506394 | 违法与不良信息举报方式：微信:jiubeiyun2024,QQ:264159069,电话:15523442343,邮箱:jiubeiyun@126.com

客服

关注

二维码已失效
刷新

打开微信，点击“扫一扫”

安全高效便捷

免密登录