• Journal of KIISE:Software and Applications
• /
• v.28 no.3
• /
• pp.211-223
• /
• 2001

본 논문에서 제안하는 시나리오기반 검증기법의 목적은 UML로 작성된 객체지향 분석모델의 완전성 및 일관성을 진단하는 것이다. 검증기법의 전체 절차는 요구분석을 위한 Use Case 모델링 과정에서 생성되는 Use Case 시나리오와 UML 분석모델로부터 역공학적 방법으로 도출된 객체행위 시나리오와의 상호참조과정 및 시나리오 정보트리 추적과정을 이용하여 단계적으로 수행된다. 본 검증절차를 위하여 우선, UML로 작성된 객체지향 분석모델들은 우선 정형명세언어를 사용하여 Use Case 정형명세로 변환하다. 그 다음에, Use Case 정형명세로부터 해당 Use Case 내의 객체의 정적구조를 표현하는 시나리오 정보트리를 구축하고, Use Case 정형명세 내에 포함되어 있는 객체 동적행위 정보인 메시지 순차에 따라 개별 시나리오흐름을 시나리오 정보트리에 표현한다. 마지막으로 시나리오 정보트리 추적과 시나리오 정보 테이블 참조과정을 중심으로 완전성 및 일관성 검증작업을 수행한다. 즉, 검증하고자 하는 해당 Use Case의 시나리오 정보트리를 이용한 시나리오 추적과정을 통해 생성되는 객체행위 시나리오와 요구분석 과정에서 도출되는 Use Case 시나리오와의 일치여부를 조사하여 분석모델과 사용자 요구사양과의 완전성을 검사한다. 그리고, 시나리오 추적과정을 통해 수집되는 시나리오 관련종보들을 가지고 시나리오 정보 테이블을 작성한 후, 분석과정에서 작성된 클래스 관련정보들의 시나리오 포함 여부를 확인하여 분석모델의 일관성을 검사한다. 한편, 본 논문에서 제안하는 검증기법의 효용성을 증명하기 위해 대학의 수강등록시스템 개발을 위해 UML을 이용해 작성된 분석모델을 특정한 사례로써 적용하여 보았다. 프로세싱 오버헤드 및 메모리와 대역폭 요구량 측면에서 MARS 모델보다 유리함을 알 수 있었다.과는 본 논문에서 제안된 프리페칭 기법이 효율적으로 peak bandwidth를 줄일 수 있다는 것을 나타낸다.ore complicate such a prediction. Although these overestimation sources have been attacked in many existing analysis techniques, we cannot find in the literature any description about questions like which one is most important. Thus, in this paper, we quantitatively analyze the impacts of overestimation sources on the accuracy of the worst case timing analysis. Using the results, we can identify dominant overestimation sources that should be analyzed more accurately to get tighter WCET estimations. To make our method independent of any existing analysis techniques, we use simulation based methodology. We have implemented a MIPS R3000 simulator equipped with several switches, each of which determines the accuracy level of the

• The Journal of the Petrological Society of Korea
• /
• v.23 no.3
• /
• pp.273-277
• /
• 2014

This paper presents a brief historical review of various attempts to estimate the age of the Earth, and reappraises the study of Patterson (1956) which revealed for the first time that the age of the Earth is $4550{\pm}70Ma$ by measuring Pb isotope ratios of several meteorites and a marine sediment. The standard model for the planetary formation of early solar system is: formation of solid particles condensed from the cooling of hot nebular gas -> formation of planet-sized bodies by accretion of those solid particles. The Moon is supposed to have formed from the accretion of the relicts produced by the collision of proto-Earth with Mars-sized body. It is not easy to pinpoint the age of the Earth, considering the series of events related to the formation of the Earth. So, I propose that the collision age as that of the Earth, since the present status of the Earth is thought to be the direct product of the collision. According to the previous studies, the collision age can be broadly constrained between the age ($4567.30{\pm}0.16Ma$) of the earliest condensates (CAI, calcium-aluminum rich inclusion) of the nebula gas, i.e., the age of the solar system, and the oldest age ($4,456{\pm}40Ma$) among rocks and minerals of the Earth and the Moon. We need more precise estimation of the collision age, since it is important in estimating time scale for the formation of planet-size body and in revealing thermal evolution of magma oceans of the Earth and the Moon presumably developed right after the collision.

• Journal of the Korea Convergence Society
• /
• v.12 no.10
• /
• pp.343-352
• /
• 2021

