模糊Petri网及其可达性的必要性条件

给出了模糊Petri网的形式化定义及其变迁规则，并以模糊Petri网的控制矩阵与关联矩阵为工具，讨论了模糊Petri网的性的必要性条件。     

ZL算法及其在磁盘存贮中的应用

从理论上分析、引出并证明了一个具有特别意义的映射——ZL映射。从而构造了一个有主要应用的算法——ZL算法。并把它应用于解决磁盘存贮中的问题，最大程度地减少了寻找数据的时间，提高了速度和效率。     

n 维单形的两个几何不等式

利用优超理论将平面上关于三角形的彼得洛维奇不等式和达林——莫泽不等式推广到ｎ维欧氏空间中的ｎ维单形上，得到（１）１Ｎ≤∑Ｎｉ＝１ａ２ｉ（∑Ｎｉ＝１ａｉ）２≤１ｎ（２）Ｍ≤∑Ｎｉ＝１ａｉ２－ｄ∏Ｎｉ＝１ａｉＳ≤ｎＳ２式中ａｉ（ｉ＝１，２，…，Ｎ；Ｎ＝ｎ（ｎ＋１）２）为ｎ维单形∑Ａ的棱长，ｄ为任一非负实数，Ｓ＝１ｎ∑Ｎｉ＝１ａｉ，Ｍ＝ｎ２ＮＳ２－ｄＳ（ｎＳＮ）Ｎ。     

关于n维单形宽度的一个结果

证明了关于ｎ维单形宽度的一个不等式，结果是Ｗ≤（ｓｉｎθ）＾１／２αｎ（１／ｎ＋１Σ↑ｎ＋１↓ｉ＝１Ｒｉ＾２）＾１／２。这一结果蕴含并推广了Ｓａｌｌｅｅ－Ａｌｅｘａｎｄｅｒ定理。     

单辊传动和异径轧制在镍带轧机上的实验

本文实验证明，在四辊薄带轧机上，实行“单辊传动和异径轧制”方案是可行的，通过实验数据分析和比较，单辊传动异径轧制可降低轧制力２１－４０％，保证了轧机受力零件的安全，通过增加压一率，减少轧制道次，可以提高轧机的生产率。     

极小映射的一个性质

极小映射是动力系统理论中常见的概念。本文证明了极小映射的一个性质，说明了，在连续映射族Ｃ＾０（Ｘ，Ｘ）中，一致极小映射族可扩张为闭集族。     

一种改进的关联规则增量式更新算法

在支持度和置信度不变的情况下,随机或偶然向数据集添加数据记录会导致关联规则的变化.在FUP算法的基础上给出了一个改进的增量式更新算法,本算法在充分利用先前关联规则的基础上极大的减少了扫描原数据集的次数,与FUP算法相比极大的减少了算法运行时间,并实验验证了算法的优越性.     

层流剪切力对悬浮培养红豆杉细胞HMGR酶基因转录的影响

以HMGR酶基因为研究对象,采用实时荧光RT-PCR技术,研究了Couette式反应器中0．3 Pa层流剪切力作用后悬浮培养的对数期东北红豆杉细胞HMGR酶基因转录情况．结果显示,在对数生长时期,未经剪切处理的悬浮培养虹豆杉细胞HMGR基因转录水平呈增长趋势,而剪切处理后的悬浮培养红豆杉细胞HMGR基因转录水平则基本保持不变．同时,对相应细胞生物量的测定结果也显示出类似的变化．以上结果说明在对数生长时期施加一定强度的剪切力,将使细胞生长发生停滞,谊生长停滞现象可能与因剪切所引起的HMGR基因转录水平下降有一定相关性．     

特定应用环境下的入侵检测架构

异常检测可以认为是通过对用户正常行为及系统正常应用环境的学习来识别异常的过程．由于系统及应用环境的复杂性,异常检测还难以达到很高的识别精度．为此,针对在物理上与Internet网完全隔离的计算机网络应用环境,亦即内网,提出基于mobile agent(MA)的多层次入侵检测架构,利用自组织映射网络方法,在不同层次的agent中建立二堆网格的自组织映射网络模型,分别检测目标系统不同层次上的异常现象．实验结果表明,在入侵者攻击的持续时间内,本系统通过多次采样的办法可以使检测率提高到满意的程度．     

基于小波包变换的图像融合技术的应用

阐述了基于小波包变换的图像融合算法，并对基于像素的融合规则与基于区域的局部方差融合规则作了论述．在此基础上，发展了一类修正后的局部方差对比的融合规则．通过对一混凝土梁构件内模拟的缺陷进行红外探测并进行图像融合，结果表明：对于探测梁内部缺陷，采用小波包变换的融合算法图像不仅充分结合了融合前图像的信息，边缘信息也更为细腻．另外，小波包分解层数对图像融合效果有着重要的影响．通过对加噪声红外图像的融合算例表明：随着小波包分解层数的递增，融合质量却逐渐下降．当分解层数在1～2层时，融合效果比较理想．