BUAA OO Unit3 Summary——万物即可形式化 一. JML 语言的 理论基础 JML是对Java程序进行规格化设计的一种表示语言。通过规格化描述，精确地描述了代码的功能，并且为测试设计提供了严密的依据。尤其在多人协同开发的时候，相比可能带有内在模糊性的自然语言描述，JML能过更清晰地 ...
分类：
其他 时间：
2020-05-22 12:07:30
收藏：
0 评论：
0 赞：
0 阅读：
38
一、概念 了解高阶函数前我们先要了解什么是函数式编程，什么是一等函数。 函数式编程：函数式编程是一种编程方式，支持函数作为第一类对象，是一种强调以函数使用为主的软件开发风格。函数式编程的主要目的是使用函数来抽象作用在数据之上的控制流和操作，从而在系统中消除副作用并减少对状态的改变。它属于“结构化编程 ...
分类：
其他 时间：
2020-05-22 12:07:13
收藏：
0 评论：
0 赞：
0 阅读：
55
SVGA 是一种跨平台的开源动画格式，同时兼容 iOS / Android / Web。SVGA 除了使用简单，性能卓越，同时让动画开发分工明确，各自专注各自的领域，大大减少动画交互的沟通成本，提升开发效率。在web中引用会将动画转为Canvas 1，安装插件 npm install svgapla ...
分类：
其他 时间：
2020-05-22 12:06:54
收藏：
0 评论：
0 赞：
0 阅读：
757
1 import matplotlib.pyplot as plt 2 import numpy as np 3 # 生成x数据 4 x = np.linspace(-10,10,100) 5 y = np.tanh(x) 6 plt.plot(x,y) 7 plt.show() ...
分类：
其他 时间：
2020-05-22 12:06:34
收藏：
0 评论：
0 赞：
0 阅读：
42
越长大越孤单 彼此都不追究， 相邀再次喝酒， 待葡萄成熟透， 愿你的友谊，地久天长。 越长大，越孤单，我们已渐渐失去了生活的乐趣，成年人的世界，肩上扛着的就是我们那些所谓的责任和义务，走过的每一步，已不管是什么样的色彩，没有谁会去可怜去同情，抓不住的那些时光岁月，早已溜走，感慨，只是在生活的最后的结 ...
分类：
其他 时间：
2020-05-22 12:05:59
收藏：
0 评论：
0 赞：
0 阅读：
56
下载sublime Test 的地址：官方下载地址http://www.sublimetext.com/3 这里提供一个2020年 5月21日下载的安装包：（怎么插入安装包。。。） 汉化：参考连接https://blog.csdn.net/qq_41234116/article/details/82 ...
分类：
系统服务 时间：
2020-05-22 12:05:40
收藏：
0 评论：
0 赞：
0 阅读：
60
Redis Persistence Redis provides a different range of persistence options: The RDB persistence performs point in time snapshots of your dataset at spe ...
分类：
数据库技术 时间：
2020-05-22 12:05:22
收藏：
0 评论：
0 赞：
0 阅读：
70
废话不多说，前几篇已经相应的介绍Grafana 跟 Prometheus，如有不清楚，请参考： https://www.cnblogs.com/zgz21/p/12054518.html https://www.cnblogs.com/zgz21/p/12935636.html 1.下载比较新版本的 ...
分类：
其他 时间：
2020-05-22 12:05:00
收藏：
0 评论：
0 赞：
0 阅读：
228
为什么1px变粗了？ 为什么移动端CSS里面写了1px，实际上看起来比1px粗；了解设备物理像素和逻辑像素的同学应该很容易理解，其实这两个 的含义其实是不一样的，UI设计师要求的1px是指设备的物理像素1px，而CSS里记录的像素是逻辑像素，它们之间存在一个比例关系，可以用javascript中的 ...
分类：
移动平台 时间：
2020-05-22 12:04:43
收藏：
0 评论：
0 赞：
0 阅读：
75
将oracle数据库从No Archive Mode改为Archive Mode 查看数据库归档模式 >archive log list; 关闭数据库 >shutdown immediate; 打开数据库到mount状态 >startup mount 将数据库改为归档模式 >alter databa ...
分类：
数据库技术 时间：
2020-05-22 12:04:24
收藏：
0 评论：
0 赞：
0 阅读：
69
1 Controllers中添加控制器，每个控制器对应Views文件夹中的子文件夹；2 每个控制器文件中可以写入N个方法，默认生成的是Index方法，通过方法添加视图，视图名与方法名必须相同； public ActionResult Index() { return View(); } 3 Acti ...
分类：
Web开发 时间：
2020-05-22 12:04:07
收藏：
0 评论：
0 赞：
0 阅读：
50
原因 本地镜像无仓库信息 解决方案 标记本地镜像，将其归入某一仓库。 例： 参数说明 bf756fblae65 [IMAGE ID] intimidate [远程仓库名称] eedc_test [REPOSITORY] latest [TAG] ...
分类：
数据库技术 时间：
2020-05-22 12:03:17
收藏：
0 评论：
0 赞：
0 阅读：
64
在之前工作项目都是用postman测试，文档说明在自己开发的网站上发布，接触到Swagger后就感觉之前做的太费劲了。下面的内容都是在.Net core 3.1版本上 一、配置Swagger 引入swagger插件。（1）可以去swagger官网或下载github上下载源码（2）利用NuGet包添加 ...
分类：
其他 时间：
2020-05-22 12:03:00
收藏：
0 评论：
0 赞：
0 阅读：
58
一、Hive中load语句的语法说明 Hive Load语句不会在加载数据的时候做任何转换工作，而是纯粹的把数据文件复制/移动到Hive表对应的地址。语法格式如下： LOAD DATA [LOCAL] INPATH 'filepath' [OVERWRITE] INTO TABLE tablenam ...
分类：
其他 时间：
2020-05-22 12:02:40
收藏：
0 评论：
0 赞：
0 阅读：
84
我们的公司的系统中是以微服务方式开发的。每个项目就是一个微服务，有非常多的微服务，比如用户服务、后台管理服务、订单服务、物流服务、商品服务等等。 其中每个项目都使用的 gradle 构建工具打包、发布、部署。 gradle 是一个项目构建工具，与 maven 类似，它提供非常强大的包依赖管理功能。 ...
分类：
其他 时间：
2020-05-22 12:02:18
收藏：
0 评论：
0 赞：
0 阅读：
79
Java NIO（New IO或 Non Blocking IO）是从Java 1.4版本开始引入的一个新的IO API，可以替代标准的Java IO API。NIO支持面向缓冲区的、基于通道的IO操作。NIO将以更加高效的方式进行文件的读写操作。 java IO 与 java NIO 的区别 一、 ...
分类：
其他 时间：
2020-05-22 12:01:22
收藏：
0 评论：
0 赞：
0 阅读：
54
在移动设备上进行网页的重构或开发，首先得搞明白的就是移动设备上的viewport了，只有明白了viewport的概念以及弄清楚了跟viewport有关的meta标签的使用，才能更好地让我们的网页适配或响应各种不同分辨率的移动设备。 1. viewport的概念 通俗的讲，移动设备上的viewport ...
分类：
其他 时间：
2020-05-22 12:01:00
收藏：
0 评论：
0 赞：
0 阅读：
55
//新增的所有数据List<Admin> adminList = new ArrayList<>();//数据库中的所有数据List<Admin> adList = adminDao.find(new Admin());//新增数据的所有idList<String> adminIdList = ne ...
分类：
数据库技术 时间：
2020-05-22 12:00:42
收藏：
0 评论：
0 赞：
0 阅读：
81
从前面了解到，查询返回的数据没有特定的顺序，但是检索出来的数据并不是纯粹随机展示的，一般是将他在底层表中出现的顺序显示，可能是最初添加到表中的顺序，如果数据后来经过更新或删除，顺序会受到Mysql 重用回收存储的影响，所以排序孕育而出。 字句（clause）: SQL 语句由字句构成，有些字句是必需 ...
分类：
数据库技术 时间：
2020-05-22 12:00:11
收藏：
0 评论：
0 赞：
0 阅读：
64
1 #include <stdio.h> 2 #include <stdlib.h> 3 #include <ctype.h> 4 #include <string.h> 5 typedef int ElemType; 6 typedef struct item{ 7 ElemType items; ...
分类：
编程语言 时间：
2020-05-22 11:59:34
收藏：
0 评论：
0 赞：
0 阅读：
47
