- 博客(21)
- 收藏
- 关注
RSS订阅原创 海明码的校验方法-表格法
海明码是一种纠错校验码，下面给出校验过程例：已知 k=1101，求对应的海明码步骤一：根据公式定码长：2r>=k(size)+r+12的3次>=4+3+1故校验码长度为3步骤二：列表格，由于校验码只出现在表格中的2的i次位置上，即1,2，4,8，16…等，列出表格，得到其余k所处位置。根据校验码长度，推算r0、r1、r2对应的推算公式20+21+22=7; 20+21=3; 20+22=5; 21+22=6故而，找出以上推算式中包含r下标的对于右等式的值r0:7、3、
2022-05-17 10:13:19
414
原创 层次分析法——解决购买篮球鞋的问题
准则层：篮球鞋的选择目标层：鞋的配置、价格、代言人名气、品牌信誉方案层：耐克、安德玛、李宁特征值法求权重的结果为：0.49330.23970.16290.1040一致性指标CI=0.085305一致性比例CR=0.095848因为CR<0.10，所以该判断矩阵A的一致性可以接受!一致性通过配置判断矩阵特征值法求权重的结果为：0.62500.23850.1365一致性指标CI=-0.3272一致性比例CR=-0.3677因为CR<0.10，所以该判
2021-08-03 15:32:26
484
转载 并发缺陷分类及详述
在已开发的成熟的web服务器以及数据库管理系统 例如Mysql Apache中，通过统计这些应用历次进行并发缺陷修复时可以看到，大部分并发缺陷均为非死锁缺陷，有大概四分之一的缺陷为死锁缺陷非死锁缺陷：违反原子性（atomicity violation）缺陷和错误顺序（order violation）缺陷违反原子性：1Thread1:: 2if(thd->proc_info){ 3... 4 fputs(thd->proc_info,...); 5... 6} 7 8Th
2021-07-05 10:12:09
410
原创 阅读Model Checking笔记手册 第三章 模型验证
一个模型，从广义上来说，可以被认为是一个系统“在纸上”的描述，或者是一个“虚拟”系统。这与“真实”系统形成对比，后者可以被认为是一个物理组件例如一辆汽车、一个医疗设备、一个Java程序或一个股票市场。将Java程序或股票市场描述为“实体”可能看起来很奇怪；然而，抛开哲学上的考虑，大多数人会同意这些系统是具体而真实的，足以直接影响我们的生活。模型也影响我们的生活，但是是以一种更间接的方式，正如我们下面讨论的那样。模型的类型由其用途定义。现有系统的模型通常被简称为“模型”，而尚未建立的系统模型可以被称为“规.
2021-06-10 16:50:32
198
原创 阅读Model Checking笔记手册 第二章 时序逻辑以及公平离散系统
时序逻辑被哲学家用来推理世界随时间变化的方式。它在现代应用中被用来描述程序/设计状态的演变，从而产生了对执行的描述。时间逻辑可以根据它们对时间演化的观点分为线性或分支。在线性时间视图中，我们看到时间范围在线性总顺序上，并且执行是状态序列。当系统有多个可能的执行时(由于不确定性或读取输入)，我们将它们视为独立的可能进化，系统有一组可能的行为。在分支时间视图中，一个时间点可能有多个可能的后继，因此执行是树状结构。根据这种观点，一个系统只有一个执行，它采取树的形式。我们从介绍公平离散结构开始这一章，我们在这个模型
2021-05-23 10:04:18
335
原创 阅读Model Checking笔记手册 第一章 模型检测的介绍
模型检测的过程：Modeling 建模 将设计转换为模型检测工具可接受的形式。Specification 规约 使用时序逻辑等方法描述设计所必须满足的特性或者说设计需要验证的性质。但模型检查提供了检查设计模型是否满足给定性质的方法，但是无法确定给定性质是否涵盖了系统应该满足的所有属性。Verification 验证 对于之前建模所建立的模型和规约所描述的性质进行自动验证，如果模型不符合性质则给出相应的反例路径。对于程序的不可判定性，可以通过控制其有界性来得到一个有限状态的系统，使得程序具有判定性。
2021-05-12 16:49:03
1124
转载 关于PTL（投影时序逻辑）的语义
PTL（投影时序逻辑）是一阶区间时序逻辑的一种扩展，相比之前的LTL（线性时序逻辑）和CTL（分支时序逻辑）引入了一种全新的投影操作符prj，PTL更适用于软件的描述和验证.
2021-04-27 09:33:47
1049
原创 java反编译工具推荐 - jd-gui
一、工具简介官网：http://java-decompiler.github.io //可以直接下载官网简介说这款工具有图形化界面，支持java5之后的版本代码还原二、工具使用支持linux、win使用，也支持作为eclipse插件使用界面：需要反编译的jar包直接通过file->open file打开即可...
2021-04-20 20:20:50
83
原创 工作汇报
工作汇报2021.3.31-2021.4.9一、argo项目的错误及改进首先对于argo项目不稳定的部分查找出来了原因，问题主要是在将类图的属性数据类型和方法参数的数据类型上的判断逻辑出现了问题，导致代码运行时可能出现空指针异常，主要有以下两种情况：1.之前的代码在判断属性和方法参数的类型时先对于基本数据类型匹配符号表，再通过类名和所对应的类的id对剩下未识别出数据类型的属性和方法参数进行匹配，忽略了类尚未被转换为符号表时属性和方法参数的数据类型可能匹配不到引起的空指针异常；2.还有一个可以引起空
2021-04-13 20:03:17
145
1
原创 今天在同门帮助下掌握了AxMath和MixPath的使用，感觉很好用，很适合排版
AxMath 作为开源软件，方便数学公式的书写和排版。下载地址：https://gitee.com/yang-zwsx/adobe-pagemaker-.gitMixpath方便用于识别论文中的公式。使用方法：1.找到索要识别的公式截图2.Ctrl+Alt+M3.导入Latex代码$$\|x\|_{p}=\left(\sum_{i}\left|x_{i}\right|^{p}\right)^{\frac{1}{p}}$$图像预览如下：∥x∥p=(∑i∣xi∣p)1p\|x\|_{
2021-04-08 10:15:40
224
转载 一个好用的数学公式编辑器的下载安装（LaTeX）
LaTeX下载安装教程【注：本文将针对绝大多数人的需求安装LaTeX】1.打开官方网站：https://www.tug.org/texlive/2.点击 “on DVD”点击 “downloading the TeX Live ISO image and burning your own DVD”点击 “download from a nearby CTAN mirror;”5.下载 texlive2021.iso，静静等待下载，大概3.72GB。待下载完成之后，解压文件，
2021-04-07 09:44:40
864
原创 五种sql查询语句的用法
--方式一select *from studentwhere id in(2,3,4) --方式二select *from studentwhere id =2 or id=3 or id=4 --方式三select *from studentwhere id between 2 and 4 --方式四select *from studentwhere id&g...
2021-04-02 18:06:27
252
原创 2021-3-29 上周学习总结一（模型检测文献学习+argo项目uml活动图部分处理）
这周看了几篇关于模型检测的综述，大体分为三类：模型检测研究现状的综述、模型检测与软件测试相结合、UML模型检测方法。一、模型检测研究综述为什么出现了模型检测及模型检测面临的问题(1)当前的软件系统功能验证主要采用的是软件测试方法,但软件测试的主要目的是通过给定系统不同的输入来验证系统是否会在当前给定的用例下出现错误，但由于测试用例的覆盖率难以达到百分之百，所以软件测试方法无法保证系统的正确性。(2)模型检测解决了上述软件测试用例覆盖率不足导致无法验证系统正确性的问题，但同时在对大型复杂软件系统进
2021-03-29 21:55:11
182
原创 关于eclipse的插件Install New Software 以及 Eclipse MarketPlace 进度慢或者进入take a whie循环加载资源的解决方法
我们在进行eclipse插件下载和更新时可能会出现如下图所示的问题，经过网上资源的查询我总结了如下几种解决方法。一、更改插件下载地址选择windows->Preferences->Install/Update->Avaliable Software Sites将所需要下载的插件地址更改示例：（以下载subclipse插件为例）eclipse官方地址为http://subclipse.tigris.org/update_1.8.x我们选择edit 将地址更改为https://d
2021-03-24 10:25:21
1779
转载 eclipse软件测试插件Junit的使用
此文引自Didizyp的blog,不是本人原创。二次转载，仅用于技术积累，侵删！一、简介JUnit是一款由Erich Gamma（《设计模式》的作者）和Kent Beck（极限编程的提出者）编写的开源的回归测试框架，供Java编码人员做单元测试之用。当前版本4.1，可以从www.junit.org网站上获得。与早期的JUnit 3相比，JUnit 4.1依赖于Java 5.0的新特性，因此无...
2021-03-24 10:01:46
247
转载 java虚拟机垃圾回收机制（GC回收） 简单了解及学习算法思想
java虚拟机总共分为五个区域，其中三个是线程私有：程序计数器，虚拟机栈，本地方法栈，两个是线程共享：堆，方法区。线程私有的区域等到线程结束时（栈帧出栈时）会自动被释放，空间比较容易清理。而线程共享的java堆和方法区中的空间较大而且没有线程的回收容易产生很多垃圾信息，GC垃圾回收真正关心的就是这部分。要了解java的自动垃圾回收，首先应当了解java的内存分配机制：局部变量存放在栈内存中；...
2019-02-05 11:06:10
141
原创 高并发的线程学习Day1
一.高并发的线程 和进程状态进程并发和并行进程的同步和异步 进程的死锁，活锁，饥饿并行的两个概念：1 Amdahl 理论加速比=优化前系统耗时/优化后系统耗时Tn = T（F+(1-F)/n）系统的效率受进程并发的数目影响，处理器个数不起决定作用2 Gustfson定律加速比=优化前系统耗时/优化后系统耗时加速比=a/a+b(a 进程只能串行的个数 b 进程中并行的数目）处...
2019-02-04 16:52:30
138
原创 Hibernate自动建数据库表遇到的问题
在Hibernate.cfg.xml文件中，书上对Hibernate自动建数据库表的配置是这样的：org.hibernate.dialect.MySQLInnoDBDialect但在网上进行查找和对Hibernate的源码包进行查看之后，我发现：这是因为mysql版本的问题，在mysql5.0版本之前，自动建表应配置的核心类是org.hibernate.dialect.MySQLInnoD...
2019-02-04 16:47:38
153
转载 关于JDBC连接数据库中Statement，PreparedStatement，CallableStatement的区别和联系
前提：技术学习，侵删1.Statement、PreparedStatement和CallableStatement都是接口(interface)。2.Statement 继承自Wrapper；PreparedStatement继承自Statement；CallableStatement 继承自PreparedStatement。3.Statement 接口提供了执行语句和获取结果的基本...
2019-02-04 15:22:24
206
原创 java方法重载和方法重写的区别
方法重载是指一个类不同的方法用相同的名字；但需要注意的是，重载的方法之间获取的参数的个数和类型不能相同，也即每个函数不能重复方法重写通俗一点就是子类继承父类的方法名字而不继承父类的方法体的具体内容我们以一个简单的例子来例举一下重写：线程Thread类主要是实现了Runnable接口的run方法；那么我们继承Thread类编写自己的实体类时也继承了run（）方法；此时我们在新写的类中实现ru...
2019-02-04 15:11:14
183
原创 Struts中Struts标签库对于debug标签的使用
Struts中Struts标签库对于debug标签的使用<s:debug/>生成超链接点击可查看ActionContext上下文需要注意的是：1.Struts标签库的引入<%@ taglib prefix=“s” uri="/struts-tags" %>2.Struts.xml文件中开发模式的开启我们可以直接在xml文件中修改constant的默认值3....
2018-11-14 14:28:26
201
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人