用参数变换方法研究—族钻石分形晶格上Ising模型的相变

采用英国著名学者Stinchcombe提出的理论方法——参数变换，研究了一族钻石分形晶格上Ising模型的相变和临界性质，结果表明：与实空间部分格点消约(decimation)RG变换的结果完全一致．这似乎暗示着用该方法精确求解其他等级晶格上的离散自旋模型是有效的．     

二元反平均剩余寿命的一些性质

将反向的平均剩余寿命推广到了二元的版本,并研究了其联合分布函数与二元反平均剩余寿命的联系,同时还给出了其比例模型的重要性质.     

最终范数连续半群的一些性质

主要讨论了Banach空间中当t＞t0（t0≥0）时，最终范数连续半群{T（t）│t≥0}的性质，给出了最终范数连续半群无穷小生成元的一个谱分布性质．主要定理如下：设{T（t）lt≥0}是Banach空间X上的C0半群，A是其无穷小生成元，ω0=inft＞0（1/t1n‖T（t）‖）．若T（t）关于t＞α≥0是最终范数连续的，则存在一个减函数φ：（0，∞）→R，满足φ（M）→-∞（M→∞）且S={λ∈C│Reλ≥φ（│Imλ│） }lReA≥P（1ImAl）}包括于ρ（A），其中ρ（A）为A的预解集．     

基于现代企业应用的工作流过程模型研究

针对现代企业的实际经营状况,分析了工作流过程元模型在现代企业过程建模应用中存在的不足.在此基础上,对工作流元模型以及工作流定义语言作了适当的改进和扩展,以适应现代企业过程建模的需求和新技术的使用.     

高阶非线性中立型时滞偏微分方程系统解的强迫振动性

研究具有连续分布偏差变元的高阶非线性中立型偏微分方程系统，获得了系统解振动的若干充分条件。     

一类高阶非线性中立型时滞偏微分方程解的振动性

研究一类具有连续分布偏差变元的高阶非线性中立型时滞偏微分方程，获得了方程解振动的一些新的判定准则。     

三元等价关系的定义和等价性质

给出三元等价关系的定义,并讨论了它的一些基本性质以及三元等价关系的一些等价条件。     

求解一阶常微分方程逆初值问题的分形方法

分形作为现代数学的十大成果之一，在现代社会的应用和理论研究方面都占有举足轻重的作用．从微分方程逆问题应用领域的广泛性出发，对前人认为求解很难的逆问题进行了深入的研究和分析，利用分形的图像编码方法讨论了一阶微分方程逆初值问题的求解，并用实际例子对该方法的精确性和有效性作了完整的说明。     

数字电路测试生成的二元判定图方法

测试是保证电路系统可靠性的重要手段,已成为集成电路设计与生产的一个组成部分,研究了基于二元判定图的数字电路测试生成方法,对布尔函数的表示和操作的二元判定图进行研究,详细讨论了其中的ite算符;给出了基于二元判定图的电路测试生成方法的实现步骤,并用实例进行了说明。     

用二次分形插值构造一类正交多尺度分析

给出了利用二次分形插值函数构造一类连续、紧支撑和正交的多小波尺度函数的方法.不同于用仿射分形插值函数建立的正交小波, 尺度函数具有可微性,可用来建立微分方程的数值方案.