Most model-based diagnosis systems, such as GDE and Sherlock, have concerned discrete, static systems such as logic circuits and use simple constraint propagation to detect inconsistencies. However, sophisticated systems such as QSIM and QPE h ave been developed for qualitative modeling and simulation of continuous dynamic systems. We present an integration of these two lines of research as imp...

In the recent years the development in communication systems requires the data transmission to be performed faster and faster. To meet this demand the paper presents a high speed multi channel UART controller based on FIFO (First In First Out) technique . An Asynchronous FIFO is designed with dual port ram array and with read and right pointers. The structure of controller is designed with UART...

We investigate collective modes in three dimensional (3D) gapless multi-Weyl semimetals with anisotropic energy band dispersions (i.e., with a positive integer J). For comparison, we also consider the gapless semimetals with the isotropic band dispersions (i.e. E ~ kJ). We calculate analytically long-wavelength plasma frequencies incorporating interband transitions and chiral properties of carr...

1Despite the social emphasis in Multi-Agent Based Systems research, individual agent control systems (ACS) can not be discarded. The individual capacity for effective action selection and enforcement require agents with harmonised real-time and long-term capabilities. Neither the reactive nor deliberative paradigms seem to provide this harmony. We are proposing an ACS schema where longterm cond...

This paper describes the hardware F-Buffer implementation featured in the latest ATI graphics processors. We discuss the implementation choices made in each chip and the various implementation challenges faced like overflow handling. The F-Buffer was originally intended as a solution for multi-pass shading. We demonstrate this functionality, comparing it to traditional multi-pass rendering tech...

This paper proposes an approach to generate blending plans using a cooperative multi-agent system. First, a model for the blending problem in batch manufacturing is developed based on operations research principles, which takes into consideration of factors involved in blending plan generation. Second, the architecture of the system is introduced. We describe the structures of control agent and...

In last years, multi-agent systems (MAS) have achieved a remarkable success and diffusion in employment for distributed and complex applications. A fundamental contribution has come by the adoption of reuse techniques and tools providing a strong support during the design phase. Even though design patterns have been widely accepted by industrial and academic organizations as a proper technique ...

We performed two-dimensional non-linear hydrodynamical simulations of two-component gravitating disks aimed at studying stability properties of these systems. In agreement with previous analytical and numerical simulations, we find that the cold gas component strongly affects the growth rates of the unstable global spiral modes in the disk. Already a five percent admixture of cold gas increases...

This corrects the article DOI: 10.1038/srep34023.

Digital music technology is a catalyst for transforming the way people listen to music and creates new avenues for creative interaction and expression within the musical domain. The barrier to music creation, distribution and collaboration has been reduced, leading to entirely new ecosystems of musical experience. Software editing tools such as digital audio workstations (DAW) allow nearly limi...