2019年03月_KiroScarlet

原创《实战Java高并发程序设计》读书笔记（三）：线程池

3.2 线程复用：线程池1、什么是线程池为了避免系统频繁地创建和销毁线程，我们可以让创建的线程复用。在使用线程池后，创建线程变成了从线程池中获得空闲线程，关闭线程变成了向线程池中归还线程（类似数据库连接池）。2、JDK对线程池的支持Executor框架提供了各种类型的线程池，主要有以下工厂方法：public static ExecutorService newFixedThre...

2019-03-26 16:34:00 273

原创《实战Java高并发程序设计》读书笔记（二）：JDK并发包

第三章 JDK并发包3.1 多线程的团队协作：同步控制同步控制是并发程序必不可少的重要手段。1、关键字synchronized的功能扩展：重入锁重入锁可以完全替代关键字synchronized。重入锁使用java.util.concurrent.locks.ReentrantLock类来实现。public class ReenterLock implements Runnab...

2019-03-25 16:10:47 378

原创《实战Java高并发程序设计》读书笔记（一）：线程

第一章走入并行世界几个概念1、同步（Synchronous）和异步（Asynchronous）通常用来形容一次方法调用。同步方法调用一旦开始，必须等到方法调用返回后，才能继续后续的行为。异步方法调用更像是一个消息传递，一旦开始，方法调用就会立即返回，调用者可以继续后续的操作，异步方法通常会在另外一个线程中“真实”的执行。2、并发（Concurrency）和并行（Paralleli...

2019-03-24 23:19:55 312

原创《深入理解JVM》学习笔记（二）：垃圾收集与内存分配

第三章垃圾收集器与内存分配策略3.1概述程序计数器、虚拟机栈、本地方法栈随着进程的产生而产生，随其消亡而消亡，可认为其在编译期就是可知的。垃圾收集（Garbage Collection，GC）关注的主要内存：Java堆和方法区3.2如何判断对象是否存活？1、引用计数算法给对象添加一个引用计数器，没有一个地方引用就+1，引用失效就-1，计数器为0就不可能使用。优点是实现...

2019-03-23 12:23:30 208

原创《深入理解JVM》学习笔记（一）

书名：《深入理解Java虚拟机：JVM高级特性与最佳实践》第一章走进JavaJDK：Java程序设计语言+Java虚拟机+JavaAPI类库，支持Java开发的最小环境JRE：JavaSE API子集+Java虚拟机，支持Java程序运行的标准环境Java发展史1991年4月，java语言的前身：Oak语言1995年，Java1996，JDK1.01998年...

2019-03-22 20:45:24 369

原创基于模型的自动化测试工具GraphWalker（一）：基本原理

原理1、测试模型　　一个测试模型是有向图表示的FSM或者EFSM模型，由箭头和节点组成,如图所示。　　一个箭头，代表了一次测试动作；　　一个节点，代表一次测试验证。2、测试需求选择Test requirements selection目的：指导测试用例生成器（ test generation）如何生成用例。测试需求选择包含3方面：　　1）模型中的目标（结束条件）　　2）覆盖准则...

2019-03-19 20:40:36 4667

一、手写汉字识别的研究背景与现状在上个世纪60年代，美国IBM公司开始进行了对印刷体汉字的模式识别研究工作，1996年Casey和Nag用模板匹配法成功的识别出了1000个印刷体汉字，在全球范围内，汉字识别开始展开了。而就在这个时候，研究界对手写汉字识别也掀起了高潮。因为汉字在日语中占有一定的地位，手写体汉字识别（HCCR）在一开始是由日本率先尝试研究的，在80年代，国内开始了对手写汉字的研究，...

2019-03-19 20:29:19 30274 4

原创有限状态自动机（FSM）和扩展有限状态自动机（EFSM）

有限状态自动机比较简单，这里就不说了，简单贴张图吧：扩展有限状态机模型是对有限机状态模型的一个扩展，它在FSM模型的基础上增加了变量、操作以及状态迁移的前置条件，可以更加精确的刻画软件系统的动态行为。EFSM是一个六元组：M=(S, s0, V, I, O, T )其中，S 是一个有限状态集合...

2019-03-18 22:06:39 5947

原创什么是基于模型的测试？

基于模型的测试属于软件测试领域的一种测试方法。MBT步骤如下：常规测试一般是由人来设计几个特定的测试场景，然后断言测试结果。测试用例固定。缺少不确定性。基于模型的测试（Model-based Testing）是需要实现一个模型，然后制定行为和行为之间的关系以及行为和系统的关系（有限状态机），然后测试系统根据被测系统的状态、之前设置的限制条件和策略来生成很多用例（每执行一次生成的用例会不同），测...

2019-03-18 21:58:09 10466

原创一个小工具，实现了模型检测中从程序图到状态转移图的转换算法

程序图定义如下：例如这样的两个程序：画成程序图就是这样的：它们之间可以并行操作，并行之后的程序图是这样的：而状态转移图定义如下：它们之间进行转化的形式化描述如下：上面的程序图转换成状态转移图如下：代码戳这里：https://github.com/KiroScarlet/ModelChecking参考书籍：Principles of Model Checking...

2019-03-18 21:44:15 1475

原创 BP神经网络训练算法的比较（课程小论文）

一、BP神经网络的原理1.人工神经网络概述人工神经网络(Artificial Neural Network，简称ANN)由大量神经元广泛互联组成，是人脑功能的某种简化、抽象及模拟。在神经网络中，通过大量神经元之间的相互联系存储知识与信息，神经元之间的相互作用实现知识信息的处理。一个经过训练的神经网络即具备类似人的模式识别、联想记忆的功能。神经元的结构模型如图1-1所示。图1-1 人工神经元...

2019-03-18 17:03:11 23376 3

原创一个字符识别小项目

一．环境要求使用深度学习框架tensorflow，编程语言使用python，要求使用CUDA8.0对深度学习框架进行加速处理运算。二．项目概述本项目主要是对输入的图片中的字符进行识别，所识别的字符仅限于“0123456789+-*()”，项目采用神经网络作为主要的训练模型，神经网络主要前四层主要是卷积层，后面接入两层LSTM对卷积层提取的特征进行处理，最后输出为num_class(字...

2019-03-18 16:41:44 460

原创 PostgreSQL数据库应用：基于GIS的实时车辆位置查询

一、目的近年来，随着我国城市化进程的加快，不少城市的规模在扩大、人口在增加、道路在延伸，城市的公交线路也在不断地增加。在城市中，选择合适的公交车前往目的地就成为与广大普通市民出行密切相关的一个问题。地理信息系统(GIS)作为一门融计算机图形和数据库于一体，储存和处理空间信息的边缘综合性学科，能把地理位置和相关属性有机结合起来，根据实际需要准确真实、图文并茂地输出给用户，满足不同部门、不同用户对...

2019-03-18 12:52:00 3615

KiroScarlet的博客