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.     

测试二元运算乘法表是否构成群表的算法设计

对计算机测试二元运算乘法表是否构成群表的算法进行研究 ,一个乘法表构成群表的充要条件是乘法表具有两个性质·在测试乘法表构成群表的第一性质中提出了直接逐行、逐列测试G中所有元素 ,按行、按列搜索相同元素及相异元素计数三种算法 ;在第二性质测试中 ,对搜索与单位元 1构成矩形的同行、同列元素中提出自然升序法、外推法及小段优先三种算法 ;在遍历整个二维乘法表判别矩形第 4顶点元素特性中 ,提出了单个矩形移动、按行(列 ) (n-1 )个矩形同时移动、(n -1 ) 2 个矩形同时移动及改进的单个矩形移动四种算法 ;讨论了主要算法的复杂性 ;用VisualC ++6.0实现了算法的程序设计 ;用所设计...     

萘的六氮取代衍生物电子结构和非线性光学性质

在量子化学半经验PM3方法优化几何结构的基础上，采用FF／PM3方法，讨论了萘的六氮取代物及其对位被推、拉电子基团取代衍生物电子结构和非线性光学性质的变化．用NDDO方法计算体系的电子光谱，探讨了分子电子结构对电子光谱及非线性光学性质影响的微观本质．     

幂群的置换表示

利用群作用分别给出了有限群上幂群的置换表示和矩阵表示,进而给出了非空幂子集成幂群的条件.     

p-亚正规算子的性质

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

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

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

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

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

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

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

紫外辐照官能化LLDPE对PA66/LLDPE体系相容性改善的研究

在空气中 ,线型低密度聚乙烯 (LLDPE)通过紫外光辐照后氧以C =O、C -O、OH等基团形式被引入到分子链上。采用FT -IR、凝胶测定、MFR测定和水的接触角测定等方法研究了空气中紫外辐照对LLDPE化学结构和性能的影响。结果表明 :LLDPE分子链上含氧基团的引入量随辐照时间延长而增加 ,其膜的亲水性也相应增强。同时用SEM、Molau实验和力学性能测试等方法研究了官能化的LLDPE对PA6 6 /LLDPE共混体系的界面作用和相容性的影响。结果表明 :共混物体系微相之间的界面作用增强 ,两相的相容性得到明显改善 ,共混体系的力学性能有较大幅度的提高     

高精度的正交频分复用频率同步新算法

提出了一种基于 80 2 .1 1 a的适合于室内环境的频率同步算法 .它们分两步实现 :1在快速傅里叶变换 ( FFT)前作频率跟踪 ,估计小数倍频率偏移 ,估计范围 |ε| <ΔF;2经初步频率校正后在 FFT作频率捕获 ,估计整数倍频率偏移 ,估计范围在 [- 32ΔF,31ΔF].该算法简单 ,能准确地估计频率偏移量 .同时 ,在保证算法精度的情况下 ,增加了频率捕获的范围 ,解决了传统频率同步算法中算法复杂度和频偏估计范围的矛盾