Learning Monotone Log-Term DNF Formulas under the Uniform Distribution

Based on the uniform distribution PAC learning model, the learnability for the class of monotone disjunctive normal form formulas with at most O (log n ) terms, denoted O (log n )-term MDNF, is investigated. Using the technique of restriction, an algorithm that learns O (log n )-term MDNF by examples in polynomial time is given. Received February 2, 1998, and in revised form April 8, 1999, and in final form June 30, 1999.     

Switching in polystyrene and polymethyl methacrylate thin films: effect of preparation conditions of the polymers

Switching without any break in the electrodes was observed in polystyrene and polymethyl methacrylate films by controlling the current using a high resistance connected in series with the sample. The effect of the method of polymerization on the switching characteristics were studies for both polymers. Polymers were prepared by -ray irradiation or by catalytic or noncatalytic thermal polymerization. The switching characteristics gave poor reproducibility for the catalytically polymerized polystyrene, but no difference was observed for the three types of polymethyl methacrylate from different origins. In the case of polystyrene, the lower the molecule weight, the higher was the threshold voltage. With polymethyl methacrylate such a dependence was not observed. In both polymers the on-state is relatively stable. When the samples in the on-state were heated above 100° C, they were converted to the offstate. No dots or breaks on the sample were detected by scanning electron microscopy (SEM) after switching has occurred.     

Fatigue behaviour of precipitation-hardening medium C steels containing Cu

The presence of Cu precipitates counteracts the cyclic softening present in ordinary quenched and tempered steels. This is expected to result in an increase in fatigue limit. The fatigue crack propagation rate (dc/dN) at constant K in the Cu-C steels was shown to depend on heat-treatment and carbon content. To maximize yield strength and minimize ¦da/dN¦_K for tempering at 500° C, one must choose a low C content and temper for a short time; ¦da/dN¦_K in 0.28 wt % C-1.45 wt % Cu tempered for 13 min was one-third that for 0.45 wt % C-1.45 wt% Cu tempered for 200 min. There is also an advantage in adding Cu while simultaneously lowering the Ccontent. The dc/dN data are discussed in terms of the yield strength and the energy to form a unit area of fatigue crack, U, which was measured using foil strain gauges. The quantity (¦dc/dN ¦_{K y} ² U) where _y is the cyclic yield stress, was found to be nearly constant. In the 0.28 wt % C-1.45wt % Cu alloy, short ageing times at 500° C resulted in greater resistance to initiation of cracks at notches for low Ks than long ageing times.     

Development of revolving drop surface tensiometer

A revolving drop surface tensiometer, which measures the surface tension of a small amount of liquid, is proposed. A remarkable feature of this device is that while using the pendant drop method, it employs a centrifugal force to deform the liquid droplet. The centrifugal force induces a large distortion of the droplet, which enables an accurate measurement of the surface tension to be made. In our experimental setup, the centrifugal force can be increased so that the apparent acceleration becomes up to 100 times larger than that due to gravity, and the capability of this method to measure surface tensions was demonstrated with ethylene glycol.     

Efficient blind dereverberation and echo cancellation based on independent component analysis for actual acoustic signals

This letter presents a new algorithm for blind dereverberation and echo cancellation based on independent component analysis (ICA) for actual acoustic signals. We focus on frequency domain ICA (FD-ICA) because its computational cost and speed of learning convergence are sufficiently reasonable for practical applications such as hands-free speech recognition. In applying conventional FD-ICA as a preprocessing of automatic speech recognition in noisy environments, one of the most critical problems is how to cope with reverberations. To extract a clean signal from the reverberant observation, we model the separation process in the short-time Fourier transform domain and apply the multiple input/output inverse-filtering theorem (MINT) to the FD-ICA separation model. A naive implementation of this method is computationally expensive, because its time complexity is the second order of reverberation time. Therefore, the main issue in dereverberation is to reduce the high computational cost of ICA. In this letter, we reduce the computational complexity to the linear order of the reverberation time by using two techniques: (1) a separation model based on the independence of delayed observed signals with MINT and (2) spatial sphering for preprocessing. Experiments show that the computational cost grows in proportion to the linear order of the reverberation time and that our method improves the word correctness of automatic speech recognition by 10 to 20 points in a RT??= 670 ms reverberant environment.     

Development of specimen and test method for strength analysis of MEMS micromirror

Specimens and fracture test methods for strength analysis of MEMS micromirrors were proposed. Bending and combined loading tests were performed, and torsion strength was estimated from those results. Two-parameter Weibull distribution was used to evaluate the fracture stresses estimated from the FEM model. The resulting scale and shape parameters were 787 MPa and 7.77 for the bending test and 517 MPa and 5.28 for the combined loading test. There was a difference in strength between the results of the bending and combined loading tests. From the load factor analysis, it was found that both geometry and stress distribution have to be considered to estimate the strength of MEMS since flaws are non-uniformly distributed. It was also found that torsional strength can be estimated on the safe side using the results of the combined loading test.     

Plan for first phase of safety demonstration tests of the High Temperature Engineering Test Reactor (HTTR)

Safety demonstration tests using the High Temperature Engineering Test Reactor (HTTR) will be conducted for the purpose of demonstrating inherent safety features of High Temperature Gas-cooled Reactors (HTGRs) as well as providing the core and plant transient data for validation of HTGR safety analysis codes. The first phase safety demonstration test items include the reactivity insertion test and the coolant flow reduction test. In the reactivity insertion test, which is the control rod withdrawal test, one pair out of 16 pairs of control rods is withdrawn, simulating a reactivity insertion event. The coolant flow reduction test consists of the partial loss of coolant flow test and the gas circulators trip test. In the partial loss of coolant flow test, primary coolant flow rate is slightly reduced by control system. In the gas circulators trip test one and two out of three gas circulators are run down, simulating coolant flow reduction events. The gas circulators trip tests, in which position of control rods are kept unchanged, are simulation tests of anticipated transients without scram (ATWS).     

A fast and compact elimination method of empty elements from a double‐array structure

A double‐array is a well‐known data structure to implement the trie. However, the space efficiency of the double‐array degrades with the number of key deletions because the double‐array keeps empty elements produced by the key deletion. This paper presents a fast and compact elimination method of empty elements using properties of the trie nodes that have no siblings. The present elimination method is implemented by C language. From simulation results for large sets of keys, the present elimination method is about 30–330 times faster than the conventional elimination method and maintains high space efficiency. Copyright © 2003 John Wiley & Sons, Ltd.     

Electronic conduction and breakdown in liquid helium and liquid neon

New data of the electronic properties of liquid helium and liquid neon are discussed with respect to their relevance for the initiation of electric breakdown. It is concluded that under ideal conditions the cathode plays a decisive role in the initiation of the breakdown process. It is speculated that a Townsend type breakdown mechanism is absent in the liquid phase of these elements.