A convergence study was conducted to develop a smartphone application for self-practice of core nursing skills and evaluate its usefulness for undergraduate nursing students. Mobile Application Rating Scale and seven essay questionnaire were used to for usability evaluation among 22 undergraduate nursing students. The score of the information domain was the highest with 4.19(SD 0.79). The subjective quality domain showed the lowest score of 3.08(SD 0.87). Participants' performance confidence score was 8.23(SD 1.60), and learning satisfaction score was 7.89(SD 0.87). Participants reported that the convenience and repetitive self-learning were the strengths of the app. In addition, design and technical supplementation, and lecturer-feedback would improve effectiveness of the current educational app. Findings of this convergent study would be helpful to promote the application of mobile apps for effective self-learning of core nursing skills in undergraduate nursing education. Future resesarch is needed to examine effectiveness study of mobile app on the performance of core nursing skills.

• Journal of Space Technology and Applications
• /
• v.2 no.1
• /
• pp.52-65
• /
• 2022

Korea is near close the success on the indigenous launch vehicle KSLV-2 after the second test launch during the second half of 2022, and the satellite development has been already in the level of advanced country. After the such mature of satellite and launch vehicle technologies, Korea's space development main theme should be 'Space Exploration and Space Application', and paradigm should be changed from 'Hardware' to 'Scientific/Technological Mission', from 'Unmanned' to 'Manned'. Korea's prime space strategy should be the direction of expansion of space industry, creation of employment and secure the key technologies, improvement of convenience and safety of people. For the purpose it is necessary to start 'Manned Space Development' such that participation to 'Artemis and Gateway Program' in 20s' and manned Mars exploration in 30s' which would be carried out by means of global international cooperation, and which could be a good opportunity to explore the new area of space development and upgrade national technology capability. Taking advantage of this opportunity, it is required for Korea to join the international programs through developing indigenous challenging, sustainable Korean mission and hardware. Also selection of the 2^nd Korean Astronaut could draw national attention, especially could give dreams to young generation. Participation to the Artemis program could be the opportunity of entering the major space fairing nation and boosting up national pride. In this study we survey and analyze the Artemis Program in detail, and in conclusion we suggest the strategy of Korea's participation to the Artemis Program.

• Economic and Environmental Geology
• /
• v.55 no.4
• /
• pp.421-428
• /
• 2022

This study analyzes emerging earthquake and space use technologies from the latest Korean and Japanese scientific and technological foresights in 2022 and 2019, respectively. Unlike the earthquake prediction and early warning technologies presented in the 2017 study, the emerging earthquake technologies in 2022 in Korea was described as an earthquake/complex disaster information technology and public data platform. Many detailed future technologies were presented in Japan's 2019 survey, which includes largescale earthquake prediction, induced earthquake, national liquefaction risk, wide-scale stress measurement; and monitoring by Internet of Things (IoT) or artificial intelligence (AI) observation & analysis. The latest emerging space use technology in Korea and Japan were presented in more detail as robotic mining technology for water/ice, Helium-3, and rare earth metals, and manned station technology that utilizes local resources on the moon and Mars. The technological realization year forecasting in 2019 was delayed by 4-10 years from the prediction in 2015, which could be greater due to the Corona 19 epidemic, the declaration of carbon neutrality in Korea and Japan in 2020 and the Russo-Ukrainian War in 2022. However, it is required to more active research on earthquake and space technologies linked to information technology.

• Journal of Space Technology and Applications
• /
• v.3 no.1
• /
• pp.26-43
• /
• 2023

As Korean first lunar probe, Danuri, succeeded in entering lunar orbit, Korean new space exploration plans such as Mars exploration can be expected. Korean space exploration payload is developed only in a limited field, so there is a need to create a new space exploration payload. In foreign countries, there is a mass spectrometer as a basic equipment for space exploration, and it is a very useful payload that encompasses the exploration of life through the analysis of organic matter as well as the observation of the atmosphere and volatile substances of the exploration target. However, Korea has never developed a mass spectrometer payload for space exploration, so it is necessary to secure technology in preparation for future space exploration. Before that, we look at the scientific achievements of foreign mass spectrometer payloads for space exploration and identify trends.

• Journal of Space Technology and Applications
• /
• v.3 no.1
• /
• pp.86-99
• /
• 2023

The mass spectrometer, being an essential scientific instrument for uncovering the origin of the solar system and life, has been used since the early 1970s on board spacecraft to obtain information of neutral and ionized elements in the atmosphere and surface of the moon, planets, asteroids, and comets. According to the 4th Basic Plan for the Promotion of Space Development (2023-2027), Korea plans to conduct lunar landing in 2032 and Mars landing in 2045 as the core goals of the plan and focuses on developing the technologies required for unmanned robotic exploration missions. In this regard, it is crucial to develop the technology of a mass spectrometer, which is the most fundamental payload for space exploration for maximized scientific achievements, however never tried before in any domestic space missions. We describe in this paper the principle of a domestically developed quadrupole mass spectrometer, its prototype model, and the test results of its performance. We conclude this paper with intended future improvements.

