第三单元总结 一、JML JML的语法课上讲的很清楚，我就谈谈自己阅读JML规格的体会。 requires和ensures成对出现，可以看作对应一个if块。requires就是if块的条件，ensures就是这个if块将要实现的功能。 单就阅读JML规格而言，体验不是很好，因为这个语言非常严谨，总是 ...
分类：
其他好文 时间：
2020-05-22 16:57:10
阅读次数：
43
梳理JML语言的理论基础、应用工具链情况 JML(Java Modeling Language) JML是一种形式化的、面向JAVA的行为接口规格语言（behavioral interface specification language） JML允许在规格中混合使用Java语法成分和JML引入的语 ...
分类：
其他好文 时间：
2020-05-20 12:36:25
阅读次数：
79
import torch from torch.autograd import Variable tensor =torch.FloatTensor([[1,2],[3,4]]) variable=Variable(tensor,requires_grad=True) print(tensor) p ...
分类：
其他好文 时间：
2020-05-19 10:30:33
阅读次数：
41
死磕nginx系列--nginx入门 nginx 功能介绍 Nginx因为它的稳定性、丰富的模块库、灵活的配置和低系统资源的消耗而闻名．业界一致认为它是Apache2.2＋mod_proxy_balancer的轻量级代替者，不仅是因为响应静态页面的速度非常快，而且它的模块数量达到Apache的近2/ ...
分类：
其他好文 时间：
2020-05-18 18:15:15
阅读次数：
60
问题1. error: error This file requires compiler and library support for the ISO C++ 2011 standard. This support is currently experimental, and must be e ...
分类：
编程语言 时间：
2020-05-18 12:06:05
阅读次数：
88
首先看一段源码org.springframework.transaction.PlatformTransactionManager中的方法的定义 TransactionStatus getTransaction(@Nullable TransactionDefinition definition) ...
分类：
编程语言 时间：
2020-05-15 17:27:51
阅读次数：
75
By Martin Prikryl If you want to detect, if there is a pending rename that requires a restart, query PendingFileRenameOperations registry value. See a ...
分类：
其他好文 时间：
2020-05-13 14:12:21
阅读次数：
141
一、静态迁移（冷迁移） 对于静态迁移，你可以在宿主机上保存一个完整的客户机镜像快照，然后在宿主机中关闭或 者暂停该客户机，然后将该客户机的镜像文件复制到另一台宿主机中，使用在源主机中启动该客户机时的命令来启动复制过来的镜像。 二、动态迁移（热迁移） 如果源宿主机和目的宿主机共享存储系统，则只需要通过 ...
分类：
其他好文 时间：
2020-05-12 16:59:23
阅读次数：
75
当执行到47行的时候，会开启一个事务，此事务叫最新事务（老大事务），然后执行到51行的时候，老大事务会传播给51行的 userService，具体如何实现，请看我分析： 动态代理调用目标方法： 一直进去会走进 invokeWithinTransaction 方法，如下图： 重点分析 Transact ...
分类：
编程语言 时间：
2020-05-12 16:55:44
阅读次数：
57
Programmatically add an application to Windows Firewall 回答1 Not sure if this is the best way, but running netsh should work: netsh firewall add allowe ...
分类：
移动开发 时间：
2020-05-10 15:15:24
阅读次数：
86
