Liquid computing and analysis of sound signals

Liquid Computing Theory is a proposal of modelling the behaviour of neural microcircuits.It focuses on creating a group of neurons, known as a liquid layer, responsible for preprocessingof the signal that is being analysed. Specific information is achieved by the readout layers, task orientedgroups of neurons, taught to extract particular information from the state of liquid layer. TheLSMs have been used to analyse sound signals. The liquid layer was implemented in the PCSIM Simulator,and the readout layer has been prepared in the JNNS simulator. It could successfully recognisecertain sounds despite noises. Those results encourage further research of the computational potentialof Liquid State Machines including working in parallel with many readout layers

miMic: The microphone as a pencil

miMic, a sonic analogue of paper and pencil is proposed: An augmented microphone for vocal and gestural sonic sketching. Vocalizations are classified and interpreted as instances of sound models, which the user can play with by vocal and gestural control. The physical device is based on a modified microphone, with embedded inertial sensors and buttons. Sound models can be selected by vocal imitations that are automatically classified, and each model is mapped to vocal and gestural features for real-time control. With miMic, the sound designer can explore a vast sonic space and quickly produce expressive sonic sketches, which may be turned into sound prototypes by further adjustment of model parameters

Space, the new frontier

Space program - high thrust boosters with greater payload capabilities, superior guidance and control, and astronaut trainin

Assessing material densities by vibration analysis and independent component analysis

The aim of this study was to investigate vibration analysis and independent component analysis (ICA) to assess the density of multiple materials making up a single structure. Density is important as it reveals information about physical properties of materials. The density of a single material can be determined from the relationship between its mass and volume. However, when a structure consists of multiple materials, identification of their individual densities from the structure is complicated. Vibration analysis is a technique that reveals information about an object’s physical properties such as its density. The investigation was carried out using a plastic test tube filled separately with three liquids of known densities; water, Chloroform and Methanol. Vibration was inducted into the tube, through an electronic system that produced a single impact at a predefined location on the tube. The resulting vibration signals were recorded using two vibration sensors placed on the tube. A signal source separation technique called ICA was used to obtain the vibration effects of the liquid and the tube. The power spectral densities (PSD) of ICA extracted vibration signals were examined. The frequency of the largest peak in the PSD was related to the liquid’s density under test. The study indicated that vibration analysis may be effective in assessing materials’ densities in a structure that contains multiple materials, however a larger study is needed to explore the findings

Rehearsal: A Configuration Verification Tool for Puppet

Large-scale data centers and cloud computing have turned system configuration into a challenging problem. Several widely-publicized outages have been blamed not on software bugs, but on configuration bugs. To cope, thousands of organizations use system configuration languages to manage their computing infrastructure. Of these, Puppet is the most widely used with thousands of paying customers and many more open-source users. The heart of Puppet is a domain-specific language that describes the state of a system. Puppet already performs some basic static checks, but they only prevent a narrow range of errors. Furthermore, testing is ineffective because many errors are only triggered under specific machine states that are difficult to predict and reproduce. With several examples, we show that a key problem with Puppet is that configurations can be non-deterministic. This paper presents Rehearsal, a verification tool for Puppet configurations. Rehearsal implements a sound, complete, and scalable determinacy analysis for Puppet. To develop it, we (1) present a formal semantics for Puppet, (2) use several analyses to shrink our models to a tractable size, and (3) frame determinism-checking as decidable formulas for an SMT solver. Rehearsal then leverages the determinacy analysis to check other important properties, such as idempotency. Finally, we apply Rehearsal to several real-world Puppet configurations.Comment: In proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) 201