Modal extension rule

Modal logics are good candidates for a formal theory of agents. The efficiency of reasoning method in modal logics is very important, because it determines whether or not the reasoning method can be widely used in systems based on agent. In this paper, we modify the extension rule theorem proving method we presented before, and then apply it to P-logic that is translated from modal logic by functional transformation. At last, we give the proof of its soundness and completeness.     

火焰加热温度对6005A铝合金焊接接头性能的影响

针对铁路交通车辆用 60 0 5A铝合金型材的焊接变形 ,采用火焰加热方法进行矫正·研究了火焰加热温度对焊接接头抗拉强度、硬度及微观组织结构的影响·实验结果表明 ,当加热温度低于 2 0 0℃时 ,焊接接头的抗拉强度、硬度未降低 ,热影响区内软化区的显微组织未发生明显变化 ;当加热温度超过 2 0 0℃时 ,焊接接头的硬度发生较明显降低现象 ,软化区范围加宽·软化区材料性能下降的原因是在火焰加热的热输入过程中过热导致该区晶粒粗大     

甘肃地区中强地震活动的时空特点

研究了甘肃地区中强地震的时空分布特征．结果表明，1980-2001年，甘肃地区5级以上地震主要分布在祁连山地震带，地震的频发时段集中在6-10月；中强地震活动的分区特征显著，表现为周期性及成组性．     

时间相关的含缺陷材料的流变破坏理论

含缺陷物体的与时间相关的失效过程是一个热力学开放的，远离平衡态的系统，失效过程中发生耗散结构的自组织现象，不同尺度上耗散结构的自相似性可供从微观过度到细观和宏观，基于缺陷演化过程国局域温度场和热磁效应的实验研究，从统一的宏、细、微观层次体系出发。研究了与时间相关的缺陷体的失效过程，结果表明。这个失效过程并非纯力学过程，其中的热力耦合和热磁效应不容忽略。     

密度泛函理论研究琥珀酰苯胺和联丁二酰亚胺

通过HF/3- 2 1G从头计算求得琥珀酰苯胺 (PHSIM)和联丁二酰亚胺(BSIM )的内旋转位能曲线 ,在密度泛函理论B3LYP/6 - 31G 水平对能量极小点所对应的稳定构型进行全优化 ,并作集居数分析、自然键轨道分析和简正振动分析 ,获得它们的几何构型、电子结构、红外光谱和热力学性质。结果表明 ,PHSIM和BSIM均以非平面构型存在 ,前者分子中五员环和六员环之间的夹角约为 4 3°;后者的 2个五员环平面相互垂直。它们分子中羰基伸缩振动带均分裂为 2个 ,在PHSIM中为 1 74 0cm-1 、1 795cm-1 ,而在BSIM中为 1 773cm-1 、1 80 2cm-1 ,且低频带的振动强度远大于高频带。由振动频率计算了标题物在 2 98～ 80 0K温度范围的热力学函数 ,通过原子化反应由B3LYP能量估算了它们的标准生成热     

碳纤维表面特性对反硝化菌固着化的影响

通过对比反硝化菌在不同基体碳纤维表面的固着化及碳纤维表面含氧官能团对菌种的固着化实验,研究了碳纤维(基体、比表面积、循环利用性等)特性,尤其表面含氧官能团对反硝化菌固着化的影响。实验结果表明,反硝化菌在PAN基碳纤维上的平均挂膜厚度明显高于沥青基和粘胶基碳纤维。碳纤维表面适量的含氧官能团有助于较多、较牢固地固着反硝化菌。对三种PAN基碳纤维的XPS谱图分析表明碳纤维表面含氧官能团—O—CO对反硝化菌的固着化影响较大,当碳纤维表面含氧官能团—O—CO中碳原子占表面碳原子总量的3%左右时反硝化菌固着化效果较佳。经过比较表明PAN基碳纤维是一种生物相容性好、固着化程度高、再生能力强、耐微生物分解及化学腐蚀的优异的新型反硝化菌固着化载体。     

具有特定孔道结构的分子筛骨架的设计

引入“禁区”的概念用于设计具有特定孔道的分子筛骨架结构，在模拟中，首先在某一设定晶胞中定义一个圆柱形禁区(类似分子筛中的孔道)，然后向禁区外投入独立T原子，根据对称性、原子间距不小于3．0A(Si～Si)的限定条件产生等效原子，用Cerius^2建立骨架模型，并进行结构修正，通过改变禁区半径、独立T原子数及晶胞参数，在P6／mmm(no．191)空间群中成功地设计了大量不同拓扑结构的分子筛骨架，其中既有已知骨架，如：LTL、MWW、DOH、DFO等，又包括很多结构新颖、能量合理的理论结构，这种方法为快速寻找具有特定孔道的新颖分子筛骨架结构提供了有效的途径，有利于分子筛材料的定向设计与合成。     

S2Cl2异构体最大硬度原理的密度泛函理论研究

在LDA／NL水平研究了最大硬度原理(MHP)在S2C12分子旋转异构化过程中的真实性。报告了S2C12分子在键的旋转异构化过程形成的各种异构体分子的硬度、化学势和总能量的计算值，并由此得出重要结论：①在分子旋转异构化过程中，硬度最大的分子能量最小，而硬度最小的分子能量最大，用计算的硬度表征S2Cl2异构体的稳定性与计算的总能量表征S2C12异构体的稳定性相当吻合，从而使最大硬度原理被进一步证实。②虽然化学势不宜表征异构体的稳定性，但是恒定的化学势是最大硬度原理成立的重要条件。     

浅谈汉语的英文字母化

汉语的英文字母化指的是在汉语中夹杂英文音符或字符的一种新的语言现象。这种现象是以改革开放的形势之下人民大众传统观念的改变为前提的。汉语的英文字母词有缩写词、转借词、原词三种,现今,它以其简单明了、风趣幽默、活用趋同的特性逐渐被大众所接受并成为了一种趋势。作为语言工作者,我们应该从整顿和限制两个方面着手对其进行规范,为汉语的健康发展提供条件。     

Microstructure and functional morphology of the Early Cambrian problematical fossil Rhombocorniculum

Rhombocorniculum cancellatum from the Lower Cambrian of southern Shaanxi Province (South China) is represented by the dextral and sinistral tooth-like sclerites (both in nearly equal numbers), indicating that the body plan of the organism with these sclerites probably was bilaterian. The main feature of the microstructure of the sclerites is the presence of longitudinally arranged, mutually contiguous hollow tubules, the shared walls consisting of microcrystalline apatite. In transverse cross sections, the sclerite wall mainly exhibits a spongy structure, with pore size decreasing adapically. Functional morphological analysis indicates that the sclerites serve as a defensive rather than a grasping function.