• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.38 no.10
• /
• pp.712-720
• /
• 2001

Algorithms from the research of the layout migration were proposed in the paper. These are automatic recognition algorithm for the VLSI devices from it, graph based construction algorithm to maintain the constraints, dependencies, and design rule between the devices, and high speed compaction algorithm to reduce size of the VLSI area and reuse the design with compacted size for the new technology. Also, this paper describes that why proposed algorithms are essential for the era of the SoC (System on a Chip), design reuse, and IP DB, which are the big concerns in these days. In addition to introduce our algorithms, the benchmark showed that our performance is superior by 27 times faster than that of the commercial one, and has better efficiency by 3 times in disk usage.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.21 no.12
• /
• pp.426-433
• /
• 2020

This study aimed to compare the pretreatment methods of phytoplankton for type approval of the Ballast Water Treatment System (BWMS). The International Maritime Organization (IMO) and the United States Maritime Police (USCG) use two different test methods for this purpose. To compare the two methods, a test for concentration and non-concentration was performed with cultured and natural phytoplankton, and samples from the land-based BWMS test. The extent of damages caused by the process of concentration varied between cultured and natural species, indicating differences depending on the physiological and morphological characteristics of the species. In the land-based test, in the control water with a high biological population, the number of non-concentrated samples was about twice as high as that of the concentrated samples. There was no distinct difference between the two methods in the treated water with a low biological population. Thus, although there is a difference between concentration and non-concentration for phytoplankton sampling, the concentration method can be applied as a method of evaluating BWMS performance. However, a method for evaluating whether live species in treated water may be lost or damaged during the concentration process of sampling should be developed and validated.

• (The) Research of the performance art and culture
• /
• no.22
• /
• pp.63-92
• /
• 2011

This paper intends to clarify the characteristics of Seoul Ginoguigut in ritual form. This paper points out three characteristics; materialization of the journey to the world of the dead, direct communications with the dead, inclusive blessings for the dead and the living. Firstly, the journey to the world of the dead is materialized through various ritual processes of Seoul Ginoguigut. This characteristic is prominent in the context of comparisons with the death rituals of Confucianism and Buddhism, and of shamanism in other regions of Korea. Secondly, in Seoul Ginoguigut the communications of the dead and the living are made through direct dialogues between them through shaman's possession. The communications by direct dialogues between the dead and the living make it easy to accept death as a real fact, and have an effect of recognizing the individuality and uniqueness of each death. Thirdly, the blessings of Seoul Ginoguigut are so inclusive that they cover the dead's safe journey toward the world of the dead as well as the happiness of the living. This characteristic is related to the understanding of death of Korean shamanism that does not separate death and living. These three characteristics are perceived in the context of comparisons with the death rituals of Confucianism and Buddhism, and of Seoul Ginoguigut. And they give a clue to understand how the death rituals of Korean shamanism have persisted in Korean society.

• Journal for History of Mathematics
• /
• v.24 no.3
• /
• pp.37-58
• /
• 2011

The development of recent Mathematical Logic is mostly originated in Hilbert's Proof Theory. The purpose of the plan so called Hilbert's Program lies in the formalization of mathematics by formal axiomatic method, rescuing classical mathematics by means of verifying completeness and consistency of the formal system and solidifying the foundations of mathematics. In 1931, the completeness encounters crisis by the existence of undecidable proposition through the 1st Theorem of G?del, and the establishment of consistency faces a risk of invalidation by the 2nd Theorem. However, relative of partial realization of Hilbert's Program still exists as a fruitful research program. We have tried to bring into relief through Curry-Howard Correspondence the fact that Hilbert's program serves as source of power for the growth of mathematical constructivism today. That proof in natural deduction is in truth equivalent to computer program has allowed the formalization of mathematics to be seen in new light. In other words, Hilbert's program conforms best to the concept of algorithm, the central idea in computer science.

• Journal of the Korean Society for Marine Environment & Energy
• /
• v.15 no.4
• /
• pp.349-356
• /
• 2012

For smooth implementation of the IMO Ballast Water Management Convention that is to come into effect in the near future, IMO and Member States are working on the development of various technologies and establishment of legislative action. Ballast water treatment systems are essential, yet difficult technologies, as they need not only to treat living organisms, but also define whether they are viable or not, count the number of viable organisms, and present quantitative results of the concentration of active substances. Despite the fact that the Convention is looming in the near future, the issues mentioned above obstruct the setup of consensual technologies for performance reliability of the treatment system and analysis method of efficacy test results. This paper considers the unsolved issues of the ballast water treatment technologies, and presents guidelines to solve these issues.

• Archives of design research
• /
• v.13 no.4
• /
• pp.225-231
• /
• 2000

Forcasting the future is a very important task in design situation analysis. To do this, the reduction of life style, the tendency of product differentiation and individuality should be considered along with such changes as cultural, economical and social trends. At the moment, industrial structure is being reorganized from centering around the manufacturing industry to the distribution industry and consumers. Consumers show the attitude of expressing their individualities on the basis of various tastes rather than standardization. The flow of information also has been changing rapidly from the former types of information provided by producers to the age when consumers pursue the objective and model of information. Therefore, we are able to say that picking up the trends around the streets becomes more important than ever. Accordingly, the objective of this study is to establish a system which is able to effectively carry out the trend analysis by a town watching method, the construction of a database with collected data, and its practical application on the web.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.22 no.3
• /
• pp.381-389
• /
• 2021

