ORBIT: A parallel computing model of Prolog

This paper proposes a parallel processing model of the Prolog language. The model modifies Or-parallelism by introducing the “process bundle” as a candidate for simultaneous execution. The Process bundle is a subset of backtrack points stacked in depth-first execution. The process bundle includes one or more backtrack points, so it provides a longer process life cycle than the Or-parallel process. A process bundle is dispatched when an idle processor requests a job from an executing processor. The executing processor dispatches a message containing the full environment by which the idle processor can execute the process without any communication with other processors.     

Object oriented programming in Concurrent Prolog

It is shown that the basic operations of object-oriented programming languages — creating an, object, sending and receiving messages, modifying an object’s state, and forming class-superclass hierarchies — can be implemented naturally in Concurrent Prolog. In addition, a new object-oriented programming paradigm, called incomplete messages, is presented. This paradigm subsumes stream communication, and greatly simplifies the complexity of programs defining communication networks and protocols for managing shared resources. Several interesting programs are presented, including a multiple-window manager. All programs have been developed and tested using the Concurrent Prolog interpreter described in.¹⁾     

Highly accurate SNR measurement using the covariance of two SEM images with the identical view

Quality of an SEM image is strongly influenced by the extent of noise. As a well-known method in the field of SEM, the covariance is applied to measure the signal-to-noise ratio (SNR). This method has potential ability for highly accurate measurement of the SNR, which is hardly known until now. If the precautions discussed in this article are adopted, that method can demonstrate its real ability. These precautions are strongly related to "proper acquisition of two images with the identical view," "alignment of an aperture diaphragm," "reduction of charging phenomena," "elimination of particular noises," and "accurate focusing," As necessary, characteristics in SEM signal and noise are investigated from a few standpoints. When using the maximum performance of this measurement, SNR of many SEM images obtained in a variety of the SEM operating conditions and specimens can be measured accurately.     

First principles total energy studies of the adsorption of germane on Ge(001)-c(2 × 4)

We perform first principles total energy calculations to study the energetics, and the atomic structure of the adsorption of germane (GeH₄) molecules on the Ge(001)-c(2 × 4) surface. The adsorption of a GeH₄ unit occurs after its dissociation into a germanium trihydride (GeH₃) and a hydrogen atom and a subsequent decomposition into a germanium dihydride (GeH₂) subunit and H atoms. Consequently, we first consider the adsorption of GeH₂ in two different configurations; the on-dimer and the intra-row geometries. Similar to the adsorption of SiH₂ and GeH₂ on Si(001), it is found that the on-dimer site is more stable than the intra-row geometry by 0.13 eV. However, in the adsorption of a GeH₂ fragment together with two H atoms we find that the intra-row geometry is energetically more favorable, again, similar to the adsorption of SiH₂ and GeH₂ (plus two H atoms) on the Si(001) surface.     

Efficient distribution-free population learning of simple concepts

We consider a variant of the ‘population learning model’ proposed by Kearns and Seung [8], in which the learner is required to be ‘distribution-free’ as well as computationally efficient. A population learner receives as input hypotheses from a large population of agents and produces as output its final hypothesis. Each agent is assumed to independently obtain labeled sample for the target concept and output a hypothesis. A polynomial time population learner is said to PAC-learn a concept class, if its hypothesis is probably approximately correct whenever the population size exceeds a certain bound which is polynomial, even if the sample size for each agent is fixed at some constant. We exhibit some general population learning strategies, and some simple concept classes that can be learned by them. These strategies include the ‘supremum hypothesis finder’, the ‘minimum superset finder’ (a special case of the ‘supremum hypothesis finder’), and various voting schemes. When coupled with appropriate agent algorithms, these strategies can learn a variety of simple concept classes, such as the ‘high–low game’, conjunctions, axis-parallel rectangles and others. We give upper bounds on the required population size for each of these cases, and show that these systems can be used to obtain a speed up from the ordinary PAC-learning model [11], with appropriate choices of sample and population sizes. With the population learner restricted to be a voting scheme, what we have is effectively a model of ‘population prediction’, in which the learner is to predict the value of the target concept at an arbitrarily drawn point, as a threshold function of the predictions made by its agents on the same point. We show that the population learning model is strictly more powerful than the population prediction model. Finally, we consider a variant of this model with classification noise, and exhibit a population learner for the class of conjunctions in this model. This revised version was published online in June 2006 with corrections to the Cover Date.     

