S3C44BOX的μC／OS-II移植技术研究

在嵌入式系统的开发过程中由于操作系统的兼容性较差,经常会遇到基于一种CPU开发的操作系统不能在其他CPU上稳定的运行的情况,造成了重复开发的浪费。针对以上问题,对开放源码的μC／OS-II实时操作系统在三星公司的S3C44BOX处理器上的移植技术和移植条件进行了分析与研究,实现了μC／OS-II在S3C44BOX处理器上的移植,并对移植过程中的注意事项进行了讨论。实验证明,移植后的系统运行稳定和重新开发相比节省了大量时间,该移植方法对其他嵌入式操作系统的移植也有很好的借鉴作用。     

S3C44B0X的μC/OS-Ⅱ移植技术研究

在嵌入式系统的开发过程中由于操作系统的兼容性较差,经常会遇到基于一种CPU开发的操作系统不能在其他CPU上稳定的运行的情况,造成了重复开发的浪费。针对以上问题,对开放源码的μC/OS-Ⅱ实时操作系统在三星公司的S3C44B0X处理器上的移植技术和移植条件进行了分析与研究,实现了μC/OS-Ⅱ在S3C44B0X处理器上的移植,并对移植过程中的注意事项进行了讨论。实验证明,移植后的系统运行稳定和重新开发相比节省了大量时间,该移植方法对其他嵌入式操作系统的移植也有很好的借鉴作用。     

S3C44BOX的μC/OS-Ⅱ移植技术研究

在嵌入式系统的开发过程中由于操作系统的兼容性较差,经常会遇到基于一种CPU开发的操作系统不能在其他CPU上稳定的运行的情况,造成了重复开发的浪费.针对以上问题,对开放源码的μC/OS-Ⅱ实时操作系统在三星公司的S3C44BOX处理器上的移植技术和移植条件进行了分析与研究,实现了μC/OS-Ⅱ在S3C44B0X处理器上的移植,并对移植过程中的注意事项进行了讨论.实验证明,移植后的系统运行稳定和重新开发相比节省了大量时间,该移植方法对其他嵌入式操作系统的移植也有很好的借鉴作用.     

实时操作系统μC/OS-II在LPC2210上的移植研究与实现

嵌入式实时操作系统在目标处理器平台上的移植是嵌入式软件开发的基础和前提。论文实现了源码公开的嵌入式实时操作系统μC/OS-II在ARM7微控制器LPC2210上的成功移植,并研究了在移植过程中的关键问题。构成了一个功能强大的嵌入式开发基础平台。     

基于ARM9的Qtopia在utu2440上的移植及其应用开发

该文首先简要分析了Qtopia的实现技术和应用现状,然后详细论述了如何在基于s3c2440架构的开发板上移植Qtopia开发平台的过程,并结合项目需求介绍了Qtopia平台部分功能的完善。此外还介绍了MPlayer的移植过程,以及开发环境的搭建和若干开发实例。     

基于S3C2410的Windows CE 5.0 BSP移植

嵌入式开发中一个重要的环节是板级支持包(BSP)的开发,实际开发过程更倾向于移植BSP而不是重新开发BSP.本文先介绍了samsung公司的S3C2410微处理器和嵌入式操作系统Windows CE 5.0特性,分析BSP结构,在此基础上,通过bootloader,OAL,触摸屏驱动的移植来具体探讨BSP移植过程.     

一种简易的手机游戏移植开发框架

在手机游戏开发过程中,由于手机设备间的差异,游戏应用程序要支持不同的设备,需要进行相应的移植工作。在实际移植开发过程中总结出一种适合移植开发的框架,此框架利用C语言的预处理指令来定义不同手机设备造成的差异,运用GCC进行预处理生成针对不同机型的代码,从而达到移植的目的。     

嵌入式操作系统移植的软件仿真研究

嵌入式系统开发要依赖真实的硬件平台,所以进行开发的成本较高。本文研究用软件仿真的方式来模拟各种硬件开发平台,使得开发者和学习者在模拟环境中进行嵌入式操作系统的移植工作,为在硬件平台上的移植以及后续的开发工作打下良好的基础。本文分析了常见的仿真平台,并给出uclinux在Skyeye上的移植过程。     

基于OMAP的PDA的Linux 2.6移植

在嵌入式应用开发中,操作系统的建立是上层应用开发的基础,具有重要的地位。介绍了由OMAP处理器构成的PDA模型及其系统固件的建立过程,包括开发环境的配置、存储空间的分配、U-boot的移植、GNU/Linux2.6的移植、根文件系统的制作等。移植后,系统运行良好,为进一步的开发提供了基本条件。     

实时操作系统μC/OS-Ⅱ在LPC2210上的移植研究与实现

嵌入式实时操作系统在目标处理器平台上的移植是嵌入式软件开发的基础和前提.论文实现了源码公开的嵌入式实时操作系统μC/OS-Ⅱ在ARM7微控制器LPC2210上的成功移植,并研究了在移植过程中的关键问题.构成了一个功能强大的嵌入式开发基础平台.     

