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

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

GDO I酶阻断对芳烃降解途径的影响

产碱假单胞菌NCIB9867株（P25X）能够通过龙胆酸途径降解芳香烃．研究显示P25X在龙胆酸途径可能产生一组同工酶-其中一种酶是保守型，另一种则为严格诱导型表达．龙胆酸降解途径主要的酶是龙胆酸加双氧酶（GDO），它促进芳香环的裂解，产生顺丁烯丙酮酸，并通过一系列的反应最终进入TCA循环．目前，仅有保守型的龙胆酸加双氧酶及其下游片段被克隆．P25X的衍生株SNZ28，它的龙胆酸加双氧酶的基因（GDOI）被链霉素／奇霉素抗性基因所打断．本研究运用二维蛋白电泳法分析降解菌株SNZ28的蛋白提取物，并用考马斯亮兰染色鉴别．经软件比对分析，由龙胆酸诱导与无龙胆酸诱导菌株的蛋白表达提取物存在明显的蛋白质表达差异，其中有15个蛋白质点被识别．这一结果为诱导型龙胆酸酶的进一步研究打下了基础．     

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

主要讨论了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算符;给出了基于二元判定图的电路测试生成方法的实现步骤,并用实例进行了说明。     

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

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