A Parallel Deadlock Detection Algorithm with O(1) Overall Run-time Complexity

This article proposes a novel parallel, hardware-oriented deadlock detection algorithm for multiprocessor system-on-chips. The proposed algorithm takes full advantage of hardware parallelism in computation and maintains information needed by deadlock detection through classifying all resource allocation events and performing class specific operations, which together make the overall run-time complexity of the new method O(1). We implement the proposed algorithm in Verilog HDL and demonstrate in the simulation that each algorithm invocation takes at most four clock cycles in hardware.     

An online technique for monitoring the insulation condition of AC machine stator windings

A novel online technique for monitoring the insulation condition of ac machine stator windings is proposed in this paper. The concept is to measure the differential leakage currents of each phase winding from the terminal box in a noninvasive manner to assess the insulation condition during motor operation. The conventional differential CTs used for phase fault protection can be replaced with high performance current sensors to measure the leakage current with higher accuracy. Indicators for insulation condition such as the capacitance and dissipation factor are calculated based on the measurements to provide a low cost solution for online insulation condition assessment. A simplified online insulation system model is derived for analysis and interpretation of the measured data. Experimental results on a 15-hp induction motor under simulated insulation degradation conditions show that the proposed technique is a very sensitive method capable of detecting incipient signs of insulation degradation.     

Manufacturing and structural safety evaluation of a composite train carbody

This paper explains the manufacturing process of a composite train carbody with a sandwich composite structure for bodyshell and a stainless steel structure for the under frame. In addition, the structural behavior and safety of the composite carbody of the Korean tilting train was investigated by the static load tests. From the test results, the stiffness of the composite carbody met the specified design. In the aspect of strength, the maximum stress of the composite bodyshell was of 12.2% of strength of CF1263 carbon/epoxy.     

Evaluation of recursive queries with extended rules in deductivedatabases

In order to extend the expressive power of deductive databases, a formula that can have existential quantifiers in prenex normal form in a restricted way is defined as an extended rule. With the extended rule, we can easily define a virtual view that requires a division operation of relational algebra to evaluate. The paper addresses a recursive query evaluation where at least one formula in a recursive rule set is of an extended rule. We investigate transformable recursions as well as four cases of non-transformable recursions of transitive-closure-like and linear type. The work reveals that occurrence of an existentially quantified variable in the extended recursive body predicate might dramatically limit the level of recursive search. In particular, the number of iterations to answer extended queries can be determined, independently of database contents     

The decision-making properties of discrete multiple exponentialbidirectional associative memories

A method for modeling the learning of belief combination in evidential reasoning using a neural network is presented. A centralized network composed of multiple exponential bidirectional associative memories (eBAM's) sharing a single output array of neurons is proposed to process the uncertainty management of many pieces of evidence simultaneously. The stability of the proposed multiple eBAM network is proved. The sufficient condition to recall a stored pattern pair is discussed. Most important of all, a majority rule of decision making in presentation of multiple evidence is also found by the study of signal-noise-ratio of multiple eBAM network. A guaranteed stable state condition, i.e., the condition for the fastest recall of a pattern pair, is also studied. The result is coherent with the intuition of reasoning.     

Information-theoretic distortion measures for speech recognition

A wide variety of speech recognition distortion measures have been proposed and tested, including some especially effective ones. It is shown that there is a general framework, based on the concepts of information theory, linking most of these measures. The distortion measure between any two speech spectra can be defined in terms of the distortions between the associated probability distributions. This general framework defines three broad families of distortion measures for speech recognition and provides a consistent way of combining the energy and the spectral information of a phonetic event. In addition, the cepstral-domain representation for several distortion measures is derived, allowing comparison of these measures in a domain that also yields convenient equations for their practical implementation