Message Sequence Chart (MSC) standardized by International Telecommunication Union is a graphical and textual language for specification of concurrent systems. It has been used formally as well as informally to specify behavior of real-time systems, in particular telecommunication switching systems. Formal verification of a system specification is crucial to ensure that implementation of the system works correctly. In particular, verification methods based on finite states have been widely used in telecommunication systems design. The methods determine global system states and transitions between them (i. e. , build a global state transition graph (GSTG)), and verify the system's desired properties, such as safety and liveness, on the GSTG. In this paper, we focus on construction of GSTGs from MSC specifications. We propose action dependency graph as an intuitive description of semantics of MSC specifications and present an algorithm to translate MSC specifications to action dependency graphs as well as an algorithm to construct a global state transition graph from an action dependency graph.

This paper deals with the problem of autoregressive (AR) spectral estimation from a finite set of noisy observations without a priori knowledge of additive noise power. A joint technique is proposed based on the high-order and true-order AR model fitting to the observed noisy process. The first approach utilizes the uncompensated lattice filter algorithm to estimate the parameters of the over-fitted AR model and is one-pass. The latter uses the noise compensated low-order Yule-Walker (LOYW) equations to estimate the true-order AR model parameters and is iterative. The desired AR parameters, equivalently the roots, are extracted from the over-fitted model roots using a root matching technique that utilizes the results obtained from the second approach. This method is highly accurate and is particularly suitable for cases where the system of unknown equations are strongly nonlinear at low SNR and uniqueness of solution from the LOYW equations cannot be guaranteed. In addition, fuzzy logic is adopted for calculating the step size adaptively with the cost function to reduce the computational time of the iterative total search technique. Several numerical examples are presented to evaluate the performance of the proposed scheme in this paper.

A known problem of the four-phase handshaking protocol is that a return-to-zero phase of the signals involved in the handshake is necessary before starting another cycle, in which no useful work is usually done. In this paper we first define an easy-to-write specification style to specify four-phase handshaking asynchronous controllers that can be translated to an STG to obtain a gate-level implementation using existing synthesis methods. Then, we propose an algorithm that takes the specification written using our specification style and finds an optimized timing in which the idle-phase overhead of its gate-level implementation is reduced.

A signal processing approach is discussed which has the potential for imaging strongly scattering objects from a series of scattering experiments. The method is based on a linear spectral estimation technique to replace the filtered backpropagation for limited discrete data and a subsequent nonlinear signal processing step to remove the contribution of multiple scattering my means of homomorphic filtering. Details of this approach are discussed and illustrated by applying the imaging algorithm to both simulated and real data.

In this paper, we define content-identifier (ContentID) to represent the characteristics of shot. The ContentID carries both positional and temporal color information. Based on the concept of ContentID, we propose a video retrieval method. The method is robust to compression, format conversion, frame dropping and noise such as watermark and so on. Furthermore, based on our retrieval method, we implemented a copyright protection system for digital video using spread-spectrum based watermarking technique.

We analyze a scheme that provides frequency hopping pattern for DS/FH spread spectrum. The proposed scheme, based on the theory of finite projective planes, intends to make the number of transmitting terminals uniform across all channels and distribute the interference to all the participant terminals equally. Thus, when a terminal is in a state of power surge, the probability of having the worst case of interference for terminals sharing the same channel is reduced. In the performance evaluation, we demonstrate that the bit error rate is reduced by an order of magnitude through the use of the proposed hopping pattern for both internal and external interference.

In this paper, the authors derived the distributions of the probability of detection and of false alarm in function of the decision threshold. An Optimized Threshold Decision (OTD) algorithm was proposed to decide the optimal threshold for reaching the best system performance in a given known channel noise. By applying this OTD algorithm, the multiple access capacity can thus be maximized.

