Search

The software industry in China continues to expand at a rapid rate, both in terms of research and development as well as the ever-increasing need for outsourcing. Even with these great demands China is able to produce a vast, highly-qualified pool of computer science graduates. The education system in China has clearly adjusted to the trends of the industry while maintaining the traditional, rigorous approach developed over many years. In this paper we describe the major needs of the software industry, and focus on how the approach to computer science education is able to produce a workforce capable of meeting these needs, and contribute to helping China become a leading information technology nation.

In 2003, based on the work done by the OUNL on Educational Modeling Language, IMS-LD was released and brought to the research community a new era in the design of learning activities. Six years later, IMS-LD is no longer evolving while facing an increasing number of critiques. The specification is still not implemented by any leading brands in the e-learning industry. The current development of new IMS specifications offers a window of opportunity to rethink IMS-LD. After discussing IMS-LD, trying to understand the existing critiques and analyzing the new technical context, this paper proposes the guidelines for the creation of this new learning design specification. This specification would be split in two specifications satisfying both the instructional designers and the learning platform developers and vendors. The specification optimized to learning platform vendors, called Simple Learning Design 2.0 will be designed to ease the deployment of the learning design concepts in the existing Learning Management Systems. SLD 2.0 is currently developed in the context of the SynergiC3 project.

The growing size of the multiprocessor systems increases their vulnerability to component failures. It is crucial to locate and to replace the faulty processors to maintain system's high reliability. The fault diagnosis is the process of identifying faulty processors in a system through testing. The conditional diagnosis requires that for each processor v in a system, all the processors that are directly connected to v do not fail at the same time. In this paper, the conditional diagnosability of the locally twisted cubes LTQ n under the comparison diagnosis model is 3n-5 when n≫6. Hence the conditional diagnosability of LTQ n is three times larger than its classical diagnosability.

In recent years, adaptive inverse control is a very vivid field because of its advantages. It is quite different from the traditional control. Adaptive inverse control adopts feedback in parameters tuning of the system, not the signal flow. In this paper, we apply the recursive least-squares (RLS) algorithm to the adaptive inverse control to achieve the learning of the inverse model quickly. Besides, we compare it with the least mean-square (LMS) algorithm. The results show that when SNR is high, the convergence rate of RLS algorithm is faster than the LMS algorithm.

An improved 32-bit carry-lookahead adder (CLA) with Conditional Carry-Selection (CSS) is proposed in this paper. The new adder is compared with Serial Adder and pure Carry-Lookahead Adder. The three adders is simulated in FPGA circuits, the results show that the propagation time of the carry of the new 32-bit adder is reduced 26% compared with Serial Adder and 3.17% with pure Carry-Lookahead Adder.

The main idea of this article is through using Multi-level index and instruction abstract technology to improve the decode methods of the traditional MIPS instruction set simulation, The experiments show that this method can greatly improve the efficiency of program execution.

Thinning algorithm for fingerprint image based on directional images is studied deeply in this paper, and a high-efficiency improved algorithm come up. The method of labeled data is used in this paper. On the premise of ensuring the quality, the improved algorithm not only can accelerate the rate of thinning, but also extract the characteristic of the fingerprint.

This paper presents a method for news video story segmentation, which fuses multi-feature including audio and visual. At first, this paper detects the anchorperson shot for news video and determines the beginning of news story, and then detects topic caption between anchorperson shots. In the next step, silence clips in news video are detected using short-time energy and short-time average zero-crossing rate parameters, and then voice features of anchorperson is analyzed. At last, this method fuses multi-feature such as anchorperson shot, topic caption, silence and voice feature to segment news stories. Experimental results show that the approach is valid and avoid the deficiency of detecting news story by a single feature.

