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.     

A Linear Algorithm for Computing the Homography from Conics in Correspondence

This paper presents a study, based on conic correspondences, on the relationship between two perspective images acquired by an uncalibrated camera. We show that for a pair of corresponding conics, the parameters representing the conics satisfy a linear constraint. To be more specific, the parameters that represent a conic in one image are transformed by a five-dimensional projective transformation to the parameters that represent the corresponding conic in another image. We also show that this transformation is expressed as the symmetric component of the tensor product of the transformation based on point/line correspondences and itself. In addition, we present a linear algorithm for uniquely determining the corresponding point-based transformation from a given conic-based transformation up to a scale factor. Accordingly, conic correspondences enable us to easily handle both points and lines in uncalibrated images of a planar object.     

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.     

MOSAIC for multiple-reward environments

Reinforcement learning (RL) can provide a basic framework for autonomous robots to learn to control and maximize future cumulative rewards in complex environments. To achieve high performance, RL controllers must consider the complex external dynamics for movements and task (reward function) and optimize control commands. For example, a robot playing tennis and squash needs to cope with the different dynamics of a tennis or squash racket and such dynamic environmental factors as the wind. In addition, this robot has to tailor its tactics simultaneously under the rules of either game. This double complexity of the external dynamics and reward function sometimes becomes more complex when both the multiple dynamics and multiple reward functions switch implicitly, as in the situation of a real (multi-agent) game of tennis where one player cannot observe the intention of her opponents or her partner. The robot must consider its opponent's and its partner's unobservable behavioral goals (reward function). In this article, we address how an RL agent should be designed to handle such double complexity of dynamics and reward. We have previously proposed modular selection and identification for control (MOSAIC) to cope with nonstationary dynamics where appropriate controllers are selected and learned among many candidates based on the error of its paired dynamics predictor: the forward model. Here we extend this framework for RL and propose MOSAIC-MR architecture. It resembles MOSAIC in spirit and selects and learns an appropriate RL controller based on the RL controller's TD error using the errors of the dynamics (the forward model) and the reward predictors. Furthermore, unlike other MOSAIC variants for RL, RL controllers are not a priori paired with the fixed predictors of dynamics and rewards. The simulation results demonstrate that MOSAIC-MR outperforms other counterparts because of this flexible association ability among RL controllers, forward models, and reward predictors.     

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.     

一种用于推挽式电压型逆变器的低损耗无源吸收电路

提出并实现了一种推挽式PWM电压型逆变器用无源吸收电路;设有独立的放电回路让缓冲电容器上的能量部分地回馈到直流电源中,高频放电能量不会叠加在输出电压上;缓冲电容器的电压被钳位,使得推挽电路特有的倍压不会在吸收电路上造成额外的损耗。给出吸收电路参数的设计准则和计算实例,在200VDC和30kW级的中压中功率逆变装置中发挥了推挽拓扑的优点。理论分析和实验验证了所提方法的有效性。     

金属注射成形冷作工具钢的超声疲劳性能

用超声疲劳试验研究了金属注射成形(MIM)冷作工具钢和锻轧钢(JIS SKD11)的高周疲劳性能。锻轧钢试样于423K回火1h。另一方面，为了评估回火温度对疲劳性能的影响，将MIM钢试样于不同温度下进行了回火。在N=103～108疲劳寿命范围内进行了超声疲劳试验。MIM钢试样的疲劳强度和锻轧钢试样相同。MIM钢试样的疲劳强度随着回火温度升高而减低。显微组织的观察结果表明，MIM钢试样的碳化物的直径与形状比锻轧钢试样的均一。     

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.