eCos设备驱动程序设计分析

普及计算的发展要求新型的嵌入式操作系统能够支持更多的设备，如何高效、快捷地构造这些网络设备的驱动程序，对嵌入式操作系统的实际应用起着决定性的作用。eCos这种嵌入式可配置操作系统层次分明、接口合理，便于设备管理和设备驱动的开发，文章在对eCos设备驱动程序体系结构分析的基础上，重点讨论了eCos设备驱动程序设计编写的要点及其工作的基本原理，并给出了具体的应用实例。     

面向校园网格环境的多域监控系统

文章建立了一种分域多层网格监控模型,利用LDAP提供的目录层次服务,动态设置多层虚拟监控域,进行分区域监控,实现全局监控与局部监控的分离.结合移动Agent技术的定制服务,过滤弱相关数据,满足多样化监控需求.文中详细讨论了校园网格监控系统的实现,并在此基础上,针对资源调度应用,给出了一种动态时间间隔算法,可以有效减少网格监控对系统资源的占用.     

基于映射机制的业务规则生成系统

针对业务规则语言繁杂而导致的信息系统难以升级或迁移等问题,在分析现有业务规则开发方法基础上,采用分层体系结构,提出了一种独立于规则引擎的基于映射机制的业务规则生成系统模型。该系统定义了类自然语言的业务规则描述模型,设计了基于XML的中间业务规则,并构建了中间业务规则与目标规则的映射关系,实现了不同规则引擎所识别规则之间的相互转换。     

构件化软件系统安全性分析技术研究

复杂系统的软件安全性分析中存在众多的含糊表述和不确定性问题,主观评价和模糊集理论即为处理此类问题的有效方法。首先对复杂软件涉及到的安全性要素进行模糊数学化表述,按照构件化的思想,对单个构件/模块的安全度进行分析,进而利用Dempster-Shafer证据理论对整个软件系统进行安全度综合,实现对软件系统的安全性分析和评估,最终按照DO-178B标准给出软件的安全等级,并通过实例加以说明。     

软件能力可信研究综述

能力可信是可信计算研究领域中的重要研究内容,它要求系统的功能是可信赖的,如今,系统的开发方式,系统规模、应用模式已发生巨大变化,这使得获得功能的可信赖性的任务更具挑战性,首先综述能力可信的概念、内涵等,详细介绍了能力可信的性能指标,从缺陷分析、可靠性模型、恢复技术三个方面讨论了能力可信的研究现状、和存在问题,最后对能力可信的未来发展趋势进行了探讨.     

基于保真数据的花样定制算法

不失真地优化并扩展自主电子花样机花样格式NTP,结合优化后的花样格式NTPS及传统NTP花样定制算法,研究针距不变时花样不失真定制的原理与方法,设计并实现了基于NTPS的保真花样定制算法。实验结果表明,该算法较原有算法更好地解决了花样定制时的失真问题,已成功应用于电子花样机花样设计软件“兰花花v1.0”中。     

“嵌入式计算”课程的教学探索与思考

本文结合嵌入式计算技术的特点,分析了"嵌入式计算"课程的知识体系结构,并在总结笔者教学实践经验的基础上,探讨了建立完整课程体系,多线索、层递式实践教学模式,以及多种课程实践组织方式等内容。最后,论文还进一步给出整合数字化教学工具以及营造和谐、互动课堂教学氛围的建议。     

西北工业大学“操作系统”课程改革实践

经过多年的"操作系统"教学实践,本文从教学理念、教学内容、教学方法、实验教学等几个方面总结了"操作系统"课程的教学改革。即确立了以学生为本、循序渐进的四阶段教学理念,教学过程中注重理论与实践相结合、教学与科研相互补充,采用丰富多彩的教学手段,强化实践性教学环节,设计了多层次的实验内容,形成了有机的课程体系。实践证明,通过对课程实施上述改革,取得了较好的教学效果。     

分布式软件系统兼容性自动测试用例的研究与开发

探讨了对网络作业负载均衡系统NISF进行兼容性自动测试的意义，技术难点以及解决措施，例举了一个典型兼容性自动测试用例的设计和实现，探讨了自动测试用例的功能特性，提出了开发自动测试用例的模式，讨论了自动测试信息的保存和分析，提出了如何改进自动测试用例质量的措施。     

UNIX SVR4实时进程调度分析与改进

本文在剖析ＵＮＩＸＳＶＲ４／３８６Ｖｅｒｓｉｏｎ１．０核心源代码的基础上，着重对ＵＮＩＸ进程调度中新增的实时特色进行了分析，并对进一步提高进程调度的实时性作了较为深入的探讨，实验证明，这些尝试是成功的。