- 综合排序
- 最热优先
- 最新优先
- 来自专栏测试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 - 来自专栏韩曙亮的移动开发专栏
【计算理论】计算理论总结 ( 自动机设计 ) ★★
如果当前输入的字符串中 , 含有奇数个 1 那么当前状态是 接受状态 ; ② 非接受状态 : 如果当前输入字符串中 , 有偶数个 1 , 那么当前的状态就是 非接受状态 ; 参考博客 : 【计算理论 】确定性有穷自动机 ( 自动机组成 | 自动机语言 | 自动机等价 ) 【计算理论】自动机设计 ( 设计自动机 | 确定性自动机设计示例 | 确定性与非确定性 | 自动机中的不确定性 ) 二、自动机设计 : 如果读取 0 字符 , 不符合子串第四个字符 1 , 可以当做第一个字符 , 这里跳转到 \rm q_2 状态 ; 如果读取 1 字符 , 则跳转到 \rm q_5 状态 ; 6.
74700编辑于 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 - 来自专栏韩曙亮的移动开发专栏
【计算理论】计算理论总结 ( 图灵机设计示例 ) ★★
算法的描述是双引号 “” 中的内容 , 这是操作意义上的图灵机 , 只描述图灵机读头操作 , 没有必要将图灵机指令整体设计出来 ; \rm M = "在长度为 \rm n 的字符串 \rm w 上进行如下计算 算法的描述是双引号 “” 中的内容 , 这是操作意义上的图灵机 , 只描述图灵机读头操作 , 没有必要将图灵机指令整体设计出来 ; \rm M = "在长度为 \rm n 的字符串 \rm w 上进行如下计算 算法的描述是双引号 “” 中的内容 , 这是操作意义上的图灵机 , 只描述图灵机读头操作 , 没有必要将图灵机指令整体设计出来 ; \rm M = "在长度为 \rm n 的字符串 \rm w 上进行如下计算
72500编辑于 2023-03-28 - 来自专栏又见苍岚
IPv6 理论教程
寻址模式 在计算机网络中，寻址模式是指在网络上托管地址的机制。 IPv6提供了几种类型的模式，通过它们可以寻址单个主机。 可以立即寻址多个主机，或者可以寻址最近距离处的主机。 在上面的图片中，当客户端计算机尝试到达服务器时，请求被转发到具有最低路由开销的服务器。 地址类型和格式 十六进制数字系统 在介绍IPv6地址格式之前，我们将探讨十六进制数字系统。 到达目的地的路由成本通过源和目的地之间的跳计算。 路由器通常依赖于其邻居来进行最佳路径选择，也称为“通过谣言路由"。 RIP和BGP是距离矢量协议。 这是一个链路状态协议，并使用Djikrasta的最短路径优先算法来计算到所有目的地的最佳路径。 BGPv4 BGP代表边界网关协议。 它是唯一的开放标准外部网关协议可用。 BGP是一种距离向量协议，它使用自治系统作为计算度量，而不是路由器的数量作为Hop。 BGPv4是BGP的升级以支持IPv6路由。
2K31编辑于 2022-08-06 - 来自专栏姓王者的博客
计算理论-形式语言
计算机的各种程序设计语言、数理逻辑中的谓词演算语言等都属于形式语言。 计算机形式语言的历史 形式语言是由一组有限的符号和一组规则（通常称为文法）组成的严格数学系统，这些规则定义了如何将这些符号组合成有效的语句。 形式语言理论在计算机科学中扮演着重要的角色，尤其是在编译器设计、编程语言的设计、自然语言处理以及数据库查询语言等领域 文法 形式语言的定义通常包括以下几个部分： 字母表（Σ）：这是形成语言的一组基本符号 性质 幺元 ɛ∘x=x∘ɛ=x 这个是离散数学学的，不过神奇的是，这学期离散数学，计算理论，数据结构一起上，倒是把原来承前启后的学习路径变成交错纵横了 可结合性 (x∘y)∘z=x(y∘z) CSG) 上下文唔该文法(CFG) 正规文法|右线行文法，左线性文法 识别这些语言的自动机分别是 0型语言-图灵机 1型语言-线性界限自动机 2型语言-下推自动机 3型语言-有限自动机 参考 《计算理论
56710编辑于 2024-10-31 - 来自专栏星星
IPV6理论概念详解
前言： 目前我们国家也开始大力推广让企业使用ipv6，并且腾讯云、阿里云等各大厂商也都上架了ipv6的相关服务，有兴趣的可以去云厂商官网去了解下，ipv6的出现解决了ipv4地址耗尽的问题，但是ipv6 IPV6特殊地址 IPV6不确定的地址：::/128 IPV6本地回环地址：::1/128 IPV6组播地址：FF00::/8 IPV6本地链路地址：fe80::/10 用于单一链路，适用于自动配置、 以2000开头2000:: 2001、2002预留特殊单播 2003 开始普通全球单播地址 ipv6地址计算工具站点： http://www.gestioip.net/cgi-bin/subnet_calculator.cgi 路由器中添加IPV6地址的方法 全局模式：开启IPV6寻址功能 ipv6 unicast-routing 接口模式：配置IPV6地址 ipv6 add xxxx:xxxx:xxxx:xxxx:xxxx 重要的还有：IPv4和IPv6理论上不兼容，所以互联互通技术有待发展。 3：网络运营商相关的发展和制约
1.5K131发布于 2021-08-04 - 来自专栏计算机学习
xv6 启动理论部分
启动理论部分 本节来说说捋清启动需要知道的一些东西，因知识点的确很多，涉及了各个方面，我就不像其他章节一样各个部分前后有比较紧密的联系，而是直接以干货的形式罗列出来，这样或许更清晰些，不多说了来看 内存低 计算机中的内存靠地址总线进行访问，地址总线能够寻址到的空间就叫做物理地址空间。 ，而传递的接力棒便相当于对计算机的控制权。 启动可以分为两种，一种为冷启动，是指计算机在关机状态下按 POWER 键启动，又叫硬件启动，比如开机，这种启动方式在启动之前计算机处于断电状态，像内存这种需要加电维持的存储部件里面的内容都丢失了，加电开机那一刻里面的值都是随机的 这里点到为止不细说，也不好叙述，等后面直接看实例 xv6 做了哪些事，怎么做的。
83400编辑于 2023-12-02 - 来自专栏模拟计算
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 - 来自专栏Hammer随笔
计算机基础理论
目录 1、计算机发展史 第一台计算机 现代计算机 2、计算机的本质 3、计算机的五大组成部分 4、三大核心硬件 5、操作系统 PC端 # 移动端 6、文件的概念 7、编程与编程语言 编程与编程语言的关系 编程语言的发展史 编程语言的分类 1、计算机发展史 **计算机发展史，是介绍计算机发展的历史。 这台计算机每秒能完成5000次加法运算，400次乘法运算，比当时最快的计算工具快300倍，是继电器计算机的1000倍、手工计算的20万倍。 现代计算机 第五代计算机，亦称“智能计算机”。将信息采集、存储、处理、通信同人工智能结合在一起的智能计算机系统。 更加注重用户体验 linux 更加主动软件运行 macOS 两者均可 移动端 安卓 ios 鸿蒙 6、文件的概念 #什么是文件、文件夹？
65220编辑于 2022-05-09 - 来自专栏量子化学
红外光谱的理论计算
例如CO2分子，共有4个振动模式，高斯计算后的结果如下（下文会说明如何计算）： ? 二、红外光谱的计算 计算红外光谱只需要对分子进行频率计算即可，高斯中一般直接使用opt freq的组合。 (6) C−H asymmetric stretch ? 三、频率校正因子 由于计算方法本身的误差以及谐振近似的使用，使得理论计算的红外频率一般无法与实验结果（基频）对上。 对DFT方法，所得的结果就准确多了，例如Bauschlicher和Partridge在B3LYP/6-311+G(3df,2p)水平下拟合的校正因子为0.989，比较接近1了。 自己根据数据绘制谱图时需要注意的是理论计算得到的谱图是孤立的线，作图时需要使用展宽技术，这方面的原理和操作，我们以后介绍。
6.7K10发布于 2020-07-27 - 来自专栏圣杰的专栏
DDD理论学习系列（6）-- 实体
6.总结 实体作为领域建模的工具之一，唯一的身份标识是实体最基本的特征，其次是可变性。唯一身份标识和可变性也是用来区分实体和值对象的主要特征。
2.1K80发布于 2018-01-11 - 来自专栏量子化学
荧光光谱的理论计算
三、计算方法与实例 对激发态不熟的同学可以参看《激发态计算入门》和《激发态计算中的溶剂效应》两篇文章。知道了荧光产生的原理，便可知道荧光的计算方法，一般来说有以下两种方法。 方法一： (1) 优化溶液中的基态结构： %chk=c153.chk # opt freq pbe1pbe/6-311G** scrf=(solvent=cyclohexane) Coumarin anti 在(1)优化得到的结构上做TD计算： %chk=c153.chk #p pbe1pbe/6-311G** td(nstates=20) scrf=(solvent=cyclohexane) geom=allcheck 笔者尝试计算了此过程，结果也是2.88 eV，这个例子不是个很好的反例。 方法二： 基于态特定溶剂模型进行计算，这是高斯手册中给出的标准计算方法。 (2) 态特定模型下的吸收光谱计算，分两步完成： (2-1) 基态的单点能计算，同时保存基态的非平衡溶剂信息： %chk=c153.chk #p pbe1pbe/6-311G** scrf(solvent
7.2K30发布于 2020-07-27 - 来自专栏计算机学习
xv6(4) 中断理论部分
中断理论部分 中断是硬件和软件交互的一种机制，可以说整个操作系统，整个架构都是由中断来驱动的。 本文来捋一捋中断需要知道的一些理论知识，主要也是从这三个阶段来说，$emmm$实际两个阶段，其中第一个阶段设备如何产生信号不讲，超过了操作系统的范围，也超过了我的能力范围。 $8259A$ 还有其他的寄存器比如初始化命令寄存器，操作命令寄存器，这里我们后面讲述 $xv6$ 并不会使用 $PIC$，所以这里也就不说明了，最后来看看通过 $PIC$ 的中断流程： PIC 中断流程 $LAPIC$ 自己也可以作为中断源，可在 $LVT$ 中配置相关中断，主要留意时钟中断的设置，$xv6$ 就是使用 $LAPIC$ 自带的时钟来周期性产生时钟中断。 至于如果从逻辑地址 段选择子:段内偏移 经过段级转换到线性地址，线性地址又经过页级转换到物理地址，这个过程现在大家应该很熟悉了，就不再赘述，如果不是很清楚，可以看看前面启动部分的前导理论。
76800编辑于 2023-12-05 - 来自专栏姓王者的博客
计算理论-有限自动机(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号