Auklet#-CSDN博客

原创 LoadRunner介绍

LoadRunner是HP旗下一款专注于软件性能测试的商业软件，是软件测试行业中，性能测试的标杆软件。LoadRunner是一种预测系统行为和性能的负载测试工具，通过模拟上千万真实的用户行为，实施负载、并发和性能实时监控的方式来确认和查找问题，以及完成后的测试报告分析系统可能存在的瓶颈。LoadRunner可适用于各种体系架构（B/S、C/S）的自动负载测试，能预测系统行为并评估系统性能。LoadRunner生成的脚本，可以是C、JAVA 、C#、VB语言。

2024-04-07 23:13:58 1606

原创 Windows11系统开启FTP服务

其次，新用户创建完成后，回到计算机管理-Internet Information Services（IIS）管理器，进行FTP站点管理，点击连接窗口中搭建的FTP服务器，双击右侧的FTP授权规则图标，进入FTP授权规则设置窗口。点击右侧的操作栏中的添加允许规则，将看到添加允许授权规则窗口，选择允许访问此内容者为指定的用户，填写创建的新用户的名称，勾选读取和写入权限前的复选框，操作完成后点击确定以添加。此时再次登录FTP站点，弹出登录身份验证弹窗，输入用户名和密码，进入FTP根目录即配置成功。

2024-04-02 22:47:19 3214 1

原创 Z3求解器的安装（Windows）

是一个定理证明器，判定一阶逻辑公式的可满足性，是由微软开发的目前应用最为广泛且最强大的SMT求解工具，作为一个开源软件，可以自行编译，也可以下载可执行版本来使用。，类似于LISP语法，便于工具对模型进行序列化和反序列化。· 新建一个PYTHONPATH环境变量，将python的文件夹目录复制过去。可使用编辑器编写SMT-LIB格式的smt2文件，调用z3进行编译。使用VSCode编辑器配合Z3可执行编辑器，VSCode有。插件可对SMT-LIB格式的文件进行语法高亮。，找到windows版本并下载。

2023-09-17 21:53:15 1048 1

原创 BOJ课后习题

2701:与7无关的数[查看]http://bailian.openjudge.cn/practice/2701/总时间限制: 1000ms内存限制: 65536kB描述一个正整数,如果它能被7整除,或者它的十进制表示法中某一位上的数字为7,则称其为与7相关的数.现求所有小于等于n(n < 100)的与7无关的正整数的平方和.输入输入为一行,正整数n(n < 100)输出输出一行，包含一个整数，即小于等于n的所有与7无关的正整数的平方和。样例输入

2021-06-02 12:47:25 255

原创洛谷 P1025 [NOIP2001 提高组] 数的划分

题目描述将整数 nnn 分成 kkk 份，且每份不能为空，任意两个方案不相同(不考虑顺序)。例如：n=7n=7n=7 ，k=3k=3k=3，下面三种分法被认为是相同的。1,1,51,1,51,1,5 ;1,5,11,5,11,5,1 ;5,1,15,1,15,1,1 .问有多少种不同的分法。输入格式nnn , kkk ((( 6<n≤2006<n≤2006<n≤200 ，2≤k≤62≤k≤62≤k≤6 )))输出格式111个整数，即不同的分法。输入输出样例

2021-05-03 18:20:29 148

原创洛谷 P1192 台阶问题

题目描述有NNN级的台阶，你一开始在底部，每次可以向上迈最多KKK级台阶（最少111级），问到达第NNN级台阶有多少种不同方式。输入格式两个正整数NNN，KKK。输出格式一个正整数，为不同方式数，由于答案可能很大，你需要输出ans mod 100003ans mod 100003ans mod 100003后的结果。输入输出样例输入 #15 2输出 #18说明/提示对于202020%\%%的数据,有N≤10,K≤3N≤10,K≤3N≤10,K≤3;对于404040%\%%的数据

2021-04-17 11:51:36 327

原创洛谷P1106删数问题

题目描述键盘输入一个高精度的正整数 NNN（不超过 250250250250250250250250250 位），去掉其中任意 kkk 个数字后剩下的数字按原左右次序将组成一个新的非负整数。编程对给定的 NNN 和 kkk，寻找一种方案使得剩下的数字组成的新数最小。输入格式nnn（高精度的正整数 )。kkk（需要删除的数字个数 )。输出格式最后剩下的最小数。输入输出样例输入 #1175438 4输出 #113代码实现import java.util.Scanner;pub

2021-04-11 20:57:55 205

原创洛谷P1145 约瑟夫

题目描述nnn 个人站成一圈，从某个人开始数数，每次数到 mmm 的人就被杀掉，然后下一个人重新开始数，直到最后只剩一个人。现在有一圈人，kkk 个好人站在一起，kkk 个坏人站在一起。从第一个好人开始数数。你要确定一个最小的 mmm，使得在第一个好人被杀死前，kkk 个坏人先被杀死。输入格式一行一个整数 kkk。输出格式一行一个整数 mmm。输入输出样例输入 #13输出 #15输入 #24输出 #230说明/提示0<k<140<k<140&l

2021-04-11 17:50:36 408

原创洛谷P1197 [JSOI2008]星球大战

洛谷P1197 [JSOI2008]星球大战题目描述很久以前，在一个遥远的星系，一个黑暗的帝国靠着它的超级武器统治着整个星系。某一天，凭着一个偶然的机遇，一支反抗军摧毁了帝国的超级武器，并攻下了星系中几乎所有的星球。这些星球通过特殊的以太隧道互相直接或间接地连接。但好景不长，很快帝国又重新造出了他的超级武器。凭借这超级武器的力量，帝国开始有计划地摧毁反抗军占领的星球。由于星球的不断被摧毁，两个星球之间的通讯通道也开始不可靠起来。现在，反抗军首领交给你一个任务：给出原来两个星球之间的以太隧道连通情况

2021-02-07 23:55:21 71

原创洛谷P3367【模板】并查集

洛谷P3367 【模板】并查集题目描述如题，现在有一个并查集，你需要完成合并和查询操作。输入格式第一行包含两个整数 NNN,MMM ,表示共有 NNN 个元素和 MMM 个操作。接下来 MMM 行，每行包含三个整数 ZiZ_{i}Zi,XiXiXi,YiYiYi。当 ZiZ_{i}Zi=1 时，将XiXiXi与 YiYiYi 所在的集合合并。当 ZiZ_{i}Zi=2 时，输出 XiXiXi 与 YiYiYi 是否在同一集合内，是的输出 YYY ；否则输出 NNN 。输出格式对于每一

2021-01-16 22:00:30 169

原创递归题

烤鸡：题目背景猪猪hanke得到了一只鸡题目描述猪猪Hanke特别喜欢吃烤鸡（本是同畜牲，相煎何太急！）Hanke吃鸡很特别，为什么特别呢？因为他有10种配料（芥末、孜然等），每种配料可以放1—3克，任意烤鸡的美味程度为所有配料质量之和现在，Hanke想要知道，如果给你一个美味程度，请输出这10种配料的所有搭配方案输入格式一行,n<=5000输出格式第一行，方案总数第二行至...

2019-12-05 18:31:33 473

qq_43810711的博客