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.
A key feature of Software Defined Network is the decoupling of control pane and data plane. Although delivering huge benefits, such a decoupling also brings a new risk: the data plane states (i.e., flow tables) may deviate from the control plane policies. Existing data plane testing tools like Monocle check the correctness of flow tables by injecting probes. However, they are limited in four aspects:...
The enthalpy difference laboratory is an experimental device for measuring refrigerating and heating capacity of Air conditioner. However, the temperature system of enthalpy difference laboratory has the characteristics of nonlinearity, hysteretic nature and time variation. Therefore, it is difficult for general control method to meet the control requirements of enthalpy difference laboratory. In...
Intensive testing is often applied by professional software engineers to assure the quality of enterprise information technology (IT) systems. For example, Netflix’s Simian Army consists of services that generate various types of failures, detect abnormal conditions, and test the ability of cloud-based enterprise IT software to survive them. Although software engineering students should be taught...
The graphical display of the fault tree is urgently needed for the equipment in fault diagnosis and reliability analysis, while the practical application of the fault tree drawing and display is mostly achieved under the Client/Server(C/S) mode which lacks portability, universality. Thus, a fault tree graphic drawing software based on Visio Drawing Control 2007 has been proposed by using C# language...
As IT organizations are pursuing database High Availability (HA) solutions to ensure and protest critical commercial data, the challenge is to leverage the three-fold key dimensions: cost, performance and availability. A successful solution needs to integrate Database Management System (DBMS) seamlessly with back-end storage and offer good performance and customer data protection. Through extensively...
We present in the paper the design of a hardware-in-the-loop simulation framework and its actual implementation on imitating cable orientation control system of a helicopter. Real-time hardware-in-the-loop simulation is one of the most effective methods for the verification of the performance and reliability of the cable orientation control law before conducting actual flight tests. In our proposed...
Many recent studies on fault localization based on program slicing have mainly focused on static slicing techniques, while the research on fault localization using dynamic slicing tool is insufficient. One reason is that dynamic slicing tools are less available than static ones. In our paper, we present the use of the dynamic slicing tool, JSlice, which is a dynamic slicing tool available for Java...
Considering determining the number of software fault is an uncertain non-linear problem with only small sample, a novel software fault prediction method based on grey neural network is put forward. Firstly, constructing the grey neural network topological structure according the small sample sequence is necessary, and then the network learning algorithm is discussed. Finally, the grey neural network...
As to the research on AspectJ in this context, after analyzing the Java program, AspectJ can realize the capture of the join points based on the Boolean or Compound expression in the Java program. The information includes: the time to judge the runtime condition of each join point as “true” use of the logic AND (&&) to combine pointcuts; and use of the logic OR (‖) to combine pointcuts; all...
As to the research on AspectJ in this context, after analyzing the Java program, AspectJ can realize capturing the information of object-based join points in the Java program. The information includes: the time when this references a specific type problem; the time when the target object of the join point is a specific type; and the time when the parameter of the join point is a digital, type and...
Trust plays an important role in software usage. It helps users overcome perceptions of uncertainty and risk and engages in trust behaviors. In this position paper, we propose using the trust behavior as a main characteristic to provide software recommendations. We explore a model of trust behavior that contains three root constructs: using behavior, reflection behavior and correlation behavior. The...
The paper introduces the existing multi-pattern matching algorithms implemented by software, and analyses the Wu-Manber Algorithm in emphases. According to the analysis, the paper points out that we will gain different performance when we adopt different hash function or domain. This conclusion is proved by experiments, which show that we shall adopt appropriate hash functions or domain to improve...
Two phases of remote sensing image data of Dandong city taken respectively in 1989 and 2001 were interpreted through ERDAS software and the change of landscape pattern was analyzed with three categories of indices from the landscape pattern and landscape levels by means of using FRAGSTATS software. The results showed that the construction land was dominant and expanding tendency was obvious with glebe,...
The paper puts forward a new method to identify similar C codes based on weighted attributes eigenvector. According to the characteristics of physical and structure attributes of C codes, the weighing theory of attributes eigenvector is adopted to strengthen the infection of attribute elements with covert codes, which are based on the theory and method about existing kinds of attribute eigenvector...
Now the fractal dimension of Land Use Types is often calculated by using raster data as the raw data, but quite a number of spatial data is stored as vector data in fact. If these vector data are converted to images to calculate fractal dimension, perhaps some pixels with inaccurate grey value will result from the “GRID” structure of raster data and accordingly reduce the accuracy of calculation....
Our aim was to investigate the registration and fusion of models reconstructed from multimodal craniocerebral sectional images, providing basis of craniocerebral structure visualization for surgical navigation. The craniocerebral dataset from different modalities were obtained and constructed. For segmentation, “training area” and “threshold” methods were performed for white matter in MRI coronary...
For facilitating the end-users can utilize available software services to construct the business applications on demand and independently, early works have proposed an end-user oriented and reusable service model-business service. However, the business service needs to be able to be instantiated to support the end-users to express specialized usage manners of business functionality. Utilizing the...
MANET (mobile ad hoc network) is a mobile multi-hop, wireless self-organized distributed network. This paper introduces the concept and characteristics of MANET, gives a general survey of research on local repair for MANET and proposes a new local repair scheme based on link breaks in order to make up the deficiency of the existing local repair schemes. The improved local repair scheme concerns about...
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.