相关文章
Unity射击游戏开发教程：（18）添加弹药计数+补充弹药
添加简单的弹药计数 我将讨论如何向游戏中添加简单的弹药计数。这将包括在 HUD 中添加弹药计数器，当弹药达到 0 时，文本会将颜色更改为红色以提醒玩家。另外，当弹药数为0时，玩家将无法再射击。让我们深入了解吧！ 在播放器脚本中我们需要添加一些变量。我们将创建两个公共整…
编程日记
2024/12/22 12:59:12
程序验证之Dafny--证明霍尔逻辑的半自动化利器
一、What is Dafny?【来自官网介绍 Dafny 】
1)介绍
Dafny 是一种支持验证的编程语言，配备了一个静态程序验证器。
通过将复杂的自动推理与熟悉的编程习语和工具相结合，使开发者能够编写可证明正确的代码（相对于 {P}Ｓ{Q} 这种…
编程日记
2024/12/22 13:23:08
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
