• Title/Summary/Keyword: 자동 문제 생성 기술

Search Result 145, Processing Time 0.028 seconds

Static Analysis Based on Backward Control Flow Graph Generation Method Model for Program Analysis (프로그램 분석을 위한 정적분석 기반 역추적 제어흐름그래프 생성 방안 모델)

  • Park, Sunghyun;Kim, Yeonsu;Noh, Bongnam
    • Journal of the Korea Institute of Information Security & Cryptology
    • /
    • v.29 no.5
    • /
    • pp.1039-1048
    • /
    • 2019
  • Symbolic execution, an automatic search method for vulnerability verification, has been technically improved over the last few years. However, it is still not practical to analyze the program using only the symbolic execution itself. One of the biggest reasons is that because of the path explosion problem that occurs during program analysis, there is not enough memory, and you can not find the solution of all paths in the program using symbolic execution. Thus, it is practical for the analyst to construct a path for symbolic execution to a target with vulnerability rather than solving all paths. In this paper, we propose a static analysis - based backward CFG(Control Flow Graph) generation technique that can be used in symbolic execution for program analysis. With the creation of a backward CFG, an analyst can select potential vulnerable points, and the backward path generated from that point can be used for future symbolic execution. We conducted experiments with Linux binaries(x86), and indeed showed that potential vulnerability selection and backward CFG path generation were possible in a variety of binary situations.

An RFID Authentication Protocol Based a Random Symmetric Key using Key Change (키 변환을 이용한 랜덤 대칭키 기반의 RFID 인증 프로토콜)

  • Kim, Kyoung-Youl;Kim, Young-Back;Park, Yong-Soo;Yun, Tae-Jin;Ahn, Kwang-Seon
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2009.04a
    • /
    • pp.1421-1424
    • /
    • 2009
  • RFID(Radio-Frequency IDentification) 시스템은 무선주파수를 이용한 자동 인식 기술로 개인의 위치 추적이나 사용자 프라이버시와 같은 정보 유출의 위험성을 내포하고 있다. 이러한 문제점을 해결하기 위해 대칭키 기반의 AES 암호화 알고리즘은 해시함수나 공개키 암호화 기법에 비해 메모리를 적게 소모하고 구현이 쉬운 장점 때문에 수동형 RFID태그에 더 적합하다. 그러나 기존의 AES를 이용한 RFID 인증 프로토콜에서는 항상 고정된 키를 이용하여 암호화하였고 태그와 리더사이의 안전하지 않은 무선 채널에서 공격자에 의해 키 값이 노출될 수 있는 또 다른 문제점을 가지고 있다. 본 논문에서는 태그와 서버의 고정된 키와, 리더 태그 서버에서 생성된 난수를 차례로 이용하여 대칭키를 변환한다. 그리고 매 세션마다 변환된 키로 난수를 암호화 하면서 태그와 리더를 상호 인증한다. 이와 같이 변환된 키를 이용할 경우 키 값의 노출 문제가 해결되며, 이 키를 통해 암호화하여 인증할 경우 재전송, 도청, 위치추적 및 스푸핑과 같은 공격에도 안전하다.

English Learning Applications Using Big Data Development (빅데이터를 활용한 영어학습 애플리케이션 설계 및 구현)

  • Lee, Jae-hoon;Kim, Seung-beom;Kim, Chang-young;Yang, Won-seok;Kim, Do-woo
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2020.11a
    • /
    • pp.644-647
    • /
    • 2020
  • 최근 교육분야에서는 IT 기술을 활용하여 교육을 혁신하는 것을 의미하는 에듀테크에 대한 관심이 높아지고 있다. 단순한 지식의 전달이 아닌 사용자의 수준에 맞춰진 학습을 하고 자신의 학습 내용을 스스로 모니터링할 수 있는 새로운 교육시스템이 필요하다. 이에 본 논문에서는 빅데이터를 활용한 영어학습 애플리케이션를 제안한다. 제안하는 애플리케이션은 영어뉴스 기사에서 추출한 빅데이터를 활용하여 사용자 수준에 맞춘 유용한 문장을 분석해 자동으로 문제를 생성하고 사용자의 음성데이터를 강세 분석 알고리즘으로 원어민 발음과 비교분석 하여 발음 및 강세를 교정할 수 있도록 설계 및 구현하였다.

