计算机科学与技术
文章平均质量分 82
Netceor
只要头没秃未来总比现在苦
展开
-
上传论文到arXiv
pdfLatex.png.pdf右上角Submit,选择。原创 2024-05-13 13:49:10 · 1810 阅读 · 0 评论 -
SAT和SMT介绍及求解器使用
这个SMT是在SAT的基础上实现的,目的是求出指定约束下的可行解。如果说SAT把注意力放在命题公式判定上,SMT就在SAT的基础上可以分析各种不等式和等式下的约束求解1、对SMT公式进行预处理,把公式中的命题变量替换为布尔变量,再将SMT公式转化为可满足性意义上等价的SAT公式;2、检查此SAT公式是否可满足,如果不可满足,那么SMT公式也不可满足,算法结束;3、如果SAT公式可满足,则结合SMT背景理论去判断SMT公式的可满足性,返回判断结果,算法结束。原创 2024-03-14 15:38:58 · 2983 阅读 · 2 评论 -
蒙特卡洛树搜索(MTCS)
一种启发式的搜索算法,在搜索空间巨大的场景下比较有效算法完成后得到一棵树,这棵树可以实现:给定一个游戏状态,直接选择最佳的下一步。原创 2023-03-05 18:53:06 · 1362 阅读 · 0 评论 -
GBDT(梯度提升树,Gradient Boosting Decision Tree)
GBDT(Gradient Boosting Decision Tree)在数据分析和预测中的效果很好。它是一种基于决策树的集成算法。其中Gradient Boosting 是集成方法boosting中的一种算法,通过梯度下降来对新的学习器进行迭代。而GBDT中采用的就是CART决策树。原创 2023-02-21 19:40:37 · 542 阅读 · 0 评论 -
Sigmoid和Softmax共通与区分
Softmax以及Sigmoid这两者都是神经网络中的激活函数,将输入非线性化。都作为神经网络的最后一层,将输出数值转换为概率值。原创 2023-02-21 18:37:11 · 865 阅读 · 0 评论 -
定义,公理,定理,推论,命题和引理的区别
一、概念Definition (定义) - a precise and unambiguous description of the meaning of a mathematical term. It characterizes the meaning of a word by giving all the properties and only those properties that must be true.Axiom/Postulate (公理/假定) - a statement tha原创 2022-03-02 14:32:50 · 1400 阅读 · 0 评论 -
VSCODE利用prettier插件实现快捷格式化代码
一、插件安装在左侧扩展界面搜索 “Prettier -Code formatter ” 并安装【我已经安装好就没有安装按钮了】二、使用快捷键Ctrl + Shift + P,上方出现命令框,搜索 “format ” ,下面出现两种选择Format Document 对整个文档做格式化 Format Selection 对选择代码做格式化也可以直接看对应快捷键,便捷下次使用【这里可能会提示XX插件未安装,无法格式化,安装一下即可,例如我提示未安装xml】三、示例...原创 2021-07-19 17:56:23 · 5134 阅读 · 0 评论 -
2021国防科技大学计算机学院无军籍考研409分经验贴(数一+英一+834)
一直想写一篇经验贴,是对自己一年考研生涯的回顾,也是给学弟妹们提供经验。目前官网还没有发放通知,但在老师建的微信群聊里,已经可以确定自己录取了。先放自己的成绩吧,考的是数一英一,专业课834(数据结构+计算机组成原理)考研的小伙伴见链接:...原创 2021-04-26 23:22:00 · 11708 阅读 · 33 评论 -
相联存储器的工作原理(按内容访存,cache、快表中应用)
以前一直看不太懂什么叫按内容访存,为什么按内容访存会更快,后来去看了下相关视频,明白了其中的原理。它是直接用硬件实现,因此可以并行比较,达到很高的速度cache、快表就是一种相联存储器,运用他们可以达到更高的查找效率(图片来源b站视频)①我们要找寻的信息(即要找的主存地址)放置在检索寄存器中, 通过屏蔽寄存器得到key屏蔽寄存器原理:如图片右上方,加入我们要比较的只是画三角形的3bit,则屏蔽寄存器中将该3位设为1,其余为0,这样通过屏蔽寄存器后就只会得到我们所需要的3位,作为我们的ke原创 2020-10-02 11:49:05 · 12839 阅读 · 4 评论