Traditional educational systems are usually presented in a course based and static way, without taking into account the learner's interests and learning progress. Language learning by that means could be accompanied by boredom and lack of real experiences, which is a great barrier to improving language skills. This paper presents an English learning system that is based on web browsing. Users browse English websites of their own interests and the system grabs the proper words for the user to learn. A personalized forgetting curve is stored in the system and adapted to the user using a back-propagation artificial neural network. The system selects the learning contents according to the personalized forgetting curve. The learning data is sent to the server through Web Service, to get assistance from a tutor or share the vocabulary list with other users.

There are numerous enterprises for agricultural products logistics in China. However, the survey found the efficiency, effectiveness and capability of most these enterprises are not performing well, less competitive power in this modern market economy. This result is caused by the very low level of industry organization in agricultural products. Then, the evolution of agricultural products logistics organization is analyzed. With ant colony algorithm of swarm intelligence, it is proposed that to build virtual enterprise in the horizontal for the agricultural products logistics operation, and to design dynamic alliance in the longitudinal for the agricultural products supply chain. At last, the algorithm and the simulation are discussed.

This paper discusses a practice system to aid programming learning by program examples. The idea is to offer a large quantity of well designed examples, and through suitable examples to enlighten the student thinking. So a learning guidance by adaptive example recommendation is needed to achieve personalization for every student during his learning process. At first, as a basis, an example design plan based on summarized learning objectives is introduced, and then an objective based adaptive model is given, which can recommends suitable examples to a student by an adaptive pedagogical strategy combined with the example model, the learning objective and the student learning state.

With the rapid advances in grid technology, grid reliability becomes an issue of increasing practical concern and research attention. However, managing grid reliability is not easy due to the complicated, large-scale and dynamic natures. This paper studies the reliability problem of grid service imposed by software or hardware failures, and presents a new approach to analyze grid service reliability subject to failures. The grid service process is described and the service execution is defined as a directed acyclic graph. Then the failure types and contributing factors happened to grid service process are expatiated. Moreover, the reliability evaluation equations about request process, matchmaking process, and service execution are respectively suggested. Lastly, a numerical example is given to illustrate these equations. The results show that our approach is feasible.

To tackle the current problem of the research on the strategy intelligence, this paper proposes a hierarchy structure model of strategic intelligence based on the service oriented architecture and business process choreography. The proposed strategic intelligence mode is agility to adapt to new demands with the virtue of seamless integration for new modules and the high interoperability among modules. The processes of registration, discovery, binding, usage and integration of the strategic intelligence services are illustrated by an example. Finally, some future research issues are also presented.

Understanding and exchanging XML documents with multilingual markups is a common requirement. This paper proposes a schema design method to support multilingual markup of XML based on two attributes introduced for every element to be transformed, i.e., locID and attrList. It ensures that all XML instances derived from the translated schema no matter what language used and how the name is translated can be well understood by the program developed for the original language after transformation. The transformation process is rather automatic, low cost and straightforward; also semantics of elements and attributes are precisely reserved. An example of email is illustrated to show the effect of the method.

Electric Power Steering (EPS) is one new type power steering system which is developing rapidly resent years due to their superior energy efficiency and energy conservation. Installation of EPS expanded rapidly by world automakers. Steering reaction torque is one important type of information for drivers since it has significant influence on vehicle maneuverability. Even with today's advanced simulation technology, however, it is very difficult to accurately simulate steering feeling. The purpose of this study is to develop a steering simulator that can quantitatively evaluate EPS systems. This simulator can control the force on the tie rod by means of an AC servomotor. And at the end of this paper, validity of this simulator has been ascertained by comparing the simulation results with those obtained during actual vehicle testing.

Non-electrical signal such as temperature and strain is an important basis for evaluation of the health state of building structure. How to measure and collect non-electricity information in building structure and how to deal with this information is introduced in this paper. Intelligent structure characteristic data analysis and display system is developed by LabVIEW including filtering, spectral analysis, the current data and historical data display. LabVIEW has characteristic of multi-task real-time synchronization operation, guarantee requirements such as real-time, reliability and scalability of the intelligent structural characteristics data processing and display system.