Development of automatic search algorithm for optimal site determination of hydroelectric dam using satellite image (위성영상을 활용한 수력발전용 댐 적지산정 알고리즘 개발)

  • Jang, Wonjin;Lee, Yonggwan;Kim, Seongjoon
    • Proceedings of the Korea Water Resources Association Conference
    • /
    • 2020.06a
    • /
    • pp.71-71
    • /
    • 2020
  • 최근 기후변화의 영향으로 극심한 가뭄과 홍수가 발생하고 기온 또한 꾸준히 상승하고 있으며, 이러한 변화에 대응하기 위해 전 세계에서 이산화탄소를 줄이고 국제 에너지 시장을 재구성하려는 시도가 꾸준히 이루어지고 있다. World Energy Outlook(2012)에 따르면 특히 에너지 시장에서 개발도상국의 수력분야 개발투자가 2035년까지 15,490억 달러에 이를 것으로 전망됨에 따라 국내에서 해외 수력발전사업에 적극적으로 나서고 있다. 그러나 국내와는 달리 댐 건설의 사전조사에 필요한 자료가 없거나 구축하는데 문제가 있어 손쉽게 구할 수 있는 자료로 사전에 수력발전 댐 적지를 조사할 수 있는 기술의 개발이 필요하다. 따라서 본 연구에서는 수력발전용 댐 위치 결정을 위한 예비 적지 분석 알고리즘을 개발하고, 분석 알고리즘에 위성영상자료인 30m 해상도의 ASTGTM(ASTER Global Digital Elevation Model)와 500m 해상도의 MCD12Q1(MODIS/Terra Aqua Land Cover) 토지피복자료를 사용하고자 한다. 예비 적지 분석 알고리즘은 DEM의 전처리, 하천망생성, 유역분할과 지형정보를 고려한 자동적지탐색과 댐 건설시 수몰면적에 따른 보상면적 산정 알고리즘을 포함하고 있으며 Python기반의 오픈소스 GIS로 구현되었다. 적지산정은 DEM으로부터 낙차, 도달시간, 내용적곡선과 같은 지형정보와 토지피복도를 통한 보상면적을 기반으로 순위를 매겨 사용자에게 최적의 위치들을 표출한다. 본 연구의 결과는 향후 해외 수력 댐 적지 예비분석 및 해외 수력산업 진출을 지원할 수 있을 것으로 기대된다.

  • PDF

Application of Spatial Information Technology to Shopping Support System (공간정보기술을 활용한 상품구매 지원 시스템)

  • Lee, Dong-Cheon;Yun, Seong-Goo
    • Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
    • /
    • v.28 no.2
    • /
    • pp.189-196
    • /
    • 2010
  • Spatial information and smart phone technology have made innovative improvement of daily life. Spatial and geographic information are in practice for various applications. Especially, spatial information along with information and telecommunication technology could create new contents for providing services for convenient daily life. Spatial information technology, recently, is not only for acquiring location and attribute data but also providing tools to extract information and knowledge systematically for decision making. Various indoor applications have emerged in accordance with demands on daily GIS(Geographic information system). This paper aims for applying spatial information technology to support decision-making in shopping. The main contents include product database, optimal path search, shopping time expectation, automatic housekeeping book generation and analysis. Especially for foods, function to analyze information of the nutrition facts could help to improve dietary pattern and well-being. In addition, this system is expected to provide information for preventing overconsumption and impulse purchase could help economical and effective purchase pattern by analyzing propensity to consume.

