基于嵌入式Linux系统的时间统一平台

通过描述硬件体系结构、嵌入式操作系统等，提出了一种时间统一平台的设计方法。嵌入式操作系统是在标准Linux系统的基础上，经过系统裁减和实时性支持生成的。测试结果表明，基于嵌入式Linux系统的时间统一平台可以明显提高时间校准精度。     

基于嵌入式Ijnux操作系统内核实时性的改进方法研究

分析当前Linux内核在实时性方面的不足，从不同侧面讨论几种改进的方法。根据嵌入式系统的不同设计目标，针对Linux内核实时性在某些方面的缺陷，使用相应的改进方法     

基于辐射度与Phong模型的高级光照模型及光线跟踪实现

光线跟踪算法所基于的的Phong光照模型对于面片之间的辐射与色素渗透效应(即漫反射相互反射,diffuseinterreflection)表现不足,该文在辐射度与Phong光照模型的理论基础上提出了高级光照模型,并对该模型提出相应的简化模型及加速算法予以实现。     

一种光线跟踪的包容性检测算法

提出了一维投影判别法和基于右手定则的空间多边形的包容性检测算法,该算法将空间多边形和线面交点投影至一维坐标轴并进行包容性的必要性判定,以少量逻辑比较即可排除大多数无关面片,然后利用基于右手定则的包容性检测算法,进行充分性判定。理论计算和模型中的应用表明,此算法用时显著减少。     

FreeBSD系统设备驱动程序开发方法的研究

分析了FreeBSD下树状的设备驱动程序开发方法以及设备、设备类和设备驱动的关系，并对FreeBSD下PCI总线类设备驱动的框架结构进行了详细阐述。     

Petri网可达性的综合判定法

Petri网标识的可达性判定问题是进行Petri网分析的基础，而传统的判定方法并不能确保所得结果的可靠性．在揭示Petri网可达性问题的实质之后，讨论了在标识图的同一连通域内标识可达性的判定问题，进而在分析相关原理的基础上提出了一种有效判定Petri网标识可达性的“综合判定法”．此判定方法综合多种传统判定方法的优点，结合Grobner基理论，确保了对Petri网标识可达性进行判定所得结果的可靠性．     

基于辐射度与Phong模型的高级光照模型及光照跟踪实现

光线跟踪算法所基于的Phong光照模型对于面片之间的辐射与色素渗透效应（即漫反射相互反射，diffuse interreflection）表现不足，该文在辐射度与Phong光照模型的理论基础上提出了高级光照模型，并对该模型提出相应的简化模型及加速算法予以实现。     

基于一维投影的快速包容性检测算法

提出了一维投影判别法和基于右手定则的空间多边形的包容性检测算法，有效减少了传统光线跟踪包容性检测算法的计算量。本算法将空间多边形和线面交点投影至一维坐标轴，以少量逻辑比较即可排除大多数无关面片，然后利用基于右手定则的包容性检测算法进行包容性判定。理论计算和模型中的应用表明，本算法与已有算法相比效率显著提高。     

基于嵌入式Ijnux操作系统内核实时性的改进方法研究

分析当前Linux内核在实时性方面的不足，从不同侧面讨论几种改进的方法。根据嵌入式系统的不同设计目标，针对Linux内核实时性在某些方面的缺陷，使用相应的改进方法。     

嵌入式Linux集成开发环境研究与实现

嵌入式软件的开发是当今计算机软件发展的一个热点.本文首先分析了使用GNU工具链的传统嵌入式软件开发方法,分析指出其优缺点.在此基础上介绍设计和实现能支持多种目标平台开发的嵌入式Linux集成开发环境的方法,并且对核心模块和关键技术进行了介绍和分析.