效应代数的表示及弱表示

目的给出效应代数的表示及弱表示的定义,研究幂集和布尔代数的可表示性。方法用效应代数表示的定义及效应代数中态射的性质得出结论。结果证明了E是可表示的,则E是弱可表示的;若E是弱可表示的,则由E到Hilbert空间效应代数的强态射诱导的效应代数是可表示的;布尔代数格同构和效应代数同构是一致的。结论幂集作为一个效应代数是可表示的,任何有限布尔代数是可表示的效应代数。     

煤矿软岩巷道顶底板剪切变形破坏机理

通过石嘴山一矿38区＋600m轨道巷表面收敛监测及变形破坏的研究，总结出了变形破坏特征。以矿山压力假说为前提，对巷道围岩典型破坏特征作出理论推断，建立巷道顶底板的力学模型，并应用关键层理论、块体理论、弹性力学对巷道变形破坏进行理论分析与求解，得出了巷道顶底板发生剪切破坏判定条件，并用FIAC加数值模拟验证其正确性，为深部巷道支护提供了新的理论依据。     

煤矿软岩巷道顶底板剪切变形破坏机理

通过石嘴山一矿38区 600 m轨道巷表面收敛监测及变形破坏的研究,总结出了变形破坏特征。以矿山压力假说为前提,对巷道围岩典型破坏特征作出理论推断,建立巷道顶底板的力学模型,并应用关键层理论、块体理论、弹性力学对巷道变形破坏进行理论分析与求解,得出了巷道顶底板发生剪切破坏判定条件,并用FLAC3D数值模拟验证其正确性,为深部巷道支护提供了新的理论依据。     

关于n-余挠模

设 R 为环,M 为右 R 模,n是一个给定的非负整数.若对任意平坦右R模 N 都有Ext n 1 R (N, M) = 0则称M 为 n-余挠模.若对任意n-余挠右R-模 N都有 Ext1R(M, N) = 0则称M为n-平坦模.本文给出了n-余挠模与n-平坦模的一些性质.     

Hardy空间Hp(BN)上的加权复合算子

设φ:BN→BN为全纯映射,ψ∈H(BN), 其中H(BN)表示BN上全纯函数集合.定义加权复合算子Wφ,ψf=ψ(fφ),f∈H(BN).作者研究了Hardy空间Hp(BN)上的加权复合算子的有界性、紧性、弱紧性.     

脱铅离子筛的界面筛分机理

以焦磷钼酸为基体制备了一种脱铅离子筛，可以高选择性脱水体中的痕量铅离子。通过对离子筛的原位红外光谱，X射线光电子能谱及选择性吸附实验的分析，探索了脱铅离子筛界面的选择性筛分机理。研究表明在制备离子筛的热力学重结晶过程中，基体发生了固相化学反应，通过化学修饰手段，可在其表面形成具有特殊选择性的吸附筛位，当Pb^2＋被置换后，由于基体聚合反应的发生，使吸附位的微观结构未被破裂，而是以铅空穴的形式保存与Pb^2 有独特键合作用的界面上的SnO3^2-和P2O7^4-基团中，进而形成对铅离子的特殊选择性。这种吸附位的筛分作用为一种弱化学作用，与待去离子的价电子态直接相关。     

Banach格上的序连续范数算子

根据Banach格上的序连续范数算子的等价定义,在定理(I)的基础上,进一步得出了在某些Banach格上序连续范数算子、L-弱紧算子及M-弱紧算子的一致性．同时认为序连续范数算子的对偶算子也是序连续范数算子．从而系统地阐述了L-弱紧算子、M-弱紧算子、序连续范数算子及其对偶算子之间的本质联系。     

C+L波段分布式拉曼光纤放大器实验研究

采用后向泵浦方式,利用波长分别为1426,l440,1454,1472及1496nm的大功率半导体激光器作为泵源,实现了带宽为80．nm(1530～1610nm)的宽带分布式拉曼光纤放大器,对40个信道的信号进行分布式放大,获得了较好的增益平坦及噪声特性．信号经60km的普通单模光纤传输后,平均开关增益为16．5dB,增益平坦度为1.5dB,最大等效噪声指数为-0．9dB．采用Agilent 8166B测试系统的多通道信号源(C L-band)作为信号源测量增益谱．由于考虑了信号光之间的相互拉曼作用及信号光对泵浦的影响,实验结果更精确．     

随机环境中马氏链的常返性与弱不变测度

讨论了随机环境马氏链中具有强π-不可约性链的常返性的判定,从而得到了强π-不可约链常返性判定的充分必要条件,同时首次提出了关于单链X→的弱不变测度的概念.     

生物序列分析

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