• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 가을 학술발표논문집 Vol.30 No.2 (3)
• /
• pp.199-201
• /
• 2003

Ad hoc network은 stationary infrastructure의 도움 없이 이동 노드들이 필요 시 network 형태을 구성하여 통신이 이루어지게 하는 network으로 ad hoc network 환경에 맞는 다양한 라우팅 프로토콜들이 개발되었고 크게는 table­driven, on­demand 방식으로 나눌 수 있는데 on­demand 방식의 AODV 프로토콜은 routing overhead가 적다는 장점이 있는 반면 single path로 data forwarding을 진행하여 중간노드의 이동에 의한 path가 broken되는 경우 local routing을 하거나 새로이 source­initialed route rediscovery을 수행하여 전송 delay 및 control traffic overhead 등을 높이는 결과를 발생 시켰다. 본 논문은 single path로 구성되는 AODV 프로토콜의 route failures시 문제점을 보완한 Associativity Based Redundancy path Routing(ABRR) 및 Alternate Redundancy path Routing(ARR) schemes을 제안한다. 첫째, ABRR은 main path상에 있는 각 노드들은 associativity based stable node 정보를 이용하여 path broken 이전에 local redundancy path을 구성하여 path broken시 local routing없이 route을 복구할 수 있게 하고 둘째, ARR은 source­initialed route discovery에 의해 alternate path을 구성하여 ABRR 그리고 local routing에 의해 main route recovery 실패 시 alternate path을 main path로 전환하여 control traffic overhead 및 전송 delay을 줄이게 한다.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제3권5호
• /
• pp.475-491
• /
• 2009

This paper is primarily concerned with multi-path routing in Mobile Ad hoc Networks (MANETs). We propose a novel associativity-based on-demand source routing protocol for MANETs that attempts to establish relatively stable path(s) between the source and the destination. We introduce a new notion for gauging the temporal and spatial stability of nodes, and hence the paths interconnecting them. The proposed protocol is compared with other unipath (DSDV and AODV) and multi-path (AOMDV) routing protocols. We investigate the performance in terms of throughput, normalized routing overhead, packet delivery ratio etc. All on-demand protocols show good performance in mobile environments with less traffic overhead compared to proactive approaches, but they are prone to longer end-to-end delays due to route discovery and maintenance.

• 논리연구
• /
• 제12권1호
• /
• pp.89-110
• /
• 2009

This paper investigates generalizations of weakening-free uninorm logics not assuming associativity of intensional conjunction (so called fusion) &, as non-associative fuzzy-relevance logics. First, the strong t-associative monoidal uninorm logic StAMUL and its schematic extensions are introduced as non-associative propositional fuzzy-relevance logics. (Non-associativity here means that, differently from classical logic, & is no longer associative.) Then the algebraic structures corresponding to the systems are defined, and algebraic completeness results for them are provided. Next, predicate calculi corresponding to the propositional systems introduced here are considered.

• 한국정보과학회논문지:시스템및이론
• /
• 제37권2호
• /
• pp.90-102
• /
• 2010

플래시 메모리는 저전력, 비휘발성, 충격 내구성의 특성 때문에 임베디드 시스템에서 가장 중요한 저장 장치로 사용되고 있다. 하지만, 플래시 메모리는 덮어쓰기가 안 되는 제약 때문에 FTL이라고 하는 주소 변환을 위한 소프트웨어를 사용하며, 효율적인 주소변환을 위해서 로그 버퍼 기반의 FTL이 많이 사용되고 있다. 로그 버퍼 기반 FTL의 설계시에 중요한 사항으로서 데이터 블록과 로그 블록의 연관구조를 결정하는 문제가 있다. 기존의 기법들은 설계시에 결정된 정적인 구조를 사용하지만, 본 논문에서 는 어플리케이션의 시간적 공간적 워크로드의 변화를 고려한 적응적 로그 블록 연관 구조를 제안한다. 제안하는 FTL은 실행시간에 어플리케이션의 워크로드의 변화에 최적화된 로그 블록 연관 구조를 사용함으로써 정적으로 최적의 연관 구조를 선택하는 기존의 기법 대비 5~16%의 성능 향상을 가져왔다.

• 논리연구
• /
• 제19권3호
• /
• pp.437-461
• /
• 2016

