Search-based optimization methods have been used for software engineering activities such as software testing. In the field of software testing, search-based test data generation refers to application of meta-heuristic optimization methods to generate test data that cover the code space of a program. Automatic test data generation that can cover all the paths of software is known as a major cha...

Abstract In deductive verification and software model checking, dealing with certain specification language constructs can be problematic when the back-end solver is not sufficiently powerful or lacks required theories. One way to deal this transform, for purposes, program an equivalent one using constructs, reason about its correctness instead. paper, we propose instrumentation as a unifying p...

In this paper , a fast method for automatic generation and scientific design of Persian letters is proposed. Scientific typeface design is an approach in which fonts are described by mathematical curves with well-defined parameters, where these parameters can be automatically tuned. METAFONT is a language suitable for the type of design used in this work. This language is particularly useful i...

purpose: the aim of this study is to analyze the theoretical foundations, the concept, documentation history, steps and the procedure of documentation of knowledge on the basis of life cycle of organizational knowledge and the introduction of automatic and semi-automatic operational strategies of the extraction of tacit knowledge and coding or the representation of explicit knowledge. methodolo...

one of the main problems in micro irrigation system is inappropriate combination and in some cases inappropriate performance of filters and sand tanks in central control systems which cause reduction in efficiency of system and increasing of operating costs. this study evaluates affect the amount of algae on the performance of disc filters sand tank in research farm deputy of soil and water and...

Guidance and control of aircraft in the landing phase imposes extra pilot work loads, hence application of automatic landing control systems is of great importance. In this study automatic landing control systems are introduced and an optimal landing control system is designed. The control system performance criteria are based on minimum control effort. The designed system is simulated for a tr...

automatic analysis of human facial expressions is one of the challenging problems in machine vision systems. it has many applications in human-computer interactions such as, social signal processing, social robots, deceit detection, interactive video and behavior monitoring. in this paper, we develop a new method for automatic facial expression recognition based on facial muscle anatomy and hum...