A Worst-case execution time analysis approach based on independent paths for ARM programs

To overcome disadvantages of traditional worst-case execution time (WCET) analysis approaches, we propose a new WCET analysis approach based on independent paths for ARM programs. Based on the results of program flow analysis, it reduces and partitions the control flow graph of the program and obtains a directed graph. Using linear combinations of independent paths of the directed graph, a set of feasible paths can be generated that gives complete coverage in terms of the program paths considered. Their timing measurements and execution counts of program segments are derived from a limited number of measurements of an instrumented version of the program. After the timing measurement of the feasible paths are linearly expressed by the execution times of program seg-ments, a system of equations is derived as a constraint problem, from which we can obtain the execution times of program segments. By assigning the execution times of program segments to weights of edges in the directed graph, the WCET estimate can be calculated on the basis of graph-theoretical techniques. Comparing our WCET estimate with the WCET measurement obtained by the exhaustive measurement, the maximum error ratio is only 8.259 3 %. It is shown that the proposed approach is an effective way to obtain the safe and tight WCET estimate for ARM programs.     

一个面向服务的教学计划框架体系

The science of services constitutes a breakthrough in the traditional way of thinking of the place of informatics in the economic development of a State,a Region,an enterprise and consequently in the teaching programs.The question is no more only a question of computer science.We are in front of a more complex situation,which requires not only a multidisciplinary approach,but an interoperable approach at the intellectual level.This paper is an introduction to this complexity and it is also an attempt to propose crucial questions about the new bachelor programs and master programs.     

Application of Dynamic Slicing in Test Data Generation

The program slicing technique is employed to calculate the current values of the variables at some interest points in software test data generation. This paper introduces the concept of statement domination to represent the multiple nests, and presents a dynamic program slice algorithm based on forward analysis to generate dynamic slices. In the approach, more attention is given to the statement itself or its domination node, so computing program slices is more easy and accurate, especially for those programs with multiple nests. In addition, a case study is discussed to illustrate our algorithm. Experimental results show that the slicing technique can be used in software test data generation to enhance the effectiveness.     

Combination Reduction： A SYN-Sequence Selection Strategy for Reachability Testing of Concurrent Programs

Reachability testing is an approach to testing concurrent programs, which can systematically exercise every partially ordered SYN-sequence without constructing the static model. In fact, not all the SYN-sequences need to be tested. This paper proposed a SYN-sequence selection strategy for reachability testing, which can reduce the number of SYN-sequences generated without decreasing the effectiveness of detecting programs＇ errors. We described a simple algorithm to implement the strategy, and then discussed several optimizations to the algorithm. Experiments have been carried out in a case study to verify the efficacy of the strategy.     

Curriculum critique and change paper on English curriculum for English major students in Chinese higher education

English-language schooling has become a focal point for the Chinese education sector,since English has become the communicative means for global political,cultural and economic exchanges.This new reality means that more is expected from tertiary-level English majors who become increasingly crucial as cross-cultural communicators.Considering the importance and popularity of English major programs,efforts relating to improvements in the existing 2000 Curriculum for English Major Chinese tertiary students Studies for Chinese universities are constantly being discussed.The Curriculum,in turn,attracts the attention of educators,as it is closely connected to teaching context,teaching method,evaluation of language programs,and so on.As such programs are never perfect and always require change and adaptation to changing contexts,what is needed is critique and innovation.This paper aims at analysing the existing 2000 Curriculum and putting forward some innovations and extrapolating the educative values of these reforms.The structure of the paper consists of four major sections.It begins with an evaluation of the existing 2000 Curriculum,both the positive and the problematic aspects of the program.The second section maps out three proposed innovations: Problem-Based Learning(PBL),Task-Based Language Teaching(TBLT) and the inclusion of Chinese cultural material.I then elaborate the advantages of the reform in contrast to the existing system.The final part of the paper extrapolates the various educative values of these reforms.     

Computer Aided Design System for Developing Musical Fountain Programs

A computer aided design system for developing musical fountain programs was developed with multiple functions such as intelligent design, 3-D animation, manual modification and synchronized motion to make the development process more efficient. The system first analyzed the music form and sentiment using many basic features of the music to select a basic fountain program. Then, this program is simulated with 3-D animation and modified manually to achieve the desired results. Finally, the program is transformed to a computer control program to control the musical fountain in time with the music. A prototype system for the musical fountain was also developed. It was tested with many styles of music and users were quite satisfied with its performance. By integrating various functions, the proposed computer aided design system for developing musical fountain programs greatly simplified the design of the musical fountain programs.     

Computation of Edge-Edge-Edge Events Based on Conicoid Theory for 3-D Object Recognition

The availability of a good viewpoint space partition is crucial in three dimensional(3-D)object recognition on the approach of aspect graph.There are two important events,depicted by the aspect graph approach, edge-edge-edge(EEE)events and edge-vertex(EV)events.This paper presents an algorithm to compute EEE events by characteristic analysis based on conicoid theory,in contrast to current algorithms that focus too much on EV events and often overlook the importance of EEE events.Also,the paper provides a...     

A Computer-Aided FPS-Oriented Approach for Construction Briefing

Function performance specification (FPS) is one of the value management (VM) techniques developed for the explicit statement of optimum product definition. This technique is widely used in software engineering and manufacturing industry, and proved to be successful to perform product defining tasks. This paper describes an FPS-oriented approach for construction briefing, which is critical to the successful delivery of construction projects. Three techniques, i.e., function analysis system technique, shared space, and computer-aided toolkit, are incorporated into the proposed approach. A computer-aided toolkit is developed to facilitate the implementation of FPS in the briefing processes. This approach can facilitate systematic, efficient identification, clarification, and representation of client requirements in trail running. The limitations of the approach and future research work are also discussed at the end of the paper.     

