Gdel宇宙模型的一个近似解

通过对Gdel宇宙基本性质的分析,求得了弱场条件下其Einstein方程近似解,并对该解进行了分析.     

Godel宇宙模型在理想流体条件下的一个近似解

在引力源为理想流体条件下,通过对G(o)del宇宙基本性质的分析求解了Einstein场方程,给出了一个G(o)del宇宙时空度规的近似解.并且对此解进行了分析.结果表明,在参量f(x)的两种不同情况下,G(o)del宇宙将分别表现出静态与膨胀的特征.对于膨胀宇宙,H的取值主要依赖于λ、k以及σ等模型参数.     

G(o)del逻辑系统中一类模糊逻辑方程解的性质

以模糊逻辑系统中公式的真度理论为基础,提出了模糊逻辑方程概念,从而实现了方程思想与模糊逻辑的结合；并在 G(o)del逻辑系统中选取形如τ(p→X)=α的一类模糊逻辑方程,展开方程解的性质讨论,其中,p为原子命题,X是待定的公式,由此得到如下结论:模糊逻辑方程τ(p→X)=α有同型解当且仅当α=0或1；有m-同型解(m≥2)当且仅当α∈{i/(m+2)! |i=0,1,2,…,(m+2)!}.     

基于G(o)del配数的程序结构研究

用自然数研究程序结构的特点是文章的写作目的.在提出同构程序概念和程序G(o)del数概念后,讨论了静态同构程序与动态同构程序之间的关系,证明了同构程序可数;在文中建立的程序积的概念下,从结构化程序设计角度,继承性地对一般程序结构进行了定义,并对它们的特点进行了较详细的讨论,从而指出循环结构和子程序结构都是分枝结构的特殊形式;利用同一程序的静态结构与动态结构G(o)del数、程序积之间的关系找出了程序中存在子程序结构、分枝结构和循环结构的条件.讨论的结果表明用G(o)del配数研究程序设计理论是一种行之有效的方法.最后,提出了进一步研究的目标.     

G(o)del逻辑系统中公式真度判断方法

通过给出Godel系统中公式的伪真值函数的概念,得到了判断原子个数比较少的公式真度的一般方法.     

G(o)del系统中一种降级算法及性质

与G(o)del系统中广义重言式之间的一种升级算法相对应,作者给出了G(o)del系统中广义矛盾式之间的一种降级算法,对其基本性质进行了讨论,并讨论了G(o)del系统中关于广义矛盾式理论的广义语义MP规则与广义语义HS规则,为进一步对G(o)del系统的研究提供了帮助.     

暴涨宇宙的一个可能解

证明了在非均匀球对称的Tolman-Bondi时空中，应用Brans-Dicke理论，当作为外场的B-D标量场是非均匀的，且将其视为时空挠率的挠率势时，选取合适的拉氏作用量，则极早期宇宙将以指数幂律倍增的形式发生暴涨。     

三值G(o)del命题逻辑中基于前提信息的随机真度

利用赋值集的随机化方法,在三值G(o)del命题逻辑系统中引入基于前提信息Γ公式的Γ-随机真度,证明了Γ-随机真度的MP规则、HS规则及交推理规则;同时引入公式间的Γ-随机相似度和Γ-随机伪距离,建立了Γ-随机逻辑度量空间,推导出Γ-随机相似度的若干性质;在Γ-随机逻辑度量空间中提出3种不同类型的近似推理模式并研究了它们之间的关系.     

∧≠0 Bianchi-V 宇宙模型的一个精确解

本文给出了宇宙常数 A≠0的 Bianchi—V 型宇宙模型的一个精确解。随着对间的增长,这一解将趋于膨胀的各向同性宇宙模型。     

命题模糊逻辑系统G(o)d中公式的理论可证度

基于命题模糊逻辑系统中公式的理论可证度的概念,探讨了命题模糊逻辑系统God中公式的理论可证度的计算公式,并研究了它的一系列性质。     

应用Bulk时空流形对宇宙学常数的研究

宇宙学常数的物理学起源问题被视为现代物理中最重大的疑难之一.从额外维的流形出发,给出了宇宙学常数的Bulk时空流形起源的理论.从而得到了不同情况下宇宙学常数的取值和宇宙学常数随时间变化的函数,并且得到了可拟合现代天文观测的宇宙学常数.     

G(o)del语言的一种并行推理模型

针对Gdel语言成分复杂,难以采用Prolog语言的并行推理策略,给出了基于该语言程序中间代码的并行推理模型,并对该并行模型的加速效果进行了分析,结果表明新提出的Gdel并行策略具有良好的加速比.     

太极宇宙模型中的可见宇宙-大统一的宇宙结构之二

本文将虚数引入太极宇宙模型并建立起太极宇宙模型的数学模式,利用现代宇宙学研究成果验证可见宇宙在太极宇宙模型中的适用性,同时应用哲学语言论证太极宇宙模型所表述的哲学宇宙精神.     

哥德尔的逻辑人生

他是个天才的数学家、杰出的逻辑学家、深奥的思想家,同时又是一个孤僻的遁世者、偏执狂和抑郁症患者,除了极少数知己和圈内人士,人们难得一识他的庐山真面目.临终前,他甚至还叮嘱妻子躲开新闻记者和传记作家.然而,赏识他的仍不乏其人.     

G(o)del程序推理过程的可视化

主要介绍了实现Gdel语言程序结构和动态执行过程的可视化计算的一些思想,提出并设计了Gdel语言程序的两种类型的可视化.对Gdel语言程序结构和谓词之间关系的可视化,能够便于用户静态分析Gdel程序;对Gdel语言程序的动态执行过程的可视化,能够使最终用户更好地理解Gdel语言程序的执行机制,调试并查找程序运行过程中可能出现的非预期的错误.     

标量场为源的Einstein方程的一种解

本文用Kaluza-Klein理论求解了以实标量无质量,无自相互作用的Einstein方程,在非正定不变曲率时,得到了方程的一种解,其结果与宇宙标准模型膨胀理论相一致。     

标量场为源的Einstein方程的一种解

本文用Kaluza-Klein理论求解了以实标量无质量,无自相互作用的Einstein方程,在非正定不变曲率时,得到了方程的一种解,其结果与宇宙标准模型膨胀理论相一致。