2,859 research outputs found
Cho Sungwon
No full text학위논문(석사)--아주대학교 정보통신전문대학원 :정보통신공학과,2006. 8오늘날 지식 표현과 추론에 대한 연구가 활발한 가운데, 그 필요성도 점점 증대되어 가고 있다. 지식 표현과 추론에 대한 연구는 온톨로지를 필두로 하여 계속 되어오고 있으며, 지식 개발 방법론, 온톨로지 편집기, 온톨로지 활용 방안 등으로 이어지고 있다. 연구에 대한 필요성도 컴퓨터의 지능화에 발맞춰 점점 높아져 가고 있다. 특히 유비쿼터스 기술의 발전과 맞물려 지능적 서비스를 위해 온톨로지를 활용하는 연구가 필요하게 되었다. 그러나 온톨로지의 활용엔 지식 표현 능력과 컴퓨팅 능력의 효율 간의 불균형으로 인한 어려움이 존재한다. 지식 표현 능력이 높아지면 높아질수록 그에 필요한 컴퓨팅 능력은 기하급수적으로 늘어나기 때문이다. 온톨로지 언어의 표현력은 매우 높은 수준이어서 OWL-full의 경우엔 결정 가능한 알고리즘으로 추론할 수 없는 수준까지 제안되었고, 그 보다 낮은 표현능력을 가진 OWL-DL도 상당한 컴퓨팅 능력을 필요로 하는 규모가 큰 추론엔진을 써야 한다. 유비쿼터스 기기는 무선 환경의 작은 컴퓨팅 기기이기 때문에, 유비쿼터스 환경에서 필요한 서비스를 정립하고 그에 맞는 작은 온톨로지 언어와 추론 엔진을 개발하는 연구가 필요하다.
본 논문에서는 유비쿼터스 환경에서 필요한 서비스를 연구하고, 그에 맞는 온톨로지 언어인, EOL-Lite와 그 추론 엔진을 제안한다. EOL-Lite는 Description Logic에 기반한 온톨로지 언어로써 유비쿼터스 환경에 필요한 최소한의 표현 능력을 지닌 언어가 될 것이고, 그 추론 엔진도 기존의 간단한 알고리즘을 확장한 결정 가능한 알고리즘을 사용할 것이다. 그리고 실제 적용 사례를 분석하고, 기존의 추론 엔진들 과의 성능 평가와 추후 연구 방향에 대하 논할 것이다.제 1 장 서 론 5
제 1 절 에이전트 기반의 유비쿼터스 환경 5
제 2 절 유비쿼터스 환경에서 지식 표현과 추론의 필요성 6
제 2 장 관련 연구 8
제 1 절 기존의 지식 표현 연구 8
제 2 절 DESCRIPTION LOGIC 9
제 1 항 지식 표현 방법 9
제 2 항 지식 표현 능력 10
제 3 항 추론 알고리즘 11
제 4 항 추론 엔진 13
제 3 절 ONTOLOGY 14
제 3 장 유비쿼터스 환경과 지식 추론 18
제 1 절 유비쿼터스 환경의 서비스 18
제 1 항 상황 인지 18
제 2 항 서비스 검색 19
제 2 절 유비쿼터스 환경에서의 지식과 추론 21
제 1 항 유비쿼터스 환경에서 필요한 지식 21
제 2 항 추론 22
제 4 장 EOL-LITE 24
제 1 절 언어의 SYNTAX와 SYMANTIC 24
제 2 절 추론 알고리즘 27
제 3 절 추론 엔진 32
제 5 장 예제 시나리오 35
제 1 절 적용 사례 35
제 1 항 지식 베이스 35
제 2 항 추론 예제 37
제 6 장 결론 및 토의 38
참고 문헌 39Maste
FFS: A fast peer-to-peer file sharing approach for mobile devices
No full textWith the emergence of mobile devices and the rapid growth in mobile networks, file sharing became a common activity. However, in order to share files between mobile devices, users need to use different software systems depending on situations, which makes it tedious and inconvenient. In this paper, we propose FFS, a fast file sharing approach for peer-to-peer file sharing. FFS overcomes network limitations with an approach that dynamically selects a suitable one among various NAT traversal techniques
Figure 5 in Three new species of Billibathynella from Western Australia (Crustacea, Syncarida, Parabathynellidae)
No full textFigure 5. Billibathynella wolframnoodti sp. nov. (male: holotype). (A) Right thoracopod VI (frontal); (B) right thoracopod VII (frontal). Scale bar 0.1 mm.Published as part of Hong, Sungwon J. & Cho, Joo-Lae, 2009, Three new species of Billibathynella from Western Australia (Crustacea, Syncarida, Parabathynellidae), pp. 2365-2390 in Journal of Natural History 43 (37-38) on page 2371, DOI: 10.1080/00222930903108702, http://zenodo.org/record/521730
Figure 13 in Three new species of Billibathynella from Western Australia (Crustacea, Syncarida, Parabathynellidae)
No full textFigure 13. Billibathynella cassidis sp. nov. (male: holotype). (A) Left thoracopod IV (frontal); (B) left thoracopod V (frontal); (C) right thoracopod VI (frontal); (D) left thoracopod VII (frontal). Scale bar 0.1 mm.Published as part of Hong, Sungwon J. & Cho, Joo-Lae, 2009, Three new species of Billibathynella from Western Australia (Crustacea, Syncarida, Parabathynellidae), pp. 2365-2390 in Journal of Natural History 43 (37-38) on page 2382, DOI: 10.1080/00222930903108702, http://zenodo.org/record/521730
Figure 6 in Three new species of Billibathynella from Western Australia (Crustacea, Syncarida, Parabathynellidae)
No full textFigure 6. Billibathynella ilgarariensis sp. nov. (male: holotype, female: allotype). (A) General habitus, female (lateral); (B) left antennule, male (dorsal); (C) left antenna, male (dorsal); (D) labrum male (ventral); (E) left mandible, male (ventrolateral); (F) left maxillule, male (ventral); (G) right maxilla, male (dorsal); (H) right and left thoracopod VIII, female; (I) left thoracopod VIII, male (inner lateral); (J) right thoracopod VIII, male (outer lateral). Scale bars 0.1 mm, unless specified.Published as part of Hong, Sungwon J. & Cho, Joo-Lae, 2009, Three new species of Billibathynella from Western Australia (Crustacea, Syncarida, Parabathynellidae), pp. 2365-2390 in Journal of Natural History 43 (37-38) on page 2374, DOI: 10.1080/00222930903108702, http://zenodo.org/record/521730
Code Edit Recommendation Using a Recurrent Neural Network
No full textWhen performing software evolution tasks, developers spend a significant amount of time looking for files to modify. By recommending files to modify, a code edit recommendation system reduces the developer’s navigation time when conducting software evolution tasks. In this paper, we propose a code edit recommendation method using a recurrent neural network (CERNN). CERNN forms contexts that maintain the sequence of developers’ interactions to recommend files to edit and stops recommendations when the first recommendation becomes incorrect for the given evolution task. We evaluated our method by comparing it with the state-of-the-art method MI-EA that was developed based on the association rule mining technique. The result shows that our proposed method improves the average recommendation accuracy by approximately 5% over MI-EA (0.64 vs. 0.59 F-score)
기준 전압 생성 회로
No full textA reference voltage generating circuit includes a bandgap reference (BGR) circuit configured to output an active reference voltage at a first node according to a sample signal; a first charging circuit configured to charge a first capacitor using the active reference voltage according to the sample signal; a second charging circuit configured to charge a second capacitor using the active reference voltage according to the sample signal; and a comparing circuit configured to compare a voltage difference between a charge voltage of the first capacitor and a charge voltage of the second capacitor with a threshold value, wherein the sample signal is a pulse signal generated using an output of the comparing circuit and the charge voltage of the first capacitor is provided as a low power reference voltage in a low power operation mode
(Poster) Spatially Resolved Doping Properties Along Single Mg-Doped p-Type GaN Micro-Rods
No full textWeighted estimates of solutions to second order parabolic equations
No full textAbstractWe evaluate the rate of decay for solutions to second order parabolic equations, which vanish on the boundary, while the right-hand side is allowed to be unbounded. Our approach is based on a special growth lemma, and it works for both divergence and non-divergence equations, in domains satisfying a general “exterior measure condition” (A). The result for elliptic case is published in Cho and Safonov (2007) [2]
- …
