• The KIPS Transactions:PartD
• /
• v.14D no.6
• /
• pp.633-640
• /
• 2007

As the embedded systems closely related with our living become complex by interoperating each other via internet, the safety issue of embedded systems begins to appear For checking safety properties of the system interactions, it is necessary to describe the system behaviors in formal methods and provide a systematic safety analysis technique. In this research, the behaviors of an embedded system are described by Labeled Transition Systems(LTS) and its safety properties are checked on the system model. For enhancing the existing compositional safety analysis technique, we perform the safety analysis techniques by checking the behavioral equivalence of the reduced model and a property model after reducing the system model in the viewpoint of the property.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.10b
• /
• pp.580-585
• /
• 2006

본 논문에서는 대학생들의 프로그래밍 과제물이나 프로그래밍 경진대회에 제출된 프로그램과 같이 동일한 기능을 요구받는 프로그램 소스 집합들에서 표절 행위가 있었는지를 탐색하는 새로운 알고리즘을 제시한다. 본 논문에서는 프로그램의 소스 집합에서 추출된 키워드들의 빈도수에 기반한 로그 확률값을 가중치로 하는 적응적(adaptive) 유사도 행렬을 만들어 이를 기반으로 주어진 프로그램의 유사구간을 탐색하는 지역정렬(local alignment) 방법을 소개한다. 우리는 10여개 이상의 프로그래밍 대회에 제출된 실제 프로그램으로 본 방법론을 실험하였다. 실험결과 이 방법은 이전의 고정적 유사도 행렬(일치 +1, 불일치 -1, 갭(gap)을 이용한 일치 -2)에 의한 유사구간 탐색에 비하여 여러 장점이 있음을 알 수 있었으며, 보다 다양한 표절탐색 목적으로 제시한 적응적 유사도 행렬이 응용될 수 있음을 알 수 있었다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2017.01a
• /
• pp.213-216
• /
• 2017

본 논문에서는 사용자 입력패턴 분석을 통한 행위 기반 인증 방법을 제안한다. 이 알고리즘은 기기를 통해 들어온 사용자의 다양한 입력정보를 받아오고, 받아온 정보를 분석하여 사용자만의 고유한 정보를 추출한다. 이렇게 추출된 정보를 데이터베이스에 저장 후, 사용자에 대한 인증요청이 들어오면 입력 정보들과 저장된 입력정보의 일치여부에 따라 인증을 허용할지 결정한다. 이를 이용하면 사용자의 고유한 행위에 대한 정보를 가지고 인증을 진행하기 때문에, 사용자의 기억에 의존하지 않고 간단하게 인증 절차를 진행할 수 있다. 본 논문에서는 실험을 통해 모인 데이터를 분석하여 제안하는 인증 방법이 실질적으로 사용자 인증에 적용 될 수 있음을 보인다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10a
• /
• pp.519-521
• /
• 1999

Message Sequence Charts는 요구 사항 및 설계 단계에서 시스템의 시나리오 정보를 명세하는 수단으로 많이 사용되어 왔다. 하지만, 그 정형 시멘틱에 대한 연구가 미흡하여, 자신의 완결성 및 다른 명세와의 일치성 등의 검증이 힘든 상황이다. 본 논문에서는 Message Sequence Charts의 오토마타 기반 정형적 시멘틱을 정의한다. 제안된 오토마타 기반 정형적 시멘틱은 MSC에서의 모든 경로에 대한 행위를 유지하고, 그 오토마타는 MSC에서 발생할 수 있는 이벤트의 연속과 일치한다. 또한 본 논문에서는 오토마타의 추출을 위한 알고리즘을 제공한다. 이를 통하여 오토마타 추출과정이 자동화 됨으로써 다를 상태 기반 언어와의 검증 등이 용이하게 되고, MSC의 자체 검증에도 도움을 준다.

• Journal of KIISE:Software and Applications
• /
• v.33 no.12
• /
• pp.1090-1102
• /
• 2006

This paper suggests a new algorithm for detecting the plagiarism among a set of source codes, constrained to be functionally equivalent, such are submitted for a programming assignment or for a programming contest problem. The typical algorithms largely exploited up to now are based on Greedy-String Tiling, which seeks for a perfect match of substrings, and analysis of similarity between strings based on the local alignment of the two strings. This paper introduces a new method for detecting the similar interval of the given programs based on an adaptive similarity matrix, each entry of which is the logarithm of the probabilities of the keywords based on the frequencies of them in the given set of programs. We experimented this method using a set of programs submitted for more than 10 real programming contests. According to the experimental results, we can find several advantages of this method compared to the previous one which uses fixed similarity matrix(+1 for match, -1 for mismatch, -2 for gap) and also can find that the adaptive similarity matrix can be used for detecting various plagiarism cases.

