1 JML语言的基础及应用 1.1 JML语言 Java建模语言（JML）是一种行为行为规范语言，可以使用给定Java模块的行为。 为了支持JML语言的轴论，我们将Eiffel的“合同设计（contract design）”方法与Larch系列框架规范语言的基于模型的规范方法相结合。 主要文章为以下 ...
分类：
其他 时间：
2021-05-31 12:06:22
收藏：
0 评论：
0 赞：
0 阅读：
7
一、字符指针、字符数组 1. 字符指针：字符串指针变量本身是一个变量，用于存放字符串的首地址。而字符串本身是存放在以该首地址为首的一块连续的内存空间中并以‘\0’作为串的结束。 char *ps="C Language"; 顺序是：1.分配内存给字符指针；2.分配内存给字符串；3.将字符串首地址赋值 ...
分类：
编程语言 时间：
2021-05-31 12:06:08
收藏：
0 评论：
0 赞：
0 阅读：
10
今天学了一手基础ROP中的ret2syscall，拿了道题练手。话不多说，先来看看如何复现 首先，打开题目，发现目录下的可执行elf文件。 拖到虚拟机中，使用checksec指令查看文件保护属性 可以看出没有栈溢出与PIE保护，意味着该程序代码段的地址为静态，不需要动态获取段地址，且可以进行栈溢出攻 ...
分类：
其他 时间：
2021-05-31 12:05:55
收藏：
0 评论：
0 赞：
0 阅读：
23
在路由中使用 component:()=>import(/* webpackChunkName:"about" */'../views/About.vue') 来实现组件的懒加载，这种配置会生产一个about.[hash].js 对于优化首屏很有帮助，但对于内部页面会有一点损失，比较资源不会一次加载 ...
分类：
Web开发 时间：
2021-05-31 12:05:43
收藏：
0 评论：
0 赞：
0 阅读：
23
#include <bits/stdc++.h> #define please return #define ac 0 using namespace std; using ll = long long ; bool vis[1003]; void solve() { int n,m; cin>>n ...
分类：
编程语言 时间：
2021-05-31 12:05:31
收藏：
0 评论：
0 赞：
0 阅读：
24
spark连接mysql数据库: 1.安装启动检查Mysql服务。 2.spark 连接mysql驱动程序。 –cp /usr/local/hive/lib/mysql-connector-java-5.1.40-bin.jar /usr/local/spark/jars netstat -tunl ...
分类：
数据库技术 时间：
2021-05-31 12:05:19
收藏：
0 评论：
0 赞：
0 阅读：
8
可迭代对象实现__iter__方法，返回迭代器对象 迭代器对象实现__iter__方法，返回迭代器对象，实现__next__方法，进行迭代操作 自定义实现迭代器进行for循环实例： import requestsfrom collections import Iterable, Iterator# ...
分类：
其他 时间：
2021-05-31 12:05:07
收藏：
0 评论：
0 赞：
0 阅读：
22
##General English:8 ###Unit1 Planning a night out You're going to arrange a night out to a musicacl event with a friend. ###Vocabulary sibling 兄弟姐妹 DJ ...
分类：
其他 时间：
2021-05-31 12:04:57
收藏：
0 评论：
0 赞：
0 阅读：
16
前言 在asp .net core 中我们会看到一个appsettings.json 文件，它就是我们在服务中的各种配置，是至关重要的一部门。 不管是官方自带的服务，还是我们自己编写的服务都是用它来实现自己服务的动态配置，这就是约定。 配置文件之所以会成为约定，最主要的原因就是好用，不然可能第三方的 ...
分类：
Web开发 时间：
2021-05-31 12:04:45
收藏：
0 评论：
0 赞：
0 阅读：
10
客户端 using System; using System.Collections; using System.Collections.Generic; using System.Net; using System.Text; using System.Threading; using Newto ...
分类：
编程语言 时间：
2021-05-31 12:04:31
收藏：
0 评论：
0 赞：
0 阅读：
21
1、sudo sudo命令以系统管理者的身份执行指令，也就是说，经由 sudo 所执行的指令就好像是 root 亲自执行。需要输入自己账户密码。 （1）列出目前的权限 sudo -l （2）以 yao 用户身份编辑 home 目录下www目录中的 index.html 文件 sudo -u yao ...
分类：
系统服务 时间：
2021-05-31 12:04:22
收藏：
0 评论：
0 赞：
0 阅读：
19
原理 在一个班级学生成绩管理系统中，希望处理每个学生的学习情况信息，其中包括学生的学号、姓名、各科名称和成绩等并能使管理人员通过界面完成对学生信息的录入及对学生信息的录入及对数据的查找、浏览、插入、排序、保存。要求：1、提供用户界面2、每一条记录包括一个学生的学号、姓名、三门课成绩、平均成绩3、输入 ...
分类：
编程语言 时间：
2021-05-31 12:04:12
收藏：
0 评论：
0 赞：
0 阅读：
33
1. 侦听端口 server { # Standard HTTP Protocol listen 80; # Standard HTTPS Protocol listen 443 ssl; # For http2 listen 443 ssl http2; # Listen on 80 using ...
分类：
其他 时间：
2021-05-31 12:04:01
收藏：
0 评论：
0 赞：
0 阅读：
13
环境 应用 IP 操作系统 nginx 192.168.122.131 centos8 mysql 192.168.122.132 centos8 php 192.168.122.133 centos8 准备工作 //关闭防火墙 # systemctl disable --now firewalld ...
分类：
其他 时间：
2021-05-31 12:03:51
收藏：
0 评论：
0 赞：
0 阅读：
15
ASP.NET Core文件上传IFormFile于Request.Body的羁绊 前言# 在上篇文章深入探究ASP.NET Core读取Request.Body的正确方式中我们探讨了很多人在日常开发中经常遇到的也是最基础的问题，那就是关于Request.Body的读取方式问题，看是简单实则很容易用 ...
分类：
Web开发 时间：
2021-05-31 12:03:38
收藏：
0 评论：
0 赞：
0 阅读：
13
大家都知道prop、propg输入快捷键。 当前我们需要生成一段包含属性和字段的代码时，可以propfull。 propfull在安装了reshaper后，会被隐藏掉。没关系，直接敲propfull，然后按下Tab，就能直接生成代码段了。 生成代码段后，连接按Tab键，对相关名称和类型进行修改。 自 ...
分类：
其他 时间：
2021-05-31 12:03:28
收藏：
0 评论：
0 赞：
0 阅读：
28
循环结构 while循环 do...while循环 for循环 在java5中引进了一种主要用于数组的增强型for循环。 while循环 while是最基本的循环，它的结构为： while(布尔表达式){ //循环内容 } 只要布尔表达式为true,循环就会一直执行下去。 我们大多数情况是会让循环停 ...
分类：
其他 时间：
2021-05-31 12:03:17
收藏：
0 评论：
0 赞：
0 阅读：
10
1、group by + group_concat()的栗子 group_concat()可以将分组后每个组内的值都显示出来 group_concat()此函数返回一个字符串，是查询结果集合中指定列非NULL值的串联。如果所有列都是NULL，则此函数返回NULL。完整语法如下： GROUP_CONC ...
分类：
数据库技术 时间：
2021-05-31 12:03:04
收藏：
0 评论：
0 赞：
0 阅读：
11
6804强制升级方法。 从图中指示地方开始的连续四个电阻的第二个电阻。 8388强制升级方法 靠近USB插座的一个点的地方 ...
分类：
其他 时间：
2021-05-31 12:02:50
收藏：
0 评论：
0 赞：
0 阅读：
19
Access、Trunk、Hybrid端口收发规则： Access端口收报文：收到一个报文，先判断是否有vlan，没有则打上端口的PVID，在进行转发，如果有则直接丢弃。 Access端口发报文：将报文的vlan信息剥离，直接发送出去。 Trunk端口收报文：收到一个报文，判断是否有vlan信息，没 ...
分类：
数据库技术 时间：
2021-05-31 12:02:41
收藏：
0 评论：
0 赞：
0 阅读：
21
