Jordan导子的内导性

主要研究Jordan导子的内导性,从而得到套代数上任何一个导子都是内导子.     

无粘结预应力沉淀池实测伸长值偏大原因分析

针对在实际施工过程中，某无粘结预应力沉淀池预应力束实测伸长值比理论计算伸长值偏大，超过规范规定范围的情况，进行了分析和测试，提出了导致实测伸长值偏大的原因。     

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.     

可成为交换整区的素近环

设N是2-挠自由分配生成素近环,它具有单位元1和中心Z.该文证明了如果N满足下列条件之一,则N是交换整区(1)N容纳2个非零导子D1,D2,使得D1D2(N) Z;(2)N容纳一个非零导子D,使得[D(N),D2(N)]={0};(3)N容纳一个导子D,使得D(Z)≠{0},且() x,y∈N,有[x-D(x),D(y)]=0.     

矩阵的扩充与紧支撑正交小波

从矩阵的扩充出发给出了尺度因子a=4时紧支撑正交小波的一种构造方法，同时说明了补空间Wj在a=4时可以进一步分解为三个子空间的正交直和，实现Wj的细致化．     

用方向导数分析JC法的误差

用一次二阶矩法求工程结构的可靠度会产生误差 ,这误差产生的原因是将极限状态函数在验算点处的泰勒级数仅取线性部分来近似 ,本文用二阶方向导数分析这误差对工程的影响 .     

非线性拟合的初值问题

综述了非线性拟合初值的求解方法，并在前人研究的基础上提出了常见非线性模型初值的简便求法.该方法既可在计算机上编程实现，亦可利用计
算机数学分析工具Matlab，Maple，Mathematica，Matcad，微软EXCEL及微软ORIGIN等直接求解.     

库仑定律和牛顿第二定律的理论推导

为了探讨从理论上导出库仑定律和牛顿第二定律的可能性，根据能量守恒定律，用变维分形方法改进库仑定律和牛顿第二定律，并给出同时推导改进的库仑定律及牛顿第二定律的方法和针对带电小球在带电球体的电场中沿长斜面滚下的实例。具体给出适用于实例的常维分形结果：改进的库仑定律(非平方反比库仑定律)为f＝kq1q2/r^1.99989，改进的牛顿第二定律为F＝ma^1.01458。     

可拓数学与矛盾问题

本文对可拓数学建构中的几个核心问题进行了初步探讨，分析了可拓数学在研究对象、基本模型、集合基础、逻辑基础等几个方面的特点。     

基于PROLOG元级扩充的知识消化系统

通过对ＴＵＲＢＯ ＰＲＯＬＯＧ进行元级扩充，实现了一个能在知识获取时对新知识进行逻辑一致性检测的实用知识消化系统，所采用的技术和方法对提高微机ＰＲＯＬＯＧ知识库系统的质量和性能有重要参考价值。