AI算子列表 概述 目前只有部分算子可在一个库中同时运行在MLU220和MLU270平台。也就是用户使用 ./build_cnplugin.sh --mlu270 命令编译生成的 libcnplugin.so 文件可同时在MLU220和MLU270上运行，其余算子只能在MLU270上运行。支持MLU ...
分类：
其他好文 时间：
2021-06-02 13:02:34
阅读次数：
0
我们迎来了Kubernetes1.19，这是2020年发布的第二个版本，也是迄今为止最长的发布周期，总共持续了20周。它包括33个增强功能：12个增强功能达到稳定版，18个增强处在beta版，还有13个是alpha版。 ...
分类：
Web程序 时间：
2020-09-07 18:49:29
阅读次数：
47
Caffe框架GPU与MLU计算结果不一致请问如何调试？ 某一检测模型移植到Cambricon Caffe上时，发现无法检测出结果，于是将GPU和MLU的运行结果输出并保存后进行对比，发现二者计算结果不一致，如下图所示： 第一张为GPU模式下，第二张为GPU模式，二者使用的输入和数据预处理方式均完全 ...
分类：
其他好文 时间：
2020-05-30 21:51:21
阅读次数：
85
1.JML语法基础与工具 （1）JML表达式 JML的表达式是对Java表达式的扩展，新增了一些操作符和原子表达式。同样JML表达式中的操作符也有优先级的概念。 1 原子表达式 \result表达式：表示一个非void类型的方法执行所获得的结果，即方法执行后的返回值。 \old(expr)表达式：用 ...
分类：
其他好文 时间：
2020-05-23 13:26:34
阅读次数：
44
一、JML理论基础 1.概览 在概述JML之前我想我们应该首先了解契约式设计（Design by Contract, DbC）。DbC要求在软件程序设计时明确每一个模块单元在调用前后的状态变化，抽象出来就是要求明确前置条件、后置条件和不变式。和诸多设计模式一样，DbC可以说是一种方法学，一种软件开发 ...
分类：
其他好文 时间：
2020-05-21 19:02:25
阅读次数：
58
一、梳理JML语言的理论基础、应用工具链情况 理论基础 定义： JML是用于对Java程序进行规格化设计的一种表示语言 JML基础 关键字解释举例 \result 方法执行后的返回值 \result = p1.getId() == p2.getId(); \old(expr) 相应方法执行前的取值 ...
分类：
其他好文 时间：
2020-05-21 16:20:01
阅读次数：
52
JML理论梳理与工具链分析 JML作为一种行为接口规格语言，可以较为准确地对Java程序的行为进行描述。然而在本人使用过程中，由于其工具链的功能的极不完善，大多数的代码编写及测试还是依靠人力完成的，虽然它具有较高的严谨性，但使用体验并不是很好。 JML的注释结构 JML以javadoc注释的方式表示 ...
分类：
其他好文 时间：
2020-05-19 22:39:41
阅读次数：
56
起步依赖分析 分析spring-boot-starter-parent 按住Ctrl点击pom.xml中的spring-boot-starter-parent，跳转到了spring-boot-starter-parent的pom.xml，xml配置如下（只摘抄了部分重点配置）： <parent> < ...
分类：
编程语言 时间：
2020-05-18 18:38:01
阅读次数：
68
1. commonjs模块输出的是值的浅拷贝，ES6模块输出的是值的引用 (也就是说，cmmonjs模块输出后被改变，其他引用模块不会改变，而ES6模块会改变) 2. commonjs模块是运行时加载，而ES6模块是编译时输出接口，之所以webpack的tree-shaking只能作用于ES6模块， ...
分类：
Web程序 时间：
2020-05-10 15:00:41
阅读次数：
112
响应类型为LocalDateTime时： LocalDateTime在获取日期时间时中间会有一个“T”， 如： 2020-04-17T17:39:07 如果响应时不想这种格式可以通过在属性上加注解 @JsonFormt来进行修改 如： @JsonFormt(pattern="yyyy-MM-dd H ...
分类：
其他好文 时间：
2020-04-17 20:11:59
阅读次数：
364
