王冲冲冲冲冲-CSDN博客

原创 17【Uppaal与时间自动机】uppaal tutorial （下）Uppaal工具使用实例演示 - 列车-控制器模型

3 Overview of Uppaal toolkitGUI of the Java client: the editor, the simulator, the verifier.3.1 The editorGlobal declaration Contains global integer variables, clocks, synchronisation channels, and constants.Templates Train, Gate, and IntQueue are

2021-08-17 16:11:24 2908 1

原创 14【Java多态】面向对象之多态、Java 基础 object 类介绍、equals() toString() 方法

一、面向对象之多态性何谓多态？广义上：方法的重写、方法的重载子类对象的多态性狭义上：就是指子类对象的多态性多态的前提：要有继承关系要有方法的重写父类的引用指向子类的对象思考：属性有多态性嘛？——没有。只有方法可以多态对象类型转换Man m = (Man) p; //发生错误： ClassCastException ——类型转换异常注意：为了解决类型转换异常可以在向下转型时使用 instanceof：temp instanceof Man：temp对象是否是 Man的

2021-04-01 17:33:25 161

原创 13【JavaBean】Java构造器、四种权限修饰符、Java this关键字用法

一、权限修饰符：private、缺省的、protected、public本类中可以使用：private、缺省的、protected、public比如：定义的某个类中，某个变量如name是private的，但是该类中的set/get方法是public的，可以获取这个值并被其他类调用，所以这个private的值其实本质上，是可以被公开的——这合理嘛？好吧，就是这么设置的。本包中（同一个包，不同类）：缺省的、protected、public不同包的子类：protected、public不

2021-04-01 17:31:07 460

原创 12【Java基础】方法的重载、值传递（传递地址or数值）、继承、super关键字与方法的重写

