相关文章
程序验证之Dafny--证明霍尔逻辑的半自动化利器
一、What is Dafny?【来自官网介绍 Dafny 】
1)介绍
Dafny 是一种支持验证的编程语言，配备了一个静态程序验证器。
通过将复杂的自动推理与熟悉的编程习语和工具相结合，使开发者能够编写可证明正确的代码（相对于 {P}Ｓ{Q} 这种…
编程日记
2024/12/19 15:59:55
vue阶段性测试题，内容丰富，案例典型，题目配有答案
阶段性测试
理论题实践题
1）理论题 请简述Vue、Node.js、Vscode是什么，以及有什么关系 1. vue是一个轻量级、比较灵活的且支持组件开发的网络框架
2. node.js是让JavaScript运行在服务器上的一直环境
3. Vscode是一款有着丰富插件的代码编辑器
4. 关系…
编程日记
2024/12/19 23:59:22
Golang | Leetcode Golang题解之第80题删除有序数组中的重复项II
题目： 题解：
func removeDuplicates(nums []int) int {n : len(nums)if n < 2 {return n}slow, fast : 2, 2for fast < n {if nums[slow-2] ! nums[fast] {nums[slow] nums[fast]slow}fast}return slow
}
编程日记
2024/12/19 21:23:23
强化学习的优化策略PPO和DPO
DPO
DPO(直接偏好优化)简化了RLHF流程。它的工作原理是创建人类偏好对的数据集，每个偏好对都包含一个提示和两种可能的完成方式——一种是首选，一种是不受欢迎。然后对LLM进行微调，以最大限度地提高生成首选完成的可能性，并最大限…
编程日记
2024/12/16 19:47:09
路径优化算法 | 基于遗传算法求解多式联运运输问题
内容
多式联运运输问题是一个复杂的组合优化问题，其中涉及到多种不同的运输方式和路径选择。遗传算法是一种常用的启发式优化算法，可以用于求解这类问题。
下面是基于遗传算法求解多式联运运输问题的一般步骤：
确定问题的数学模型：将多式联运运输问题转化为数学模型，包…
编程日记
2024/12/15 18:12:10
【scikit-learn005】支持向量机（Support Vector Machines, SVM）ML模型实战及经验总结（更新中）
1.一直以来想写下基于scikit-learn训练AI算法的系列文章，作为较火的机器学习框架，也是日常项目开发中常用的一款工具，最近刚好挤时间梳理、总结下这块儿的知识体系。 2.熟悉、梳理、总结下scikit-learn框架支持向量机（Support Vec…
编程日记
2024/12/15 20:02:48
21【Aseprite 作图】画白菜
1 对着参考图画轮廓 2 缩小尺寸 变成这样 3 本来是红色的描边，可以通过油漆桶工具（取消 “连续”），就把红色的轮廓线，变成黑色的
同时用吸管工具，吸取绿色和白色，用油漆桶填充颜色 4 加上阴影…
编程日记
2024/12/16 18:18:53
Linux·基本指令
从本节开始将新开一个关于Linux操作系统的板块，其实Linux也没什么太神秘的，就是一个操作系统(OS)嘛，跟Windows操作系统是一个概念，只不过Windows中的大部分操作都是用光标点击来进行人机交互，但是Linux是通过输入命令行…
编程日记
2024/12/16 22:14:02
