OO第三单元总结 规格JML和社交关系系统 一、JML语言概况 1.1 理论基础 JML是一种形式化面向JAVA的行为接口规格语言 作用 1. 开展规格化设计与测试。将逻辑严格的规格交给代码实现人员。 2. 针对已有的代码实现，书写其对应的规格，从而提高代码的可维护性。 JML语法 JML表达式 \ ...
分类：
其他好文 时间：
2020-05-21 09:23:52
阅读次数：
63
1. Java是解释型语言，所谓的解释型语言，就是源码会先经过一次编译，成为中间码，中间码再被解释器解释成机器码。对于Java而言，中间码就是字节码(.class)，而解释器在JVM中内置了。2. C++是编译型语言，所谓编译型语言，就是源码一次编译，直接在编译的过程中链接了，形成了机器码。3. C ...
分类：
编程语言 时间：
2020-05-21 09:23:37
阅读次数：
56
分析 "什么是左偏树" 先来考虑暴力做法，对于每个骑士都做一遍DFS，时间复杂度$O(NM)$，显然会T。 接着考虑一下优化，因为只有这么一棵树，并且，每个骑士不会相互影响，既然这样，那么就只跑一遍DFS，然后一起处理所有的骑士，是不是就可以了呢？但如果我们再遍历一下这个节点的骑士，好像还是没有优化 ...
分类：
其他好文 时间：
2020-05-21 09:22:50
阅读次数：
44
https://www.toutiao.com/i6828370639263367691/?tt_from=dingtalk&utm_campaign=client_share×tamp=1590016851&app=news_article&utm_source=dingtalk&utm ...
分类：
Web程序 时间：
2020-05-21 09:22:32
阅读次数：
823
原文:Blazor WebAssembly 3.2 正式发布 5月 20日，微软 发布了 Blazor WebAssembly 3.2(https://devblogs.microsoft.com/aspnet/blazor-webassembly-3-2-0-now-available/) 。Bl... ...
分类：
Web程序 时间：
2020-05-21 09:22:03
阅读次数：
170
一、Ansible介绍Ansible是一个简单的自动化运维工具，可完成配置管理、应用部署、服务编排以及其他各种IT需求。Ansible也是一款基于Python语言实现的开源软件，其依赖Jinja2、paramiko和PYYAML这几个Python库。Ansible的作者是MichaelDehaan，MichaelDehaan同时也是知名软件Cobber的作者和Func的共同作者。MichaelDe
分类：
编程语言 时间：
2020-05-21 09:21:41
阅读次数：
60
代码如下： from random import randomdef printIntro(): # 打印程序介绍信息 print('这个程序模拟两个队伍A和B的排球竞技比赛') print('程序运行需要A和B的能力值(以0到1之间的小数表示)') def getInputs(): # 获得程序运 ...
分类：
编程语言 时间：
2020-05-21 09:21:22
阅读次数：
112
编程规范是推进遵守的变成习惯，不遵守不会导致编译错误，但会降低代码的可读性。 1、类名和接口名：首字母大写。如果类名由几个单词构成，那么每个单词的首字母大写，其余字母小写。 2、方法名和变量名：首字母小写。如果方法名或变量名有几个单词组成，那么除第一个单词外其余每个单词的首字母大写，其余字母小写。如 ...
分类：
编程语言 时间：
2020-05-21 09:21:07
阅读次数：
59
计算节点使用Numa资源划分后，资源划分的更细了，计算节点整体资源看起来足够，实际可能无法分配所需资源了。 查看一个计算节点Numa资源的方法如下： 1：查看巨页内存剩余资源 一般情况下，配置的巨页是在Node0 和 Node1 上平均分配的，如果不是平均分配的，这个和刀片上内存条插入的槽位有关。能 ...
分类：
其他好文 时间：
2020-05-21 09:20:36
阅读次数：
574
前段时间还在忙，终于又出点空更新了，虽然不是所有的付出都有收获，很多时候需要我们先付出才可以看到希望。 一 前言 Mysql 类的文章看的人比较少，我想一方面可能是大家更热衷于比较前言的技术，像 Mysql 类的已经发展很久的基础数据库，关注的人反而少，当时我在学习 Mysql 的过程中发现，Mys ...
分类：
其他好文 时间：
2020-05-21 09:20:18
阅读次数：
49
原文:第三十一节：扫盲并发和并行、同步和异步、进程和线程、阻塞和非阻塞、响应和吞吐等 一. 并发和并行 操作系统扫盲： 1. 对于单核cpu而言(不管单核单线程也好，单核多线程也罢)，同一时间只能干一件事！！为了看起像可以“同时干多件事”，windows操作系统把cpu的时间划分为长短基本相同的时间... ...
分类：
编程语言 时间：
2020-05-21 09:20:02
阅读次数：
69
就简单总结 pyenv 适合管理多个（3个或3个以上）python版本，安装python方便（自动编译） virtualenv | | python2以下 | python3以上并该机器只有3个以下python版本 | python3以上并该机器只有3个以上python版本 | | : : | : ...
分类：
其他好文 时间：
2020-05-21 09:19:33
阅读次数：
87
一 空格与缩进：缩进对于每一次缩进使用4个空格。使用括号、中括号、大括号进行垂直对齐，或者缩进对齐。制表符还是空格?永远不要将制表符与空格混合使用。Python最常用的缩进方式是只是用空格。当调用Python命令行的 -t 选项时，它会检测并警告代码非法混合使用制表符和空格。当使用 -tt 选项时， ...
分类：
编程语言 时间：
2020-05-21 09:19:01
阅读次数：
79
解决方法：在dialog里写一个div ，div的大小设置为相对视窗的大小就行 <el-dialog title="xxx" :visible.sync="dialogTimeVisible"> <div class="el-dialog-div"> XXX.... </div> </el-dial ...
分类：
其他好文 时间：
2020-05-21 09:16:14
阅读次数：
720
通过GitHub获取Eureka源码 进入git bash命令行，自己找个目录，用来存放eureka源码，然后在目录里面，执行git clone https://github.com/Netflix/eureka.git，就可以了，这个是需要点时间的，稍微有点慢，你等一会儿好了。 获取eureka项 ...
分类：
其他好文 时间：
2020-05-21 09:15:59
阅读次数：
164
操作标签 # 操作类 """ js版本 jQuery版本 classList.add() addClass() classList.remove() removeClass() classList.contains() hasClass() classList.toggle() toggleClas ...
分类：
Web程序 时间：
2020-05-21 00:42:45
阅读次数：
134
1、对象 for（var 键名 in 对象） 例： var obj = {name:'a',age:13} for( val in obj){ console.log(val,arr2[val]); //name a //age 13 } 2、数组 （1）forEach（function（val，i ...
分类：
编程语言 时间：
2020-05-21 00:42:18
阅读次数：
72
