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.     

一类非线性算子的具有混合误差项的迭代序列

在Banach空间中 ,研究了带有混合误差项的Mann迭代序列的收敛性问题 ,去掉了通常文献中关于空间X的一致光滑或q-一致光滑的严格要求 ,改进和推广了近期文献 [2～ 6]中的一系列相关结果     

蛋白质二级结构中同义密码子与氨基酸上下文关联的偏好型

通过对人(Homo sapiens)的117个蛋白质和大肠杆菌(E．coli)的87个蛋白质的统计分析，发现mRNA序列中的同义密码子与氨基酸的上下文关联是和蛋白质二级结构有关的，并给出了各二级结构中有意义的上下文关联型．讨论了该结果对蛋白质结构预测的改进意义及其在基因工程领域可能的应用。     

任意二值随机序列的一个强极限定理

给出了任意二值随机序列随机稀疏的一个强极限定理的信息条件，是Borel强大数定理的推广。     

p-亚正规算子的性质

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

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

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

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

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

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

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

牛泡沫病毒BFV3026 gag基因的克隆及其在大肠杆菌中的表达

从牛泡沫病毒BFV3026感染的胎牛肺细胞中提取Hirt DNA,PCR扩增BFV3026　gag基因。序列分析确证后，将其克隆于原核表达载体pET32A，重组质粒转化大肠杆菌BL21（DE3），经IPTG诱导，使Gag蛋白得以高效表达。SDS－PAGE及Western blot证实：表达蛋白占菌体总蛋白的40%，本工作的完成为Gag蛋白功能的研究奠定基础。     

渐近非扩张映象具误差的迭代收敛问题

研究了Banach空间中渐近非扩张型映象不动点的迭代逼近问题，所得结果改进了相关文献的最新成果．