We present a new method of logic-based genetic programming (LBGP) using Prolog programming framework. Using the intrinsic mechanism of backtracking in Prolog, we are able to (i) design flexible genetic operations effe...
详细信息
We present a new method of logic-based genetic programming (LBGP) using Prolog programming framework. Using the intrinsic mechanism of backtracking in Prolog, we are able to (i) design flexible genetic operations effective to the smaller sizes of populations, and (ii) to maintain the population diversity of individual programs with both active structures (or exons) and inactive structures (or introns) generated by the genetic operations. We apply the method to obtaining multiple solutions for multi-modal problems. We validate the effectiveness of LBGP to get multiple solutions on tree constructional and tile world problems.
Today complex systems are modeled on a high level of abstraction by including functional and architectural description as well as environmental components. The system is specified on mission level and such an overall ...
详细信息
Today complex systems are modeled on a high level of abstraction by including functional and architectural description as well as environmental components. The system is specified on mission level and such an overall model is simulated together with operational conditions. The design flow from mission level to programming of FPGA chips is presented in this paper. In order to automate transition from mission/operational to implementation level models used in FPGA synthesis tools, a VHDL code generator for finite state machine modules is developed. The generator structure and conversion process are presented in more detail.
In this paper, the method of admixture chance constrained programming was researched in order to deal with the uncertainties in the complex systems. The concept of the grey uncertain programming was put forward throug...
详细信息
ISBN:
(纸本)0780382730
In this paper, the method of admixture chance constrained programming was researched in order to deal with the uncertainties in the complex systems. The concept of the grey uncertain programming was put forward through working over the existing uncertain programming theory (stochastic programming and fuzzy programming). As using stochastic simulation and fuzzy simulation to resolve the problem in complex stochastic programming and fuzzy programming, the concept and method of grey simulation was advanced in this paper through theoretically inducing and calculation verifying, which provide a solution method for the grey chance constrained programming. Based on the stochastic simulation and grey simulation, genetic algorithm can be used to get the best result. Finally, the method is used to solve the production planning problem which includes uncertain parameters, and the validity of the method is verified by simulation results.
作者：
Whittle, JSchumann, JNASA
Ames Res Ctr QSS Grp Moffett Field CA 94035 USA NASA
Ames Res Ctr RIACS Moffett Field CA 94035 USA
AUTOFILTER is a tool that generates implementations that solve state estimation problems using Kalman filters. From a high-level, mathematics-based description of a state estimation problem, AUTOFILTER automatically g...
详细信息
AUTOFILTER is a tool that generates implementations that solve state estimation problems using Kalman filters. From a high-level, mathematics-based description of a state estimation problem, AUTOFILTER automatically generates code that computes a statistically optimal estimate using one or more of a number of well-known variants of the Kalman filter algorithm. The problem description may be given in terms of continuous or discrete, linear or nonlinear process and measurement dynamics. From this description, AUTOFILTER automates many common solution methods (e.g., linearization, discretization) and generates C or Matlab code fully automatically. AUTOFILTER surpasses toolkit-based programming approaches for Kalman filters because it requires no low-level programming skills (e.g., to "glue" together library function calls). AUTOFILTER raises the level of discourse to the mathematics of the problem at hand rather than the details of what algorithms, data structures, optimizations and so on are required to implement it. An overview of AUTOFILTER is given along with an example of its practical application to deep space attitude estimation.
The XPRES compiler automates architectural exploration and acceleration directly from C/C++ source code. This is achieved without altering the source. The XPRES gives designers rapid insight into all the tradeoffs and...
详细信息
The XPRES compiler automates architectural exploration and acceleration directly from C/C++ source code. This is achieved without altering the source. The XPRES gives designers rapid insight into all the tradeoffs and an ability to go from fully automatic generation of TIE code to fully manual anywhere in between. XPRES analyzes all possible permutations and reports how much acceleration can be possible for each level of hardware cost.
Today, programmable logic controllers (PLC) are widely used at the modern manufacturing automation. With an increasing demand for a natural, intuitive man-machine interaction in the automated industry, graphical progr...
详细信息
Today, programmable logic controllers (PLC) are widely used at the modern manufacturing automation. With an increasing demand for a natural, intuitive man-machine interaction in the automated industry, graphical programming with PLC is nowadays gaining much attention. In this paper, a PC-based virtual instrument (VI) that can carry out remote monitoring and control for a precise PLC based riveting system via the Internet is developed. The real-time implementation shows its good performance and presents the illustrative demonstration.
This paper analyzes corewar, a very peculiar computer game popular in mid 80's where different programs fight in the memory of a virtual computer. The /spl mu/GP, an evolutionary assembly-program generator, is use...
详细信息
This paper analyzes corewar, a very peculiar computer game popular in mid 80's where different programs fight in the memory of a virtual computer. The /spl mu/GP, an evolutionary assembly-program generator, is used to evolve efficient programs, and the game is exploited to evaluate new evolutionary techniques. The paper introduces a new migration model that exploits the polarization effect and a new hierarchical coarse-grained approach applicable whenever the final goal can be seen as a combination of semi-independent sub goals. Additionally, two very general enhancements are proposed. Analyzed techniques are orthogonal and broadly applicable to different real-life contexts. Experimental results show that all these techniques are able to outperform a previous approach.
Thorough testing of distributed systems, particularly peer-to-peer systems can prove difficult due to the problems inherent in deploying, controlling and monitoring many nodes simultaneously. This problem will only in...
详细信息
Thorough testing of distributed systems, particularly peer-to-peer systems can prove difficult due to the problems inherent in deploying, controlling and monitoring many nodes simultaneously. This problem will only increase as the scale of distributed systems continues to grow. This framework implements a test bed environment using a semi-centralized peer-to-peer network as a substrate for sharing resources made available from standard PCs. This framework automates the process of test-case deployment using a combination of reflection and aspect oriented programming. This allows 'point-and-click' publishing of software onto the test-bed. Our framework also provides a common monitoring, control and logging interface for all nodes running on the network. Together, these features greatly reduce deployment-time for real-world test scenarios. Automated insertion and removal of test code also ensures that the testing process does not compromise the correctness of the final system.
暂无评论