• 한국정보과학회논문지:소프트웨어및응용
• /
• 제37권12호
• /
• pp.942-945
• /
• 2010

버퍼 오버플로우 취약점을 검출하는 정적 분석 도구에서, 분석 문맥을 조절하는 방법을 통해, 동일한 원인에 의해 발생하는 중복 경보 메시지를 제거하는 방법을 제안한다. 동일한 원인에 의해 다수의 경보 메시지가 출력되는 경우, 첫 경보 메시지만 살며보아도 나머지 경보 메시지들에 대한 판단을 내릴 수 있으므로, 사용자에게 첫 경보 메시지만을 보여주는 것이 보다 바람직하다. 제안하는 분석 문맥 조절 기법은 기존의 정적 분석 도구에 쉽게 적용할 수 있고, 오픈 소스 소프트웨어를 사용한 실험에서 평균 23%의 경보 메시지를 제거할 수 있었다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제41권7호
• /
• pp.492-500
• /
• 2014

본 논문은 중간언어 기반 이중언어 사전 구축 방법에서 문맥벡터의 정제 방법을 제안한다. 중간언어 기반 이중언어 사전 구축 방법은 두 언어 간의 사전이나 병렬말뭉치 등 언어 자원이 부족한 언어쌍에 매우 효과적인 방법이다. 본 논문은 두 가지 정제 방법을 통해서 성능을 개선한다. 첫 번째 방법은 양방향 번역확률을 통하여 문맥벡터를 정제하였고 두 번째 방법은 품사 정보를 이용하여 문맥벡터를 정제하였다. 본 논문은 두 개의 서로 다른 언어 쌍으로 한국어-스페인어 그리고 한국어-프랑스어 양방향에 대해서 각각 이중언어 사전을 추출하는 실험을 하였다. 높은 빈도수를 가지는 어휘에 대한 번역 정확도는 최상위에서 최소 48.5%를, 상위 20에서 최대 88.5%의 정확도를 얻었고, 낮은 빈도수를 가지는 어휘에 대한 번역 정확도는 최상위에서 최소 26.5%를, 상위 20에서 최대 66.5%의 성능을 보였다.

• ETRI Journal
• /
• 제45권5호
• /
• pp.822-835
• /
• 2023

Recent semantic segmentation frameworks usually combine low-level and high-level context information to achieve improved performance. In addition, postlevel context information is also considered. In this study, we present a Context ReFinement Network (CRFNet) and its training method to improve the semantic predictions of segmentation models of the encoder-decoder structure. Our study is based on postprocessing, which directly considers the relationship between spatially neighboring pixels of a label map, such as Markov and conditional random fields. CRFNet comprises two modules: a refiner and a combiner that, respectively, refine the context information from the output features of the conventional semantic segmentation network model and combine the refined features with the intermediate features from the decoding process of the segmentation model to produce the final output. To train CRFNet to refine the semantic predictions more accurately, we proposed a sequential training scheme. Using various backbone networks (ENet, ERFNet, and HyperSeg), we extensively evaluated our model on three large-scale, real-world datasets to demonstrate the effectiveness of our approach.

• 한국정보과학회논문지:시스템및이론
• /
• 제30권11호
• /
• pp.629-654
• /
• 2003

본 논문에서는 윤곽선들의 집합으로부터 다각형 곡면을 복원하는 다중해상도적 방법을 제안한다. 그 방법의 첫 단계에서는 방사 조사법을 적용해서 체적 데이타로부터 추출된 여러 장의 영상들로부터 윤곽선을 추출한다. 그리고 이 윤곽선을 구성하는 선분들의 유형들을 분류한 다음, 이를 이용해서 윤곽선을 context-free 문법으로 표현하는 방법을 제시한다. 두 번째 단계에서는 이웃하는 두 윤곽선들 사이에 다각형들을 생성하는 것으로, 이를 위하여 context-free 문법의 유도 트리를 검색함으로써 두 윤곽선들 사이에서 서로 대응되는 꼭지점과 선분을 찾는 방법을 제시한다. 이러한 단계를 거쳐서 생성된 가장 낮은 해상도의 다각형 곡면은 각 윤곽선을 세분화함으로써 더 높은 해상도의 다각형 곡면으로 세분화된다. 여기서 윤곽선은 각 영상에서 더 많은 광선을 방사함으로써 세분화된다. 본 연구에서는 방사 조사법을 이용해서 추출된 다양한 해상도의 윤곽선들의 연결도가 일정하게 유지됨을 이용해서 다양한 해상도의 다각형 곡면들의 연결도는 일정하게 유지됨을 보장한다. 제안된 방법은 효율적인 복원과 복원된 물체의 외형적인 특징을 보장하는 압축 방법을 제공한다.

• 한국과학교육학회지
• /
• 제23권3호
• /
• pp.276-285
• /
• 2003

본 연구는 과학 개념변화과정을 미시적으로 보면, 점진적인 세련화와 정교화의 과정을 거친다는 이론적 논의에 기초하고 있다. 본 연구에서는 실체 대학생의 과학 개념 변화과정을 분석하여 개념변화과정에서의 주요 특징을 찾아내어 다음과 같은 점진적인 세련화와 정교화의 과정으로 볼 수 있는 측면들을 찾아내었다. 기존의 개념이 점차로 세밀해져 가는 과정, 상황에 따라 개념이 구분되어 가는 과정, 실험 데이터에 이한 설명이 이론적으로 재설명되는 과정, 시험 데이터에 이한 설명이 이론적으로 재설명되는 과정, 처음의 부정합적인 설명구조가 정합적인 설명구조로 변화되는 과정, 초기의 이상화된 모델에서 무시되었던 조건들이 다시 고려되어 가는 과정, 정성적인 설명이 정량적인 설명으로 변화되는 과정, 본 연구결과는 학생의 개념변화과정에 대한 보다 깊은 이해로 이끌 수 있을 것으로 기대된다.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제18권4호
• /
• pp.938-958
• /
• 2024

