The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Serious games are beneficial for education in various computer science areas. Numerous works have reported the experiences of using games (not only playing but also development) in teaching and learning. Considering it could be difficult for teachers/students to prepare/develop a game from scratch during one semester, assistant educational materials would be crucial in the corresponding courses. Unfortunately,...
Aimed at the low earth satellites under lunar perturbation, this paper derived two sets of dynamic equations based on the Reference Satellite Variable (RSV). One is for orbital motion of the reference satellite and another one is for relative motion between satellites. Both sets of equations are simple and accurate and expressed explicitly. Because of clear physical meaning of the selected Reference...
This paper proposes DSHA, a dynamic self-healing approach to handle exceptions and failures in composite services processes. DSHA will choose the optimal exception handling strategy when exceptions arise during the composite services process execution. DSHA meets the functional requirements of self-healing for composite service failures, and it also better satisfies the process time constraint of...
Slicing is useful for many software engineering applications and has been widely studied for three decades, but there has been comparatively little work on slicing extended finite state machines (EFSMs). This paper introduces a set of dependence-based EFSM slicing algorithms and an accompanying tool. We demonstrate that our algorithms are suitable for dependence-based slicing. We use our tool to conduct...
To evaluate the ambient air quality status of the Fuxin city in Aug-Nov, 2011, we established fuzzy comprehensive evaluation mathematical model and membership function using lower semi-trapezoid distribution through the distribution of data collection and selecting the main factor affecting air quality, and have the result that urban monthly average air quality has declined with the temperature during...
The independent college is secondary school of undergraduate level according to new mode and new established mechanism. Training high technical engineers of electrical information specialty of independent colleges is the correct orientation. As the establishment of the independent college is based on the established undergraduate course school, therefore, it has many disadvantages in teaching modes...
Based on 287 samples collected from four universities, as well as three virtual communities of online shops in China, the author analyzed the impacts of review system on online shopping intention. A model reflecting characteristics of e-commerce based on TAM was created. Four features of review system (Quality, Quantity, Accuracy, and Interactive) were chose as independent variables, while Usefulness,...
Bilingual teaching has been used as a new teaching mode. Based on the advantages analysis of bilingual teaching, the target hierarchy method is presented. In this method, balance of the English language ability and professional knowledge are considered and it is applied to the mechatronical engineering courses. The proportion of English and Chinese language used in class, the students' English level,...
Key Statement Analysis extracts from a program, statements that form the core of the program’s computation. A good set of key statements is small but has a large impact. Key statements form a useful starting point for understanding and manipulating a program. An empirical investigation of three kinds of key statements is presented. The three are based on Bieman and Ott’s principal variables. To be...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.