• 한국산업정보학회:학술대회논문집
• /
• 한국산업정보학회 1997년도 추계학술대회 발표논문집:21세기를 향한 정보통신 기술의 전망
• /
• pp.79-89
• /
• 1997

Logic programming has many advantages as a paradigm for parallel programming because it offers ease of programming while retaining high expressive power due to its declarative semantics. In parallel logic programming, one of the important issues is the compile-time parallelism detection. Static data-dependency analysis has been widely used to gather some information needed for the detection of AND-parallelism. However, the static data-dependency analysis cannot fully detect AND-parallelism because it does not provide some necessary functions such as the propagation of groundness. As an alternative approach, abstract interpretation provides a promising way to deal with AND-parallelism detection, while a full-blown abstract interpretation is not efficient in terms of computation since it inherently employs some complex operations not necessary for gathering the information on AND-parallelism. In this paper, we propose an abstract domain which can provide a precise and efficient way to use the abstract interpretation for the detection of AND-parallelism of logic programs.

• 대한원격탐사학회:학술대회논문집
• /
• 대한원격탐사학회 1999년도 Proceedings of International Symposium on Remote Sensing
• /
• pp.433-438
• /
• 1999

The land use type of Korea is high-density. So, the image classification using coarse resolution satellite image may not provide land cover classification results as good as expected. The purpose of this paper is to compare the result of visual interpretation with that of digital image classification of 20 m resolution SPOT satellite image at Kwangju-eup, Kyunggi-do, Korea. Classes are forest, cultivated field, pasture, water and residential area, which are clearly discriminated in visual interpretation. Maximum likelihood classifier was used for digital image classification. Accuracy assessment was done by comparing each classification result with ground truth data obtained from field checking. The classification result from the visual interpretation presented an total accuracy 9.23 percent higher than that of the digital image classification. This proves the importance of visual interpretation for the area with high density land use like the study site in Korea.

• 대한원격탐사학회지
• /
• 제18권3호
• /
• pp.163-169
• /
• 2002

The land uses of Korean peninsula are very complicated and high-density. Therefore, the image classification using coarse resolution satellite images may not provide good results for the land cover classification. The purpose of this paper is to compare the classification accuracy of visual interpretation with that of digital image classification of satellite remote sensing data such as 20m SPOT and 30m TM. In this study, hybrid classification was used. Classification accuracy was assessed by comparing each classification result with reference data obtained from KOMPSAT-1 EOC imagery, air photos, and field surveys.

• 논리연구
• /
• 제17권3호
• /
• pp.461-484
• /
• 2014

본 논문은 확률의 객관적 해석과 주관적 해석이 가지는 문제점을 진단함으로써 이들을 극복할 수 있는 구성주의 확률해석을 제안한다. 이 확률해석에 의하면 확률의 수학적 구조는 경험적 자료들 사이에 연관성을 부여하는 구성적 이론적 가설을 제공하는 것으로 이해할 수 있다. 구성주의 확률해석을 위한 사례로 우주의 시간적 비대칭성에서의 확률구조를 분석했다. 본 사례의 확률을 구성적으로 해석할 경우 객관적 그리고 주관적으로 확률을 해석하는 문제들을 제거할 수 있다. 또한 구성적 확률해석은 고전적 확률해석이 그 문제점에도 불구하고 왜 표면적으로 신빙성 있는지에 대한 설명도 제공한다.

• 보존과학회지
• /
• 제5권1호
• /
• pp.105-111
• /
• 1996

In order to maintain and evaluate the adequate humidity and temperature of a museum, the data of these should be periodically monitored and accumulated. For this purpose, We have designed the interpretation method of charts of the widely used thermo hydrorecorder at the museum, and developed the computer-based program (name of the program : HATH interpretation program). This method is as follows;The recording of thermo hydrorecorder(model ; Sato R-704) Input a through scanner (UMAX type), and was transformed into numerical value and was processed the statistics by HATH interpretation program. Output can be present the numerical value and the graph which are classified by a day, a month, and a year. By this method, the humidity and temperature data which were taken from 12points in the exhibition case, storage and outdoor of the Ho-Am art Museum in 1995 were processed. At the results, its ability for fast processing, management and analysis of the data was proved to be excellent.

• 대한유전성대사질환학회지
• /
• 제6권1호
• /
• pp.40-51
• /
• 2006

