• 정보보호학회논문지
• /
• 제27권4호
• /
• pp.811-820
• /
• 2017

최근 소프트웨어 자동화 기술 연구는 단일 경로의 테스트 케이스 생성뿐만 아니라, 다양한 테스트 케이스를 통해 취약점으로 도달할 수 있는 최적화된 경로를 파악하는 것에 중점을 두고 있다. 이러한 자동화 기술 중 Dynamic Symbolic Execution(이하, DSE) 기술이 각광 받고 있지만, 현재 대부분의 DSE 기술 적용 연구는 리눅스 바이너리 혹은 특정 모듈 자체만을 대상으로 적용하는 데 그치고 있는 실정이다. 하지만 대부분의 소프트웨어의 경우 입력 파일을 기반으로 작업이 수행되고, 또 이러한 과정에서 취약점이 다수 발생하고 있다. 따라서 본 논문은 소프트웨어 안전성 검증을 위한 입력 파일 기반 동적 기호 실행 방법을 제안한다. 실제 바이너리 소프트웨어 3종에 적용한 결과 제안하는 방법을 통해 효과적으로 해당 지점에 도달하는 테스트 케이스를 생성할 수 있었다. 이는 DSE 기술이 실제 소프트웨어 분석의 자동화에 활용될 수 있음을 보여준다.

• 대한치과의사협회지
• /
• 제56권5호
• /
• pp.254-262
• /
• 2018

Objectives: This study aimed to compare the postoperative pain and clinical performance after applying three different intracanal medicaments and root canal sealers. Materials and Methods: Sixty-five patients requiring root canal treatment due to symptomatic apical periodontitis were included in this study. After a glide path preparation by using PathFile, each canal was shaped with ProTaper Next file system. After the canal cleaning and shaping procedure, the canal was dried and each intracanal medicaments were adjusted (Calcipex II, TRC-paste, Metapaste). At the next visit, the patients were requested to answer the absence of the pain after the procedure. Once the patients showed no symptom, the canal was obturated with each corresponded root canal sealers (AH plus, Radic-sealer, ADseal). The patients were recalled after 1 week, 1, 3, and 6 months to check the postoperative pain or unexpected clinical signs. One-way ANOVA and Duncan's post hoc comparison, and Chi-square test were used for statistical analysis to evaluate any differences among tested materials. Results: The average number of visits for intracanal medication was 2.69, 2.65, and 2.61 for Calcipex II, TRC-paste, and Metapaste. There were no statistically differences in post-obturation pain among three groups obturated with different root canal sealers (P > 0.05). Conclusions: Under the limitations of this study, three tested intracanal medicaments and epoxy resin root canal sealers showed clinically acceptable similar results.

• Restorative Dentistry and Endodontics
• /
• 제36권1호
• /
• pp.1-11
• /
• 2011

서론: 이 문헌의 목적은 Nickel-titanium (NiTi) 전동 파일의 기계적 형태적 양상과 이에 의한 임상적 연관성을 고찰하는 것이다. NiTi 전동 파일은 다양한 고유의 형태로 시장에 소개되었고 경쟁 상품에 비해서 근관 성형에 더 나은 능력을 가졌다고 주장하고 있다. 본론: 이 문헌에서는 NiTi 전동 파일의 형태(예. 팁, 테이퍼, helical angle 등)와 파일의 임상 적용 성과 사이의 가능한 상관관계를 다음과 같이 다룬다; - NiTi 전동 파일의 파절 양상 - 비활성 파일팁과 glide path - 파일 경사도와 임상 효과 - 파일 횡단면적과 임상 효과 - 열처리와 표면 특성 - Screw-in 효과와 치근 상아질의 유지 - Screw-in 효과를 줄이기 위한 고안 결론: 이상의 내용을 바탕으로, 임상가는 다양한 NiTi 전동 기구를 사용함에 있어 임상 상황에 적절한 장점을 고려하여 선택하고 사용할 수 있는 도움을 받을 수 있을 것이다.

• 한국컴퓨터정보학회논문지
• /
• 제28권2호
• /
• pp.89-97
• /
• 2023

