• Title/Summary/Keyword: 정형모델

Search Result 562, Processing Time 0.029 seconds

Personal Information Detection and De-identification System using Sentence Intent Classification and Named Entity Recognition (문장 의도 분류와 개체명 인식을 활용한 개인정보 검출 및 비식별화 시스템)

  • Seo, Dong-Kuk;Kim, Gun-Woo;Kim, Jae-Young;Lee, Dong-Ho
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2020.11a
    • /
    • pp.1018-1021
    • /
    • 2020
  • 최근 개인정보가 포함된 비정형 텍스트 문서들이 유출되거나 무분별하게 공개됨으로써 정보의 주체는 물론 기업들까지 피해를 받고 있다. 데이터를 공개 및 활용하기 위해 개인정보 검출 및 비식별화 과정이 필수적이지만 정형 데이터와는 달리 비정형 데이터의 경우 해당 과정을 자동으로 처리하는 데 한계가 있다. 이를 위해 딥러닝 모델들을 사용하여 자동화하려는 연구들이 있었지만 문장 내 단어의 모호성에 대한 고려 없이 단어 개체명 정보에만 의존하여 개인정보를 검출하는 형태로 진행되었다. 따라서 문장 내 단어들 중 식별 대상인 단어들도 비식별화 되어 데이터에 대한 유용성을 저해할 수 있다는 문제점을 남겼다. 본 논문에서는 문장의 의도 정보를 단어의 개체명 학습 과정에 부가적인 정보로 활용하는 개인정보 검출 모델과 개인정보 데이터의 유용성을 고려한 비식별화 기법을 제안한다.

A Study on Formal Methods and Tools for Verification of Secure OS (보안운영체제의 검증을 위한 정형기법 및 도구에 관한 연구)

  • 조지호;이동익;김형천;강정민;이진석
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2003.10a
    • /
    • pp.880-882
    • /
    • 2003
  • 본 논문에서는 소프트웨어 공학에서 널리 사용되고 있는 정형기법을 보안 운영체제의 검증에 활용하기 위해 각 검증기법의 특성과 도구에 대해서 설명한다. 정리증명의 대표적인 도구인 PVS와 모델체킹의 대표적 도구인 SMV, 특수한 목적을 위해 개발된 NPA등에 대해서 알아보고, 각 방법을 비교, 분석하여 보안운영체제의 검증에 적합한 도구를 찾아본다.

  • PDF

Model Checking of Object Oriented Software using Bandera toolset (Banders Toolset을 이용한 객체지향형 소프트웨어 모델 체킹)

  • 방기석;이주용;최진영
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2001.10a
    • /
    • pp.466-468
    • /
    • 2001
  • 객체지향형 소프트웨어가 개발되고 분산 시스템에 적용되면서 소프트웨어 시스템의 분석 및 안전상의 보장이 매우 어려워지고 있다. 정형 기법을 이용해서 소프트웨어 시스템의 안전성을 증명하는 연구가 진행되고 있지만 소스코드 레벨에서의 보장은 아직 어려운 상태이다. 본 연구에서는 이러한 소프트웨어 시스템의 소스코드 레벨에서의 안전성 보장을 위한 연구로 Bandera toolset 을 이용한 정형검증에 대해 논한다.

  • PDF

The Implementation of a Battery Simulator with Atypical Characteristics of Batteries (비정형적 배터리 특성을 포함한 배터리 시뮬레이터의 구현)

  • Lee, Dong Sung;Lee, Seong-Won
    • KIPS Transactions on Computer and Communication Systems
    • /
    • v.3 no.11
    • /
    • pp.419-426
    • /
    • 2014
  • The recent trend of performance increase in the smart mobile devices demands more power consumption and lower batter life time. Among three battery models of mathematical model, electrochemical model and electric model, the Thevenin's equivalent circuit with non-linear function model of SOC in the electrical model is widely used. However, the OCV results have only limited accuracy because of the characteristic shift caused by temperature and age and atypical impedance property that cannot expressed by electrical components. In this paper, the new battery model that improves the accuracy of the existing models is proposed. In the proposed simulator the mathematical model for SOC characteristic is improved and the adjustment for the temperature, the age of battery and atypical electrical characteristics. In the experimental results of predicting of the battery in the static and dynamic state, the proposed simulator shows improved MSE comparing to the results of the existing methods.

