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.     

p-亚正规算子的性质

研究p-亚正规算子A∈B(FB)的不变子空间约化A的充分条件，并证明了p-亚正规算子也具有Fuglede-Putnam性质，     

群为完全群的一个充要条件

一个群为完全群，而当它是另一个群的正规子群时，则必为其直因子，反之成立否，马元达（1982）对有限群的情况进行了证明，该文推广到一般群。     

二甲亚砜对强酸性介质中肾上腺素电子转移性能的影响

分别用循环伏安法和核磁共振技术研究了强酸性介质中二甲亚砜对肾上腺素电子转移性质的影响作用，提出了二甲亚砜与肾上腺素几种可能的作用机理，实验结果表明，二甲亚砜对肾上腺素具有较强的稳定作用，使其氧化峰电位正移，发生氧化反应的能力降低。     

基于子波变换的消噪方法在涡街流量传感器中的应用

基于子波变换消噪原理，结合流量测量持定要求，提出了一种适用于在涡街流量传感器信号处理的单支重构滤波方法，同时给出了滤波级数的选取方法，这种计数方法能够有效地扩大涡街流量传感器的量程下降，通过对实际信号的分析，证实了方法的有效性。     

中药菟丝子花粉形态的扫描电镜研究

利用扫描电子显微镜对山东菟丝子属(Cuscuta L.)3种植物的花粉形态进行了观察研究。结果显示该属花粉粒为长球形，具3～4沟。表明该属花粉粒大小、孔沟数量和外壁雕纹可以作为种间分类的依据。     

胡枝子属与米口袋属花粉亚显微形态特征的比较研究

报道了山东胡枝子属6种植物花粉与米口袋属4种植物花粉的亚显微形态特征，并对两属进行了比较分析．它们韵花粉从赤道面观均呈近长球形，极面观呈三裂圆形；具三条萌发沟；花粉粒的大小，极轴长27．2～19．5μm，赤道轴宽21．3～11．8μm．两属植物花粉的大小、表面纹饰、花粉粒萌发沟的沟裂宽度均有明显差别。研究结果表明，胡枝子属和米口袋属花粉的亚显微形态特征支持传统分类中的属、种级水平的分类。     

电偶极近似条件下电磁相互作用的Feynman路径积分描述

本文讨论了电偶极近似条件下的电磁相互作用。采用相空间中的Feynman路径积分，利用正则变换，计算出变质量变频率谐振子与电磁场相互作用时的传播子以及常质量常频率谐振子与电磁场相互作用时的波函数。同时也表明了传播子的形式与规范选择有关。     

Nd2Fe17Nx化合物的交换耦合和磁性

用MS Xα方法研究了Nd2 Fe1 7Nx 化合物的电子结构和磁性质 ,发现在Fe(f)和Fe(c)晶位间存在着负交换耦合 ,间隙N原子的作用使化合物的元胞体积稍为增大 ,因此负交换耦合强度减弱 .计算结果表明 ,晶体的几何结构对称性与原子间距离是影响物质磁性和居里温度的两个关键因素     

教育学课程理论转化为实践的策略

教育学是师范学生必修的一门课程，该课程的教学是使学生顺利走上工作岗位的前提和保证。要达到这一目的，必须改变教学策略，特别要对教学内容进行重组，使教学的主体向学生转化，引导学生把教育学课程理论转变成教学实践能力，使学生听懂、能用。