The paper introduces the process algebra based modeling language and its powerful standard model-checking tools for trusted software architectures, which deals with incompatibility between two components due to a single interaction or the combination of several interactions and with the lack of interoperability among a set of components through architectural compatibility check and interoperability check relying on standard observational equivalences.

Image compression is one of the major services in space flight mission and remote sensing system. This paper presents a high speed and high performance image compressor for future spacecrafts and micro-satellites. The proposed compression core is based on a modified CCSDS algorithm and the processing speed is improved 40 times using parallel architecture and pipeline technique. The experimental results indicate that this core has high performance at coding efficiency, data rate and error containment. A data rate of about 12.5Mpixels/s can be sustained at 50MHz.

ESP-CV is a symbolic simulation-based formality verification tool intended to perform custom equivalence(EQ) checking and provide functional verification coverage for full-custom IC design. This paper introduced the basic principle and work flow of ESP verification firstly, and then the ESP verification method and flow of our custom SRAM array design was demonstrated.

The crossed cube is an important variation of the hypercube. It possesses many desirable properties for interconnection networks. Hamiltonicity is a critical property in interconnection networks. In this paper, we study fault-tolerant embedding algorithms of Hamiltonian paths and cycles in crossed cubes. We provide two algorithms HamiltonianPath and HamiltonianCycle. For any integer n ≥ 3, letting CQ n (V,E) denote the n-dimensional crossed cubes and F ⊂ V (CQ n )∪E(CQ n ) denote a faulty set in CQ n , (1) if |F| ≤ n − 3, HamiltonianPath can construct a Hamiltonian path between any two distinct nodes in CQ n − F in O(NlogN) time; and (2) if |F| ≤ n − 2, Hamiltoniancycle can construct a Hamiltonian cycle in CQ n −F in O(NlogN) time, where N is the node number of CQ n − F.

The course of structure mechanics' design and execution is introduced in the article. And the particularity of professional course multimedia courseware is also expatiated. Then, the importance of multimedia teaching applied to professional courses in colleges is explained by a “3-step” teaching example. It is shown that the CAI courseware is applicable to bring up the active learning custom and innovation consciousness of applied talents in civil engineering.

This paper presents a robust image watermarking method in discrete cosine transform (DCT) domain based on chaotic sequences encryption. Exploiting some characteristics of Human Visual System (HVS) and DC(Direct Current) components having much larger perceptual capacity than any AC (Alternating Current)components, watermark is embedded into the DC components of the host image. First, we scramble the watermark image to avoid the block effect. Then we split the host image and the scrambled watermark image into 8×8block respectively, and the scrambled watermark is embedded into the DC components of the host image. The experimental results show that the embedded watermark is invisible and robust against noise and commonly used image processing methods such as Gaussian, JPEG compression, Median filtering etc.

The FP-growth algorithm is a powerful algorithm to mine frequent patterns and it is non-candidate generation algorithm using a special structure FP-tree. Many algorithms proposed recently are based on FP-tree. These algorithms include all frequent itemsets mining, closed frequent itemsets mining and top-k closed frequent itemsets mining. However, it still requires two database scans, Although it is not a problem for static database, it is not efficient for frequent pattern mining, interactive and incremental mining. In order to enhance the efficiency of FP-tree based algorithms, propose a novel algorithm called QFPC which can create FP-tree with one database pass. Also propose a novel algorithm PFPTC to create FP-tree parallelly.

To have line-speed processing ability is a fundamental rule in the design of high-density linecard in router and other network equipment. To satisfy this requirement, the traffic processing speed of the linecard should be not less than the sum of the individual link rates. With the quick increasing of link rate, the line speed processing requirement becomes too hard in high-density linecard design. This paper proposes that several characteristics of Internet traffic can be used to lower the packet processing speed of the high-density linecard. Thus it can help the community to change the design methodology from worst case oriented to real world traffic oriented. By introducing Multiplexing gain, packet size gain and link efficiency gain, this paper shows that the total gain lowers the requirement of line-speed requirement significantly without damaging the line speed processing ability. Performance cost and engineering questions involved in the implementing of this method are also covered.

