一、实现规格所采取的设计策略 在本单元的代码实现过程中，由于已经用JML为我们定义了方法的规格，所以只需要将JML翻译成代码语言即可。在翻译的过程中需要确保实现的逻辑严谨以及严格符合JML的规格。 在具体的实现过程中，我的设计策略是首先实现异常类，然后分别实现不同的类。从类的包含关系来看，首先实现较 ...
分类：
其他 时间：
2021-05-28 09:29:30
收藏：
0 评论：
0 赞：
0 阅读：
25
自己是在工作的时候因为一个任务做完了，也提交了正准备push，突然改了需求，改动代码，重新commit一次，然后push到远程。最终我发现在远程仓库的提交记录是多出来两条，也就是这两次commit的记录。当时自己不是很理解，所以想要复现一下这个情况 为了在家里的电脑复现这个现象。步骤如下 1.首先需 ...
分类：
其他 时间：
2021-05-28 09:29:21
收藏：
0 评论：
0 赞：
0 阅读：
94
Application servers are deployed on Elastic Compute Service(ECS) instances across multiple zones and security groups are configured to manage access b ...
分类：
其他 时间：
2021-05-28 09:29:06
收藏：
0 评论：
0 赞：
0 阅读：
29
1.进入到MGMT日志目录 [grid@rac01 rdbms]$ cd /u01/grid/grid_base/diag/rdbms[grid@rac01 rdbms]$ cd ./_mgmtdb必须使用./-MGMTDB ...
分类：
数据库技术 时间：
2021-05-28 09:28:50
收藏：
0 评论：
0 赞：
0 阅读：
29
@Qualifier可以用来让程序员明确指定想要指定哪个bean，那有程序员就会想问，它和@Autowired和@Resource的区别是什么？ 假设有如下bean定义： <bean id="user0" class="com.luban.entity.User"> <property name=" ...
分类：
编程语言 时间：
2021-05-28 09:28:37
收藏：
0 评论：
0 赞：
0 阅读：
47
reduce中：把一个直接关系做为k间接关系中不是真间接的被抵消 单元测试框架：unittestTestCase 测试用例TestFixture 测试固件 没法改变的东西TestSuite 测试套件 用例塞到套件里，让TestRunner去执行测试套件TestRunner 测试运行器 new uni ...
分类：
其他 时间：
2021-05-28 09:28:27
收藏：
0 评论：
0 赞：
0 阅读：
19
给出一个字符串 s（仅含有小写英文字母和括号）。 请你按照从括号内到外的顺序，逐层反转每对匹配括号中的字符串，并返回最终的结果。 注意，您的结果中 不应 包含任何括号。 示例 1： 输入：s = "(abcd)" 输出："dcba" 示例 2： 输入：s = "(u(love)i)" 输出："ilo ...
分类：
其他 时间：
2021-05-28 09:28:12
收藏：
0 评论：
0 赞：
0 阅读：
22
jQuery.scrollTo Lightweight, cross-browser and highly customizable animated scrolling with jQuery Installation The plugin requires jQuery 1.8 or highe ...
分类：
其他 时间：
2021-05-28 09:27:54
收藏：
0 评论：
0 赞：
0 阅读：
21
数据库连接池 数据库连接 执行完毕 释放 连接 释放 十分浪费系统资源 池化技术：准备一些预先的资源，过来就连接预先准备好的 编写连接池，实现一个接口DataSource 开源数据源实现（拿来即用） DBCP C3P0 Druid：阿里巴巴 使用了这些连接池之后，在项目开发中就不需要编写连接数据库的 ...
分类：
数据库技术 时间：
2021-05-28 09:27:43
收藏：
0 评论：
0 赞：
0 阅读：
22
(1) 实现规格所采取的设计策略 这部分似乎没有太多特别的，总体上来说分为这样几个步骤： 先阅读指导书和接口的定义，从宏观的角度了解要求实现的是什么； 阅读接口的整体规格，并重点关注接口开头的 public instance model ...... 部分（通常该部分提示着这个对象需要维护哪些数据） ...
分类：
其他 时间：
2021-05-28 09:27:31
收藏：
0 评论：
0 赞：
0 阅读：
23
Maximum Product of Word Lengths (M) 题目 Given a string array words, return the maximum value of length(word[i]) * length(word[j]) where the two words d ...
分类：
其他 时间：
2021-05-28 09:27:23
收藏：
0 评论：
0 赞：
0 阅读：
19
卸载cudnn sudo rm -rf /usr/local/cuda/include/cudnn.h sudo rm -rf /usr/local/cuda/lib64/libcudnn* 卸载cuda 第一步 sudo /usr/local/cuda-10.1/bin/cuda-uninstal ...
分类：
系统服务 时间：
2021-05-28 09:27:10
收藏：
0 评论：
0 赞：
0 阅读：
38
1、说明 在业务中有这样一个场景，需要批量验证手机号是否存在系统中；存在即返回用户数据。 2、步骤 2.1、这里使用Jmeter来进行批量验证测试，前提是要先在数据库中拿到11位数的手机号 2.2、在数据库中，发现老数据很多手机号字段值不是11位，这个时候需要进行正则匹配，并且需要把重复的数据进行过 ...
分类：
移动平台 时间：
2021-05-28 09:26:54
收藏：
0 评论：
0 赞：
0 阅读：
25
介绍 要想知道vue和elementui之间有啥关系，首先我们必须了解vue和elementui，只有对它们有所认识，才能更好的理解它们之间的关系。本文主要针对它们之间的关系做个简短的介绍。 1.vue简介 Vue 是一套用于构建用户界面的渐进式 JavaScript 框架 ，开发者只需要关注视图层 ...
分类：
其他 时间：
2021-05-28 09:26:46
收藏：
0 评论：
0 赞：
0 阅读：
27
Redhat8.4 installed in 1. UFD ( USB Flash Disk ) for installation. 1> List information of UFD : fdisk -l; // /dev/sdb 2> umount 'sdb' : umount /dev/sd ...
分类：
其他 时间：
2021-05-28 09:26:36
收藏：
0 评论：
0 赞：
0 阅读：
54
环境 centos7 由于学习需要在 主机装 python3.6 ,采用 Miniconda 安装多版本，但是在下载安装包时报错了 HTTPError: HTTP 000 CONNECTION FAILED for url <https://mirrors.tuna.tsinghua.edu.cn/ ...
分类：
Web开发 时间：
2021-05-28 09:26:23
收藏：
0 评论：
0 赞：
0 阅读：
22