Leak-tightness characteristics concerning the containment structures of the HTTR

The containment structures of the HTTR consist of the reactor containment vessel, the service area, and the emergency air purification system, which minimise the release of fission products in postulated accidents, which lead to fission product release from the reactor facilities. The reactor containment vessel is designed to withstand the temperature and pressure transients and to be leak-tight in the case of a rupture of the primary concentric hot-gas duct, etc. The pressure inside the service area is maintained at a negative pressure by the emergency air purification system. The emergency air purification system will also remove airborne radioactivity and will maintain a correct pressure in the service area.The leak-tightness characteristics of the containment structures are described in this paper. The measured leakage rates of the reactor containment vessel were enough less than the specified leakage limit of 0.1%/d confirmed during the commissioning tests and annual inspections. The service area was kept in a way that the design pressure becomes well below its allowable limitation by the emergency air purification system, which filters efficiency of particle removal and iodine removal well over the limited values.The obtained data demonstrate that the reactor containment structures were fabricated to minimise the release of fission products in the postulated accidents with fission product release from the reactor facilities.     

Safety design

JAERI established the safety design philosophy of the HTTR based on that of current reactors such as LWR in Japan, considering inherent safety features of the HTTR. The strategy of defense in depth was implemented so that the safety engineering functions such as control of reactivity, removal of residual heat and confinement of fission products shall be well performed to ensure safety. However, unlike the LWR, the inherent design features of the high-temperature gas-cooled reactor (HTGR) enables the HTTR meet stringent regulatory criteria without much dependence on active safety systems. On the other hand, the safety in an accident typical to the HTGR such as the depressurization accident initiated by a primary pipe rupture shall be ensured. The safety design philosophy of the HTTR considers these unique features appropriately and is expected to be the basis for future Japanese HTGRs.This paper describes the safety design philosophy and safety evaluation procedure of the HTTR especially focusing on unique considerations to the HTTR. Also, experiences obtained from an HTTR safety review and R&D needs for establishing the safety philosophy for the future HTGRs are reported.     

Influence of variations in creep curve on creep behavior of a high-temperature structure

It is one of the key issues for a high-temperature structural design guideline to evaluate the influence of variations in creep curve on the creep behavior of a high-temperature structure. In the present paper, a comparative evaluation was made to clarify such influence.The evaluation results showed that, in almost all cases of a creep behavior pattern in which creep strain accumulated during a stress cycle caused significant relaxation of the corresponding deformation-controlled stress in the following cycles, the variations in creep behavior with the creep curve were qualitatively similar to those in fundamental creep properties. On the other hand, in many cases of another creep behavior pattern in which creep strain accumulated during a cycle doesn't cause the significant stress-relaxation in the following cycles, the variations in creep behavior for earlier cycles are different from those in fundamental creep properties. Even in these cases, however, those get qualitatively similar after several cycles when their stress-time histories are stabilized.Additional consideration was given to the influence of the relationship between creep rupture life and minimum creep rate, i.e., the Monkman-Grant's relationship, on the creep damage evaluation.The consideration suggested that the Monkman-Grant's relationship be taken into account in evaluating the creep damage behavior, especially the creep damage variations. However, it was clarified that the application of the creep damage evaluation rule of ASME B.&P.V. Code Case N-47 to the “standard case”which was predicted from the average creep property would predict the creep damage on the safe side.     

Dual-metal gate CMOS technology with ultrathin silicon nitride gatedielectric

We report the first demonstration of a dual-metal gate complementary metal oxide semiconductor (CMOS) technology using titanium (Ti) and molybdenum (Mo) as the gate electrodes for the N-metal oxide semiconductor field effect transistors (N-MOSFETs) and P-metal oxide semiconductor field effect transistors (P-MOSFETs), respectively. The gate dielectric stack consists of a silicon oxy-nitride interfacial layer and a silicon nitride (Si₃N₄) dielectric layer formed by a rapid-thermal chemical vapor deposition (RTCVD) process. C-V characteristics show negligible gate depletion. Carrier mobilities comparable to that predicted by the universal mobility model for silicon dioxide (SiO₂) are observed