基于S3C44B0X的uClinux操作系统内核移植

与uC linux内核体系结构相关部分,主要完成硬件寄存器设置,内存映射等初始工作,它是代码移植的主要部分.介绍了实验进行的硬件环境,从交叉环境的建立,源代码的修改,内核的编译,内核的下载与执行等方面,系统描述了将uC linux操作系统移植到S3C44B0的过程.     

基于ARM 的Linux移植分析与实现

Linux具有内核小、效率高、源代码开放等优点,广泛应用于嵌入式系统开发中。分析了Linux移植 到嵌入式平台的过程,包括交叉编译环境的建立、修改和移植bootloader、裁剪和移植内核等,给出了一种移植Linux 到嵌入式平台的方法,并在S3C2410上实现和证明了该方法的可行性。     

Linux进程调度机制分析

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

Linux字符设备驱动程序的工作机理

本文通过对与字符设备驱动程序相关的内核源代码分析,从驱动程序内部结构以及驱动程序运行的内核环境两方面入手,对linux平台下的字符设备驱动程序的工作机理进行了分析和阐述。     

基于XYZ/E的Sun Open Solaris内核进程形式化描述与分析

建立并分析了Open Solaris内核进程模型,采用XYZ/E语言对模型进行了形式化描述.分析了内核进程数据结构、内核进程创建、系统调用以及时钟等概念,并对其进行XYZ/AE的描述和XYZ/EE编程.最后给出了内核进程规范,实现多任务、多用户操作系统内核进程的描述,对内核进程进行了逐步求精工作.     

基于SPI接口的无线网卡设备驱动设计

介绍了Marvell 88W8686无线网卡芯片在嵌入式linux下的驱动设计与实现.该系统主要应用于心电监护仪和小型手持数据采集系统.首先搭建嵌入式开发的软硬件环境,对linux内核进行裁剪,然后研究网络驱动工作原理,接着对Marvell 88W8686无线网卡的驱动进行修改和交叉编译,最终移植到ARM平台上,建立嵌入式无线局域网.     

基于虚拟机的内核完整性保护技术

针对云计算中客户虚拟机内核完整性面临的威胁,该文提出了一种保护虚拟机内核完整性的技术-CTVM。该技术在KVM虚拟机环境中实现了虚拟化可信执行环境的创建,使多个客户虚拟机同时拥有可信计算功能,能对客户虚拟机提供启动完整性度量;在此基础上利用硬件辅助虚拟化技术,通过为客户虚拟机构造隔离的地址空间,使客户虚拟机中不可信模块与内核运行在逻辑隔离的地址空间。从这两个方面实现对客户虚拟机的启动和运行时的完整性保护。最后,以某国产服务器为实验平台实现了CTVM原型系统,系统测试与分析验证了技术的可用性,系统性能损耗在可接受的范围内。     

通过U-Boot实现基于S3C44B0X的uClinux移植

在嵌入式系统开发中,为了加快应用程序以及设备驱动的开发周期,需要建立一个完备的嵌入式操作系统.首先,建立U-Boot引导程序是必不可少的.在U-Boot引导程序为操作系统内核准备好环境之后,利用它实现了uClinux基于S3C44B0开发的移植.最后,从板级移植的角度,结合硬件平台结构系统地分析和讲解了移植过程.     

嵌入式μClinux启动程序的开发与优化

启动程序开发的主要目的是为嵌入式操作系统在特定的硬件平台上营造优化的启动环境并保证其正常运行.在实现μClinux内核启动程序的基础上,阐明了其总体设计思想,并描述了内核下载的实现方法.同时还进一步提出利用UU(unix to unix)算法来编码解码内核文件的具体方案,用以优化内核文件传输过程,进而提高系统的可移植性.经过实践证明该方案是可行的.     

Linux环境下的网络编程

Linux作为一个单一内核的操作系统,协议栈的实现嵌在系统内核中,本文分析了TCP／IP协议的基本原理以及Linux中的TCP／IP网络层次结构,重点介绍了Linux环境下的socket编程。     

FMS中加工质量故障预报的新方法

对引起加工质量故障的原因进行了研究,建立了用于加工中心加工质量故障分析的与/或故障树,提出了隐加工质量故障(FMQF)的概念和由·FMQF 找出制造系统故障的决策树方法.本文在模糊理论基础上,提出了隐加工质量故障识别的新方法,用这种方法可以根据控制图的变化进行设备状态估计.基于以上研究,建立了可用于柔性制造系统隐加工质量故障预测和预报的专家系统.     

立方准晶的反平面问题与Ⅲ型裂纹问题

发展了立方准晶材料的断裂理论 .通过应用Fourier分析和对偶积分方程理论 ,得到了立方准晶材料Ⅲ型裂纹问题的精确解析解 ,并由此确定了位移与应力场 ,应力强度因子和应变能释放率 .结果表明 ,应力强度因子与材料常数无关 ,而应变能释放率依赖于所有的材料常数 .这些为研究此新固体材料的变形和断裂提供了重要的信息 .     

Banach代数中的行列式理论

探讨了 Banach 代数中的行列式理论.给出了具有单位元的迹 Banach 代数具有行列式的充要条件.     

非织造布滤料性能及过滤过程的研究进展

对近年来非织造布滤料的研究进展做了简要综述,介绍了内部结构的研究及表征、过滤性能及其影响因素、过滤过程的计算机模拟,指出进一步发展所需要解决的问题。     

Genomics,metagenomics,and microbial oceanography—A sea of opportunities

Microbial oceanography is an emerging discipline resulted from the interaction,cross-fertilization and integration of life science and ocean science.Microbial oceanography integrates the principles of marine microbiology,microbial ecology and oceanography to study the role of microorganisms in the biogeochemical dynamics of natural marine ecosystems.The application of genomics tools to study marine microbes is resulting in rapid advancements in microbial oceanography that has important implications in globa...     

Information for Authors

正General Journal of Beijing Institute of Technology(JBIT),an English language journal sponsored by Beijing Institute of Technology,was established in 1992.JBIT mainly publishes research articles that reflect the latest achievements in basic theory and experimental studies in various engineering fields and in applied mathematics,mechanics,physics,chemistry,and so on.JBIT is listed in Ei,CA,SA,AJ,CSA,MR,ZM and many other abstracting indexes.     

Information for Authors

正General Journal of Beijing Institute of Technology(JBIT),an English language journal sponsored by Beijing Institute of Technology,was established in 1992.JBIT mainly publishes research articles that reflect the latest achievements in basic theory and experimental studies in various engineering fields and in applied mathematics,mechanics,physics,chemistry,and so on.     

Towards Excellence in Science Chinese Academy of Sciences

<正>May 26,2014,BeijingScience is a human enterprise in the pursuit of knowledge.The scientific revolution that occurred in the 17th Century initiated the advances of modern science.The scientific knowledge system created by human beings,the tremendous productivity brought about by science,and the spirit,methodologies and norms formulated in scientific practice since the 17~(th)Century have long become essential elements of     

SCIENCE CHINA Technological Sciences SUBJECT INDEX TO VOLUME 57(2014)

<正>~~     

Research on How to Teach Vocabulary by Adopting Morphological Method

On the basis of some theories and teaching experience, the thesis first attaches importance to vocabulary teaching and suggests that a morphological method should be applied. Supported by some examples, how to teach vocabulary in a morphological way is mainly discussed in the essay.