Ž . Ž . Application of ‘high voltage’ HV pulses transdermal voltage U )50 V to preparations of human skin have been previously skin Ž . hypothesized to cause electroporation of multilamellar lipid barriers within the stratum corneum SC . Such pulses cause large increases Ž . in molecular transport and decrease in the skin’s electrical resistance. Here we describe the local transport regions LTR...

This paper aims to develop a combination of Taguchi and fuzzy TOPSIS methods to solve multi-response parameter optimization problems in green manufacturing. Electrical Discharge Machining (EDM), a commonly used non-traditional manufacturing process was considered in this study. A decision making model for the selection of process parameters in order to achieve green EDM was developed. An experi...

X-ray pulse duration control is critical to exploring the ultra-fast science at an x-ray freeelectron laser (FEL) facility such as the Linac Coherent Light Source (LCLS). The pulse length of a typical electron bunch that drives a self-amplified spontaneous emission (SASE) FEL is limited to the order of 100~200 fs, due to short-bunch collective interactions. Many novel schemes have been proposed...

A reactive system does not terminate and its behaviors are typically defined as a set of infinite sequences of states. In formal verification, a requirement is usually expressed in a logic, and when the models of the logic are also defined as infinite sequences, such as the case for LTL, the satisfaction relation is simply defined by the containment between the set of system behaviors and that ...

Formal veriication of safety and timing properties of engineering systems is only meaningful if based on models which are systematically derived. In this paper we report on our experience using switched bond graphs for the modelling of hardware components in hybrid systems. We present the basic ideas underlying bond graphs in general and switched bond graphs in particular. Switched bond graphs ...

Laser-induced eye injuries have been reported more and more often in the past years, yet the laser is not a modern invention. Based on stimulated emission, the wavelength, energy dose and pulse duration of the laser are the determining factors for its possible hazard potential. The eye, which is the most vulnerable body part for laser radiation, can be affected. As medical treatment is discusse...

Linear duration invariants (LDI) are important safety properties of real-time systems. They can be easily formulated in terms of a class of chop-free formulas in the Duration Calculus (DC). Compared to other temporal logics, the specification in DC is simpler, neater and more importantly easier to understand. However, directly model checking them is more difficult than model checking properties...

Ultra-short laser pulses with femtosecond to attosecond pulse duration are the shortest systematic events humans can create. Characterization (amplitude and phase) of these pulses is a key ingredient in ultrafast science, e.g., exploring chemical reactions and electronic phase transitions. Here, we propose and demonstrate, numerically and experimentally, the first deep neural network technique ...

The ultrafast radiation damage begins with photoionization, followed by impact ionization by photoand Auger electrons. The ionization of atoms develops with time, ultimately causing lattice disorder and Coulomb explosion of the crystal. Due to very short pulse duration, it has been proposed that diffraction can be recorded before significant structural changes occur. This has been termed “diffr...

We studied the ionization probability of Na atoms in an intense Ti–sapphire laser at 800 nm versus the laser pulse duration. The ionization probabilities for the Na(3s) and Na(3p) states were found to vary non-monotonically with the pulse duration at a constant peak laser intensity. The abnormal (non-monotonic) pulse duration dependence was traced to the competition between resonant and non-res...