本文内容来自MIT_6.031_sp18: Software Construction课程的Readings部分,采用CC BY-SA 4.0协议。 由于我们学校(哈工大)大二软件构造课程的大部分素 ...
主要内容来自MIT . Software Construction课程及HIT 软件构造课程。 我们先来介绍两种类型空间的值: 一 Space of representation values 表示空间 R 表示空间由事实上实现的实体值构成。换句话说,由不同的 对抽象类型的实现的对象相应表示 Representation 的值组成。 二 Space of abstract values 抽象空间 ...
2018-06-15 19:02 0 1349 推荐指数:
本文内容来自MIT_6.031_sp18: Software Construction课程的Readings部分,采用CC BY-SA 4.0协议。 由于我们学校(哈工大)大二软件构造课程的大部分素 ...
本篇来源于豆丁网,详见:应力偏量第二不变量,等效应力和等效应变的表示方法 ...
虚函数是有代码的并明确允许子类去覆盖,但子类也可不覆盖,就是说可以直接用,不用重写 抽象函数是没有代码,子类继承后一定要重写 在一个类中用虚函数: 是因为在超类中的有实际代码的方法,但明确允许子类可以作重写 而且当子类重写后,可以用子类实例超类;如果这样,超类变量调用虚函数时,执行 ...
由于C++和Java都是面向对象的编程语言,它们的多态性就分别靠虚函数和抽象函数来实现。 C++的虚函数可以在子类中重写,调用是根据实际的对象来判别的,而不是通过指针类型(普通函数的调用是根据当前指针类型来判断的)。纯虚函数是一种在父函数中只定义而不实现的一种函数,不能用来声明对象 ...
面向对象:先抽象后具体 抽象类也叫基类 抽象函数:只有函数的定义,没有函数体的函数, 语法:类必须定义为抽象类,才能调用抽象函数,抽象类里面可以没有抽象函数 抽象类不能生成对象,而抽象类通常被继承, 继承的使用方法: 或: 抽象 ...
\({\color{Red}{欢迎到学科网下载资料学习 }}\) [ 【高分突破系列】高一数学上学期同步知识点剖析精品讲义与分层练习] (https://www.zxxk.com/docpack/27 ...
目录 Contents 魔术农庄1 Magic Farm 1 不变量计算 The calculation of invariants 魔术农庄2 Magic Farm 2 不变量计算 The computation of invariants 后记 Appendix ...
前言 一般来说,对于函数的单调性的证明方法,可以使用定义法和导数法,但是导数法往往需要依托解析式,故对抽象函数的单调性的证明方法,就只能使用定义法了。比如需要证明增函数,常常令\(x_1<x_2\),然后想办法证明\(f(x_1)-f(x_2)<0\); 注意涉及 ...