生物序列分析

这次演讲将回顾近 1 0多年来应用某些随机模型于生物序列分析的研究工作 .这些模型本身有很长的历史 ,可追溯到 3 0多年以前 ,尽管从那时起 ,这些模型已经产生了很多新的变种 .在生物序列分析中模型的作用是归总那些涉及到在生物信息学中已知的模体 (motif)或域 (domain)的信息 ,并且提供一种工具在另一序列片段中寻找模体或域的实例 (instance) .我们将逐步介绍模体模型 ,从非常简单的 ,非随机情况开始 ,进而是更复杂的情况 ,直至近来的关于模体的剖面隐马氏模型 .第二个例子是来自利用一个或两个物种的序列数据进行基因发现 ,其中广义隐马氏模型或广义成对 (pair)隐马氏模型已被证实非常有效     

流线型挤出模曲面构造

根据塑料挤出的特点，在编程实现对型材截面轮廓凸凹性自动判断的基础上，采用射线法与比例间隔法相结合的方法，确定流道入口圆周上型值点的位置．以三次多项式作为流道模腔型曲线的数学模型，依据流线型要求给出的初始、边界条件，得出型曲线的数学方程．构建了挤出模流道的三维参数化曲面模型．有限元分析结果显示，该方法创建的流线型流道模型，其流动稳定性和平顺性都优于直线型流道．     

冷冲模凸模零件分类编码系统设计

应用成组技术对冷冲模凸模的特征进行了分析 ,采用特征代码设计了其零件分类编码系统。该设计具有一定的通用性 ,可扩展到冷冲模其它零部件 ,为冷冲模CAD提供了一种方法     

一种新的小波变换及其性质——弱收敛意义下微分方程和对应积分方程的等价性

利用一种新的连续小波变换讨论微分方程和积分方程之间的关系,并且当h是对称小波时,能够把一类微分方程利用新的小波变换变换成等价的积分方程.它们在弱收敛意义下是等价的,从而将微分方程的讨论与积分方程的讨论联系起来,使得连续小波变换在讨论微分方程和积分方程的过程中得到应用.     

Telyakovskiǐ型定理

本文在二阶连续模情形下,证明了满足Timan型估计的线性算子A,经过适当的修正后得到的线性算子A~+满足Telyakovskiǐ型估计。     

取值于Banach空间中的（E1）囿变函数

引入取值Ｂａｎａｃｈ空间中的（Ｅ１）囿变函数的概念，并讨论它与强、弱囿变函数之间的关系．     

模代数在多值逻辑系统中的适应范围

一、引言 在二值和多值逻辑的研究中,使用最广泛的代数系统是格代数系统和模代数系统。由于下述原因使模代数系统的研究受到重视:1)多值模代数中的两个基本运算的作用对象和运算结果都为多值信号,因而避免了在采用格代数时必然出现的译码器—二值电路一编码器的夹心面包式电路结构;2)模代数中的基本运算的含义及法则与普通代数相似,因而符合人们的数学习惯;3)一个函数通过GRM展式往往可以化简成非常简单的形式,从而使电路