• Annual Conference of KIPS
• /
• 2017.04a
• /
• pp.283-286
• /
• 2017

소프트웨어 내제되어 있는 보안약점과 보안취약점으로 인해 사회적으로 많이 비용이 발생함에 따라 안전한 소프트웨어를 개발하고자하는 요구가 증가하고 있다. 최근 바이너리 코드에 내제된 보안약점을 분석하기 위해서 중간코드를 이용하여 정적분석을 수행하는 다양한 연구가 진행되고 있다. 중간 언어를 사용함으로 실행환경에 따라 달라지는 바이너리 코드가 중간언어로만 변환이 된다면 동일한 형태의 보안약점 분석기술을 통해 효과적인 수행이 가능하다. 이 기술의 핵심은 바이너리 코드로부터 얼마나 코드내의 자료형 및 변수를 재구성하여 중간언어로 변환하는 것이다. 본 논문에서는 이와 같은 바이너리 코드로부터 보안약점 분석을 위한 중간언어 변환시 효과적으로 자료형 및 변수 등에 관한 정보를 재구성하는 기법들에 대해서 조사 분석하였다.

• The Korean Journal of Applied Statistics
• /
• v.21 no.2
• /
• pp.291-299
• /
• 2008

This paper discusses model building for repeated binary response data with different time-dependent covariates each occasion. Since repeated measurements data are having correlated structure, weighed least squares(WLS) methodology is applied. Repeated measures designs are usually having different sizes of experimental units like split-plot designs. However repeated measures designs differ from split-plot designs in that the levels of one or more factors cannot be randomly assigned to one or more of the sizes of experimental units in the experiment. In this case, the levels of time cannot be assigned at random to the time intervals. Because of this nonrandom assignment, the errors corresponding to the respective experimental units may have a covariance matrix. So, the estimates of effects included in a suggested logit model are obtained by using covariance structures.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2006.05a
• /
• pp.1295-1299
• /
• 2006