The problem of eliminating impulse for a class of interval singular systems was considered in this paper. Firstly, the impulse control problem for interval singular systems discussed in this paper was transform into uncertain singular systems. Secondly, using orthogonal transformation, the uncertain singular systems was transform into the singular standard form to be discussed, then a sufficient condition which there is a output feedback controller such that the closed-loop systems impulse-free was given by means of the properties of spectral radius, more over, the designing steps for eliminating impulse for singular interval systems were given. Base on the results, the existence of a output feedback controller with perturbation such that the closed-loop systems is impulse-free was discussed later. Finally, a numerical example was presented to illustrate the feasibility of the main result in this paper.

Programming is the nucleus foundation course in computer subjects, and also is considered generally as a hard learning and teaching course. With the introduction of Anchored Instruction in the course teaching, the study environment focusing on some true cases has been created. tasks with different degree of difficulties have been assigned to students for leading study. Cultivation of knowledge transfer ability for students has been highlighted in teaching process. Lecturer can mobilize the students' interest and enthusiasm in learning, reduce the difficulty of the curricula entry, stimulate learning motivation and guide self study. Practice has proved that the approach can quickly improve the students' practical programming capability to solve problems by using computer, which has significantly teaching effectiveness.

This paper describes several broadband IP network' key technologies (include ATM :Asynchronous Transfer Mode, IP over SDH, IP over WDM and Gigabit Ethernet technologies) and solutions on e-Government broadband IP network, and comparing, analysis to them. On this basis, proposed three-layer hierarchical structure design of construction e-Government broadband IP network system on core layer, aggregation layer, access layer, which is used to practical network system' implementation.

As an important tool to study practical problems of biology, engineering and image processing, the neural networks has caused more and more attention. Some interesting results on the stability have been obtained. In this paper, the exponential stability of the equilibrium point of a group of Cohen-Grossberg neural networks is obtained by using Lyapunov method and Razumikhin technique.

In large telecommunication network management system, substantial data containing the information of network traffic, network element status, device running situation and all other messages are continuously sent from each special network management system to the integrated network management system. This kind of data is typically the stream data. Current network management system employs traditional database technology to store and process such kind of data. However, the managed network grows larger and larger over time, and the data cumulates, too. The disadvantages of current technology gradually show up. Stream data usually arrives continuously and is often of high speed and large amount. Thus, a data stream algorithm based on self-adapting sliding window model is proposed here to build synoptic data structure in memory. By this algorithm, network manager is able to get the approximate query result after judging the accuracy requirement and processing ability.

Arm at problems for waste recycle and treatment, the article construct system of remanufacturing industry reverse logistics networks, and build MILP(Mixed-Integer Linear Programming) model in order to minimize operating cost of reverse logistics from two reverse logistics handling methods of remanufacturing and raw materials recycle . Then the article ascertain the number and location of all kind of recycle center and handling establishment local and assign optimizing logistics amount at logistics route consist of net nodes . Finally, the article validates model validity and feasibility.

To address the problems existing in current college programming education, we consider that the cultivation of security coding ability may be combined within existing courses, such as programming courses, operating system and software engineering curriculum, etc. This paper reviews the authors' several-year practice of integrating the training of the students' security coding ability with programming courses. Three key stages of practice are introduced, which are organic combination with programming curricula, choosing proper textbooks and the introduction of security coding examples. The authors strive to achieve three improvements in the cultivation of students' ability: improvements from defensive programming to security programming, adding secure functions instead of security functions, and paying more attention to enhancing the software quality instead of security. The main contents of security software coding best practices integrated into our teaching practice are given. The testing result shows that the students' security coding ability can be improved, and in fact many of whom have performed well in job interview and get a good job.

