1.JML基础梳理 1.1注释结构 JML采用javadoc注释的方式来表示规格，且每行以@开头。通过使用//@annotation来进行行注释，使用/*@annotaion@*/来进行块注释。 1.2JML表达式 1.2.1原子表达式 \result表达式，在方法规格中使用，通过\result来指 ...
分类：
其他好文 时间：
2020-05-23 20:40:22
阅读次数：
58
OO第三单元总结 1. JML基础梳理及工具链 1.1 注释结构 JML以javadoc注释的方式来表示规格， 每行都以@起头 行注释 的表示方式为 ； 块注释 的表示方式为 1.2 JML表达式 ? JML相对于Java新增的表达式成分仅用于JML中的断言(assertion)语句和其他相关的注释 ...
分类：
其他好文 时间：
2020-05-23 16:10:54
阅读次数：
38
C语言的总结 1、C语言程序的结构：顺序结构 选择结构（if swich） 循环结构（for while） 2、Main()主函数 按照顺序来进行的。遇到分支就分支，遇到循环就循环。 3、数据在计算机中都是二进制。 4、Byte 字节 bit 位 1Byte = 8个位 5、标识符：由字母、数字、下 ...
分类：
其他好文 时间：
2019-07-04 14:30:53
阅读次数：
83
hOmewOrk 第三单元 总结 JML理论基础梳理 JML是用于对Java程序进行规格化设计的一种表示语言。 1. 注释结构 JML表示规格的内容包含在注释之中。可以使用行注释和块注释。行注释的表示方式为 //@annotation ，块注释的方式为 /* @ annotation @*/ 。 2 ...
分类：
其他好文 时间：
2019-05-21 13:27:29
阅读次数：
167
原文:#WPF的3D开发技术基础梳理 自学WPF已经有半年有余了，一遍用，一边学。但是一直没有去触摸WPF的3D开发相关技术，因为总觉得在内心是一座大山，觉得自己没有能力去逾越。最近因为一个项目的相关原因，需要用的3D技术，虽然内心没有底只能硬着头皮上了。最后效果还不错。 开发... ...
本文核心：线程池ThreadPoolExecutor基础梳理 一.实现多线程的方式 1.继承Thread类，重写其run方法 2.实现Runnable接口，实现run方法 3.实现Callable接口，实现call方法 由于Java的设计，只支持单继承，但是支持多实现形式，所以一般面向接口开发，Ru ...
分类：
编程语言 时间：
2019-03-21 13:09:00
阅读次数：
171
回想最开始学习JavaIO相关的操作时，被各种Reader/Stream绕晕。现在再回头梳理这一块的知识点，感觉清晰了很多。Java作为编程语言，大部分东西都是从系统层面带来的，所以学习的知识点虽然在Java,但是背后的答案却在操作系统层面。首先理解核心概念:IO，究竟什么是IO?所谓IO就是内存与外设相关的数据传输。常用的外设有硬盘，网卡，打印机,鼠标...我们接触最频繁的IO操作是硬盘上文件的
分类：
编程语言 时间：
2019-01-29 23:16:03
阅读次数：
307
java线程 概述 进程：运行时概念，运行的应用程序，进程间不能共享内存 线程：应用程序内并发执行的代码段，可以共享堆内存和方法区内存，而栈内存是独立的。 并发理解：在单核机器上，从微观角度来看，一段时间内cup只能执行一个任务，但是因为cup在只执行一段代码段的时候大部分的时间是处于等待程序的，所 ...
分类：
编程语言 时间：
2019-01-23 22:36:15
阅读次数：
200
什么是继承 继承是一种创建新类的方式，是一种什么是什么的关系，继承的功能之一就是解决代码重用的问题，继承是一种创建新类的方式，在python 中，新建的一个类可以继承一个或者多个父类，父类由可以成为基类或者超类，新建的类称为派生类或子类。 继承的分类 继承可以分为 单继承和多继承，Python 2 ...
分类：
编程语言 时间：
2019-01-01 18:54:49
阅读次数：
261
1.集成学习概念 在机器学习的有监督学习算法中，我们的目标是学习出一个稳定的且在各个方面表现都较好的模型，但实际情况往往不这么理想，有时我们只能得到多个有偏好的模型（弱监督模型，在某些方面表现的比较好）。集成学习就是组合这里的多个弱监督模型以期得到一个更好更全面的强监督模型，集成学习潜在的思想是即便 ...
分类：
编程语言 时间：
2018-12-19 21:56:48
阅读次数：
238
