一种基于时序逻辑语言的实时售票系统描述与精化方法

时序逻辑语言XYZ/E在统一的形式框架下既能表示静态语义又能表示动态语义,可以实现从抽象描述到可执行程序的平滑过渡.分析了邮政汽车票售票系统的实时性,给出了该系统的组件模型,用XYz/E描述了整个软件系统的体系结构,逐步精化了核心组件PCServer、PDClient、PSCli-ent,实现了功能组件PSSConllout1和PSSComput2到可执行程序XYZ/E的平滑过渡.     

Windows NT架构内核分析

简述了Windows操作系统的历史和32位Windows内核的新特性,分析了Microsoft Windows NT/2000/XP平台下内核架构,描述了操作系统内部的层次和运行规则,以及在正常状态下和在发生中断的情况下系统内核的运行流程,并通过一个实例具体地讲解了操作系统中断处理的流程.     

Linux线程实现技术研究

本文简要分析了一般线程机制,详细阐述了Linux线程思想及在内核中的实现,包括linux线程描述数据结构、管理线程机制和策略、线程栈结构、线程id和进程id的创建及分配,Linux线程实现方法.     

基于Intel VT硬件虚拟化的Rootkit技术

Intel VT硬件虚拟化技术使Rootkit可以利用底层优势实现深度隐藏。首先结合木马协同隐藏的思想,提出了基于Intel VT硬件虚拟化的Rootkit(HVRootkit)的协同隐藏模型,并给出形式化描述;然后根据该模型,在深入分析进程切换过程和操作系统内核数据结构的基础上,设计并实现了HVRootkit原型,该原型能够监控系统进程的切换过程,并通过修改与内核层进程视图和用户层进程视图相关的数据结构,隐藏系统进程。实验表明,HVRootkit原型符合协同隐藏的思想,能够实现对进程的深度隐藏,隐藏性能明显优于传统的内核级Rootkit。     

Linux内核的分析及应用

通过对Linux源代码及相关文档的分析 ,本文对Linux内核体系结构进行了较详细的描述 ,给出了Linux内核整体结构的优势 ,并提出了基于Linux内核的设备驱动程序开发的主要思想。     

LINUX文件系统实时监控方法

为了保证LINUX操作系统的安全性,通过对其文件系统进行实时监控来阻止恶意程序的入侵.使用内核可加载模块修改LINUX内核,通过修改内核中的系统调用表拦截对文件系统的系统调用;使用PROC文件系统进行内核与用户进程的信息传递;使用用户进程对内核拦截到的文件信息进行处理,实现实时监控.讨论了PROC文件的注册方法,给出了在内核中通过文件句柄获取文件全路径的方法.为了实现对并行文件操作的实时监控,利用等待队列和信号机制给出了一个内核和守护进程进行同步与通信的解决方案.给出了对LINUX文件系统实时监控的一个完整的方法,并为实际编程提供了框架程序.     

基于XYZ/ADL的Web服务组合形式化描述

组合现有的Web服务是为了能快速地开发复杂的Web服务。介绍了几种常见的Web服务组合方法，并根据4种关键需求（连通性、非功能服务质量属性、正确性、可伸缩性）对它们加以比较。提出了一种基于软件体系结构描述语言XYZ／ADL的Web服务组合形式化描述方法，由XYZ／ADL定义描述Web服务的组件、组件之间交互的连接件以及建立组件和连接件实例联系的配置．最后结合一个实例描述Web服务组合的工作方式。     

嵌入式Linux优先级反向问题的研究

针对进程调度中出现的优先级反向问题,通过对Linux内核进程调度的研究,分析了优先级反向产生的原因、基于信号量的互斥锁结构,并在对互斥锁进行修改的基础上实现了优先级继承协议,结果证明：互斥锁的优先级继承协议降低了内核调度延迟时间,提高了系统的实时性．     

基于进程切换的操作系统性能探讨

进程切换的速度是衡量操作系统性能的一个重要指标。本文从硬件对进程切换的支持着手,描述了Linux内核在进程切换机制中对硬件的取舍及软件的设计思想,从而给出如何提高操作系统性能的思路。     

基于Linux2.6的进程隐藏机制的实现

阐述了Linux2.6内核工作原理。研究了进程在内核的运行方式。分析了基于Linux2.6内核下的进程隐藏机制,提出一种进程隐藏方法。即通过截获proc虚拟文件系统的读取访问,来达到进程隐藏的目的。最后编程验证了改方法的有效性。     

A unified linear-time temporal logic solution to the steam-boiler control specification problem

The TLL XYZ/E is a formal language able to represent the dynamic semantics and the static semantics in a unified framework. It supports the whole process of program development, i.e. from the abstract specification to the efficiently executable program in a formal, precise and convenient way. The steam boiler control specification problem, a large case study in the fields of real time, hybrid and communication systems, is discussed with XYZ/E. The approach covers physical model construction, formal specification, stepwise refinement, verification, executable program and visual user interface programming.     

支持并行工程的集成系统框架

提出了ＣＡＤ／ＣＡＰＰ／ＣＡＭ集成系统并行工程框架结构，介绍了支持并行工程的工具集成、集成产品数据模型、开发过程模型和协调系统的用途，在统一的用户界面管理下，多功能小组成员使用各自的工具进行开发活动。产品开发各相关环节在过程的开始就相互协作，进行必要的信息交换和共享。为了对产品设计、制造过程和支持活动等进行评价和完善，小组成员可定期举行多媒体网络会议，也可用项目协调板系统进行冲突协调。     

聚羧酸系减水剂对水泥水化过程的影响

研究了以聚乙二醇800、丙烯酸、顺酐、烯丙基磺酸钠、丙烯酸羟乙酯为原料合成的聚羧酸系XYZ18减水剂对水泥水化过程及微观结构的影响.结果表明,XYZ系减水剂具有缓凝特性,能减少并延缓水泥水化放热;使水泥早期微小晶体大量生长并填充孔隙,气孔细化且分布更加合理,晶体向外伸长使水泥粒子相互搭接而形成网络结构,提高了水泥石的密实性.     

基于多项式回归法的显示器色彩空间转换模型研究

彩色显示器是用来传达颜色的重要工具,而色彩在不同设备和系统上往往会有差异,所以建立一个显示器色彩管理系统很有必要.用色彩管理软件及分光光度仪对显示器进行屏幕的校准和特性化,采用多项式回归算法建立了CIE RGB到CIE XYZ颜色转换模型,并对转换模型所得到的X,Y,Z计算值与实际测量值进行比较,取得了较好的实验结果.模型转换后的绝大部分色差都小于6,在人的视觉不敏感范围内,故转换模型具有较高的转换精度.     

Linux进程调度机制分析

从如何增强Linux操作系统对实时任务的支持出发,阐述了2.4内核进程调度系统设计上存在的缺陷:缺乏对实时任务的支持,无法保证实时任务得到及时响应和调度;对多处理器环境的支持较差.分析了Linux的最新2.6内核进程调度系统的原理和实现细节.与2.4内核相比,2.6内核增强了对实时任务和多处理器环境的支持,实现了O(1)调度算法,支持抢占式调度,在响应时间及系统开销上均有大的改进,其显著特点是支持抢占式调度、支持多处理器负载平衡等,更加适合于实时应用环境.