常量const 03
2023-03-28 图的基本表示
图的基本表示 1 图的分类 无向图 Undirected Graph 有向图 Directed Graph 无权图 Unweighted Graph 有权图 Weighted Graph 方向和权重组合可以得到如下四种常见的图： 优先讲无向无权图 无向无权图 无向有权图 有向无权图 有向有权图 2 ......
每日总结2023-03-27
选题 今天选定了服务外包杯的题目，三个人准备分工完成不同部分的内容，初步画出大概界面，后台等思路决定等完成基本构建再进行实现。 准备 通过审题，命题方向为消费互联方向，具体时在网约车上实现销售功能，可以通知司机端和后端货物缺少信息，在最近的充电站点、加油站点进行补货等操作，司机可以通过司机移动端进行 ......
python-03
1、if 判断语句1.单分支 ： 如果 。。。。 否则就。。。。 if +条件判断 如果满足条件就执行语句1 语句1 else: 否则就执行语句2 语句2 a=10 if a%2==0: print('这是一个偶数') else: print('这就是一个奇数') 2、if多分支： 如果 。。。就。 ......
UI自动化-03
import unittest'''1.使用什么定位方法：一般使用id，name，class，比较方便点，如果标签中这些属性都没有，就会使用xpath和css，有时候针对一些文本也会使用link_text2.定位不到元素，是什么原因？ 1.所有定位的元素在一个新窗口页面上，需要switch_to.w ......
Python基本知识(编程语言、数据类型、变量与常量、运算符、格式化输出以及解释器)
什么是编程语言？ 编程语言是人类与计算机之间交流的媒介，如Python、go、Java、c语言等等。 什么是编程？ 程序员将自己的逻辑和想法用计算机能够读懂的语言写下来的过程。编程结果是产生一对文件。 Python的八大数据类型概览 1. 字符串string(用来存放文本) # 有四种表现形式 na ......
log-2023-03-03
TODO: Halpern and Pearl's actual causality model Finalize the spec for each protocol PAPERS: Actual Causality Introduction to Temporal Logic An Introd ......
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.拼凑 ......
3、常量
1.概念: 同变量类似，程序执行过程中数值不能改变 2.语法: 显式类型定义 隐式类型定义 package main import ( "fmt" ) func main() { // 固定值常量 fmt.Println(100) fmt.Println("hello Go") // 常量名一般使用 ......
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 ......