过滤器的安全模型框架

采用Ｂｅｌｌ－ＬａＰａｄｕｌａ（ＢＬＰ）模型的风格及其表述方法，讨论了信息过滤器一类系统的安全模型框架。提出的过滤器模型框架扩充了ＢＬＰ模型的适用范围。结果表明，ＢＬＰ模型不仅适用于操作系统的建模，而且还适用于其它的一类系统建模。     

Benard花纹的格子BGK模拟

建立了用于模拟二维Ｂｅｎａｒｄ对流现象的格子ＢＧＫ模型，该模型要求粒子撞过程不仅满足质量和动量守恒，而且满足能量守恒，结合二迭加ＦＨＰ模型和三迭加ＨＰＰ模型，确定了此模型的平衡态形式，导出了此模型对应的宏观质量，动量和能量方程，用该模型成功地模拟了二维Ｂｅｎａｒｄ花纹。     

过滤器的安全模型框架

采用Ｂｅｌｌ－ＬａＰａｄｕｌａ模型的风格及其表述方法，讨论了信息过滤器一类系统的安全模型框架。提出的过滤器模型框架扩充了ＢＬＰ模型的适用范围。结果表明，ＢＬＰ模型不仅适用于操作系统的建模，而且还适用于其它的一类系统建模。     

关于一维三元准周期模型的讨论

研究了替代关系为Ａ→ＡＢ，Ｂ→Ｃ，Ｃ→Ａ序列上的一维三元类Ｆｉｂｏｎａｃｃｉ模型的结构、能谱和波函数的性质，发现这个模型以无序性为主要特征，准周期性表现的并不明显，不应作为理论研究中的准周期模型。我们给出一个替代关系为Ａ→ＡＢＣ，Ｂ→Ａ，Ｃ→Ｂ序列上的三元广义Ｆｉｂｏｎａｃｃｉ模型，呈现出明显的准周期性，可作为一个三元准准周期模型进一步讨论。     

基于神经网络模型的知识获取方法与故障诊断

分析了神经网络模型的应用环境，提出了一种ＢＰ模型的快速算法，并将其应用于ＦＭＳ故障诊断系统，实践证明，这种具有柔性节点的自适应ＢＰ网络模型结构为建立诊断系统知识库提供了一条有效途径。     

CORBA／IIOP的语义初探

用π－演算刻划ＣＯＲＢＡ／ＩＩＯＰ环境下涉及多个ＯＲＢ的分布式对象计算过程，重点描述多个ＯＲＢ之间的互操作过程，构造了一个高度简化的ＣＯＲＢＡ／ＩＩＯＰ的π演算模型，借助于这个模型，演示了ＣＯＲＢＡ／ＩＩＯＰ支持分布式对象计算这个性质。     

一种改进的C／S服务模型

提出了一种改进的Ｃ／Ｓ服务模型ＢＢＤＳＭ，ＢＢＤＳＭ把代理作为客户与服务器间的中介者以实现一种新的服务管理机制，相对传统Ｃ／Ｓ服务模型而言，实现了服务透明访问和动态负载平衡，并使系统具有一定规模的可伸缩性和容错能力。     

电力系统中谐波诊断的神经网络方法

本文提出了一种应用人工神经网络模型诊断电力系统中谐波含量的新方法。用误差反向传播模型（ＢＰ模型）取代传统的快速傅立叶变换方法，对ＢＰ模型进行训练，得到由电流（或电压）采样值映射出基波和谐波含量的ＢＰ模型。试验结果表明，该方法具有速度快、精度高的优点，硬件实现简单，同时具有在线应用的特点。     

混合三种群Volterra系统周期解的存在性与稳定性

研究了一类三种群Ｌｏｔｋａ－Ｖｏｌｔｒｒａ模型；种数Ａ，Ｂ间是竞争关系，种群Ｃ以Ａ、Ｂ为食。同时用微分不等式解的性质及Ｂｒｏｕｗｅｒ不动点定理，给出了模型存在全局渐近稳定的正周期解的充分条件。     

液相外延生长Bi：YIG薄膜的溶性模型

在Ｂｉ２Ｏ３－ＰｂＯ－Ｂ２Ｏ３复合助熔剂中，采用等温浸渍液相外延技术在ＧＧＧ基片的（１１１）面上生长了（Ｂｉ，Ａｌ）：ＹＩＧ薄膜，建立了掺铋钇铁石榴石在Ｂｉ２Ｏ３－ＰｂＯ－Ｂ２Ｏ３溶液中的溶性模型，并利用实验数据对该模型进行定量检验，发现在实验误差范围内饱和温度Ｔｓ的计算值与实验值基本相符，提出了进一步完善该溶性模型的方法。     

