This paper proposes a requirement description and elicitation approach for communication services. Requirements are described in natural language, refined with a knowledge base, and converted to a formal language for program generation. A model for communication services is made as a set of three items: terminal state, terminal action and the response of the communication system to the action. This set, in turn, corresponds to natural language syntax that expresses two conditions (terminal state and action) and their result. These conditions and result are expressed as a sequence of simple sentences that describe the relationship between a terminal and a communication system. Thus, by defining such a description style to reflect the features of communication services, it should be possible to achieve both a high level of description and mechanical processing capabilities at the same time. However, requirement descriptions usually include omission and inconsistency. This problem cannot be solved by merely introducing natural language for the descriptions. Knowledge about the target domain of requirements is needed to resolve it. This paper reports on a knowledge base that stores constraints existing between conditions and results in communication services. This knowledge base is shown to be effective in supplementing omissions and resolving inconsistency. This paper also presents a technique for converting the elicited requirements in natural language to descriptions in a formal language that can be used to generate a program.

Standard Site Method (SSM) is theoretically analyzed using matrix representations to examine its validity and develop an improved method. The analysis reveals that the SSM yields an antenna factor specifically related to the effective load impedance presented by the cable and associated devices which are disconnected from the antenna during the SSM site attenuation measurements. Therefore, an additional conversion is required to determine the desired antenna factor under actual load conditions. It is also concluded that the SSM is not applicable to antennas having height-dependent antenna factors. In addition, the SSM correction factors are found to be theoretically inappropriate. Uncertainty of the antenna factor obtained using the SSM is discussed and the required antenna separation distance is investigated. To improve the existing SSM, it is proposed that both transmitting and receiving antennas are placed at the same height during the site attenuation measurements. Experiments exhibit the superiority of the improved method.

A full confocal Gaussian beam open resonator system that determines the dielectric properties of low-loss materials in the 60-GHz band is developed. To achieve high Q values a quasi-optical coupling method is used to feed the resonator. It is connected to a computer-controlled HP 8510C vector network analyzer for automatic measurement. The frequency variation method is used and the data are processed using the open resonator scalar theory. Results from 96% and 99.5% alumina samples with thicknesses ranging from 0.38 mm to 1 mm, are presented in the V band, with loss tangent values of the order of 100 µ radians. This system should be able to measure substrates as thin as less than 0.1 mm to 0.3 mm, which are the thicknesses of substrates in practical use.

Retiming is a technique to resynthesize a synchronous sequential circuit by rearranging flip-flops. In view of logic optimization, retiming can potentially derive a circuit which is more simplified and testable because retiming can convert several sequential redundancies into combinational redundancies. Retiming methods proposed before have no guarantee to generate the same output sequences when the circuit start from a specified initial state such as the reset state. If the circuit with a specified initial state must have the same output sequences after retiming, rearrangement of flip-flops should be restricted. This paper presents a retiming method for circuits with a specified initial state so that retimed circuits give the same output sequences of the original circuits for any input sequences. In the proposed method, during the procedure of retiming each flip-flop keeps a value corresponding to the initial state and unification of flip-flops with different value is avoided. Our procedures uses 5-valued logic on gate level implementation to describe and calculate the values of flip-flops. Therefore after optimization using our method, the circuit has completely the same behavior as that of the original. Experimental results for ISCAS'89 benchmark circuits show the method can be used to optimize the circuits as well as a method without considering the initial state. And testability of the retimed circuit is more enhanced than that of the original circuit.

We develop a software availability model incorporating software failure-occurrence and fault-correction times, under the assumption that the hazard rate for software failure-occurrence decreases geometrically with the progress in fault-removal process. Considering that the software system alternates two states, i.e. the operational state that a system is operating and the maintenance state that a system is inoperable due to the fault-correction activity, we model the time-dependent behavior of the system with a Markov process. Expressions for several quantities of software system perfomance are derived from this model. Finally, numerical examples are presented for illustration of software availability measurement.