In this paper, we study macro/micro diversity techniques for code acquisition of a direct-sequence spread-spectrum signal in an indoor packet communication system. In the system discussed, the base station has several radio ports each with a cluster of antennas, and the terminal also has multiple antennas. The performance in the uplink of this system is analyzed under Lognormal shadowing and flat Rayleigh fading. The numerical results show great performance improvements by proposed diversity techniques. In addition, it is clarified that the mean acquisition time, which is often used as the measure of performance, is not suitable for packet radio systems as it underestimates the necessary preamble length for initial code acquisition.

One of the basic GPS features is its inherent anti-jamming (AJ) characteristics based on great processing gain as a result of using direct sequence spread spectrum (DS-SS) technique. For calculated jamming threshold for GPS receivers operating with L1 C/A, L1 P(Y) and L2 P(Y) signals, jamming range has been analyzed with respect to the characteristic jamming signals and under various effective radiated power of jamming signals. The tests of C/A GPS receiver jamming resistance on different jamming strategies, during the tracking and acquisition phase have been performed. The influence of jamming strategy on jamming efficiency has been proved. At the same time AJ characteristics of GPS receiver have been checked.

This paper analyzes a generalized secret-key authentication system from a viewpoint of the information-spectrum methods. In the generalized secret-key authentication system, for each n 1 a legitimate sender transmits a cryptogram Wn to a legitimate receiver sharing a key En in the presence of an opponent who tries to cheat the legitimate receiver. A generalized version of the Simmons' bounds on the success probabilities of the impersonation attack and a certain kind of substitution attack are obtained.

In this paper, the distributions of two spectral intensities along the axis of an arc column of the breaking arc are measured by using a combination of a CCD color camera and an additional filter, and arc temperature and metal-vapor quantity are calculated, when copper electrodes interrupt circuits of dc 50 V/3.3 A and 5.0 A. As results; The spectral intensities of excited copper atoms are the strongest near the cathode and become weaker with distance from the cathode in the small number of breaking arcs. The spectral intensities become strong near the anode in the large number of breaking arcs. The average arc temperature in the cross-section of an arc column is high near both the cathode and the anode, and the temperature distribution in the cross-section of the arc column is high at the axis of the arc column, and the arc temperature along the axis of the arc column is high near both the cathode and the anode. The metal-vapor quantity is low near both the cathode and the anode, and it is much at the center of the arc column.

Speckle statistically brings series connections of dark pixels, which can be observed as dark line features in synthetic aperture radar (SAR) images. The dark lines have no physical meaning. In this paper, line features of that kind in high-resolution SAR images whose intensity obeys a K-distribution are studied. It is stochastically explained that the dark line features in 1-look K-distributed images can be observed more distinctly than those in exponential distributed images. It is further revealed that such line features are detectable enough, even if the K-distributed images are multilooked. The experiments on simulated images as well as on actual SAR images confirm the explanation.

This paper presents an efficient public-key protocol for mutual authentication and key exchange designed for mobile information services in UMTS. Certain modifications to the ASPeCT registration protocol is proposed to introduce Temporary Mobile User Certificate in UMTS environments. Proposed Temporary Mobile User Certificate, digitally-signed by the private signing key of the TTP located in the user's visiting domain, will be issued to the user during the registration protocol. ASPeCT AIP protocol can be modified to reduce communication overhead and speed up verification process using Temporary Mobile User Certificate between the user and the Value-Added Service Provider (VASP) located in the user's visiting domain. Furthermore, Temporary Mobile User Certificate can provide anonymity for a mobile user during the ASPeCT AIP protocol.

This paper presents a new technique for the synthesis of orthogonal-base-set sequences suitable for applications requiring sets of uncorrelated pseudo-white-noise sources. The synthesized sequences (vectors) are orthogonal to each other, and each sequence also has a flat power spectrum and low peak factor. In order to construct the orthogonal-base-set sequences, the new application of ta-sequence (trigonometric function aliasing sequence) introduced in this paper uses Latin-squares and Walsh-Hadamard sequences. The ta-sequence itself is a very new concept, and the method presented here provides the means for generating various orthogonal-base-set sequences at sizes required for such applications as system measurement (needing uncorrelated test signals), pseudo noise synthesis for spread spectrum communication, and audio signal processing (needing synthesis of stereo or multichannel signals from mono sources).

