基于VxWorks的实时双冗余系统设计

阐述了基于VxWorks操作系统下的CPCI总线实时计算机双机冗余的特点。从增加实时计算机系统可靠性的角度对实时计算机进行了双冗余总体设计。结合软硬件实现了双冗余实时计算机输入、输出接口的逻辑控制,给出了故障监测、智能切换的硬件与软件框图。最后略述了基于VxWorks操作系统下的CPCI总线实时双冗余计算机在自动控制系统中的应用情况。     

基于ARM9的彩色LCD屏驾控信息显示仪表的设计

阐述了一种基于ARM的全数字彩色液晶仪表的设计思想、工作原理及实现方法。该系统利用高性能微控制器AT91SAM9263结合嵌入式操作系统μC／OS-Ⅱ及嵌入式图形用户接口μC／GUI构建了具有CAN通信、显示汽车所有运行参数并具有故障报警功能的汽车车况综合信息平台,具有较好的扩展性,是汽车仪表数字化智能化的必然发展趋势。     

Influence of wettability on flow characteristics of water through microtubes and cores

The flow characteristics of deionized water in hydrophilic and hydrophobic microtubes with diameters of 14.9, 5.03 and 2.05 μm are investigated experimentally. The results indicate that the flow characteristics of deionized water in microtubes with diameter of 14.9 μm are in agreement with the classical Hagen-Poiseuille （H-P） equation, but for hydrophilic and hydrophobic microtubes with smaller diameters, the results show significant departure from the prediction of conventional theory, and the discrepancies are influenced by wettability of the microtubes and increase as the Reynolds numbers decrease. Besides, flows of fluid in cores are the macroscopic reflection of flows in countless mi- cron-sized pore throats, the influence of wettability on microscale flow in pore throats will cause the change of seepage characteristic in cores. Therefore, flow experiments of brine through cores with different wettabilities are conducted. The results demonstrate that wettability exerts similar influence on water flows in cores and microtubes.     

Linux 可加载模块应用

基于如何灵活地进行Ｌｉｎｕｘ 内核程序设计是扩展操作系统功能的一个重要方面－ 首先通过详细剖析了Ｕｎｉｘ 、Ｌｉｎｕｘ 的驱动程序结构,说明了如何利用Ｌｉｎｕｘ 的可加载模块技术设计针对特定设备的驱动程序;此外,进一步探讨了如何利用可加载模块技术截获并替换系统默认的系统调用,从而满足Ｌｉｎｕｘ 在不同特定环境的需要－ 参５     

面向网络的操作系统——现状和挑战

操作系统是计算机系统中最为关键的一层系统软件．长期以来,操作系统发展的主线是面向单机,追求更好地发挥计算机硬件的计算能力,同时为上层应用和用户提供更友好易用的接口．随着网络技术的发展,如何更好地支持网络构成了操作系统发展的一个重要辅线．近年来,由于互联网的迅速普及,面向网络的操作系统得到了广泛的关注,并逐渐成为操作系统发展的新主线．为了更好地管理互联网上的分布海量资源,同时为互联网时代的新型应用和服务提供支持,操作系统技术正在产生许多重要的变革．本文简要回顾了操作系统的发展历史,分析了在互联网时代操作系统面临的主要挑战．在总结现有面向网络的操作系统的研究进展的基础上,讨论了其主要特点和未来发展趋势．最后,也介绍了我们在此领域针对网构软件的研发尝试．     

系统调用分析及其在程序设计中的实现

就操作系统中系统调用进行分析和讨论。并在C程序设计中实现与I／O设备有关的系统调用,     

嵌入式Linux操作系统实时性的分析与研究

通过分析嵌入式Linux在实时应用中的不足,从软中断模拟技术、可抢占式内核机制和实时调度策略等方面给出了改善系统实时性能的方法,同时提出了宏观调度结构,拓展了实时系统的应用范围.     

开源软件版权研究与对我国软件企业的应用分析

21世纪是计算机软件业蓬勃发展的世纪。"正版"、"版权保护"、"Copyright"、"专利"等名词充斥着人们的生活,它们对于人们来说已经不再是晦涩而陌生。然而对于开源软件,人们有着许多的误解与疑惑。有人认为"开源软件"就是"免费、不要钱的";有人认为,"开源软件"其实就是不     

操作系统形式化验证综述

介绍操作系统验证理论、语言和工具等技术基础,阐述验证路径、精化关系验证和大规模验证等新的验证方法和理念.比较分析多个操作系统验证项目研究内容、验证方法、主要贡献以及最新进展.分析操作系统验证过程中存在的问题,认为验证成本高、验证工具局限性是制约操作系统形式化验证的关键因素,随着验证工具、框架和定理库的完善,以及深度学习...     

Windows环境下个人防火墙网络封包截获技术研究

简要介绍网络安全和个人防火墙的相关内容,分析Windows操作系统总体架构,研究在用户态和内核态下可能采用的各种网络数据包拦截技术,详细分析各自的优缺点并结合不同技术在不同层面上设计三种网络数据包拦截方案．