Powerplexer

An electrical power distribution system is described for use in providing different dc voltage levels. A circuit is supplied with DC voltage levels and commutates pulses for timed intervals onto a pair of distribution wires. The circuit is driven by a command generator which places pulses on the wires in a timed sequence. The pair of wires extend to voltage strippers connected to the various loads. The voltage strippers each respond to the pulse dc levels on the pair of wires and form different output voltages communicated to each load

Kaleidoscopic light feedback for television systems

Technique generates special effects for broadcast television to study effects of light feedback on television systems. Signals are produced for tape recording, broadcasting, or displaying on black-and-white or color monitors. The patterns have from three to eight sides and expand, contract, or rotate at various speeds

On the thermal buffering of naturally ventilated buildings through internal thermal mass

In this paper we examine the role of thermal mass in buffering the interior temperature of a naturally ventilated building from the diurnal fluctuations in the environment. First, we show that the effective thermal mass which is in good thermal contact with the air is limited by the diffusion distance into the thermal mass over one diurnal temperature cycle. We also show that this effective thermal mass may be modelled as an isothermal mass. Temperature fluctuations in the effective thermal mass are attenuated and phase-shifted from those of the interior air, and therefore heat is exchanged with the interior air. The evolution of the interior air temperature is then controlled by the relative magnitudes of (i) the time for the heat exchange between the effective thermal mass and the air; (ii) the time for the natural ventilation to replace the air in the space with air from the environment; and (iii) the period of the diurnal oscillations of the environment. Through analysis and numerical solution of the governing equations, we characterize a number of different limiting cases. If the ventilation rate is very small, then the thermal mass buffers the interior air temperature from fluctuations in the environment, creating a near-isothermal interior. If the ventilation rate increases, so that there are many air changes over the course of a day, but if there is little heat exchange between the thermal mass and interior air, then the interior air temperature locks on to the environment temperature. If there is rapid thermal equilibration of the thermal mass and interior air, and a high ventilation rate, then both the thermal mass and the interior air temperatures lock on to the environment temperature. However, in many buildings, the more usual case is that in which the time for thermal equilibration is comparable to the period of diurnal fluctuations, and in which ventilation rates are moderate. In this case, the fluctuations of the temperature of the thermal mass lag those of the interior air, which in turn lag those of the environment. We consider the implications of these results for the use of thermal mass in naturally ventilated buildings

Abductive reasoning in neural-symbolic learning systems

Abduction is or subsumes a process of inference. It entertains possible hypotheses and it chooses hypotheses for further scrutiny. There is a large literature on various aspects of non-symbolic, subconscious abduction. There is also a very active research community working on the symbolic (logical) characterisation of abduction, which typically treats it as a form of hypothetico-deductive reasoning. In this paper we start to bridge the gap between the symbolic and sub-symbolic approaches to abduction. We are interested in benefiting from developments made by each community. In particular, we are interested in the ability of non-symbolic systems (neural networks) to learn from experience using efficient algorithms and to perform massively parallel computations of alternative abductive explanations. At the same time, we would like to benefit from the rigour and semantic clarity of symbolic logic. We present two approaches to dealing with abduction in neural networks. One of them uses Connectionist Modal Logic and a translation of Horn clauses into modal clauses to come up with a neural network ensemble that computes abductive explanations in a top-down fashion. The other combines neural-symbolic systems and abductive logic programming and proposes a neural architecture which performs a more systematic, bottom-up computation of alternative abductive explanations. Both approaches employ standard neural network architectures which are already known to be highly effective in practical learning applications. Differently from previous work in the area, our aim is to promote the integration of reasoning and learning in a way that the neural network provides the machinery for cognitive computation, inductive learning and hypothetical reasoning, while logic provides the rigour and explanation capability to the systems, facilitating the interaction with the outside world. Although it is left as future work to determine whether the structure of one of the proposed approaches is more amenable to learning than the other, we hope to have contributed to the development of the area by approaching it from the perspective of symbolic and sub-symbolic integration

Effects of the triaxial deformation and pairing correlation on the proton emitter 145Tm

The ground-state properties of the recent reported proton emitter 145Tm have been studied within the axially or triaxially deformed relativistic mean field (RMF) approaches, in which the pairing correlation is taken into account by the BCS-method with a constant pairing gap. It is found that triaxiality and pairing correlations play important roles in reproducing the experimental one proton separation energy. The single-particle level, the proton emission orbit, the deformation parameters beta = 0.22 and gamma = 28.98 and the corresponding spectroscopic factor for 145Tm in the triaxial RMF calculation are given as well.Comment: 17 pages, 7 figures and 1 table. accepted by Physical Review

Electrochemical carbon dioxide concentrator advanced technology tasks

Technology advancement studies are reported on the basic electrochemical CO2 removal process to provide a basis for the design of the next generation cell, module and subsystem hardware. An Advanced Electrochemical Depolarized Concentrator Module (AEDCM) is developed that has the characteristics of low weight, low volume, high CO2, removal, good electrical performance and low process air pressure drop. Component weight and noise reduction for the hardware of a six man capacity CO2 collection subsystem was developed for the air revitalization group of the Space Station Prototype (SSP)

Intrinsic Universality in Self-Assembly

We show that the Tile Assembly Model exhibits a strong notion of universality where the goal is to give a single tile assembly system that simulates the behavior of any other tile assembly system. We give a tile assembly system that is capable of simulating a very wide class of tile systems, including itself. Specifically, we give a tile set that simulates the assembly of any tile assembly system in a class of systems that we call \emph{locally consistent}: each tile binds with exactly the strength needed to stay attached, and that there are no glue mismatches between tiles in any produced assembly. Our construction is reminiscent of the studies of \emph{intrinsic universality} of cellular automata by Ollinger and others, in the sense that our simulation of a tile system $T$ by a tile system $U$ represents each tile in an assembly produced by $T$ by a $c \times c$ block of tiles in $U$, where $c$ is a constant depending on $T$ but not on the size of the assembly $T$ produces (which may in fact be infinite). Also, our construction improves on earlier simulations of tile assembly systems by other tile assembly systems (in particular, those of Soloveichik and Winfree, and of Demaine et al.) in that we simulate the actual process of self-assembly, not just the end result, as in Soloveichik and Winfree's construction, and we do not discriminate against infinite structures. Both previous results simulate only temperature 1 systems, whereas our construction simulates tile assembly systems operating at temperature 2