NOT
形式化建模与分析方法知识点
这个是比较针对期末复习的知识点整理，根据我的复习随缘更新，如果发现有些部分没写那就是因为我还没复习到（大概） （PS：这些知识点中有很大部分来自老师的PPT，也有一部分来源于学长学姐整理的资料，最后也有一小部分来源于我自己的总结） 一.简答题 1.串行系统的程序正确性定义。 2.有限状态机的不足之处 ......
编写一个程序，要求用户输入最多10个高尔夫成绩，并将其存入到一个数组中。程序允许用户提早结束输入，并在一行上显示所有成绩，然后报告平均成绩。请使用3个数组处理函数来分别进行输入、显示和计算平均成绩。
#include <iostream> #include <vector> using namespace std; static int num = 0; struct Donation { string name ; double money = 0; }; int avg(int &a,int ......
UniPDFFrame1(72)
procedure TfrmSysDeptAdd.UniPDFFrame1FrameLoaded(Sender: TObject); begin // download button UniSession.AddJS (UniPDFFrame1.JSName + '.iframe.contentWi ......
综合设计——多源异构数据采集与融合应用综合实践
这个项目属于哪个课程 2023数据采集与融合技术 (福州大学 - 福州大学计算机与大数据学院) 组名、项目简介 组名：你在跟我作队项目需求：(1)音视频转文字准确性 (2)实时性 (3)多语种支持 (4)扩展性项目目标：①搭建轻量级网站平台提供交互。②利用大模型及第三方库解析音视频及图片。③性能测试 ......
Docker使用手册--给你通用常用命令
卸载JDK rpm -qa | grep -i java rpm -qa | grep -i java | xargs -n1 rpm -e --nodeps 安装JDK tar -zxvf jdk-8u351-linux-x64.tar.gz vim /etc/profile export JAV ......
2023-12-14 npm和yarn无法拉取依赖，cnpm可以 ==》切换镜像源
这两天遇到个问题，是关于依赖无法拉取的问题，尽管我有三分猜到了是什么原因，但我还是不肯往那个方向思考，哎，真是死牛一便颈。 如，我要给前端项目装个express框架，用npm装，装了大半天一点反应都没有，用yarn装就直接报网络无法连接，如图： 用cnpm装就没问题，秒过。 注意：我的电脑是能正常上 ......
【THM】SSRF伪造
SSRF 示例 直接拼接用户输入的url。 服务器指定url后用户可以拼接一些其他 用户可以控制子域名 指明接口服务器，去做验证。 查找 SSRF 可以通过许多不同的方式在 Web 应用程序中发现潜在的 SSRF 漏洞。以下是四个常见位置的示例： 在地址栏中的参数中使用完整 URL 时： 表单中的隐 ......
关于再次出现 Could not open client transport with JDBC Uri: jdbc:hive2://node1:10000: java.net.ConnectException: 拒绝连接 (Connection refused) (state=08S01,code=0)
写在最前边——我报错是因为空间不足 当我时隔两个月再次看到这个报错的时候我是感到绝望的—— ——然而当我查了一遍百度发现唯一一个拥有相同报错解决方法的博客出自我之手的时候我的崩溃的—— ——在我发现曾经的方法无法解决现在的我的报错的时候，我觉得我的心都碎了QAQ 在经历了三天无果的尝试之后，我决定试 ......
第六章：应用安全基础
##教材学习总结 思维导图：总揽全局 各个小节思维导图及简介 第一节：应用安全概述 简介：密码技术是核心支撑技术，系统安全技术与网络安全技术是应用安全技术的基础和关键技术 *身份认证是保障应用安全的基础 *访问控制是应用系统信息安全必不可少的组成部分 *大数据本质上是一种方法论 第二节：身份认证与信 ......
Day30 了解什么是方法
什么是方法？ System.out.printin（），那么它是什么呢？ （System是类 out是一个对象 printin则是方法） 意思是调用系统中的一个对象中的发放 Java方法是语句的集合，它们在一起执行一个功能。 方法是解决一类问题的步骤的有序组合 方法包含于类或对象中 方法在程序中 ......
Taylor定理
 ）