BUU方程的矩展开与核流体动力学方程

通过对Ｗｉｇｎｅｒ表示下的ＢＵＵ方程作矩展开，研究了ＢＵＵ方程零至二阶矩和流体动力学方程及其相应的守恒定律之间的关系，并获知，在两体碰撞占优势的情况下，考虑了局域平衡假设，ＢＵＵ模型将以核流体动力学模型所替代。     

13速四方格子BGK模型热流体性质研究

为了解格子ＢＧＫ模型的热流体性质，本文研究了１３速格子ＢＧＫ模型，测量了其粘滞系数及热传导系数，模拟值和理论值能很好地吻合。     

一种新的ATM网VBR视频业务模型及分析

提出了一种新的ＶＢＲ视频业务模型；三态马尔科夫链下的双一阶自回归Ｇａｍｍａ序列。该模型较理想地描述了场景切换下的视频业务模型，其Ｇａｍｍａ分布特性较好地描述了ＶＢＲ业务比特流的分布，对该模型进行了较详细的分析，得出了确定模型参数的方法。     

CORBA/IOP的语义初探

用π－演算刻划ＣＯＲＢＡ／ＩＯＰ环境下涉及多个ＯＲＢ的分布式对象计算过程，重点描述多个ＯＲＢ之间的互操作过程．构造了一个高度简化的ＣＯＲＢＡ／ＩＯＰ的π－演算模型．借助于这个模型，演示了ＣＯＲＢＡ／ＩＯＰ支持分布式对象计算这个性质．     

高温超导临界电流密度J_c测量中的自场效应

讨论了高温超导临界态模型（Ｂｅａｎ模型）中的自场效应．通过计算和分析，得到了临界电流密度的测量值Ｊｃｅｘｐ（Ｂａ）．发现Ｊｃｅｘｐ（Ｂａ）与其真实值Ｊｃ（Ｂａ）之间在低外场时存在着较大的差异，从而解释了实验中发现的利用临界态模型测量高温超导体临界电流密度的值比直接测量值要小的现象．并提出了一种对实验测量值Ｊｃｅｘｐ（Ｂａ）进行修正的方法．     

异构环境HBSP模型及其在FFT算法中的应用

提出了异构块同步并行（ＨＢＳＰ）模型和程序开销计算方法，根据通信开销线性模型和处理机利用率来研究异构环境中算法的设计和分析。以快速傅立叶变换（ＦＦＴ）为例，给出了相应的算法设计和分析结果。当构成块同步并行（ＢＳＰ）计算机的各处理机速度相同，且原有ＢＳＰ算法达到最优（即各处理机上所分配的计算量与通信量完全均衡）时，ＨＢＳＰ模型等同于原有模型。     

一个具有杂质的量子费米可积模型

借助边界反射矩阵，在开边界条件下，我们构造了一个具有杂质的一维量子可积费米模型。应用代数Ｂｅｔｈｅ ａｎｓａｔｚ方法，给出了该模型的精确解，从而得到了其能请以及代数Ｂｅｔｈｅ ａｎｓａｔｚ方程，这将为研究该模型的热力学行为提供了重要的基础．     

INMARSAT—M系统语音编码

介绍了ＩＮＭＡＲＳＡＴ－Ｍ系统语音编码方案，关重介绍了ＩＭＢＥ自满，包括ＩＭＢＥ语音模型，语音参数，参数编码与纠错码，ＩＭＢＥ语音合成等问题。     

二维Burgers方程的格子Boltzmann模型

给出了二维Ｂｕｒｇｅｒｓ方程的格子Ｂｏｌｔｚｍａｎｎ模型，用Ｂｕｇｅｒｓ方程确定了平衡分布函数ｈａｐｍａｎ－Ｅｎｓｋｏｇ展开中的待定系数。     

无线广播网络的可靠性的一个算法

提出了一个无线广播网络（Ｒａｄｉｏ－ＢｒｏａｃｄｃａｓｔＮｅｔｗｏｒｋ，ＲＢＮ）的概率有向图模型，利用该模型，证明了计算ＲＢＮ的２终点可靠性是个ＮＰ－困难问题，进而提出几个保何靠性约化（Ｒｅｌｉａｂｉｌｉｔｙ－ＰｒｅｓｅｒｖｉｎｇＲｅｄｕｃｔｉｏｎ）和一个计算ＲＢＮ的２－终点可靠性的因子算法。