NOT

离散数学推理与证明方法 用定义证明（最基本） 数理逻辑 基本等值式 推理定律 直接证明法 附加前提证明法 反证法（包括消解法） 替换规则（整体思想） 构造证明（难想到） 集合论 集合恒等式，等值式 证明相等可以证明相互包含 证明递归可以用数学归纳法（幂运算） 空集属于任意一个集合。 证明时往往会去寻 ......

https://www.cnblogs.com/SjhCode/p/excelAndPic.html 批量导入图片--Excel与zip压缩包 导入excel和图片其实很简单，就是导入包与调用几个简单的方法，主要对接业务操作比较繁琐。 在excel中填入图片的名称（不用带后缀） 对应的zip包 导入 ......

负数转正整数 Long user = ~(Long.parseLong(userId)-1); Math.abs(userId) Enum枚举 几种常用的枚举 一、直接写成员 public enum EnumResultType { ex,notMatch,success,busy } 成员取出是用 ......

https://www.cnblogs.com/SjhCode/p/thread.html Synchronized 原文：http://blog.csdn.net/luoweifu/article/details/46613015作者:luoweifu 同步线程 1.一个线程访问一个对象中的syn ......

https://www.cnblogs.com/SjhCode/p/docker.html 阿里云镜像获取地址：https://cr.console.aliyun.com/cn-hangzhou/instances/mirrors docker启动命令 1 启动docker systemctl st ......

https://www.cnblogs.com/SjhCode/p/17314622.html 使用扁平化前 @Getter @Setter @ToString public class Account { private Location location; private PersonInfo ......

环境复制 方法 1：使用 conda create 命令的 --clone 参数可以直接复制一个环境 conda create --name <new_env> --clone <myenv> 方法 2：由于 conda 的环境其实是以一个文件夹的形式存在于 anaconda 的安装路径下，所以也可 ......

以下是一个简单的C程序，用于连接两个字符串： cCopy code #include <stdio.h> #include <string.h> int main() { char str1[50], str2[50]; printf("请输入第一个字符串："); fgets(str1, 50, s ......

以下是一个简单的C程序，用于查找一个字符的ASCII值： cCopy code #include <stdio.h> int main() { char c; printf("请输入一个字符："); scanf("%c", &c); printf("字符 %c 的ASCII值为 %d\n", c, ......

#include<iostream> #include<cmath> using namespace std; float sb(float a,float b,float c,float d,float x) { return a*x*x*x+b*x*x+c*x+d; } float nt(flo ......

一个无环连通图可以被视作一个树。 树的高度取决于所选取的根节点。 现在，你要找到可以使得树的高度最大的根节点。 它被称为最深的根。 输入格式 第一行包含整数 N，表示节点数量。 节点编号为 1∼N。 接下来 N−1 行，每行包含两个整数，表示两个节点之间存在一条边。 输出格式 输出最深的根的节点编号 ......

二叉搜索树 (BST) 递归定义为具有以下属性的二叉树： 若它的左子树不空，则左子树上所有结点的值均小于它的根结点的值 若它的右子树不空，则右子树上所有结点的值均大于或等于它的根结点的值 它的左、右子树也分别为二叉搜索树 我们将二叉搜索树镜面翻转得到的树称为二叉搜索树的镜像。 现在，给定一个整数序列 ......

供应链是由零售商，经销商和供应商构成的销售网络，每个人都参与将产品从供应商转移到客户的过程。 整个销售网络可以看作一个树形结构，从根部的供应商往下，每个人从上一级供应商中买入商品后，假定买入价格为 P，则会以高出买入价 r% 的价格向下出售。 只有零售商（即叶节点）可以直接将产品销售给顾客。 现在， ......

供应链是由零售商，经销商和供应商构成的销售网络，每个人都参与将产品从供应商转移到客户的过程。 整个销售网络可以看作一个树形结构，从根部的供应商往下，每个人从上一级供应商中买入商品后，假定买入价格为 P，则会以高出买入价 r% 的价格向下出售。 只有零售商（即叶节点）可以直接将产品销售给顾客。 现在， ......

简介 Primo Ramdisk 软件的主要功能是通过独特的软件算法将物理内存模拟成一个超快速的硬盘，在这个虚拟硬盘上的读写操作均在内存中完成。由于物理内存的访问速度远远超过物理硬盘，因此虚拟硬盘具有非常高的数据读写速度，从而突破系统IO瓶颈，飞速提升计算机性能。 Primo Ramdisk 具有一 ......

