• 한국정보과학회논문지:소프트웨어및응용
• /
• 제36권7호
• /
• pp.590-606
• /
• 2009

C프로그램에서 발생할 수 있는 메모리 누수(memory leaks)를 실행 전에 찾아 주는 분석기를 제안한다. 이 분석기는 SPEC2000 벤치마크 프로그램과 여러 오픈 소스 프로그램들에 적용시킨 결과 다른 분석기에 비해 상대적으로 뛰어난 성능을 보여준다. 총 1,777 KLOC의 프로그램에서 332개의 메모리 누수 오류를 찾아냈으며 이 때 발생한 허위 경보(false positive)는 47개에 불과하다(12.4%의 허위 경보율). 이분석기는 초당720 LOC를 분석한다. 각각의 함수들이 하는 일을 요약하여 그 함수들이 불려지는 곳에서 사용함으로써 모든 함수에 대해 단 한번의 분석만을 실행한다. 각각의 함수 요약(procedural summary)은 잘 매개화 되어 함수가 불려질 때의 상황에 맞게 적용할 수 있다. 실제 프로그램들에 적용하고 피드백 받는 방법을 통해 함수가 하는 일중에 메모리 누수를 찾는데 효과적인 정보들만으로 추리는 과정을 거쳤다. 분석은 요약 해석(abstract interpretation)에 기반하였기 때문에 C의 여러 문법 구조와 순환 호출 (recursive call), 루프(loop)등은 고정점 연산(fixpoint iteration)을 통해 자연스럽게 해결한다.

• 한국우주과학회:학술대회논문집(한국우주과학회보)
• /
• 한국우주과학회 1994년도 한국우주과학회보 제3권1호
• /
• pp.24-24
• /
• 1994

No Abstract. See Full-text

• 한국초지학회:학술대회논문집
• /
• 한국초지조사료학회 2005년도 학술심포지엄, 제43회 학술발표회
• /
• pp.218-219
• /
• 2005

• 한국의상디자인학회지
• /
• 제11권3호
• /
• pp.17-25
• /
• 2009

The purpose of this study is to help understanding of abstract patterns and to play a guideline's role in the development of designs and the prediction of trends for present and future fashion designers and textile designers. The summary of this study's results is like followings. Formative characteristics of abstract pattern in 2000's fashion are Impromptu, Anti-mechanism, Superimposing, Disorder. First, Impromptu is rebounce against uniformity, mechanism, man-created beauty Second, Anti-mechanism represents unfinishing, unbalance, inaccuracy and relates with each traditional of nation or ethnic group. Third, Presupposing transparency Superimposing offsets each patterns. So Their images are ambiguity, ununiformity, unequality, incompletion, uncertainty and so on. Fourth, Disorder breaks and ignores physical balance, rule, order and so on. These images represent uncertainty, freedom, naturality. From this result, I can interpret that these images are representing of humanism reacting about uniformity, mechanism, man-created beauty, completeness of modernism since the Industrial Revolution.

• Journal of applied mathematics & informatics
• /
• 제10권1_2호
• /
• pp.333-351
• /
• 2002

This paper introduces a search method based on conceptual graph. A hyperlink information is essential to construct conceptual graph in web. The information is very useful as it provides summary and further linkage to construct conceptual graph that has been provided by human. It also has a property which shows review, relation, hierarchy, generality, and visibility. Using this property, we extracted the keywords of web documents and made up of the conceptual graph among the keywords sampled from web pages. This paper extracts the keywords of web pages using anchor text one out of hyperlink information and makes hyperlink of web pages abstract as the link relation between keywords of each web page. 1 suggest this useful search method providing querying word extension or domain knowledge by conceptual graph of keywords. Domain knowledge was conceptualized knowledged as the conceptual graph. Then it is not listing web documents which is the defect of previous search system. And it gives the index of concept associating with querying word.

• International Journal of Advanced Culture Technology
• /
• 제12권3호
• /
• pp.336-344
• /
• 2024

The purpose of this study is to analyze the need of college students for experiential learning, collaborative learning, and enquiry-based learning. To achieve this goal, a survey was conducted with 308 college students. The need for experience, collaboration, and enquiry-based learning was comprehensively analyzed through t-tests, Borich needs analysis, and priority determination using The Locus for Focus model. The research findings are as follows: First, in Borich need analysis, the highest needs were identified for deep learning, self-directed learning, connecting theoretical knowledge with practical application, immersion, and application to real-life situations. Second, in The Locus for Focus model, the highest needs were found for abstract conceptualization, interest, conflict management, self-directed learning, and curiosity. In summary, since self-directed learning showed the highest priority simultaneously in Borich need analysis and The Locus for Focus model, it should be considered as the most prioritized item.

