基于最大不动点模型的描述逻辑系统FLε的有穷基

研究了描述逻辑的有穷基问题,分析了有穷基在描述逻辑中的重要意义及其研究现状,并研究了形式概念分析中的属性蕴含和Duguenne-Guigues基问题.利用形式概念分析中Duguenne-Guigues基存在的证明结果,在F.Baader工作基础上设置了描述逻辑的描述背景,重新定义了描述背景下的属性蕴含,证明了带循环术语的描述逻辑系统FLε存在最大不动点语义(greatest fixed-points,gfp)模型,给出了带循环术语的描述逻辑系统FLε在最大不动点模型下的有穷基的存在性定理,并证明有穷基的可靠性和完备性.描述逻辑有穷基可以帮助知识工程师构建一个更适用于推理的描述逻辑知识库.

Detection and Characterization of Long-Pulse Low-Velocity Impact Damage in Plastic Bonded Explosives

Damage not only degrades the mechanical properties of explosives, but also influences the shock sensitivity, combustion and even detonation behavior of explosives. The study of impact damage is crucial in the vulnerability evaluation of explosives. A long-pulse low-velocity gas gun with a gas buffer was developed and used to induce impact damage in a hot pressed plastic bonded explosive. Various methods were used to detect and characterize the impact damage of the explosive. The microstructure was examined by use of polarized light microscopy. Fractal analysis of the micrographs was conducted by use of box counting method. The correlation between the fractal dimensions and microstructures was analyzed. Ultrasonic testing was conducted using a pulse through-transmission method to obtain the ultrasonic velocity and ultrasonic attenuation. Spectra analyses were carried out for recorded ultrasonic signals using fast Fourier transform. The correlations between the impact damage and ultrasonic parameters including ultrasonic velocities and attenuation coefficients were also analyzed. To quantitatively assess the impact induced explosive crystal fractures, particle size distribution analyses of explosive crystals were conducted by using a thorough etching technique, in which the explosives samples were soaked in a solution for enough time that the binder was totally removed. Impact induces a large extent of explosive crystal fractures and a large number of microcracks. The ultrasonic velocity decreases and attenuation coefficients increase with the presence of impact damage. Both ultrasonic parameters and fractal dimension can be used to quantitatively assess the impact damage of plastic bonded explosives.

Optical fringe multiplication technique with TEM nano-moiré method

In this paper, a nano-moiré fringe multiplication method is proposed, which can be used to measure nano-deformation of single crystal materials. The lattice structure of Si (111) is recorded on a film at a given magnification under a transmission microscope, which acts as a specimen grating. A parallel grating (binary type) on glass or film is selected as a reference grating. A multiplied nano-moiré fringe pattern can be reproduced in a 4f optical filter system with the specimen grating and the prepared reference grating. The successful results illustrate that this method can be used to measure deformation in nanometre scale. The method is especially useful in the measurement of the inhomogeneous displacement field, and can be utilized to characterize nano-mechanical behaviour of materials such as dislocation and atomic bond failure.

Microstructure, deformation and failure of polymer bonded explosives

Polymer bonded explosives (PBXs) are highly particle filled composite materials comprised of explosive crystals and a polymeric binder (ca. 5-10% by weight). The microstructure and mechanical properties of two pressed PBXs with different binder systems were studied in this paper. The initial microstructure of the pressed PBXs and its evolution under different mechanical aggressions were studied, including quasi-static tension and compression, ultrasonic wave stressing and long-pulse low-velocity impact. Real-time microscopic observation of the PBXs under tension was conducted by using a scanning electron microscope equipped with a loading stage. The mechanical properties under tensile creep, quasi-static tension and compression were studied. The Brazilian test, or diametrical compression, was used to study the tensile properties. The influences of pressing pressures and temperatures, and strain rates on the mechanical properties of PBXs were analyzed. The mesoscale damage modes in initial pressed samples and the samples insulted by different mechanical aggressions, and the corresponding failure mechanisms of the PBXs under different loading conditions were analyzed.

An experimental-study of the bending behavior of call hybrid composites

The bending behavior and damage characteristics of CALL (Carbon fiber/epoxy/AL Laminate) hybrid composites have been studied by moire interferometry. The shear strain distribution along the cross-section and the forms of damage of bending beams are obtained. The results show that the magnitude of the shear strain in a carbon/epoxy layer is obviously larger than that in a corresponding aluminum layer and the shear strain distribution of a CFRP layer along the cross-section conforms basically to a parabolic distribution curve, as for the shear strain distribution in aluminum layers along the cross-section. Shear damage, either in the interfaces or in carbon-fiber/epoxy laminae, and tensile failure of CFRP laminae in the tension surface represent, respectively, the damage forms of the longitudinal and transverse bending specimen.

Ablation of hydrogen isotopic spherical pellet due to the impact of energetic ions of the respective isotopes

The ablation rate of a hydrogen isotopic spherical pellet G(is) due to the impact of energetic ions of the respective isotopes and its scaling law are obtained using the transsonic neutral-shielding model, where subscript s might refer to either hydrogen or deuterium. Numerical results show that if E0s/E0e2 greater-than-or-equal-to 1.5, G(is)/G(es) greater-than-or-equal-to 20%, where E0s and E0e are the energy of undisturbed ion and electron, respectively, and G(es) is the ablation rate of a pellet due to the impact of electrons. Hence, under the NBI heating, the effect of the impact of energetic ions on the pellet ablation should be taken into consideration. This result also gives an explanation of the observed enhancement of pellet ablation during NBIH.