Dissimilarity measure plays a very important role in traditional data clustering. In this paper, we extend the dissimilarity measure as compatible measure and present a new algorithm (CNclustering) based on this measure. The algorithm is a rigorous partition method, it first gets some compatible clusters with a Compclustering method as the initial nucleoids, then absorbs other objects by the absorbing step to form the final clusters. We use S20 and S200 data sets to demonstrate the clustering performance of the algorithm and get some consistent results.

For many years, the teaching for deaf students usually used sign language, lip reading and writing. However, as time goes on, these three methods show lots of disadvantages. It is difficult to come true the Liberated Learning for deaf students using these methods. Thanks to the development of the modern information technology, IBM and the International Liberated Learning Alliance developed a new technology which named Speech Recognition. The function of this technology can help the deaf students to come true liberated learning as the healthy students. In this article the author will introduce the function of this technology and how it will help the deaf students to “listen” more easily.

How to aggregate and reduce duplicated alerts from different IDSs is one of the most important problems in distributed IDS research area. The article proposes a distributed alert aggregation model composed of local components and network components. Local components transform raw alerts originating from traditional IDSs to IDMEF-based alerts with uniform format, which are sent to network components. Network components aggregate similar alerts into a meta-alert, using an aggregation algorithm based on category and feature similarity. A subscription-based communication mechanism is and multiple kinds of messages are also proposed to meet the demands of the communication between the components and to realize information share in the whole network. Experiments on DARPA99 data set indicated the effectiveness of the model.

In this paper we designed index system of regional financial development combining the relevant literature of financial development with the actual situation, And constructed a mathematical assessment model of financial development level with a variety of evaluation methods.And made the empirical analysis on the financial development extent of all regions by collecting corresponding data.

Free stereoscopic display offers a new means for stereoscopic observation, with the greatest strongpoint of experiencing true stereoscopic image without any aided equipments. It is a complex and highly technical process to achieve free stereoscopic display, among which the key technologies are: the components of stereoscopic display hardware, the formation of a stereoscopic data, Multi - view Video Coding, storage and eventual broadcast. Every detail is explained about the design of stereo video player based on Davinci™ DM6446. A novel method of MVC coding structure is proposed after the study of H.264 MVC and character of stereo video. The experiment's results indicate that, compared with the original structure, the classification performance is improved in the coding structure.

In this paper an interval regression model has been established to cope with the situation that the input training data is accurate while the output one is interval. And the model has been applied in English speech learning system to predict the credible interval of correct speech and then give a correct judgment for the learners. Experimental data show that the new model reduces the workload of fuzzy prediction and has good accuracy, so it can be effective in speech learning system.

The RoboCup 2D server simulates soccer team of real world in a multi-agent environment, which possesses characteristics of dynamic discrete system. This paper proposes a method to model and analyze the decision making process of single agent using improved Condition/event Petri net. The cooperation process of multi-agents is modeling later using simple Petri net based on environment built previously. The hierarchy structure of Petri nets and the method to avoid conflicts are discussed at last.

A formalism of ontology-based domain knowledge representation in intelligent tutoring systems is presented in this paper. Domain knowledge representation is based on ontologies in order to improve the sharing and reusing of multimedia teaching materials. After discussing the three-level ontology-based knowledge representation structure, the language of ontology representation is defined and then the formal description of ontology-based domain knowledge base is proposed.

The research of display system for surface surveillance radar is discussed. The paper emphatically introduces the image display module in that system. This module adds a third party library to read the DXF file, and uses OpenGL to draw the airport map and aircrafts, to achieve the image interaction for users.

This paper proposes a new novel local area interpolation algorithm for heart 3D recreation form cardiac ultrasound images. Compare with the traditional local area linear interpolation algorithm, we introduced a 3d ball Filter, which leads to the number of slice and the number of the interpolation candidate points are dynamic, the experiment results show that our results are much more smoother and realistic than that of the traditional one which the number of slice and points are fixed.

