• Journal of KIISE:Computer Systems and Theory
• /
• v.27 no.2
• /
• pp.216-226
• /
• 2000

This paper presents a new method to synthesize timed asynchronous circuits directly from the specification without generating a state graph. The synthesis procedure begins with a deterministic signal transition graph specification with timing constraints. First, a timing analysis extracts the timed concurrency and timed causality relations between any two signal transitions. Then, a hazard-free implementation under the timing constraints is synthesized by constructing a precedence graph and finding paths in the graph. The major result of this work is that the method does not suffer from the state explosion problem, achieves significant reductions in synthesis time, and generates circuits that have nearly the same area as compared to previous methods.

• Journal of KIISE:Computer Systems and Theory
• /
• v.27 no.2
• /
• pp.227-233
• /
• 2000

In this paper, we present a new high-level data path synthesis algorithm which solves the two design problems, namely, scheduling and allocation, with power minimization as a key design parameter. From the observations in previous works on data path synthesis for low power, we derive an integer programming (IP) formulation for the problem, from which we then develop an efficient heuristic to carry out the scheduling and allocation simultaneously. Our experimental results demonstrate that the proposed algorithm is very effective in saving power consumption of circuits significantly.

• Structural Engineering and Mechanics
• /
• v.20 no.2
• /
• pp.143-160
• /
• 2005

Modal analysis of cracked cantilever composite beams, made of graphite-fibre reinforced polyamide, is studied. By using the finite element and component mode synthesis methods, a numeric model applicable to investigate the vibration of cracked composite beams is developed. In this new approach, from the crack section, the composite beam separated into two parts coupled by a flexibility matrix taking into account the interaction forces. These forces are derived from the fracture mechanics theory as the inverse of the compliance matrix calculated with the proper stress intensity factors and strain energy release rate expressions. Numerical results are obtained for modal analysis of composite beams with a transverse non-propagating open crack, addressing the effects of the location and depth of the crack, and the volume fraction and orientation of the fibre on the natural frequencies and mode shapes. By means of modal data, the position and dimension of the defect can be found. The results of the study confirmed that presented method is suitable for the vibration analysis of cracked cantilever composite beams. Present technique can be easily extended to composite plates and shells.

• The Journal of the Acoustical Society of Korea
• /
• v.15 no.2E
• /
• pp.24-32
• /
• 1996

A rigorous theory for modeling, analysis, optimum nonseparable filter bank in multidimensional M-band quantized subband codec are developed in this paper. Each pdf-optimized quantizer is modeled by a nonlinear gain-plus-additive uncorrelated noise and embedded into the subband structure. We then decompose the analysis/synthesis filter banks into their polyphase components and shift the down-and up-samplers to the right and left of the analysis/synthesis polyphase matrices respectively. Focusing on the slow clock rate signal between the samplers, we derive the exact expression for the output mean square quantization error by using spatial-invariant analysis. We show that this error can be represented by two uncorrelated components : a distortion component due to the quantizer gain, and a random noise component due to fictitious uncorrelated noise at the uantizer. This mean square error is then minimized subject to perfect reconstruction (PR) constraints and the total bit allocation for the entire filter bank. The algorithm gives filter coefficients and subband bit allocations. Numerical design example for the optimum nonseparable orthonormal filter bank is given with a quincunx subsampling lattice.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.5 no.6
• /
• pp.1089-1093
• /
• 2001

A H$\infty$ control theory is applied to the design problem of synthesis filters in a mutirate filter bank. We select a desired pure time-delay system as reference model, and then consider the error system between the mutirate filter bank and the reference model. 1'he synthesis filters minimize the ι$_2$-induced norm of the error system.

• 제어로봇시스템학회:학술대회논문집
• /
• 1991.10a
• /
• pp.431-441
• /
• 1991

A robust H$_{\infty}$ control design methodology and its application to a Space Station attitude and momentum control problem are presented. This new approach incorporates nonlinear multi-parameter variations in the state-space formulation of H$_{\infty}$ control theory. An application of this robust H$_{\infty}$ control synthesis technique to the Space Station control problem yields a remarkable result in stability robustness with respect to the moments-of-inertia variation of about 73% in one of the structured uncertainty directions. The performance and stability of this new robust H$_{\infty}$ controller for the Space Station are compared to those of other controllers designed using a standard linear-quadratic-regulator synthesis technique.que.

• Journal of the Korean Institute of Telematics and Electronics D
• /
• v.35D no.4
• /
• pp.18-23
• /
• 1998

Approximations inherent in the Cohn synthesis theory, which is generally perferree as a convinient design technique for direct-couple waveguide filter, results in considerable devications from the required responses as the design bandwidth increases. In this paper, two main deviations likely to occur in practice are examined using the mode-matching technique. They are a shift in couoff frquencies and large return loss occuring near coutoff frequencyles. Using the power loss ratio, the first effect is corrected to the resulant filter structure from cohn synthesis. In order to show the validity of the intorduced approackes. Ka-band waveguide filter ahs been designed and manufactored. The experimental curve follow the expected curves after corrections fairly closly.

• Journal for History of Mathematics
• /
• v.29 no.4
• /
• pp.243-254
• /
• 2016

This research identifies the elements of the methodologies of Newton's discovery of his dynamics. These methodologies involve the transformation of preceding theoretical concepts and the discovery of common cause. This essay consists of two parts within historical case studies of Newton's works. The elements of the method of discovery consists of the transformation of preceding concepts and the identification of common cause in the formation of the research program's hard cores and protective belts. Newton transformed their predecessors' concepts to find out appropriate common causes in his dynamical theory. The transformed theoretical concepts are synthesized to be constructed as the elements of common cause which provide the foundations of Newtonian research programs.

• The Mathematical Education
• /
• v.50 no.4
• /
• pp.441-466
• /
• 2011

In this article, we study on the teaching design, focused on the geometric methods, of 2-D isoperimetric problem for the elementary mathematically gifted students. For our teaching design, we discussed the ideals of Zenodorus's polygon proof, Steiner's four-hinge proof, Steiner's mean boundary proof, Steiner's snowball-packing proof, Edler's finite existence proof and Lawlor's dissection proof, and then the ideals achieved were modified with the theoretical backgrounds-the theory of Freudenthal's mathematisation, the method of analysis-synthesis. We expect that this article would contribute to the elementary mathematically gifted students to acquire and to improve spatial sense.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.27 no.1
• /
• pp.137-142
• /
• 1990

A theory for the synthesis of a SDF including the filter modulation is suggested. In the filter synthesis, the iteration equation was used to iterate trial solution vectors. A computer simulation of the fSDF method using threshold binary images of the flight objects over a range of aspect angles was performed for POF and BPOF. The constructed fSDF filters are capable of obtaining the specified peak correlation response within a 1.7%-4.0% error range, after several iterations. However, the conventional pSDF/POFs, BPOFs are not. The results indicate POFs and BPOs can be made to perform well for distortion invariant optical pattern recognition using the fSDF method.