In this study, we investigated the Al–Sn flux system and its growth conditions to obtain AlN single crystals. AlN single crystals of a size of 50 μm were successfully grown using an Al–Sn melt under nitrogen gas pressure. The growable region of the AlN crystals was established using a pressure‐temperature diagram. The required nitrogen gas pressure for the growth of the AlN crystals was found to decrease with increasing temperature, and AlN was grown at 0.1 MPa nitrogen pressure above 1300°C. By investigating the AlN yield with various Al concentrations, we confirmed that the Al component in the Al–Sn melt facilitated nitrogen dissolution. Finally, scanning electron microscopy analysis showed that the obtained AlN particles showed good morphology. 相似文献
Pressure measurements have been made in a hcp solid3He at molar volumes from 18.90 to 19.45 cm3/mol, at temperatures down to 1 mK and in magnetic fields up to 0.16 Tesla. The results are analyzed by a high-temperature series expansion with multiple-exchange processes. The molar volume dependence of the multiple-exchange interactions has been determined by pressure measurements in magnetic fields. The results indicate that the exchange frequencies determined by the pressure measurements in a hcp solid3He are consistent with those obtained by magnetization measurements.相似文献
Useless-variable elimination is a transformation that eliminates variables whose values does not affect the result of a computation. We present a type-based method for useless-variable elimination and prove its correctness. The algorithm is a surprisingly simple extension of the usual type-reconstruction algorithm. Our method has several attractive features. First, it is simple, so that the proof of the correctness is clear and the method can be easily extended to deal with a polymorphic language. Second, it is efficient: for a simply-typed -calculus, it runs in time almost linear in the size of an input expression. Moreover, our transformation is optimal in a certain sense among those that preserve well-typedness, both for the simply-typed language and for an ML-style polymorphically-typed language. 相似文献
This paper considers the problem of computing general commutative and associative aggregate functions (such as Sum) over distributed inputs held by nodes in a distributed system, while tolerating failures. Specifically, there are N nodes in the system, and the topology among them is modeled as a general undirected graph. Whenever a node sends a message, the message is received by all of its neighbors in the graph. Each node has an input, and the goal is for a special root node (e.g., the base station in wireless sensor networks or the gateway node in wireless ad hoc networks) to learn a certain commutative and associate aggregate of all these inputs. All nodes in the system except the root node may experience crash failures, with the total number of edges incidental to failed nodes being upper bounded by f. The timing model is synchronous where protocols proceed in rounds. Within such a context, we focus on the following question:
Under any given constraint on time complexity, what is the lowest communication complexity, in terms of the number of bits sent (i.e., locally broadcast) by each node, needed for computing general commutative and associate aggregate functions?
This work, for the first time, reduces the gap between the upper bound and the lower bound for the above question from polynomial to polylog. To achieve this reduction, we present significant improvements over both the existing upper bounds and the existing lower bounds on the problem.
The electrical conductivities of non-stoichiometric samarium manganites were measured as a function of temperature and the existence of a Z-type jump in the conductivity curve was found near 1300 K, and a heat anomaly was also observed by differential thermal analysis, which should reflect the same phase transition as in LaMnO3. 相似文献
In the design assessment of fast reactor plant components, prevention of crack initiation from defect-free structures is a main concern. However, existence of initial defects such as weld defects cannot be entirely excluded and this potential cracks are to be evaluated to determine if initiated cracks do not lead to component failure instantly. Therefore, evaluation of structural integrity in the presence of crack-like defects is also important to complement the formal design assessment. The authors have been developing a guideline for assessing long-term structural integrity of fast reactor components using detailed inelastic analysis and nonlinear fracture mechanics. This guideline consists of two parts, evaluation of defect-free structures and flaw evaluation. In the latter, creep-fatigue is considered to be one of the most essential driving force for crack propagation at high operating temperature exceeding 500 °C. The uses of J-integral-type parameters (fatigue J-integral range and creep J-integral) are recommended to describe creep-fatigue crack propagation behavior in the guideline. This paper gives an outline of the simplified evaluation method for creep-fatigue crack propagation. 相似文献
Silica glass was implanted with negative 60 keV Cu ions at an ion flux from 5 to 75 μA/cm2 up to a fluence of 1 × 1017 ions/cm2 at initial sample temperatures of 300, 573 and 773 K. Spectra of ion-induced photon emission (IIPE) were collected in situ in the range from 250 to 850 nm. Optical absorption spectra of implanted specimens were ex situ measured in the range from 190 to 2500 nm.
IIPE spectra showed a broad band centered around 560 nm (2.2 eV) that was assigned to Cu+ solutes. The band appeared at the onset of irradiation, increased in intensity up to a fluence of about 5 × 1015 ions/cm2 and then gradually decreased indicating three stage of the ion beam synthesis of nanoclusters: accumulation of implants, nucleation and growth nanoclusters. The IIPE intensity normalized on the ion flux is independent on the ion flux below 20 μA/cm2at higher fluences. The intensity of the band increased with increasing samples temperature, when optical absorption spectra reveal the increase of Cu nanoparticles size. 相似文献