• Proceedings of the Korea Society for Simulation Conference
• /
• 2003.11a
• /
• pp.207-217
• /
• 2003

지능적으로 공격 패턴을 달리하는 많은 공격들에 대응하기 위해 기존의 보안 시스템은 강력한 보안시스템으로 확장되고 있다. 보안 시스템과 같은 규모가 크거나 복잡한 소프트웨어 계발에 있어서 설계 및 구현 과정에서 있는 설계 변경 및 구현상의 변경으로 인한 전체 시스템에 미치는 영향이 크다. 본 논문에서는 규모가 큰 보안시스템 계발에 있어서 전체 시스템의 영향 관계를 체계적으로 정립한 소프트웨어 설계 방법론으로의 적용이다. 소프트웨어 설계 방법론은 시스템 형식론에 의거하여 소프트웨어가 표현되었으므로 논리적 연관관계를 추적하기 쉽다 이는 소프트웨어 설계 또는 설계 변경 후 인터페이스 시스템의 중요한 동적 특성을 미리 파악 할 수 있게 하여 소모적일 수 있는 시간과 노력을 절약 할 수 있다.

• The KIPS Transactions:PartD
• /
• v.11D no.3
• /
• pp.553-562
• /
• 2004

This paper constructs ERD thesaurus that is storing information about Entity Relationship Diagram(ERD), and proposes an ERD thesaurus-based methodology for view integration in an important conceptual design step in designing databases. To show the usefulness of proposed methodology, the prototype for view integration support system is implemented for the applied case. As a result, ERD thesaurus-based methodology is more effective than the existing methodologies for view Integration in the aspects of affinity analysis, semantic conflicts resolution, and view Integration processes. Therefore, our methodology is expected to be utilized in integrating the existing fragmented schema or designing a large database integration.

• Proceedings of the Korea Society for Simulation Conference
• /
• 1999.04a
• /
• pp.110-114
• /
• 1999

본 연구는 Zeigler가 제안한 이산 사건 시스템 형식론(DEVS: Discrete Event System Specification)을 이용한 거시적 및 미시적 교통류 시뮬레이션 방법론의 개발을 주 목적으로 한다. 도로 교통망의 모델링 방법은 미시적(microscopic)방법과 거시적(macroscopic)방법으로 분류된다. 이러한 모델링 방법들은 그 목적에 따라 각기 표현되어 제각기 사용되어 왔으나, 시스템 이론적으로 이들은 독립적 모델이 아니며 오히려 이들은 서로 동질적 추상화 관계에 있어서, 통합 모델링 환경의 구축시 미시적 모델들로부터 추상화에 의한 거시적 모델의 자동생성 등 설계상의 효율뿐 아니라 모델간의 일관성을 통한 모델 유효성을 보장할 수 있는 장점이 제공될 수 있다. 따라서, 본 논문에서는 서로 다른 표현 방법(즉, 이산시간 형식론과 이산사건 형식론)간의 통합 표현을 기반으로 양자간의 추상화 관계를 도출하고, 이를 이용한 모델 추상화를 통해 거시적 및 미시적 교통류 시뮬레이션 방법론을 제안한다. 시스템 이론적 접근을 토대로 접근한 통합 교통류 시뮬레이션 환경은 미국 Berkeley 대학 교통 연구소에서 개발한 SHIFT 등과 같은 최첨단 교통류 시뮬레이션 도구에 비하여 SES/MB를 기반을 시스템 이론적이며 소프트웨어공학적인 접근을 통하여, 1) 기존 제어 방식의 검증 및 신뢰도 분석, 2) 각종 사건, 사고의 시간별 파급효과 분석, 3) 도로건설 계획안에 대한 타당성 검토, 4) 운전자 및 관리자를 위한 예측된 교통정보 등을 제공할 수 있을 것으로 기대된다.

• 전기의세계
• /
• v.23 no.1
• /
• pp.21-25
• /
• 1974

