复制受限的环境演算中模态逻辑的内涵性

环境演算(MA)的模态逻辑AL进行了研究．在考虑了复制操作和限制操作的情况下，提出了逻辑等价的协归纳操作描述，并利用协归纳关系与进程结构同余关系进行比较，证明了若对MA加上约束条件得到子集MAIF^syn，此时逻辑等价(=L)与结构同余关系是等价的，即AL在MAIF^syn中是内涵的．同时发现由于复制操作的存在，AL的内涵性受到了影响，使得AL的区分能力被削弱，但通过对复制公式的构造验证了AL的表达能力．     

C60量子点与磁性电极的耦合

在磁电子学领域，自旋极化输运与分子器件的结合是一个热门研究方向．最近，来自美国康奈尔大学的Pasupathy等，采用纳米加工技术，将单个C60分子吸附在一对Ni电极之间，构成了“铁磁电极-C60量子点”器件．量子点的Kondo效应和铁磁性交换耦合，原本是相互排斥的，在Pasupathy的实验中，两者被首次结合在一个器件中并加以观察．研究结果表明，如果器件的质量能够保证两种效应之间的竞争得到有效控制，     

卤代对苝醌类光敏剂光敏活性影响的量子化学研究

以一种新型的醌类光敏剂—菌生素 (HMB)为模型化合物 ,利用量子化学从头算HF/ 6 31G和含时密度泛函TD B3LYP/ 6 31G方法计算研究了卤代作用对醌类光敏剂分子性质和光敏活性的影响 .结果发现 ,卤代作用降低了HMB母体的HOMO和LUMO能级 (EHOMO和ELUMO)及其差值△E ,随卤族元素从上到下 ,EHOMO和ELUMO呈增大趋势 ,而△E呈减小趋势 ,使得分子激发光谱有不同程度的红移 ,在增加PQP三重态量子产率的同时降低了分子最低三重激发态的能量 ,两种作用相互抵消 ,使得卤代物的 1O2 量子产率与母体相似 ;增加了分子的绝热电子亲合势 ,使分子产生O2 -的能力下降 ;卤原子的引入 ,降低了HMB母体分子内氢键的强度 ,同时使顺式构型的分子内质子传递势垒增大 ,而使反式构型势垒减小 .     

平台框架部件刚度的简化计算

利用卡氏定理,对惯性平台框架部件的刚度进行简化计算。通过微机编程获得数据,为结构设计初期合理选取结构参数提供参考。     

铁磁介质捕捉顺磁颗粒的动力学模型

 通过对磁场状态、流体速度分布等因素的综合考虑，提出了在磁分离技术中捕捉顺磁颗粒 机理的动力学模型，得到了捕捉机理的物理解释；通过考察用高梯度磁选对精煤 进行的脱硫降灰试验结果,发现由于介质被磁化, 磁化场与背景磁场相叠加, 磁场 分布不具有轴对称性, 对顺磁颗粒的捕捉半径的概念很大程度上是不准确的. 根 据J.E.Nesset 和J.A. Finch静态聚集模型,提出了捕捉范围的概念,其捕捉区和排 斥区的分界线为一简单双曲线, 并因此得到捕捉横断面积的新计算公式.     

一类非线性弹簧振子的周期性振动

本文用数值计算的方法讨论了一类非线性弹簧振子的周期性振动及其特点．     

Moessbauer Investigation of the Ferromagnetic Coupling in Copper-Iron Polycyanides

One of the Prussian blue analogs, molecular magnet Cu3^Ⅲ [Fe^Ⅲ (CN)6]2.11.6H2 O, was investigated by Moessbauer spectroscopy. It was found that transition temperature was around Tc = 18.5 K from paramagnetic phase to ferromagnetic phase. The β value of the critical exponent is around 0.338 at magnetic ordering temperature.Therefore, the ferromagnetic coupling interaction of Cu-Fe cyanide could be clearly explained by spin wave theory.     

二维多介质欧拉自适应网格方法研究

要对聚能和流场的剧烈变化进行模拟，欧拉方法具有明显的优势。而在这些方面的研究中，所涉及的流场十分复杂，为达到所需的计算精度，必须采用很密的网格才能以较好的分辨率去模拟流场的剧烈变化部分和介质的界面，特别是大空间尺度流场局部细节的数值模拟，有些问题如果用统一网格计算，即使最快的计算机也不能提供足够的分辨率。所以目前计算机的内存和速度限制了整个计算区域的网格细分程度，对计算区域作局部的网格自适应细分、用大的动态空间分辨率划分流场是必要的和迫切的。     

数学竞赛之窗

今天的联赛，计算相当多，我国著名数学家华罗庚先生曾经说过：“不要怕算”，可是目前我国中学生，运算能力大多不很强，或不够熟练，或不够简捷，或忙中出错，或不会检查．因此，增加一些计算对提高学生的运算能力是有益的．当然，计算过多，也有些“矫枉过正”，或许命题者认为“不过正则不能矫枉”吧．