一、JML语言的理论基础 JML概述 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。 一般而言,JML有两种主要的用法:(1)开展规格化设计。这样交给代码实现人员的将不是可能带有内在模糊性的自然语言描述,而是逻辑严格的规格。(2)针对已有的代 ...
分类:
其他好文 时间:
2020-05-22 22:55:02
阅读次数:
73
BUAA OO Unit3 Summary——万物即可形式化 一. JML 语言的 理论基础 JML是对Java程序进行规格化设计的一种表示语言。通过规格化描述,精确地描述了代码的功能,并且为测试设计提供了严密的依据。尤其在多人协同开发的时候,相比可能带有内在模糊性的自然语言描述,JML能过更清晰地 ...
分类:
其他好文 时间:
2020-05-22 12:43:52
阅读次数:
55
自然语言描述 1. 定义三个数组,分别为 2. 设v0为起始点,若与v0直接连接的vi,则记录其权值到D[i],否则记录∞到D[i]; 3. 循环下列语句直至V S为空集: (1)遍历D中的数据,若D[i]为最小值;记录vi到S中 (2)更新D中的数据(遍历vj∈(V S), D[ j ] = MI ...
分类:
编程语言 时间:
2020-05-19 12:53:52
阅读次数:
69
1.概述 erine是一种自然语言处理的预训练模型,对自然语言推理,命名实体识别,文本分类有很好的效果。 2.模型结构 3.模型结构 1).Transformer Encoder 该模型使用多层Transformer作为基本编码器,与其他预训练类似GPT、BERT等模型。Transformer可以捕 ...
分类:
其他好文 时间:
2020-05-19 00:58:52
阅读次数:
91
背景 文本分类属于文本挖掘。文本挖掘从已知文本提取未知的知识,即从非结构的文本中提取知识。文本挖掘主要领域:搜索和信息检索;文本聚类;文本分类;Web挖掘;信息抽取;自然语言处理;概念提取。[1] 搜索和信息检索:存储和文本文档的检索,包括搜索引擎和关键字搜索。 文本聚类:使用聚类方法,对词汇,片段 ...
分类:
其他好文 时间:
2020-05-14 23:50:55
阅读次数:
113
LDA原理 LDA思想 这里的LDA是指Linear Discriminant Analysis,简称LDA,全称线性判别分析。要与自然语言处理领域的LDA(Latent Dirichlet Allocation)隐含狄利克雷分布区分开来。 LDA是一种监督学习降维技术,它的数据集的每个样本是有类别 ...
分类:
其他好文 时间:
2020-05-13 17:17:16
阅读次数:
76
导论 自然语言处理,NLP,接下来的几篇博客将从四方面来展开: 自然语言处理,NLP,接下来的几篇博客将从四方面来展开: (一)基本概念和基础知识 (二)Embedding (三)Text classification (四)Language Models (五)Seq2seq/Attention ...
分类:
其他好文 时间:
2020-05-13 16:57:32
阅读次数:
60
一、概念 指代作为一种常见的语言现象,广泛存在于自然语言的各种表达中(下面的他指的是张三还是小明呢?) 我们人眼一下子就能分辨出上面的他指代张三,但是计算机程序如何识别呢?-指代消解就是来做这个事情 中文的指代主要有以下三种典型的形式: 1.人称代词(Pronoun) 【李明】怕高妈妈一人呆在家里寂 ...
分类:
其他好文 时间:
2020-05-11 23:49:03
阅读次数:
165
Python是一门非常高级的编程语言,该语言适合零基础入门学习,也是初学者的首选,现在无论从事人工智能还是爬虫Python都具有非常重要的作用,也成为了当下非常重要的编程语言,那么学习Python应该选择哪个版本?哪个发展方向好?为大家介绍一下。
分类:
编程语言 时间:
2020-05-11 13:03:04
阅读次数:
67
1.序列数据: 自然语言 连续视频帧 股票走势 机器翻译 2.循环神经网络与传统神经网络的区别: 传统神经网络如多层感知机,每个隐藏层的节点之间是无连接的,而RNN则不然。有连接意味着有信息的流入,因此循环神经网络可以对序列数据进行预测和分类。 3.RNN序列处理 many 2 many :机器翻译 ...
分类:
Web程序 时间:
2020-05-09 09:13:02
阅读次数:
117