• Journal of KIISE:Software and Applications
• /
• v.28 no.9
• /
• pp.634-648
• /
• 2001

Message Sequence Charts(MSC) has been used to describe the interactions of numerous concurrent tasks in telecommunication software. After the MSC specification is verified in requirement analysis phase, it can be used not only to synthesize state-based design models, but also to generate test sequences. Until now, the verification is accomplished by generating global state transition graph using the location information only. In this paper, we extend the condition statement of MSC to describe the activation condition of scenarios and the change of state variables, and propose an approach to construct global finite state machine (GFSM) using this information. The GFSM only includes feasible states and transitions of the system. We can generate the test sequences using the existing FSM-based test sequence generation technology.

• Journal of the Korean Geotechnical Society
• /
• v.36 no.8
• /
• pp.49-60
• /
• 2020

A fully coupled thermo-hydro-mechanical model is established to evaluate frost heave behaviour of saturated frost-susceptible soils. The method is based on mass conservation, energy conservation, and force equilibrium equations, which are fully coupled with each other. These equations consider various physical phenomena during one-dimensional soil freezing such as latent heat of phase change, thermal conductivity changes, pore water migration, and the accompanying mechanical deformation. Using the thermo-hydro-mechanical model, a sensitivity analysis study is conducted to examine the effects of the geotechnical parameters and external conditions on the amount of frost heave and frost heaving rate. According to the results of the sensitivity analysis, initial void ratio significantly affects each objective as an individual parameter, whereas soil particle thermal conductivity and temperature gradient affect frost heave behaviour to a greater degree when applied simultaneously. The factors considered in this study are the main factors affecting the frost heaving amount and rate, which may be used to determine the frostbite sensitivity of a new sample.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.35 no.6B
• /
• pp.970-976
• /
• 2010

Platform convergence originated from the convergence of broadcast and telecommunication is making rapid progress including IT and not-IT fields in order to provide a variety of converged services, S/W eco-system construction, and so on. With the advent of convergence environment, IEEE 802.15.4-based RF4CE technology is rising because of creating momentum for the market using converged connectivity between home and office devices as well as all around located devices. In this paper, we present enhanced RF4CE key seed distribution approach in order to provide efficient connection and control between devices. The proposed approach consists of device mutual authentication, initial vector assignment, and two-phase key seed distribution. Moreover, we make a development real RF4CE test board and its key agreement simulator to verify the proposed approach.

• Journal of Environmental Health Sciences
• /
• v.40 no.5
• /
• pp.376-384
• /
• 2014

Objective: The purpose of this study is to compare the health status of residents who were exposed to sources of extremely low frequency electromagnetic fields (ELF-EMFs) in the living environment and those who were not exposed to such a source of ELF-EMFs through a survey designed to appraise the residents' health levels. Method: Aimed at 251 residents exposed to a source of ELF-EMFs and 278 residents not exposed to a source, the survey was conducted to investigate the health status of the residents on the basis of questionnaire SF-36. Result: The health status scores of residents exposed to ELF-EMFs turned out to be lower than those of their counterparts. In terms of self-reported symptoms related to health and sleep quality, residents exposed to ELF-EMFs were found to have a higher complaint rate of self-reported symptoms such as dizziness, depression, and fatigue. Regarding sleep disorders, residents exposed to ELF-EMFs appeared to have a slightly higher complaint rate of sleep disorders compared to non-exposed residents. Conclusion: If a region is to be exposed to a source of ELF-EMFs, a more proactive policy for reducing such exposure is advised. In addition, it is necessary to better understand problems of residents by emplacing an ELF-EMFs risk information delivery system and building an efficient communication system for voluntary participation during the construction phase.

• Journal of Korean Tunnelling and Underground Space Association
• /
• v.19 no.6
• /
• pp.973-984
• /
• 2017

There is a growing need to apply TBM tunnelling method for the construction of underground facilities such as subways and utility tunnels in urban areas. Due to the variability and uncertainty of the ground, tunnelling in urban areas has various safety hazards which could cause damage to people and properties and it is very costly to recover from accidents. Therefore, it is very important to identify hazards from the planning and design phase and to establish risk mitigation measures. In this study, a total of 31 hazards affecting the stability of TBM tunnelling works in urban areas were listed from both the technical literature and correspondence with experts in tunnelling area. The importance and priorities of the hazards were analyzed by conducting Delphi technique, which is a decision-making method by consensus among experts. Finally, 12 hazards that satisfy the content validity criteria were settled and could be used as major control factors for accident prevention during TBM tunnelling works.

• Journal of the Korea Society of Computer and Information
• /
• v.13 no.7
• /
• pp.11-18
• /
• 2008

Korean morphological analyzer generally generates multiple candidates, and then selects the most likely one among multiple candidates. As the number of candidates increases, the chance that the correctly analyzed candidate is included in the candidate list also grows. This process, however, increases ambiguity and then deteriorates the performance. In this paper, we propose a new rule-based model that produces one best analysis. The analysis rules are automatically extracted from large amount of Part-of-Speech tagged corpus, and the proposed model does not require any manual construction cost of analysis rules, and has shown high success rate of analysis. Futhermore, the proposed model can reduce the ambiguities and computational complexities in the candidate selection phase because the model produces one analysis when it can successfully analyze the given word. By combining the conventional probability-based model. the model can also improve the performance of analysis when it does not produce a successful analysis.

