Negation-Limited Complexity of Parity and Inverters

In negation-limited complexity, one considers circuits with a limited number of NOT gates, being motivated by the gap in our understanding of monotone versus general circuit complexity, and hoping to better understand the power of NOT gates. We give improved lower bounds for the size (the number of AND/OR/NOT) of negation-limited circuits computing Parity and for the size of negation-limited inverters. An inverter is a circuit with inputs x ₁,…,x _n and outputs ¬ x ₁,…,¬ x _n . We show that: (a) for n=2 ^r ?1, circuits computing Parity with r?1 NOT gates have size at least 6n?log?₂(n+1)?O(1), and (b) for n=2 ^r ?1, inverters with r NOT gates have size at least 8n?log?₂(n+1)?O(1). We derive our bounds above by considering the minimum size of a circuit with at most r NOT gates that computes Parity for sorted inputs x ₁≥???≥x _n . For an arbitrary r, we completely determine the minimum size. It is 2n?r?2 for odd n and 2n?r?1 for even n for ?log?₂(n+1)??1≤r≤n/2, and it is ?3n/2??1 for r≥n/2. We also determine the minimum size of an inverter for sorted inputs with at most r NOT gates. It is 4n?3r for ?log?₂(n+1)?≤r≤n. In particular, the negation-limited inverter for sorted inputs due to Fischer, which is a core component in all the known constructions of negation-limited inverters, is shown to have the minimum possible size. Our fairly simple lower bound proofs use gate elimination arguments in a somewhat novel way.     

Limiting negations in non-deterministic circuits

The minimum number of NOT gates in a Boolean circuit computing a Boolean function f is called the inversion complexity of f. In 1958, Markov determined the inversion complexity of every Boolean function and, in particular, proved that log₂(n+1) NOT gates are sufficient to compute any Boolean function on n variables. In this paper, we consider circuits computing non-deterministically and determine the inversion complexity of every Boolean function. In particular, we prove that one NOT gate is sufficient to compute any Boolean function in non-deterministic circuits if we can use an arbitrary number of guess inputs.     

Multiagent reinforcement learning applied to a chase problem in a continuous world

Reinforcement learning (RL) is one of the methods of solving problems defined in multiagent systems. In the real world, the state is continuous, and agents take continuous actions. Since conventional RL schemes are often defined to deal with discrete worlds, there are difficulties such as the representation of an RL evaluation function. In this article, we intend to extend an RL algorithm so that it is applicable to continuous world problems. This extension is done by a combination of an RL algorithm and a function approximator. We employ Q-learning as the RL algorithm, and a neural network model called the normalized Gaussian network as the function approximator. The extended RL method is applied to a chase problem in a continuous world. The experimental result shows that our RL scheme was successful. This work was presented in part at the Fifth International Symposium on Artificial Life and Robotics, Oita, Japan, January 26–28, 2000     

Technique for anisotropic extension of organic crystals: application to temperature dependence of electrical resistance

We have developed a technique for the anisotropic extension of fragile molecular crystals. The pressure medium and the instrument, which extends the pressure medium, are both made from epoxy resin. Since the thermal contraction of our instrument is identical to that of the pressure medium, the strain applied to the pressure medium has no temperature dependence down to 2 K. Therefore, the degree of extension applied to the single crystal at low temperatures is uniquely determined from the degree of extension in the pressure medium and thermal contractions of the epoxy resin and the single crystal at ambient pressure. Using this novel instrument, we have measured the temperature dependence of the electrical resistance of metallic, superconducting, and insulating materials. The experimental results are discussed from the viewpoint of the extension (compression) of the lattice constants along the parallel (perpendicular) direction.     

Formation of Zirconia Solid Solutions Containing Alumina Prepared by New Preparation Method

In the system ZrO₂–Al₂O₃, a new method for preparing ZrO₂ solid solutions from ZrCl₄ and AlCl₃ using hydrazine monohydrate is investigated. c -ZrO₂ solid solutions containing up to ∼40 mol% Al₂O₃ crystallize at low temperatures from amorphous materials. The formation mechanism is discussed from IR spectral data. The values of the lattice parameter α increase linearly from 0.5072 to 0.5105 nm with increasing Al₂O₃ content. At higher temperatures, transformation of the solid solutions proceeds as follows: c ( SS ) → t ( ss ) → t ( ss ) +α-Al₂O₃→ m +α-Al₂O₃. m -ZrO₂–α-Al₂O₃ composite ceramics are fabricated by hot isostatic pressing for 2 h at 1250°C and 196 MPa. Microstructures and mechanical properties are examined, in connection with increasing Al₂O₃ content.     

