• 동북아역사논총
• /
• no.59
• /
• pp.150-186
• /
• 2018

This paper explains what Japanese progressive liberalism was in postwar Japan by clarifying Maruyama Masao's "Cold War Liberalism," focusing especially on his realism and nationalism searching for "democracy" and "peace" in the context of the early Cold War Japan. Maruyama's Cold War liberalism can be grasped from two perspectives: how the Cold War defined his liberalism and how Maruyama interpreted the Cold War as a liberalist in postwar Japan. The liberal interpretation of the Cold War captures the spatial manifestations of liberalism in the Cold War while Cold War liberalism was to grasp the temporal succession of modern Japan. Maruyama revealed his liberal thinking by combining it to his idea of nationalism and realism. He was concerned about the reshaping of the fascist atmosphere provoked by anti-communism emerging from 186 | 동북아역사논총 59호the Cold War confrontation structure. He sought "neutrality" and "peace" to overcome the so-called "two worlds" of the Cold War. And he stressed the importance of "fair judgment" and "autonomous association" to restrain the fascistic atmosphere in postwar Japan. For Maruyama, subjectivity aimed at the concept of "nation" rather than "citizen," and nationalism was a condition for "democracy" and "peace" in postwar Japan. Maruyama's critical liberalism worked through nationalism and realism.

• Journal of KIISE:Software and Applications
• /
• v.30 no.5_6
• /
• pp.587-597
• /
• 2003

The C language is widely adopted for safety-critical systems. However, it is known that the C language is an unsuitable choice for safety-critical system since the C language includes several bad language features such as heavy use of pointers. The aim of this work is to define safe subset of the C language and translate the subset into the SPARK Ada so that we can verify the program's safety using SPARK analysis tools. SPARK is a safe subset of Ada and has been successfully applied to high integrity system development. The C program translated into SPARK has the same integrity level as SPARK, and the program correctness can be verified by using Examiner which is a SPARK analysis tool. An elevator controller case study is presented and is used to demonstrate the potential use of our approach to implement a realistic system. We also developed a translator that automatically translates C code into SPARK in accordance with the translation rules.

• Tunnel and Underground Space
• /
• v.11 no.2
• /
• pp.167-173
• /
• 2001

The joint model has influence on the results of discontinuum analysis. In this study the results of discontinuum analysis with Barton-Bandis joint model(BB model) and with Mohr-Coulomb joint model(MC model) are compared. The results of continuum analysis under the same condition are compared with the results of discontinuum analysis to investigate the behavior of rockmass around tunnel. The result of continuum analysis and that of discontinuum analysis with BB model show similar distribution of displacement and stress. On the other hand, the discontinuum analysis with MC model shows different displacement distribution and stress distribution. Moreover, the displacement and minor principal stress of the discontinuum analysis with MC model are smaller than those of continuum analysis, although the joints are explicitly considered in the discontinuum analysis. These results are originated from the limitation of MC model in simulating joint deformation behavior, especially the assumption of constant dilation jingle independent of it)int 7hear displacement.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2019.05a
• /
• pp.404-404
• /
• 2019

우리나라는 수자원장기종합계획과 유역종합치수계획의 수립을 통해 수자원의 개발, 안정적인 공급과 효율적인 배분, 홍수재해방지 등을 위한 많은 노력을 해왔다. 최근에는 수자원의 관리효율화, 체계적 통합적으로 시행하고자 수자원법을 제정하여 수자원 관리의 체계를 개편하였으며, 향후 지자체 중심의 정량적인 물수급평가를 통해 현실적인 결과와 대안을 마련하는 것이 필요하다. 기존의 용수공급능력 평가와 물수급계획은 시 군 중심의 용수수요량을 바탕으로 중권역 단위로 확장하고, K-WEAP(Korea-Water Evaluation And Planing System) 모형을 활용하여 용수수급전망을 제시하고 있다. 이에 본 연구에서는 한강 권역을 중심으로 기존 계획에서 활용한 K-WEAP과 국내 외 활용도가 높은 MODSIM(Modified SIMYLD)을 활용하여 각 모형에 대한 입력자료, 내부 계산 알고리즘 및 분석방법 등 모형의 적용성을 검토하여 중권역 기반의 물수급 분석 결과를 비교 하였으며, 향후 모형 적용 시 고려사항 및 발생 가능한 오류를 최소화 할 수 있도록 하고자 하였다. 분석 결과, 기존 수자원장기종합계획에서 활용한 K-WEAP모형은 생 공 농업용수가 모두 동일우선순위이나, MODSIM모형에서는 수요지별 우선순위를 고려해야 하므로 상 하류간, 생활 공업, 농업으로 우선순위를 부여할 경우 물 부족량의 차이가 발생하였다. 우선순위 적용시 K-WEAP과 형과 MODSIM을 비교할 경우, 유사한 물부족량과 시점을 제공하고 있어 적용성과 분석결과의 일관성을 확인할 수 있었다. 또한 같은 물부족 결과를 제공하는 조건의 검토 수행 시간 측면과 모형구동 결과의 안정성에서 MODSIM이 더 우수한 것으로 분석되어 향후 지자체 중심의 세부적인 물수급평가를 위해서는 빠른 의사결정을 도울 수 있을 것으로 판단된다.