Customer Behavior Prediction of Binary Classification Model Using Unstructured Information and Convolution Neural Network: The Case of Online Storefront (비정형 정보와 CNN 기법을 활용한 이진 분류 모델의 고객 행태 예측: 전자상거래 사례를 중심으로)

  • Kim, Seungsoo;Kim, Jongwoo
    • Journal of Intelligence and Information Systems
    • /
    • v.24 no.2
    • /
    • pp.221-241
    • /
    • 2018
  • Deep learning is getting attention recently. The deep learning technique which had been applied in competitions of the International Conference on Image Recognition Technology(ILSVR) and AlphaGo is Convolution Neural Network(CNN). CNN is characterized in that the input image is divided into small sections to recognize the partial features and combine them to recognize as a whole. Deep learning technologies are expected to bring a lot of changes in our lives, but until now, its applications have been limited to image recognition and natural language processing. The use of deep learning techniques for business problems is still an early research stage. If their performance is proved, they can be applied to traditional business problems such as future marketing response prediction, fraud transaction detection, bankruptcy prediction, and so on. So, it is a very meaningful experiment to diagnose the possibility of solving business problems using deep learning technologies based on the case of online shopping companies which have big data, are relatively easy to identify customer behavior and has high utilization values. Especially, in online shopping companies, the competition environment is rapidly changing and becoming more intense. Therefore, analysis of customer behavior for maximizing profit is becoming more and more important for online shopping companies. In this study, we propose 'CNN model of Heterogeneous Information Integration' using CNN as a way to improve the predictive power of customer behavior in online shopping enterprises. In order to propose a model that optimizes the performance, which is a model that learns from the convolution neural network of the multi-layer perceptron structure by combining structured and unstructured information, this model uses 'heterogeneous information integration', 'unstructured information vector conversion', 'multi-layer perceptron design', and evaluate the performance of each architecture, and confirm the proposed model based on the results. In addition, the target variables for predicting customer behavior are defined as six binary classification problems: re-purchaser, churn, frequent shopper, frequent refund shopper, high amount shopper, high discount shopper. In order to verify the usefulness of the proposed model, we conducted experiments using actual data of domestic specific online shopping company. This experiment uses actual transactions, customers, and VOC data of specific online shopping company in Korea. Data extraction criteria are defined for 47,947 customers who registered at least one VOC in January 2011 (1 month). The customer profiles of these customers, as well as a total of 19 months of trading data from September 2010 to March 2012, and VOCs posted for a month are used. The experiment of this study is divided into two stages. In the first step, we evaluate three architectures that affect the performance of the proposed model and select optimal parameters. We evaluate the performance with the proposed model. Experimental results show that the proposed model, which combines both structured and unstructured information, is superior compared to NBC(Naïve Bayes classification), SVM(Support vector machine), and ANN(Artificial neural network). Therefore, it is significant that the use of unstructured information contributes to predict customer behavior, and that CNN can be applied to solve business problems as well as image recognition and natural language processing problems. It can be confirmed through experiments that CNN is more effective in understanding and interpreting the meaning of context in text VOC data. And it is significant that the empirical research based on the actual data of the e-commerce company can extract very meaningful information from the VOC data written in the text format directly by the customer in the prediction of the customer behavior. Finally, through various experiments, it is possible to say that the proposed model provides useful information for the future research related to the parameter selection and its performance.

Seismic Performance of Urban Structures with Various Horizontal Irregularities using Equivalent Static Analysis (다양한 수평비정형성을 갖는 도시구조물의 등가정적해석에 의한 내진성능분석)

  • Cui, Ji Long;Chey, Min-Ho;Kim, Sung-Il
    • Journal of Convergence Society for SMB
    • /
    • v.6 no.1
    • /
    • pp.25-32
    • /
    • 2016
  • With the change and development of modem architecture, architectural configurations are increasingly diversified and irregular. However, the building configurations without proper seismic considerations may cause severe damages under earthquake loads. Therefore, it is necessary to establish and implement more properly classified, specific and advanced conceptual seismic design strategies. This study explores the relationship between building configurations and seismic performance by adopting several horizontal building configurations with various re-entrant corners. For the clear comparison of five different horizontal configuration models, almost aspects of structural properties are equalized. The equivalent static analyses are conducted with the aim of understanding the characteristics of various re-entrant comers under standard earthquake loads. The seismic advantages of regular configuration model are clearly approved and the structural weak points at the re-entrant comers are investigated numerically and graphically.