• Journal of The Korean Astronomical Society
• /
• v.56 no.2
• /
• pp.263-275
• /
• 2023

The Sun-Earth Lagrange point L4 is considered as one of the unique places where the solar activity and heliospheric environment can be observed in a continuous and comprehensive manner. The L4 mission affords a clear and wide-angle view of the Sun-Earth line for the study of the Sun-Earth and Sun-Moon connections from he perspective of remote-sensing observations. In-situ measurements of the solar radiation, solar wind, and heliospheric magnetic field are critical components necessary for monitoring and forecasting the radiation environment as it relates to the issue of safe human exploration of the Moon and Mars. A dust detector on the ram side of the spacecraft allows for an unprecedented detection of local dust and its interactions with the heliosphere. The purpose of the present paper is to emphasize the importance of L4 observations as well as to outline a strategy for the planned L4 mission with remote and in-situ payloads onboard a Korean spacecraft. It is expected that the Korean L4 mission can significantly contribute to improving the space weather forecasting capability by enhancing the understanding of heliosphere through comprehensive and coordinated observations of the heliosphere at multi-points with other existing or planned L1 and L5 missions.

• Journal of Korean Elementary Science Education
• /
• v.43 no.2
• /
• pp.337-352
• /
• 2024

This study develops an informal science education program based on a creative design for the promotion of participation and action and explores the validity and effectiveness of the program. The program consists of three mini-projects, namely, The Martian: Surviving from the Mars, So Good to Have Seonjeongneung, and Designing a Sunshine Restaurant, with distinct topics focusing on the localization and contextualization of the region in which the program was implemented to encourage students' participation and action. The researchers selected three topics for each mini-project through discussions and revisions. The program is designed for 42 lessons across the three mini-projects and offers a presentation session in which students present their learnings from the program, constructed to facilitate personal contextualization. Participants included 15 elementary school students from Grades 5 and 6 who took surveys before and after the program. The pre-post surveys comprised two dimensions, 'Participation and Action' and 'Positive Experience about Science,' to examine the effectiveness of the program. At the end of the survey, we added a self-descriptive question that allows students to freely write down their feelings and thoughts. We checked the students' thoughts. The effectiveness of the program was illustrated by the largest increase in the "safe society" category, whereas there was little increase in other categories under the 'participation and Action' dimension in the Korean Science Education Standards. 'Science-related Self-concept' exhibited the largest increase, whereas the other categories displayed little increase from the 'Positive Experience about Science' dimension category.

• The Korean Journal of Air & Space Law and Policy
• /
• v.35 no.1
• /
• pp.181-202
• /
• 2020

The Non-Appropriation Principle was stipulated in the OST and the MA. However the MA, creating CHM in international law for the first time, attempted to further limit the prohibitions to include ownership of resources extracted from celestial bodies, its rejection by the U.S. and most of the international spacefaring community prevented it from serving as a binding international treaty. Individuals or private enterprises intending to perform space exploitation must receive approval from the nation and may not appropriate outer space or celestial bodies. In the course of this space activity, each party will be liable. Articles 6 and 7 of the OST and the Liability Convention of 1972 deal with matters concerning those problems. The CSLCA of 2015 and Luxembourg Space Resources Law of 2017 allows States to provide commercial exploration and use of space resources to their own nationals and to companies operated by other countries within their territory. These laws do not violate Article 2 of the OST. In the case of the CSLCA of 2015, the law clearly states that it cannot claim ownership, sovereignty or jurisdiction over certain celestial bodies. Even if scholars claim that the U.S. CSLCA and Luxembourg Space Resources Law violate the non-appropriation principle of the OST, they cannot prevent these two countries from extracting the space resources on "the first come, first served" basis. The legal status of outer space including the moon and other celestial bodies is res extra commercium, like the high seas, where the fishing vessels from each country catch and sell fish without occupying the sea. Major space-faring nations must push for the adoption of an international regulatory committee which will oversee applications and issue permits based on a set of robust, modern, and forward-thinking ideals that are best equipped to govern and protect outer space as individuals, businesses, and nations compete to commercialize space through mining and the extraction of space-based resources. The new Corpus Juris Spatialis on the development of space resources, whether it is a treaty or a soft law such as recommendation and declaration, in the case of the Moon and Mars, will cover a certain amount of area to develop, and the development period by the states should be specified.