一 测试的优点在于它十分方便快捷，缺点在于可能的测试数据通常极为庞大，难以保证通过了测试后代码就完全没有错误；而正确性论证相对较为繁琐，但是能在一定程度上确保代码没有错误。 二 它们都是基于数学中的逻辑表达式而精确描述的一种语言，而OCL偏向于建模，JSF偏向于行为描述。 三 四 4.1 前两个单元 ...
分类：
其他好文 时间：
2018-06-22 20:31:48
阅读次数：
181
SP3481和SP3485是一系列+3.3V低功耗半双工收发器，它们完全满足RS-485和RS-422串行协议的要求。这两个器件与Sipex的SP481、SP483和SP485的管脚互相兼容，同时兼容工业标准规范。SP3481和SP3485符合RS-485和RS-422串行协议的电气规范，数据传输速 ...
分类：
其他好文 时间：
2018-06-19 16:13:51
阅读次数：
244
#在TensorFlow实现一个soft margin 支持向量机 #损失函数 惩罚项 使用L2范数 # 1/n*Σmax(0, y(Ax-b)) +Σ||A||^2 import tensorflow as tf import numpy as np import matplotlib.pyplo... ...
分类：
其他好文 时间：
2018-06-15 15:42:17
阅读次数：
222
最近都没什么时间来写比克，工做太忙...... 不过这也不是什么借口。 最近在学习相关知识，写下来记录一下吧。 注意： 数据库设计规范: 1：数据库名/表名 小写 数据库等于是在 Liunx 上的一个个文件，Linux 是区分大小写的，所以表/库也是如此，为了避免在大小写上引起的错误，尽量使用小写来 ...
分类：
数据库 时间：
2018-06-12 19:37:25
阅读次数：
179
数据库设计规范：总结所有数据库对象名称必须使用小写字母并用下划线分割 所有数据库对象名称禁止使用Mysql保留关键字 数据库对象的命名要能做到见名识义，并且最好不要超过32个字符 数据库设计规范： 临时库必须以tmp为前缀并以日期为后缀备份库，备份表必须以bak为前缀并以日期为后缀 所有存储相同数据 ...
分类：
数据库 时间：
2018-06-10 11:55:28
阅读次数：
181
ridge regression: 在最小二乘的基础上添加一个系数为α的惩罚项，惩罚项为参数向量2范数的平方，可以通过控制α来调节数据集的过拟合问题 拟合方法，参数调用与线性回归相同 岭回归优点：可以应用于高度坏条件矩阵（目标值的轻微改变会造成参数的大方差，数据曲线波动加剧，容易导致过拟合问题，因此 ...
分类：
其他好文 时间：
2018-06-06 15:40:55
阅读次数：
395
运维规范数据库中忘记drop、delete命令，一律用rename来代替操作系统中忘记rm命令，一律用mv代替任何的删除动作，先备份之后再删除，在一个备份目录保留一段时间再删除任何的删除一定不能带“*”匹配，要先用“y”来确认忘记reboot，init命令
分类：
其他好文 时间：
2018-05-31 21:09:09
阅读次数：
159
什么是json？ 一种轻量级的标准数据交换规范，数据结构为map和list，本身是字符串，作为REST服务标准格式 json优点 1. 易于阅读和解析、网络传输效率高 2. 跨语言交换数据 json应用 1. api 前后端分离 2. 数据通信 3. 配置文件 json数据类型 1. 字符串 " " ...
分类：
编程语言 时间：
2018-05-31 02:36:15
阅读次数：
154
前端都知道3个主流框架，vue,react,anjular，当然目前最火的还是vue和react，那么vue 和react 的区别？ 相同点： 1.都支持服务器端渲染 2.都有Virtual DOM,组件化开发,通过props参数进行父子组件数据的传递,都实现webComponent规范 3.数据驱 ...
分类：
其他好文 时间：
2018-05-29 01:49:10
阅读次数：
167
Svm（support Vector Mac）又称为支持向量机，是一种二分类的模型。当然如果进行修改之后也是可以用于多类别问题的分类。支持向量机可以分为线性核非线性两大类。其主要思想为找到空间中的一个更够将所有数据样本划开的超平面，并且使得本本集中所有数据到这个超平面的距离最短。 一、基于最大间隔分 ...
分类：
编程语言 时间：
2018-05-21 10:32:55
阅读次数：
252