이 글에서 우리는 (곱 연언 &의) 약한 형식의 결합 원리를 갖는 약화 없는 퍼지 논리를 연구한다. 이를 위하여 먼저 wta-유니놈에 기반 한 체계 $WA_tMUL$과 이의 두 공리적 확장 체계들을 약화 없는 약한 결합 원리를 갖는 퍼지 논리로 소개한다. 그리고 각 체계에 상응하는 대수적 구조를 정의한 후, 이 체계들이 대수적으로 완전하다는 것을 보인다. 다음으로 제네이-몬테그나 스타일의 구성방식을 사용하여 체계 $WA_tMUL$과 추가적 공리를 갖는 두 확장 체계들이 표준적으로 완전하다는 것을 보인다.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제50권1호
• /
• pp.41-59
• /
• 2011

Given the importance of algebra in the early grades, this paper analyzed the contents of whole numbers and their operations from the perspectives of generalized arithmetic. In particular, the focus of analysis was given to the properties of 0 and 1, those of operations such as commutativity, associativity, and distributivity, and the relations between operations. As such, this paper analyzed in detail how such properties and relations were introduced and expanded across different grades. It is expected that many issues in this paper will serve basic information to develop instructional materials in a way to fostering students' algebraic thinking in the elementary grades.

• 영어영문학
• /
• 제55권6호
• /
• pp.937-959
• /
• 2009

The Queen of the Air, John Ruskin-s highly elliptical publication of 1869, elaborates a complex mythology as a way of responding to the prevalence of scientific thinking, widespread environmental degradation, the pernicious effects of political economy, and mechanistic labor. Benjamin-s desire to rescue human experience from prevailing scientific conceptions is reminiscent of Ruskin-s fear that the peculiar power that shapes the unities of the natural world is simultaneously being "beaten down by the philosophers into a metal or evolved by them into a gas" and obscured by the dreams and theories of philosophers and theologians. As a critic remarks, in Benjamin-s-and, we would add, Ruskin-s-view, "what the modern era lacked was a basis for continuity which would prevent experience from disintegrating into a desultory and meaningless series of events." Despite its frenetic hyper-associativity, then, The Queen of the Air contains a key element that Benjamin believes is necessary for "redemption": the desire for a new form of consciousness that recognizes links to the past and thus to the longings and dreams of our forebears. Thus, although Ruskin most immediately influences Proust, who in turn influences Benjamin, Benjamin-s thought is far more Ruskinian than critics have heretofore observed. Just as Benjamin helps us make sense of the ways in which The Queen of the Air is caught in the grip of the shocking associativity of modern life, so Ruskin assists us in discerning similar impulses in Benjamin-s attraction to a form of archaic consciousness that can, by altering the modern form of perception, reenchant the present.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제16권6호
• /
• pp.673-677
• /
• 2010

최근 NAND 플래시 메모리는 소형, 경량, 저전력 소모, 빠른 접근 속도 등의 장점으로 내장형 시스템과 개인용 컴퓨터, 서버 시스템에서 널리 사용되고 있다. 플래시 메모리를 하드 디스크처럼 사용하기 위해서는 플래시 변환 계층이 필요하다. 이전에 많은 플래시 변환 계층들이 제안되었지만 이전에 제안되었던 플래시 변환 계층들은 블록 스래싱 문제와 블록 연관성 등 몇 가지 문제점을 가지고 있다. 이 논문에서는 위의 문제를 해결하기 위한 새로운 플래시 변환 계층을 제안한다. 이 기법은 로그 블록의 연관성을 제한하고 데이터 블록의 연관성을 제한하지 않아 합병 연산의 횟수를 최소화 하고, 새로운 공간 회수 기법은 로그 블록 가비지 컬렉션을 이용하여 합병 연산의 비용을 줄인다.

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 2003년도 추계 학술대회 학술발표 논문집
• /
• pp.23-26
• /
• 2003

In this paper, a methodolgy for customizing web pages for indivisual users is suggested. It shows an efficient way to personalize web pages by predicting one's site access pattern. In addition, the prediction can reflect one's tendency after actual purchase. By using the APRIORI algorithm, one of the association rule search methods, the associativity among the purchase items can be inferred. This inferrence is based on the log data in a web server and database about purchase. Finally, a web page which contains the relationship, relative links on other web pages, and inferred items can be generated after this process.

• 논리연구
• /
• 제21권2호
• /
• pp.155-174
• /
• 2018

이 글에서 우리는 (곱 연언 &의) 약한 형식의 결합 원리를 갖는 퍼지 논리를 위한 대수적 크립키형 의미론을 연구한다. 이를 위하여 먼저 약한 결합 원리를 갖는 퍼지 논리의 대수적 의미론을 소개한다. 다음으로 이 체계들을 위한 대수적 크립키형 의미론을 제공한 후, 이를 대수적 의미론과 연관 짓는다.