BCS이론-고체양자론의 입장에서 초전도성을 구명함 - 즉 paired electron의 기원 paired electron과 normal electron간의 energy gap의 존재 자속의 양자화 Josephson tunmeling effect등에 대해서는 지면관계로 생략했고 주로 현상론적으로 극히 개략적으로 기술하게 되었으며 특히 응용부분에서는 극히 최근의 동향만을 간단하게 소개하였다.

• Journal of the Korean Geographical Society
• /
• v.49 no.2
• /
• pp.139-159
• /
• 2014

This study problematizes the dominance of developmental state theory and its negative influences in the field of Korean studies, in particular, dealing with the industrialization during the developmental era, 1960s~70s. As is generally known, the theory has been in a position of unchallenged authority on the industrialization experience of East Asian countries, including South Korea. However, at the same time, it has also misled us into overlooking strategic relations that had articulated the state forms at multiple scales. This study aims to reconstruct the historical contexts by the theorizing prompted by recent work on state space. I shed light on the multiscalar strategic relations that had shaped the Ulsan refinery plant as a representative state space of the South Korean industrialization during two decades after liberation. Specifically, the study illustrates the features and roles of Cold War networks and multiscalar agnets such as Nam Goong-Yeon. By identifying the plant as a result of sequential articulations between Ulsan and other scales, this study concludes by suggesting to reframing the strategic relational spaces, beyond the view of methodological nationalism, in the perspective of multiscalar approach.

• Journal of KIISE:Software and Applications
• /
• v.32 no.4
• /
• pp.290-299
• /
• 2005

Stealing the source code of a program is a serious problem not only in a moral sense but also in a legal sense. However, it is not clear whether the code of a program is copied from another or not. There was a program similarity checker detecting code-copy by comparing the syntax trees of programs. However this method has a limitation that it cannot detect the code-copy attacks when the attacker modifies the syntax of the program on purpose. We propose a program similarity check by program control graph, which reveals not only syntax information but also control dependancy. Our method can detect the code-copy attacks that do not change control dependancy Moreover, we define what code-copy means and establish the connection between code-copy and similarity of program control graph: we prove that two programs are related by copy congruence if and only if the program control graphs of these programs are equivalent. We implemented our method on a functional programming language, nML. The experimental results show us that the suggested method can detect code similarity that is not detected by the existing method.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2020.06a
• /
• pp.61-61
• /
• 2020

최근 수문기상학 분야에서 레이더 강수량을 활용한 응용연구가 활발하게 진행되고 있다. 하지만 레이더 강수량은 대류성 및 층상형 등과 같이 강수특성을 기준으로 레이더 반사도-강수량(Reflectivity-Rainfall, Z-R) 관계식 매개변수를 시공간적으로 동일하게 적용하여 레이더 강수량을 산정하는 방법론은 지상관측 강수량과 정량적인 편의 오차(systematic error)를 발생시킬 수 있는 문제점이 있다. 본 연구는 장기간의 레이더 합성장 반사도를 활용하여 Z-R 관계식 매개변수를 산정하였으며, 이 과정에서 Bayesian 추론 기법을 도입하여 Z-R 관계식 매개변수의 불확실성을 정량화하였다. 추가적으로 편의 오차를 최소화하기 위하여 계절성을 고려한 Z-R 관계식을 산정하였다. 건기와 우기로 구분하여 산정된 Z-R 관계식 매개변수의 공간적으로 변동성과 더불어 강수의 계절적 특성에 기인하는 Z-R 관계식 매개변수의 역비례 관계를 확인하였다. 최종적으로, 제안된 방법론으로 산정된 레이더 강수장은 일반적으로 레이더 강수량 산정에 널리 이용되는 Marshall-Palmer Z-R 관계식으로 산정된 강수장에 비하여 우수한 통계지표를 제시하였다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2010.05a
• /
• pp.357-361
• /
• 2010

