125 resultados para Temporal logic
Resumo:
提出了一种新的集成的I2 DEF方法 ,并介绍了与之配套的设计开发工具 ,用以支持大型复杂信息系统的设计与开发 ,它可以成功地解决计算机集成制造系统设计开发过程中遇到的许多问题。本文指出了我国CIMS工程存在的问题 ,分析了这些问题产生的原因 ,并结合企业实际给出了应用I2 DEF方法的解决方案。
Resumo:
对象互操作表达了一组对象在完成某一任务时的动态协作关系,对象互操作的行为描述与抽象是支持面向应用对象互操作的基础.对此,提出一种活动模型作为描述对象互操作行为的方法.该方法以一阶时态逻辑为基础,表达了互操作对象之间交换消息的时态顺序和不同活动之间的行为关系.在该方法中,提出了活动特化和活动聚合两种行为抽象机制,实现了对象互操作行为的复用.最后讨论了给定论域的类模式和活动模式的一致性集成问题。
Resumo:
A 3-D numerical model for pulsed laser transformation hardening (LTH) is developed using the finite element method. In this model, laser spatial and temporal intensity distribution, temperature-dependent thermophysical properties of material, and multi-phase transformations are considered. The influence of laser temporal pulse shape on connectivity of hardened zone, maximum surface temperature of material and hardening depth is numerically investigated at different pulse energy levels. Results indicate that these hardening parameters are strongly dependent on the temporal pulse shape. For the rectangular temporal pulse shape, the temperature field obtained from this model is in excellent agreement with analytical solution, and the predicted hardening depth is favorably compared with experimental one. It should be pointed out that appropriate temporal pulse shape should be selected according to pulse energy level in order to achieve desirable hardening quality under certain laser spatial intensity distribution.
Resumo:
Based on the theory of LURR and its recent development, spatial and temporal variation of Y/Y-c (value of LURR/critical value of LURR) in the Southern California region during the period from 1980 through March, 2001 was studied. According to the previous study on the fault system and stress field in Southern California, we zoned the Southern California region into 11 parts in each of which the stress field is almost uniform. With the time window of one year, time moving step of three months, space window of a circle region with a radius of 100 km and space moving step of 0.25 degree in latitude and longitude direction, the evolution of Y/Y-c were snapshot. The scanning results show that obvious Y/Y-c anomalies occurred before 5/6 of strong earthquakes considered with a magnitude of 6.5 or greater. The critical regions of Y/Y-c are near the epicenters of the strong earthquakes and the Y/Y-c anomalies occur months to years prior to the earthquakes. The tendency of earthquake occurrence in the California region is briefly discussed on the basis of the examination of Y/Y-c.
Resumo:
The Accelerating Moment Release (AMR) preceding earthquakes with magnitude above 5 in Australia that occurred during the last 20 years was analyzed to test the Critical Point Hypothesis. Twelve earthquakes in the catalog were chosen based on a criterion for the number of nearby events. Results show that seven sequences with numerous events recorded leading up to the main earthquake exhibited accelerating moment release. Two occurred near in time and space to other earthquakes preceded by AM R. The remaining three sequences had very few events in the catalog so the lack of AMR detected in the analysis may be related to catalog incompleteness. Spatio-temporal scanning of AMR parameters shows that 80% of the areas in which AMR occurred experienced large events. In areas of similar background seismicity with no large events, 10 out of 12 cases exhibit no AMR, and two others are false alarms where AMR was observed but no large event followed. The relationship between AMR and Load-Unload Response Ratio (LURR) was studied. Both methods predict similar critical region sizes, however, the critical point time using AMR is slightly earlier than the time of the critical point LURR anomaly.
Resumo:
The effect of temporal synchronization between the chirped signal pulse and the pumping pulse in an optical parametric chirped pulse amplification laser system is researched theoretically and experimentally. The results show that the gain of optical parametric amplification is sensitive to the temporal synchronization. Therefore, accurate temporal synchronization between the chirped signal pulse and the pumping pulse is essential to obtain high optical parametric amplification gain and stable output from an optical parametric chirped pulse amplification laser. Based on our 16.7-TW/120-fs optical parametric chirped pulse amplification laser system with similar to1-ns pumping pulse duration and <10-ps time jitter between the signal and pumping pulse, the effect of the temporal synchronization on optical parametric chirped pulse amplification is demonstrated. The experimental results agree with the calculation. (C) 2004 Society of Photo-Optical Instrumentation Engineers.
Resumo:
To resolve the diffraction problems of the pulsed wave field directly in the temporal domain, we extend the Rayleigh diffraction integrals to the temporal domain and then discuss the approximation condition of this diffraction formula. (C) 1997 Optical Society of America.
Resumo:
We report a new pulse cleaning technique to enhance the contrast ratio of intense ultra-short laser pulses. A pulse temporal cleaner based on nonlinear ellipse rotation by using BK7 glass plate is developed, and a contrast ratio improvement of two orders of magnitude for the milli-joule level femtosecond input pulses is demonstrated, the total transmission efficiency of the pulse cleaner is 16.7%.
Resumo:
The imaging technology of stimulated emission depletion (STED) utilizes the nonlinearity relationship between the fluorescence saturation and the excited state stimulated depletion. It implements three-dimensional (3D) imaging and breaks the diffraction barrier of far-field light microscopy by restricting fluorescent molecules at a sub-diffraction spot. In order to improve the resolution which attained by this technology, the computer simulation on temporal behavior of population probabilities of the sample was made in this paper, and the optimized parameters such as intensity, duration and delay time of the STED pulse were given.
Resumo:
A Fourier analysis method is used to accurately determine not only the absolute phase but also the temporal-pulse phase of an isolated few-cycle (chirped) laser pulse. This method is independent of the pulse shape and can fully characterize the light wave even though only a few samples per optical cycle are available. It paves the way for investigating the absolute phase-dependent extreme nonlinear optics, and the evolutions of the absolute phase and the temporal-pulse phase of few-cycle laser pulses.
Resumo:
We demonstrated that a synthesized laser field consisting of an intense long (45 fs, multi-optical-cycle) laser pulse and a weak short (7 fs, few-optical-cycle) laser pulse can control the electron dynamics and high-order harmonic generation in argon, and generate extreme ultraviolet supercontinuum towards the production of a single strong attosecond pulse. The long pulse offers a large amplitude field, and the short pulse creates a temporally narrow enhancement of the laser field and a gate for the highest energy harmonic emission. This scheme paves the way to generate intense isolated attosecond pulses with strong multi-optical-cycle laser pulses.
Resumo:
On the basis of signed-digit negabinary representation, parallel two-step addition and one-step subtraction can be performed for arbitrary-length negabinary operands.; The arithmetic is realized by signed logic operations and optically implemented by spatial encoding and decoding techniques. The proposed algorithm and optical system are simple, reliable, and practicable, and they have the property of parallel processing of two-dimensional data. This leads to an efficient design for the optical arithmetic and logic unit. (C) 1997 Optical Society of America.
Resumo:
A compact two-step modified-signed-digit arithmetic-logic array processor is proposed. When the reference digits are programmed, both addition and subtraction can be performed by the same binary logic operations regardless of the sign of the input digits. The optical implementation and experimental demonstration with an electron-trapping device are shown. Each digit is encoded by a single pixel, and no polarization is included. Any combinational logic can be easily performed without optoelectronic and electro-optic conversions of the intermediate results. The system is compact, general purpose, simple to align, and has a high signal-to-noise ratio. (C) 1999 Optical Society of America.