上两篇主要是讲述断言的概念，基本语法，总结等等 这一篇主要是以PPT的形式展示各个场景下关于断言的应用。 为了在设计中加入断言的功能，因此需要写一个DUT。如下： `define true 1 `define free (a && b && c && d) module assertion( inp ...
分类：
其他 时间：
2019-10-31 13:13:23
收藏：
0 评论：
0 赞：
0 阅读：
209
首先在 VS Code 安装几个扩展插件 C#C# Extensions.NET Core Test Explorer 这三个插件就可以做最基础的开发了 单元测试 通过命令执行单元测试 如果只想测试其中一个方法 HashPasswordTest 当然有可视化的测试插件，谁还用命令啊 控制台应用程序 ...
分类：
Web开发 时间：
2019-10-31 13:13:02
收藏：
0 评论：
0 赞：
0 阅读：
58
栈 栈模型 栈（stack）是限制对元素的插入（push）和删除（pop）只能在一个位置上进行的表，该位置是表的末端，叫做栈的栈顶（top)。 栈的基本操作只有两种，压入栈（push）和弹出栈顶（pop）,且只能作用于栈顶。（只有栈顶元素是可访问的 你可以把栈结构理解成一个底部封闭，顶部打开的桶。最 ...
分类：
其他 时间：
2019-10-31 13:12:43
收藏：
0 评论：
0 赞：
0 阅读：
104
窝当然不会ddp啦，要写这题当然是考虑优化裸dp啦，但是这题非常麻烦，于是变成了黑题。 首先，这个是没有上司的舞会模型，求图的带权最大独立集。 不考虑国王的限制条件，有 $$ dp[x][0]+=dp[y][1]\\ dp[x][1]+=min(dp[y][1],dp[y][0]) $$ 现在考虑限 ...
分类：
其他 时间：
2019-10-31 13:11:59
收藏：
0 评论：
0 赞：
0 阅读：
79
在用idea模板的/** 生成方法注释，生成之后： 然后有的时候如果代码想用快捷键（CTRL + ALT + L）格式化之后，注释就会变成这样： 在文字区域自动换行了，修改设置之后就可以改回来： 步骤： File>Settings>Editor>Code Style>Java>JavaDoc>Bla ...
分类：
其他 时间：
2019-10-31 13:11:39
收藏：
0 评论：
0 赞：
0 阅读：
377
项目：Orientation ...
分类：
移动平台 时间：
2019-10-31 13:11:17
收藏：
0 评论：
0 赞：
0 阅读：
126
根据接口返回数据中number属性值,对数据进行截取,并改变属性名.直接上码: 下面是需要处理的数据 根据number值对数据截取 改变属性的方法 方法一: 方法二: 总结:竟然实现了! 竟然实现了! 竟然实现了! ————————————————版权声明：本文为CSDN博主「Im a little ...
分类：
Web开发 时间：
2019-10-31 13:09:59
收藏：
0 评论：
0 赞：
0 阅读：
283
click原文链接原文链接：https://blog.csdn.net/zouhuajianclever/article/details/90669409阅读本文前建议先阅读此篇博客： Redis源码从哪里读起 Redis 4.0 版本增加了许多不错的新功能，其中自动内存碎片整理功能 actived ...
分类：
其他 时间：
2019-10-31 13:09:38
收藏：
0 评论：
0 赞：
0 阅读：
78
冒泡排序 它重复地走访过要排序的元素列，依次比较两个相邻的元素，如果顺序（如从大到小、首字母从从Z到A）错误就把他们交换过来。走访元素的工作是重复地进行直到没有相邻元素需要交换，也就是说该元素列已经排序完成 冒泡排序： function bubbleSort(arr){ var len=arr.le ...
分类：
编程语言 时间：
2019-10-31 13:09:19
收藏：
0 评论：
0 赞：
0 阅读：
115
１．二叉搜索树 可以根据二叉搜树的性质进行搜索，实现步骤如下： （１）判断root是否为空 （２）比较子节点p,q的大小，使得q为root的右节点； （３）判断p,q节点是否为根节点，如果是则返回p(q)； （４）利用二叉搜索数的性质就你行递归调用 ２．普通二叉树 实现步骤如下： （１）首先判断根节 ...
分类：
其他 时间：
2019-10-31 13:08:59
收藏：
0 评论：
0 赞：
0 阅读：
91
一：先从https://golang.google.cn/dl/下载，我这边下载的是go1.13.3.linux-amd64.tar.gz； 二：将压缩包解压后得到go目录，将go目录移动到/usr/local/目录下； 三：创建go_src目录：sudo mkdir /usr/local/src/ ...
分类：
系统服务 时间：
2019-10-31 13:08:34
收藏：
0 评论：
0 赞：
0 阅读：
105
1、 宏病毒的基本概念 如果某个文档中包含了宏病毒，我们称此文档感染了宏病毒，如果woro系统中的模板包含了宏病毒，我们称word系统感染了宏病毒。 2、 宏病毒来源 虽然OFFICE97/Word97无法扫描软盘、硬盘或网络驱动器上的宏病毒.但当打开一个含有可能携带病毒的宏的文档时,它能够显示宏警 ...
分类：
其他 时间：
2019-10-31 13:07:51
收藏：
0 评论：
0 赞：
0 阅读：
92
sql的left join 、right join 、inner join之间的区别 ...
分类：
数据库技术 时间：
2019-10-31 13:07:33
收藏：
0 评论：
0 赞：
0 阅读：
70
使用注解实现SpringAOP的功能: 例子: xml配置:注意给例子中使用的其他的类上面也使用注解 注意:<aop:aspectj-autoproxy proxy-target-class="true"/>这样配置则是强制使用CGLIB进行代理 ...
分类：
编程语言 时间：
2019-10-31 13:07:18
收藏：
0 评论：
0 赞：
0 阅读：
66
匹配规则:多个ip地址使用，号进行分割 例如：1.1.1.1,2.2.2.2var iplist =/^((25[0-5]|2[0-4]\d|((1\d{2})|([1-9]?\d)))\.){3}(25[0-5]|2[0-4]\d|((1\d{2})|([1-9]?\d))|\*)((\/([01 ...
分类：
其他 时间：
2019-10-31 13:07:00
收藏：
0 评论：
0 赞：
0 阅读：
508
硬盘有价，数据无价，本文主要介绍硬盘中的数据在被删除后的恢复解决办法。 ...
分类：
其他 时间：
2019-10-31 13:06:39
收藏：
0 评论：
0 赞：
0 阅读：
68
后台开发过程中，写单元测试是非常重要的，对于我们开发人员调试、排查问题是很方便的， 但是我们在启动项目的时候，需要将所以类交给spring托管，在单元测试中需要怎么实现类的注入呢？ 直接上图 继续上代码 import org.junit.Test;import org.junit.runner.Ru ...
分类：
编程语言 时间：
2019-10-31 13:06:23
收藏：
0 评论：
0 赞：
0 阅读：
92
#!/bin/bash #From:rancher #date:2019-10-18 #admin:jarno # 停止服务 systemctl disable kubelet.service systemctl disable kube-scheduler.service systemctl di... ...
分类：
其他 时间：
2019-10-31 13:06:04
收藏：
0 评论：
0 赞：
0 阅读：
98
单例模式是一种简单但非常实用的模式，特别是惰性单例技术，在合适的时候才创建对象，并且只创建唯一的一个。下面我们来逐步了解单例模式的用法。 单例模式是一种简单但非常实用的模式，特别是惰性单例技术，在合适的时候才创建对象，并且只创建唯一的一个。下面我们来逐步了解单例模式的用法。 单例模式是一种简单但非常 ...
分类：
编程语言 时间：
2019-10-31 13:05:28
收藏：
0 评论：
0 赞：
0 阅读：
87
pom.xml <dependencies> <dependency> <groupId>org.springframework.boot</groupId> <artifactId>spring-boot-starter</artifactId> </dependency> <dependency ...
分类：
移动平台 时间：
2019-10-31 13:05:07
收藏：
0 评论：
0 赞：
0 阅读：
136