• 한국의상디자인학회지
• /
• 제12권2호
• /
• pp.107-118
• /
• 2010

The purpose of this study is to be data and to help understanding of pattern of Korean, Chinese and Japanese traditional dress. The methods of this study are the study of academic literatures as well as practical study through the analysis of case studies about actual works. The summary of this study's results is like followings. First, standard of Pattern are nature, mam-made in motif object, Naturalistic, Geometric, Stylized, Abstract in motif express, Order, Disorder in pattern express. Second, a point of sameness of motif object in traditional dress of three nations were that nature and letter abstractive of mam-made is a lot. but motif of Japan was used in daily life motif of mam-made which was not in Korea and China Third, commonly, motif expression of three nations were developed Naturalistic, Stylized. but in Naturalistic, Korea was simple, plane, China was three-dimensional, Japan was expressed super realism. Fourth, as formative aesthetic of Pattern, Korea is natural, plane, simple and symbolic, China is gorgeous, three-dimensional, immaculacy, filling and symbolic, Japan is delicate, complicated, decoration and symbolic.

• 한국멀티미디어학회논문지
• /
• 제6권5호
• /
• pp.797-804
• /
• 2003

장면 전환검출 (scene change detection)은 영상 정보의 색인 (indexing) 및 검색을 위한 전처리로서 비디오 검색 시스템의 전체 성능을 좌우하는 중요한 기술로 현재 많은 연구가 진행되고 있다. 본 논문에서는 급격한 움직임 및 조명 변화, 빠르게 연속적으로 등장하는 장면 전환에 강건한 급격한 장면 전환 검출 기법과 디졸브, 페이드 등의 장면 전환을 보다 효과적으로 검출할 수 있는 점진적인 장면 전환 검출 기법 및 추출된 셧 (shot)의 내용을 DCT DC 이미지 버퍼링과 누적 히스토그램 교차 함수 (accumulative histogram intersection measure)에 의해 대표 프레임으로 추출하는 새로운 알고리즘을 제안하고, 모의 실험 결과 기존 방식에 비해 보다 우수한 성능을 보임을 입증하였다.

• 정보관리학회지
• /
• 제18권2호
• /
• pp.57-76
• /
• 2001

인터넷 및 정보기술의 급속한 발전에 따라 기존의 도서관은 원문위주의 서비스를 제공하는 도서관으로 변화되고 있다. 본 논문에서는 메타 데이터 기반 논문 종합목록 시스템을 설계하고 구현한다. 학술지 논문 종합 목록을 위한 메타데이터 접합은 더블린 코어 메타데이터 요소 중 12개를 선택하고 소장요소를 추가 제안한다. 본 논문에서 설계 구현한 학술지 논문 종합 목록 시스템은 웹 브라우저 및 Z39.50 프로토콜을 이용하는 온라인 공동 목록 시스템과 학술지 논문 종합 목록시스템 그리고 학술지 논문 통합 검색 서비스로 구성된다. 또한 학술지논문에 대한 통합 검색 또는 기사 색인 검색 결과에 따라 초록보기, 목차보기, 원문보기 등의 서비스가 제공되고, 복사/팩스 서비스 시스템과 연계된다.

• Physical Therapy Rehabilitation Science
• /
• 제10권2호
• /
• pp.185-196
• /
• 2021

Objective: Falling is one of main accident to facilitate the physical injuries in order adults. The purpose of the systematic review was to determine the effects of postural balance training whether the recovery of falls in elderly with normal physical function or not throughout summing the selected studies quantitatively. Design: A systematic review Methods: MEDLINE and other four databases were searched up to April 20, 2021 and randomized controlled trials (RCTs) evaluating postural balance approaches on fall risks in elderly. The researched studies excluded the double studies, titles and abstract, and finally full-reported study. The selected RCTs studies were extracted characteristics of the studies and summary of results based on PICOS-SD (population, intervention, comparison, outcomes, and setting- study design) model to synthesize the papers qualitatively. Results: The review involved 22 RCT reports with 4,847 community older adults aged 65 years or over. Nineteen of the selected RCT studies reported dual or multimodal exercises show the beneficial effect for older adults compared to one-type treatment or no intervention. All of selected showed low risk in the selection, attrition, and reporting bias. However, detection bias showed low risk at 75% records of the involved RCTs and performance bias was low risk at only three records. Conclusions: The results of the systematic review propose that a standardized therapeutic approach and the intensity are needed for improving risk of falls in older adults.