횡월류위어는 홍수 피해 경감을 위해 계획되는 방수로나 저류지의 유입부에 주로 사용된다. 따라서 이러한 횡월류위어를 통해 방수로나 저류지로 월류되는 월류량을 정확히 예측하는 것은 이러한 시설의 홍수 피해 경감 능력을 예측하는데 있어 매우 중요하다. 횡월류위어를 통해 흐르는 흐름은 매우 복잡하기 때문에 일반적으로 이러한 흐름을 분석하는 것은 매우 어렵다. 따라서 대부분의 횡월류위어 유량계수 공식은 De Marchi의 해석해와 다양한 실험 자료에 근거하여 제시되고 있다. 따라서 지금까지 횡월류위어 유량계수에 대하여 많은 공식이 제안되어 왔지만, 대부분의 공식이 유사한 형태를 가지고 있으며, 횡월류위어의 상류에서의 프루드수$(Fr_1)$를 제일 중요한 설계 인자로 고려하고 있다. 그러나 최근 횡월류위어에 대한 연구가 점차 발전됨에 따라 횡월류위어 상류에서의 프루드수 외에도 위어높이와 횡월류위어 상류 수심의 비(h/y), 그리고 횡월류위어의 길이와 본류 폭의 비(L/B) 등이 고려되고 있다. 그 중에서 L/B 의 효과는 점차 중요하게 고려되고 있다. 그러나 대부분의 연구자들이 사용한 실험 장비들은 상 대적으로 높은 L/B 조건을 가지는데 반하여, 현재 국내에서 계획되고 있는 천변저류지 등에 설계된 횡월류위어의 설계 범위는 대체로 $1/10{\sim}1/200$이므로 기존 연구자들의 실험 범위와 매우 다르다고 할 수 있다. 따라서 본 연구에서는 상대적으로 폭이 넓은 실험 수로를 이용하여 횡월류예연위어의 유량 계수에 대한 실험을 수행하였다. 지금까지의 실험 결과에 의하면 동일한 실험 조건에 대해서 기존 연구자들에 의해서 제안된 공식으로 계산한 유량계수 보다 측정된 자료를 이용하여 계산한 유량계수의 값이 상대적으로 더 큰 것 으로 나타났다. 통해 배수될 때 암석이 머금고 있는 물로 인해 추가적으로 발생하는 중력은 다른 재료가 가지지 못한 화산석의 또 다른 장점이라 할 수 있다.서는 자료변환 및 가공이 필요하다. 즉, 각 상습침수지구에 필요한 지형도는 국립지리원에서 제작된 1:5,000 수치지형도가 있으나 이는 자료가 방대하고 상습침수지구에 필요하지 않은 자료들을 많이 포함하고 있으므로 상습침수지구의 데이터를 인터넷을 통해 서비스하기 위해서는 많은 불필요한 레이어의 삭제, 서비스 속도를 고려한 데이터의 일반화작업, 지도의 축소.확대 등 자료제공 방식에 따른 작업 그리고 가시성을 고려한 심볼 및 색채 디자인 등의 작업이 수반되어야 하며, 이들을 고려한 인터넷용 GIS기본도를 신규 제작한다. 상습침수지구와 관련된 각종 GIS데이타와 각 기관이 보유하고 있는 공공정보 가운데 공간정보와 연계되어야 하는 자료를 인터넷 GIS를 이용하여 효율적으로 관리하기 위해서는 단계별 구축전략이 필요하다. 따라서 본 논문에서는 인터넷 GIS를 이용하여 상습침수구역관련 정보를 검색, 처리 및 분석할 수 있는 상습침수 구역 종합정보화 시스템을 구축토록 하였다.N, 항목에서 보 상류가 높게 나타났으나, 철거되지 않은 검전보나 안양대교보에 비해 그 차이가 크지 않은 것으로 나타났다.의 기상변화가 자발성 기흉 발생에 영향을 미친다고 추론할 수 있었다. 향후 본 연구에서 추론된 기상변화와 기흉 발생과의 인과관계를 확인하고 좀 더 구체화하기 위한 연구가 필요할 것이다.게 이루어질 수 있을 것으로 기대된다.는 초과수익률이 상승하지만, 이후로는 감소하므로, 반전거래전략을 활용하는 경우 주식투자기간은 24개월이하의 중단기가 적합함을 발견하였다. 이상의 행태적 측면과 투자성과측면의 실증결과를 통하여 한국주식시장에 있어서 시장수익률을 평균적으로 초과할 수 있는

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

This paper is a report on the real aspects of Darigut that was performed in Pyungyang in 1955. The data on 1955 Darigut that is kept in a publishing company through a complicated process contains sound source, records of shamanic songs, and various photo data so it is highly valuable. The Darigut that was eventually known to the world through the performance in Seoul in 1981 is meaningful in itself, but it will have a more solid identity through the comparison with the data on the Darigut of 1955. This paper presented the form in which the data on Pyungyang Darigut remains and deduced the original form of Darigut through the comparison with Seoul Darigut. It is expected that this data will be widely publicized and contribute to the study on Korea's shamanism.

• School Mathematics
• /
• v.14 no.1
• /
• pp.85-107
• /
• 2012

Problem solving is important in school mathematics as the means and end of mathematics education. In elementary school, inductive reasoning is closely linked to problem solving. The purpose of this study was to examine ways of improving problem solving ability through analysis of inductive reasoning process. After the process of inductive reasoning in problem solving was analyzed, five different stages of inductive reasoning were selected. It's assumed that the flow of inductive reasoning would begin with stage 0 and then go on to the higher stages step by step, and diverse sorts of additional inductive reasoning flow were selected depending on what students would do in case of finding counter examples to a regulation found by them or to their inference. And then a case study was implemented after four elementary school students who were in their sixth grade were selected in order to check the appropriateness of the stages and flows of inductive reasoning selected in this study, and how to teach inductive reasoning and what to teach to improve problem solving ability in terms of questioning and advising, the creation of student-centered class culture and representation were discussed to map out lesson plans. The conclusion of the study and the implications of the conclusion were as follows: First, a change of teacher roles is required in problem-solving education. Teachers should provide students with a wide variety of problem-solving strategies, serve as facilitators of their thinking and give many chances for them ide splore the given problems on their own. And they should be careful entegieto take considerations on the level of each student's understanding, the changes of their thinking during problem-solving process and their response. Second, elementary schools also should provide more intensive education on justification, and one of the best teaching methods will be by taking generic examples. Third, a student-centered classroom should be created to further the class participation of students and encourage them to explore without any restrictions. Fourth, inductive reasoning should be viewed as a crucial means to boost mathematical creativity.