Multifrequency microwave radiometry for non-invasive measurement of temperature in biological objects has been investigated in our laboratory. An open-ended rectangular waveguide filled with a dielectric has been used as a contact-type antenna of a radiometer operating over a 1-4GHz range. In the radiometric measurement, the radiometer measures the thermal radiation emitted by the object via the antenna as the brightness temperature. The brightness temperature is related to the physical temperatures in the object through the radiometric weighting function. By virtue of the reciprocity of antenna, the weighting function can be derived from the field distribution induced in the object by the same antenna when it is operated in the active mode. In this paper, the FD-TD method is used to analyze the problem of coupling between the rectangular waveguide antenna and a biological object. The objects studied in this paper are a homogeneous and a four-layered lossy media. Working frequency is 1.2GHz, which is the center frequency of the lowest-frequency band of our radiometer. Numerical results are presented in the form of SAR patterns. It is found that the SAR patterns tend to spread out in the lateral directions in the bolus, skin and fat layers due to the diffraction which becomes stronger at lower frequencies. Results also suggest that the lateral spreading can be controlled to a certain extent by choosing the size elf antenna flange properly.

An open-ended rectangular waveguide filled with a dielectric has been used as a contact-type antenna of microwave radiometer for non-invasive measurement of temperature in a biological object. In this application, the thermal radiation emitted by the object is measured as the brightness temperature by the instrument via the antenna. The brightness temperature is related to the physical temperatures in the object through the radiometric weighting function. By virtue of the reciprocity of antenna, the weighting function can be derived from the field distribution induced in the object by the antenna when it is operated in the active mode. In this work, we treat a problem of the rectangular waveguide antenna radiating into a four-layered medium by modal analysis. The results are first compared with those obtained by the FD-TD method to indicate that the results of the two methods are in a good agreement. The operation of an antenna used in a radiometer system in our laboratory is analyzed by this method and the weighting functions at different frequencies are computed, and the results are presented along with discussions on the results.

We study the correspondence between problem descriptions and requirements specification documents derived from them. Based on the results of this investigation, a model that integrates the problem space and the requirements specification space is developed. This integration is based on a semantic network representation. We also propose a model of the requirements elicitation process that is consistent with our empirical studies of traceability in requirements documents. In this process, analysts derived requirements specifications from incomplete and ambiguous problem descriptions given by customers, identify missing information, completed it, and then decide the system boundaries that define which part of the problem descriptions to implement as the target system. The model can be used to complete problem descriptions given by customers and determine the system boundaries.

This paper deals with an efficient radix-2 divider design theory that uses carry-propagation-free adders based on redundant binary{1, 0, 1} representation. In order to compute the division fast, we look ahead to the next step quotient-digit selection embedded in the current partial remainder calculation. The solution is a function of the four most significant digits of the current partial remainder, when scaling the divisor in the range [1, 9/8). In gate depth, this result is better than the higher radix-4 case without the look-ahead quotient-digit selection and the design is simple.

Efficiency of network resource can be improved by statistical multiplexing in ATM networks. If cell traffic characteristics of each connection could be obtained beforehand, we could admit maximum connections while satisfying the QoS (Quality of Service) objective. Since such traffic characteristics as an average rate and a mean burst length are difficult to anticipate, only peak rate will be used for CAC (connection admission control). The peak rate assignment strategy will, however, lead to inefficient network utilization for bursty traffic. This paper proposes an adaptive admission control using real-time traffic measurements to overcome the above problem. This scheme is based on two-state cell stream model composed of overload and underload states. The two-state model simplifies the measuring algorithm, which is suited for online processing. Performance of this scheme is investigated through simulation study for multiplexing of on-off sources with a wide spectrum of traffic characteristics. Since the proposed control scheme exploits measurements of cell streams, it achieves nearly optimum bandwidth efficiency.

Finite element analysis is carried out to provide an engineering design approach of a newly proposed Triple-TEM cell (TTEM cell). Important characteristics such as characteristic impedance, TEM mode field distribution, as well as TE and TM modes cutoff frequencies can be analyzed by using the software developed in this paper. Design guidelines have been provided for the TTEM cell. Reasonable geometric structure of the cross-sectional area of the TTEM cell would thereupon be resolved. Numerical results of the local higher order modes along the length of the cell are presented in this paper.

The antenna factor measurement of the dipole antennas for electromagnetic interference (EMI) measurements is studied theoretically and experimentally. The 3-antenna method is applied to near-field. Near-field transmission characteristics between the transmitting and receiving dipole antennas is obtained by using the electromotive force (EMF) method, where sinusoidal current distributions are assumed. It is shown that the antenna factors can be measured from transmission values between two antennas and near-field correction factors at any height of each antenna.

A system for measuring the low frequency amplitude and phase noises was set-up, with employing a phase sensitive detector and phase-shifter. It is noted that both noises were partly correlated. The phase noise was explained by the transit time fluctuation due to the fluctuating diffusion coefficient. The amplitude noise reduction was demonstrated by applying the inverted output of the phase noise to the amplitude noise.

