一.JML语言理论基础与应用工具链 1.JML简介 JML(Java Mudeling Language)是一种语言行为规范，通过规范化的语句描述，约束了模块的行为。JML既可以用于规格化设计，又 可以用于针对已有代码的JML规格书写，提高代码的可读性与可维护性。 JML能够便于开发人员之间的交流， ...
分类：
其他好文 时间：
2020-05-23 13:08:17
阅读次数：
60
一．Jml总结及应用工具链 总的来说，jml就是对java程序进行规格化设计的一种表示语言，其中最核心的就是规格化，将代码要实现的功能和各项要求与约束不是通过自然语言，而是通过严密的逻辑语言来表达，这样让代码实现人员看的更加简洁明了，更极大地提高了代码的可维护性。 Jml这一大内容主要分为4个板块， ...
分类：
其他好文 时间：
2020-05-23 13:02:20
阅读次数：
44
本题数据量比较大，可以用tarjan缩点后判环，我使用的是差分约束，如果存在环的情况，最好将队列换成栈。 但是在普通求spfa的时候，还是要用队列。 #include<bits/stdc++.h> using namespace std; const int N=3e5+10; int h[N],n ...
1.创建表的语法 Create Table Users { vUserName varchar(18) Not NULL, vPassword varchar(20) Not NULL } 2.学生表实例 2.1 创建带约束和主关键字的学生表 Create Table Student { Sno c ...
分类：
数据库 时间：
2020-05-23 00:44:09
阅读次数：
59
1：泛型类、泛型方法、泛型接口、泛型委托 /// <summary> /// 泛型方法 /// </summary> public class GenericTest { public static void Show<T>(T tParameter) { Console.WriteLine("Th ...
分类：
其他好文 时间：
2020-05-22 19:00:23
阅读次数：
51
ThinkPHP6.0 容器和依赖注入 分为如下两部分： 1. "依赖注入" 2. "容器" 1. 依赖注入 1. 依赖注入其实本质上是指对类的依赖通过构造器完成自动注入； 2. 在控制器架构方法和操作和方法中一旦对参数进行对象类型约束则会自动触发依赖注入，由于访问控制器的参数都来自于 URL 请求 ...
分类：
Web程序 时间：
2020-05-22 15:36:05
阅读次数：
64
JML理论基础 基本概念 以下内容来自我~~瞎~~翻译的维基百科： JML是一种java的 规约语言 ，使用了Hoare风格的 前置，后置，和不变量 约束条件，用来遵守 契约式设计 的要求。 这里面指出了JML的几个特点： 是java使用的规约语言~~（递归查询Specification Langu ...
分类：
其他好文 时间：
2020-05-22 09:30:01
阅读次数：
61
在约束最优化问题中，常用拉格朗日对偶性将原始问题转换为对偶问题求解。 广义拉格朗日函数 称最优化问题 $\begin{equation} \begin{array}{lcl} \min\limits_{x\in R^n} f(x)\\ \begin{aligned} \text{s.t.}\;\;& ...
分类：
其他好文 时间：
2020-05-21 21:11:39
阅读次数：
58
1、表达式：check <表达式> 2、修改表时添加约束条件：alter table table_name add constraint 列名 check <表达式>; 3、删除约束条件：alter table table_name drop constraint 列名； ...
分类：
数据库 时间：
2020-05-20 12:07:42
阅读次数：
70
接口：调用方不需要知道方法如何实现，实现方不需要知道怎么被调用。因此我们定义一个标准，这个标准同时约束调用方与实现方。 回调：回调通常指回调函数。回调是一种通信机制：父组件拥有函数的解释权（用来做什么），子组件拥有函数调用权（什么时候传）以及传参权（传什么）。当参数为一个具体的值或对象时，比如鼠标点 ...
分类：
其他好文 时间：
2020-05-19 22:54:28
阅读次数：
78