A 63-mW H.264/MPEG-4 audio/visual codec LSI with module-wise dynamic Voltage/frequency scaling

A single-chip H.264 and MPEG-4 audio-visual LSI for mobile applications including terrestrial digital broadcasting system (ISDB-T / DVB-H) with a module-wise, dynamic voltage/frequency scaling architecture is presented for the first time. This LSI can keep operating even during the voltage/frequency transition, so there is no performance overhead. It is realized through a dynamic deskewing system and an on-chip voltage regulator with slew rate control. By the combination with traditional low power techniques such as embedded DRAM and clock gating, it consumes only 63 mW in decoding QVGA H.264 video at 15 frames/sec and MPEG-4 AAC LC audio simultaneously.     

The characteristics of the external‐electrode mercury fluorescent lamp for backlighting liquid‐crystal‐television displays

Abstract— A reliable external‐electrode mercury fluorescent lamp (EEFL) has been developed for backlighting a liquid‐crystal‐television (LC‐TV) display. This involved the investigation of the EEFL characteristics and the improvement in the construction of the EEFL and drive waveforms, in the frequency range of 50–200 kHz, that affects the EEFL characteristics. The results showed that a sinusoidal waveform is suitable for driving the EEFL, and EEFL's voltage decreases when the frequency of the drive waveform is increased.     

Linear bipolar OTAs employing exponential‐law circuits

This paper presents design of linear bipolar OTAs, which are composed of two function blocks; one is an exponential‐law circuit and the other is a core cell. Multi‐tanh cells are employed as the core cell. This kind of OTA has lower power dissipation relatively to the conventional multi‐tanh cell. According as the order of the multi‐tanh core cell becomes higher, the number of circuit realization for the core cell increases. For example, we have two OTAs for the core circuit of an emitter‐coupled pair and four OTAs for the doublet core cell. Thus, we consider the generalized OTAs for an arbitrary order n of the core cell and obtain a formula to give the realization number of the linear OTAs for n. According to the formula, there must be eight OTAs in the case of n=3. All of the eight OTAs are examined. Analysis and simulation results show that the OTAs have advantage in their characteristics, such as linear input range, power dissipation, noise, and frequency response. Copyright 2004 John Wiley & Sons, Ltd.     

Feasibility of a 1,400 m Span Steel Cable-Stayed Bridge

This paper describes the feasibility of 1,400 m steel cable-stayed bridges from both structural and economic viewpoints. Because the weight of a steel girder strongly affects the total cost of the bridge, the writers present a procedure to obtain a minimum weight for a girder that ensures safety against static and dynamic instabilities. For static instability, elastoplastic, finite-displacement analysis under in-plane load and elastic, finite-displacement analysis under displacement-dependent wind load are conducted; for dynamic instability, multimodal flutter analysis is carried out. It is shown that static critical wind velocity of lateral torsional buckling governs the dimension of the girder. Finally, the writers briefly compare a cable-stayed bridge with suspension bridge alternatives.     

Reduction of defects and improvement in the performance of blue phosphor for thick‐dielectric electroluminescent displays using Color‐by‐Blue

Abstract— Defect‐free large‐area inorganic thick‐dielectric EL (TDEL) displays using Color by Blue (CBB) technology have been successfully developed. We have achieved the world's highest blue‐phosphor luminance of 900 cd/m² for a single‐pixel device by using CBB and by optimizing the e‐beam gun configuration and the flow rate of H₂S in the vacuum chamber. By analyzing the defects on panels with triple‐pattern phosphors and CBB panels, we also found that the number of defects on CBB panels can be drastically reduced compared with those on triple‐pattern panels. The defect‐free 17‐in. VGA CBB panels show better characteristics, a high peak luminance of 600 cd/m² and a high contrast ratio of 1000:1, compared with those of triple‐pattern panels.