This paper proposes higher-order spread spectrum direct optical switching CDMA system and an aliasing canceler to remove the aliasing distortion caused by higher-order bandpass sampling. Theoretical analysis of the signal quality shows that the 3rd order bandpass sampling scheme can improve the carrier-to-interference-power ratio compared with the conventional 1st order bandpass sampling scheme, by 5 dB.

We examine the detection of coded hybrid direct-sequence frequency-hopped spread-spectrum signals in the presence of narrowband interference. Since blind interference suppression requires a reliable estimate of the data, while at the same time data decoding requires interference suppression, we advocate an iterative ("turbo") detection scheme whereby information is exchanged between the interference suppressor and the soft-input soft-output decoder. Several suppression schemes are examined and compared. Simulation results show that this new scheme is robust, i.e., exhibits good performance under a modicum of assumptions on the interference structure. Turbo codes and convolutional codes are compared, showing that the former perform better.

The use of intelligent agents is on the rise, fueled by the unprecedented growth in the Internet and web based applications. Consequently, agent-oriented software is becoming large and complex. To support a systematic development of such software, an agent-oriented software development methodology is necessary. This paper focuses on the modeling phase of agent-oriented software life cycle and, presents an approach for agent modeling consisting of Agent Elicitation, Intra, and Inter Agent modeling methods. Agent Elicitation deals with identifying and extracting agents from "classes" in the real world. Intra Agent Modeling involves expressing agent characteristics - Goal, Belief, Plan and Capability - whereas, Inter Agent modeling incorporates agent mobility and communication in a multi-agent system.

The visual inspection of printed circuit boards (PCBs) at the final production stage is necessary for quality assurance and the requirements for an automated inspection system are very high. However, consistent inspection of patterns on these PCBs is very difficult due to pattern complexity. Most of the previously developed techniques are not sensitive enough to detect defects in complex patterns. To solve this problem, we propose a new optical system that discriminates pattern types existing on a PCB, such as copper, solder resist and silk-screen printing. We have also developed a hybrid defect detection technique to inspect discriminated patterns. This technique is based on shape measurement and features extraction methods. We used the proposed techniques in an actual automated inspection system, realizing real time transactions with a combination of hardware equipped with image processing LSIs and PC software. Evaluation with this inspection system ensures a 100% defect detection rate and a fairly low false alarm rate (0.06%). The present paper describes the inspection algorithm and briefly explains the automated inspection system.

Photoacoustic spectroscopy (PAS) has recently received much attention especially for plant photosynthesis research, because this technique is capable of performing non-destructive measurement without any pre-treatment of specimens. So far we have developed a PAS system equipped with an open photoacoustic cell (OPC), which allows in situ and in vivo measurements of plant photosynthesis of intact undetached leaves. In this study, we have measured photosynthesis reaction using OPC and developed a Confocal Scanning Photoacoustic Microscopy (CSPAM) system, in which PAS is combined with confocal scanning laser microscopy. The system allows simultaneous measurement of acoustic signal and another signal such as fluorescence, and also gives two- and three- dimensional intensity distributions of these signals, thereby giving two- and three- dimensional information about photosynthetic activity of plants.

This paper proposes a new method for reconstruction a shape of skin surface replica from shaded image sequence taken with different light source directions. Since the shaded images include shadows caused by surface height fluctuation, and specular and inter reflections, the conventional photometric stereo method is not suitable for reconstructing its surface accurately. In the proposed method, we choose measured intensity which does not include specular and inter reflections and self-shadows so that we can calculate accurate normal vector from the selected measured intensity using SVD (Singular Value Decomposition) method. The experimental results from real images demonstrate that the proposed method is effective for shape reconstruction from shaded images, which include specular and inter reflections and self-shadows.