Ruvikm

Daikon简介来自官方的翻译 Daikon 是动态检测可能不变量的一种实现;也就是说,Daikon不变量检测器会报告程序中可能存在的不变量。不变量是程序在某个点或某些点上所持有的性质;它们通常出现在断言语句、文档和形式规范中。不变量可用于程序理解和许多其他应用。例如:'x.field > abs(y)'; 'y = 2*x+3'; '数组 a 是有序的'; 对于所有列表对象 lst,'lst.next.prev = lst'; 对于所有树节点对象 n,'n.left.value < n.right.value'; 'p != null => p.content in myArray';等等。 这样的解释可能有点太晦涩，下面是省流版 Daikon是一个工具,它可以通过观察程序运行时的数据,自动发现一些潜在的规律或模式,我们把这些规律或模式称为不变量。比如说,你写了一个程序对一组数字从小到大排序。在排序之后,数组中的元素肯定是按升序排列的,即array ...

f666a1e82130d441cf5f17739ffab407eb91bf5bdcd03a5a4b0cc6d2fff4f10950a4850250f7c20cf1e309152d2782a8c737a3b28dd87627ecdde5e64f6445bec6d028a99b11619ef1d00764c489b027972a579ea38644c68ecc4b79787ff25e221d94159ce937eebdda44575886cfcf8ba27da43f667b575451fd1b2225720c4d5a6301f98f666cffef4bf41e40573d60e1fdfa682fc31193d498508fab20a8026609b2b50fb1189a42421d997e60f4048c68268c5a03641b195218e17fc9c4cea73e17bebd39f3cff5d198f0629abf10072dd62c70bf9b413b1696acc45855dd4f99786f77f885119e85d15368f4043286f697af989f742 ...

进程相关搜索某一个进程(以进程Server为例)ps -ef | grep 进程名 # 根据进程名查看进程信息netstat -tunlp | grep 端口号 # 根据端口查看对应进程，查看占用8080端口的进程id 举例 ps -ef | grep Servernetstat -tunlp | grep 8080 关闭进程kill -9 端口号 举例：例如要关闭端口号为8088的进程 kill -9 8088 防火墙相关放行端口firewall-cmd --zone=public --add-port=4568/tcp --permanent # 开放4568端口firewall-cmd --zone=public --remove-port=4567/tcp --permanent #关闭4567端口firewall-cmd --reload # 配置立即生效 基本命令查看当前命令 pwd 用管理员权限打开文件管理器sudo nautilus chmod +x /etc/rc.d/init.d/xiaomiqiu_start.shcd /etc/rc.d/init.dc ...

封装客户端操作EasyTcpClient.hpp #ifdef EasyTcpClient.hpp #define EasyTcpClient.hpp#endif#ifdef _WIN32 #define WIN32_LEAN_AND_MEAN #define _WINSOCK_DEPRECATED_NO_WARNINGS #define _CRT_SECURE_NO_WARNINGS #include <WinSock2.h> #include <windows.h> #pragma comment(lib,"ws2_32.lib")#else #include <unistd.h> //uni std #include <arpa/inet.h> #include <string.h> #include <stdint.h> #define SOCKET int #define INVALID_SOCKET (SOCKET)(~0) #define SOCKET_ERROR ...

f666a1e82130d441cf5f17739ffab4075a317a77dcaf23bc89a4de7efe3e46fd2a83a77c7a3b7f6abd664ff4b11fdbe8f8c94ff21c4efc494c58402484dbd8cd839688ae9a38c0f112b4ce749acdd894f9a11ded17c2ec2ed9ac8912b48592c0ee4f4d7925e4543c93aacd0a585de3e15ecdbd89f4b40faac687b36efa6bbc449b3791668b3f3a5f3096712ab8f3c788686aba0c272935ff33c7886abe0bf8be5ce2d297f2f5e047849258741b6c2fec1bc9c32510f0560fec760b8b99476462d887dff0fe27da6ca617478a652f9a5a73cc6d7e2c22734a29f3688cbeb80c54b7a3c2eda22fe687b50ff0629749efb0ea7e56113bb4a5483 ...

