赋值格为险象识别格的一种非经典逻辑系统K#(Ⅱ)

研究赋值格为非线性序的一种非经典逻辑低矺#.在该系统中,格结构不同于Boole代数,蕴涵算子→取Kleene-Dienes算子RKD.得到若干结果,特别是K#-准重言式恰是经典命题逻辑C2中的重言式,从而也等于C2中的定理,即QT(K#)=T(C2)=Φ├ .     

A δ-function-like peak in the specific heat of two-dimensional vortex lattice: Monte carlo study

ＩＮＴＲＯＤＵＣＴＩＯＮＩｎｔｈｅｃｏｎｖｅｎｔｉｏｎａｌｓｕｐｅｒｃｏｎｄｕｃｔｏｒｓ,ｔｈｅｒ ｍａｌ ｆｌｕｃｔｕａｔｉｏｎｅｆｆｅｃｔｓａｒｅｖｅｒｙｓｍａｌｌｂｅｃａｕｓｅｏｆｔｈｅｌａｒｇｅｃｏｈｅｒｅｎｃｅｌｅｎｇｔｈ .Ｍｅａｎ ｆｉｅｌｄｔｈｅｏｒｙ ,ｔｈｅｒｅｆｏｒｅ,ｃａｎｇｉｖｅａｇｏｏｄｄｅｓｃｒｉｐｔｉｏｎｏｆｔｈｅｓｅｓｙｓｔｅｍｓ.Ｉｎｃｏｎｔｒａｓｔ,ｂｅｃａｕｓｅｏｆｔｈｅｓｈｏｒｔｃｏｈｅｒ ｅｎｃｅｌｅｎｇｔｈｓａｎｄｌａｒｇｅａｎｉｓｏｔｒｏｐｙ ,ｔｈｅｒｍａｌｆ…     

格的半同态与半模格

本文讨论了格的半同态(即并同态或交同态)保持上半模性与下半模性的问题，指出了中山正在[2]中的错误。     

一维纳米线的热学性质

根据边界条件中声子散射的不同情况，用Boltzmann方程研究了计算一维纳米材料－线的晶格热导率，结果发现，与体热导率相比， 线的热导率显著减小。     

关于弱MV代数的几点注记

引入弱MV代数的概念，讨论了弱MV代数的几个性质，并得到了弱MV代数的一些结果。     

A δ-function-like peak in the specific heat of two-dimensional vortex lattice: Monte carlo study

A repulsive vortex-vortex interaction model was used to numerically study the melting transition of the two-dimensional vortex system with Monte Carlo method. Then a δ-function-like peak in the specific heat was observed and the internal energy showed a sharp drop at the melting temperature, which indicated that there exists a first-order melting transition at finite temperatures. The Lindemann criterion was also investigated and valid, but different from previous simulation results.     

格点上的一种统计分割模型

为了克服Kim-Fisher模型实现难度大、运行速度慢的问题,提出了离散的近似Kim-Fisher模型.该离散模型的目标函数直接定义在格点上,采用贪心法进行优化.首先,把图像的灰度值视为离散的随机变量,从而可以采用更为简单的方法估计条件熵.其次,针对基于水平集技术的二区域和多区域图像分割,提出一种无须扩展的统一的方法.最后,还提出一种多标号格点上曲线长度的近似方法,该方法比现有的方法更加准确.实验结果表明,同传统的连续Kim-Fisher模型相比,所提出的模型在取得相当的分割效果的同时,简化了实现过程,并大大降低了运行时间.     

M·玻恩:一个广为涉猎德才兼备的诺贝尔奖得主

本文简要地介绍了M玻恩的成才之路,在科学上的卓越贡献,精湛的实验科学观,执著于教坛的风采,反对战争、热爱和平、为人类谋幸福的精神风范,及其丰富而深邃的科学哲学思想等。籍以启发和教育后人,效法先师,奋力去求真、务实、拼搏进取,造福于人类。     

餐时降血糖药物那格列奈多晶型的结构测定与药效比较

那格列奈是一种用于治疗Ⅱ型糖尿病的口服新药,具有起效快,作用持续时间短的特点。本文对那格列奈的多晶型结构和药效(两种模型)进行了测定和讨论。结果表明在那格列奈的三种结构中,H晶型为三斜晶系,晶胞参数a=1.7699(7)nm,b=2.7191(8)nm,c=1.2670(6)nm,α=61.75(3)°,β=73.11(6)°,γ=66.77(7)°,V=4.895nm3,Z=10.S晶型为正交晶系,晶胞参数a=2.3178(6)nm,b=2.5332(5)nm,c=0.6531(2)nm,α=β=γ=90,°V=3.835nm3,Z=8.小白鼠模拟降糖试验表明:与目前上市的H晶型相同,S晶型也具有很好的降血糖作用,特别是在用药40分钟时,效果更显著。     

格蕴涵代数的一个简化公理系

将格蕴涵代数的公理系由原来的19条公理简化为7条公理,从而为检验一个（2,2,2,1,0,0)型代数是否为格蕴涵代数提供了方便。