基于最大不动点模型的描述逻辑系统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.

Dislocations emission and crack extension at the atomistic crack tip in body-centered-cubic metal Mo

The behaviors of a crack in body-centered-cubic metal Mo under different loading modes were studied using the molecular dynamics method. Dislocation emission was observed near the crack tip in response to mode II loading with theta = 0 degrees in which theta is the inclination angle of the slip plane with respect to the crack plane, and two full dislocations were observed at the stress level of K-II = 1.17 MPa m(1/2) without any evidence of crack extension. Within the range of 0 degrees less than or equal to theta less than or equal to 45 degrees, crack extension was observed in response to mode I loading, and the effect of crystal orientation on the crack propagation was studied, The crack propagated along the [111] slip direction without any evidence of dislocations emission.

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.

激光点热源作用下动态微变形的数值模拟与校验

采用MSC．Marc非线性有限元软件，对试件在激光点热源作用下动态微变形过程进行了数值模拟。通过激光反射放大系统测量了试件在激光点热源作用下的动态微变形过程。模拟值与实测值的结果表明：热应力和相变应力的共同作用使得试件产生微变形，最终试件的变形方向取决于热应变和相变共同作用的结果，朝向激光束或背向激光束。比较实验值和模拟值，发现变形的最大值相近，变形过程却略有不同。考虑到激光点热源作用下有限厚度的试件内，温度场分布出现的反常效应，即内部的温度大于边界温度，提出采用波动理论修正经典的热传导计算模型，可望有效地提高模拟过程的计算精度。结论为进一步研究薄板激光弯曲的变形机理及变形过程莫定了基础。

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.