• Annual Conference of KIPS
• /
• 2001.10b
• /
• pp.1061-1064
• /
• 2001

일반적으로 비정상행위를 탐지하는데 통계적인 기법을 사용하여 왔다. 본 논문에서는 통계적인 기법의 단점을 보완하기 위해 베이지안 네트워크(Bayesian Network)의 장점들을 이용한 비정상행위에 대한 판정 및 분석에 효과적인 방법을 연구하고자 한다. 리눅스 시스템의 감사자료(LSM audit data)로부터 사용자의 정상행위에 대해 베이지안 네트워크 학습에 효율적인 Sparse Candidate 알고리즘을 사용하고, 감사자료의 일부가 결여되어 있는 경우에도 추론이 가능하도록 Gibbs Sampling 방법을 적용하여 시스템 사용자의 비정상행위를 판정하는데 도움이 되도록 한다.

• Journal of KIISE:Software and Applications
• /
• v.31 no.2
• /
• pp.137-152
• /
• 2004

Assesment of 30 nutritional minerals and 8 toxic elements in hair are very important not only for determining adequacy, deficiencies and unbalance, but also for assessing their relative relationships in the body. A test has been developed that serves this purpose exceedingly well. This test is known as tissue mineral analysis(TMA). TMA is very popular method in hair mineral analysis for health care professionals in over 46 countries' medical center. However, there are some problems. First, they do not have database which is suitable for korean to do analyze. Second, as the TMA results from TEI-USA is composed of english documents and graphic files prohibited to open, its usability is very low. Third, some of them has low level database which is related to TMA, so hairs are sent to TEI-USA for analyzing and medical services. it bring about an severe outflow of dollars. Finally, TMA results are based on the database of american health and mineral standards, it is possibly mislead korean mineral standards. The purposes of this research is to develope the first Intelligent Medical Expert System(IMES) of TMA, in Korea, which makes clear the problems mentioned earlier IMES can analyze the tissue mineral data with multiple stage decision tree classifier. It is also constructed with multiple fuzzy rule base and hence analyze the complex data from Korean database by fuzzy inference methods. Pilot test of this systems are increased of business efficiency and business satisfaction 86% and 92% respectively.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2006.05a
• /
• pp.1492-1496
• /
• 2006

