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.
This paper presents a new method of generating test programs for random testing of C compilers based on equivalence transformation on C programs. Although equivalence transformation on programs is a promising way of generating new test programs without undefined behavior, existing methods needed valid test programs used as seeds, and they applied only addition/deletion of statements to/from unreachable...
This paper presents the real time evaluation of the dynamic tariff (DT) method for alleviating congestion in a distribution networks with high penetration of distributed energy resources (DERs). The DT method is implemented in a real time digital testing platform that emulates a real distribution network. The platform returns power system status that indicates the efficiency of the DT method in a...
The shaping by hydroforming process involves several complex phenomena and presents several types of nonlinearities (geometric, material,…). The development of a hydroforming operation requires a lot of testing to determine with precision the optimum loads of trips and get a room without defects. Advances in digital tools have enabled manufacturers to simulate and optimize their production facilities...
Model based Testing in software engineering is gaining widespread importance due to faster and automatic generation of test suites for validating software systems. Generation of tests is done from the analysis and design phase artefacts of requirements and specifications. Due to rapid growth in the software industry there comes an urgency of developing a full fledged, fully-tested and defect free...
While 3D chips open up versatile potentialities in compact system design, they pose the challenge of testing the composite system, which consists of multiple cores, logic, and memory, interconnected across different layers of the chip. The test strategy for such chips must also take into account the issues of inherent power and thermal constraints, design of test-access mechanism (TAM), and the decision...
The process of testing any software system is an atrocious task which indeed consumes a ton of effort, and expensive also. Required effort and time to do adequate as well as effective testing get bigger, as the software gets more complexed that can lead to swarm over the project budget or some test cases left uncovered or delay in completion. A suitably generated test suite does not only locate errors...
In order to improve the reliability of electronic products and reduce the probability of failure of spare parts, this paper proposes a method of using alternation to detect electronic products regularly. Firstly, we regard the original element and the spare part as the reserve system and consider the fault of the elements caused by human error at the same time. Secondly, we take the Alternate interval...
We consider the problem of learning graphs in a sparse multiclass support vector machines framework. For such a problem, sparse graph penalty is useful to select the significant features and interpret the results. Classical ℓ1-norm learns a sparse solution without considering the structure between the features. In this paper, a structural knowledge is encoded as directed acyclic graph and a graph...
People write online documents from different personal perspectives. The competitive perspectives they hold reflect the conflicts in their fundamental stances and viewpoints. For many security-related applications, it is both beneficial and critical to identify the competitive perspectives implied in online documents. Previous work on competitive perspective identification is based on word features,...
The development of search-based algorithms forautomatic test case generation is a key issue in the researcharea of software testing. Evolutionary algorithms have beenfrequently used for this purpose due to their ability to solvecomplex optimization problems. In this paper we introduce anovel approach to the automatic test-case generation problemfor reactive software systems. We build upon our previouswork...
This paper presents a hybrid test generation approach from extended finite state machines combining genetic algorithms with local search techniques. Many test generation methods (both functional and structural testing methods) use genetic algorithms. Genetic algorithms may take a long time to converge to a global optimum and for a huge neighborhood they can be inefficient or unsuccessful. In this...
The General Video Game AI Competition (GVG-AI) invites submissions of controllers to play games specified in the Video Game Description Language (VGDL), testing them against each other and several baselines. One of the baselines that has done surprisingly well in some of the competitions is sampleMCTS, a straightforward implementation of Monte Carlo tree search (MCTS). Although it has done worse in...
We address the problem of makeup face recognition. Our main idea is to incorporate different levels of features into a joint optimization framework. Specifically, we combine both mid-level (e.g. attributes) and low-level features to obtain a new representation for a better matching between makeup and non-makeup faces. Previous studies have discovered the influence of cosmetics on face recognition,...
In this paper, the design and testing of a micro-syringe pump is carried out for precision delivery of liquid inside a tiny tube. A single-axis micro-motion pump is designed by using flexure mechanisms for precision drive of the micro-syringe. Based on the required specifications of travel range and load capability, a compliant translational motion mechanism is developed. The machine parameters are...
The paper is devoted to the problem of the active components (transistors) automated diagnostics on the base of his current-voltage characteristics and passive radio components (resistors) the prediction class by his parameters. The procedure of identification on the neuron nets base for these transistors is proposed. For automated diagnostic of passive radio components, for example, resistors, the...
Elephant Search Algorithm (ESA) is one of the contemporary metaheuristic search recently proposed. Its efficacy depends largely on the right choice of gender ratio that balances the proportion between the number of male and female elephants as search agents with different functions. The male elephants are responsible for global exploration, roaming to new dimensions of search space. The female elephants...
The results of the work on preference of hierarchical text menus of user interface are discussed in the article. Detection of influence of hierarchical text menus parameters and cognitive processes indicators of users on preferences in this menu is implemented. On the basis of experimental data logistic regression is constructed. It allows you to classify the menu with preset parameters on a scale...
Software testing is a very crucial and important phase for (SDLC) software development life cycle. Software is being tested on its effectiveness for generating good quality software. Regression testing is done by considering the constraints of resources and in this phase optimization of test suite is very important and crucial. This paper mainly aims to make use of hybrid approach of meta-heuristics,...
Cell structures are observed in numerous types of images and there are a lot of structural estimators. Artificially generated images allow testing of them, because many of them are heuristic and sensitive to small structure changes. Coupling effect occurs additionally between them is important in pattern recognition application design. Proposed model gives sequence of images for evaluation purposes...
This paper studies the problem of simultaneous deciding on hypotheses and estimating a random parameter. We propose a joint decision and estimation (JDE) formulation, which amounts to minimizing a risk related to both decision and estimation while decision performance is also constrained within a tolerable level. The risk used in this paper is a weighted sum of estimation costs conditioned on correct...
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.