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.
The calculation model was carried out by use of commercially software Fluent. The distribution of temperature and NOx consistency field under different crank angle was calculated. The results of the analysis found that there was a greater temperature gradient near the cylinder wall. A larger temperature difference in the oil-beam external and internal and a high-temperature region formatted near the...
This paper presents a hybrid intelligent method to design Morphological-Rank-Linear (MRL) perceptrons to solve the Software Development Cost Estimation (SDCE) problem. The proposed method uses a modified genetic algorithm (MGA) to determine the best particular features to improve the MRL perceptron performance, as well as its initial parameters. Furthermore, for each individual of MGA, a gradient...
After exploring multi-round difference feature of Serpent encryption algorithm and using the method of constructing S-boxes algebraic equations, we put forward Rectangle algebraic attack of 10-round Serpent-256. This method analyzed that 10-round Serpent-256 needed 2 × 2144 × 210 = 2155 pairs of selective plaintexts, 2155 times of 10-round encryption and 2155 times of 10-round decipher, as well as...
Program debugging is an important process to improve the quality of software. Runtime exception can occur often and can be difficult to debug. In this paper, we present a new approach for locating faults that cause runtime exceptions in Java programs due to error assignment of a value that finally leads to the exception. Our approach first uses program slicing to reduce the search scope, then performs...
This paper presents an algebraic specification language for the formal specification of the semantics of web services. A set of rules for transforming WSDL into algebraic structures is proposed. Its practical usability is also demonstrated by an example.
Slicing is an effective method for focusing on relevant parts of a program in case of a detected misbehavior. Its application to fault localization alone and in combination with other methods has been reported. In this paper we combine dynamic slicing with model-based diagnosis, a method for fault localization, which originates from Artificial Intelligence. In particular, we show how diagnosis, i...
Testing and debugging account for at least 30% of the project effort. Scientific advancements in individual activities or their integration may bring significant impacts to the practice of software development. Fault localization is the foremost debugging sub-activity. Any effective integration between testing and debugging should address how well testing and fault localization can be worked together...
By examining adjacent steps in a student's solution of an equation or algebraic manipulation, much more information can be deduced than if the final answer alone is examined. We present algorithms for modeling a student's progress in solving a simple equation, used in the author's Webfrog system.
Program slicing, a well-known technique, originally introduced by Weiser M., has already been widely used in numerous software engineering areas. With the development of research, the concept of program slicing is extended, and its application domains are broadened. This paper proposes a method for slicing Z formal specifications based on relations selection, relations projection and relations connection...
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.