수공구조물의 설계에 있어 가중 중요한 변수 중에 하나가 확률 강우량이다. 우리나라의 경우 매개변수적인 지점빈도해석을 통해 확률 강우량을 산정하고 있으나, 최근 들어 지점별 관측자료의 부족으로 인한 지역빈도해석을 수행하여 확률강우량을 산정하고 있는 실정이다. Index Flood 기법이나 L-moment 기법과 같은 기존의 지역빈도해석은 여러 관측 지점에서 관측된 강우자료를 이용하여 매년최대 시간강우량 자료를 추출하여 동질성 분석을 통해 이질성이 없는 것으로 분석된 연최대 강우량을 빈도해석 하여 확률 강우량을 결정한다. 그러나 이와 같은 지역빈도해석은 매개변수적 지점빈도해석과 마찬가지로 적합도 검정에 통과한 다수의 분포형이 선정되는 경우에 어떤 분포형을 사용하느냐 하는 문제점이 발생할 수 있다. 그리고 선정된 여러 강우 관측 지점의 연최대 강우량 자료에 모두 동일한 확률 분포형을 이용하므로 선정된 확률 분포형이 모든 지점의 강우 자료와 적합하지 못할 가능성을 내포하고 있으며, 또한 수문자료가 여러가지 요인으로 인하여 복합분포(mixed distribution)형태를 가질 때, 매개변수적 해석방법으로는 다중 첨두를 갖는 확률밀도함수를 해석하는데는 여러 가지 어려움이 따른다. 따라서 이러한 매개변수적 확률분포형을 이용한 빈도해석의 문제점을 해결할 수 있는 비매개변수적 빈도해석이 하나의 대안으로 제시될 수 있다. 본 연구에서는 강우자료의 선별을 통해 신뢰성 있는 자료를 구축하고, 기존의 매개변수를 갖는 확률 분포형을 이용한 지역빈도해석을 적용하여 확률 강우량을 산정하였다. 그리고 동질성분석을 통해 선정된 강우자료에 대해 비매개변수적 지역빈도해석을 적용하여 확률 강우량을 산정하고 각각의 방법에 대한 빈도해석 결과를 비교하여 확률강우량 해석에 있어 하나의 대안을 제시하고자 한다.X>${\mu}_{max,A}$는 최대암모니아 섭취률을 이용하여 구한 결과 $0.65d^{-1}$로 나타났다.EX>$60%{\sim}87%$가 수심 10m 이내에 분포하였고, 녹조강과 남조강이 우점하는 하절기에는 5m 이내에 주로 분포하였다. 취수탑 지점의 수심이 연중 $25{\sim}35m$를 유지하는 H호의 경우 간헐식 폭기장치를 가동하는 기간은 물론 그 외 기간에도 취수구의 심도를 표층 10m 이하로 유지 할 경우 전체 조류 유입량을 60% 이상 저감할 수 있을 것으로 조사되었다.심볼 및 색채 디자인 등의 작업이 수반되어야 하며, 이들을 고려한 인터넷용 GIS기본도를 신규 제작한다. 상습침수지구와 관련된 각종 GIS데이타와 각 기관이 보유하고 있는 공공정보 가운데 공간정보와 연계되어야 하는 자료를 인터넷 GIS를 이용하여 효율적으로 관리하기 위해서는 단계별 구축전략이 필요하다. 따라서 본 논문에서는 인터넷 GIS를 이용하여 상습침수구역관련 정보를 검색, 처리 및 분석할 수 있는 상습침수 구역 종합정보화 시스템을 구축토록 하였다.N, 항목에서 보 상류가 높게 나타났으나, 철거되지 않은 검전보나 안양대교보에 비해 그 차이가 크지 않은 것으로 나타났다.의 기상변화가 자발성 기흉 발생에 영향을 미친다고 추론할 수 있었다. 향후 본 연구에서 추론된 기상변화와 기흉 발생과의 인과관계를 확인하고 좀 더 구체화하기 위한 연구가 필요할 것이다.게 이루어질 수 있을 것으로 기대된다.는 초과수익률이 상승하지만, 이후로는 감소하므로, 반전거래전략을 활용하는 경우 주식투자기간은 24개월이하의 중단기가 적합함을 발견하였다. 이상의 행태적 측면과 투자성과측면의 실증결과를 통하여 한국주식시장에 있어서 시장수익률을 평균적으로 초과할 수 있는 거래전

• Proceedings of the Korea Water Resources Association Conference
• /
• 2006.05a
• /
• pp.1515-1519
• /
• 2006

