摘要：简要介绍了角色安全策略模型RBAC和BLP,随后对原模型所存在的缺陷进行了总结分析,在引入可信度、客体域和完整性规则的前提下给出了详细的解决方案,最后给出了一个基于角色管理的扩展型BLP安全模型的相关定义和规则。

摘要：利用粘贴DNA模型现有的4种基本操作来解决问题效率低下,为解决这一问题,提出多级分离的概念,设计一个多级分离装置的模型,引入了多级分离技术。以可满足性问题(satisfiability problem,SAT)为例说明了该技术与装置的应用;通过实例的分析对比,展示了该技术的优越性。最后,证实了多级分离装置的有效性,并对多级分离技术的前景给予了展望。

摘要：随着嵌入式系统在实时领域的广泛应用,对嵌入式操作系统在实时性方面提出了新的要求。作为构建嵌入式操作系统宠儿的Linux系统在实时性方面的缺陷成为了亟需解决的问题,研究者们对Linux的实时性改进提出了很多好的方法。其中既有从以前的实时系统继承下来的,也有为Linux专门设计的。文中对其中的主要方法进行了概括总结,最后提出运用AOP提高Linux系统实时性的设想。

摘要：本文用有限元素法分析了圆柱、圆锥组合壳型的接插件力和位移的关系,其结果对于该类接插件的设计有一定参考价值。

摘要：在解释网上申报含义的基础上,对网上申报系统的的架构设计、详细设计及软(硬)件部署进行了研究。

摘要：文章设计并实现了一个基于Web的远程网络教学平台,该平台提供了完整的远程网络教学环境。学生可通过网络完成整个的学习过程,包括注册,上课学习,交流讨论,答疑解惑,练习考试等一系列学习活动;教师则可以方便地在网上进行在线管理学生、发布信息和考核。