在 C++ 中，resize() 是一种用于调整容器大小的成员函数，它通常用于 std::vector、std::string 等标准库容器。这个函数允许你改变容器中元素的数量，可以增加或减少容器的大小。 对于 std::vector： #include <vector> #include <ios ......
综合设计——多源异构数据采集与融合应用综合实践
这个项目属于哪个课程 2023数据采集与融合技术 组名、项目简介 组名：Double 20000、项目需求：设计出一个交互友好的多源异构数据的采集与融合的小应用 、项目目标：通过在网页中上传文本、图片、视频或音频分析其中的情感 、项目开展技术路线：前端3件套、Python、fastapi 团队成员学 ......
实验6_C语言结构体、枚举应用编程
4.task_4 1 #include <stdio.h> 2 #define N 10 3 4 typedef struct { 5 char isbn[20]; 6 char name[80]; 7 char author[80]; 8 double sales_price; 9 int sal ......
C++（clear()）
在 C++ 中，clear() 是用于清除流的状态和控制信息的成员函数，通常用于输入流（例如 std::cin）和输出流（例如 std::cout）。 对于输入流： #include <iostream> int main() { int num; std::cin >> num; // 检查输入流 ......
unity 添加插件XR Interaction Toolkit 无法找到的解决办法
若在Unity 中 Package Manager 找不到XR Interaction Toolkit 包，可以点击下图所示的 “+” 号，选择 Add Package from git URL ，输入 com.unity.xr.interaction.toolkit，即可导入 如下图： ......
Zotero使用笔记
1、下载导入论文 第一种：打开谷歌学术，输入关键词，然后我们能看到相关的论文，最后点击黄色的文件袋，选择想要导入的论文。—— 注意：Zotero也需要打开。 第二种：进入Zotero 通过点击标识符，输入专属的ISBN或DOI，生成条目。 第三种：进入Zotero 点击+按钮，手动添加 第四种：将P ......
电加热器设计: 1升水温度上升一度要1000卡。
1升水温度上升一度要1000卡。 分析及过程： m = p·V=1.0×10³kg/m³ × 10-³m³ =1kg Q=c·m·△t =4.2×10³J/（kg℃） × 1kg × 1℃ = 4200J = 1000K ∵1卡≈4.2J, ∴4200J=1000卡。 ∴1升水温度上升一度要1000 ......
终于大功告成了！
大家好，我是良许。 前两个月，我搭建了一个嵌入式学习网网址是： www.lxlinux.net/e ，里面分享的都是我的所有原创干货文章，大家一定要收藏起来，以免错过我的最新干货哦～ 网站刚创建，里面没有多少内容，于是，我又花了半个月的时间，把我之前写过的所有的原创文章全部搬运到了网站里啦！ 现在， ......
关于完善文件上传的下载模块
关于完善文件上传的下载模块 1.文件大小限制： 设置文件大小的上限，以防止大文件占用过多系统资源。同时，需要在用户界面上提供清晰的提示，说明上传文件的大小限制。 在前端，你也可以通过限制用户上传文件的大小，减轻服务器的压力。 在 HTML 表单中添加 accept 和 maxlength 属性： h ......
2023年度总结
又到了一年一度的总结时刻。对自己一年的工作做一些复盘和反思。从成败之中汲取经验教训，希望明年能更进一步。 首先总结一下今年的一些工作，一月份至二月份主要完成了两件事，去年设计完成的芯片进行Signoff，以及投稿VLSI，中间插了个过年。时间紧任务重，大年夜家人在打牌，我在旁边赶论文。从老家回来的车 ......
python虚拟环境（windows）
1.先安装virtualenv pip install virtualenv 2.进入要创建虚拟环境的目录 3.创建一个虚拟环境，虚拟环境名称我们用venv_test python -m venv venv_test 现在可以看到当前目录多了一个venv_test目录 4.激活这个虚拟环境 venv ......
数字孪生为何越来越受欢迎？
数字孪生（Digital Twin）作为一个概念，正在不断引起各行各业的关注和迅速发展。它是一种将物理实体或系统与其数字化虚拟模型相结合的技术，为企业和组织提供了全新的可能性。下面我就以可视化设计从业者的角度来进行简单探讨。 数字孪生可以通过实时监测物理实体的数据，并结合模型和算法进行分析，能够准确 ......
【删除链表的倒数第N个节点】双指针
leetcode 19. 删除链表的倒数第 N 个结点 题解1：通过链表长度获取[倒数第n个节点]位置 计算链表长度 找到[倒数第N个节点]的前一个节点 删除[倒数第N个节点] 注意特殊情况：删除的是第一个节点时，直接返回第二个节点即可 点击查看代码 /** * Definition for sin ......
2023-2024-1 20232301 《网络》第六周学习总结
教材学习内容总结 教材学习中的问题和解决过程 问题1：对于习题中“如果针对差分你的一个统计查询是否可以无限制的进行重复查询？为什么？”这个问题经思考无果，存在困难 问题1解决方案：询问chatgpt，得到了以下答案： 在差分隐私（Differential Privacy）的上下文中，无限制地进行重复 ......
实验六
task 1 1 // P286例8.17 2 // 对教材上的程序作了微调整，把输出学生信息单独编写成一个函数模块 3 // 打印不及格学生信息和所有学生信息程分别调用 4 5 #include <stdio.h> 6 #include <string.h> 7 #define N 3 // 运行 ......
语义化版本 2.0.0
摘要 版本格式：主版本号.次版本号.修订号，版本号递增规则如下： 主版本号：当你做了不兼容的 API 修改， 次版本号：当你做了向下兼容的功能性新增， 修订号：当你做了向下兼容的问题修正。 先行版本号及版本编译信息可以加到“主版本号.次版本号.修订号”的后面，作为延伸。 简介 在软件管理的领域里存在 ......
Free音乐
目录 一、原型设计工具比较 1.墨刀 2.Axure 3.Mockplus 二、原型设计 1.主题名称 2.原型功能 3.界面设计考虑因素 4.界面切换介绍 5.界面切换流程图 一、原型设计工具比较 1.墨刀 适用领域 墨刀是一款在线的移动应用原型与线框图工具。借助于墨刀，创业者、产品经理及UI/U ......
C 语言注释和变量详解
C 语言中的注释 C语言中可以使用注释来解释代码并使其更具可读性。它还可以在测试替代代码时防止执行。 单行注释 单行注释以两个斜杠 (//) 开头。 // 和行末之间的任何文本都会被编译器忽略（不会被执行）。 此示例在代码行之前使用单行注释： // 这是一个注释 printf("Hello Worl ......