• Journal of the Korean Geotechnical Society
• /
• v.30 no.11
• /
• pp.51-60
• /
• 2014

Load and Resistance Factor Design (LRFD) is one of the limit state design methods, and has been used worldwide, especially in North America. Also, the study for LRFD has been actively conducted in Korea. However, the data for LRFD in Korea were not sufficient, so resistance factors suggested by AASTTO have been used for the design in Korea. But the resistance factors suggested by AASHTO represent the characteristics of bedrocks defined in the US, therefore, it is necessary to determine the resistance factors for designs in Korea, which can reflect the characteristics of bedrocks in Korea. Also, the calculated probabilities of failure from conventional reliability analyses which commonly use log-normal distribution are not realistic because of the lower tail that can be extended to zero. Therefore, it is necessary to calibrate the resistance factors considering the lower-bound resistance. Thus, this study calculates the resistance factors using thirteen sets of drilled shaft load test results, and then calibrates the resistance factors considering the lower-bound resistance corresponding to a target reliability index of 3.0. As a result, resistance factors from conventional reliability analyses were determined in the range of 0.13-0.32 for the shaft resistance, and 0.19-0.29 for the base resistance, respectively. Also, the lower bounds of resistance were determined based on the Hoek-Brown failure criteria (2002) and GSI downgrading. Considering the lower-bound resistances, resistance factors increased by 0~8% for the shaft, and 0~13% for the base, respectively.

• Journal of Music and Human Behavior
• /
• v.9 no.1
• /
• pp.37-53
• /
• 2012

This study is conducted to analyse the process and the pattern of motivation for musical expression in clinical music therapy for the adults in the mental health center. The participant were 8 adults purposive sampling who had more than one year music therapy experience in the mental health center and their age ranged from 27 to 53. A major category derived and analysed from the grounded theory method by Strauss and Corbin. The qualitative analysis indicated that motivation for musical expression in music therapy, which was the central phenomenon in this study, was determined by the music therapist and songs used in the sessions. The central phenomenon was caused by the therapist's friendly attitude, high musical capacity, the familarity of the selected songs and the significancy of the lyrics of selected songs. The levels of reliability about the therapist's personality and musical ability as a professional music therapist and the positive arousal of the songs used in sessions affected as the contextual condition. Spontaneous musical expression in music therapy brought the escape from reality, release of stress and sharing by the intervening condition 'empathy' and this resulted in mood regulation, the instillation of hope and group cohesion. It has been found that there were three types of motivation in music therapy: intrinsic motivation, relationship dependent extrinsic motivation and evasive motivation.

• Journal of Wetlands Research
• /
• v.10 no.2
• /
• pp.155-164
• /
• 2008

As popultations expand and economies develop, increasing competition for limited available water resources is occurring among many water users. This has brought greater attention to water allocation with legal and institutional constraints. This paper develops a optimal water allocation methodology to basinwide water resources allocation, which ensures that scare water resources are allocated among competing water users. The methodology need to be based on optimization technique to allocate water resources due to an extended scaled of river basin. The recommended model is developed to accomplish economic efficiency, equity and sustainability objectives. The appropriate case study is tested with various existing water right system allocation model and the recommended model. The result shows the applicability of model to the complex hydrologic system with legal and institutional constraints.

• Journal of Korean Tunnelling and Underground Space Association
• /
• v.2 no.3
• /
• pp.71-81
• /
• 2000

