- 博客(32)
- 收藏
- 关注
RSS订阅原创 Flex and Bison 阅读与学习笔记
各部分通过%% 分割，其分别为 声明；模式与动作 和 C代码24atoi ：ascii to integer yylval：这个变量用来储存记号值，定义为整型25java 的一个自定义语法编译器 和 bison 前身的全称26上下文无关文法 CFG 巴克斯范式 31BNF31如果一种文法是有歧义的，bison会报告在冲突（conflicts），而且标示出针对给定的输入哪里会有两种不同的分析。
2023-10-19 16:11:46
256
原创 使用 SMT求解机 根据变迁关系生成迁移后系统的状态
论文中给出了一个系统的状态迁移图和它的的变迁公式。现在用三个布尔值的合取来表示某一个状态的值。比如q0状态，aka 初始状态，其值分别为 x1= false ，x2= false ，x2= false。q0的简单表示就是 000。论文中又写道，q3is ¬x1∧ x2∧ x3，即 011。那么将状态 q 就可以理解为三个二进制位依次加 1 的结果。具体状态迁移图如下所示。其主要用于检查逻辑表达式的可满足性，可以计算实数，也可以计算布尔逻辑公式。
2023-07-11 15:50:51
225
原创 获取手机UI元素时报错：Unexpected error while obtaining UI hierarchy java.lang.reflect.Invocation……
在别人分享的文章中看见了问题的解决方案，自己尝试后可以解决。内下载的SDK好像最高也就支持了安卓9，而由于谷歌以及没有单独的SDK下载安装包，需要Android studio才能进行下载。找到了一个可以单独地下载的网址。最近有了个新需求需要去重新复现了一下之前的手机自动化操作，遇到了点问题，现在也来记录一下吧。在此网站下载 Windows 版本的 SDK 和 Platform 将其从原本的SDK目录进行替换即可，就可以正常使用了。如果仅仅是下载这两个东西也是可以直接使用的，具体请参考这位前辈的。
2023-05-10 20:13:46
376
原创 JKind入门（二）引擎简介 BMC
模型检验以状态来模拟系统，自动检测系统的模拟运行是否满足某些期望的规范。但这其中存在着状态爆炸问题（模型检验首先需要给定一个系统和我们需要验证的属性，第一步将系统抽象成一个变迁系统，其后 model checking 算法会探索这个系统的每一个状态，来验证系统是否满足这个性质。而对于建模的结构就会很大，就会产生状态爆炸问题。
2023-04-16 01:05:28
620
原创 JKind入门（一）简单介绍和使用
The JKIND Model Checker 其是一种针对Lustre语言的模型检验工具，其是由Rockwell Collins和明尼苏达大学开发的开源的工业级的模型检查器，并于2018年发布。JKIND使用多个并行的引擎应用于拥有无限个状态的模型来证明属性或者给出其反例。
2023-03-29 21:54:45
559
原创 Propositional SAT Solving：DPLL算法求解CNF SAT 与 数独求解程序(C++ 实现)
DPLL（Davis-Putnam-Logemann-Loveland）算法，是一种完备的、以回溯为基础的算法，用于解决在合取范式（CNF）中命题逻辑的布尔可满足性问题；也就是解决CNF-SAT问题。
2022-11-26 23:57:33
2291
原创 基于大数据预测分析的城市医保基金支出可视化管理系统(系统介绍)
本系统由于功能点较多，且背后涉及的算法难易程度相差较大，主体有两个重点的算法支持（这里只介绍prophe时间序列预测算法），可视化方面则是对大数据背后潜在的规律经过特点分析之后再进一步完成探索与呈现。Prophet时间序列模型，对于官方的介绍CSDN与知乎已经近乎完备（且官方）地将其介绍了一遍，由于该算法相较于其他预测算法较为冷门（创造晚，最开始以美国橄榄球联盟的数据演示），因此知道的人较少，你搜索的结果与我应该是一致的。我直接从实践开始。...
2022-08-07 11:16:31
618
原创 原生JS 实现轮播图效果
根据传入的图片数量在页面的底部呈现轮播图的图片数量和当前为第几张图片，点击相应的圆圈则可以跳转至其他图片；左右两个按钮同样可以实现图片的切换，如果当前为第一张或者最后一张图片，点击左移或者右移按钮即可完成循环操作，从第一张图片跳转至最后一张图片，且切换图片的效果还在。...
2022-05-14 00:00:22
859
原创 经典JS面试题-实现二维数组内元素的排列组合
题目加解答 面试（字节）过程中面试官直接把题目敲在了屏幕上，题目如下：已知一个Array 数组 a 为 a = [ [ 'a', 'b' ], [ 'x', 'y' ], [ 1, 2 ] ]，要求输出的效果为[ 'ax1', 'ax2', 'ay1', 'ay2', 'bx1', 'bx2', 'by1', 'by2' ]。代码如下： 实现要求的效果我们需要两个函数来完成，其中一个读取二维数组内部的数组元素，另一个由第一个函数调用用于读取一维数组内部的元素，进而完成数组元素的排列组合。.
2022-04-07 23:45:24
366
原创 APPium+Python编写真机移动端自动化脚本
完成软件和环境的安装后就可以开始移动端自动化脚本的编写了。手机打开USB调试模式，连接手机。此时去命令窗口查看自己的设备是否已经连接。让后打开Appium Server，进行配置，设置Android与Java的环境地址。启动服务器，即可。首先对于手机的参数进行填写，对于要进行测试的APP的信息也进行获取。以微信为例，我们在命令窗口中输入该手机的所有的第三方软件，获取手机上所需包名。在获取该APP登录的活动。首先在手机上打开微信，并在CMD中进行操作。从而获取到了微信的包名与登录的活动名。之后进行
2022-03-07 23:47:01
6514
原创 ADB命令介绍
什么是adb呢？ADB，即 Android Debug Bridge，安卓调试桥 (Android Debug Bridge, adb)，是一种可以用来操作手机设备或模拟器的命令行工具。
2022-02-27 15:01:39
3531
原创 Appium--移动端的自动化（安装+介绍）
Appium介绍众所周知，selenium是一款及其好用的Web自动化工具。那么Appium自然是移动端的自动化工具。其用于自动化 iOS 手机、 Android 手机和 Windows 桌面平台上的原生、移动 Web 和混合应用。对其支持的语言和框架有Java，python，C#和Ruby。这些库封装了标准的 Selenium 客户端，提供了所有 JSON Wire protocol 指定的常规 selenium 命令，并额外添加操控移动设备相关的命令，例如 多点触控.
2022-02-27 15:00:25
581
原创 flutter框架中的dart语言+一个背单词app的实例
简单介绍flutter是Google开源的构建用户界面（UI）工具包，帮助开发者通过一套代码库高效构建多平台精美应用，支持移动、Web、桌面和嵌入式平台。Flutter 开源、免费，拥有宽松的开源协议，适合商业项目。Flutter已推出稳定的2.0版本。目前以推出2.5版本。Dart语言归纳空安全 Dart 2.12之后与flutter2.0之后支持健全的空安全机制。当你选择使用空安全时，代码中的类型将默认是非空的，意味着除非你声明它们可空，它们的值都不能为空。有了空安全，原本处于.
2022-02-26 20:12:24
2026
1
原创 更新显卡驱动后，Windows重启卡在Logo页面
在个人的一阵nt操作之后电脑重新启动一直卡在了品牌的logo处，之后死活进入不了下一步。经过不懈的尝试，最终得到了正解。也是猜到了原因是自己在看电影的时候无意更新的显卡驱动。
2022-01-14 00:31:38
8405
原创 基于知识图谱的问答系统（protege，jena，jieba分词的结合）
一个简单的问答系统，只不过这其中的构建过程是基于知识图谱。主要的使用的工具（AKA，重点）有protégé（用于知识图谱的建模）、jena数据库（其为一个基于三元组的图数据库，用于完成知识图谱的存储）、Python中的应用程序框架Streamlit与jieba分词库。（需要额外按照的环境：jena数据库，了解明白SPARQL语句，对分词有初步掌握）...
2021-12-21 22:46:18
12360
原创 WordPress站点问题集合(后台Gravatar头像加载问题，自动升级问题，WP Statistics启用Geoip)
今日更新了一波自己的小花园，发现问题真不少啊。于是去各种搜索引擎下翻来覆去地找啊找，不知是Wordpress不吸引人了还是大家碰到的问题与我的个人环境总是有那么一点微小的差别，导致我各种方法尝试了都不能解决问题。最好在自己不断尝试+挖掘更深的文字下总算是解决了一部分问题。开心的让我赶紧记录一下>灬<。个人资料中的头像显示问题这个问题应该是老生常谈了，但总会出现烦人的无法加载，虽然一个简单的Simple Local Avatars插件就可以在主站正常显示个人头像，可是在后台的个人资料.
2021-12-09 12:12:23
1449
原创 Tomcat配置静态资源管理器访问资源
[toc]安装与配置Tomcat 本文采用腾讯云服务，宝塔面板完成的相关配置（主要是因为这真的太简单了）。直接在宝塔面板内的软件商城安装Tomcat即可。设置IP地址与访问路径下一步为设置我们访问URL的IP地址，也就是将我们的云服务器IP地址设置为tomcat中的Host name.
2021-11-17 23:55:40
566
原创 云服务器(宝塔面板)源码包安装禅道
zentao这个平台是在软件测试课程中了解到的，他是一款国内开源的软件测试管理工具，他在国内市场的占有率2020年为40.6%，今年应该会更高。官方的介绍其为一个专业的研发项目管理软件。初次接触软件测试课程感觉这就是项目管理的细化，之后在不断地使用过程中，意识到了测试不可能简单的独立与项目开发，而是其中的一环。有了完备的软件测试，才会有更好的开发，更好的项目管理。我使用的是禅道15.5开源版，每次课堂上用小组成员的电脑作为服务器，之后各个成员访问网页进行。...
2021-11-17 23:49:13
798
原创 K-means聚类算法理解性实现
K均值聚类算法介绍 k均值聚类算法（k-means clustering algorithm）是一种迭代求解的聚类分析算法。也算是无监督学习，聚类算法中最简单的一种了。其整体思想为，预将数据分为K组，则随机选取K个对象作为初始的聚类中心，然后计算每个对象与各个种子聚类中心之间的距离，把每个对象分配给距离它最近的聚类中心。聚类中心以及分配给它们的对象就代表一个聚类。每分配一个样本，聚类的聚类中心会根据聚类中现有的对象被重新计算。这个过程将不断重复直到满足某个终止条件。终止条件可以是没有（或.
2021-11-17 23:46:20
295
原创 ID3决策树的Python实现与理解
决策树是一个非常常见并且优秀的机器学习中监督学习的算法，它易于理解、可解释性强，是一种简单且广泛使用的分类器。通过数据来训练该预测模型，从而高效对未打标签的数据进行分类。因此简单来说那，决策树就是可以看做一个if-then规则的集合。我们从决策树的根结点到每一个都叶结点构建一条规则，根据数据不同的输入选择下一个结点，直到达到了最终的叶结点。 知晓了决策树实现的功能之后，假如我们构建决策树，那么应该如何选择属性特征值呢。...
2021-11-17 23:39:06
1085
原创 Chromedriver适用谷歌浏览器的各个版本
Chromedriver下载地址360浏览器的内核也是chrome，看自己的360极速浏览器的版本（aka chrome内核的版本）下载相应的chromedriver版本即可。最后-推荐好书《强风吹拂》 May you have a nice day.
2020-10-24 20:41:19
726
原创 matplotlib.colors 里包括的各类颜色名称
官网网站 List of named colorsmatplotlib 支持的各种颜色（aka 所有颜色名称）
2020-10-17 00:39:44
1261
1
原创 Python 爬虫之实现爬取图片并下载到自己创建的文件夹内
还是先给出代码 再给出要点解析 最后加上一点问题分析下面 开始对 本次 米切尔 的 讲解import reimport osimport requestsurl = "https://www.你想要的爬取的网站.com"headers = { 'user-agent': 'Mozilla/5.0 (Windows NT 6.1; WOW64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/78.0.3904.108 Safari/537.3
2020-07-17 07:53:50
3040
原创 离散数学实训 求对称闭包s(R)（C++）
离散数学 之 用C++实现对称闭包在这里插入代码#include<bits/stdc++.h>using namespace std;//定义有序对struct Pair { int x; int y; Pair(int ix, int iy) { x = ix; y = iy; } void print() const{ cout << "<" << x << "," << y << ">"
2020-05-30 10:35:14
2597
原创 离散数学实训 求传递闭包t(R)（C++）
在这里插入代码片samcd#include<bits/stdc++.h>using namespace std;const int maxv= 21; struct Pair {//定义 有序对 int x; int y; Pair(int ix, int iy) { x = ix; y = iy; } void print() const{ cout << "<" << x << "," << y <
2020-05-28 10:17:54
5692
原创 PTA团体程序设计天梯赛 L2-001 紧急救援
多说无益，代码走起。#include<bits/stdc++.h>using namespace std;typedef long long ll;const int maxv=510;const int inf=1000000000;int path[510];int n,m,c1,c2,g[maxv][maxv],weight[maxv],j;int d[maxv]...
2020-03-16 23:21:56
330
原创 PTA 1058 选择题（String ）C++
这道题我以运用string 为主 ，因为string 可以直接进行+=，和== 的操作。还是代码如下，再听我多说两句。#include <bits/stdc++.h>using namespace std;struct node{ int con,num,rig; string ans; int times;}a[110];int main(){ string q,...
2020-02-12 14:35:49
438
原创 PTA 1081 检查密码（测试点2）c++
很简单的一道题，先把代码给出来。#include <bits/stdc++.h>using namespace std;int main(){ string a; char sp; int n,m,j,k,l1,l2,l3,l4,i; scanf("%d",&n); scanf("%c",&sp); for(i=0;i<n;++i){ ge...
2020-01-26 21:38:50
866
1
原创 PTA 1015 德才论 （题解+知识点）c++
先把代码直接给出来，再听我慢慢讲解。#include <bits/stdc++.h>using namespace std;struct stu{ char id[10]; int d; int c; int zong; int lei;};struct stu a[100000];bool cmp(stu a,stu b){ if(a.lei!=b.lei)...
2020-01-19 15:05:19
433
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人