03
log-2023-03-07
TODO: Tiramisu TPG construction Layer 2: Ifaces have the same prefix (and in the same vlan area, if any): @A-(AB link)-out->@B-(AB link)-in, @A-(* lin ......
log-2023-03-20
TODO: FT generation Diagnosis PAPERS: * CODE: CONFUSIONS: * CONCLUSIONS: Symbolic Execution 和 Model Checking的区别 确定性程序和不确定性：把不同的程序块（一个入口进一个入口出）看作不同状态，确 ......
H7-TOOL发布固件V2.21, 增加RTT快捷面板功能，脱机烧录增加英飞凌，Qorvo以及NXP，普冉，华大，灵动微等新系列（2023-03-26）
H7-TOOL所有资源汇总（含操作手册）： http://www.armbbs.cn/forum.php?mod=viewthread&tid=89934 PC机软件：升级PC软件到V2.2.1 h7toolPC_release(V2.2.1).zip (81.80MB) 【PC软件】V2.2.1 ......
【2023-03-25】连岳摘抄
23:59 与其为数顷无源之塘水，不若为数尺有源之井水，生意无穷。 ——王阳明 正常人不会瞧不起你父亲。我尊重他，佩服他。他这辈子用一点苦力钱，撑起了一个家，一点也没亏待你这个女儿。你读三本民办，就花大钱让你读。你在家考研，就让在家备考。穷是穷，但该做的事都做了，该尽的责都尽了，相当有尊严。所谓的“ ......
【2023-03-24】主次分明
20:00 乐观的作用是无法估量的，只要你怀揣着对未来的积极信念，你一定可以过得更幸福。 ——马丁·塞利格曼 随着二宝的生长发育，无论是大肢体动作，还是行为意识，都在改变。活动速度快了，有自主想法了，性格也调皮多了。现在连喝个奶，也要花从前好几倍的时间和精力。好奇心极强，稍微有什么风吹草动，就要扭过 ......
【2023.03.27】乐乐兄弟中华街系列8962短评
前言 本人是自费购买积木，购买原因是给妹妹培养动手能力，减少短视频占用时间，其次是给家里做摆饰，所以选择积木多考虑了美观 非专业评测，如果想看更多积木评测请点进我的博客主页分类查看 正文 街景共有八套组成，这个品牌的积木有个不错的点就是每套积木都送了人仔，刚好我又是比较缺人仔的 整体稳固性一般，几个 ......
【2023.03.27】启蒙keeppley神威铜狮K10111短评
前言 本人是自费购买积木，购买原因是给妹妹培养动手能力，减少短视频占用时间，其次是给家里做摆饰，所以选择积木多考虑了美观 非专业评测，如果想看更多积木评测请点进我的博客主页分类查看 正文 启蒙这套故宫系列确实很好看，其中最有名的应该就是这款铜狮子了 我拼了金色的雄狮子，妹妹拼了银色的雌狮子，启蒙的手 ......
AI基础_Day03
猜拳游戏 a. 两个角色 玩家 player - 电脑 robot b. 动作: 石头 0 , 剪刀 1, 布 2 c. 我的出拳: 由输入完成 d. 电脑的出拳: 随机数完成 e. 比较出拳 f. 相等 - 平局 g. 玩家赢: p0:r1 p1:r2 p2:r0 h. 剩下的情况就是电脑赢 if ......
每日总结2023-03-26
今天进行了Android的页面的优化设计，更改结果集的布局高度，使得结果可以全部显示，代码量大概40。 public class MainActivity extends AppCompatActivity { private TextClock tcDateTime; @Override prot ......
2023-03-27 哈希表
哈希表 1 哈希表基础 以LeetCode387号问题为例 /*********************************************************** * @Description : LeetCode387号问题 * https://leetcode-cn.com/p ......
oop题目集01-03小结
oop训练集一 * 计算年利率 * 身体质量指数测算 * 九九乘法表（双循环） * 快递运费 * 去掉重复字符 * 统计一个子串在整串中出现的次数 * 有重复数据 * 从一个字符串中移除包含在另一个字符串中的字符 * Prime Numbers * GPS数据处理 * 求定积分 * 列出最简真分数序 ......
JAVA面向对象程序设计_PTA题目集01-03总结分析
前言： JAVA_BLOG_PTA题目集1-3_总结分析 题目集一 知识点：主要覆盖了JAVA基本语法，例如数据类型、字符、数组等基础知识。 题量：题量较大。 难度：以五颗星为基准，难度大约在两颗，基础知识中与C具有一定程度的重叠和交互，学习难度不大，算法难度偏容易，但由于新接触JAVA，仍存在一定 ......
2023.03.24总结
题目1：abc239_f 题意 有 $n$ 个点，$m$ 条无向边，现在要再建 $n - m - 1$ 条边，使整个图连通且第 $i$ 个点的度数为 $d_i(1 \le i \le n)$。请确定是否有这样的建造方式，如果存在，就输出一种。 $2 \le n \le 2 \times 10^5,0 ......
Python day03
## day3 ## 今日内容 1.整型 2.布尔类型 3.字符串 ### 内容回顾和补充 ### 内容回顾 每周写一个思维导图，罗列本周学习的知识点 1.运算符补充 - in - not in ### 2.优先级 ### 作业 ```python """ 需求：用户三次登录 1.功能拆分 2.拼凑 ......
Go03-函数+包+异常处理
Go03-函数+包+异常处理 1.函数的基本介绍 func main() { // 1 为完成某一功能的程序指令的集合，成为函数。 // 2 函数分为自定义函数和系统函数。 // 3 函数的定义，使用关键字func来定义一个函数。 /* func 函数名 (形参列表) (返回值列表) { 函数执行的 ......
C/C++个人记账系统[2023-03-26]
C/C++个人记账系统[2023-03-26] (1)用户注册: 用户通过注册功能注册成功后跳转至登录页面方便登录 (2)用户登录: 用户登录成功后 信息管理:用户可以修改个人的信息 财务管理:用户可以查看自己的财务信息和做一些新的财务记录 财务统计:用户可以查看自己的月收支或年收支，以便做到心里有 ......
03_数字证书实验
《信息安全综合实践》实验报告 数字证书 一、实验目的 了解密码技术的应用 学习OpenSSL 的相关命令及应用, 了解数字证书的管理 了解数字证书的应用 二、实验内容 | 序 | 内容 | 实验结果 | | | | | | 1) | OpenSSL加解密 | - [ ] 失败 - [√ ] 成功 | ......
密码学SAT入门文献03——Encoding Cryptographic Functions to SAT Using TRANSALG System
Algebraic and Logic Solving Methods for Cryptanalysis Abstract In this paper we propose the technology for constructing propositional encodings of dis ......
03.信息系统项目管理基础
1. 信息系统项目管理基础 1.1. 项目管理基础 1.1.1. 项目的概念 定义：项目是为提供一种独特的产品、服务或成果所做的临时努力。 1.1.2. 项目的特点 临时性：是指每一个项目都有确定的开始时间和结束日期。临时性一般不适用项目所产生的产品、服务或成果。大多数项目是 为了得到持久的结果。例 ......
C/C++南邮图书馆管理系统[2023-03-25]
C/C++南邮图书馆管理系统[2023-03-25] 程序设计题：南邮图书馆管理系统 面向专业：光电信息科学与工程 出题人：周剑 难度等级:4 1 问题描述 该系统要求建立一个南邮图书馆管理系统，并具有排序、查找、计算、显示等功能。通过此课题，熟练掌握文件、数组、指针的各种操作，以及一些算法思想的应 ......
2023-03-26 红黑树
红黑树 1 红黑树与2-3树 红黑树举例 《算法导论》中堆红黑树的定义 首先红黑树一定是一棵二分搜索树BST 1.每个节点或者是红色的，或者是黑色的 2.根节点是黑色的 3.每一个叶子节点(最后的空节点)是黑色的 4.如果一个节点是红色的，那么它的孩子节点都是黑色的 5.从任意一个节点到叶子节点，经 ......
每日总结2023-03-25
今天进行了Android的北京地铁查询，代码量100行左右， package com.example.ditie; import androidx.appcompat.app.AppCompatActivity; import android.annotation.SuppressLint; imp ......
C/C++保安值班安排系统[2023-03-25]
C/C++保安值班安排系统[2023-03-25] 题目十五：保安值班安排系统 问题描述：某公司有7名保安人员，由于工作需要进行轮休制度，一星期中每人休息一天。 预先让每一个人选择自己认为合适的休息日。请编制一程序，打印轮休的所有可能方案。当然使每个人都满意，例如每人选择的休息日如下: 赵:星期二、 ......
2023-03-25 单链表LinkList的基本操作
1 #include <stdio.h> 2 #include <stdbool.h> 3 #include <malloc.h> 4 typedef struct LNode 5 { 6 int data; 7 struct LNode *next; 8 }LNode,*LinkList;//相当 ......
pta第一部分总结oop训练集01-03
（1）前言： 知识点： oop训练集01（题目量大，难度大） 7-1：简单的输入输出以及if语句的运用。 7-2：简单的输入输出以及if语句的运用。 7-3：简单的输入输出以及if语句的运用和双重循环的运用。 7-4：简单的输入输出以及if语句的运用以及对输出精度的控制。 7-5：简单的输入输出以及 ......
MySQL2023-03-25
I already have a student table, how can I create a table with same structure? To create a new table with the same structure as an existing table in My ......
【LeetCode动态规划#03】整数拆分（数学题）
整数拆分 力扣题目链接(opens new window) 给定一个正整数 n，将其拆分为至少两个正整数的和，并使这些整数的乘积最大化。 返回你可以获得的最大乘积。 示例 1: 输入: 2 输出: 1 解释: 2 = 1 + 1, 1 × 1 = 1。 示例 2: 输入: 10 输出: 36 解释: ......
C++餐厅点餐结算系统[2023-03-25]
C++餐厅点餐结算系统[2023-03-25] 题 目 某餐馆根据实际需要欲开发一套《餐厅点餐结算系统》，具体要求如下： 1、系统用户包括消费者、收银员、厨师、服务员、餐厅老板、系统管理员等。 2、消费者现场自行点餐并自动分配餐位，得到小票。 3、收银员负责对小票进行结算并收费，当消费金额不足500 ......
连网2023-03-25
.255 mac地址全f， 是广播地址 192.168.1.255 ff-ff-ff-ff-ff-ff static 192.168.1.1 d4-9e-05-8f-1c-f6 dynamic 网关 路由器隔离广播域 In computer networking, a broadcast domai ......