Tree automata turned out to be a very convenient framework for modeling and proving properties on infinite systems like communication protocols, Java programs and also in the context of XML programming. Unfortunately,...
详细信息
Tree automata turned out to be a very convenient framework for modeling and proving properties on infinite systems like communication protocols, Java programs and also in the context of XML programming. Unfortunately, these works are not always supported by efficient verification and validation tools. This paper investigates the use of two SAT solvers --- MiniSat and picoSat --- to evaluate queries over tree automata with global equality and disequality constraints (TAGEDs for short). Unlike general tree automata, TAGEDs allow to express constraints useful for e.g., evaluating queries over XML documents, like 'in the document, two nodes do not have the same key'. These queries being based on the membership problem which is NP-complete for TAGEDs, we propose an efficient SAT encoding of the membership problem for TAGEDs and we show its correctness and soundness. The paper reports on the experimental results, and implementation details are given.
A code generator is developed to produce automotive ATE programs from a tester-independent test specification. Requirements and features of the specification interface which were necessary for successful automated pro...
详细信息
A code generator is developed to produce automotive ATE programs from a tester-independent test specification. Requirements and features of the specification interface which were necessary for successful automated program generation are discussed. Generated tests are evaluated on tester hardware and found to be production-worthy. Results and advantages of the approach are observed in practice.
An approach to automatic analytical modeling of electrochemical impedance spectroscopy data by evolutionary programming based on cultural algorithms is proposed. A solution-search strategy based on a cultural mechanis...
详细信息
An approach to automatic analytical modeling of electrochemical impedance spectroscopy data by evolutionary programming based on cultural algorithms is proposed. A solution-search strategy based on a cultural mechanism is exploited for defining the equivalent-circuit model automatically: information on search advance is transmitted to all potential solutions, rather than only to a small inheriting subset, such as in a traditional genetic approach. Moreover, with respect to the state of the art, also specific information related to constraints on the application physics knowledge is transferred. Experimental results of the proposed approach implementation in impedance spectroscopy for general-purpose electrochemical circuit analysis and for corrosion monitoring and diagnosing are presented.
To reconstruct object from its orthographic image, a new method of 3D reconstruction based on image vectorization is presented. A 3D CAD model is automatically acquired from 2D views by means of 2D primitive recogniti...
详细信息
To reconstruct object from its orthographic image, a new method of 3D reconstruction based on image vectorization is presented. A 3D CAD model is automatically acquired from 2D views by means of 2D primitive recognition, 3D reconstruction of primitive and combination of 3D primitive bodies. With the help of CimatronE8.5 software, reasonable procedure design and optimization toolpath planning are applied to increase machining accuracy and productivity during automatic programming for reconstructed 3D solid. Reconstructed parts are machined on the VMC-600 type machine center with FANUC system. The results of application indicate that this method has many advantages, such as quickly obtaining the CAD model of part, getting smooth machined surface, efficient machining without invalid or reduplicate feed and so on. As a result, it can be applied widely in NC machining field.
Transaction level modeling (TLM) has become an accepted and well supported paradigm that is intended to create hardware designs at high abstraction levels. In this paper, we present a methodology that targets the veri...
详细信息
ISBN:
(纸本)9781424463381;9781424463404
Transaction level modeling (TLM) has become an accepted and well supported paradigm that is intended to create hardware designs at high abstraction levels. In this paper, we present a methodology that targets the verification of SystemC transaction level models using runtime monitoring. Aspect-oriented programming (AOP) techniques are exploited to handle the high-level TLM features in an automated and generic way. No modifications are needed in the design's SystemC code. In addition, a wide range of functional and performance assertions is addressed. We demonstrate the usefulness of our approach on a realistic system-on-chip platform based on TLM-2.0 standard compliant models and including Open Core Protocol (OCP) interfaces.
The use of higher-order functions, as a method of abstraction and re-use in EC encodings, has been the subject of relatively little research. In this paper we introduce and give motivation for the ideas of higher-orde...
详细信息
The use of higher-order functions, as a method of abstraction and re-use in EC encodings, has been the subject of relatively little research. In this paper we introduce and give motivation for the ideas of higher-order functions, and describe their general advantages in EC encodings. We implement grammars using higher-order ideas for two problem domains, music and 3D architectural design, and use these grammars in the grammatical evolution paradigm. We demonstrate four advantages of higher-order functions (patterning of phenotypes, non-entropic mutations, compression of genotypes, and natural expression of artistic knowledge) which lead to beneficial results on our problems.
This paper investigates the representation of program for program reuse. A new gene structure is proposed: head + body + tail, which allows the program with necessary complexity and putting some learning mechanism int...
详细信息
ISBN:
(纸本)1424406048
This paper investigates the representation of program for program reuse. A new gene structure is proposed: head + body + tail, which allows the program with necessary complexity and putting some learning mechanism into the search process. A new homeotic gene structure is proposed, it not only can call for subroutines easily, but also can automatically perform programming. The concept of different homeotic gene, a multi-cellular structure is proposed. It can be used to describe the complex multi-level programs and to implement the complex subroutine calls. An estimation of distribution mutation operator for guiding search is proposed. It fuses statistic learning mechanism into the search process to accelerate the convergent process and improve the quality of solutions. Numerical experiments show that the new methods of automatic programming is very practical
Many important applications can be expressed using the MapReduce pattern, where a computation is decomposed into a map phase on which each element of source data is independently operated, followed by a reduce phase i...
详细信息
Many important applications can be expressed using the MapReduce pattern, where a computation is decomposed into a map phase on which each element of source data is independently operated, followed by a reduce phase in which the mapped elements are combined with an associative operator. We develop an approach for compiling applications with the MapReduce pattern into parallel hardware. Using optimisation techniques based on geometric programming, we map the computation onto a resource-constrained architecture. Furthermore, we explore important variations of MapReduce, such as making the reduce a linear structure rather than a tree structure. Results for four benchmarks show that our approach can improve system performance by up to 170 times compared to the initial designs.
The six articles in this special section are devoted to IEC standards and their applications in industrial electronics as well as emerging trends in the industry.
The six articles in this special section are devoted to IEC standards and their applications in industrial electronics as well as emerging trends in the industry.
暂无评论