미래의 연별 최대 강수량 예측의 정확성을 향상시키는데 역사적 자료가 도움이 된다는 많은 연구 결과가 있었다. 관측의 오차와 자료의 손실로 역사자료를 이용한 강수 예측 방법은 절단자료의 분석을 중심으로 연구되었다. 대표적인 역사자료의 이용방법으로 조건부 적률을 이용한 B17B [Interagency Committee in Water Data, 1982], 조건부적률과적률 관계식을 이용한 Expected Moment Algorithm(EMA) [Cohn et al.;1997], 조건부 확률가중적률을 이용한 Partial Probability Weighted Moment (PPWM)[Wang ; 1991] 방법이 있다. 본 연구에서는 역사적 자료를 반영하는 방법에 있어 B17B와 EMA의 관계를 밝히고 그러한 관계가 PPWM에 동일하게 적용할 수 있음을 보였다. 우리는 B17B와 EMA의 관계를 적률방정식으로 표현하였고 PPWM에서 확률가중 적률 방정식을 정의함으로써 PPWM을 확장하였다. 본 연구에서 제안한 새로운 역사 자료를 이용한 강수예측 방법론을 Expected Probability Weighted Momemt (EPWM) 방법이라고 부르고 그 예측 방법의 성능을 다른 예측방법과 시뮬레이션 결과를 통해 비교하였다. 역사 자료 방법론의 비교는 Generalized Extreme Value (GEV) 분포를 이용하여 이루어졌으며, 각 방법론은 GEV분포의 형태모수(shape parameter)따라 다른 특성을 나타난다는 것을 보였다. 뿐만 아니라 여기서 제안한 EPWM 방법은 대부분의 경우에 좋은 추정량을 준다는 것을 보였다.

• Journal of The Korean Association For Science Education
• /
• v.43 no.1
• /
• pp.37-47
• /
• 2023

The purpose of this study is to analyze the influence and structural relationship of variables related to science teaching professionalism. These variables set up learning organizational culture as exogenous variables and science epistemological beliefs and science teaching efficacy as endogenous variables. For this study, a survey was conducted with 499 elementary science teachers from Seoul and Gyeonggi province participating. The results of this study are as follows: Science epistemological beliefs and science teaching efficacy were found to directly affect science teaching professionalism. In addition, learning organizational culture perceived by the teachers did not show significant effects on the science teaching professionalism, but it was found that it has direct significant effects on science epistemological beliefs and science teaching efficacy. Based on the results of this study, which examines the structural relationship between learning organizational culture, science epistemological beliefs, science teaching efficacy and science teaching professionalism. we deem that it is necessary to consider internal factors of teachers as well as ways to improve learning organizational culture.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04c
• /
• pp.25-27
• /
• 2003

재공학 방법론의 메타 모델은 재공학을 위해 수반된 다양한 범위의 여러 기술들 간의 관계성을 식별하고 추상화 함으로써, 재공학 방법론 개발자들이 일관성 있게 적용할 수 있는 방법론 개발 원칙을 정립할 수 있다. 따라서, 본 논문에서는 레거시 시스템의 재공학을 위한 체계적인 방법론 개발을 위해 메타 모델을 정의하고, 이를 바탕으로 실제 레거시 시스템을 새로운 시스템 환경으로의 변환 및 통합을 지원하기 위한 아키텍쳐 기반의 컴포넌트화 방법론인 마르미-RE를 개발한다. 이를 위해 재공학 기술의 체계를 분석하고 방법론을 구성하는 기술 요소들을 정의하기 위한 기술적 메타 모델과, 방법론을 구성하는 업무 단위를 정의한 프로세스 메타 모델을 정의한다. 그리고, 프로세스 메타 모델에 따라 기술적 메타 모델을 전개시킴으로써 마르미-RE의 세부 단계와 활동, 작업등을 개발한다.