记录我的点点滴滴
目录前言一、形式化方法定义二、形式化方法分类三、形式化方法意义四、形式化方法作用五、形式化方法优缺点1.优点2.缺点前言形式化方法英文的名称是formalmethods，形式化方法模型的主要活动是生成计算机软件形式化的数学规格说明。形式化方法使软件开发人员可以应用严格的数学符号来说明、开发和验证基于计算机的系统。一、形式化方法定义软件形式化方法是指建立在严格数学基础上的软件开发方法。在逻辑科学中是指分析、研究思维形式结构的方法。它把各种具有不同内容的思维形式(主要是命题和推理)加以比较,找出其中各个部分相互联结的方式,如命题中包含概念彼此间的联结,推理中则是各个命题之间的联结,抽取出它们共同的形式结构;再引入表达形式结构的符号语言,用符号与符号之间的联系表达命题或推理的形式结构。二、形式化方法分类根据说明目标软件系统的方式，形式化方法可以分为两类：面向模型的形式化方法。面向模型的方法通过构造一个数学模型来说明系统的行为。面向属性的形式化方法。面向属性的方法通过描述目标软件系统的各种属性来间接定义系统行为。根据表达能力，形式化方法可以分为五类：1.基于模型的方法2.基于逻辑的方法3.代数
下载https://pan.baidu.com/s/11BIl9VyeRX1M61-GgbvrHQ提取码：lm92解压后把 git汉化包\汉化包\git-gui\lib目录下的msgs目录将其放到/mingw64/share/git-gui/lib/ 下即可，重新打开git gui即可
public static String[] split(String original,String regex){//取子串的起始位置int startIndex = 0;//将结果数据先放入Vector中 注意应当引入import java.util.Vector;Vector v = new Vector();//返回的结果字符串数组String[] str = null;//存储取子串时起始位置int index = 0;//获得匹配子串的位置startIndex = original.indexOf(regex);//如果起始字符串的位置小于字符串的长度，则证明没有取到字符串末尾。//-1代表取到了末尾//判断的条件，循环查找依据while(startIndex < original.length() && startIndex != -1) {String temp = original.substring(index,startIndex);//取子串v.addElement(temp);//设置取子串的起始位置index = startIndex + regex
安装AndroidStudio后，一直出现gradle配置的问题，其实是一直下载不到所需的gradle，按照网上的方法手动下载了gradle放于响应的文件夹中，结果还是有问题。甚至各种copy网上同类型的问题试了很多，类似镜像等ping了dl.google.com果然不能正常连接，而AndroidStudio很多东西都是需要通过dl.google.com来下载的解决问题的方法：更换host，最直接的就是让可以正常使用AndroidStudio的同事拷一份他的host给你替换~ping通了，（原因在于：测试过程中需要访问内网，添加修改了host）问题也自然而然解决了，如果你也遇到同样的问题，正在茫茫网络中寻找解决的方法，那么希望能帮到你~
之前在VirtualBox中装了一个WIN7虚拟机，【拖放】和共享粘贴板开关也打开了，就是死活无法拖放和复制文件，四处查找资料，在网上找了增强功能文件包【安装增强功能】之类的，搞了一圈，还是不行，直接放弃了。后来又想起去Google搜了一下，还真找到解决办法了，在这里分享一下，如果能帮到一个朋友解决这个问题也是极好的。一、分配虚拟光驱进入虚拟机系统后，选择“设备”——“分配光驱”——“选择虚拟盘”——进入VirtualBox的安装目录下，选择一个名为“VBoxGuestAdditions.iso”的文件。二、运行光驱内软件在“设备”——“分配光驱”会出现我们刚才添加的光驱，选择它，稍微等下。系统会弹出提示安装窗口，只要按照提示安装，然后自动重启。三、开启相关功能重启后选择菜单栏上的“设备”——“拖放”——“双向”（或其它选项）即可。