固体与分子经验电子理论中k公式的量子力学推导

考虑了s,pz,dz 轨道被价电子占据的几率 ,从量子力学角度推导了k公式 .给出的公式适应所有情况 ,且初步解决了杂化态的不确定性问题 .

固体与分子经验电子理论中k公式的应用

作者曾考虑了s,pz,dz 轨道被价电子占据的几率 ,对固体与分子经验电子理论 (EET)中的k公式重新进行了量子力学推导 ,给出了一个新的k公式 .本文应用该公式分别对 3种可能的杂化 (s p杂化 ,s p d杂化和h态只有晶格电子的杂化 )进行了讨论 .结果表明 ,给出的k公式适应所有情况 ,且用该公式确定的固体原子杂化台阶的个数 ,比用EET给出的两个k公式确定的杂化台阶的个数少 ,初步解决了固体原子杂化态的不确定性问题 .

Stein流形的子流形上的Koppelman公式和内插

本文得到了Ｓｔｅｉｎ流形的子流形上的一个具有权因子的Ｋｏｐｐｅｌｍａｎ公式及一个内插公式。

MAX+ (k)中公式改名的多项式时间可判定性(英文)

MAX+ (k)是极小不可满足公式的一个子类。作者引入了MAX+ (k)中公式的一种递归构造方法, 基于分裂技术并通过证明MAX(1)中公式改名问题在多项式时间内可以判定。证明了MAX+ (k)中公式的改名问题在多项式时间内可以判定。

公式P_n(k)=C_n^kp^k(1-p)^(n-k)的用法

全日制普通高级中学教科书(必修)数学第二册(下B)中讲到在n次独立重复试验中,如果事件A在其中1次试验中发生的概率是p,那么在n次独立重复试验中这个事件恰好发生k次的概率为:P_n(k)=C_n^kp^k(1-p)^(n-k)(*)。笔者在教学中发现学生对该公式的理解有误。

从Q=K·S·Δt公式入手提高烧碱蒸发生产能力

从Q =K·S·Δt基础公式入手 ,在传热面积无法增加的情况下 ,寻找提高传热系数K和传热温差Δt的途径。着重研究了旋液分离器的分离原理和优化旋液分离器分离效果的方法 ,以及蒸发系统真空形成的机理 ,提出蒸发大气冷凝器真空系统真空极限方程式 ,并以此采取相应的措施 ,大大地提高生产能力 。

d-正则(k,s)-SAT问题的NP完全性

研究具有正则结构的SAT问题是否是NP完全问题,具有重要的理论价值.(k,s)-CNF公式类和正则(k,s)-CNF公式类已被证明存在一个临界函数f(k),使得当s≤f(k)时,所有实例都可满足;当s≥f(k)+1时,对应的SAT问题是NP完全问题.研究具有更强正则约束的d-正则(k,s)-SAT问题,其要求实例中每个变元的正负出现次数之差不超过给定的自然数d.通过设计一种多项式时间的归约方法,证明d-正则(k,s)-SAT问题存在一个临界函数f(k,d),使得当s≤f(k,d)时,所有实例都可满足;当s≥f(k,d)+1时,d-正则(k,s)-SAT问题是NP完全问题.这种多项式时间的归约变换方法通过添加新的变元和新的子句,可以更改公式的子句约束密度,并约束每个变元正负出现次数的差值.这进一步说明,只用子句约束密度不足以刻画CNF公式结构的特点,对临界函数f(k,d)的研究有助于在更强正则约束条件下构造难解实例.

一个极小不可满足公式子集的构造

对于极小不可满足公式和它的子类的研究是近年来兴起的一个热门方向。极小不可满足公式通过分裂得到的公式保持了极小不可满足性,它的子类的某些性质对于建立在分裂上的归纳证明是很有用的。找到了一个能递归构造的极小不可满足公式的子类MAX+,并证明这种递归构造方法具有可靠性和完备性,最后给出了一个构造实例。

《Geek》2012年改版纪念T恤

当街上花哨T恤衫如云飘过，有谁想得出，T恤最初原是干粗重体力活的男士内衣？一拨拨的青葱少年老去，而世界对T恤的热情却未消淡过。T恤作为休闲服出现在世界的各个角落，它舨传统文化、反体制的象征意义已经褪色，所以，在今夏《Geek》的改版之际，我们特别推出两款纪念T恤——“Geek星空”和”Geek公式”来为T恤重新定义。盲目和愚昧地跟从是不可饶恕的，我们依旧推崇原创和新奇，GeekT恤能给你带来的就是独一无二的智慧8秒杀一切的淡定。

关于sumfromi=1ton(Ai+B)~k

利用生成函数的方法得到的一些性质和定理.

对接环焊缝射线检测中K值计算的探讨

K值是射线检测中的一个重要参数,应控制实际透照时的透照比K值不能超过标准要求。本文对环焊缝不同透照方法下K值的取值范围进行分析,并给出K值的计算公式和相关参数的计算方法,为计算机辅助计算建立一个精确高效的数学模型。

亚式期权定价及其套期保值策略

亚式期权是一种强路径依赖齐全,在市场无套利的假设下,利用测度变换和鞅方法,使几何平均亚式期权定价的求解过程更加简化,并运用推广的Clark公式,给出了其套期保值策略。

放射状角膜切开术后人工晶状体屈光度计算的临床观察