본 논문에서는 로그 분석을 어렵게 하는 요인을 제안하고 이후 분석에 도움을 주는 로그 내 다양한 객체 인식 기법을 설계한다. 오늘날의 IT 시스템에서 로그는 다수의 고급 AI 분석 기술의 핵심적인 원천 데이터이다. 로그에는 유용한 정보가 많이 포함되어 있지만 로그는 본질적으로 반구조화되어 있기 때문에 로그 내 유용 정보에 기술을 직접적으로 적용시키기 어렵다. 로그 분석을 방해하는 요소는 file path, identifier, json 등 다양한 객체이다. 이러한 객체에 대한 BERT기반의 패턴 인식 알고리즘을 설계하고 객체 인식을 수행한다. 본 실험에서 정의한 패턴 인식 알고리즘은 객체의 정의, GROK 패턴, 그리고 정규 표현식에 기반한다. 기존에 알려진 패턴과 정규 표현식을 기반으로 한 간단한 패턴 매칭이 효과적이지 않다는 것을 확인할 수 있었다. 그 결과 기존 패턴과 정규 표현식만을 사용하는 것보다 훨씬 나은 정확도를 보여준다. 또한, BERT 모델의 경우 인식 객체 이외의 객체를 분류하는 정확도가 99%에 달하는 것을 확인할 수 있다.

• 정보처리학회논문지D
• /
• 제17D권2호
• /
• pp.103-110
• /
• 2010

최근에 관계형 데이터베이스 관리 시스템(RDBMS)의 장점을 이용하여 XML로 표현된 문서를 효과적으로 저장, 관리, 검색하는 XML 문서관리 시스템에 대한 많은 연구들이 활발하게 진행되어 왔다. 그러나 경로 질의 중에서 LIKE 연산과 같은 부분 패턴 매칭 질의의 경우는 비효율적인 비교 연산으로 인해 검색 성능이 현저하게 떨어지기 때문에 RDBMS의 색인의 효과를 볼 수 없다. 본 논문에서는 XML 문서를 RDBMS에 효율적으로 저장하는 계층형 XML 저장 기법과 경로 역 색인 기법을 제안한다. 제안하는 기법은 XML문서의 엘리먼트를 키워드로 보고 해당 키워드가 속한 경로의 식별자와 시퀀스로 포스팅 파일을 구성하여 경로 기반 질의의 검색 속도를 향상하는데 주안점을 둔다. 검색 성능에 관한 실험을 통해서 제안된 기법이 기존의 RDBMS를 이용한 기법보다 약 60% 우수한 성능을 가지고 있음을 입증한다.

• 한국멀티미디어학회논문지
• /
• 제10권9호
• /
• pp.1093-1105
• /
• 2007

본 논문에서는 XML 데이터베이스의 색인구조로 다차원 화일구조를 이용하는 다차원 타입상속 색인기법인 MD-TIX를 제안한다. 일차원 색인구조를 이용하는 기존의 XML 데이터베이스 색인기법에서는 타입상속계층과 중첩요소가 포함된 복합 형태의 질의들에 대한 처리를 잘 지원하지 못한다. MD-TIX에서는 XML 데이터베이스의 중첩요소에 대한 색인기법을 위하여 이차원 타입상속 계층 색인기법(2D-THI)을 다차원으로 확장하여 사용한다. 2D-THI는 타입상속 계층의 단순요소에 대한 색인기법으로 킷값 도메인과 타입식별자 도메인으로 구성된 이차원 도메인 공간상에서 요소들의 클러스터링을 다루는 색인기법이다. 본 논문의 MD-TIX에서는 색인된 중첩요소를 표현하는 경로상의 각 타입상속 계층마다 하나의 타입식별자 도메인을 할당하여 구성된 다차원 도메인 공간상에서 색인 엔트리들의 클러스터링을 다룬다. 따라서 HD-TIX에서는 기존의 색인기법에서 지원하기 어려운 질의의 대상 범위가 타입상속 계층상의 임의의 타입들로 제한되거나, 질의에 포함된 복합요소들의 도메인이 타입상속 계층상의 임의의 타입들로 제한되는 경우에도 잘 지원할 수 있다.