f666a1e82130d441cf5f17739ffab407d3700cc5340db38aca8cc539ab20da66955efd2229a88f228c2b043e435c632234ba58b9599b5db4b315db24ea1b712ffda270aa7ecfeb9bb15204a9e2b665faa99d7dc1f44755898b8a4c13ef5c4e75693ff484b9043ddbf7e02452aa852453a1f2169c2e78244c91f9cedc486857f58ddebe03739017a0f0c8fad7829e6c863ad8de560ae7df1b4c3021031958502fbd651fe5815aaabc24e907a929795c4cc6aa6eb605c57f320585bc5f219625ad8530e074ccd933d19870b1bdfa1467c5fbf33a97f221a58b62387520c75882ee34f7e690b3ccec362968080bb4ecc7cb9b5a1bafcc33d7ab4 ...

首先连接内网登录平台 一般使用的话，直接找到开发环境一栏，创建环境。然后通过Pycharm中的ssh连接 在Pycharm中，找到工具—部署—配置 点击+后选择SFTP 在SSH配置那里后点击后面... 进入后填写主机名和用户名，这里详细讲一下 例如平台给的ssh连接是 ssh://root@paas.xxx-xxx-xx-xx.nip.io:xxxxx 这里用户名就需要填写 root 主机名填写 paas.xxx-xxx-xx-xx.nip.io 端口号填写xxxxx 然后填写创建环境时设置的密码 这一步完事以后，点击确定，返回到之前的页面，点击映射 配置好本机的地址和远程的地址，点击确认 之后选择工具—部署—选项 可以根据自己习惯决定是否配置一下 之后就可以用Pycharm作为修改代码和文件传输的工具了 由于Pycharm自带的终端个人认为并不好用，所以可以使用Xshell软件使用终端操作，Xshell的配置同上 由于已经在里面安装了Anaconda，所以每次跑一个项目的时候新建一个虚拟环境即可 切换环境conda activate cu118py310 查看并删 ...

客户端代码： #ifdef _WIN32 #define WIN32_LEAN_AND_MEAN #define _WINSOCK_DEPRECATED_NO_WARNINGS #include <WinSock2.h> #include <windows.h> #pragma comment(lib,"ws2_32.lib")#else #include <unistd.h> //uni std #include <arpa/inet.h> #include <string.h> #include <stdint.h>#define SOCKET int#define INVALID_SOCKET (SOCKET)(~0)#define SOCKET_ERROR (-1)#endif#include <iostream>#include <thread> //C++标准线程库bool g_bRun = true;using namespace ...

这次要复现的一个项目是KnowLog，首先创建一个虚拟环境 conda create KnowLog -n python=3.8conda activate KnowLog 然后来到项目的根目录，安装项目所需的环境 pip install -r requirements.txt 之后尝试运行训练的部分 python KnowLog_pretrain.py --pretrain_data ./datasets/pre-train/all_log.json --abbr ./datasets/pre-train/abbr.json --base_model bert-base-uncased 毫无意外的会出报错，提示少了什么包，这时候提示缺什么用pip安装即可 再安装完这些包之后，再次尝试训练，出现了下面这个错 查了一下是python关于SSLError的错误，尝试降级版本解决 pip install urllib3==1.25.11 成功解决问题，开启魔法可以正常下载了 但是发现下载一半又断开连接了，可能是这种下载方式不支持断点续传，于是打算先把预训练模型下载到本地试试 huggi ...

服务端 #define WIN32_LEAN_AND_MEAN#define _WINSOCK_DEPRECATED_NO_WARNINGS#include <iostream>#include <WinSock2.h>#include <Windows.h>//只有在WIN里可以#pragma comment(lib,"ws2_32.lib")#include <vector>#pragma region 结构体定义enum CMD { CMD_LOGIN, CMD_LOGOUT, CMD_ERROR, CMD_LOGIN_RESULT, CMD_LOGOUT_RESULT, CMD_NEW_USER_JOIN};struct DataHeader { short dataLength; short cmd;};struct Login : public DataHeader {//DataPackage Login() { dataLength = si ...