- 博客(133)
- 问答 (2)
- 收藏
- 关注
RSS订阅
原创 go get后使用命令时modvendor : 无法将“modvendor”项识别为 cmdlet、函数、脚本文...的解决方案
解决golang第三方工具go get后不能直接使用的问题
2024-04-29 12:17:32
65
原创 vis-network报错vis_network__WEBPACK_IMPORTED_MODULE_5__.DataSet is not a constructor
解决vis-network导入Dataset包的报错
2024-04-11 04:14:28
224
原创 react native封装ScrollView，实现(滑到底部)和(滑到顶部+手指继续向下滑)时拉取新数据
封装ScrollView监听滑到顶部和底部，并自行获取新数据
2024-03-04 01:05:58
336
原创 研究生安排
明确要做的东西是什么，是否已经明确要做什么，确定变量是什么，是什么样方式实现，条件和设备能否达到这个标准，如果没有，就要修改。研二上学期就要达标。研三，实验结束，数据处理完后，中期答辩，学校最终答辩完成之后。跟着学校安排走就行。论文一定多看的，建议300篇论文，500最好。选题的时候要心里有谱，先找小论文，再找大论文。和导师商量后准备实验材料和设备。和老师切磋研究的是什么。
2023-10-30 21:09:54
238
原创 形式化验证笔记
形式化验证：在状态机表征的空间里面进行搜索，验证某个模型是否按规范执行且测试覆盖率达到100%方法：将规范(可选)和代码变为数学公式，再将公式放入定理证明器例子第一种作用：生成测试用例第二种作用：验证程序是否符合规范第一步：把控制流程图转成表达式第二步：将规范加入表达式但是该做法会导致只能找到正确值而不是违反规范的路径，所以要将规范取非，以匹配违反规范的情况进一步，因为一般程序很复杂，所以是用验证器，让计算机进行计算。
2023-10-19 23:13:17
333
原创 通过Typora，以CSDN作为图床、解决CSDN防盗链问题、将CSDN博客搬到hexo上
完美将csdn的md(包括图片)复制到hexo上其实主要就是复制图片，因为csdn有防盗链，自己的hexo上不能拉取csdn上的图片资源。
2023-06-08 14:45:49
952
原创 AttributeError: module ‘numpy‘ has no attribute ‘long‘
numpy找不到long属性
2023-01-16 00:22:15
13651
11
空空如也
sa-token的注解鉴权方式不支持boot3 webflux吗？
2023-05-18
为js对象添加async方法时报语法错误
2022-09-22
关于#win10搜索框反色#的问题，如何解决？
2022-08-03
gin获取前端请求中的body的数组
2022-07-20
TA创建的收藏夹 TA关注的收藏夹
TA关注的人