Numerical simulation of strain localization and damage evolution in large plastic deformation using mixed finite element method

An investigation of computer simulation is presented to analyze the effects of strain localization and damage evolution in large plastic deformation. The simulation is carried out by using an elastic-plastic-damage coupling finite element program that is developed based on the concept of mixed interpolation of displacement/pressure. This program has been incorporated into a damage mechanics model as well as the corresponding damage criterion. To illustrate the performance of the proposed approach, a typical strain localization problem has been simulated. The results show that the proposed approach is of good capability to capture strain localization and predict the damage evolution.     

Linux平台C／C＋＋和汇编混合编程

Linux的核心代码大部分是用C语言编写的，不可避免的其中还有一部分是用汇编语言写成的．有些汇编语言代码是利用gcc的内嵌语句直接嵌在C语言程序中的；还有一些则是写在汇编源程序中的，特别是Linux的启动代码部分，文章介绍了在Linux的gcc／g 环境下，C／C 程序中如何内嵌汇编代码；分析了汇编源程序如何与调用它的C／C 程序接口。     

Slicing Java generic programs using generic system dependence graph

The existing slicing algorithms do not consider parameterized types in generic programs, so they are not suitable for generic programs. To solve this problem, this paper presents a generic system dependence graph for Java generic programs based on the traditional system dependence graph to express dependences for parameterized type information. A novel slicing criterion and slicing algorithm for generic programs is proposed. The slices computed by the algorithm can help to understand relations between concepts and types for generic programs and can express the features of generic programs better. Biography: CHEN Lin (1979–), male, Ph.D. candidate, research direction: program analysis and refactoring.     

基于程序依赖图的Aspect挖掘技术

为了有效地识别遗产代码中因横切关注点而导致的零散代码或交织代码,提出了一种基于程序依赖图的Aspect挖掘方法.根据横切关注点的本质特性,考察了横切关注点与核心关注点之间的依赖关系及其在依赖图上的表现形式,对于单个方法体,结合程序的语义信息,在程序依赖图中引入一个虚拟结点表征方法体的核心功能,所有影响核心功能的语句都与之建立依赖关系,然后对依赖图进行拓扑分析,先从虚拟结点开始分离出核心代码,再通过求解连通分量的方式挖掘方法体内横切代码.实例分析表明,该方法不仅能识别出方法体内的零散特性代码,而且还能有效地挖掘出交织特性的代码.     

用VC＋＋6．0编制屏幕保护程序

介绍屏幕保护程序的基本特性，详细叙述了用VC＋＋6．0编制屏幕保护程序的步骤，给出了编制屏幕保护程序需要的两个类的源代码。     

用VC++6.O编制屏幕保护程序

介绍屏幕保护程序的基本特性，详细叙述了用VC++6.0编制屏幕保护程序的步骤，给出了编制屏幕保护程序需要的两个类的源代码.     

Windows NT下Services的VC++实现技术

文中详细分析了常用服务API、服务本体程序和服务控制程序的设计思想,提出了WindowsNT下的系统服务程序的设计方法并给出了用VisualC++6实现的具体代码。     

基于Ch平台下移动机器人控制的实现

介绍了一种支持跨平台执行C/C++程序、具有强大扩展功能和无需编译即可执行等优势的平台-ch.描述了使用Ch SDK来实现其扩展功能的过程.介绍了Ch空间中的实现、Ch空间对C/C++库的调用接口、C空间中的实现和Ch动态链接库dl的建立,给出了集成机制.文章通过具体实例并利用移动机器人作为实验平台进行操作,实验1验证了移动机器人成功的移植到Ch下;实验2实现了Ch的无需编译即可执行的特性.     

Dynamic slicing of object-oriented programs

Program slice has many applications such as program debugging, testing, maintenance, and complexity measurement. A static slice consists of all statements in programP that may effect the value of variablev at some pointp, and a dynamic slice consists only of statements that influence the value of variable occurrence for specific program inputs. In this paper, we concern the problem of dynamic slicing of object-oriented programs which, to our knowledge, has not been addressed in the literatures. To solve this problem, we present the dynamic object-oriented dependence graph (DODG) which is an arc-classified digraph to explicitly represent various dynamic dependence between statement instances for a particular execution of an object-oriented program. Based on the DODG, we present a two-phase backward algorithm for computing a dynamic slice of an object-oriented program.     

一个面像识别系统的实现

用VC 这类语言实现面像识别算法，工作量很大，如果用MATLAB实现，虽然在图像处理及模式识别方面较为方便，但运行速度慢。针对这个问题给出一种开发方式，在VC 平台上开发系统主控模块及数据库系统，用MATLAB实现基于DCT变换的面像识别子系统，由MATLAB编译成C 动态库源程序，在VC 下修改并编译成动态库，由主控模块调用动态库实现面相识别。该方法具有可以灵活选择识别算法、识别率高、开发方法容易、开发周期短、可移植性强等优点。     

用Visual C＋＋实现PC与PLC之间的串行通讯

在工业控制中，常常需要对PLC的采集数据和工作状态进行监测控制，实现的方式有VB、DELPHI、PB等．Visual C＋＋是一种Windows应用程序开发工具，在图形处理和数据库管理等方面具有较强的功能，用它来实现底层的通信控制有着更快的速度，采用Visual C＋＋和MFC实现实时要求较高的小型控制系统中的PC和PLC的串行通讯系统，给出了系统的通讯原理和软件设计方法，实现数据的快速发送和接收，实时自动控制准确、快速。该系统简单、经济、稳定、实用性强并已成功应用于实际系统中。