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

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

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

主要讨论了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的预解集．     

具有真实感的虚拟人头部的一种构造方法

在人类交流信息、情感和动机暗示的广泛能力之中，面部是其中最关键的组成部分之一．因此，具有真实感的三维人脸模型的构造和动画是计算机图形学领域中一个重要的的研究课题．如何能够便捷有效的构造出具有真实感的三维人头部模型是其中一个难点．本文介绍了一种三维人头部模型的构造方法．该构造方法基于一个已存在的三维头部的无个体特征的一般模型，该模型可以经过调整而创造出具有个性特征的头部模型；借助于从两张从正交角度拍摄的普通的某个人的二维照片上采集到的能够反映该个体特征的数据参考点作为控制点，通过DFFD(Dirichlet Free-Form Deformation)的自由变形方法，调整该三维头部模型，进行非线性变形，向特征人面部结构逼近，从而构造出具有个性化特征的头部模型．在此基础上，本文提出了对该方法的一种改进，即对用来进行控制非线性变形的参考点赋以不同的权值，进行分层次控制，从而使得三维头部模型能够更精确的再现个体特征．     

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

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

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

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

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

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

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

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

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

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

毕竟正则半群中的变量

设S是一个半群,a∈S.S的关于元素a的变量指的是S按运算 ∶x,y∈S, x y = xay做成的半群(S, ).本文给出了毕竟正则半群上变量的一些性质并刻画了毕竟正则半群的毕竟正则保持元,即使得(S, )是毕竟正则半群的元素a∈S.     

相控线阵声波测井辐射器驱动信号源的设计与测试

介绍了相控线阵声波测井辐射器的工作原理，根据辐射器各个阵元的性能参数设计了两种供实验使用的激励信号源，即5通道Burst信号源和4通道脉冲信号源。Burst信号源输出电压峰值连续可调（6～30V），相邻通道之间的延迟时间可调（0～22μs），步长为1μs，输出频率可根据换能器的频带在10-250kHz选择。脉冲信号源输出电压幅度连续可调（50～150V），延迟时间为0～7vs可调，步长为0.25μs,脉冲宽度为1～4μs。利用这两种信号源可以对相控线阵声波辐射器进行相位和幅度加权控制。在实验室内对这两种信号源进行了性能测试，结果表明，两个信号源均能满足实验要求。