逃回迪士尼的公主-优快云博客

原创什么是形式化方法

什么是形式化方法： 1.概念：形式化方法英文的名称是formal methods。在逻辑科学中是指分析、研究思维形式结构的方法。它把各种具有不同内容的思维形式(主要是命题和推理)加以比较,找出其中各个部分相互联结的方式,如命题中包含概念彼此间的联结,推理中则是各个命题之间的联结,抽取出它们共同的形式结构;再引入表达形式结构的符号语言,用符号与符号之间的联系表达命题或推理的形式结构。 2.例子：例如,把全称肯定命题,用符号形式化为“SAP”;把联言命题、假言命题分别形式化为:“p∧q、“p→q”。又例如

2020-12-29 20:36:33 262

原创 IDEA快速新建springboot项目

IDEA快速新建Springboot项目： File —> New -—> Project, 选择Spring Initializr 填入组名、包名等选择所需功能

2020-12-29 20:16:24 128

原创 IDEA使用Lombok插件生成set、get方法

IDEA使用Lombok插件生成set、get方法： 1.新建实体类：如下： package com.book.bookshop.entity; import java.util.Date; public class Book { private Integer id; private String name; private String author; } } 安装lombok插件：如图：注解：接着在你所写的实体类加入注解@Data pac

2020-12-13 15:47:07 761

原创首次配置maven项目

首次配置maven项目：第一次写SpringBoot项目的配置 settings设置：点击Files打开settings，选择Build,Execution,Deployment——>Maven 将Maven home directory:换成自己安装maven所在文件夹 User settings file: 选择maven的conf文件夹下的settings.xml文件 Local respository: 选择spring boot安装文件夹配置maven的setting文件：

2020-12-11 10:46:43 165

原创枚举与递推2

题目1：有两队选手每队5人进行一对一的比赛，甲队为A、B、C、D、E，乙队为J、K、L、M、N，经过抽签决定比赛对手名单。规定A不和J比赛， M不和D及E比赛。列出所有可能的比赛名单。（1）代码 #include<iostream> #include<algorithm> using namespace std; void main(){ char a[5]={'A','B','C','D','E'}; char b[5]={'J','K','L','M','N'};

2020-11-25 17:48:58 134

原创枚举与递推

枚举与递推：提示：这里简述项目相关背景：例如：项目场景：示例:通过蓝牙芯片(HC-05)与手机 APP 通信，每隔 5s 传输一批传感器数据(不是很大) 题目1： 1. 由0到4五个数字，组成5位数，每个数字用一次，但十位和百位不能为3（当然万位不能为0），输出所有可能的五位数。（1）代码： #include<iostream> #include<algorithm> using namespace std; void main(){ int a,b,c,d,e; int

2020-11-25 17:39:46 185

原创分别用穷举法和欧几里德算法实现求两个整数的最大公约数，并比较算法的效率

分别用穷举法和欧几里德算法实现求两个整数的最大公约数，并比较算法的效率：穷举法： 1：代码： @Override #include<iostream> using namespace std; int main() { int a,b; printf("请输入两个数\n"); scanf("%d%d",&a,&b); //求最大公约数 int min; if(a<b) min=a; else min=b; for(int i=min

2020-11-25 17:29:31 426

原创此URL不支持Http方法POST

此URL不支持Http方法POST：当运行项目时网页出现405错误，提示此URL不支持Http方法POST 如图：原因分析：现在查看一下源代码：如图：可以看到，源代码里没有doPost函数解决方案： 1.添加doPost方法，如图： 2.将post改为get <form action=" " method="post"> <form action=" " method="get"> ...

2020-11-25 12:45:55 6001 1

原创半数集问题

半数集问题：问题描述：给定一个自然数n，由n开始可以依次产生半数集set(n)中的数如下： (1) ； (2) 在n的左边加上一个自然数，但该自然数不能超过最近添加的数的一半； (3) 按此规则进行处理，直到不能再添加自然数为止。例如，set(6)={6,16,26,126,36,136}，半数集set(6)中有6个元素。输入：整数n(0<n<1000) 输出：半数集set(n)中的元素个数。请设计递归函数，求出set(n)的个数，并分析算法时间复杂度，对算法进行改进，用程序验证递归算

2020-11-24 19:43:23 201

原创经典递归算法题目

经典递归算法题目：有n级台阶，可以一步上一个台阶，也可以一步上两个台阶，编写程序，计算共有多少种不同的走法。代码： @Override #include<iostream> using namespace std; int x=0; int step(int n){ if(n<0) return 0; if(n==0 || n==1 || n==2) return n; if(n>2) return step(n-1)+step(n-2); }

2020-11-24 19:41:25 371

原创角谷定理

角谷定理：输入一个自然数n，以n为偶数，则把它除以2，若n为奇数，则把它乘以3加1。用新得到的值重复以上步骤，直到值为1为止。求经过多少次可得到自然数1 代码： @Override #include<iostream> using namespace std; int x=0; int juge(int n){ if(n==1){ return x; } if(n%2==0){ juge(n/=2); x++; } else{ juge(n=n*3+

