In this paper a novel chaos neural network model is proposed and applied to memory search and the autoassociation. The proposed artificial neuron model is substantially characterized in terms of a time-dependent perio...
详细信息
In this paper a novel chaos neural network model is proposed and applied to memory search and the autoassociation. The proposed artificial neuron model is substantially characterized in terms of a time-dependent periodic activation function to involve a chaotic dynamics on the basis of the energy steepest descent strategy. It is elucidated that the present neural network has an ability of the dynamic memory retrievals beyond the conventional models with the nonmonotonous activation function as well as such a monotonous activation function as sigmoidal one. This advantage results from the nonmonotonous property of the analogue periodic mapping accompanied with a chaotic behaviour of the neurons. It is also found that the present analogue neuron model with the periodicity control has a remarkably large memory capacity in comparison with the previously proposed association models.
An object oriented program is a set of communicating encapsulated objects, while a constraint program is a set of variables linked by constraints. This difference in underlying models makes it difficult to combine obj...
详细信息
An object oriented program is a set of communicating encapsulated objects, while a constraint program is a set of variables linked by constraints. This difference in underlying models makes it difficult to combine objects and constraints in the same program. Message constraints are constraints that access objects by message sending and treat objects as abstractions. Message constraints can be attached directly to existing objects in object oriented programs without modifying those objects, seemingly providing the benefits of constraint programming within object oriented programming languages.
A neural fuzzy system controlling home appliances is proposed. The central goal of home automation is to provide an efficient and convenient integration and inter-operation among appliances in households. The necessar...
详细信息
A neural fuzzy system controlling home appliances is proposed. The central goal of home automation is to provide an efficient and convenient integration and inter-operation among appliances in households. The necessary software tools should present a comfortable user interface. One suitable programming method for home automation systems is the definition of linguistic rules that can be processed by a fuzzy system. In our approach it is assumed that the home system adapts itself to the occupants' lifestyle. Based on this idea, we present an appropriate neuro fuzzy controller. An implementation of this artificial intelligent based controller under the MATLAB/SIMULINK development environment is shown. It consists of functions that upgrade MATLAB/SIMULINK to a tool with hardware and Internet access. This tool is not only restricted to home automation, it can also be applied to control non time-critical processes.
Statistical analysis of bug discovery data is used in the software industry to check the quality of the testing process and estimate the reliability of the tested program. In this paper, we show that the same techniqu...
详细信息
Statistical analysis of bug discovery data is used in the software industry to check the quality of the testing process and estimate the reliability of the tested program. In this paper, we show that the same techniques are applicable to hardware design verification. We performed a study on two implementations of state-of-the-art PowerPC processors that shows that these techniques can provide quality information on the progress of verification and good predictions of the number of bugs left in the design and the future MTTF.
A major portion of our recent research is to refine a software process model for a major Storage Technology Corporation (STK) development program. The work is centered around the precise measurement of software develo...
详细信息
A major portion of our recent research is to refine a software process model for a major Storage Technology Corporation (STK) development program. The work is centered around the precise measurement of software development outcomes for the accurate reliability assessment of the program and subsequent projects. Three major measurement initiatives were established. First, tools and processes for the static measurement of the source code have been installed and made operational at STK. The measurement process has been automated and been made transparent to the programming staff. Second, tools and processes have been developed for the management and accurate measurement of software faults. No useful software measurement system may be developed without a precise understanding of software faults and their etiology. Finally, tools have been developed and processes initiated that will demonstrate the feasibility and the necessity of a dynamic software measurement processes. The STK program includes the development of a software profiler to obtain measures of program dynamics.
In cost-driven program optimization, performance feedback is either based on a model of the algorithm or on a model of the actually generated machine code. Especially in the case of a distributed-memory system, the di...
详细信息
In cost-driven program optimization, performance feedback is either based on a model of the algorithm or on a model of the actually generated machine code. Especially in the case of a distributed-memory system, the difference in abstraction is large. In this paper, we study the trade-off between prediction at a high (program) level and at a low (machine) level in the context of automatic optimization for message-passing architectures. We present a prediction technique based on modeling the various optimizations in terms of resource contention. Despite the abstraction, we show that high-level modeling yields more reliable predictions, provided this technique is used. We illustrate this result by deriving various optimizations of a line relaxation kernel for distributed-memory machines.
The main factors that affect software understanding are the complexity of the problem solved by the program, the program text, the user's mental ability and experience and the task being performed. The paper descr...
详细信息
The main factors that affect software understanding are the complexity of the problem solved by the program, the program text, the user's mental ability and experience and the task being performed. The paper describes a planning approach solution to the software understanding problem that focuses on the user's task and expertise. First, user questions about software artifacts have been studied and the most commonly asked questions are identified. These questions are organized into a question model and procedures for answering them are developed. Then, the patterns in user questions while performing certain tasks have been studied and these patterns are used to build generic task models. The explanation system uses these task models in several ways. The task model, along with a user model, is used to generate explanations tailored to the user's task and expertise. In addition, the task model allows the system to provide explicit task support in its interface.
Boeing engineers designed and implemented these algorithms using MOODS (Multibody On-Orbit Dynamics Simulation), a Boeing/NASA Ada non-realtime simulation running on a DEC Alpha platform in Boeing Tower 2 in Houston, ...
详细信息
Boeing engineers designed and implemented these algorithms using MOODS (Multibody On-Orbit Dynamics Simulation), a Boeing/NASA Ada non-realtime simulation running on a DEC Alpha platform in Boeing Tower 2 in Houston, Texas. The Ada flight software was then written in MatrixX superblocks on Hewlett Packard computers, using the MatrixX autocode capability to generate the Ada code. After Flight Stage 5A of the International Space Station (ISS), the Pointing and Support (P&S) subsystem is activated and provides the Guidance, Navigation, and Control (GN&C) interface for most of the other U.S. subsystems. P&S supplies state vector (ISS position and velocity), attitude, and attitude rate data to other ISS systems.
This paper presents comparison of a recently proposed tuned-average current-mode with widely accepted average current-mode, in order to control the average inductor current of the constant frequency DC/DC power conver...
详细信息
This paper presents comparison of a recently proposed tuned-average current-mode with widely accepted average current-mode, in order to control the average inductor current of the constant frequency DC/DC power converters. The buck converter was taken as an example to demonstrate superior features of the tuned-average current-mode. Some frequency-domain characteristics are investigated and the conclusions are verified through simulations. Finally, the design considerations for both methods were emphasized as a helping tool for the designer to choose the control method which will meet his needs.
The design of intricate real-time systems typically involves several notations that describe the system at different levels of abstraction. Graphical notations inspired by timing diagrams are helpful at the requiremen...
详细信息
The design of intricate real-time systems typically involves several notations that describe the system at different levels of abstraction. Graphical notations inspired by timing diagrams are helpful at the requirements level, structured automata are common at the design level and dedicated languages are used at the programming level. The question arises how these different notations are linked together in a semantically meaningful way. The author argues that a logic-based approach is making a real contribution.
暂无评论