电站锅炉故障诊断系统的广义故障树知识表示方法

故障诊断知识表示是知识处理中最基本的一个问题,其目的在于把领域诊断专家的知识以一定的表达范式表示出来。针对电站锅炉的故障诊断问题,提出了面向对象基于框架、规则、模型与过程集成的广义故障树知识表示方法。它是在故障树的基础上,以诊断对象为中心,应用面向对象技术将多种单一的知识表示方法集成一种混合的表示形式,并给出电站锅炉系统广义故障树诊断对象描述实例。这种知识表示方法具有简洁、灵活、透明,且易于诊断推理的特点。     

广义smash积

引入了广义ｓｍａｓｈ积的概念,讨论了它的性质,推广了Ｙ．Ｄｏｉ有关方面所作的工作,改进了Ｙ．Ｄｏｉ的一个同构定理。     

抛物型方程的一个新的高精度显格式

本文给出了解抛物型方程的一个新的显式差分格式,截断误差达０（Δｔ３＋Δｘ４）,是同类的显格式中精度最高的．     

广义分布参数变结构系统的不变性条件

首次研究了广义分布参数系统的不变性条件,利用特征向量函数法将广义分布参数系统化为一广义系统,证明了它们的不变性条件是等价的,同时也指正了某些文献个别结论和证明．     

用非对称零标架研究Vaidya-Bonner-de Sitter黑洞Dirac粒子的热辐射

用一种非对称零标架研究了Vaidya-Bonner-de Sitter黑洞的Dirac方程，对所得方程的各项系数进行了讨论，得出了黑体谱、Hawking温度与视界表面引力．     

线性Sobolev方程的半离散H1-Galerkin混合有限元分析

给出了线性Sobolev方程初边值问题的半离散H^1-Galerkin混合有限元格式，通过误差分析，得到了未知函数的L^2模和梯度函数的散度空间模的最优阶误差估计。     

基于广义逆的受控机构优化

基于受控原动件的机械特性和受控机构二自由度的特点，建立精确实现多点轨迹受控机构的圆拟合优化模型．提出运用广义逆求解补偿运动位移的方法。     

麦克斯韦方程组的一种推导方法

将分析力学的拉格朗日方程应用到电磁场领域，从广义能量的角度导出麦克斯韦方程组。     

Cache中TLB的设计及优化

当今微处理器的设计中，为了加快虚拟地址向物理地址转换的速度，通常使用地址转换后备缓冲器TLB(translation lookaside buffer)来加快地址转化的速度．本论基于逆向设计，提出了一种可行的TLB结构，可完成地址转换的功能，并从硬件上支持了不同大小的页表格式．此外，通过引入DVS技术将TLB存储单元中的漏电功耗减少90％以上．     

偏序BCH-代数

引入了偏序BCH-代数和广义a-结合BCH-代数的概念,很自然地在偏序BCH-代数中建立了一种偏序关系;最后,证明了由每个广义a-结合BCH-代数可以构造出一个交换幺半群。