一、匿名对象（没有名字的对象只能调用一次作用：往往作为实参进行传递tips：给引用数据类型的变量赋值只能赋值该类型的对象。二、方法重载含义：在同一个类中，相同的方法名——不同的形参列表——构成方法的重载形参列表不同：指形参的个数、类型、顺序不同；tips：方法的重载与形参的名字、权限修饰符、返回值类型都无关。如何确定调用的是哪个方法？——方法名 + (实参类型) 形参列表public class OverloadTest{ public static void main{Str

2021-04-01 17:27:16 148

原创 11【Java基础】jvm内存解析、Arrays工具类、局部变量和成员变量（属性）的区别

一、数组基本知识a.声明和初始化//声明：String[] names; //建议使用这种声明类型int ages[]; //c语言声明的特点//初始化：分为静态和动态///静态：意为初始化和赋值同时进行。names = new String[]{"小a", "小b"};int[] score = {1,20,9};//下面这种方式不对，不能分开写。int[] score;socre = {1,20,9};//容易造成误解，不清楚score是啥///动态：初始化和赋值分开进行

2021-04-01 16:46:11 143

原创 10【Java基础】break、continue关键字和死循环的常见用法，scanner从键盘读入数据

一、break、continue总结break：作用范围：switch-case、循环结构作用：在循环结构中结束当前循环在switch-case结构中跳出该结构在嵌套循环中用来结束包含它的那层循环的当前循环continue作用范围：循环结构作用：在循环结构中用来结束当次循环break和continue后面不能直接再跟其他语句，会报错。因为它不可能被执行到。⭐用break结束嵌套循环的外层某个循环——label//lable是外层循环的名字，可以随意取。lable

2021-04-01 16:31:22 204

原创 9【Java基础】不同的进制和逻辑运算符

一、进制1.三种常用进制八进制：0开头二进制：0b或0B开头十六进制：0x或0X开头2.二进制的整数有三种形式：原码、反码、补码计算机以二进制补码的形式保存所有的整数正数：三码合一负数：原码：正数二进制的最高位变为1 反码：原码基础上除符号位，0变1，1变0 补码：在反码基础上加1二、赋值运算符byte b = 10;b += 2; //编译可以通过，+=不会改变原来的数据类型。b = b+2; //编译不通过，应该用int类型接收。int i = 1;i

2021-04-01 16:27:41 107

原创 8【Java数据类型】Java中的常量、变量及类型转换，三种编码集（ASCII码、Unicode）

这里写自定义目录标题欢迎使用Markdown编辑器新的改变功能快捷键合理的创建标题，有助于目录的生成如何改变文本的样式插入链接与图片如何插入一段漂亮的代码片生成一个适合你的列表创建一个表格设定内容居中、居左、居右SmartyPants创建一个自定义列表如何创建一个注脚注释也是必不可少的KaTeX数学公式新的甘特图功能，丰富你的文章UML 图表FLowchart流程图导出与导入导出导入欢迎使用Markdown编辑器你好！这是你第一次使用 Markdown编辑器所展示的欢迎页。如果你想学习如何使用Mar

2021-04-01 16:23:15 214

原创 7【形式化方法】形式语言与自动机理论的基础概念（计算机软件理论模型检测形式化验证入门必学）

一、计算（机械而有效的方式获取问题答案）理论：中心从数学转至计算机科学1.1 核心问题：计算机的基本能力和限制是什么？可计算性理论：究竟哪些问题，可通过计算解决？计算和算法：一阶逻辑谓词可解决的话，就可以用数理逻辑一劳永逸的解决问题。有些问题是不存在算法的。计算复杂性理论：解决可计算的问题，究竟需要多少资源？到底是什么原因导致有些问题需要耗用大量资源才能解决？——可以对问题按照性质不同进行分类。形式语言与自动机理论：为了研究计算，要使用哪些计算模型？简单明确、功能强大。1.2

2021-04-01 11:27:28 827

原创 6【C++基础】关联容器map、set的使用；map set遍历增删元素；LeetCode 349/139/140

0 文章目录什么是关联容器map set 用法总结 / 区别常见应用：set和数组的转换 / 字符串匹配1 关联容器预热两个概念：迭代器：所有标准库容器都可以使用迭代器来间接访问容器元素，少数几种容器同时支持下标运算符（如vector）。与指针类似，有效的迭代器指向某个元素，或者指向容器中尾元素的下一个位置，其他所有情况都是无效迭代器。与指针不同的是，获取迭代器不是使用取地址符，它同时返回迭代器的成员。比如名为begin end 的成员:begin 返回指向第一个元素的迭代器; e

2020-11-03 21:27:27 522

原创 5【快速排序】C++完整实现；LeetCode 215. 数组中的第k个最大元素；快速排序partition部分的几种C++实现代码；

0 文章目录寻找第k大元素的实现思路；快速排序算法分析；partition部分的两种C++实现代码；可运行的完整C++代码（不是在leetcode里的，那里也已经有各种各样的参考答案了），可自定义输入输出进行测试。1 寻找数组中第k个最大元素在未排序的数组中找到第 k 个最大的元素。请注意，你需要找的是数组排序后的第 k 个最大的元素，而不是第 k 个不同的元素。输入: （分别是数组长度、k值。这里与力扣题目要求略有不同，请自己根据需要酌情修改代码）6 2[3,2,1,5,6,4]

2020-09-25 20:09:07 512

原创 4【计算机编程】到底该学哪种编程语言？各种不同的编程语言现在都用来干嘛？

本菜鸡经过调研，决定了硕士未来两年的学习路线，LeetCode用C++写，配合学习资料：1.卜东波算法视频课；2.两本学长的刷题总结pdf；3.清华大学本科数据结构（C++版）教材。课题正好也是C++和Java都要用到。然后课余时间学习课外机构的Java大数据视频课（买的），大数据有点难不一定能学好，但总之就业具体方向还是确定了以Java为主。0 本文要点1.计算机编程语言的分类低级语言/高级语言；（高级语言中的）编译型语言/解释性语言；动态语言/静态语言；2.主要的流行高级语言介绍Java、C+

2020-09-25 11:35:22 3344 1

原创 3 VSCode Java配置报错：Error：linkageError occurred while loading main class variables

0 Error描述下图报错时，Java jdk版本：最新的15。换成14就解决这个问题了，但我之前试过VSCodeJavaInstaller-online-win-0.1.3（傻瓜安装包），也试过vscode redhat openjdk，都显示类似的错误：即编译成功的版本不能在平台运行，就是编译后的.class文件和运行环境不适配。我就很迷惑了，不是配套的jdk、jre一个版本怎么会报错呢？网上一堆说安装了好几个Java的，我也没装那么多呀？之前装了一天我一气之下全卸载了，最后冷静下来好好读错误提示

2020-09-17 00:16:30 3478 3

原创 2 互联网生态New understanding；关于文理科thinking and choosing；找工作Java or C++？

0 引言最近有很多杂事需要处理，我想坚持更csdn，但是发现没有学到特别值得写出来的，就写个思考总结吧。1 何为互联网“生态”最近听课查资料突然对互联网业界广为流传的“生态”有了新的理解。像tensorflow就比paddlepaddle生态建设更好，GitHub同样如此。这不仅仅是因为“使用的人数够多”，更多的原因是动态的。再比如Linux系统作为一个开放的软件，不同于Windows，众多程序员通过修正源码使得Linux整体系统不断优化也更加稳定。类比生物界的“生态圈”，有生产者、消费者、分解

2020-09-16 23:38:56 315

原创 1【计算机专业必备基础知识】《计算机体系结构基础》（胡伟武）速读笔记（上篇）“这位同学，请描述一下PPT完成翻页时电脑软硬件是如何协作的？”

210 运算结果是 1024.插入链接与图片链接: link.图片: 带尺寸的图片: 居中的图片: 居中并且带尺寸的图片: 当然，我们为了让用户更加便捷，我们增加了图片拖拽功能。如何插入一段漂亮的代码片去博客设置页面，选择一款你喜欢的代码片高亮样式，下面展示同样高亮的代码片.// An highlighted blockvar foo = 'bar';生成一个适合你的列表项目项目项目项目1项目2项目3 计划任务完成任务创建一个表格一个

2020-09-15 16:01:20 1264

qq_36161012的博客