A Testing Method for Web-Based Banking Applications Using Formal Specification (정형 명세를 이용한 웹 기반 은행 어플리케이션의 테스트 기법)

  • Ahn, Young-Hee;Choi, Eun-Man
    • The KIPS Transactions:PartD
    • /
    • v.11D no.4
    • /
    • pp.855-864
    • /
    • 2004
  • Programmers can be got the test-related information for implementation without interference of source code complexity by use of the formal specification. Especially the external inputs and system responses can be represented precisely by formal specification in testing phase of web-based software systems. This paper suggests a method of extracting test cases by use of formal specification. Object-Z formal specification represents various test-related information for complex functions of web-based applications. State Transition Models could be built from the formal specification so that test scenarios were extracted from STDs from the highest level to detail levels. The target system for verification of this method is a web-based banking system which is necessary to be secured and critical on errors. This method would be an important factor in automatizing test procedure for web-based application software systems combining the user-base test technique.

An algorithm of the Non-uniform synthesis unit selection for concatenative speech synthesis system (연결형 합성시스템을 위한 문맥종속 단위 기반의 비정형 합성단위 추출 알고리즘)

  • 김영일
    • Proceedings of the Acoustical Society of Korea Conference
    • /
    • 1998.06e
    • /
    • pp.273.2-277
    • /
    • 1998
  • 본 논문에서는 음소단위 비정형 연결합성 시, 접합점에서 포만트 불연속을 최소화할 수 있도록 이웃음소간 경계강도 예측모델과 합성단위 검색시 음소단위 최장일치 검색 알고리즘을 설계하였다. 합성단위 연결부에서 발생하는 신호왜곡을 최소화하기 위해 “_C_”환경에서 자음이 유성음화된 경우, “_V_”환경에서 모음이 무성음화된 경우, 그리고 유성음 사이의 포만트 주파수 차이에 대한 모델을 생성하여, 음소간의 조음강도가 약한 부분이 합성단위 경계로 설정되도록 하였다. 합성단위 경계가 결정되면 주어진 문장의 문맥정보만을 이용하여 코포스로부터 후보를 선택한다. 선택된 후보를 사이의 연결성을 측정하기 위하여 합성 경계를 기준으로 전, 후 음소에 대한 음성적 특성과 포만트 천이 특성을 고려하였다. 실험은 K-ToBI 레이블링된 200문장을 기반으로 하였으며, 코퍼스로부터 한 문장을 선택하여 이를 목적치 패턴으로 선정 한 후, 목적치 패턴과 후보사이의 단위비용과 후보들 간의 연결비용을 계산하여 최적의 합성단위열을 추출하는 방식으로 이루어졌다. 본 논문에서는 이러한 문맥종속 단위 기반의 합성단위 추출 알고리즘과 실험 결과에 대해 보고한다.

  • PDF

An Automatic Indexing and Analysis Technique for Soccer Game Video for Broadcasting (방송용 축구 경기 비디오의 자동 색인 및 분석 기술)

  • 최송하;이성환
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 1998.10c
    • /
    • pp.550-552
    • /
    • 1998
  • 스포츠 비디오는 역동적인 특성과 비정형적인 구조를 가지고 있으므로 뉴스와 같은 정형적인 비디오와는 달리 분석이 쉽지 않다. 본 논문에서는 이러한 어려움을 극복하기 위하여 축구 경기에서 하이라이트를 추출하여 색인하고 이에 대하여 선수 위치 추적, 파노라마 영상 구성, 경기장 모델 상에서의 선수 이동 궤적 도시 등을 수행하는 방법을 제안한다. 이를 위하여 제한된 색상의 HSV 영상을 구성하여 골대와 선수 위치를 추적하고, 움직임 벡터를 추출하여 카메라 동작을 분석하였으며 경기장 모델 구성을 위해 경기장 내의 특징점을 추출하여 투영 변환을 수행하였다. 실험 결과를 통해서 제안된 방법이 축구 경기 비디오 분석에 효율적으로 이용될 수 있음을 확인할 수 있다.

  • PDF

Basic Study of Distribution Management Model of the Free-Form Concrete Panels (SCM 기법에 의한 비정형 콘크리트 패널의 공급관리 모델 기초연구)

  • Cho, Wonhyun;Na, Youngju;Kim, Sunkuk
    • Proceedings of the Korean Institute of Building Construction Conference
    • /
    • 2016.05a
    • /
    • pp.115-116
    • /
    • 2016
  • Numerous of free-form buildings come up with external appearances using various types of free-form panels. If the panel types produced, transport and installation order and maintenance history are not properly managed, it is difficult to complete a given project successfully. For free-form building projects that satisfy 5 factors (proper time, place, price, product and quantity), a supply chain management technique is applied for distribution management of free-form concrete panels. In addition, the study listed the whole production process of free-form concrete panels and any necessary information, and suggested a basic model for the management. The study result will be a great help in effective distribution management of free-form panels for free-form building projects.

  • PDF