正确性问题，当我们使用形式化验证工具时，我们将代码、安全目标和操作环境通过工具在不同模型之间转换，将高级语言转换为形式化验证工具支持的语言。工具的执行结果决定了形式化的准确性。但是，我们没有一个好的工具检查语言转换或者模型转换的准确性，缺乏对源代码和目标语言的语义一致性需要进行严

查看更多 →

云知识 Python和C语言、shell语言的区别 Python和C语言、shell语言的区别 时间：2020-11-16 10:01:14 了解完Python的优点和缺点以后，那它和其他语言孰好孰坏，我们该pick哪一个呢？下面我们主要看一下Python和C语言、shell的相同点和区别。

查看更多 →

华为云计算 云知识 Python语言进阶 Python语言进阶 时间：2020-12-10 10:21:18 掌握了Python基本概念知识后，跟着本课程进阶学习Python。 课程简介 Python语言进阶课程，主要包括Python的函数、模块、面向对象、异常处理、文件处理等内容。

查看更多 →

华为云计算 云知识 Python语言基础 Python语言基础 时间：2020-12-07 15:23:48 Python是一种计算机程序设计语言，是一种面向对象的动态类型语言，功能强大。易学易用的Python，现在就可以零基础快速入门！ 课程简介 Python语言基础课程，主要包括Pyt

查看更多 →

华为云计算 云知识 AI基础课程--Python编程知识 AI基础课程--Python编程知识 时间：2020-12-11 15:06:18 Python是近几年最为流行的编程语言之一，它有着优雅的语法和丰富的工具库。相比于java和C语言而言，Python的门槛更低、更加灵活易于被人读懂。

查看更多 →

华为云计算 云知识 语言生成的特性 语言生成的特性 时间：2020-09-16 10:55:40 语言生成（Language Generation），基于先进的语言模型，根据输入的信息，包括文本、数据或者图像，生成可读的文字表述，可应用于智能问答与对话、新闻摘要、报告生成等人机交互的场景当中

查看更多 →

华为云计算 云知识 Linux常用命令及Shell编程 Linux常用命令及Shell编程 时间：2020-12-15 11:30:39 玩转Linux系统常用命令，为编写Shell脚本或学习Linux系统打下坚实基础。本课程需要懂点Linux系统，覆盖Linux系统50多个常用

查看更多 →

华为云计算 云知识 学习Python编程需要什么基础：文件 学习Python编程需要什么基础：文件 时间：2021-03-25 20:05:33 文件是我们储存信息的地方，我们经常要对文件进行读、写等操作 在Python中，我们可用Python提供的函数和方法方便地操作文件。 文中课程

查看更多 →

华为云计算 云知识 学习Python编程需要什么基础：函数 学习Python编程需要什么基础：函数 时间：2021-04-07 09:27:41 函数是一个能完成特定功能的代码块，可在程序中重复使用，减少程序的代码量和提高程序的执行效率。在python中函数定义语法如下： 返回值

查看更多 →

云知识 自然语言处理 自然语言处理 时间：2020-10-29 15:27:20 一款基于人工智能技术，针对各类企业及开发者提供的用于文本分析及挖掘的云服务，旨在帮助用户高效的处理文本。 产品功能 中文分词 将中文文本切分成以独立的词为单位的序列。 词向量 将自然语言中的词进行向

查看更多 →

云知识 大V讲堂——自然语言处理和语言情感分析 大V讲堂——自然语言处理和语言情感分析 时间：2020-12-14 11:15:28 语言是人类智能最重要的标志，做为人工智能的核心难题之一，自然语言处理处于历史上最好的发展时期。 课程简介 本课程将对自然语言处理的问题和其中一个热点研究问题即语言情感分析展开讨论。

查看更多 →

华为云计算 云知识 SQL语言的特点 SQL语言的特点 时间：2021-05-21 11:46:33 数据库 数据系统 数据管理 SQL语言（结构化查询语言 - Structured Query Language）特点主要有以下内容： 1、高级的非过程化编程语言，允许用户在高层数据结构上工作。

查看更多 →

华为云计算 云知识 语言生成应用场景 语言生成应用场景 时间：2020-09-16 10:58:24 语言生成（Language Generation），基于先进的语言模型，根据输入的信息，包括文本、数据或者图像，生成可读的文字表述，可应用于智能问答与对话、新闻摘要、报告生成等人机交互的场景当中

查看更多 →

华为云计算 云知识 结构化查询语言 结构化查询语言 时间：2020-12-24 10:29:19 SQL（Structured Query Lanuage），即结构化查询语言，是关系数据库的标准语言，SQL是一种通用的、功能极强的关系数据库语言。广泛应用于存取，查询，升级，和管理

查看更多 →

华为云计算 云知识 学习Python编程需要什么基础：数据类型 学习Python编程需要什么基础：数据类型 时间：2021-03-25 19:55:10 Python支持的标准数据类型主要有如下几种： 数字：如整型（123）、布尔型（True/False）、浮点型（1.23） 字符串（String）：如

查看更多 →

Ware），另一个是编程语言虚拟机（例如JVM, Python VM）。 编程语言虚拟机提供了一种程序的中间表示，例如Python字节码，它非常类似于CPU的指令集（Instruction Set）。 语言虚拟机同时提供了自动管理内存，线程（协程）管理等方法，使它兼具了部分操作系统的功能。

查看更多 →

华为云计算 云知识 自然语言理解是什么 自然语言理解是什么 时间：2020-09-15 16:05:34 语言理解，为用户提文本供情感分析、观点抽取、分本分类、意图理解等自然语言处理语言理解相关的API。应用场景丰富：舆情分析、观点挖掘、智能助手等。 产品特性 情感分析 对文本进行情感分析，判断其正面或负面倾向

查看更多 →

的关系。 课程简介 在自然语言处理(NLP) 领域中，使用语言模型预训练方法在多项NLP任务中的水平都提高了一个等级，学术界掀起了研究预训练语言模型的热潮。 课程目标 通过本课程的学习，使学员： 1、理解语言模型和神经语言模型。 2、了解主流预训练语言模型及之间的关系。 课程大纲

查看更多 →

华为云计算 云知识 学习Python编程需要什么基础：模块 学习Python编程需要什么基础：模块 时间：2021-04-07 09:30:36 函数是一个能完成特定功能的代码块，可在程序中重复使用，减少程序的代码量和提高程序函模块提供了一种逻辑的 方式来组织我们的代码； 模块的

查看更多 →

华为云计算 云知识 学习Python编程需要什么基础：变量 学习Python编程需要什么基础：变量 时间：2021-03-25 19:58:06 变量名必须是字母或_开头，以双下划线开头和结尾的变量是python特殊方法的专用标识，如__init__()代表类的构造函数，供解释器使用；

查看更多 →

华为云计算 云知识 学习Python编程需要什么基础：异常处理 学习Python编程需要什么基础：异常处理 时间：2021-04-07 09:32:14 Python无法正常处理程序时就会发生一个异常，异常发生时我们需要捕获处理它，否则程序会终止执行； 捕捉异常使用try/exc

查看更多 →