摘要：
符号化的知识库中。但是符号化知识的获得和表达限制了人工智能的应用（即符号主义的缺点）。一般的，软计算不进行太多的符号操作。因此，从某种意义上说，软计算是传统人工智能的补充。 控制系统 模式识别 优化 自动决策 预测 分类 Sustainable Construction Safety Knowledge。...
符号化的知识库中。但是符号化知识的获得和表达限制了人工智能的应用（即符号主义的缺点）。一般的，软计算不进行太多的符号操作。因此，从某种意义上说，软计算是传统人工智能的补充。 控制系统 模式识别 优化 自动决策 预测 分类 Sustainable Construction Safety Knowledge。
⊙△⊙
电子延迟存储自动计算器（英文：Electronic Delay Storage Auto-matic Calculator、EDSAC）是英国的早期计算机。1946年，英国剑桥大学数学实验室的莫里斯·威尔克斯教授和他的团队受冯·诺伊曼的First Draft of a Report on the。
＼ ＿ ／
dian zi yan chi cun chu zi dong ji suan qi （ ying wen ： E l e c t r o n i c D e l a y S t o r a g e A u t o - m a t i c C a l c u l a t o r 、 E D S A C ） shi ying guo de zao qi ji suan ji 。 1 9 4 6 nian ， ying guo jian qiao da xue shu xue shi yan shi de mo li si · wei er ke si jiao shou he ta de tuan dui shou feng · nuo yi man de F i r s t D r a f t o f a R e p o r t o n t h e 。
计算机自动设计（英文：Computer-Automated Design, CAutoD）是指将计算机辅助设计或仿真得到的性能评估结果（即设计系统的“输出”）加以分析，然后再用计算机来自动地、最优地调整设计中所涉及的结构和参量（即设计系统的“输入”）。 与“计算机辅助设计（CAD）”不同，计算。
计算机科学、数据工程及知识工程、软件工程、计算机与VLSI设计自动化、软件理论与系统、生物计算及量子计算、人工智能、智能控制及机器人、人机交互与普适计算、计算机图形学与可视化技术、CAD技术、计算机视觉、媒体信息处理等研究方向。 计算机系现设有高性能计算、计算机网络技术、计算。
并发计算（英语：Concurrent computing，或译为並行处理、共时计算），是一种程式计算的形式，在系统中，至少有两个以上的计算在同时运作，计算结果可能同时发生。用来实作並行系统（Concurrent system）的程式语言与各种演算法，统称为並行计算。。
计算几何是一门兴起于二十世纪七十年代末的计算机科学的一个分支，主要研究解决几何问题的算法。 自从1946年世界上第一台电子计算机问世以来，计算机应用的一个重要里程碑是1962年美国麻省理工学院发明了世界上第一台图形显示器。自此之后，计算机可以透过图形显示器直接输入、输出图形，并且可以在显示屏上透过游。
AF镜头群实现自动对焦。紧随其后，尼康和宾得推出了自己的自动对焦系统，同时保持了对于之前系统镜头的兼容性；而更迟一些，在1987年发布的佳能EOS系统让镜头配置马达以控制光圈与自动对焦，机身则仅传递电子信号。 用相机上的光电传感器将物体反射的光接受，根据相机内部芯片的计算与处理，最后由电动对焦装置对焦。 而根据探测的属性可以进行如下分类：。
有限状态机 下推自动机 函数式模型包括 递归函数 Λ演算 组合子逻辑 细胞自动机 抽象重写系统（英语：Abstract rewriting system） 同步模型包括 演员模型 各模型的表现不尽相同；例如，有限状态机可以计算的函数，图灵机也可以计算，反之亦然。 在算法分析领域，定义一个计算。
普适计算（Ubiquitous computing（ubicomp）、pervasive computing），又称普存计算、普及计算、遍布式计算、泛在计算，是软件工程和计算机科学中的一个概念，其中的「计算」可以随时随地执行。与桌面计算（英语：desktop computing）相比，普适计算。
绝对信号机旁边的ATS-ST形即时停止地上子 ATS-SW形地上子 ATS-P是一种自动列车停车装置。它基于停车限界点等基准点，通过车上计算根据列车位置、减速性能和坡度来计算实时的行车限界速度，然后通过速度照査最终实现列车的减速和停车。由于该车上计算方式表现优异，因此在后续的数字式ATC（D-ATC）等保安装置中得。
˙▽˙
一个网络仅由一个项目拥有，且每个实例仅可属于一个网络。所有的计算引擎网络均使用IPv4协议。计算引擎当前不支持IPv6协议。然而，Google是主要的IPv6支持者且认为IPv6是重要的未来走向。 当创建实例时，默认情况下将自动分配实例一个临时外部IP。此地址在使用实例时被自动接入，一旦关闭实例则将被自动。
˙﹏˙
AWS Lambda是亚马逊云计算服务的一部分，它是一个事件驱动、无服务器的平台。它提供计算服务，运行事件响应代码，并自动管理计算资源。它最初发布于2014年11月。 Amazon introduces Lambda, Containers at AWS re:Invent - SD Times. SD。
列车速度自动控制系统（英语：Automatic Train Control，缩写：ATC）简称列车自动控制系统，是列车保护系统的一种。ATC系统可以整合各种內外部的资讯並对列车速度作控制，当中包括影响列车速限的资讯，例如路线速限、闭塞资料等。与以往的ATS系统相比，虽然两者亦可以在驾驶员不遵守信号。
自动计算机（ACE，Automatic Computing Engine）设计为一台早期的存储程序式电子计算机。 名称中使用“Engine”一词是为了向查尔斯·巴贝奇的差分机（Difference Engine）和分析机（Analytical Engine）致敬。它是艾伦·图灵应英国国家物理实验室（。
计算理论（英语：Theory of computation）是数学的一个领域，和计算机有密切关系。其中的理论是现代密码协议、计算机设计和许多应用领域的基础。该领域主要关心三个方面的问题： 采用什么计算模型（即形式语言、自动机） 解决哪些是可计算的、哪些是不可计算的（即可计算性理论及演算法）。
↓。υ。↓
当机器翻译无法立即产生精確的翻译，人类语言的自动处理被视为远比当初所设想的复杂。计算语言学这个新领域於是诞生，从而发展能够智慧处理语言资料的演算法与软体。「计算语言学」这个术语是由计算语言学协会与计算语言学国际委员会（英语：International Committee on。
增量计算（英语：Incremental computing），又称增量计算法，是一种软件特性。当部分数据变化时，增量计算试图仅重新计算那些依赖于变化的数据的输出，以节省计算时间。 相比于简单地重新计算完整的输出内容，增量计算能够显著地节省计算时间。 比如，电子表格的重计算功能可能会采用增量计算。
在计算机编程领域，自动变量（Automatic Variable）指的是局部作用域变量，具体来说即是在控制流进入变量作用域时系统自动为其分配存储空间，并在离开作用域时释放空间的一类变量。在许多程序语言中，自动变量与术语“局部变量”（Local Variable）所指的变量实际上是同一种变量，所以通。
认知计算是指基于人工智能和信号处理的系统平台。这些平台涉及机器学习、自动推理、自然语言处理、语音识别和计算机视觉、人机交互等技术。 目前无论是学术界还是工业界，他们对认知计算都没有一个统一的定义。 Kelly III, Dr. John. Computing, cognition and the future。
离散变量自动电子计算机（英语：Electronic Discrete Variable Automatic Computer，EDVAC）是一台美国早期电子计算机。与它的前任ENIAC不同，EDVAC采用二进制，而且是一台冯·诺伊曼结构的计算机。 ENIAC和EDVAC的建造者均为宾夕法尼亚大学的。
发表评论