自适应性动态间隔缓存的实现

提出了用于视频服务器的缓存管理策略：自适应性动态间隔缓存。通过间隔缓存与流的状态转换有效地结合起来，满足了视频服务的顺序访问的行性。通过仿真实验证明该机制有效地保证了视频流的持续性与实时性，大大提高了视频服务的并发度。     

杆振动方程的二级二阶显式辛格式及其稳定性

用PRK方法对四阶杆振动方程构造了二级二阶显式辛格式，并讨论了其稳定性．数值实验表明了理论分析的正确性．     

基于PROLOG元级扩充的知识消化系统

通过对ＴＵＲＢＯ ＰＲＯＬＯＧ进行元级扩充，实现了一个能在知识获取时对新知识进行逻辑一致性检测的实用知识消化系统，所采用的技术和方法对提高微机ＰＲＯＬＯＧ知识库系统的质量和性能有重要参考价值。     

用于中小型净化空调系统的两级过滤

本文提出了中小型净化空调系统使用两级过滤处理的设想。通过对传统的三级过滤净化系统及新型的二级过滤净化系统内各点处浓度的分析及净化效果的分析，证明了二级过滤处理在中小型净化空调系统中应用的可能性、经济性和简单性，并指出了采用这一系统的前提条件和对新风的预处理方法。通过对一工程实例的分析，证明了该设想在实际中的可行性。     

两相流流体网络模型的实时仿真及其算法

根据核电站安全分析及实时仿真的需要，针对核电站一回路在事故状态下的两相流问题，进行了仿真建模及其算法的研究。在以漂移流理论为依据建立的理论模型的基础上提出了一种既能比较准确反映流体网络的动态过程，又能实现快速运算、达到实时仿真要求的两相流流体网络模型的建模方法和求解技术。所建模型具有精度高、实时性好的优点。并可适用于各种拓扑结构的两相流流体网络的实时仿真计算。     

奇异非线性两点边值问题正解的存在性

证明了奇异非线性两点边值问题至少有一正解，只要下列条件成立： （Ｈ１）ａ，σ，Ｄ均是给定的实娄，ａ＞０，｜σ－ａ｜＜１，且Ｄ＞１； （Ｈ２）ｋ（ｘ）是一个于［０，１］上非负可测的函数     

Banach空间四阶非线性微分方程两点边值问题

本文采用单调迭代技术研究了Ｂａｎａｃｈ空间中形如ｘ＾（４）＝ｆ（ｔ，ｘ，ｘ’，ｘ＾ｎ，ｘ＾＃），ｘ‘（ａ）＝Ａ，ｘ＾ｎ（ａ）＝Ｂ，ｘ＾ｎ（ａ）＝Ｃ，ｘ（ｂ）＝ｘ０的四阶非线性微分方程两点边值问题，并首次得到关于最大解与最小解的存在性定理。     

一种新的Dirac能级图

近年来,Manko等人的研究表明,在不违背Robinson-Carter定理的情况下,宇宙中可能存在着带有质量多极矩的黑洞.对质量多极矩而言,质量四极矩的引力场将成为重要部分.具有质量四极矩的一类黑洞的特性已得到初步的研究,本文采用Manko最近从真空Einstein场方程得到的严格的渐近平直黑洞解,用计算机计算并绘制出一个具有质量四极矩的稳态轴对称非Kerr黑洞时空中的Dirac能级,进而研究这种黑洞的非热辐射和黑洞内禀奇点对Dirac能级的影响.     

脉冲放大器功放级的研究

用大功率高频场效应管作为单向脉冲放大器的功放级的设计，在文献上尚未见到，作者根据需要，针对大功率高频场效应管的特点，完成这一设计。实验证明，设计是正确的，设计的关键是怎样计算场效应管的输入电容来实现推动级的设计。     

三阶非线性微分方程正解的存在性

证明了非线性三阶微分方程ｕ＾ｍ＋ａ（ｔ）ｆ（ｕ）＝０满足下列条件之一：ｕ（０）／０，ｕ‘（０）＝０，ｕ（１）＝０；ｕ（０）＝０，ｕ’（０）＝０，ｕ‘（１）＝０；ｕ）＝０，ｕ’（０）＝０，ｕ〃（１）＝０；ｕ（０）＝０，ｕ″（０）＝０，ｕ（１）＝０；ｕ（０）＝０，ｕ″（１）＝０，ｕ‘（０）＝０，ｕ″（０）＝０，ｕ（１）＝０的两点边值问题正解的存在性，只要ｆ（ｕ）于两个端点ｕ＝０和ｕ＝＋∞处或者是超线性