Alignment of nanoparticles formed on the surface of 6H-SiC crystals irradiated by two collinear femtosecond laser beams

Nanoripples with periods of 150 and 80 nm are formed on the surface of 6H-SiC crystals irradiated by the p-polarized 800 nm and the s-polarized 400 nm femtosecond lasers, respectively. When both of the two collinear laser beams focus simultaneously on the sample surface, nanoparticles are formed on the whole ablation area, and they array in parallel lines. We propose and confirm that the second harmonics in the sample surface excited by the incident lasers plays an important role in the formation of nanostructures.

Optical breakdown of 6H SiC induced by wavelength-tunable femtosecond laser pulses

The damage mechanisms and micromachining of 6H SiC are studied by using femtosecond laser pulses at wavelengths between near infrared (NIR) and near ultraviolet (NUV) delivered from an optical parametric amplifier (OPA). Our experimental results indicate that high quality microstructures can be fabricated in SiC crystals. On the basis of the dependence of the ablated area and the laser pulse energy, the threshold fluence of SiC is found to increase with the incident laser wavelength in the visible region, while it remains almost constant for the NIR laser. For the NIR laser pulses, both photoionization and impact ionization play important roles in electronic excitation, while for visible lasers, photoionization plays a more important role.

Formation of nanogratings on the surface of a ZnSe crystal irradiated by femtosecond laser pulses

Two collinear femtosecond laser pulses, one at wavelength of 800 nm and the other at 400 nm (double frequency), simultaneously irradiated the surface of ZnSe crystal, which resulted in regular nanograting with period of 180 nm on the whole ablation area. We attribute the formation of the nanograting to be due to the interference between the surface scattered wave of 800 nm lasers and the 400 nm light. The period of the nanograting Lambda is about lambda/2n, where n is refractive index of the sample, and lambda, the laser wavelength. This mechanism is supported by observation of rotation of the nanograting with the polarization of 400 nm light, and by the dependence of Lambda similar to lambda of the nanoripples on the surface of semiconductors and dielectrics.

Ultraviolet-infrared femtosecond laser-induced damage in fused silica and CaF2 crystals

The damage in fused silica and CaF2 crystals induced by wavelength tunable femtosecond lasers is studied. The threshold fluence is observed to increase rapidly with laser wavelength lambda in the region of 250-800 nm, while it is nearly a constant for 800 flectivity increases rapidly in the latter half of pump pulse, which supports that impact ionization plays an important role in the generation of conduction band electrons (CBEs). We study the CBEs absorption via subconduction-band (sub-CB) transition, and develop a coupled avalanche model. Our results indicate that the CBEs absorption via sub-CB transition plays an important role in the damage in dielectrics irradiated by the visible and near ultraviolet femtosecond lasers. Our theory explains well the experiments.

ZnSe nanowires grown on the crystal surface by femtosecond laser ablation in air

Uniform ZnSe nanowires are observed on the ablation crater on ZnSe crystal surface irradiated by femtosecond lasers in air, while other parts of the sample surface are not polluted. The nanowire growth rate is about 5 mu m/s, it is higher than that fabricated by chemical vapor deposition method by a factor of 10(4). The nanowire length and diameter can be controlled by varying laser pulse energy and pulse number. The formation mechanism is studied and found to be self-catalyzed vapor-liquid-solid process. (c) 2006 American Institute of Physics.

Optical properties of ZnO thin film on gamma-LiAlO2 substrate grown by pulsed laser deposition

Optical properties were investigated of ZnO thin films grown oil (100) gamma-LiAlO2 (LAO) substrates by pulsed laser deposition method. C-axis oriented ZnO film was grown oil (100) LAO substrate at the substrate temperature of 550 degrees C. The transmittances of the films were over 85%. Peaks attributed to excitons were seen in the absorption spectra, indicating that the thin films have high crystallinity. Photoluminescence spectra were observed at room temperature; the peak at 550 urn is ascribed to oxygen vacancies in the ZnO films caused by the diffusion of Li from the substrate into the film during deposition. (c) 2005 Elsevier B.V. All rights reserved.

Color centers and charge state change in Ce : YAG crystals grown by temperature gradient techniques

Color centers and impurity defects of Ce:YAG crystals grown in reduction atmosphere by temperature gradient techniques have been investigated by means of gamma irradiation and thermal treatments. Four absorption bands associated with color centers or impurity defects at 235, 255, 294 and 370 nm were observed in as-grown crystals. Changes in optical intensity of the 235 and 370 nm bands after gamma irradiation indicate that they are associated with F+-type color center. Charge state change processes of Fe3+ impurity and Ce3+ ions take place in the irradiation process. The variations of Ce3+ ions concentration clearly indicate that Ce4+ ions exist in Ce:YAG crystals and gamma irradiations could increase the concentration of Ce3+ ions. Annealing treatments and the changes in optical density suggest that a heterovalent impurity ion associated with the 294 nm band seems to be present in the crystals. (c) 2005 Elsevier B.V. All rights reserved.