地下水埋深动态预测的DAMSM模型

运用动态数据反演建模方法和自记忆性方程，建立了地下水埋深动态预测的DAMSM模型。该模型将动力学计算与用历史数据估计参数相结合，预测时无需分析影响地下水埋深动态的各种因素，只需要有一定长度的地下水埋深动态观测序列资料，避免了众多数据的收集整理。实例预测表明，该模型具有较高的拟合精度和预测准确性。     

SPM的数学基础及其在脑功能成像研究中的应用

探讨SPM的数学基础,给出了SPM中利用一般线性模型(General LinearModel,GLM)构建统计参数图的方法;为了适应处理功能磁共振成像(functionalMagnetic Resonance Imaging,fMR I)数据的需要,对一般线性模型做了扩展,推导出扩展的GLM的检验统计量和自由度.最后将扩展的一般线性模型应用于一个具体的fMR I实验,说明了方法的有效性.     

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.     

复映射族z~(-2)+c广义M集的标度性质

在复映射 f(z,c) =z-2 +c的广义Mandelbrot集中 ,发现了主周期芽苞的标度规律·用符号动力学中的方法对其做了研究 ,给出了主周期芽苞字的规律 ,及字相应的提升方程 ,通过解字提升方程 ,给出了任意精确常数 μ的算法 ,通过大量的计算机计算得到了一个常数 μ =1 ·标度常数为 1的情况在复映射的标度常数研究中为首次发现·提出了常数 μ普遍存在于一般有理迭代的广义Mandelbrot集中的猜想     

一类非线性广义系统结构稳定的李亚普诺夫判据

非线性广义系统的结构稳定性的研究有实际意义,基于李亚普诺夫方程,研究了一类非线性广义系统平衡点稳定的问题·用李亚普诺夫方法研究了此类非线性广义系统的结构稳定问题,在此基础上,得到了这类非线性广义系统结构稳定和李亚普诺夫方程的解的关系·最后,给出了这类非线性广义系统结构稳定的充要条件,并且用简单的数值算例说明了定理的可行性·     

一类约束满足问题及其算法

针对具有解析约束形式、同一变量多赋值的约束满足问题,提出了一种新的约束满足问题定义·通过一种特殊约束满足问题的研究提出一套建立在这个定义基础之上的概念和三种算法:整数规划法、不等式组法和直接求解不定方程法,详细研究了其中的第三种算法,并给出了最坏情况下的时间复杂度,从而能够比较清晰地描述一类约束满足问题的一般分析过程,揭示了约束满足问题同经典的整数规划、数论和整数环论的联系·     

伪微分算子作用下小波变换中的误差分析

通过对文献[1，2]的研究，在常系数伪微分算子作用下的小波变换中，得到一些新的结论。     

斜齿轮插削加工的运动分析和控制

基于切削运动的观点，分析了斜齿轮插削加工运动，提出采用“电子分齿传动”和“电子差动传动”技术对其运动进行控制的新方法．     

时间相关的含缺陷材料的流变破坏理论

含缺陷物体的与时间相关的失效过程是一个热力学开放的，远离平衡态的系统，失效过程中发生耗散结构的自组织现象，不同尺度上耗散结构的自相似性可供从微观过度到细观和宏观，基于缺陷演化过程国局域温度场和热磁效应的实验研究，从统一的宏、细、微观层次体系出发。研究了与时间相关的缺陷体的失效过程，结果表明。这个失效过程并非纯力学过程，其中的热力耦合和热磁效应不容忽略。