Smart Cart System for Commodity Browsing and Automatic Calculation (물품검색과 자동계산이 가능한 스마트카트 시스템)

  • Park, Cha-Hun;Hwang, Seong-Hun;Choi, Geon-Woo;Park, Jae-Hwi;Lee, Seung-Hyun;Kim, Sung-Hyeon;Jung, Ui-Hoon
    • Proceedings of the Korean Society of Computer Information Conference
    • /
    • 2020.07a
    • /
    • pp.669-670
    • /
    • 2020
  • 현재 4차 산업이 진행됨으로써 대부분의 사물들이 자율화 기능이 더해지는 시대가 오고 있다. 자율화 기술이 발전됨으로써 모든 사람들은 삶을 살아가면서 스스로 문제를 해결해 나갈수 있으며 기존의 생활속도보다 빨라지는 것을 느낄수 있을 것이다. 그래서 마트에서도 쇼핑을하면서 소비자들이 어떻게 쇼핑을 할 때 현재의 수준보다 쇼핑의 질이 높아 질지 고안해보았다. 본 과제물은 소비자들이 쇼핑을할 때 보다 편리하게 일을 처리할수도록 스마트 기능을 카트와 카운터에 추가하였다. 카트에 디스플레이와 바코드 스캐너를 부착함으로써 검색을 통해 소비자들이 원하는 물품의 가격, 위치등의 정보를 알아 낼 수 있고 현재 카트에 담긴 물품의 총 가격을 알 수 있다. 또한, 쇼핑을 마치고 계산을할 때 계산 대기줄이 길어지는 불편함을 해소하기위해 자동계산 기능이 있다. 쇼핑을 마친 소비자가 카트를 카운터로 끌고가면 카트에 저장되어 있는 쇼핑정보가 카운터의 디스플레이에 표시되고 카트와 카운터의 정보가 일치한다면 소비자가 카트에 요금을 충전해 스스로 계산을 수행할수 있다. 이런 자동화, 스마트 기능들은 소비자들의 편리함과 시간을 단축시킬수 있을 것이다.

  • PDF

A study on the experimental model of supplementary measures for food safety certification system of GAP (우수농산물 관리제도의 안전성 인증기능 보완을 위한 시험 모형연구)

  • Yoon, Jae-Hak;Ko, Seong-Bo
    • Journal of the Korea Academia-Industrial cooperation Society
    • /
    • v.10 no.11
    • /
    • pp.3384-3389
    • /
    • 2009
  • There are two major problems with current National GAP system. One was false in traceability record because it was written or inputted by farmers or distributers and no other measures to check the accuracy was valid. The other was incapability of tracking back and recalling the contaminated agricultural products. For solving these matters, IT convergence model which combined information technology with agricultural experience is elaborated. In IT convergence model, video analytic system classifies every activity depending on the pre-programmed farming process and create the traceability data automatically. Also real time trace system based on USN would solve the problem of tracking back. This system transmits the present location and monitors data of agricultural products from farm to table at all times.

A Proposal of a Keyword Extraction System for Detecting Social Issues (사회문제 해결형 기술수요 발굴을 위한 키워드 추출 시스템 제안)

  • Jeong, Dami;Kim, Jaeseok;Kim, Gi-Nam;Heo, Jong-Uk;On, Byung-Won;Kang, Mijung
    • Journal of Intelligence and Information Systems
    • /
    • v.19 no.3
    • /
    • pp.1-23
    • /
    • 2013
  • To discover significant social issues such as unemployment, economy crisis, social welfare etc. that are urgent issues to be solved in a modern society, in the existing approach, researchers usually collect opinions from professional experts and scholars through either online or offline surveys. However, such a method does not seem to be effective from time to time. As usual, due to the problem of expense, a large number of survey replies are seldom gathered. In some cases, it is also hard to find out professional persons dealing with specific social issues. Thus, the sample set is often small and may have some bias. Furthermore, regarding a social issue, several experts may make totally different conclusions because each expert has his subjective point of view and different background. In this case, it is considerably hard to figure out what current social issues are and which social issues are really important. To surmount the shortcomings of the current approach, in this paper, we develop a prototype system that semi-automatically detects social issue keywords representing social issues and problems from about 1.3 million news articles issued by about 10 major domestic presses in Korea from June 2009 until July 2012. Our proposed system consists of (1) collecting and extracting texts from the collected news articles, (2) identifying only news articles related to social issues, (3) analyzing the lexical items of Korean sentences, (4) finding a set of topics regarding social keywords over time based on probabilistic topic modeling, (5) matching relevant paragraphs to a given topic, and (6) visualizing social keywords for easy understanding. In particular, we propose a novel matching algorithm relying on generative models. The goal of our proposed matching algorithm is to best match paragraphs to each topic. Technically, using a topic model such as Latent Dirichlet Allocation (LDA), we can obtain a set of topics, each of which has relevant terms and their probability values. In our problem, given a set of text documents (e.g., news articles), LDA shows a set of topic clusters, and then each topic cluster is labeled by human annotators, where each topic label stands for a social keyword. For example, suppose there is a topic (e.g., Topic1 = {(unemployment, 0.4), (layoff, 0.3), (business, 0.3)}) and then a human annotator labels "Unemployment Problem" on Topic1. In this example, it is non-trivial to understand what happened to the unemployment problem in our society. In other words, taking a look at only social keywords, we have no idea of the detailed events occurring in our society. To tackle this matter, we develop the matching algorithm that computes the probability value of a paragraph given a topic, relying on (i) topic terms and (ii) their probability values. For instance, given a set of text documents, we segment each text document to paragraphs. In the meantime, using LDA, we can extract a set of topics from the text documents. Based on our matching process, each paragraph is assigned to a topic, indicating that the paragraph best matches the topic. Finally, each topic has several best matched paragraphs. Furthermore, assuming there are a topic (e.g., Unemployment Problem) and the best matched paragraph (e.g., Up to 300 workers lost their jobs in XXX company at Seoul). In this case, we can grasp the detailed information of the social keyword such as "300 workers", "unemployment", "XXX company", and "Seoul". In addition, our system visualizes social keywords over time. Therefore, through our matching process and keyword visualization, most researchers will be able to detect social issues easily and quickly. Through this prototype system, we have detected various social issues appearing in our society and also showed effectiveness of our proposed methods according to our experimental results. Note that you can also use our proof-of-concept system in http://dslab.snu.ac.kr/demo.html.

