R-偏序集上的cpo,代数cpo与连续cpo

本文研究了若干结构在R-偏序集上的保持性.利用例子说明了R-偏序集所带的偏序族在逼近某个偏序时未必保持cpo,代数cpo或连续cpo等结构,并给出了使得代数cpo和连续cpo结构得以保持的充分条件.     

医学院教师备课系统信息安全防御体系设计

医学院校教师备课系统的应用为教师授课提供了极大便利。医学院校的行业特殊性使其应用系统的安全性受到了广泛关注。本文针对医学院教师备课系统的信息安全性开展研究,首先详细分析了建立信息安全防御系统的功能需求,包括身份鉴别、访问控制、安全审计和数据保护,然后在此基础上设计了系统信息安全防御体系,给出了防御体系的总体架构,阐述了工作机制和流程,并就其中的登录验证、访问控制等关键难题分别提出了基于双因子的鉴别机制和基于制约机制的访问控制方法。