• Proceedings of the Korea Inteligent Information System Society Conference
• /
• 2005.11a
• /
• pp.317-330
• /
• 2005

시맨틱 웹 관련연구가 증가함에 따라 지능형 에이전트 혹은 규칙기반 시스템 등의 지능적인 웹 환경에 대한 기대 역시 커지고 있다. 그러나 규칙기반 시스템의 활용에는 아직도 규칙습득이 많은 제약이 되고 있다. 이와 같은 제약을 극복하기 위해 웹 페이지로부터 규칙을 습득하기 위한 XRML 방법론이 제안되었다. XRML 방법론은 웹 페이지로부터 규칙을 식별하고 식별된 결과로부터 자동으로 규칙을 생성하는 두 단계로 구성되어 있다. 여기서 규칙의 식별은 규칙생성의 자동화 정도에 매우 중요한 영향을 미친다. 그러나 규칙을 식별하는 작업은 대부분 지식관리자의 수작업에 의존하고 있다. 이러한 지식관리자의 부담을 줄이기 위해 본 논문에서는 온톨로지 기반의 개선된 규칙식별 방법론을 제안하고자 한다. 이를 위해 먼저 OntoRule이라는 이름의 온톨로지를 설계하였다. OntoRule은 자동화된 규칙 식별을 지원하기 위해 사용되며, 규칙의 구성요소들과 구조에 대한 정보를 포함하고 있다. 그리고 OntoRule을 이용하여 규칙을 식별하는 절하를 제안하였다. OntoRule과 규칙식별 절차를 제안하는 과정에서 온톨로지 학습효과, 하향식 접근방식과 상향식 접근방식의 차이, 온톨로지 적용범위 관리, 규칙 구성요소의 식별순서, 생략된 별수의 식별과 같은 놈점들이 고려되었다. 마지막으로 실험을 통해 제안된 방법론의 효과를 보였다.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.2
• /
• pp.347-356
• /
• 1999

We present a method of thesaurus construction in order to produce semantic concept hierarchy of Korean nouns and implement a system for constructing the thesaurus in this paper. Multiple-step construction method is applied to this system which uses bottom-up and top-down method complementarily for solving the non-objectivity of word hierarchy, working speed, structural contradiction and incoherency of existing thesaurus. This system maintains objectivity using the meaning sentence of machine-readable dictionary and solves structural contradiction and incoherency with reference to existing thesaurus. We implement a developmental tool based on client/server system to construct thesaurus including massive entries as soon as possible and multiple client can work simultaneously.

• Journal of The Korean Association For Science Education
• /
• v.33 no.7
• /
• pp.1471-1485
• /
• 2013

The purpose of this study was to develop a HAM (Heuristic Attention Model) by analyzing the difference between eye movements according to the science achievement of elementary school students on discrimination task. Science achievement was graded by the results of the Korea national achievement test conducted in 2012 for a random sampling of classes. As an assessment tool to check discrimination task, two discrimination measure problems from TSPS (Test of Science Process Skill, developed in 1994) which were suitable for an eye tracking system were adopted. The subjects of this study were 20 students from the sixth grade who agreed to participate in the research. SMI was used to collect EMD (eye movement data). Experiment 3.2 and BeGaze 3.2 programs were used to plan experiments and analyze EMD. As a result, eye movements of participants in discrimination tasks varied greatly in counts and duration of fixation, first fixation duration, and dwell time, according to students' science achievement and difficulty of the problems. By the analysis of EMD, strategies of the students' problem-solving could be found. During problem solving, subjects' eye movements were affected by visual attention; bottom-up attention, top-down attention and convert attention, and aflunter attention. In conclusion, HAM was developed, and it is believed to help in the development of a science learning program for underachievers.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.29 no.5A
• /
• pp.554-565
• /
• 2004

In this paper, we implement single cycle and multi cycle adders. We can compare area and time by using the implemented adders. The size of adders is 64, 128, 256-bits. The architecture of hybrid adders is that the carry-out of small adder groups can be interconnected by utilizing n carry propagate unit. The size of small adder groups is selected in three formats - 4, 8, 16-bits. These adders were implemented with Verilog HDL with top-down methodology, and they were verified by behavioral model. The verified models were synthesized with a Samsung 0,35(um), 3.3(V) CMOS standard cell library while a using Synopsys Design Compiler. All adders were synthesized with group or ungroup. The optimized adder for a Crypto-processor included Smart Card IC is that a 64-bit RCA based on 16-bit CLA. All small adder groups in this optimized adder were synthesized with group. This adder can operate at a clock speed of 198 MHz and has about 961 gates. All adders can execute operations in this won case conditions of 2.7 V, 85 $^{\circ}C$.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.26 no.11C
• /
• pp.148-156
• /
• 2001