The current business challenge and solution supported by EERP (End-to-End Resource Planning) is presented in this paper. The relevant technologies about SOA and Semantic SOA to realize EERP have been researched in detail. After analyzing the production value chains and service requirements of power enterprise, a new approach based on dynamic semantic SOA and Component oriented technologies for EERP has been proposed and applied, which can help to realize business-goal-driven dynamic semantic integration of the Web services.

Because of the different function of various departments and agencies, a large number of different, isolated, heterogeneous information systems are set up in equipment support informatization construction at present. This status beacome the bottleneck to restrict the construction of equipment support informatization. Abandoning these informantion systems and redevelopment new systems will result in a great waste of resources. A common database middleware is established. A middle layer between system business logic, common component service and data source is built. The differences of a variety of heterogeneous data sources are shielded. Equipment support information integration platform is constructed. Information integration is realized on the basis of the existing information systems.

Bilingual Teaching is one of the important measures to bring China's higher education in line with international practices. However, there are many issues to be studied and discussed in this new teaching approach. Based on the practice and experience of bilingual approach in teaching the course of Network Security and Management, this paper explored the necessity and significance of offering bilingual teaching to undergraduates majoring in computer science, and the specific ways to implement bilingual teaching. In the meanwhile, problems that exist in the bilingual teaching initiatives are analyzed and summarized.

With the growing popularity of mobile computing and wireless communications, managing the continuously changing information of the moving objects is becoming feasible, especially in LBS application which is characterized by a large number of moving objects and a large number of continuous queries. In this paper, we focus on continuous k-nearest neighbor (CkNN for short) query and propose a query method based on a quad tree to support continuous k-nearest neighbor query for moving objects, in which the main idea is to use a quad tree to divide the static spatial space for the moving objects. In the interested region, we use the quad tree and hash tables as an index to store the moving objects. Then we calculate the distances between the query point and the moving objects from inside to outside to get the result. Our comprehensive experimentation shows that the performance of the proposed method is better in memory consumption and processing time than the CMP algorithm.

RSA is one of the most popular and widely used public key cryptosystems. In this paper, an application of low private exponent attack on it is presented. More precisely, let (N, e) be an RSA public key with corresponding private key d, then N can be factored provided that there exists a proper integer k such that ek is relatively small and dk mod φ(N) is small (or large) enough. Experiment shows that our generalization of low private exponent attack can seek out some new weak keys of RSA.

A geometrically robust image watermarking scheme based on perceptual hashes and genetic algorithm is proposed. The synchronization information, which is generated by perceptual image hashes and pseudo-random number (PRN), and the watermark are embedded into the image based on the human visual system (HVS). In watermark extracting, the geometric transformation parameters are computed from perceptual hash values of the image, which is realized by genetic algorithm. And then the image is re-synchronized by inverse transforming with the parameters. According to the locally optimum detection and a threshold can decide the watermark is present or not, and the threshold is obtained by the Neyman-Pearson (NP) criterion. Simulation results show that the proposed scheme is not only invisible, but also robust against regular signal processing and geometric attacks.

The ability of economic data analysis is very important to information major students in economic and economic universities. However, mastering the skill of economic data analysis is not easy to them. The design and construction of a teaching model based on schema theory in economic data analysis curriculum is described, and then it is applied to information major students. The teaching result shows that there is a significant difference in final exam and practice exam between the proposed model and a regular teaching model.

A revs curve programmable servo control system on servo motor has been developed in order to look for optimum control parameters of a single crystal growth. The main parts of the system are Micro Controller Unit (MCU), AC servomotor, Digital Analog Converter (DAC) and so on. By means of a new arithmetic, a crucible rotary speed realized linear change in a process of acceleration and deceleration for given revs in 1∼600 revolutions per minute (rpm). Its control precision is high, and the program method is simple.