The development of the Ionizer using clean room (청정환경용 정전기 제거장치 개발)

  • Jeong, Jong-Hyeog;Woo, Dong Sik
    • Journal of the Korea Academia-Industrial cooperation Society
    • /
    • v.19 no.1
    • /
    • pp.603-608
    • /
    • 2018
  • Although the voltage-applied discharge method is most widely used in the semiconductor and display industries, periodic management costs are incurred because the method causes defects due to the absorption of ambient fine dust and causes emitter tip contamination due to the discharge. The emitter tip contamination problem is caused by the accumulation of fine particles in ambient air due to the corona discharge of the ionizer. Fuzzy ball generation accelerates the wear of the emitter tip and deteriorates the performance of the ionizer. Although a mechanical cleaning method using a manual brush or an automatic brush is effective for contaminant removal, it requires management of additional mechanical parts by the user. In some cases, contaminants accumulated in the emitter may be transferred to the wafer or product. In order to solve this problem, we developed an ionizer for a clean environment that can remove the pencil-type emitter tip and directly ionize the surrounding gas molecules using the tungsten wire located inside the ion tank. As a result of testing and certification by the Korea Institute of Machinery and Materials, the average concentration was $0.7572particles/ft^3$, the decay time was less than two seconds, and the ion valance was 7.6 V, which is satisfactory.

Logic Analyzer of Composite Hangul Units for Implementation of Input Methods (한글 입력 방식의 구현을 위한 범용적인 복합 낱자 분석 시스템)

  • Kim, Yongmook;Kim, Kuk
    • Korean Journal of Cognitive Science
    • /
    • v.28 no.4
    • /
    • pp.223-243
    • /
    • 2017
  • A Hangul input method consists of two core components: key layout for primitive units (Natja), and binding rules to form more complex, composite units from primitive ones. However, careless design and implementation of an input method may result in ambiguity and inability of contiguous typing, when it comes to handle composite Hangul units. This is due to the collective nature of Hangul, namely, existence of implicit boundaries between units and syllables. This issue gets more challenging for the context-dependent 2-beolsik method, mobile environment having significantly fewer keys, and yet addition of the support for Old Hangul. For the sake of the management of complexity, we devised a system in which the binding rule is divided into two layers rather than one. Based on this concept, we implemented a tool program that, given the primitive units and their binding rules, generates input details of every composite unit and detects any potential ambiguity and conflicts. We presented the actual analysis result for Samsung Cheonji-in and KT Naratgeul, two of the most popular mobile Hangul input methods used in Korea.