• Journal of the Korean Society of Clothing and Textiles
• /
• v.27 no.12
• /
• pp.1381-1389
• /
• 2003

컴퓨터와 첨단영상매체의 발달로 디자인 분야에서도 컴퓨터를 사용하여 색을 자유롭게 선택할 수 있는 그래픽 소프트웨어가 도입되고 있으나 영상정보의 색채 재현성과 영상입출력 장치의 다양화로 인한 색채 불일치에 대한 문제들이 극복해야할 시급한 과제로 부각되고 있다. 따라서, 색채 영상정보 입출력장치의 색채구현 성능과 인간의 색채인지 원리이론을 바탕으로 색보정 알고리즘이 발전하여 색보정 엔진의 개발이 국제적으로 활발히 진행되고 있는 연구 분야임에도 불구하고 국내에서는 그 연구사례가 상대적으로 극히 미비한 실정이며, 더욱이, CAD 시스템을 이용한 패션/텍스타일 디자인 분야에서는 이에 대한 연구가 거의 이루어지지 않고 있다. 본 연구에서는 염색 직물의 색을 CAD시스템을 이용하여 soft-copy로 재현하고 이것을 다시 hard-copy로 출력하여 물리적 측정치와 주관적 색채 인지도간의 일치도를 비교하고, 물리적, 주관적 색차의 한계치를 제시함으로써, 패션/텍스타일 디자인 CAD시스템 운용에 기초가 되는 자료를 제공하려 하였다. 연구의 절차는 객관적 측정과 주관적 평가 두 단계로 나누어 진행되었다 연구에 사용된 직물은 7가지 색상의 면 염직물로써, CAD시스템을 이용하여 각 직물당 5개의 soft-copy를 재현하고, 이것을 다시 hard-copy로 출력하여 spectrophotometer를 이용해 물리적 측정(ΔE, ΔL, Δc, Δh)을 실시하였다. 또한 주관적 평가에는 20명의 의류학 전공 학생들이 참여하였다. 결과 분석에는 분산분석과 Friedman분석이 사용되었다. 연구 결과 색차 측정에 대한 물리적 측정치와 1차 주관적 평가치 사이의 일치도는 90.5%로 나타났으며, 2차 주관적 평가치와의 rank order는 거의 일치하는 것으로 나타났다. 또한 주관적 평가에서 피험자들은 색차인지에 있어 CIELAB 색채공간의 각각의 색요소 차이보다는 전체 색차에 더 영향을 받는 것으로 나타났다.녹색콩풍뎅이의 유충에 의하여 피해를 받는 것이 확인되었다. 녹색콩풍뎅이 유충의 피해를 받은 금잔디는 황화되거나 시들음 증상이 있었고, 이듬해 봄에는 잔디의 회복이 지연되었다.ic conductivity. The changes of $varepsilon$′ and $varepsilon$" were well estimated with this modified Havriliak-Negami model.05). 상기의 결과를 토대로, 성장과 전어체내 지방산조성에 있어서 뱀장어 치어의 사료내 EPA와 DHA의 첨가효과 미약한 것으로 판단되며, 사료내 LNA (n-3)와 LA(n-6) HUFA을 각각 0.35%, 0.65% 첨가했을 때 WG, SGR, FE, PER이 가장 높았으나, 이전의 실험(Takeuchi, 1980)과 동일한 수준인 n-3와 n-6를 각각 0.5%씩 첨가한 실험구와는 유의적인 차이를 보이지 않았다. 이렇게 볼 때, 뱀장어 치어의 필수지방산은 LNA (n-3), LA (n-6)이고, 그 적정수준은 각각 0.35-0.5%, 0.5-0.65%임을 보여준다.George W, Bush)가 새로운 지도자로 취임하여 얼마 되지 않은 2001년 9월 11일 사상 초유로 본토에서 알 카에다 테러리스트 조직에 의해 공격받게 되었다. 뉴욕의 세계무역센터 빌딩 2개가 완전히 붕괴되고, 펜타곤에 민간 여객기가 충돌하여 많은 사람이 살상 당하고, 전체적으로 세계 80여 개국으로부터의 6천여 명이 살상되었다. 전 세계와 미국은 국제 테러리스트들의 야만적 행위에 대해 경악하고 이제 미국은 그 대외정책의 최우선순위를 국제 테러를 발본색원하는 것에 두게 되었다. 본 논문은 1998년 한국에서 새로이 출범한 김대중 행정부가 북한에 대해 실시한 포용정책이 어떠한 성과를 거두고 어떠한 문제점을 간과하고 있는가에 대해 논의하고, 대북 정책의 새로운 지평을 논의하는 것을 목적으로 하고