ELNF归约演算

ＥＬＮＦ演算是在ＬＮＦ演算的基础上扩充而成的函数／逻辑归约演算系统，扩充的主要工作包括逻辑变量、谓词名的引进。提出并描述了逻辑函子ＳＯＬＵＴＩＯＮ和ＰＲＯＶＥ及其归约规则．讨论了ＥＬＮＦ演算的基本概念。为表征ＨＯＲＮ子句提供了一种有效方式。     

ELNF归约演算

ＥＬＮＦ演算是在ＬＮＦ演算的基础上扩充而成的函数／逻辑归约演算系统，扩充的主要工作包括逻辑变量、谓词名的引进。提出并描述了逻辑函子ＳＯＬＵＴＩＯＮ和ＰＲＯＶＥ及其归约规则。讨论了ＥＬＮＦ演算的基本概念。为表征ＨＯＲＮ子句提供了一种有效方式。     

基于用户-角色的安全管理

提出了基于用户 角色的安全管理模型 ,讨论了角色间的关系、性质 ,证明了这种模型组成的系统不会引起循环授权 .     

DM3强制存取控制设计与实现

提出了多级安全DBMS的强制存取控制策略模型 ,对元组级安全标记所产生的问题进行了讨论 .并在自行开发的具有自主版权的数据库管理系统DM3上实现了该模型 .     

一种实现单库多比例尺的新方法

以典型的线简化算(Douglas-Peucker和Li-Openshaw)为基础，加入不同比例尺下的显示信息，通过扩展的点坐标(EPC)来改进矢量点的存储结构，并利用预计算和保存多比例尺信息的方式实现了单库多比例尺共享存储．研究结果表明，该方法虽使插入和更新时间增大，但能以较小的空间代价(增加6．25％)获得多比例尺能力，而且具有较好的查询响应性能(小于动态计算)，能满足在GIS应用尤其是WebGIS中的快速响应时间的需要．     

基于XML的安全策略描述语言规范

结合安全策略描述语言的要求和XML语言的优点,提出了一套基于XML的安全策略描述语言规范XBPL.阐述了其基本元素以及授权、职责和认证3种基本安全策略,给出了基于XML的相关语法描述,并用XBPL描述了访问控制中常用的BLP多级安全模型,实现了基于BLP模型最基本特性--简单安全性和*-特性的安全访问控制以及访问控制系统中的状态描述和状态转换.研究结果表明,XBPL语言具有较好的实用性、灵活性和动态特性.     

一种集成时空数据模型及语义扩展

采用面向对象的方法提出了一种具有集成特点的时空数据模型．模型分别扩展了空间数据对象和时态数据对象,时空对象是空间对象和时态对象的聚集,空间对象的变化由对象的行为进行描述并以不同的版本表现出来．此外,通过量词符号在时域上的扩充对对象的基本关系进行了语义扩展,在形式上将时态和空间谓词语义统一起来．这种模型能够更好地适应时空信息系统的应用需求．     

泛昔洛韦与十二烷基苯磺酸钠对盐水中黄铜的协同缓蚀效应研究

采用失重法、极化曲线法、交流阻抗法研究泛昔洛韦与十二烷基苯磺酸钠（SDBS）对黄铜在3．0％NaCl介质中的缓蚀作用。结果表明：当泛昔洛韦浓度为0．40g／L、SDBS浓度为0．35g／L时，其复配缓蚀效率达到93．5％。泛昔洛韦和SDBS对黄铜的缓蚀机理分析表明，泛昔洛韦在铜舍金表面通过物理与化学吸附共同作用形成保护膜，与SDBS发挥了极好的协同作用，阻碍Cl^-对铜的侵蚀，实现了对铜的高效保护。     

一种多媒体数据库存储系统的实现方法

探讨了多媒体数据存储管理实现技术，给出了实际采用的基于关系模型扩充的“层双关系”数据模型和实现常规数据与多媒体数据一体比存储管理的一种方法。