LSI工艺及器件参数统计模拟系统

研究出了不等式合取值查询的第1判别式及第2判别式，创立了特征值集合的P--代数系统，提出了该人数系统中矩阵的质因子的概念，证明了矩阵的质因子集合与使不等式集合为真的特征值集合之间的存在着一一对应，并基于这个理论给出了计算使不等式集合为真的特征值的新方法，这个新方法把以前算法O（m(m)）的复合度大大的降低了。研究了不等式集合相容与蕴含的判定方法，把1996年ShaGru等人和由(OP7≠,OPall)，及（整数域，实数减），（相容，蕴含）组合6种算法统一为一种算法。研究了动态查询的方法及性质，为今后的进一步研究做了准备。三年中向《计算机学报》投稿三篇，向全国13届，14届数据库学术会议搞五篇，出版专著一本，1996年获辽宁省科技进步二等奖一项。