Maogusi dance is an ancient ritual dance of the Tujia, a Chinese ethnic minority living in the remote region of the western Hunan Province of China. With characters, dialogues, simple story plots and unique performance procedures, it expresses ancient people's devout worship of nature, totems, ancestors, and reproduction in the uncivilized age. With the advancement of human civilization and the opening to the outside world, many dances of the ethnic minority gradually have faded out, while the Maogusi dance is still popular among the Tujia people and its spiritual symbols have been passed on through the generations. It is recognized by experts in dance and drama circles as the original source of Chinese dance and drama. From the perspectives of philosophy, religion, anthropology and folklore, this paper tries to remove the mysterious veil covering the Maogusi dance of the Tujia to explain how its ancient spiritual symbols have survived and why the original ecological consciousness has been preserved. These aims would help in understanding the deep connotation of this ancient Chinese art with its long history and profound culture.

• (The) Research of the performance art and culture
• /
• no.33
• /
• pp.195-222
• /
• 2016

This study says that giving a life through the mixed power of motions which can not be fixed. It is a fundamental activity of the art of dance. In the fact, the art of dance is defined as the most instinctive and intuitive arts show that dance is a harmony of emotion on the body, thus, this view wants to discuss the relations between "sense and body". This view doesn't focus on the mere motions of dancing form, but characterizes dance as an art of another vitality through the mixture and combination of these motions. In other words, this study emphasizes that dance transcends time and space on stages, and that dance, as an expression of identity, is an art which shows a sense from inside of human. Therefore, when we want to understand the true meaning of the art of dance, we should attend what attributes of dance define it as an art and show its creative. This study, thus, seeing those attributes as the life-giving function of dance, aims to help understand the principle meaning of the art of dance that realizes creation as well as the attitudes of audience who appreciate the art of dance. And by doing so, this study contemplates how we should see the creative idea of choreography, forming sympathy and the art of dance.

• Journal of forensic and investigative science
• /
• v.2 no.1
• /
• pp.23-31
• /
• 2007

Apartments are built in small countries to accommodate densely populated cities and maximize urbanization. Many apartment complexes have been built in recent reconstruction or redevelopment projects. An increase in crime has resulted due to residents living in a narrow space. Larceny is the most commonly reported crime in apartment complexes. Apartments can be classified as stairway, hallway, or plane surface. This study compares and analyzes the frequency of theft by apartment type to assist in creating a safer residential space. In America and England, scholars studied to make a safer residential space, and have applied the theory of 'the Defensible Space' and 'Crime Prevention Through Environmental Design(CPTED)' since 1970s. Korean apartment design now reflects CPTED in new apartment construction. In this study, 12 apartment complexes were selected in Changwon city to conduct analysis of theft in selected complexes. The study will cover housing invasion theft, motorcycle and car theft and snatching. The most frequency larceny is motorcycle and car theft, the second is housing invasion theft, and the least frequent is snatching. More residents' motorcycles and cars are damaged in a hallway style apartment. More frequently inhabitants have their possessions snatched on a stairway form. 1) When we build new apartment complexes, we must plan to improve territoriality and enhance a natural surveillance by reinforcing dwellers' relationship. Through planning we can prevention the larceny in apartments.

• (The)Study of the Eastern Classic
• /
• no.50
• /
• pp.295-318
• /
• 2013

The purpose of this study was to define the 'caligraphy as a modern concept of art. For this purpose, it was necessary to exclude the elements betraying 'the caligraphy as a pure art' in reference to 'autonomy' as an indicator of modernity in order to reflect on the current topology of the caligraphy in our age. Checking the current conditions facing the caligraphy from the pre-modern, modern and post-modern perspectives will clarify the current topology of the caligraphy and further exploring 'the caligraphy as a post-modern art concept. To this end, this study defines the caligraphy 'as a pure formative art' and thereby discusses it in terms of nature and form. In terms of nature, the caligraphy should be subsumed into a spacial art, but it has a nature of a temporal art created and appreciated over time. Hence, among the spacial arts, the painting is most similar to the caligraphy, while among the temporal arts, the caligraphy is most similar to such rhythmic (of high mobility) or performing arts as music and dance. Merely, the painting does not reveal the flow of time on the canvas, while music and dance leave no residual in terms of audibility and visuality. All in all, the caligraphy is sort of 'temporal-spacial art' like dance in that the visible letters express the artist's sense of life on the plane over time like music. In terms of form, this study compares the caligraphy with engraving, wood print and character design to define the caligraphy as a pure art concept. The caligraphy as a modern art concept, namely, the autonomy of the caligraphy is associated with legibility and meaning in addition to the question whether it is an applied or a pure art. The legibility and meaning of the characters are not only the essential elements of the caligraphy but also are the factors limiting its autonomy, which must be a paradox. All in all, the legibility and meaning of the characters must be the key criteria for determining the caligraphy as a practical art or literary art or as a pure figurative art. In this context, this study discusses the caligraphy as a pure art by comparing it with the spatial art 'painting' and the temporal art 'music.' It might be impossible to define the caligraphy or a genre of art as an autonomous art of self-perfection and categorical identity. Moreover, any attempt to define the caligraphy would fail to interpret the caligraphy appropriately. Merely, we are obliged to position the caligraphy in the process of localizing 'their modernity' and thereby, discuss how to respond to their scheme.