其实在很多文章都会写call，apply，bind的应用和区别，但是总感觉不是要的东西，所以自己总结一下，继续关注我，后续我会仔细讲解call，apply，bind的内部实现。喜欢的可以关注 如果出现错误，请在评论中指出，我也好自己纠正自己的错误 author： thomaszhou call、ap ...
分类：
移动开发 时间：
2021-06-02 16:52:39
阅读次数：
0
第三单元总结 Tags: OO JML实现方法 JML是一种用于形式化表述程序规格的语言，其具体实现方法是通过逻辑推理语言对程序的输入输出以及数据交互做出限制，来保证程序按照设计者的预期运行。同时它也被用来提高代码的可维护性和可读性，通过针对已有的代码写出其JML规格，有利于维护该代码。 在本文中， ...
分类：
其他好文 时间：
2021-06-02 16:31:20
阅读次数：
0
16个相机参数摘要：本文首先介绍了针孔相机模型，然后推导四个坐标轴变换的关系，引出R、T、K、D中包含相机的5个内参，6个外参，5个畸变参数。相机的标定是从空间点及其对应的像素点，获得相机的位置信息和内部参数信息的过程，16个相机参数的总结为此提供了模型基础。 一、针孔相机模型 2.5 畸变参数 2 ...
分类：
其他好文 时间：
2021-06-02 16:09:04
阅读次数：
0
JML单元总结 本单元的重点在于理解规格描述，并在其基础上采用最优的解法尽可能地提高程序的效率，因此本文将从以下四个方面进行总结。 设计策略（思路分析）—— 问题1 容器选择以及性能问题（具体实现）—— 问题3&4 优化结果 —— 问题5 基于JML规格来设计测试的方法和策略 —— 问题2 设计策略 ...
分类：
其他好文 时间：
2021-06-02 16:08:33
阅读次数：
0
为什么写博客 总结+思考 提升逻辑思维能力 结交朋友 Markdown语法 标题 #为一级标题 ##为一级标题 以此类推 字体 两边加为粗体 两边加为斜体 两边加为加粗+斜体 引用：> 为引用 分割线： 为分割线 图片：！ 感叹号要英 超链接：要用英文 列表 有序列表：1.加空格 无序列表：- 或+ ...
分类：
其他好文 时间：
2021-06-02 15:51:25
阅读次数：
0
1.变量名的作用域（the scope of name） 对象的生命周期（the lifetime of an object） 2.各源文件（.cpp）可以单独编译得到目标代码（.obj），所有目标代码链接得到可执行程序（.exe） 3.局部静态对象 local static objects 在通过 ...
分类：
编程语言 时间：
2021-06-02 15:48:31
阅读次数：
0
1.面向对象编程：数据抽象，继承，动态绑定。 2.数据抽象：接口和类实现分开。继承：可以建模相似类型之间的关系的类。动态绑定：使用不同类型的对象并忽略它们的不同。 3. 基类将依赖类型的函数与期望其派生类不加更改地继承的函数区分开来。 基类定义虚函数使得派生类可以自定义该函数。 4.类派生列表指定了 ...
分类：
编程语言 时间：
2021-06-02 15:36:04
阅读次数：
0
BUAA OO第三单元总结——JML规格 JML规格 JML(Java Modeling Language) 是用于对 Java 程序进行规格化设计的一种表示语言。JML 是一种行为接口规格语言（Behavior Interface Specification Language，BISL），基于 L ...
分类：
其他好文 时间：
2021-06-02 15:32:43
阅读次数：
0
主要总结了MySQL数据库在设计和书写时的一些规范和提高性能的操作 1.设计时 （1）没有特殊要求，所有表必须使用 Innodb 存储引擎 没有特殊要求（即没有 Innodb 无法满足的功能，如：列存储，存储空间数据等）的情况下，所有表必须使用 Innodb 存储引擎（MySQL5.5 之前默认使用 ...
分类：
数据库 时间：
2021-06-02 15:21:11
阅读次数：
0
北航oo第三单元总结 基于JML设计总结 JML主要由方法规格和类型规格组成。 方法规格包括前置条件、后置条件和副作用范围的限定。前置条件可以用来区分该方法不同的行为（正常或异常），后置条件就是这个方法执行完后的结果，副作用范围限定规定了这个方法运行的过程中哪些元素可以被改变。 类型规格分为不变式和 ...
分类：
其他好文 时间：
2021-06-02 15:13:27
阅读次数：
0
