拖动LOGO到书签栏，立即收藏一流导航
一流导航
词条百科
企业百科
产品提交
文章投稿
登录/注册
词条百科
企业百科
显示直达
程序
程序
代码
操作系统
逻辑
算法
机器
汇编语言
语言
指令
操作员
归纳编程
简介归纳编程（IP）是自动编程的一个特殊领域，涵盖了来自人工智能和编程的研究，它解决了从不完整的规格，如输入/输出实例或约束条件，学习典型的陈述性（逻...
约束逻辑编程
约束逻辑编程约束逻辑编程是约束编程的一种形式，其中逻辑编程被扩展到包括约束满足的概念。约束逻辑程序是一个逻辑程序，它在子句的主体中包含约束。如同在...
自动心电图解读
简介自动心电图解读是使用人工智能和模式识别软件和知识库，对通常从病人身上获得的心电图描记自动进行解读、测试报告和计算机辅助诊断。自动心电图解读的历...
动态逻辑（模态逻辑）
动态逻辑（模态逻辑）在逻辑学、哲学和理论计算机科学中，动态逻辑是模态逻辑的一个扩展，能够对计算机程序的属性进行编码。这说明，如果地面目前是干的，而...
细化微积分
细化微积分细化微积分是一种用于逐步细化程序构造的正式方法。最终可执行程序的预期行为被指定为一个抽象的，也许是不可执行的程序，然后通过一系列保持正确...
扩展静态检查
扩展静态检查扩展静态检查（ESC）是计算机科学中对各种程序约束的正确性进行静态检查的一系列技术的总称。ESC可以被认为是类型检查的一种扩展形式。与类型检...
断言（软件开发）
断言（软件开发）简介在计算机编程中，特别是在使用命令式编程范式时，断言是一个与程序中的某一点相连的谓词（状态空间上的布尔值函数，通常用程序的变量表...
数字生物体
数字生物体数字生物体是一个自我复制的计算机程序，它可以变异和进化。数字生物体被用作研究达尔文进化论动态的工具，以及测试或验证进化论的特定假设或数学...
安全性和有效性属性
安全性和有效性属性计算机程序执行的属性--特别是对于并发和分布式系统--长期以来一直是通过给出安全属性（坏事不会发生）和有效性属性（好事会发生）来制定...
正确性（计算机科学）
正确性（计算机科学）在理论计算机科学中，如果一个算法的行为符合规定，那么它对于一个规范来说就是正确的。探讨得xxx的是功能正确性，它指的是算法的输入-...
运行手册
运行手册在计算机系统或网络中，运行手册是系统管理员或操作员执行的例行程序和操作的汇编。IT部门和NOC的系统管理员使用运行手册作为参考。运行手册可以是电...
G代码
G代码G代码（也称为RS-274）是使用最广泛的计算机数控(CNC)编程语言。它主要用于计算机辅助制造以控制自动化机床，并且有许多变体。G代码指令被提供给机器控...
土木工程软件
土木工程软件许多软件程序可用于土木工程的每个学科。大多数土木工程师从事土木工程的专业子集，例如岩土工程、结构工程、交通工程、水利工程、环境工程、项...
固定循环
固定循环固定循环是一种方便地执行重复CNC机床操作的方法。固定循环可自动执行某些加工功能，例如钻孔、镗孔、螺纹加工、型腔加工等。固定循环之所以被称为是...
微创程序
微创手术介入放射科医生率先推出了微创手术，他们首先引入了血管成形术和导管输送支架。随后出现了许多其他微创手术，其中可以获得身体所有部位的图像，并通...
非手术鼻整形术
非手术鼻整形术非手术鼻整形术是一种医学美容手术，其中可注射填充剂，最常见的是透明质酸填充剂，如Restylane和Juvederm或钙羟基磷灰石(Radiesse)，用于在不...
命令行界面
命令行界面命令行界面(CLI)以文本行的形式处理计算机程序的命令。处理接口的程序称为命令行解释器或命令行处理器。操作系统在shell中实现了一个命令行界面，...
shell脚本
什么是shell脚本shell脚本是一种计算机程序，旨在由Unixshell（一种命令行解释器）运行。shell脚本的各种方言被认为是脚本语言。shell脚本执行的典型操作包括...
Psion上网本
Psion上网本Psion上网本是Psion开发的一款小型亚笔记本电脑。它于1999年发布，主要针对移动企业市场。Psion上网本说明与后来面向消费者的PsionSeries7的设计...
源到源编译器
源到源编译器源到源编译器是一种翻译器，它获取以编程语言编写的程序的源代码作为其输入，并以相同或不同的编程语言生成等效的源代码。源到源翻译器在运行在...
反汇编器
什么是反汇编器反汇编器是一种计算机程序即翻译机器语言成汇编语言-the逆操作，一个的汇编。反汇编器与反编译器不同，反编译器针对的是高级语言而不是汇编语...
汇编语言
什么是汇编语言汇编语言，是任何一种低级编程语言，其中语言中的指令与体系结构的机器代码指令之间有很强的对应关系。因为汇编依赖于机器代码指令，所以每种...
可微编程
可微编程可微编程为编程范例，其中一数字计算机程序可以区分整个经由自动分化。这允许对程序中的参数进行基于梯度的优化，通常通过梯度下降。可微分编程已在...
多重引导
什么是多重引导多重引导是在一台计算机上安装多个操作系统，并且能够选择引导哪个操作系统的行为。术语双启动是指两个操作系统的通用配置。多重引导可能需要...
引导加载程序
什么是引导加载程序引导加载程序是一种软件，负责启动计算机。当计算机关闭时，其软件—包括操作系统、应用程序代码和数据—仍存储在非易失性存储器中。当计...
浏览器扩展
浏览器扩展浏览器扩展是一个小软件定制模块的网页浏览器。浏览器通常允许各种扩展，包括用户界面修改、广告拦截和cookie管理。浏览器插件是一种独立类型的模...
函数式编程
函数式编程在计算机科学中，函数式编程是一种通过应用和组合函数来构建程序的编程范式。它是一种声明式编程范式，其中函数定义是将值映射到其他值的表达式树...
虚拟控制台
虚拟控制台虚拟控制台（VC）-也被称为虚拟终端（VT）-是键盘和显示器用于计算机的概念组合的用户接口。它是某些类似Unix的 操作系统（例如LinuxBSDillumos，U...
CPU Sim
CPU SimCPU Sim是用于模拟简单计算机的软件开发环境。它由Dale Skrien开发，旨在帮助学生理解计算机体系结构。使用该应用程序，用户可以模拟新的或现有的简单...
编程语言
编程语言概要编程语言是一种形式语言包括一组指令产生各种输出。编程语言用于计算机编程中以实现算法。大多数编程语言包括指令的计算机。有些可编程机器使用...
1
2
3
添加小工具
点此为“分类归档侧边栏”添加小工具
扫码分享到朋友圈
归纳编程
约束逻辑编程
自动心电图解读
动态逻辑（模态逻辑）
细化微积分
扩展静态检查
断言（软件开发）
数字生物体
安全性和有效性属性
正确性（计算机科学）
运行手册
G代码
土木工程软件
固定循环
微创程序
非手术鼻整形术
命令行界面
shell脚本
Psion上网本
源到源编译器
反汇编器
汇编语言
可微编程
多重引导
引导加载程序
浏览器扩展
函数式编程
虚拟控制台
CPU Sim
编程语言