Zookeeper 是一个分布式协调服务，用于维护数据的一致性和分布式应用程序的协同工作。在 Zookeeper 集群中，选举是一个重要的过程，用于确保集群的高可用性。以下是 Zookeeper 选举的基本流程： 1. Zookeeper 集群中的每个节点都有一个编号，称为 myid。2. 当 Zo ......

前情 最近在维护一些老项目，本地开发环境跑不起来，需要根据cmd中的报错来解决一些环境问题 坑位 在解决环境错误的时候，cmd命令行日志打印出来的是一堆乱码，导致看不清具体是什么错误 Why? cmd行打印的日志乱码，很大可能是因为cmd命令行窗口字符编码不匹配导致 解决方案 方式1：命令行中执行： ......

来自chartGPT的写法： const arr = [1, 2, 3, 4, 5, 6, 7, 8, 9, 10]; const divNum = 4; // 每个div上最多只能有4个数字 for (let i = 0; i < arr.length; i += divNum) { const ......

写了：使用frame做了一个捡漏的界面问题：界面不够完善准备：完善界面 ......

4.21： 简单RBAC项目获取用户所在权限的菜单项 第一款方案：用户表、用户角色表、角色表、角色权限表、权限表五表联查 public List<PermissionDto> GetMenus(long userid) { //获取全部的数据 var user = _dbContext.Users. ......

一个合法的身份证号码由17位地区、日期编号和顺序编号加1位校验码组成。校验码的计算规则如下： 首先对前17位数字加权求和，权重分配为：{7，9，10，5，8，4，2，1，6，3，7，9，10，5，8，4，2}；然后将计算的和对11取模得到值Z；最后按照以下关系对应Z值与校验码M的值： Z：0 1 2 ......

机制：受限直接执行（原书第六章） 时分共享技术带来的两个挑战 性能问题即 ：在不增加系统开销的情况下实现虚拟化 控制权问题，如何有效的运行进程同时保留对CPU的控制 因此这里的目标就是：操作系统必须以高性能的方式虚拟化CPU，同时保持对系统的控制 基本技巧：受限直接执行 前面介绍过，操作系统在运行程 ......

数据结构实验课检查实验时，不知道怎么回事，运行vscode时可能碰到了哪个按钮，跳出来一个问题，英语不好没有仔细看就输入了yes，然后成功地把实验文件夹里面所有文件都删了，检查完实验再删也就算了，实验没有检查就删了，下次检查会扣分，加上我把后面一个实验也做好了，我冷汗都吓出来了，是真的体会到代码就是 ......

https://www.cnblogs.com/SjhCode/p/instanceof.html 引用原文链接：https://blog.csdn.net/YXXXYX/article/details/120205124 概念：instanceof 概念在多态中引出，因为在多态发生时，子类只能调用 ......

https://www.cnblogs.com/SjhCode/p/Iterator.html java 迭代器使用 原文链接：https://blog.csdn.net/ACE_kk/article/details/126182500 一、前言在迭代器（Iterator）没有出现之前，如果要遍历数 ......

https://www.cnblogs.com/SjhCode/p/WebSocketClient.html 注意事项： 1.@Scheduled(fixedDelay = 5000) 2.心跳检测 3.导入依赖与导包 <dependency> <groupId>org.java-websocket ......

以下是一个简单的C程序，使用循环从A到Z显示字符： cCopy code #include <stdio.h> int main() { char ch = 'A'; while (ch <= 'Z') { printf("%c ", ch); ch++; } printf("\n"); retur ......

以下是一个简单的C程序，用于计算整数中的位数： cCopy code #include <stdio.h> int main() { int num, digit = 0; printf("请输入一个整数："); scanf("%d", &num); while (num != 0) { digit ......

阿里云ECS linux操作系统 tomcat域名配置SSL 启用域名https 1、解压已保存到本地的Tomcat证书文件。 解压后您将看到文件夹中有以下文件： 证书文件（domain_name.pfx） 密码文件（pfx-password.txt） 说明 本文中证书名称以domain_name为 ......

clipboard只有在安全域名下才可以访问(https、localhost), 而http域名下只能得到undefined。 例如现在想要实现点击"分享"按钮，将当前页面的url复制到剪贴板： const clipboard = navigator.clipboard if (clipboard) ......