• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.20 no.1
• /
• pp.35-43
• /
• 1996

A computer program for automatic deriving the symbolic equations of motion for robots using the programming language MATHEMATICA has been developed. The program, developed based on the Lagrange formalism, is applicable to the closed chain robots as well as the open chain robots. The closed chains are virtually cut open, and the kinematics and dynamics of the virtual open chain robot are analyzed. The constraints are applied to the virtually cut joints. As a result, the spatial closed chain robot can be considered as a tree structured open chain robot with kinematic constraints. The topology of tree structured open chain robot is described by a FATHER array. The FATHER array of a link indicates the link that is connected in the direction of base link. The constraints are represented by Lagrange multipliers. The parallel robot, DELTA, having three-dimensional closed chains is modeled and simulated to illustrate the approach.

• Water Engineering Research
• /
• v.1 no.3
• /
• pp.209-222
• /
• 2000

A spectral formalism was applied to quantify the sampling errors due to spatial and/or temporal gaps in soil moisture measurements. The lack of temporal measurements of the two-dimensional soil moisture field makes it difficult to compute the spectra directly from observed records. Therefore, the space-time soil moisture spectra derived by stochastic models of rainfall and soil moisture was used in their record. Parameters for both models were tuned with Southern Great Plains Hydrology Experiment(SGP'97) data and the Oklahoma Mesonet data. The structure of soil moisture data is discrete in space and time. A design filter was developed to compute the sampling errors for discrete measurements in space and time. This filter has the advantage in its general form applicable for all kinds of sampling designs. Sampling errors of the soil moisture estimation during the SGP'97 Hydrology Experiment period were estimated. The sampling errors for various sampling designs such as satedlite over pass and point measurement ground probe were estimated under the climate condition between June and August 1997 and soil properties of the SGP'97 experimental area. The ground truth design was evaluated to 25km and 50km spatial gap and the temporal gap from zero to 5 days.

• The Journal of the Korea Contents Association
• /
• v.6 no.11
• /
• pp.258-265
• /
• 2006

DEVS formalism is advantageous in modeling large-scale complex systems and it reveals good readability, because it can specify discrete event systems in a hierarchical manner. In contrast, it has drawback in that the simulation speed of DEVS models is comparably slow since it requires frequent message passing between the component models in run-time. This paper proposes a method, called model composition, for simulation speedup of DEVS models. The method is viewed as a compiled simulation technique which eliminates run-time interpretation of communication paths between component models. Experimental results show that the simulation speed of transformed DEVS models is about 18 times faster than original ones.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2003.05a
• /
• pp.833-838
• /
• 2003

The problem of elastic wave resonance scattering from elastic targets is studied in this paper. A new resonance formalism to extract the elastic resonance information of the target from scattered elastic waves is introduced. The proposed resonance formalism is an extension of the works developed for acoustic wave scattering problems by the author. The classical resonance scattering theory computes reasonable magnitude information of the resonances in each partial wave, but the phase behaves in somewhat irregular way, therefore, is not clearly explainable. The proposed method is developed to obtain physically meaningful magnitude and phase of the resonances. As an example problem, elastic wave scattering from an infinitely-long elastic cylinder was analyzed by the proposed method and compared to the results by RST. In case of no mode conversion, both methods generate identical magnitude. However, the new method computes exact $\pi$ radian phase shills through resonances and anti-resonances while RST produces physically unexplainable phases. In case of mode conversion, in addition to the phase even magnitudes are different. The phase shifts through resonances and antiresonances obtained by the proposed method are not exactly $\pi$ radians due to energy leak by mode conversion. But, the phases by the proposed method show reasonable and intuitively correct behavior compared to those by RST.

• Journal of the Korea Society for Simulation
• /
• v.12 no.4
• /
• pp.25-40
• /
• 2003

With the growing usage of the networks, the world-wide Internet has become the main means to exchange data and carry out transactions. It has also become the main means to attack hosts. To solve the security problems which occur in the network such as Internet, we import software products of network security elements like an IDS (Intrusion Detection System) and a firewall. In this paper, we have designed and constructed the general simulation environment of network security model composed of multiple IDSes and a firewall which coordinate by CNP (Contract Net Protocol) for the effective detection of the intrusion. The CNP, the methodology for efficient integration of computer systems on heterogeneous environment such as distributed systems, is essentially a collection of agents, which cooperate to resolve a problem. Command console in the CNP is a manager who controls the execution of agents or a contractee, who performs intrusion detection. In the network security model, each model of simulation environment is hierarchically designed by DEVS(Discrete Event system Specification) formalism. The purpose of this simulation is that the application of rete pattern-matching algorithm speeds up the inference cycle phases of the intrusion detection expert system and we evaluate the characteristics and performance of CNP architecture with rete pattern-matching algorithm.

• Journal of architectural history
• /
• v.8 no.1 s.18
• /
• pp.53-62
• /
• 1999

Modernism in architecture is a very complex and contradictory phenomena. So much so that it has been defined in various ways throughout the history, depending on one's position in the cultural and historical circumstances. It is thus necessary to map out the various concepts of modernism and their relationships in order to have a more comprehensive understanding of modern architecture. This paper attempts to define the various positions as functionalism, formalism and artistic avant-gardism, and to trace their history from the early twentieth century to the present. The change of the concept of modernism from functionalism to artistic avant-gardism seems a logical process in the history of western modem culture. The tendency of contemporary architecture to be more abstract and self referential artistic practice reflects the fragmentation of modern culture and the separation of art and technology. The validity of this position, of course, depends on how one evaluates the role of modern art in the situation of modern culture. It could be viewed either negatively or positively. However, this position is problematic in that it disregards the fundamental differences between architecture and other arts and distanced architecture farther from its material base. Given this historical perspective on the concept of modernism, modernism in Korea should not viewed simply identical to the western modernism, nor should western modernism be imported uncritically. The characteristics of her modernization and their differences from the west should be considered, along with the different status and role of architecture in korean modern society.

• The Bulletin of The Korean Astronomical Society
• /
• v.39 no.1
• /
• pp.66.1-66.1
• /
• 2014

Radiative transfer programs to simulate the 3-micron auroral $CH_4$ emissions of Jupiter have been developed. The formalism of the radiative transfer calculations including the thermal, fluorescent, and auroral emissions of the $CH_4$ bands for an atmospheric layer having an optical depth of ${\tau}_v$ is given by: ${\mu}dI_v/d{\tau}_v=I_v-{\varpi}_v{^*}J_v(1-{\varpi}_v{^*})B_v-{\varpi}{^*}F_{ov}{e}{x}{p}(-{\tau}_v/{\mu}_o)4{\pi}-hv{\varpi}{^*}V/4{\pi}$ where ${\varpi}_v{^*}$ is the single scattering albedo of $CH_4$ consisting of Einstein A coefficient and collisional deexcitation rate. Other terms are usual radiative transfer parameters appearing in textbooks including the terms for scattered ${\varpi}_v{^*}J_v$, thermal $(1-{\varpi}_v{^*})B_v$, and attenuated solar radiations $F_{ov}$ at the certain atmospheric layer. For auroral excitations, we include V, which is the number of excited states per $cm^3$ persec by auroral particle bombardments. We apply this formalism to the high-resolution spectra of the auroral regions observed with GNIRS/Gemini North, and will present preliminary results for the 3 micron auroral processes of Jupiter.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.19 no.5
• /
• pp.833-841
• /
• 1994

In this paper we develop an approximation formalism for the queue length distribution of general queueing models. Our formalism is based on two steps of analytic approximation employing both the lower and upper bound techniques. It is favorable to a fast numerical calcuation for the queue length distribution of a superposition of a superposition of arbitary type traffic sources. In the application. M+ N D /M/1 is considered. The calculated result for queue length distribution measured by arriving or leaving customers show a good agreement with the direct simulation of the system. Especially, we demonstrate that our formula for M/M/1 is equivalent to the exact solution, while that D/M/1 is simplified in an analytic form.

• Journal of Communications and Networks
• /
• v.15 no.2
• /
• pp.217-221
• /
• 2013

Quantum low-density parity-check (LDPC) codes based on the Calderbank-Shor-Steane construction have low encoding and decoding complexity. The sum-product algorithm(SPA) can be used to decode quantum LDPC codes; however, the decoding performance may be significantly decreased by the many four-cycles required by this type of quantum codes. All four-cycles can be eliminated using the entanglement-assisted formalism with maximally entangled states (ebits). The proposed entanglement-assisted quantum error-correcting code based on Euclidean geometry outperform differently structured quantum codes. However, the large number of ebits required to construct the entanglement-assisted formalism is a substantial obstacle to practical application. In this paper, we propose a novel class of entanglement-assisted quantum LDPC codes constructed using classical Euclidean geometry LDPC codes. Notably, the new codes require one copy of the ebit. Furthermore, we propose a construction scheme for a corresponding zigzag matrix and show that the algebraic structure of the codes could easily be expanded. A large class of quantum codes with various code lengths and code rates can be constructed. Our methods significantly improve the possibility of practical implementation of quantum error-correcting codes. Simulation results show that the entanglement-assisted quantum LDPC codes described in this study perform very well over a depolarizing channel with iterative decoding based on the SPA and that these codes outperform other quantum codes based on Euclidean geometries.

• Journal of KIISE:Computer Systems and Theory
• /
• v.30 no.7_8
• /
• pp.370-380
• /
• 2003

A large RAID system may consist of several PCI bus segments since a PCI bus segment can connect only a limited number of disks. In this paver, PCI bus transactions in a RAID system are classified in terms of the initiator and the target of the transaction. Also, the data transfer time of each transaction type is analyzed. By using the analysis results, read and write performance of two RAID system configurations are formulated. From simulation of the RAID system using the DEVS formalism, performance of the configurations are evaluated and compared with the analytical results while changing various system parameters.