- 综合排序
- 最热优先
- 最新优先
- 来自专栏测试GO材料测试
基于第一性原理DFT密度泛函理论的计算项目盘点
随着计算机技术的不断发展，计算材料科学的方法也日益成熟。其中，基于第一性原理的密度泛函理论（DFT）计算方法，因其准确性、可靠性和高效性而广受欢迎。 本文将介绍基于DFT的密度泛函理论的计算项目，包括电子结构计算、材料的几何结构优化、反应路径计算以及材料的光学和磁学性质等方面的研究。 基于DFT的材料几何结构优化可以通过计算力学能量表面来确定材料的最稳定结构。此外，材料的晶格常数、原子间距和化学键长度等参数也可以通过DFT计算得到。 总结基于DFT的密度泛函理论是一种强大的计算方法，可以在材料科学领域中用于多个研究项目。 其中，电子结构计算、几何结构优化、反应路径计算以及材料的光学和磁学性质等方面的研究是基于DFT的密度泛函理论的核心应用。
99410编辑于 2024-08-07 - 来自专栏韩曙亮的移动开发专栏
【计算理论】计算理论总结 ( 泵引理 Pumping 证明 ) ★★
文章目录 一、泵引理 ( Pumping ) 二、泵引理证明示例 1 三、泵引理证明示例 2 四、泵引理证明示例 3 参考博客 : 【计算理论】Pumping 引理 ( 四个等价概念 | 自动机界限 | xy^iz \in A \quad ( i \geq 0 ) : \rm i 表示中间的 \rm y 的重复次数 ; \rm |y| > 0 : \rm y 是中间重复的部分 , 星计算部分 xy^iz \in A \quad ( i \geq 0 ) : \rm i 表示中间的 \rm y 的重复次数 ; \rm |y| > 0 : \rm y 是中间重复的部分 , 星计算部分 提出假设 : 假设 \{ 0^n 1^n2^n : n \geq 0 \} 语言 是正则语言 ; 2. 1 组成, y 全部由 2 组成 , y 全部由 0,1,2 组成, y 全部由 0,1 组成 , y 全部由 1,2 组成 ; 如果字符串仅有 0, 1, 2 单个字符
96300编辑于 2023-03-28 - 来自专栏韩曙亮的移动开发专栏
【计算理论】计算理论总结 ( P 、NP 、NPC 总结 ) ★★
\rm NP 类算法举例 : ★ ① 蛮力穷举算法 ; 2 . | NP 直觉 | NP 简介 | NP 类严格数学定义 ) 【计算理论】计算复杂性 ( NP 完全问题 - 布尔可满足性问题 ★ | 布尔可满足性问题是 NP 完全问题证明思路 ) ★ 【计算理论】 计算复杂性 ( 3-SAT 是 NP 完全问题 | 团问题是 NP 完全问题 | 团问题是 NP 完全问题证明思路 ) 【计算理论】计算复杂性 ( NP 完全问题 | 顶点覆盖问题 | 哈密顿路径问题 计算理论】计算复杂性 ( NP 完全问题 - 布尔可满足性问题 ★ | 布尔可满足性问题是 NP 完全问题证明思路 ) ★ 【计算理论】计算复杂性 ( 3-SAT 是 NP 完全问题 | 团问题是 NP 完全问题 | 团问题是 NP 完全问题证明思路 ) 【计算理论】计算复杂性 ( NP 完全问题 | 顶点覆盖问题 | 哈密顿路径问题 | 旅行商问题 | 子集和问题 ) 【计算理论】计算复杂性 ( NP
1.5K00编辑于 2023-03-28 - 来自专栏韩曙亮的移动开发专栏
【计算理论】计算理论总结 ( 上下文无关文法 ) ★★
文章目录 一、上下文无关文法 ( CFG ) 二、上下文无关文法 ( CFG ) 示例 三、确定性有限自动机 DFA 转为 上下文无关语法 CFG 参考博客 : 【计算理论】上下文无关语法 ( 语法组成 | 规则 | 语法 | 语法示例 | 约定的简写形式 | 语法分析树 ) 【计算理论】上下文无关语法 ( 代数表达式 | 代数表达式示例 | 确定性有限自动机 DFA 转为 上下文无关语法 ) 【计算理论 ) = q_j \Rightarrow R_i \to aR_j \delta ( q_i, a ) = q_j 表示 q_i 状态下 , 读取字符 a , 跳转到 q_j 状态 ; 2 计算能力对比 : 上下文无关语法 的计算能力 要大于等于 自动机的计算能力 ;
1K00编辑于 2023-03-28 - 来自专栏韩曙亮的移动开发专栏
【计算理论】计算理论总结 ( 图灵机设计 ) ★★
rm \Gamma - \Sigma ( 相对补集 ) 集合中 ; ⑦ 一些接受状态 , \rm F , 其中 \rm F \subseteq Q ; 指令与转换函数 : 图灵机是根据指令进行计算的 移动一格单位 ; 其中 \rm D 方向可以是 \rm L 向左移动 , 也可以是 \rm R 向右移动 ; 格局 Configuration , 格局是给图灵机照一个 快照 , 下图就是图灵机在计算过程中 , 某一个时刻的快照 ; 将图灵机计算过程 , 每个步骤都照一份快照 , 通过轨迹将这些快照联系到一起 , 就可以得到一个数据结构 , 上述格局可以记作 \rm 00q1B , 该写法表示 与 不需要设计出图灵机的具体的指令 , 只需要 使用语言描述图灵机的读写头在带子上的操作 即可 ; 设计图灵机 , 只需要 将图灵机描述出来 即可 ; 证明问题属于 \rm P , 只需要将问题使用图灵机判定的过程描述出来 , 计算出该问题的时间复杂度的数量级 “” 中的内容 , 这是操作意义上的图灵机 , 只描述图灵机读头操作 , 没有必要将图灵机指令整体设计出来 ; \rm M_1 = "在长度为 \rm n 的字符串 \rm w 上进行如下计算
96800编辑于 2023-03-28 - 来自专栏韩曙亮的移动开发专栏
【计算理论】计算理论总结 ( 自动机设计 ) ★★
如果当前输入的字符串中 , 含有奇数个 1 那么当前状态是 接受状态 ; ② 非接受状态 : 如果当前输入字符串中 , 有偶数个 1 , 那么当前的状态就是 非接受状态 ; 参考博客 : 【计算理论 】确定性有穷自动机 ( 自动机组成 | 自动机语言 | 自动机等价 ) 【计算理论】自动机设计 ( 设计自动机 | 确定性自动机设计示例 | 确定性与非确定性 | 自动机中的不确定性 ) 二、自动机设计 \rm q_2 状态指令 : 可以读取 0, 1 字符 , 读取 0 字符即进入 \rm q_3 接受状态 , 读取 1 字符后回到 \rm q_2 非接受状态 ; 4 . \rm q_2 状态指令 : 如果读取 0 字符 , 原地不动 , 保持 \rm q_2 状态不变 ; 如果读取 1 字符 , 则跳转到 \rm q_3 状态 ; 4 . \rm q_2 状态指令 : 如果读取 0 字符 , 不符合子串第二个字符 1 , 但是这个字符有可能是 0101 子串第一个字符 , 保持 \rm q_2 状态不变 , 将该子串当做第一个字符
74700编辑于 2023-03-28 - 来自专栏韩曙亮的移动开发专栏
【计算理论】计算理论总结 ( 上下文无关文法 CFG 转为下推自动机 PDA 示例 2 ) ★★
文章目录 一、上下文无关文法 CFG 转为下推自动机 PDA 流程 二、上下文无关文法 CFG 转为下推自动机 PDA 示例 2 参考博客 : 【计算理论】上下文无关语法 ( 语法组成 | 规则 | 语法 | 语法示例 | 约定的简写形式 | 语法分析树 ) 【计算理论】上下文无关语法 ( 代数表达式 | 代数表达式示例 | 确定性有限自动机 DFA 转为 上下文无关语法 ) 【计算理论】上下文无关语法 CFG ( CFG 设计示例 | CFG 歧义性 | Chomsky 范式 | 上下文无关语法 转为 Chomsky 范式 ) 【计算理论】下推自动机 PDA 及 计算示例 【计算理论】下推自动机 PDA ( 设计下推自动机 | 上下文无关语法 CFG 等价于 下推自动机 PDA ) 【计算理论】上下文无关语法 ( CFG ) 转为 下推自动机 ( PDA ) 【计算理论】下推自动机 PDA ( 上下文无关语言 T 到栈顶 , \rm \varepsilon , \varepsilon \to a 读取空字符放入 \rm a 到栈顶 ; 二、上下文无关文法 CFG 转为下推自动机 PDA 示例 2
1K00编辑于 2023-03-28 - 来自专栏韩曙亮的移动开发专栏
【计算理论】计算理论总结 ( 图灵机设计示例 ) ★★
文章目录 一、图灵机设计示例 2 二、图灵机设计示例 3 三、图灵机设计示例 4 一、图灵机设计示例 2 ---- 给定语言 : \rm A = \{w | w 包含相同个数的 0 和 1 \} , 算法的描述是双引号 “” 中的内容 , 这是操作意义上的图灵机 , 只描述图灵机读头操作 , 没有必要将图灵机指令整体设计出来 ; \rm M = "在长度为 \rm n 的字符串 \rm w 上进行如下计算 算法的描述是双引号 “” 中的内容 , 这是操作意义上的图灵机 , 只描述图灵机读头操作 , 没有必要将图灵机指令整体设计出来 ; \rm M = "在长度为 \rm n 的字符串 \rm w 上进行如下计算 算法的描述是双引号 “” 中的内容 , 这是操作意义上的图灵机 , 只描述图灵机读头操作 , 没有必要将图灵机指令整体设计出来 ; \rm M = "在长度为 \rm n 的字符串 \rm w 上进行如下计算
72500编辑于 2023-03-28 - 来自专栏姓王者的博客
计算理论-形式语言
计算机的各种程序设计语言、数理逻辑中的谓词演算语言等都属于形式语言。 形式语言理论在计算机科学中扮演着重要的角色，尤其是在编译器设计、编程语言的设计、自然语言处理以及数据库查询语言等领域 文法 形式语言的定义通常包括以下几个部分： 字母表（Σ）：这是形成语言的一组基本符号 性质 幺元 ɛ∘x=x∘ɛ=x 这个是离散数学学的，不过神奇的是，这学期离散数学，计算理论，数据结构一起上，倒是把原来承前启后的学习路径变成交错纵横了 可结合性 (x∘y)∘z=x(y∘z) v2-由v中长度为2的符号串的集合。 下推自动机 3型语言-有限自动机 参考 《计算理论ppt》
56710编辑于 2024-10-31 - 来自专栏模拟计算
DFT计算和MD模拟技术在水系电池中的应用-测试GO
例如，在锂离子电池中，DFT计算揭示了LiF在SEI中的优先形成机制，其低扩散能垒（约0.68 eV）有利于离子传输。 高电压界面稳定性针对高电压水系电池（如>2.5 V窗口），DFT计算预测了电解液成分（如高浓度LiTFSI）的氧化分解路径，并通过MD验证了"盐包水"电解液中阴离子富集层对抑制氧析出反应（OER）的作用 CEI研究的多尺度模拟工作流2. 离子输运动力学与溶剂化结构离子迁移能垒计算DFT计算量化了多价金属离子（如Zn²⁺、Al³⁺）在水溶液中的脱溶剂化能垒。 电极材料设计与性能优化材料缺陷与掺杂效应DFT计算预测了锰基阴极材料中氧空位对Zn²⁺嵌入能垒的影响，揭示了Mn³⁺/Mn⁴⁺氧化还原电位偏移机制 。 电解液设计中的关键问题添加剂作用机制DFT计算筛选了抑制HER的添加剂（如Na₂SO₄、有机分子），通过H₂O分子轨道能级与添加剂LUMO能级匹配度预测还原稳定性。
45400编辑于 2025-07-23 - 来自专栏Hammer随笔
计算机基础理论
目录 1、计算机发展史 第一台计算机 现代计算机 2、计算机的本质 3、计算机的五大组成部分 4、三大核心硬件 5、操作系统 PC端 # 移动端 6、文件的概念 7、编程与编程语言 编程与编程语言的关系 2、计算机的本质 #计算机就是电脑，即通电的大脑。 1KB 1024KB = 1MB 1024MB = 1GB 1024GB = 1TB 1024TB = 1PB ··· ps:满足大数据的要求得有4v特征： 1.规模性 Volume 2. 程序员使用计算机能够读懂的语言'将自己的思维逻辑和想法'写下来的过程 2.什么是编程语言？ 编程语言的分类 1.编译型 c++ 类似与英文课本的翻译，一次翻译完成后可以多次使用 优势：执行效率高 劣势：修改bug不方便 #比如课本改版就是整本改喽~ 2.
65220编辑于 2022-05-09 - 来自专栏量子化学
红外光谱的理论计算
例如CO2分子，共有4个振动模式，高斯计算后的结果如下（下文会说明如何计算）： ? 二、红外光谱的计算 计算红外光谱只需要对分子进行频率计算即可，高斯中一般直接使用opt freq的组合。 三、频率校正因子 由于计算方法本身的误差以及谐振近似的使用，使得理论计算的红外频率一般无法与实验结果（基频）对上。例如Hartree-Fock方法由于没有电子相关效应，通常会高估10%~12%。 对DFT方法，所得的结果就准确多了，例如Bauschlicher和Partridge在B3LYP/6-311+G(3df,2p)水平下拟合的校正因子为0.989，比较接近1了。 自己根据数据绘制谱图时需要注意的是理论计算得到的谱图是孤立的线，作图时需要使用展宽技术，这方面的原理和操作，我们以后介绍。
6.7K10发布于 2020-07-27 - 来自专栏量子化学
荧光光谱的理论计算
也可能被激发到更高的激发态，如S2等，当S2的较低的振动能级与S1的较高振动能级能量相当或重叠时，分子则可能以无辐射方式从S2过渡到S1，这称为内转换（internal conversion, IC）。 三、计算方法与实例 对激发态不熟的同学可以参看《激发态计算入门》和《激发态计算中的溶剂效应》两篇文章。知道了荧光产生的原理，便可知道荧光的计算方法，一般来说有以下两种方法。 (2) 态特定模型下的吸收光谱计算，分两步完成： (2-1) 基态的单点能计算，同时保存基态的非平衡溶剂信息： %chk=c153.chk #p pbe1pbe/6-311G** scrf(solvent =cyclohexane,noneq=save) guess=read geom=allcheck (2-2) 以基态结构做TD计算，读取上一步保存的溶剂信息： %chk=c153.chk #p pbe1pbe =cyclohexane,noneq=write,externaliteration) guess=read geom=allcheck (4-2) 在激发态的平衡结构下做基态计算，得到非平衡溶剂下的基态能量
7.2K30发布于 2020-07-27 - 来自专栏Java实战博客
RocketMQ 2 理论知识
同步消息（Sync Message）：生产者向broker发送消息，执行相关的代码同时等待，直到broker服务器返回发送结果，在后续执行。
25110编辑于 2022-01-19 - 来自专栏量子化学
用Gaussian 16做二分量赝势自旋轨道DFT（SODFT）计算
能够做二分量赝势SODFT计算的程序里[1]，用的比较多的大概就是“西北大学化学系”[2]和“淘宝猫”[3]了，因为这两个程序的SODFT都有解析梯度，能够做结构优化。 在Gaussian的安装包中，找到tests目录下的test1198，就是一个用二分量赝势在HF级别计算Sg原子的测试，输入文件里包含详细注释。以下是TlCl分子结构优化+振动频率计算的输入示例。 2. GHF/GKS没有二阶导数，频率计算需要用梯度做数值差分。 3. GHF/GKS必须结合二分量赝势。如果用一般的标量赝势，则GHF/GKS忽略旋轨耦合效应，得到与标量HF/KS计算一样的结果。 旋轨耦合赝势在早期文献中有两种定义，差别在于是否乘上因子2/L。如果没有经过2/L换算，需要加上输入选项pseudo=soscal（见test1198第二步计算）。 不要用全电子相对论收缩基组（基组名一般带有x2c、dk、zora）。 6. 在这个输入里，其他关键词的含义和一般的HF、DFT计算相同。
2.1K30发布于 2020-07-27 - 来自专栏姓王者的博客
计算理论-有限自动机(FA)
有限自动机是一种数学模型，用于表示和分析有限状态的计算过程。它包括确定性有限自动机（DFA）和非确定性有限自动机（NFA），广泛应用于语言识别和编译技术等领域。 K={q0,q1,…,qn} ， Σ={0,1} δ(q0,0)=q2 δ(q0,1)=q1 δ(q1,0)=q2 δ(q1,1)=q0 δ(q2,0)=q2 δ(q2,1)=q0 F={q0} 写成表格就是这样 0 1 q0 q2 q1 q1 q2 q0 q2 q2 q0 不确定的有限自动机（NFA） 定义 NFA是一种不确定的有限自动机，即从初始状态到任意一个接受状态的转换路径可能有多条 多映射 例如 δ(q0,0)={q2，q3} 0 1 q₀ {q₁, q₂} {q₁} q₁ {q₁, q₂} {q₀} q₂ {q₂} {q₀} NFA转换成DFA 定理 如果语言L可由一个 delta函数的扩充 δ^(q0,0)={q0，q1,q2}!=δ(q0,0)={q0} 参考 《计算理论ppt》
82610编辑于 2024-10-31 - 来自专栏涓流
计算机存储设计理论
概述 不同的数据库存储系统都会设计不同的索引结构来优化查询/写入效率， 在讨论这些结构之前， 我们先从头回顾一下计算机存储的一些设计 计算机存储分级设计 计算机的存储器设计采用了一种分层次的结构。 寄存器、高速缓存、主存和硬盘，从顶至底，这些存储器的速度逐级递减而容量逐级递增，并且伴随越来越低的价钱，如图 在现代计算机里面, 上面的存储实际上分为CPU(寄存器，高速缓存L1、L2、L3)、内存、硬盘 来说， 我们只关心最终的 value， 中间的 op 过程是无效的， 这种情况被称为 空间放大, 解决办法是进行合并压缩数据 合并压缩的过程中又引入了新的问题: (1)合并的过程中阻塞了写入和读取 (2)
62520编辑于 2024-06-04 - 来自专栏信数据得永生
计算理论入门 1.1 命题逻辑
将此计算组织成一个真值表是很方便的。 真值表是一个表，其中显示了所包含的命题变量值的每个可能组合的，一个或多个复合命题的值。 表中有八行，因为分配给p，q和r的真值正好有八种不同的组合方式 [2]。在这个表中，我们看到最后两列，表示(p∧q)∧r和p∧(q∧r)相同。 [2] 一般来说，如果有n个变量，那么有2^n个不同的方法来为变量赋值真值。 如果你尝试提出一个方案，系统地列出所有可能的值集合，这可能会变得清楚。 如果没有，你将在本章后面找到严格的事实证明。
1.1K20编辑于 2022-12-01 - 来自专栏贾维斯Echo的博客
计算机理论基础
1.什么是计算机？为何要有计算机? 计算机就是人类的奴隶，取代人去干活，提高效率 2、什么是编程语言？什么是程序？什么是编程？为何要编程？ 1.操作系统：就是一个协调、管理、控制计算机硬件资源与应用软件资源的一个控制程序 2.应用软件：为了某种特定的用途而被开发的软件。 虚拟内存，当物理内存不够用时，系统会把比较老的数据临时放到swap中，可以腾出一部分空间给应用程序使用 18.简述操作系统启动流程 1.计算机加电 2,启动BIOS系统，扫描启动设备，从启动设备中找到操作系统 raid0 至少1块盘 容量：n块盘何在一起的总容量 性能：理论上是N块盘合在在一起的读写速度，实际上是要略低一些 冗余性：不允许坏任何一块盘 场合：追求读写性能 1、浏览器DNS缓存->本地系统DNS缓存->本地计算机HOSTS文件->ISP DNS缓存->递归or迭代搜索 2、登录chrome://net-internals/，选择DNS，点击 clear host
56530编辑于 2023-10-18 - 来自专栏Python机器学习算法说书人
计算机注重理论还是实践？！
我们直接来看一下今天的问题——计算机注重理论还是实践？ 提出问题 我之所以提出这个问题，是因为在我准备二战之前，有人问我计算机有没有必要考研。 在校期间大部分人会忽视计算机理论的学习，学习计算机理论知识是最有效的方式是准备计算机考研，而不是从实践中学习，因为在校期间进行的实践基本上不可能包含所有计算机理论知识，哪怕实践了很多，也不可能把所有计算机理论知识都命中 上述分析并不是在绝对的夸大计算机理论知识的作用以及贬低实践的作用，而是希望大家不要忽视计算机理论的学习！那么问题来了，既不能忽视项目实践，又不能忽视计算机理论，到底哪一个才是重点？ 这么回答这个问题主要有 2 点原因： 如果没有理论的指导而盲目实践或者学习，你在学习实践技能或者项目实践中会或多或少遇到各种问题，比如计算机为什么好多小数不能精确表示，为什么网络程序通信基本单位是字节等这类问题的出现 ，不是因为计算机错了，而是你在没有相关理论的指导的情况下把错误归咎于计算机！
1.1K20发布于 2021-01-08
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号