• 한국정밀공학회지
• /
• 제23권11호
• /
• pp.116-125
• /
• 2006

MEMS and LIGA technologies have been used for fabricating microstructures, but their shape is not 3D because of difficulty for preparation of many masks. To fabricate 3D microstructures, microstereolithography technology based on Digital Micromirror Device($DMD^{TM}$) was introduced. It has no need of masks and is capable of fabricating high aspect ratio microstructures. In this technology, STL file is the standard format as the same of conventional rapid prototyping system, and 3D parts are fabricated by layer-by-layer according to 2D section sliced from STL file. The UV light source is illuminated to DMD which makes bitmap images of 2D section, and they are transferred and focused on resin surface. In this paper, we addressed optical design of microstereolithography system in consideration of light path according to DMD operation and image-forming on the resin surface using optical design program. To verify the performance of implemented microstereolithography system, 3D microstructures with complexity and high aspect ratio were fabricated.

• 한국멀티미디어학회논문지
• /
• 제11권10호
• /
• pp.1420-1426
• /
• 2008

최근의 프로그램들은 그림 파일이나 오디오와 같은 대용량의 자원을 사용하는 경향이 있다. 이와 같은 대용량 자원을 사용하는 경우 그 자원의 크기가 클수록 자동 관리 시의 효율성이 더 많이 저하되며, 자원의 수가 많을수록 관리의 어려움이 증가된다. 이에 본 논문은 파일시스템의 트리 구조의 인터페이스를 자원관리 시스템에 적용하여 편의성과 효율성을 도모한 자원관리시스템을 제안한다. 이 시스템은 문자열경로 기반의 접근방식을 채택하여 높은 호환성을 가지고 있으며, 트리 구조 지원으로 높은 구조성을 도모하고, 가상 노드의 지원으로 높은 효율성을 보인다. 본 시스템은 프로세스 안에서의 자원 관리를 위해 설계되었으나, 프로세스 외부로부터의 자원제어도 지원한다.

• 한국인터넷방송통신학회논문지
• /
• 제16권5호
• /
• pp.55-61
• /
• 2016

테러와 각종 위협으로부터 개인의 재산과 생명을 보호하기 위한 목적으로, 다양한 장소에 영상 보안 장비들을 설치하여 운영하고 있다. 본 연구에서는 다중의 카메라가 설치된 관제센터 환경에서 카메라 영상 속 녹화 데이터 검색을 진행할 경우, 사용자의 검색 편의성을 높이기 위한 방법으로, 객체의 이동 경로를 사전에 정의할 수 있는 자료 구조를 제안하고, 카메라 간 연동 정보를 저장할 수 있는 테이블 정보 파일을 자동으로 생성 해주는 도구를 설계 하고 구현 한다. 이렇게 정의된 카메라 정보 테이블을 사용하여 녹화된 데이터를 검색 시 검색 시간을 최소화 할 수 있으며, 녹화 데이터 검색 효율성을 높일 수 있다.

• 한국CDE학회논문집
• /
• 제15권5호
• /
• pp.354-361
• /
• 2010

The paper presents an efficient computation of optimal tool length for 5-axis mold & die machining. The implemented procedure processes an NC file as an initial input, where the NC data is generated by another commercial CAM system. A commercial CAM system generates 5-axis machining NC data which, in its own way, is optimal based on pre-defined machining condition such as tool-path pattern, tool-axis control via inclination angles, etc. The proper tool-length should also be provided. The tool-length should be as small as possible in order to enhance machinability as well as surface finish. A feasible tool-length at each NC block can be obtained by checking interference between workpiece and tool components, usually when the tool-axis is not modified at this stage for most CAM systems. Then the minimum feasible tool-length for an NC file consisting of N blocks is the maximum of N tool-length values. However, it can be noted that slight modification of tool-axis at each block may reduce the minimum feasible tool-length in mold & die machining. This approach can effectively be applied in machining feature regions such as steep wall or deep cavity. It has been implemented and is used at a molding die manufacturing company in Korea.