排序方式： 共有3条查询结果，搜索用时 93 毫秒
1
1.
本文通过引入一些新概念，利用有限状态机原理和BLP模型、Biba模型思想，对一个基于认证和授权的信息系统进行了形式化描述和验证，该模型具有保密性和完整性。 相似文献
2.
本文通过对对象数据库、关系数据库和模式的介绍 ,探讨了对象数据库到关系数据库基于模式的映射法则。 相似文献
3.
PBL是近年来受到广泛关注的一种教学模式,计算机对PBL的支持更是研究的重点.论文阐述了目前计算机支持PBL各种思想,并对较为成熟的一个计算机支持PBL系统进行了改进,在该系统结构中的PBL学习空间建立了一个三层空间模型,即:问题空间、信息空间和答案空间.并对该模型的三层空间进行了形式化的描述,实现了定义该三层空间模型中层与层之间的接口信息的描述,为该系统的实现打下理论基础. 相似文献
1