Unsupervised Video Object Segmentation (UVOS) is a highly challenging problem in computer vision as the annotation of the target object in the testing video is unknown at all. The main difficulty is to effectively handle the complicated and changeable motion state of the target object and the confusion of similar background objects in video sequence. In this paper, we propose a novel deep Dual-stream Co-enhanced Network (DC-Net) for UVOS via bidirectional motion cues refinement and multi-level feature aggregation, which can fully take advantage of motion cues and effectively integrate different level features to produce high-quality segmentation mask. DC-Net is a dual-stream architecture where the two streams are co-enhanced by each other. One is a motion stream with a Motion-cues Refine Module (MRM), which learns from bidirectional optical flow images and produces fine-grained and complete distinctive motion saliency map, and the other is an appearance stream with a Multi-level Feature Aggregation Module (MFAM) and a Context Attention Module (CAM) which are designed to integrate the different level features effectively. Specifically, the motion saliency map obtained by the motion stream is fused with each stage of the decoder in the appearance stream to improve the segmentation, and in turn the segmentation loss in the appearance stream feeds back into the motion stream to enhance the motion refinement. Experimental results on three datasets (Davis2016, VideoSD, SegTrack-v2) demonstrate that DC-Net has achieved comparable results with some state-of-the-art methods.

• 대순사상과 동아시아종교
• /
• 제2권1호
• /
• pp.133-155
• /
• 2022

Throughout the Chinese sphere, that is, in the People's Republic of China and Taiwan, tea houses, tea stores, and tea meditation groups often without a particular religious orientation have appeared in the past decades. Tea lovers groups with various philosophical discussions appear throughout cyberspace, where people show their appreciation for tea as a drinkable delicious product and a spiritual tool. The question to be asked here is whether it should be recognized as a religious or spiritual practice agent in and of itself? Should we then talk about the present-day movement of teaism? If we do recognize this as a spiritual phenomenon, should it then be labeled as a New Religious Movement? The trajectory of tea in China is intrinsically connected to religious traditions. This connection is historical, yet it plays a part in the contemporary religious and spiritual sphere. The article explores the continuation and developments of tea culture in the context of the religious sphere of China, looking at practices connected to tea of communities, religious organizations, and individuals. The author explores how tea drinking, commercializing and tea related practices intersect with politics, materiality, and spirituality in contemporary society. In this context it is then argued that tea is a cultural element, religious self-refinement tool, and an active material agent with social-political capacities. The study includes historical narratives, ethnographic data, and literary sources about tea, making up a genealogy of tea which encompasses ritualistic aspects, economic aspects, and power relations related to tea in Chinese society.

• 천문학회보
• /
• 제38권2호
• /
• pp.101.2-101.2
• /
• 2013

We present a new computational fluid dynamic (CFD) simulation code. The code employs the moving and polyhedral unstructured mesh scheme, which is known as a superior approach to the conventional SPH (smoothed particle hydrodynamics) and AMR (adaptive mesh refinement) schemes. The code first generates unstructured meshes by the Voronoi tessellation at every time step, and then solves the Riemann problem for surfaces of every Voronoi cell to update the hydrodynamic states as well as to move former generated meshes. For the second-order accuracy, the MUSCL-Hancock scheme is implemented. To increase efficiency for generating Voronoi tessellation we also develop the incremental expanding method, by which the CPU time is turned out to be just proportional to the number of particles, i.e., O(N). We will discuss the applications of our code in the context of cosmological simulations as well as numerical experiments for galaxy formation.

• 대한산업공학회지
• /
• 제20권1호
• /
• pp.99-112
• /
• 1994

This paper describe the development of a systematic method of slicing solid parts based on a data structure called Sliced Profile Data Structure(SPDS). SPDS is an augmented polygon data structure that allows multiple layers of sliced profiles to be connected together. The method consists of five steps: (1) Selection of slicing directions, (2) Determination of slicing levels, (3) Creation of sliced profiles, (4) Connection of sliced profiles, and (5) Refinement. The presented method is aimed at enhancing the applicability of CSG for manufacturing by overcoming the problem of non-uniqueness and global nature. The SPDS-based method of feature extraction is suitable for recognizing broad scope of features with detailed information. The method is also suitable for identifying the global relationships among features and is capable of incorporating the context dependency of feature extraction.

• 천문학회보
• /
• 제39권2호
• /
• pp.65.2-65.2
• /
• 2014

We present a new hydrodynamic simulation code based on the Voronoi tessellation for estimating the density precisely. The code employs both of Lagrangian and Eulerian description by adopting the movable mesh scheme, which is superior to the conventional SPH (smoothed particle hydrodynamics) and AMR (adaptive mesh refinement) schemes. The code first generates unstructured meshes by the Voronoi tessellation at every time step, and then solves the Riemann problem for all surfaces of each Voronoi cell so as to update the hydrodynamic states as well as to move current meshes. Besides, the IEM (incremental expanding method) is devised to compute the Voronoi tessellation to desired degree of speed, thereby the CPU time is turned out to be just proportional to the number of particles, i.e., O(N). We discuss the applications of our code in the context of cosmological simulations as well as numerical experiments for galaxy formation.