• Journal of architectural history
• /
• v.24 no.1
• /
• pp.29-40
• /
• 2015

This study is on historiography of Modern Architecture since its beginning to present. As a critical review of the history of the writing history of Modern Architecture, this study tends to be a meta-history and criticism of historical text. This study try to analyse historiographical project of Modern architecture at specific phase since the beginning of modern architecture. The historiography of Modern architecture shows that writing a history is making a discourse of Modern architecture as a imaginative representation to define and justify Modernism in architecture. The analysis of canonic text since early 20th century proves that the history of writing history of Modern architecture played a critical role not only to shape of our ideal but the practice of architecture with a ideology construction in retrospect. With a name of truth or morality they made myths about the modernity in architecture. So we can find deep 'Hagelean Unconscious' in writing history of Modern architecture not even the first generation of historians but the second generation who were influenced by earlier writer in spite of their intention of revision and overcoming, which is in itself the key concept of Hegel's philosophy of History. Under this kind of 'operative' discourse our view point of Modern architecture were confined and the historiography of Modern architecture itself was narrowly defined as a kind of melodrama that a few architect and work of art matters. The rise of critical history fundamentally has changed the way of seeing and writing the history of Modern architecture. but it has also a new kind of dilemma as regard to writing history and involving practice. This review of historiography traces the texts of historians as like Pevsner, Giedion, Banham, Rowe, Tafuri, Frampton, and Curtis relating to different discours making. When we consider Benjamin's famous concept of constellation, writing history necessarily is a kind of montage making in time and we always need to recognize the historicity of historiography.

• Journal of the Society of Naval Architects of Korea
• /
• v.45 no.2
• /
• pp.202-212
• /
• 2008

In recent days, global shipbuilding companies have been increasing their productivity or expanding their shipyards for a large amount of orders. Though, few researches about the shipyard layout designs have been studied. This research presents a simulation-based shipyard layout design framework to resolve the problems of the shipyard layout design. The shipyard layout design framework was developed on the basis of systems engineering method. The disciplined system engineering technique was guided by ISO/IEC 15288 during the planning phase of the shipyard layout design framework development. This framework suggests that how efficient and effective shipyard layout design could be got, that can satisfy the stakeholder of the layout. Furthermore, it is recommended that how the proposed shipyard layout should be verified and validated by digital simulation model. It is expected that the framework will contribute to not only the improvement of the existing shipyard but also the construction of the new shipyard.

• Transactions of the Korean hydrogen and new energy society
• /
• v.23 no.5
• /
• pp.559-571
• /
• 2012

Dimethyl ether (DME) is a new clean fuel as an environmentally-benign energy resource. DME can be manufactured from various energy sources including natural gas, coal, and biomass. In addition to its environmentally friendly properties, DME has similar characteristics to those of LPG. The aim of this article is to represent the development of new DME process with KOGAS's own technologies. KOGAS has investigated and developed new innovative DME synthesis process from synthesis gas in gaseous phase fixed bed reactor. DME has been traditionally produced by the dehydration of methanol which is produced from syngas, a product of natural gas reforming. This traditional process is thus called the two-step method of preparing DME. However, DME can also be manufactured directly from syngas (single-step). The single-step method needs only one reactor for the synthesis of DME, instead of two for the two-step process. It can also alleviate the thermodynamic limitations associated with the synthesis of methanol, by converting the produced methanol into DME, thereby potentially enhancing the overall conversion of syngas into DME. KOGAS had launched the 10 ton/day DME demonstration plant project in 2004 at Incheon KOGAS LNG terminal. In the mid of 2008, KOGAS had finished the construction of this plant and has successively finished the demonstration plant operation. And since 2008, we have established the basic design of commercial plant which can produce 3,000 ton/day DME.

• Journal of the Korean Institute of Landscape Architecture
• /
• v.13 no.2
• /
• pp.13-26
• /
• 1985

^x The enviroment defines the living conditions for people and has at the same time the possibility to create new environment. In Korea, where the rate of urbanization reached more than 50% in 1970′s the priority has been put on the economic development and administrative function. Under the circumstance, visual environmental field was dealt lightly and it resulted in undesirable environment. The techniques of Mordern Arts (Montage, Depeysment, Tromp L′oeil, P.O.P Art, etc.) helped Super Graphics appear in the urban areas. Environmental Art has been expended into the public space and people came to recognize the Arts as the "Street Art" or "Street as Gallery". Super Graphics has four types 1) Resident′s Super Graphics ; Minority groups came to maintain social equality and rights, in cooperation with each other. Such maintenance required general urbanites to form communities which gave birth to the community art, Mural Painting. 2) Environmental Super Graphics ; Beauty has come to be stressed in order to improve the quality of urban lives in the course of inescapable urban development. Instead of renewal of all established construction conservation oriented renewal was encouraged. 3) Super Graphics as Population Arts ; In the 1960′s artists repulsed the establishments in an efforts to open new phase independent from the expressional in the arts. They recognized the relationship between painting, society and the public in different angle and tried to describe all living space on canvas. 4) Super Graphics as Advertisement ; Super Graphics functions as efficient media to deliver images to the urbanites. Super Graphics as media plays the role for political propaganda and commercial advertisements according to their purposes. In Korea, especially, it is required to introduce the environmental Super Graphics. But it is desirable to introduce Super Graphics with Korean culture and sense of beauty. Designers themselves are also required to have responsibility to improve the quality of urban culture.