目的:评估Barrett True K公式应用于放射状角膜切开术(RK)术后的白内障患者的屈光准确性。方法:选取2017-02/2019-02在我院确诊为RK屈光手术后的白内障患者22例42眼,术前分别用两种方法计算人工晶状体屈光度:(1)选取术眼角膜中央直径3mm区域最小的前表面K值,应用SRK/T公式计算,目标屈光度设为-1.0D;(2)用Barrett True K在线计算公式,选择RK术后模式,目标屈光度设为-1.0D。术后3mo检查术眼屈光状态,对比两种方法计算的屈光误差。结果:术后3mo,Barrett公式法屈光误差为0.61(-0.37,0.88)D,明显低于传统公式法的0.35(-0.25,0.63)D(P<0.05);屈光误差绝对值比较无差异(P>0.05)。传统公式法屈光误差在±0.5、±1.0、±2.0D的范围的分别占21%、45%、90%,Barrett公式法屈光误差在±0.5、±1.0、±2.0D的范围的分别占31%、74%、100%(P<0.05)。结论:Barrett True K在线公式应用于RK术后的白内障患者可达到较满意的屈光状态。

基于比率依赖的两种群捕食者—食饵系统的随机模型

研究一类比率依赖的两种群捕食者-食饵系统的随机模型。利用随机微分方程理论,通过构造Lya-punov泛函,并结合停时分析、不等式构造等技巧,证明了比率依赖的两种群捕食者—食饵随机系统整体解的存在唯一性,整体解的有界性与渐近性质。

连续时间的均值-方差组合选择及其有效前沿

对于有限时间区间的(d+1)种资产市场模型,在模型系数为随机过程的条件下,根据均值-方差准则讨论了风险资产市场中的投资组合问题.利用K.It公式和倒向随机微分方程理论,建立了投资组合过程与财富过程之间的随机控制的倒向随机微分方程模型,得到了初始财富及最终财富之间的关系式,证明了投资组合的存在惟一性,在均值-方差准则下给出了有效投资组合的解析表达式,并得到了有效投资组合下的双曲线型有效前沿.

一些简化的NP完全实例类(英文)

(k,s)-SAT是命题满足性问题限制在一种特殊的命题公式上, 该命题公式具有每个子句只有k个不同的文字且每个变元出现的次数少于s次的特点。已经验明对于正整数k,s存在一个指数函数f, 满足:对任意s≤f(k), 所有的(k,s)-SAT例都是可满足的, 而(k,f(k)+1)-SAT却是一个NP-完全问题。目前为止, 只知道f(3)和f(4)的精确值.对于f是否可计算是一个仍未解决的问题.由于每个满足某种条件的数值序列对应一个MU(1)中的公式, 在[2]中,作者S. Horry和S. Seizder通过对数值序列的运算来构造(k,s)-SAT中的MU(1)公式例, 得到了函数f的可计算上界函数。但当k比较大时, 该方法不太实用。作者定义了一种树规则来减少数值计算的步数, 得到了一个确定的实用的算法来计算函数f的上界, 该上界接近[2]中的上界,同时,也得到了一些NP-完全满足性问题类。

岩溶隧道围岩分级方法探讨

岩溶地区隧道施工过程中,经常遇到岩溶问题,通常应根据开挖情况对原设计进行调整。因此存在岩溶隧道围岩分级问题。文章在分析众多围岩分级方法之后,选择适用范围较广的[BQ]法作为修正对象,根据岩溶地区地质条件的特殊性,提出了岩溶发育程度影响系数对[BQ]法进行修正,得出了修正后的[BQ]k分级法公式。并以大坪山隧道为实例,进行验证分析,得出了在岩溶地段围岩级别较低、岩溶发育区的围岩级别较差的结论,与实际揭露的围岩情况基本一致。

命题公式集F(S)的基于R_0-算子的16类分划

利用R0-蕴涵算子对命题公式集F(S)进行分类,得出了F(S)的—个16类分划,并证明了这种分类关于非运算是同余分类.最后讨论了各类关于MP运算与HS运算的封闭性.

准分子激光原位角膜磨镶术后白内障患者人工晶状体屈光度计算准确性观察

目的评估应用Barrett True K公式计算准分子激光原位角膜磨镶术(Laser in situ keratomileusis,LASIK)后白内障患者屈光度的准确性。方法选取2018年2月至2020年10月在开封市中心医院就诊的LASIK术后白内障患者19例(36眼),术前IOL Master500检查眼前节参数,分别应用Haigis-L公式和Barrett True K公式计算人工晶状体屈光度,目标屈光度设为-1.0D,术后1月行主觉验光检查,记录患者屈光状态,计算其平均屈光误差和平均屈光误差绝对值,比较屈光误差在±0.5D,±1.0D,±2.0D范围的百分比差异。结果术后1个月Barrett True K公式平均屈光误差中位数为0.02D,Haigis-L公式平均屈光误差中位数为0.08D,二者差异具有统计学意义(P<0.05);平均屈光误差绝对值比较差异无统计学意义(P>0.05);Barrett True K公式屈光误差在±0.5D,±1.0D,±2.0D的范围的分别占61.1%,94.4%,100%,高于Haigis-L公式的47.2%,80.6%,94.4%,二者比较在±0.5D和±1.0D内的差异有统计学意义(P<0.05),但在±2.0D内的屈光误差比较,差异无统计学意义(P>0.05)。结论对于LASIK术后的白内障患者屈光度计算,Barrett True K公式在准确性上相比Haigis-L公式更具优势。