본 연구에서는 초단시간 강수예보(VSRF, Very Short-Range Forecast of precipitation) 시스템 구축 현황을 소개하고자 한다. VSRF 모델은 레이더 반사도 자료와 지상 AWS 자료를 이용하여 레이더-AWS 강우강도를 산출하는 강수분석과정과 분석된 강수량 자료와 중규모 수치예보장을 사용하여 외삽법에 의한 초단시간 강수예보를 수행하는 예보과정, 실시간으로 산출된 강수예보 자료를 검증하고 홈페이지에 제공하는 자료지원과정으로 구성된다. 본 연구에서는 모델의 예보능력을 향상시키기 위해 크게 두 가지 측면에서 모델을 개선하였다. 첫째는 모델의 입력자료인 레이더-AWS 강우강도 자료를 기상연구소 원격탐사연구실에서 운영하던 WPMM (Window Probability Matching Method)과 기상청 기상레이더과에서 운영하던 RQPE(Radar Quantitative Precipitation Estimation)의 알고리즘을 통합하여 정확한 강우강도 자료인 레이더-AWS 강우강도(RAR, Radar-AWS Rain rate) 시스템을 구축하여 개선하였으며, 둘째는 외삽과정을 통한 예보가 3시간이 지나면 예측능력이 감소하는 문제점을 보완하기 위해 현업 중규모 모델(RDAPS, Regional Data Assimilation and Prediction System)의 예측강수와 병합하여 모델을 개선하였다. 또한 이를 시계열 검증 및 공간 검증하는 실시간 검증 시스템을 구축하여 실시간으로 모델의 정확성을 평가하고 있다. 그 결과 입력자료 개선을 통한 모델의 정확도는 크게 향상된 결과는 볼 수 없었지만 미약하게 향상된 것을 확인할 수 있었으며, 모델의 병합을 통한 모델의 개선은 예측 3시간 이후부터는 50% 정도 향상되었다.의 대안을 제시하고자 한다.X>${\mu}_{max,A}$는 최대암모니아 섭취률을 이용하여 구한 결과 $0.65d^{-1}$로 나타났다.EX>$60%{\sim}87%$가 수심 10m 이내에 분포하였고, 녹조강과 남조강이 우점하는 하절기에는 5m 이내에 주로 분포하였다. 취수탑 지점의 수심이 연중 $25{\sim}35m$를 유지하는 H호의 경우 간헐식 폭기장치를 가동하는 기간은 물론 그 외 기간에도 취수구의 심도를 표층 10m 이하로 유지 할 경우 전체 조류 유입량을 60% 이상 저감할 수 있을 것으로 조사되었다.심볼 및 색채 디자인 등의 작업이 수반되어야 하며, 이들을 고려한 인터넷용 GIS기본도를 신규 제작한다. 상습침수지구와 관련된 각종 GIS데이타와 각 기관이 보유하고 있는 공공정보 가운데 공간정보와 연계되어야 하는 자료를 인터넷 GIS를 이용하여 효율적으로 관리하기 위해서는 단계별 구축전략이 필요하다. 따라서 본 논문에서는 인터넷 GIS를 이용하여 상습침수구역관련 정보를 검색, 처리 및 분석할 수 있는 상습침수 구역 종합정보화 시스템을 구축토록 하였다.N, 항목에서 보 상류가 높게 나타났으나, 철거되지 않은 검전보나 안양대교보에 비해 그 차이가 크지 않은 것으로 나타났다.의 기상변화가 자발성 기흉 발생에 영향을 미친다고 추론할 수 있었다. 향후 본 연구에서 추론된 기상변화와 기흉 발생과의 인과관계를 확인하고 좀 더 구체화하기 위한 연구가 필요할 것이다.게 이루어질 수 있을 것으로 기대된다.는 초과수익률이 상승하지만, 이후로는 감소하므로, 반전거래전략을 활용하는 경우 주식투자기간은 24개월이하의 중단기가 적합함을 발견하였다. 이상의 행태적 측면과 투자성과측면의 실증결과를 통하여 한국주식시장에

• Journal of the Korean School Mathematics Society
• /
• v.17 no.2
• /
• pp.291-319
• /
• 2014

The purpose of this study is to investigate students' thinking and understanding through working on Worked-out Examples on numbers and operations, specifically, radical and real numbers and operations in the middle grades. For this purpose, we developed a set of Worked-out Examples; middle school students independently worked on them. Then two students were interviewed. These data were analyzed by using the framework of mathematical proficiency. The data analysis suggested that the students seemed to go through the processes involving a combination of understanding and computation, computation and reasoning, and understanding, computation and reasoning. Also, it appeared that most of the students have difficult solving problems involving with radical and real numbers in related to strategic competence.