FC-normal and extended stratified logic program

This paper investigates the consistency property of FC-normal logic program and presents an equivalent deciding condition whether a logic program P is an FC-normal program. The deciding condition describes the characterizations of FC-normal program. By the Petri-net presentation of a logic program, the characterizations of stratification of FC-normal program are investigated. The stratification of FC-normal program motivates us to introduce a new kind of stratification, extended stratification, over logic program. It is shown that an extended (locally) stratified logic program is an FC-normal program. Thus, an extended (locally) stratified logic program has at least one stable model. Finally, we have presented algorithms about computation of consistency property and a few equivalent deciding methods of the finite FC-normal program.     

Analysis of probability distribution of a random variable of an execution time of the program in the presence of random failures

The mathematical model of an estimation of an execution time of the program in the presence of random failures is studied. For decreasing of influence of failures on a program execution time the known method of checkpoints is considered. The main objective consists in reception of the formula for a distribution function of a random variable of an execution time of the program and an estimation of a quantile of the received distribution. Properties of a mean value of a random variable of an execution time of the program are studied.     

A theory of fault-based testing

A theory of fault-based program testing is defined and explained. Testing is fault-based when it seeks to demonstrate that prescribed faults are not in a program. It is assumed that a program can only be incorrect in a limited fashion specified by associating alternate expressions with program expressions. Classes of alternate expressions can be infinite. Substituting an alternate expression for a program expression yields an alternate program that is potentially correct. The goal of fault-based testing is to produce a test set that differentiates the program from each of its alternates. A particular form of fault-based testing based on symbolic execution is presented. In symbolic testing, the output from the system is an expression in terms of the input and the symbolic alternative. Equating this with the output from the original program yields a propagation equation whose solutions determine those alternatives which are not differentiated by this test. Since an alternative set can be infinite, it is possible that no finite test differentiates the program from all its alternates. Circumstances are described as to when this can be decided     

Inference Rules for Program Annotation

Methods are presented whereby an Algol-like program given together with its specifications can be documented automatically. The program is incrementaly annotated with invariant relations that hold between program variables at intermediate points in the program text and explain the actual workings of the program regardless of whether it is correct. Thus, this documentation can be used for proving correctness of programs or may serve as an aid in debugging incorrect programs.     

一种基于Java程序分层模型的方法内切片生成算法

程序切片作为软件理解领域的一种重要的分析技术,可以将程序分解为独立的程序线程。系统依赖图的概念及两阶段图形可达性算法的出现,则有效解决了程序切片的过程调用问题。文章介绍了程序切片的基本概念,并给出了在面向对象程序中进行静态分层切片的思想。作为分层切片思想的应用,文章给出了在一种Java程序切片工具模型JSTM(JavaSlicingToolsModel)中运用系统依赖图进行方法内切片的具体算法。     

C语言程序设计教学方法探析

语言是一种被广泛应用的计算机语言,它已成为高校计算机教学的重要内容。本文结合教学实践,探讨C语言教学中培养学生编程能力的途径,探索C语言程序设计的教学方法,解决C语言程序设计存在的问题,旨在进一步提高C语言程序设计教学效果。     

A design for a text editor

This paper describes a program for editing text on the Titan (prototype ICL Atlas II) computer at Cambridge University The program is an essential part of the multiple-access system that is in operation on that computer, although it is also used non-interactively through the more conventional job-shop system. The program, EDIT, has also been implemented on an IBM 1130 and an IBM 360/65 Among the facilities provided by this program are the basic operations of text replacement, insertion and deletion Editing operations may be specified either by line number or by reference to a particular context The program is a compromise between a low cost, high-speed system and the flexible multi-function editor that is demanded by users from all departments of the University.     

Implementation of an on-line dynamic security assessment program for the central China power system

The central China power system is currently implementing an on-line stability program. This is the second largest power system in China to implement such an on-line stability program, and probably one of the earliest practical implementations of a dynamic security assessment program (DSA) reported in the world. This paper presents the features of this program, its computational methods, the design considerations used, and some numerical results.     

<Emphasis Type="Italic">FC</Emphasis>-normal and extended stratified logic program

This paper investigates the consistency property ofFC-normal logic program and presents an equivalent deciding condition whether a logic programP is anFC-normal program. The deciding condition describes the characterizations ofFC-normal program. By the Petri-net presentation of a logic program, the characterizations of stratification ofFC-normal program are investigated. The stratification ofFC-normal program motivates us to introduce a new kind of stratification, extended stratification, over logic program. It is shown that an extended (locally) stratified logic program is anFC-normal program. Thus, an extended (locally) stratified logic program has at least one stable model. Finally, we have presented algorithms about computation of consistency property and a few equivalent deciding methods of the finiteFC-normal program.