杂记
文章平均质量分 58
记录小技巧
Hard Coder
生命不息,代码不止
展开
-
形式化验证方法研究综述
形式化验证是证明软件、硬件或系统正确性的一种方法,近年来受到了越来越多的关注。 本文对形式化验证的研究进行了综述。首先介绍了形式化验证的基本概念,然后重点介绍了形式化验证的三种技术,包括模型检测、定理证明和等价性验证等。此外,通过两篇论文介绍了形式化验证在软件和硬件系统开发中的应用和实现、形式化验证工具的发展和使用。最后,对形式化验证的未来发展进行了展望,认为人们应该不断探索新的理论和工具,以提高形式化验证的效率和可用性原创 2023-09-22 10:22:36 · 2052 阅读 · 0 评论 -
数字孪生技术研究综述
数字孪生作为实现数字化、智能化、服务化等先进理念的重要使能技术,当前备受学术界和工业界关注。模型是数字孪生的基础和核心,而传统数字孪生三维模型已无法满足现阶段技术发展与应用需求。本文基于已经提出的数字孪生的五维结构模型,从实际应用需求出发,介绍了数字孪生驱动的6条数字孪生驱动的基本准则并使用数字孪生标准体系框架对数字孪生技术的落地应用作了有效指导。同时数字孪生技术已经广泛应用于各行各业,本文对其中6个热门领域:航空航天、智能制造、智慧城市、智慧水利、智能电网和交通运输所使用的数字孪生技术的落地应用进行了说明原创 2023-03-15 07:00:00 · 4331 阅读 · 0 评论 -
数据挖掘分类算法的学习总结
大数据时代的我们每时每刻都在产生海量数据,如何快速准确获取其中有价值的数据一直是亟待解决的问题。数据挖掘技术的应运而生为该问题提供了解决手段,作为数据挖掘核心内容之一的分类算法同样发挥了至关重要的作用。本文主要对数据挖掘分类算法进行研究,介绍了常用分类算法的基本思想及其优缺点,有助于未来对算法进行相应的改进,再通过其部分实际应用展示了在不同领域中分类算法的良好分类效果。原创 2023-03-14 07:00:00 · 3049 阅读 · 0 评论 -
项目进度管理研究综述
本文通过对项目进度管理的研究,对国内外学者在项目进度管理领域内的主要研究成果进行了罗列和展示,同时对项目进度管理过程中所使用的六种工具和方法进行了简要介绍。最后,我们针对目前项目进度管理中存在的问题和挑战,提出了四个方面改进的建议。原创 2023-03-13 07:00:00 · 3797 阅读 · 0 评论 -
基于深度学习的需求分类研究综述
需求工程(RE)是软件开发生命周期中最关键的阶段[1],在软件开发的失败或成功中扮演着重要角色。需求工程的目的是精确地指定所需系统[2]必须满足或拥有的需求。RE涉及到提取、记录、分析、验证和管理需求[3]的广泛任务。需求代表了所有这些任务的核心元素。它是一个广泛的概念,描述了一个目的、一个需要、一个目标、一个功能、一个约束、一个质量、一个行为、一个服务、一个条件或一个能力。目前对于需求分类的方法可以分为三类:基于人工的需求分类,基于传统机器学习(ML)的需求分类和基于深度学习(DL)的需求分类。原创 2023-03-12 07:00:00 · 904 阅读 · 2 评论 -
Win10关闭安全中心的病毒和威胁实时保护
大家在下载软件时,经常会遇到这样的问题:当我们下载好一个软件安装包时,当双击进行安装时,电脑却报出“无法成功完成操作,因为文件包含病毒或潜在的垃圾软件”。这是Win10的安全中心误以为此为问题软件,强制无法安装。原创 2022-12-17 09:00:21 · 4450 阅读 · 0 评论 -
Anaconda中安装cv2包详细教程
OpenCV(开源计算机视觉库)是在 BSD 许可下发布的,因此它可以免费用于学术和商业用途。它具有 C++,Python 和 Java 接口,支持 Windows,Linux,Mac OS,iOS 和 Android。OpenCV 专为提高计算效率而设计,专注于实时应用。该库以优化的 C/C++ 编写,可以利用多核处理。通过 OpenCL 启用,它可以利用底层异构计算平台的硬件加速原创 2022-12-15 06:00:00 · 35316 阅读 · 3 评论 -
Windows10下cmd中nvidia-smi命令输入无效的解决办法
将该路径添加到系统的环境变量中的Path中,再一路确定即可。重新打开cmd窗口,输入进行测试,成功显示即可,可以本机电脑的CUDA版本号。原创 2022-12-11 20:22:48 · 14352 阅读 · 7 评论 -
电脑更改开机密码和用户名
一、电脑更改开机密码。二、电脑更改开机用户名。注意此处同样可以更改开机用户密码。原创 2022-11-12 16:17:58 · 33418 阅读 · 0 评论 -
致我默默奋斗的两年
但是理想总是很丰满,现实总是很骨感,一直没有将这个想法付诸实施。从此便一发不可收拾,开始疯狂创作,希望留下些东西给自己,也给一起奋斗的伙伴们。中间其实也断更过一段时间,因为全心备战考研,当时就心想一定要成功上岸。最终,我也如常所愿,成功上岸!重拾最初的热情,拥抱技术,也拥抱和接纳不完美的自己,愿我们都能在自己喜欢的道路上越走越远。希望可以继续增加自己各个专栏中的文章,也希望自己可以涉及更多新的知识领域!多学一点,多思考一点,多记录一点,简简单单平平淡淡就好!做一个记录者,做一个分享者,做一个奋斗者!原创 2022-10-27 13:49:03 · 900 阅读 · 4 评论 -
计算机本科毕设答辩经验
一、写在前面5月28号下午终于结束大学里的最后一项任务–毕业答辩,大学四年就这样结束了。青春才几年,疫情占三年啊!很庆幸我们大一那时候没有疫情,不然大学四年都要被疫情所困。昨天晚上也收到为我毕设老师的微信,说我答辩通过了,没有推荐上校优(我这个菜鸡哪里感想优秀毕设,让我顺利毕业就已经谢天谢地了!)。真得特别感谢我们毕设导师,真的为我们操碎了心。在答辩的前一天晚上十点半找我,问我要不要再查重一次。因为我第一次查重时是11%,他怕我这个太高会影响我最终的评分,因为大部分人查重率都在5%以下(我只能说一个个都.原创 2022-05-30 10:00:38 · 8583 阅读 · 3 评论 -
亲测有效IEEE数据库论文免费下载
一、IEEE网址:IEEE点击进入后,输入你需要查找的文献名称。选择你需要的文献进行查看。复制文献的DOI号。二、SCI-Hub网址:SCI-Hub点击进入后,任意选择其中一个域名进入。输入刚才复制的文献DOI号或者直接输入文献名称,即可查看文献。输入文献DOI号:输入文献名称:注意:个人通过测试发现输入文献的DOI号速度更快!可以利用浏览器自带下载设置,将需要的文献按PDF格式下载到电脑中。...原创 2022-05-13 08:51:40 · 2279 阅读 · 4 评论 -
三种常用的电脑截图方法
一、QQ截图使用QQ截图的前提是需要先将电脑个人QQ登录上,然后使用快捷键Ctrl+Alt+A即可实现截图。二、电脑自带截图当我们想要任意区域截图时,只需按快捷键Win+Shift+S即能实现任意区域截图,而且此截图的清晰度很高。三、Snipaste截图工具Snipaste是一个功能强大的截图和贴图工具,在我们日常开发经常使用。其官网地址为:Snipaste下载安装包解压选择Snipaste.exe文件即可。选中Snipaste图标,右键即可选择需要的操作。注意:Snipaste的快原创 2022-04-24 15:00:11 · 14116 阅读 · 0 评论 -
电脑设置默认浏览器
搜索“控制面板” -> 程序 -> 默认程序 -> 设置默认程序 -> Web浏览器原创 2022-01-13 15:29:00 · 434 阅读 · 0 评论 -
eclipse的全局替换快捷键
Ctrl+H一、选择需要替换的内容二、快捷键Ctrl+H,选择"File Search" ->“Replace”三、替换新内容原创 2021-02-05 13:20:55 · 10460 阅读 · 1 评论 -
eclipse自动生成属性的Getters()、Setters()和toString()方法
一、自动生成属性的Getters()和Setters()方法打开eclipse,选择“Source” -> “Generate Getters and Setters…”,再选择你所要设置的属性即可。二、自动生成属性的toString()方法打开eclipse,选择“Source” -> “Generate toString()…”,再选择你所要设置的属性即可。三、自动生成代码情况class Person { private String name; private int a原创 2021-01-24 17:01:56 · 2045 阅读 · 0 评论 -
查找网站的IP地址的两种方法
一、浏览器查询1、打开任意一个浏览器,在输入框输入“IP查询”,会出现多个查询页面点击相关网址即可。2、在其中输入要查询的网址域名后点击查询即可,下方解析地址即为该网站的IP地址。以CSDN为例:www.csdn.com。二、CMD命令查询打开电脑的命令提示符窗口(即cmd窗口),直接输入“ping+网址”直接回车即可查看网站的IP地址。以CSDN为例:ping www.csdn.com。PS:ping 命令是Windows系列自带的一个可执行命令,利用它其可以检查网络是否能够连通,可以很好原创 2020-12-01 22:19:24 · 40760 阅读 · 0 评论