在Linux下对用户磁盘使用空间的管理

就在Linux系统下对用户使用的磁盘空间的管理进行了探讨。     

局部网络操作系统的设计实现

本文对局部网络高层软件进行研究设计,提出了局部网络操作系统(LANOS)的设计思想和设计观点,在单用户、单任务操作系统支持的联网站点上配置了实时通信和开放性文件系统;并以此为核心,编制了网络管理软件和应用程序.使各联网络点通过LANOS作为媒介,能够适合网络环境下的操作,为分布式处理、分布式数据库在局部网络上的实现提供了工具和手段.     

嵌入式操作系统内存管理分析与探讨

在嵌入式操作系统的设计中,内存管理是极其重要的一部分。通过分析三种典型的嵌入式操作系统的内存管理,探讨了内存管理中的两个重要问题——内存管理机制和内存分配方式,为嵌入式系统内存管理的设计提供一定的参考价值。     

DOS攻击下不确定双边遥操作系统的控制

研究了存在定常时延和模型参数不确定的双边遥操作系统在受到拒绝服务攻击（denial of service,DOS）时的稳定性问题。利用位置误差结构,设计了基于事件触发的控制器,并利用自适应律估计机械臂模型中的未知参数。通过Lyapunov函数理论证明了双边遥操作系统的稳定性,并证明了基于事件触发的控制器不存在Zeno行为。通过数值仿真验证了基于事件触发的自适应控制器能够使遥操作系统在DOS攻击下保持稳定。     

Linux系统中USB设备驱动的开发

通过Linux系统中的USB设备驱动架构的分析,对USB设备驱动程序做了较详细的分析和说明。     

一种无需操作系统的硬件级可信度量方法

针对云计算等新型计算环境下的可信度量问题,提出了一种无需操作系统的硬件级全盘任意文件可信度量方法.通过在U-key中放置可信度量代理(TMA),利用TMA自主解析文件系统获取磁盘中任意文件的扇区存储地址,从而能够在不存在Grub、未启动操作系统以及不需要其他任何硬软件支持的情况下,实现对全盘任意文件的可信度量.考虑到TMA的安全性,利用B方法实现了对TMA的形式化开发.与已有的工作相比,所提方法不仅能够应用在云计算等新型计算环境中,而且能够应用于不存在可信平台模块(TPM)等安全增强芯片的普通计算机上.实验证明了本方法是有效的.     

分区操作系统内核中隔离性质的研究

为了达到经过形式化验证分区操作系统内核隔离性质的目标,采取形式化方法描述系统的顶层规范设计中描述隔离性质需求,通过将航空电子应用软件标准接口ARINC653与GWV定理相结合,实现了对分区操作系统需要满足的隔离性质的抽象描述,并通过使用类Z/Z++作为形式化描述语言。     

XP，拜拜

2014年4月8日,XP正式退役。XP已经服务用户13年,是目前微软历史上最“长寿”、历史占有率最高的操作系统,也是许多中国用户心中的经典操作系统。     

嵌入式微处理器环境下视频流的采集与传输

提出了一种基于嵌入式技术的网络视频监控系统实现方案。系统以嵌入式Linux操作系统和嵌入式S3C2440微处理器为核心平台,建立基于TCP/IP协议的视频服务器,将摄像头采集来的图像数据压缩为MPEG-4视频流后,经过网络传输,完成对监控现场的网络视频监控任务。     

A trusted mobile payment environment based on trusted computing and virtualization technology

In this paper, we propose a trusted mobile payment environment （TMPE） based on trusted computing and virtualization technology. There are a normal operating system （OS） and a trusted OS （TOS） in TMPE. We store the image of TOS in a memory card to hinder tampering. The integrity of TOS is protected by means of a trusted platform module （TPM）. TOS can only be updated through a trusted third party. In addition, virtualization technology is applied to isolate TOS from normal OS. Users complete ordinary affairs in normal OS and security-sensitive affairs in TOS. TMPE can offer users a highly protected environment for mobile payment. Moreover, TMPE has good compatibility in different hardware architectures of mobile platforms. As the evaluation shows, TMPE satisfies the requirement of mobile payment well.