基于CPN的嵌入式RTOS任务调度建模

针对有色PetriN（CPN）在并行、并发、资源共享描述上的适用性,将其引入到嵌入式实时操作系统（RTOS）建模中,解决了RTOS任务调度模型中的CPU独占表述、优先级排序、抢占时间处理和周期任务实现问题。对一个优先级抢占式任务调度实例建立CPN模型,结果表明该模型能有效反映RTOS系统的动态特性,准确定量模拟出RTOS系统的效率、切换频率指标。     

操作系统课程教材问题探讨

本文通过分析30本操作系统教材,从核心内容深度广度、具体讲授方法、教材章节安排、教材细节等方面指出存在的问题,其根本原因是对操作系统教学的相关研究工作太少,特别是缺乏课程标准方面的研究。     

比较教学法在操作系统教学中的应用与实践

针对操作系统课程相似概念难懂、易混淆所造成知识点之间产生负迁移的问题,本文提出将位于不同层次、不同模块的相似知识点放在一起进行比较的教学方法。从课程教学内容中选择出涉及系统功能、设计技术、存储资源管理、安全保护和硬件支持等五个方面的典型相似概念、算法和技术,结合讨论式和启发式等多种教学方式,分辨其异同,分析其联系,使学生从整体上把握操作系统的结构原理和设计技术,教学实践表明其教学效果很好。     

实时操作系统Toppers在ARM 7上移植的研究

为简化应用程序的编写,在嵌入式系统开发时,采用实时嵌入式操作系统开发平台,将源码开放的嵌入式实时操作系统Toppers/asp内核,移植到嵌入式微控制器ARM7(S3C44B0)。该方法能解决系统启动和加载过程中的特定工作状态等问题,明确Toppers/asp内核在移植过程中的重点和难点。经多任务运行结果表明,Toppers嵌入式实时操作系统稳定可靠。     

Windows实时扩展技术研究

Windows操作系统不能直接应用于实时领域。为此,从体系结构、基本系统策略、系统可靠性、实时应用程序开发难度和系统性能等方面,分析比较Windows实时扩展的2个典型产品——RTX和INtime。在此基础上,提出一种基于操作系统自适应域环境的Windows实时扩展方法。理论分析结果表明,该方法的灵活性、可靠性和可移植性优于目前常用方法。     

A new heuristic algorithm for the operating room scheduling problem

Due to the great importance of operating rooms in hospitals, this paper studies an operating room scheduling problem with open scheduling strategy. According to this strategy, no time slot is reserved for a particular surgeon. The surgeons can use all available time slots. Based on Fei et al.’s model which is considered to be close to reality, we develop a heuristic algorithm to solve it. The idea of this heuristic algorithm is from dynamic programming by aggregating states to avoid the explosion of the number of states. The objective of this paper is to design an operating program to maximize the operating rooms’ use efficiency and minimize the overtime cost. Computational results show that our algorithm is efficient, especially for large size instances where our algorithm always finds feasible solutions while the algorithm of Fei et al. does not.     

异构集群式包构建系统的三级负载均衡调度技术*

异构集群式包构建系统是集群式软件配置管理系统的主要功能部件,也是操作系统发行版本的重要生成系统。本文针对异构集群式包构建系统存在的负载不均、可用性差等不足,引入三级负载均衡调度技术,优化了系统的调度策略,能够更加有效地利用集群系统的系统资源,发挥更加高效的性能,提高了系统的可用性和高效性,便于高质量、高效生成操作系统发行版本。     

基于RTLinux和CAMAC的硬实时测控程序设计

文章介绍了一种基于RTLinux和CAMAC系统的的硬实时测控程序设计,对测控程序的实时性能进行了分析,同时给出了此测控系统的测试结果,并讨论了在RTLinux下使测控程序满足硬实时测控所需性能的实现方法。     

Windows系统回收站核心控制文件的作用分析

Windows 9x操作系统的回收站实际是系统实施特殊管理和维护的一个文件夹 ,而回收站文件夹的特殊性来源于该文件夹下面由操作系统自动建立的两个控制文件 ,对这两个特殊控制文件的结构与作用进行详细分析将揭示回收站文件夹的工作机理。本文通过分析控制文件的结构与作用 ,彻底揭开了回收站神秘的工作模型和算法。理解回收站文件夹的工作原理将十分有利于借鉴操作系统管理特殊文件夹的模式并在更高层次上发挥回收站的作用。     

可定制的安全操作系统内核

随着因特网的高速发展,安全问题显得日益严重,而计算机操作系统是信息系统的安全基础,但传统的操作系统安全机制已缺乏足够的灵活性,不能提供可根据具体应用系统配置特定安全策略的机制,提出了一种可定制的安全操作系统内核机制,用户可使用基于规则,面向事件的高层定义语言来描述安全策略而无需关心底层细节,系统具有良好的适应能力,可支持广泛的安全策略的实现。