This article describes the potential application of a credible autocoding framework for control systems towards a nonlinear car controller example. The framework generates code, along with guarantees of high level functional properties about the code that can be independently verified. These high-level functional properties not only serves as a certificate of good system behvaior but also can b...

Nonlinear saturation of a beta-induced Alfvén eigenmode, driven by slowing down energetic particles via transit resonance, is investigated by the nonlinear hybrid magnetohyrodynamic gyrokinetic code. Saturation is characterized by frequency chirping and symmetry breaking between co- and counter-passing particles, which can be understood as the evidence of resonance detuning. The scaling of the ...

We describe a general-purpose parallel electromagnetic code for computing accurate solutions to large computationally demanding, 3D, nonlinear magnetostatic problems. The code, CORAL, is based on a volume integral equation formulation. Using an IBM SP parallel computer and iterative solution methods, we successfully solved the dense linear systems inherent in such formulations. A key component ...

This document is a hands-on of Maple worksheet for automatic code generation and simulation system for nonlinear model predictive control (NMPC) . This method is well known as a fast algorithm and expected to real-time implementation in a system. This describes the components and usage of the automatic code generation system named "AutoGenU for Maple". This worksheet is required Maple 17 or lat...

Multiobjective design optimization system of exhaust manifold shapes for a car engine has been developed using Divided Range Multiobjective Genetic Algorithm (DRMOGA) to obtain more engine power as well as to achieve less environmental impact. The three-dimensional manifold shapes are evaluated by the unstructured, unsteady Euler code coupled with the empirical engine cycle simulation code. Thi...

A nonlinear code can be represented as the union of cosets of a linear subcode. Properties and constructions of new codes from given ones in terms of this representation can be described. Algorithms to compute the minimum distance of nonlinear codes, based on known algorithms for linear codes, are also established. Moreover, the performance of these algorithms is studied and an estimation of th...

In this paper, we consider the performance of different coding schemes for direct-sequence spread spectrum (DS-SS) in a nonselective Rician faded channel. The Nordstrom–Robinson (NR) code, a nonlinear code that has large distance for a given rate combined with a trellis code, is examined. A bound is developed on the error probability for this trellis-coded NR (TCNR) code with noncoherent recept...

An algorithm to compute polynomial conserved densities of polynomial nonlinear lattices is presented. The algorithm is implemented in Mathematica and can be used as an automated integrability test. With the code diffdens.m, conserved densities are obtained for several well-known lattice equations. For systems with parameters, the code allows one to determine the conditions on these parameters s...

A joint source channel coder (JSCC) for image transmission over flat fading channels is presented. By letting the transmitter have information about the channel, and by letting the code-rate vary slightly around a target code-rate, it is shown how a robust image coder is obtained by using time discrete amplitude continuous symbols generated through the use of nonlinear dimension changing mappin...