2020-05-25 这是我在CSDN上看到大佬博主写的，原文链接：https://blog.csdn.net/Candle_light/article/details/84759089 可行解，最优解，基，基向量，非基向量，基变量，非基变量等 已知标准型为： 可行解： 满足约束条件，AX=b ,X ...
分类：
其他好文 时间：
2020-05-25 12:31:40
阅读次数：
86
mysql 6大约束 ，主键，非空，唯一，外键。。。 外键约束 ，一个键在父表中是主键，在从表中可以是主键也可以是非主键，用来关联表，保障数据的一致性，两个表中这个字段必须类型和长度都一样 添加外键约束建表后：alter table xxx add constraint xx_key foreign ...
分类：
数据库 时间：
2020-05-25 00:13:18
阅读次数：
80
xml是可扩展的标记语言：xml中的标签都是我们自己定义的，定义的标签都必须闭合<student></student> 或者是<student/> xml文件第一行必须写<?xml 版本号?>问号和尖括号之间不能有空格不然会导致错误，我们一般用的是<? version='1.0'?>，因为1.1不向 ...
分类：
其他好文 时间：
2020-05-24 21:22:03
阅读次数：
75
一、常见的字段约束 在MySQL数据库中有许多常见的字段约束，所谓的字段约束就是在设置字段时需要给字段添加一些“枷锁”。 常见的字段约束有： INT(n) 数据类型及允许数据的个数 NOT NULL 非空 DEFAULT 默认值 PRIMARY KEY 主键约束，不能为空，不能重复，一般情况下一张表 ...
分类：
数据库 时间：
2020-05-24 11:52:58
阅读次数：
77
1、什么是框架 框架是一个框子（约束性），也是一个架子（支撑性），这里特指为解决一个开放性问题而设计的具有一定约束性的支撑结构，在此结构上可以根据具体问题进行扩展，安插更多的组成部分，从而更加迅速和方便地构建完整的解决问题的方案 （1）框架一般不完整到可以解决特定问题，但是可以帮助您快速解决特定问题 ...
分类：
Web程序 时间：
2020-05-24 09:29:19
阅读次数：
69
p1-p9 1: 注解 1.1 注解的概念 注解：能给人看，也能给机器看 ，机器会用反射机制进行访问。 如@Override都是注解，注解具有检查和约束的作用.如把S小写，override就报错了。 1.2 内置注解 package annotation; import java.util.Arra ...
分类：
其他好文 时间：
2020-05-24 00:50:18
阅读次数：
59
一、JML语言 1.理论基础 1.规格化设计 类是一个编程单位，类规格定义了类实现者和类使用者之间的契约：类实现者信任使用者能够确保所有前置条件都能被满足，类使用者信任设计者能够有效管理相应的数据和访问安全。通过这样规格契约的连接，系统的较低层次为系统的较高层次提供了服务接口，从而协同系统不同层次的 ...
分类：
其他好文 时间：
2020-05-23 18:05:26
阅读次数：
41
第三单元总结 一、JML理论基础、应用工具链 1.1 理论基础 1.1.1 简述 JML是实现数据抽象的一种规格语言，通过前置条件、后置条件、副作用、异常行为等来约束方法的预期功能，在实现方法代码前完成约束和设计。 1.1.2 基本语法 前置条件 表示调用一个方法前所必须满足的要求，该要求需要由方法 ...
分类：
其他好文 时间：
2020-05-23 18:02:53
阅读次数：
53
DDL:用来定义RDB模式、外模式和内模式，已实现对基本表、视图以及索引文件的定义、修改和删除 创建数据表->创建表结构->创建表数据 数据类型 创建表 create table 表名( 字段名 数据类型 [长度] [列级完整性约束][表级完整性约束]--多个主键：primary key (字段名， ...
分类：
其他好文 时间：
2020-05-23 13:21:43
阅读次数：
92
1、最大熵模型 最大熵模型描述的是这么一种情况，即在有约束条件的情况下，如何得到最好的模型。我们先来考虑如果没有约束的条件下，如何获得最好的模型，举个栗子，比如一个骰子，有6个面，转一次，求每个面的概率，根据经验，每个面的概率是1/6，这其实就是我们让整个系统熵最大。 那么什么是在有约束条件下概率最 ...
分类：
其他好文 时间：
2020-05-23 13:16:03
阅读次数：
54