2020-11-24 19:36:00 230

原创关于AJAX和js

JavaScript在发送AJAX请求时，URL的域名地址是使用绝对地址还是相对地址？ Ajax可以使用XMLHttpRequest对象的open()和send()方法将请求发送到服务器，请求可分为GET方式请求和POST方式请求。（1）Get请求代码： xmlhttp.open("GET","AjaxTestServlet",true); xmlhttp.send(); （2）POST请求代码 xmlhttp.open("POST","AjaxTestServlet",true); xmlhttp.s

2020-11-08 18:31:33 744 2

原创 Address localhost:1099 is already in use

Address localhost:1099 is already in use：如图，运行IDEA项目，显示Address localhost:1099 is already in use 原因分析：这是因为端口被其他程序占用了，此时需要找到占用端口的程序并将程序结束。解决方案：提示：这里填写问题的分析：例如：Handler 发送消息有两种方式，分别是 Handler.obtainMessage()和 Handler.sendMessage()，其中 obtainMessage 方式当数

2020-11-04 15:29:19 430

原创 session技术

HttpSession技术文章目录HttpSession技术一、内置对象session与HttpSession对象是同一个东西吗？1.session对象2.HttpSession对象二、如果不确定客户端是否禁用cookie，则可以使用URL重写技术一、内置对象session与HttpSession对象是同一个东西吗？ 1.session对象（1）概念：Web服务器可以使用内置对象sessiom来存放有关连接的信息，session对象的类型为javax.servlet.http.HttpSessi

2020-10-30 10:54:26 207

原创 HTML出现乱码

HTML出现乱码：我们在写HTML网页的时候，经常会出现乱码现象。问题描述：如上图，运行网页出现了乱码现象。解决方案：右键------>选择编码----->选择Unicode(UTF-8) 但是有的用这种方式，下一次打开还是会乱码，每次都改很麻烦。此时查看你的程序：头部代码，charset和pageEncoding是否为UTF-8，若不是，需要改为UTF-8 改完后，页面不再出现乱码： ...

2020-10-25 21:35:28 206

原创为什么Elipse里面新建的Web Project项目里没有Webroot目录

为什么Eclipse里面新建的Web Project项目里没有WebRoot目录：原因分析： Eclipse里生成的是WebContent目录，而MyEclipse里生成的才是WebRoot目录。

2020-10-12 21:10:51 1668

原创 The import javax.servlet cannot be resolved

在Elipse新建Servlet文件时，出现The import javax.servlet cannot be resolved的错误的解决方法：错误提示：原因分析：缺少包解决方案：选中项目点右键---->点击Properties---->选择Java Build Path---->选择Libraries---->选择要添加的位置---->选择Add Library---->选择Server Runtime 这时，错误提示就会消失了 ...

2020-10-12 20:44:18 277

原创为什么软件开发周期总是预估的2-3倍

@Quora精选为什么软件开发周期总是预估的2-3倍 Quora上有人提问：为什么软件开发的周期总是预估的2~3倍?补充：这是开发者的错?还是管理的问题?技术粗糙，或者其他原因?或者这只是程序猿世界的自然法则? 文章网址：https://www.sohu.com/a/132411358_355123 观点 1.时间、任务分配不合理 2.存在人力资源浪费，或者一个人担任过多任务的情况 3.负责人员没有按时完成任务 4.管理人员没有负责到位以上是我认为又可能导致开发周期延长的部分原因。 ...

2020-10-12 20:11:21 275 1

原创 Manifesto for Software Craftsmanship

Manifesto for Software Craftsmanship 作为有理想的软件工匠，我们一直身体力行，提升专业软件开发的标准，并帮助他人学习此工艺。通过这些工作，我们建立了如下价值观：不仅要让软件工作，更要精益求精不仅要响应变化，更要稳步增加价值不仅要有个体与交互，更要形成专业人员的社区不仅要与客户合作，更要建立卓有成效的伙伴关系也就是说，左项固然值得追求，右项同样不可或缺。读后感受：作为一名软件工匠，我们需要不断学习，精益求精。不断提高自身水平，并且用自己所学知识，

2020-10-08 15:00:05 124

原创 2020-10-8：初试写博客

我的第一篇博客记录我第一次写博客自我简介对软件工程课程的希望个人目标思考记录我第一次写博客这是我第一次写博客，以前经常在优快云上查找信息，却从未想过要自己写博客。这第一篇博客，内容包括自己简介，以及我对软件工程课程的希望以及个人目标。自我简介我是一名软件工程专业的学生，很喜欢也很害怕这个专业，喜欢是因为能学到很丰富的知识，害怕是因为要学的东西太多太深奥了。我很喜欢学东西，但往往是三分钟热度，导致学得不够深入。个人非常崇拜软件工程师，认为他们不仅智慧超群，并且耐得住寂寞。但是要成为一名优秀的软件工程

2020-10-08 12:19:34 241 1

qq_43637477的博客