Statistical channel models are presented for a frequency selective vehicle-to-vehicle or mobile-to-mobile wireless communications link in an expressway environment in Atlanta, Georgia, where both vehicles travel in the same direction. The models were developed from measurements taken using the direct sequence spread spectrum (DSSS) technique at 2.45 GHz. The models imply a non-separable channel...

The purpose of this research is to objectively evaluate the differences among the feasible assembly sequences. For this purpose, a computer-aided Assembly Sequence Planning and Evaluation system (ASPEN) was developed. ASPEN automatically searches all geometrically feasible sequences by decomposing solid models of a product. ASPEN also chooses an optimum sequence with the least operating time. M...

We studied heart rate variability in rats by power scaling spectral analysis (PSSA), autoregressive modeling (AR), and detrended fluctuation analysis (DFA), assessed stability by coefficient of variation between consecutive 6-h epochs, and then compared cross-correlation among techniques. These same parameters were checked from baseline conditions through acute and chronic disease states (strep...

Demand-driven data-flow analysis (DD-DFA) has been pioneered in the field of interprocedural analysis of sequential programs to accommodate the specific needs of analysis tools like debuggers and slicers, but also to compensate for the continuous growth of programs and program complexity making static program analyses more and more intricate and time consuming. Particularly successful in practi...

The correlations within the time series of the seismic electric signal (SES) activities have been studied in a previous paper [P. Varotsos, N. Sarlis, and E. Skordas, Phys. Rev. E 66, 011902 (2002)]. Here, we analyze the time series of successive high- and low-level states' durations. The existence of correlation between the states is investigated by means of Hurst and detrended fluctuation ana...

Obtaining a minimal automaton is a fundamental issue in the theory and practical implementation of deterministic finite automatons (DFAs). A minimization algorithm is presented in this paper that consists of two main phases. In the first phase, the backward depth information is built, and the state set of the DFA is partitioned into many blocks. In the second phase, the state set is refined usi...

This study examines the cost and profit efficiency of banking sectors in twelve transition economies of Central and Eastern Europe (CEE) over the period 1993-2000, using the stochastic frontier approach (SFA) and the distribution free approach (DFA). The managerial inefficiencies in CEE banking markets were found to be significant, with average cost efficiency level for 12 countries of 72 and 7...

A new and distinctive species of lacertid genus Acanthodactylus Fitzinger, 1834 is described from 7 km east of Khamir Port, Hormozgan Province, southern Iran at an elevation of 30-40m above sea level (asl). Analyses of morphological characters and the comparison with other formerly known species of this genus have proven the status of this taxon as a new, distinct species. Combinations of scala...

Historically, Design For Assembly (DFA) has always been a reactive tool, most often carried out on products in production and, at best, late on in the product introduction process. Thus, a more proactive approach is required. This paper proposes the use of an assembly sequence model as the focus of such a computer-based DFA tool, which would support the development of CAD models and infer or ex...

Induction is a proof principle that is often used to establish a statement of the form “for all natural numbers i, some property P (i) holds”, i.e., ∀i ∈ N. P (i). In this class, there will be many occassions where we will need to prove that some property holds for all strings, especially when proving the correctness of a DFA design, i.e., ∀w ∈ Σ∗. S(w). We will often prove such statements “by ...