The two main hindrances for a wider application of the model checking approach for verification of concurrent and distributed systems are the state explosion problem and its limitation in handling infinite state systems. We consider a class of infinite state systems given by certain types of Transition Diagrams (TDs), called simple TDs, that employ commutative functions for updating variables. ...

We propose a joint discrete stochastic optimization based transmit diversity selection (TDS) and relay selection (RS) algorithm for decode-and-forward (DF), cooperative MIMO systems with a non-negligible direct path. TDS and RS are performed jointly with continuous least squares channel estimation (CE), linear minimum mean square error (MMSE) receivers are used at all nodes and no inter-relay c...

Terahertz (THz) time-domain spectroscopy (TDS) imaging is considered a nondestructive evaluation method for composite materials used for examining various defects of carbon fiber reinforced polymer (CFRP) composites and fire-retardant coatings in the reflective imaging modality. We demonstrate that hidden defects simulated by Teflon artificial inserts are imaged clearly in the perpendicular pol...

This letter describes the use of THz time-domain spectroscopy (TDS) applied in transmission to the secondary explosive 1,3,5 trinitro-s-triazine. Samples were also subjected to Fourier transform infrared spectroscopy over the same range for comparison. A detailed spectroscopy study is presented. General agreement between results from both methods confirms the absorption features found. A compar...

Materials and methods: Performance and nutrient digestibility were determined for pigs consuming either water treated by reverse osmosis (RO; 219 mg total dissolved solutes (TDS) per L, 29 mg sulfates per L) or untreated ground water (3078 mg TDS per L, 1650 mg sulfates per L). In each of two experiments, approximately 240 pigs (20 ± 3 days of age, 5.9 ± 1.0 kg) received either RO-treated or un...

In this paper, a novel pseudo-random noise complementary pair (PNCP) is proposed and adopted as the guard intervals in the time-domain synchronous OFDM (TDSOFDM) system. The proposed PNCP has nearly ideal aperiodic auto-correlation property and inherits the differential property of the PN sequence. Simulations demonstrate the proposed TDSOFDM system padded with PNCP could achieve better perform...

The vibrational modes of the explosive related solids 2,4- and 2,6-DNT have been measured with waveguide THz time-domain spectroscopy (THz-TDS) to unprecedented precision. Dramatic sharpening of spectral features upon cooling beyond 80 K to 12 K is observed, illustrating the high quality and alignment of the polycrystalline thin films. Many of the observed features have linewidths below 15 GHz....

Flow characteristics of water were tested in a rectangular microchannel for Reynolds number (Re) between 0 and 446 by terahertz time domain spectroscopy (THz-TDS). Output THz peak trough intensities and the calculated absorbances of the flow were analyzed theoretically. The results show a rapid change for Re < 250 and a slow change as Re increases, which is caused by the early transition from l...

0026-2714/$ see front matter 2012 Elsevier Ltd. A http://dx.doi.org/10.1016/j.microrel.2012.06.046 ⇑ Corresponding author. Tel.: +1 408 674 2779; fax E-mail address: [email protected] (T. N The EBIC mode of SEM was used to image individual dislocations and measure the effect of local stress on EBIC contrast of threading dislocations (TDs) in GaN LEDs. In this method, EBIC shows that l...