This paper describes, based on generation mechanism of conductive noise, that the real conductive noise on AC-mains can't be measured by LISN and 50 Ω-input impedance instrument specified by regulations such as CISPR. Second, it is pointed out that one of the causes of poor reproducibility in radiated emission measurement is the difference among line impedances of AC-mains. Finally, it is insisted that the apparatus such as LISN is necessary for stable measurement of radiated emission, and what improvement on LISN characteristics for higher frequency range should be done is introduced.

For estimating the radiated emission from a metallic enclosure, the authors have developed a numerical computational method which applied inverse analysis. A metallic enclosure containing a loop antenna was set up to be a model source for the numerical analysis. Magnetic fields around the enclosure were measured by measurement systems fabricated in the authors' laboratory. Using the measured magnetic fields, current distributions on the enclosure surface were determined by means of an inverse analysis utilizing the least squares method. From this surface current distribution, the electromagnetic field distributions were estimated by forward analysis on a cylindrical surface 3.0m in radius. The amount of the error in the estimated fields distribution was also discussed.

Concerned is a spectral profile of electromagnetic (EM) emission from a signal line on a high-speed digital circuit. The authors have proposed and examined an a priori method to predict the peak frequencies on spectral profile of EM emission from printed circuit boards (PCBs). Profile of an EM spectrum is determined by the resonance of digital circuits. It is the purpose of this paper to investigate the parameters that determine the spectral profile of EM emission from a signal line on a PCS. In this paper, measurements and calculations of EM spectra were carried out for different load capacitances. EM emissions were measured with a small loop antenna at a 50mm from the surface of the PCB. Measured EM spectra had two peaks. Calculated EM spectra, which was based on transient current given by the analog simulator SPICE, had two peaks too. Results of calculations of EM spectra for different internal capacitances of an IC tell that lower peak frequency is determined by the resonance frequency of the resonant loop which is composed of an IC package and a decoupling capacitor. Comparison with measured EM spectra and calculated EM spectra for different load resistances tell that sharpness of the other peak depends on Q factor of a resonant loop which includes a signal line. Therefore the peak frequencies of EM emission spectrum can be predicted as two resonance frequencies of two resonant circuits.

Results of an empirical investigation of the shielding properties of a small pre-fabricated reinforced concrete building are presented. The electric field attenuation was measured in the frequency range of approximately 20kHz to 500MHz. The experiments were performed in collaboration with the Italian National Board of Post an Telecommunications (ISPT). An equivalent stick model has been analyzed in frequency domain by numerically solving a set of electric field integral equations. The influence of the real reinforcement mesh (dimensions, spatial disposition, electrical parameters) on the attenuation of the electric field has been investigated. A comparison between computed and measured results is presented.

The wave forms of electric and magnetic fields radiated by short gap discharges are measured to analyze electrostatic discharge (ESD) events in the near-field zone with the monopole antennas, the loop antenna and the 5.5GHz bandwidth waveform digitizer. The antenna outputs are corrected by the measured characteristics of the antennas. The relations between the measured electric field and the discharge currents are discussed.

Theoretical and experimental investigations of dipole antenna factors were carried out with special interest in their height patterns, since difference between them is a main cause of disagreement in EMI measurement results obtained with different antennas types. Antenna factors were expressed by matrix representation and their dependence on antenna dimensions and balun construction were numerically evaluated with the moment method. Those analyses revealed that antenna dimensions and balun characteristics have little effect on antenna factor height patterns. Slight influence was observed only at frequencies around 30MHz, when an antenna was placed less than 1.5m above a metal ground plane.

Telecommunications management activities have mostly been supported by operators; however, machines are gradually playing more important roles in the management arena by utilizing computing technology. Additionally, management systems can now be networked by using standard interface specifications. The study of human and machine integration is thus essential for achieving the sophisticated management objectives of telecommunications. This paper proposes the principles for a telecommunications management integration network (TMIN), which integrates human and machine management networks, and proposes a source text description method for transferring management communication knowledge from human to machine. First, reference models are proposed for the management process and management communication. These models cover network management activities of both humans and machines. Second, the contents of the source text are clarified. Source text presents human management knowledge in a form suitable for machine-machine communication. Third, an efficient source text description method is proposed that reduces redundancy and proliferation. Finally, a means of harmonizing management information definitions with TMIN is suggested to facilitate human-machine cooperation.