This paper proposed embedded application-specific microprocessor(YS-RDSP) whose structure has an additional DSP processor on chip. The YS-RDSP can execute maximum four instructions in parallel. To make program size shorter, 16-bit and 32-bit instruction lengths are supported in YS-RDSP. The YS-RDSP provides programmability. controllability, DSP processing ability, and includes eight-kilobyte on-chip ROM and eight-kilobyte RAM. System controller on the chip gives three power-down modes for low-power operation, and SLEEP instruction changes operation statue of CPU core and peripherals. YS-RDSP processor was implemented with Verilog HDL on top-down methodology, and it was improved and verified by cycle-based simulator written in C-language. The verified model was synthesized with 0.7um, 3.3V CMOS standard cell library, and the layout size was 10.7mm78.4mm which was implemented by using automatic P&R software.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.28 no.2A
• /
• pp.80-85
• /
• 2003

This paper proposes Galois Field Arithmetic Unit(GFAU) whose structure does addition, multiplication and division in GF(2m). GFAU can execute maximum two additions, or two multiplications, or one addition and one multiplication. The base architecture of this GFAU is a divider based on modified Euclid's algorithm. The divider was modified to enable multiplication and addition, and the modified divider with the control logic became GFAU. The GFAU for GF(2193) was implemented with Verilog HDL with top-down methodology, and it was improved and verified by a cycle-based simulator written in C-language. The verified model was synthesized with Samsung 0.35um, 3.3V CMOS standard cell library, and it operates at 104.7MHz in the worst case of 3.0V, 85$^{\circ}C$, and it has about 25,889 gates.

• The Journal of the Korea Contents Association
• /
• v.11 no.8
• /
• pp.475-487
• /
• 2011

In this paper, we present a systematic method to derive spectrum of high-order pulse and a novel design of e-Learning system that deals with deriving the spectrum using concept-based branching method. Spectrum of high-order pulse can be derived using conventional methods including 'Consecutive Differentiations' or 'Convolutions', however, their complexity of calculation should be too high to be used as the order of the pulse increase. We develop a recursive algorithm according to the order of pulse, and then derive the formula of spectrum connected to the order with a newly designed look-up table. Moving along, we design an e-Learning content for studying the procedure of deriving high-order pulse spectrum described above. In this authoring, we use the concept-based object branching method including conventional page or title-type branching in sequential playing. We design all four Content-pages divided into 'Modeling', 'Impulse Response and Transfer Function', 'Parameters' and 'Look-up Table' by these conceptual objects. And modules and sub-modules are constructed hierarchically as conceptual elements from the Content-pages. Students can easily approach to the core concepts of the analysis because of the effects of our new teaching method. We offer step-by-step processes of the e-Learning content through unit-based branching scheme for difficult modules and sub-modules in our system. In addition we can offer repetitive learning processes for necessary block of given learning objects. Moreover, this method of constructing content will be considered as an advanced effectiveness of content itself.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.15 no.6
• /
• pp.3879-3887
• /
• 2014

This paper presents a model to estimate the amount of $CO_2$ emitted by cars in cities. Based on the spatial configuration of street networks, building masses and usages, it first develops a deductive model to combine them in a way to account for $CO_2$ emission amount by cars. It then proceed to validate model behaviours through a series of simulations on some ideal urban settings and finally calibrate it following its real application to the five case study cities in Korea. In contrast to the conventional 'top-down' approaches, we expect our model to have high utilities, particularly in the field of urban planning and design, where we cannot but deal directly with the spatial configuration of urban components and microscopic human activities.

• The Journal of Sustainable Design and Educational Environment Research
• /
• v.19 no.2
• /
• pp.11-20
• /
• 2020

The goal of this study was to investigate the implementation and related issues of the school space innovation issued by key Korean mass media using text mining. To accomplish this goal, this study collected 519 news articles associated with the school space innovation issued by 54 Korean mass media companies. Based on this data, this study performed the frequency analysis and network analysis regarding the keywords. Based on the findings, the characteristics of school space innovation are summarized as follows: First, school space innovation has progressed in response to future education. Second, users are actively participating in school space innovation. Third, experts are supporting the innovation of school space by establishing a cooperative system. Fourth, the community is actively considering the innovation of school space. Fifth, the main projects of the Ministry of Education and the Provincial Offices of Education are actively conducted in a mix of top-down and bottom-up approaches. The findings of this study will contribute to providing a clear direction for contemporary school space innovation and implications for future research agenda and implementation.

• Journal of KIISE:Software and Applications
• /
• v.27 no.2
• /
• pp.157-167
• /
• 2000

As the requirements of a software system become large and complex, it causes some problems such that requirements specification using formal methods becomes larger in its size and less understandable. In order to solve such problems, the concepts of modularity and object are adopted to specify the requirements. In addition, top-down and compositional approach to handle such requirements are also adopted. In our paper, we suggest an object-oriented Petri net, called HOONet, to hierarchically specify and verify the complex requirements by incorporating the concepts of modularity, object, abstraction and refinement into a formal method. Our HOONet method supports the incremental specification and verification of partially described or not yet fully analyzed requirements. We also show the applicability of our method by modeling and verifying the requirements of a reactor safety control system.