Purpose: A personal computer-based system was developed for automated metabolic profiling of organic aciduria and aminoacidopathy by gas chromatography-mass spectrometry and data interpretation for the diagnosis of metabolic disorders Methods: For automatic data profiling and interpretation, we compiled retention time, two target ions and their intensity ratio for 77 organic acids and 13 amino acids metabolites. Metabolites above the cut-off values were flagged as abnormal compounds. The data interpretation was a based on combination of flagged metabolites. Diagnostic or index metabolites were categorized into three groups, "and", "or" and "NO" compiled for each disorder to improve the specificity of the diagnosis. Groups "and" and "or" comprised essential and optional compounds, respectively, to reach a specific diagnosis. Group "NO" comprised metabolites that must be absent to make a definite diagnosis. We tested this system by analyzing patients with confirmed Propionic aciduria and others. Results: In all cases, the diagnostic metabolites were identified and correct diagnosis was founded to be made among the possible disease suggested by the system. Conclusion: The study showed that the developed method could be the method of choices in rapid, sensitive and simultaneous screening for organic aciduria and amino acidopathy with this simplified automated system.

• 한국컴퓨터정보학회논문지
• /
• 제5권4호
• /
• pp.21-27
• /
• 2000

This paper is keeping with the general pattern of automatic acquisition and interpretation of geographical digital data. Maps of the Institut Geographique National of France are built up with four so-called "mother" maps represented by four colors. The green one deals with the vegetation. In a green layer, woods, bushes, vines. fields and boundaries of domanial forests or nature reserves are represented by different synthetic textures We present here an original method of texture analysis applied to the automatic interpretation of vegetation belts.

• 한국구조물진단유지관리공학회 논문집
• /
• 제11권3호
• /
• pp.167-175
• /
• 2007

정밀한 구조물의 상태진단 혹은 안전성 평가는 비파괴 시험의 정밀성(Accuracy), 변이성(Variability) 등과 같은 여러 가지 요소에 의하여 좌우된다. 특히 비파괴 시험을 이용한 측정값과 구조물의 상태에 있어서의 불확실성(Uncertainty)은 정밀한 상태진단에 큰 영향을 미친다. 비파괴 시험을 활용함에 있어서의(간접조사) 신뢰할만한 비파괴 장비라면 현 구조물의 상태(피해면적)를 정확하게 나타낼 수 있어야 한다. 본 논문은 현재 사용이 증가되고 있는 비파괴 장비의 올바른 선택과 정확한 구조물의 안전 진단을 위하여, 비파괴장비의 성능 평가에 있어 확률적 기초를 제공한다.

• 한국구조물진단유지관리공학회 논문집
• /
• 제13권5호통권57호
• /
• pp.101-108
• /
• 2009

비파괴 시험을 이용한 RC 구조물의 진단에 있어서 비파괴 측정값의 적절한 해석을 통해서만 현 구조물의 상태진단이 가능하다. 보다 정확한 구조물의 상태진단은 비파괴 시험의 정밀성, 변이성 등과 같은 여러 가지 요소에 의하여 좌우된다. 특히 비파괴 시험을 이용한 측정값과 구조물의 상태에 있어서의 불확실성은 정밀한 상태진단에 큰 영향을 미친다. 본 논문은 현재 사용이 증가되고 있는 비파괴 장비의 올바른 선택과 정확한 구조물의 진단을 위하여, 비파괴 측정값의 확률적 해석법의 기초를 제공하고 있다.

• Mass Spectrometry Letters
• /
• 제3권3호
• /
• pp.63-67
• /
• 2012

The need of heavy and unconventional crude oil as an energy source is increasing day by day, so does the importance of petroleomics: the pursuit of detailed knowledge of heavy crude oil. Crude oil needs techniques with ultra-high resolving capabilities to resolve its complex characteristics. Therefore, ultra-high resolution mass spectrometry represented by Fourier transform ion cyclotron resonance mass spectrometry (FT-ICR MS) has been successfully applied to the study of heavy and unconventional crude oils. The analysis of crude oil with high resolution mass spectrometry (FT-ICR MS) has pushed analysis to the limits of instrumental and methodological capabilities. Each high-resolution mass spectrum of crude oil may routinely contain over 50,000 peaks. To visualize and effectively study the large amount of data sets is not trivial. Therefore, data processing and visualization methods such as Kendrick mass defect and van Krevelen analyses and statistical analyses have played an important role. In this regard, it will not be an overstatement to say that the success of FT-ICR MS to the study of crude oil has been critically dependent on data processing methods. Therefore, this review offers introduction to peotroleomic data interpretation methods.