半导体激光器光束特性的计算机模拟与实验研究

为建立一套快速、准确的测量系统以适用于半导体激光器中、大规模生产的测试要求,利用有限元差分数值模拟方法对半导体激光器光束的近、远场分布,发散角等作理论模拟,利用测量系统对其光束的近远场分布、发散角等进行测量。最后提出相应方案处理测量结果以减小误差。与一般测量光束参数的系统相比,该测量系统具有兼顾简单快速与准确的优点。     

使用CC标准开发的高保证安全信息系统

通用标准（Common Criteria）提供了衡量系统安全性的流行准则。本文主要提出通过各类保证措施,如何构建符合CC标准的高保证安全信息系统。文中首先给出了CC的评估模型、评估过程和安全保证的具体要求。然后以开发安全审计系统为例,分析了系统安全功能和保证要求的产生、审计系统的实现框架以及为达到标准要求而在系统开发过程中使用的各种保证证据和保证措施。最后,又分析了审计系统对整个系统的性能影响因素,并提出了改进办法。本文通过深入剖析通用标准中各个保证要求的内涵,为开发具有高保证要求的信息系统提供了理论指导和实现方法。     

FreeBSD中内核级安全审计系统的构建

审计子系统是安全操作系统的重要组成部分,系统中与安全相关的活动均应进行审计.实现了一个基于FreeBSD内核,遵循(高于)国家标准GB17859-1999第三级要求的安全审计系统,使之成为该平台上已知的、安全等级最高的审计系统,并且和主流发行版兼容,遵循BSM规范;在实现中,还注意到了和其它安全模块的有机结合,包括对其它安全模块提供监控接口,以及利用其它模块对审计子系统进行保护.同时,该审计子系统在实现时还注意到了安全性和效率之间的平衡,尽可能地降低对系统性能的影响.     

FreeBSD中I/O系统的研究与分析*

FreeBSD操作系统提供了一个性能突出、便于扩展、灵活性高的经典I/O子系统.通过分析FreeBSD内核源代码对I/O子系统进行了深入研究,并以一个读请求的实例清晰地展示了其输入/输出操作的整个流程.