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）对有限群的情况进行了证明，该文推广到一般群。     

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

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

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

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

结构时变模态参数辨识的时频分析方法

应用线性和二次时频变换方法，即短时傅里叶变换和魏格纳—维尔分布，进行了时变结构模态参数的辨识．通过对刚度突变和刚度连续变化的单自由度系统时变参数辨识的仿真，论述了两种时频辨识方法的特点．仿真结果表明，时频变换辨识方法是辨识时变模态参数的有效工具，而且魏格纳—维尔分布二次时频表示能得到比基于短时傅里叶变换的谱图更好的辨识结果．     

微波测量中的频域特性分析

分析了微波测量中回波信号的时间变量函数 ,确定了时间变量函数和频率变量函数之间的变换关系     

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

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

关于线性规划问题解的讨论

用矩阵的奇异值分解和广义逆讨论标准线性规划问题解的存在性和唯一性问题。