理学 >>> 数学 信息科学与系统科学 物理学 化学 天文学 地球科学总论 大气科学 地球物理学 地理学 地质学 水文学 海洋科学 生物学 科学技术史
搜索结果: 1-6 共查到理学 态系统相关记录6条 . 查询时间(0.082 秒)
中国科学院近代物理研究所研究人员基于BLFQ方法,从包含有效色禁闭以及手征对称相互作用的光前哈密顿量出发,得到了适合于低动量标度应用的组分夸克-反夸克表示的π介子和K介子的部分子分布函数(PDF)。经过QCD演化后,π介子的部分子分布函数如图1所示,它描述了在π介子中发现一个携带介子(纵向)动量分支比为x的部分子(夸克,胶子)的概率大小,K介子与π介子中上夸克分布函数的比值如图2所示。此项研究结果...
为了估算西鄂尔多斯天然荒漠灌丛生态系统碳密度并揭示碳储量在不同层片(灌丛植株、草本层、枯落物层及土壤层)、器官间的分配规律,以该区5种优势荒漠灌丛(沙冬青Ammopiptanthus mogolicus、霸王Zygophyllum xanthoxylum、四合木Tetraena mongolica、半日花Helianthemum songaricum和红砂Reaumuria songarica)群...
研究具有线性漂移的、以Markov链为开关函数的多模态随机系统的反馈镇定,通 过建立多模态随机系统的均方渐近平坦性定理,给出具有线性漂移的多模态随机系统和线性 多模态随机系统的反馈镇定方案,并给出控制器设计中的计算方法,用仿真实例验证了该方 法的效果.
以具有简单三能级结构染料分子的单量子系统为研究对象,用带有边界条件的速率方程来反映低功率单色连续激光激励下单分子发射荧光的动力学过程.该方法可以通过时间分辨光子探测获得处理单分子动力学随机过程.研究给出了一种通过求解反映单量子系统动力学过程的物理量——延迟函数计算关联函数的方法,并给出了双能级系统和双态系统延迟函数和关联函数的具体表达式.研究表明,在实际测量中只要获得关联函数曲线,就可以通过数据拟...
本文首先讨论嵌套论域语义的相应代数语义并由Hughes和Cresswell在[5]中建立的关于具有嵌套论域的正规量词模态系统的关系语义完全性定理推出其相应的代数语义完全性定理:然后对于具有任意可变论域语义的正规系统,我们用Henkin方法给出其关于狭义Kripke语义的关系语义完全性定理,由此通过将关系语义转化为代数语义从而亦推得其代数语义完全性定理。
在本文中,我们讨论了六个具有Barcan公式的正规量词模态系统K+BF,K4+BF,T(D)+BF,T+BF,S4+BF及B~*的代数语义,并通过建立它们的Kripke语义与代数语义的单方面联系,从它们的Kripke语义完全性得出了它们的代数语义完全性.这种方法,至少对研究具有Barcan公式的正规量词模态系统的代数语义完全性而言,有相当的一般性.

中国研究生教育排行榜-

正在加载...

中国学术期刊排行榜-

正在加载...

世界大学科研机构排行榜-

正在加载...

中国大学排行榜-

正在加载...

人 物-

正在加载...

课 件-

正在加载...

视听资料-

正在加载...

研招资料 -

正在加载...

知识要闻-

正在加载...

国际动态-

正在加载...

会议中心-

正在加载...

学术指南-

正在加载...

学术站点-

正在加载...