- 综合排序
- 最热优先
- 最新优先
- 来自专栏测试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 是中间重复的部分 , 星计算部分 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 是中间重复的部分 , 星计算部分
96300编辑于 2023-03-28 - 来自专栏韩曙亮的移动开发专栏
【计算理论】计算理论总结 ( P 、NP 、NPC 总结 ) ★★
| NP 直觉 | NP 简介 | NP 类严格数学定义 ) 【计算理论】计算复杂性 ( NP 完全问题 - 布尔可满足性问题 ★ | 布尔可满足性问题是 NP 完全问题证明思路 ) ★ 【计算理论】 计算复杂性 ( 3-SAT 是 NP 完全问题 | 团问题是 NP 完全问题 | 团问题是 NP 完全问题证明思路 ) 【计算理论】计算复杂性 ( NP 完全问题 | 顶点覆盖问题 | 哈密顿路径问题 】计算复杂性 ( P 类 | 有效算法函数 | NP 直觉 | NP 简介 | NP 类严格数学定义 ) 【计算理论】计算复杂性 ( 多项式时间规约 | NP 完全 ★ | 布尔可满足性问题 ) ★ 【 计算理论】计算复杂性 ( NP 完全问题 - 布尔可满足性问题 ★ | 布尔可满足性问题是 NP 完全问题证明思路 ) ★ 【计算理论】计算复杂性 ( 3-SAT 是 NP 完全问题 | 团问题是 NP 完全问题 | 团问题是 NP 完全问题证明思路 ) 【计算理论】计算复杂性 ( NP 完全问题 | 顶点覆盖问题 | 哈密顿路径问题 | 旅行商问题 | 子集和问题 ) 【计算理论】计算复杂性 ( NP
1.5K00编辑于 2023-03-28 - 来自专栏韩曙亮的移动开发专栏
【计算理论】计算理论总结 ( 上下文无关文法 ) ★★
文章目录 一、上下文无关文法 ( CFG ) 二、上下文无关文法 ( CFG ) 示例 三、确定性有限自动机 DFA 转为 上下文无关语法 CFG 参考博客 : 【计算理论】上下文无关语法 ( 语法组成 | 规则 | 语法 | 语法示例 | 约定的简写形式 | 语法分析树 ) 【计算理论】上下文无关语法 ( 代数表达式 | 代数表达式示例 | 确定性有限自动机 DFA 转为 上下文无关语法 ) 【计算理论 计算能力对比 : 上下文无关语法 的计算能力 要大于等于 自动机的计算能力 ;
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 , 那么当前的状态就是 非接受状态 ; 参考博客 : 【计算理论 】确定性有穷自动机 ( 自动机组成 | 自动机语言 | 自动机等价 ) 【计算理论】自动机设计 ( 设计自动机 | 确定性自动机设计示例 | 确定性与非确定性 | 自动机中的不确定性 ) 二、自动机设计
74700编辑于 2023-03-28 - 来自专栏韩曙亮的移动开发专栏
【计算理论】计算理论总结 ( 图灵机设计示例 ) ★★
算法的描述是双引号 “” 中的内容 , 这是操作意义上的图灵机 , 只描述图灵机读头操作 , 没有必要将图灵机指令整体设计出来 ; \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) CSG) 上下文唔该文法(CFG) 正规文法|右线行文法，左线性文法 识别这些语言的自动机分别是 0型语言-图灵机 1型语言-线性界限自动机 2型语言-下推自动机 3型语言-有限自动机 参考 《计算理论
56710编辑于 2024-10-31 - 来自专栏圣杰的专栏
DDD理论学习系列（9）-- 领域事件
1. 引言 A domain event is a full-fledged part of the domain model, a representation of something that happened in the domain. Ignore irrelevant domain activity while making explicit the events that the domain experts want to track or be notified of, or whic
2K90发布于 2018-01-11 - 来自专栏技术集锦
练习9—数据计算
解题步骤 （1）定义变量； （2）接收用户输入； （3）函数计算； （4）输出结果； Java import java.util.Scanner; public class E20210814 d-division]:"); getchar(); scanf("%c", &c); calculate(a, b, c); return 0; } 说明 因为有四种计算类型 ，所以我们使用switch-case语句解决，注意除法计算中除数不为 0 的条件判断，且case后需为常量，这里使用字符做判断条件，加上单引号‘’变为字符常量。
30720编辑于 2022-06-03 - 来自专栏模拟计算
DFT计算和MD模拟技术在水系电池中的应用-测试GO
例如，在锂离子电池中，DFT计算揭示了LiF在SEI中的优先形成机制，其低扩散能垒（约0.68 eV）有利于离子传输。 高电压界面稳定性针对高电压水系电池（如>2.5 V窗口），DFT计算预测了电解液成分（如高浓度LiTFSI）的氧化分解路径，并通过MD验证了"盐包水"电解液中阴离子富集层对抑制氧析出反应（OER）的作用 离子输运动力学与溶剂化结构离子迁移能垒计算DFT计算量化了多价金属离子（如Zn²⁺、Al³⁺）在水溶液中的脱溶剂化能垒。 电极材料设计与性能优化材料缺陷与掺杂效应DFT计算预测了锰基阴极材料中氧空位对Zn²⁺嵌入能垒的影响，揭示了Mn³⁺/Mn⁴⁺氧化还原电位偏移机制 。 电解液设计中的关键问题添加剂作用机制DFT计算筛选了抑制HER的添加剂（如Na₂SO₄、有机分子），通过H₂O分子轨道能级与添加剂LUMO能级匹配度预测还原稳定性。
45400编辑于 2025-07-23 - 来自专栏量子化学
红外光谱的理论计算
例如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 - 来自专栏Hammer随笔
计算机基础理论
目录 1、计算机发展史 第一台计算机 现代计算机 2、计算机的本质 3、计算机的五大组成部分 4、三大核心硬件 5、操作系统 PC端 # 移动端 6、文件的概念 7、编程与编程语言 编程与编程语言的关系 编程语言的发展史 编程语言的分类 1、计算机发展史 **计算机发展史，是介绍计算机发展的历史。 这台计算机每秒能完成5000次加法运算，400次乘法运算，比当时最快的计算工具快300倍，是继电器计算机的1000倍、手工计算的20万倍。 现代计算机 第五代计算机，亦称“智能计算机”。将信息采集、存储、处理、通信同人工智能结合在一起的智能计算机系统。 2、计算机的本质 #计算机就是电脑，即通电的大脑。
65220编辑于 2022-05-09 - 来自专栏量子化学
荧光光谱的理论计算
三、计算方法与实例 对激发态不熟的同学可以参看《激发态计算入门》和《激发态计算中的溶剂效应》两篇文章。知道了荧光产生的原理，便可知道荧光的计算方法，一般来说有以下两种方法。 第一种方法步骤少，原理不是十分严格，但结果一般都可以使用；第二种方法比较严格，但计算比较复杂，结果比较准确。以下以环己烷溶液中的香豆素153分子为例，说明荧光的两种计算方法。分子结构如下： ? 计算结果为2.88 eV，实验值为2.26 eV（实验值在乙醇中测得）。 笔者尝试计算了此过程，结果也是2.88 eV，这个例子不是个很好的反例。 方法二： 基于态特定溶剂模型进行计算，这是高斯手册中给出的标准计算方法。 (2) 态特定模型下的吸收光谱计算，分两步完成： (2-1) 基态的单点能计算，同时保存基态的非平衡溶剂信息： %chk=c153.chk #p pbe1pbe/6-311G** scrf(solvent
7.2K30发布于 2020-07-27 - 来自专栏冷影玺
9，docker基础之---Compose理论＋部署word press
8000端口 查看卷名称： [root@docker wordpress]# docker volume ls DRIVER VOLUME NAME local 4ae86d65d3c9d303fbe30f4cdd57b70d874b2f2d8bbc9d1c7edb3e1fb5bf1cb2 local c257d582258d30274aae0e411c3d39d2ce9c70c8c771fe702da0d9c20dbfa9cd local wordpress_db_data
75720编辑于 2023-10-11 - 来自专栏量子化学
用Gaussian 16做二分量赝势自旋轨道DFT（SODFT）计算
其实从16版开始，Gaussian也支持二分量赝势SOHF、SODFT的能量和梯度计算，只是很低调，没有宣传。 在Gaussian的安装包中，找到tests目录下的test1198，就是一个用二分量赝势在HF级别计算Sg原子的测试，输入文件里包含详细注释。以下是TlCl分子结构优化+振动频率计算的输入示例。 GHF/GKS没有二阶导数，频率计算需要用梯度做数值差分。 3. GHF/GKS必须结合二分量赝势。如果用一般的标量赝势，则GHF/GKS忽略旋轨耦合效应，得到与标量HF/KS计算一样的结果。 在这个输入里，其他关键词的含义和一般的HF、DFT计算相同。但是GHF/GKS不支持布局分析和各种单电子性质，不要加这类关键词。 GHF/GKS计算开壳层体系的注意事项 1. GHF/GKS计算开壳层过渡元素体系，初猜具有随机性，结果可能无法重复，甚至不是基态。
2.1K30发布于 2020-07-27 - 来自专栏智药邦
Nature｜DeepMind用深度学习改进化学中的密度泛函理论
在过去的30年里，密度泛函理论（density functional theory，DFT）已经成为预测化学、生物学和材料科学中各种系统特性的最广泛使用的电子结构方法。 为了解决这个问题，研究人员（从药理学家到电池工程师，其工作都依赖于发现或开发新分子）几十年来一直依赖一套称为密度函数理论（DFT）的技术来预测分子的物理特性。 该理论并不试图对单个电子进行建模，而是旨在计算电子的负电荷在整个分子中的整体分布。Kirkpatrick说："DFT着眼于平均电荷密度，所以它不知道单个电子是什么。 而且，尽管DFT计算比那些从基本量子理论出发的计算效率高得多，但它们仍然很麻烦，而且往往需要超级计算机。 这算是机器学习的理想的问题：你知道答案，但不知道你想应用的公式"，长期从事DFT工作的理论化学家Aron Cohen说，他现在在DeepMind。
2.5K21编辑于 2021-12-20 - 来自专栏姓王者的博客
计算理论-有限自动机(FA)
有限自动机是一种数学模型，用于表示和分析有限状态的计算过程。它包括确定性有限自动机（DFA）和非确定性有限自动机（NFA），广泛应用于语言识别和编译技术等领域。 =δ(q0,0)={q0} 参考 《计算理论ppt》
82610编辑于 2024-10-31 - 来自专栏涓流
计算机存储设计理论
概述 不同的数据库存储系统都会设计不同的索引结构来优化查询/写入效率， 在讨论这些结构之前， 我们先从头回顾一下计算机存储的一些设计 计算机存储分级设计 计算机的存储器设计采用了一种分层次的结构。 寄存器、高速缓存、主存和硬盘，从顶至底，这些存储器的速度逐级递减而容量逐级递增，并且伴随越来越低的价钱，如图 在现代计算机里面, 上面的存储实际上分为CPU(寄存器，高速缓存L1、L2、L3)、内存、硬盘
62520编辑于 2024-06-04 - 来自专栏信数据得永生
计算理论入门 1.1 命题逻辑
将此计算组织成一个真值表是很方便的。 真值表是一个表，其中显示了所包含的命题变量值的每个可能组合的，一个或多个复合命题的值。
1.1K20编辑于 2022-12-01
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号