geekchen的博客

原创 Maven项目常见各类 Q&A

在 Maven 中，argline是一个用于配置 JVM 参数的属性，它允许你在构建或运行 Maven 插件时传递参数给 Java 应用程序。同样，对于 ${maven-plugin-annotations.version}这一类参数：会自动到主项目的pom.xml去看设置的参数值；

原创 CCF csp认证 小白必看

c++支持到C++17(还是更高?所以学一些封装好的函数功能是必要的---比如STL里的函数；因为可携带纸质资料，建议打印带入，需要时可翻阅。【题目概述:】

原创 虚拟机共享文件夹开启后mnt/hgfs/下无sharefiles？ --已解决

虚拟机中的共享文件夹（Share Folders）没有自动/mnt/hgfs。

原创 Maven 解析：打造高效、可靠的软件工程

Apache Maven【简称maven】 是一个用于 Java 项目的构建自动化工具，通过提供一组规则来管理项目的构建、依赖关系和文档。

原创 maven项目下使用Jacoco测试覆盖率

【本文前提是了解maven项目及其Pom.xml机制，不熟悉可以看该博客的0.部分JaCoCo（Java Code Coverage）是一个开源的代码覆盖率工具，专门用于测量 Java 应用程序的代码覆盖率。注意，测试覆盖率自然是在。

原创 Auto-Unit-Test-Case-Generator工具--java项目测试用例自动生成

Auto-Unit-Test-Case-Generator是一款工业级智能单元测试用例生成产品，致力于解决单测领域下用例的自动生成、执行、汰换、管理。使用Auto-Unit-Test-Case-Generator，能够在无人介入的情况下自动生成高覆盖率、高有效性的单元测试用例集，智能化提升质量水位、提高研发效能。目前在蚂蚁内部已经有超过1000个工程在使用Auto-Unit-Test-Case-Generator进行用例生成。

原创 蓝牙耳机的2种模式（Stereo,Hand-free）是什么？

对于无线蓝牙耳机（音箱），由于物理尺寸的限制，一般电池电量非常有限，所以可以简单理解为，免提模式更省电。，是针对单方向传输高质量的双声道立体声设计的。可以简单理解为，音质更高（相对于。旧，最早是用来为打电话设计的（双向单声道声音，有限的频率响应。），是为了优化耳机耗电设计的。立体声（音质好，只能听歌）免提（音质差，可用麦克风）设备在蓝牙术语中被称为。高级音频分发配置文件。，仅针对语音优化）。

原创 (.ddl )是什么文件？

在 Windows 系统中，许多系统提供的功能和第三方软件库都以 DLL 的形式存在，这样可以减小应用程序的体积并提高代码的复用性。DLL 文件包含一组函数、类、变量或资源，它们可以被其他程序动态地加载和调用，从而实现代码的共享和模块化。DLL 文件的全称是 "

原创 win10系统休眠功能是做什么的，可以清理吗？

其实windows有两种“眠",分别是睡眠是把数据放在内存中；休眠是把数据放在硬盘中；前者，重新打开程序会很快，因为从内存中加载数据。后者要比前者点，因为是从硬盘中加载数据。从Windows 8开始采用快速启动技术，开机时加载休眠文件中的文件，加载完成即启动完成。关机时将内存中必需的数据写入休眠文件，然后关闭电源。关闭了休眠文件，即无法正常运作，系统采取传统启动策略。

原创 个人电脑如何查看硬盘是固态还是机械？

Computer Science 学习－(2023.12.4)

原创 通过Socket通信实现局域网下Amov无人机连接与数据传输

socket传输数据:局域网连接连接---通信(命令行直接;+)--- 传输数据(socket)--传输内容:launch文件;qgc连接;厂家提供的方式是通过Homer图数传工具(硬件)构建的amov局域网实现通信连接.好处是通信距离足够长,支持150m;坏处是"局部",无法访问互联网.［ＩＭＡＧＥ：ｈｏｍｅｒ连接］根据这个原理,我尝试了通过个人局域网(即热点)，建立通信连接.[ 因为无人机本身带有机载电脑,而主机正常也就能连接热点和wifi ]优点:便捷,且可访问互联网：[这意味着对于任何的报错输出你都

原创 ~$开头的临时文件是什么/可否删除/可否取名~$开头的文件

在进行Word文档编辑的时候，都会产生一个以~$开头的临时文件，它会自动备份文档编辑内容，若是正常关闭程序，这个文档就会自动消失；而在非正常情况下关闭word文档，如断电，系统崩溃等，当用户再次打开word文档时，就会收到提醒恢复备份信息的通知，而恢复的内容就是这个文档自动储存的内容。（因为显示打开了隐藏文件和文件夹）

原创 Vue.js：渐进式JavaScript框架－前端开发

除了内置的指令之外，Vue.js 还允许创建自定义指令，以便在应用程序中重用特定的 DOM 行为。这些指令使得 Vue.js 在处理模板和视图时非常强大和灵活，可以根据具体的需求来控制元素的行为和外观。

原创 错误 0x80070570:文件或目录损坏且无法读取/无法访问[拒绝访问]-解决方法

丢失的链是指文件系统中未链接到任何文件记录的群集，这些群集可能包含数据，但由于文件系统的损坏，它们无法通过正常的文件路径访问。在 FAT32 文件系统中，由于文件系统的限制，某些类型的错误可能无法修复。这样做可能会允许访问文件夹中的数据，但这通常是一个最后的手段，因为转换后的文件可能需要特殊软件才能访问。：这是 Windows 的磁盘检查工具的命令名称，用于检查磁盘上的错误并修复某些类型的文件系统问题。CHKDSK 将不会执行转换，丢失的链中的数据将不会被保存为文件，这意味着可能会失去这些数据。

原创 静态测试---基于WorkList的活跃变量分析

函数的目标是将所有 Inst 的后继指令的输出位向量进行合并（join操作），得到 Inst 的输入位向量。代码的主要部分是针对不同类型的指令（二元运算符、加载指令、存储指令、内存分配指令、比较指令）的分支处理。合并操作是将所有后继指令的输出位向量合并到当前指令的输入位向量中，表示这些变量在 Inst 执行之前也是活跃的。文件是用于静态链接的库文件。这个成员函数接受三个参数：Inst 是当前正在处理的指令，Pre 是指令执行前的位向量（即输入位向量），Post 是指令执行后的位向量（即输出位向量）。

原创 Dafny--程序验证_证明霍尔逻辑的半自动化利器

Dafny 是一种支持验证的编程语言，配备了一个静态程序验证器。通过将复杂的自动推理与熟悉的编程习语和工具相结合，使开发者能够编写可证明正确的代码（相对于 {P}Ｓ{Q} 这种霍尔三元组的规范而言）。Dafny 还可以将 Dafny 代码编译到熟悉的开发环境，如 C#、Java、JavaScript、Go 和 Python;使得严格的验证成为开发过程的有机组成部分，从而减少了可能在测试中被遗漏的、代价高昂的后期错误。

原创 算法分析与设计复习__dp动态规划

比如这一步的价值是10；动态规划法与分治法类似，也是将原问题分解成若干个子问题，先求解子问题再从这些子问题的解得到原问题的解。某商店有ｎ个物品，第ｉ个物品价值为ｖｉ，重量(或权重)为ｗｉ，背包的容量为Ｗ。若需要求出问题的一个最优解，则必须执行步骤(4)，步骤(3)中记录的信息是构造最优解的基础。因此动态规划法的相应特征是，对于重复出现的子问题，只在第一次遇到时进行求解，并把答案保存起来，以后再遇到相同子问题时直接引用，不必重新求解。9：如果不装更大，那就不装，此时考虑前i个和考虑前i-1个的一样的情况；

原创 算法分析与设计复习__递归方程与分治

常用的求解递归方程的方法有两种:替换方法和主定理。1.一个问题的解可以分解为几个子问题的解；用替换方法解某个递归方程时，分为两步。参考：https://www.bilibili.com/video/BV1hc41137go/?spm_id_from=333.337.search-card.all.click

原创 算法分析与设计复习__渐近+复杂度

对于x=Ω(y)，x=O(y)这种，我们先抓住主体：即我们考虑的是如何衡量x的范围，而y只是我们找来去包围/上方拦的工具函数；【比如O是上界函数，则括号内的函数，才是上界函数，而非等式左侧】Θ【theta，渐近紧致界】，x=Θ(y)，则y是x的包围线；如果f(n) = Θ（judge(n)）;即f函数可以被judge函数上下包围住（注意其中judge即g函数）O【上界函数】；如果 x=O(y)，则表示y【O括号里的符号】是x的上界函数，而x是y的低阶（即在下面）

原创 自动生成测试用例?--带你走进Klee之路

符号执行(Symbolic Execution) 属于静态分析的一种，e.g.对于函数a = malloc(), 符号执行会赋值一个符号$a 来代表 a的值,通过流程图模拟执行,而非实际执行.

原创 Microsoft Word自动目录--教你生成可自动更新目录

在写论文时，往往需写目录。而目录的对齐和页码标注总是很麻烦，尤其是在有内容增删后，需要重新校对。那么有没有自动的目录呢？有的。ｗｏｒｄ自带了自动目录，会与你的各级标题相匹配（一级标题、二级标题……）

原创 解决Microsoft Word行距不一（及设置行距后仍无效的情况）［并理解文档网格与行距的关系］

原创 动态测试_语句覆盖&分支覆盖实验总结

动态测试_语句覆盖&分支覆盖实验总结

原创 《.JAR那些事儿》--当年geek

移植https://www.learnerhub.net/#/spaces/146/resources-docs/25162

原创 白盒测试--用gcov看覆盖率

使用白盒测试方法测试library.h中的函数，要求语句、分支100%，上传gtest测试用例及测试结果（覆盖率截图）。

原创 C盘清理--C盘紧缩？七项清理建议让ta重新“焕发活力”！

移植https://www.learnerhub.net/#/spaces/146/resources-docs/23901

原创 数据可视化--头歌数据挖掘实训

第1关：单个属性观测值分布——直方图第2关：单个属性观测值分布——盒状图第3关：单个属性观测值分布——饼图第4关：两个属性之间的关系——散布图第5关：时间空间数据的可视化——等高线图第6关：时间空间数据的可视化——曲面图第7关：时间空间数据的可视化——GIS可视化第8关：可视化高维度数据——数据矩阵第9关：可视化高维度数据——相关矩阵第10关：可视化高维度数据——平行坐标系

原创 软件测试基本概念--3个失效模型

移植https://www.learnerhub.net/#/spaces/146/resources-docs/25093

原创 用Jaccard系数计算文本之间的相似度--数据挖掘头歌实训

ans example

原创 相似度与相异度--数据挖掘头歌实训

educoder ans example

原创 0x80070522（客户端没有所需的权限） 或 0x80070005（拒绝访问） 及涉及到的一些权限问题解决

0x80070522（客户端没有所需的权限） 或 0x80070005（拒绝访问） 及涉及到的一些权限问题解决

原创 编译原理-题型分享

编译原理期末备考

原创 编译原理-消除间接左递归算法的细节补充

如下图所示，间接左递归的消除就是循环圈不断减少非终结符的过程，那么最后会只剩下一个非终结符A的循环（即直接左递归），再消去直接左递归，并删去多余的语句，即完成。但开始符号是S，所以至少还会多一个S->A的产生式（甚至更多，如S->B,B->A之类）；建议把文法的开始符号S作为Pn，这样最后得到的产生式就只有2个，很简便。那么人为的令Pn为S，最后就只有两个产生式，分别以S,S'开始。相反， S作为P1的话，最后文法G的产生式就会很多个。

原创 概率论与数理统计习题卷（有一定难度）

概率论真题练习，涉及到不简单的技巧和计算