For the construction of NATM tunnel, it is required a design based on the accurate soil condition from soil investigation. However, in practice, it often designs tunnels without fully understanding the condition. Especially, when soft soil comes up, or ground water breaks out suddenly on the construction, it needs to secure the stability of tunnel by appropriate reinforcing construction according to the results of measurements on field superlatively reflecting the faced situation. This report reviews the mostsuitable stability of tunnel in the construction of soft soil of tunnel by numerical analysis using FDM after re-evaluated the soil properties through back analysis using the results of measurements to simulate abruptly occurred deformation. And applying steel pipe grouting row by row on the wall and the low part of tunnel and also applying the construction method of temporary invert after excavation of the upper part of tunnel, the excavation of soft soil tunnel secured the structural stability of tunnel has been completed.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.18 no.11
• /
• pp.263-281
• /
• 2017

Global optimization that considers the processes at integrated steel mills is more important than the local optimization to improve the efficiency of a single process. Research utilizing mathematical models at integrated steel mills predominantly focus on solving problems solely for a specific process or focusing on what techniques are applied to. However, it is important to define the problems that must be solved at the steelworks, identify the objectives and constraints that can be modeled, and selection of methodologies that can be applied to the problems. The purpose of this study is to investigate the problems in improving efficiency at integrated steel mills from the viewpoint of production & operations management. We review the research have been conducted in order to solve those problems. We classified the research into 6 categories and suggested future research direction based on the global optimization. It is expected that research themes for improving the efficiency at integrated steel mills will be derived.

• Proceedings of the Plant Resources Society of Korea Conference
• /
• 2008.11a
• /
• pp.37-51
• /
• 2008

인삼은 재배적지에 대한 선택성이 매우 강한 식물이며, 기후 토양 등의 자연환경이 적당하지 않으면 인삼의 생육이 곤란하고, 생육이 가능하더라도 생산된 인삼의 형태, 품질 및 약효에서 현저한 차이를 나타내고 있다. 이러한 인삼의 식물학적 특성이 우리나라에서는 최적의 환경조건으로 인정되어 고려인삼은 세계적으로 최고의 품질로 높이 평가되는 이유이다. 하지만 실질적인 인삼의 생리활성물질에 대한 연구는 서구열강 및 일본에 의해 대다수 연구, 발표되었으며 또한 인삼의 우수성을 인정하여 넓은 영토와 수많은 과학적 지식으로 고려인삼의 우수한 품질을 앞서가려 하고 있는 것이 현실정이다. 특히 중국의 넓은 인삼재배면적에서 값싸게 생산된 인삼이 한국시장을 위협하고 있으며, 미국과 캐나다에서 수많은 연구비를 투자하여 자국삼인 화기삼의 홍보를 대대적으로 함으로서 전세계의 인삼시장의 변화를 유도하고 있고, 호주, 뉴질랜드에서도 청정인삼을 내세워 한국 및 전세계 인삼시장을 잠식해가고 있다. 이런 변화에 의하여 한때 인삼의 종주국으로 전세계의 인삼시장을 석권했던 한국의 고려인삼이 과거의 위상을 점차 잃어 가고 있는 실정이다. 따라서 인삼재배면적이 경쟁국과 비교해 상대적으로 열세인 한국의 고려인삼이 선택할수 있는 방법은 비록 생산은 적더라도 고부가가치인삼을 생산하여 명품화로 가야 할 것으로 생각된다. 명품화를 위해서는 우선 고려인삼의 효능을 밝혀 고기능성을 입증해야하고, 재배생산단계에서부터 농약, 중금속등에 노출되지 않고 병에 자유로운 청정재배를 통해 명품화를 이룩해야 하며, 특히 제품의 생산 및 유통단계에서 표준화를 통해서 전세계의 소비자가 믿고 사용할수 있도록 해야 할 것이다. 또한 인삼에만 함유된 인삼사포닌(ginsenoside)은 배당체로서 여러 미생물에 의하여 당사슬이 끊어짐으로서 새로운 사포닌이 등장하게 되는데 이러한 사포닌이 각종 함암, 면적, 치매, 관절등에 탁월한 효능을 보임으서 많은 연구들이 진행중에 있으며, 특히 인삼에만 함유된 것으로 알고 있었던 ginsenoside가 돌외(한약재명 칠엽담)에도 함유되어 있고 일부 성분은 미생물을 통해서 변환시킴으로 서 값비싼 인삼사포닌을 생장이 빠르면 비교적 값싼 돌외 사포닌으로부터 생산할수 있게 되었다. 본 세미나에서는 각종 미생물을 이용하여 인삼의 사포닌을 변환시키고 돌외 사포닌인 gypenoside를 ginsenoside로 변환시켜 대량생산할 수 있는 방법을 제시하고자 한다.