• 한국언어정보학회:학술대회논문집
• /
• 한국언어정보학회 1991년도 THE SIXTH JAPANESE-KOREAN JOINT CONFERENCE ON FORMAL LINGUISTICS
• /
• pp.113-132
• /
• 1991

• 디지털융복합연구
• /
• 제10권4호
• /
• pp.199-206
• /
• 2012

최근에 무선 모바일 네트워크상에서 모바일 클라이언트 요청증가로 인하여 스트리밍 미디어 객체를 관리하고 서비스하기 위한 새로운 기법이 제안되고 있다. 본 논문에서는 무선 모바일 네트워크상에서 스트리밍 미디어 서비스의 성능을 향상시키기 위한 새로운 객체 세그먼트 그룹화 방법을 제안한다. 제안된 기법은 분할된 객체 세그먼트들에 대해서 유사성 척도를 수행하며, 유사성 척도를 위해 disjunction, conjunction, 그리고 filtering연산을 수행한다. 이들 연산 척도에 따라 분할된 세그먼트들의 그룹화가 결정되며, 스트리밍 미디어 서비스 성능이 결정된다. 시뮬레이션 결과 제안된 기법은 처리율, 평균 시작지연, 그리고 캐시 히트율의 성능이 우수함을 보였다.

• 한국실내디자인학회논문집
• /
• 제23권1호
• /
• pp.96-104
• /
• 2014

The purpose of this study is to investigate Seonyudo Park and Kkummaru in terms of haptic space. This is also an attempt to explore temporality of appearing in architectural spaces with reference to cinematic expression in which time is visible and perceptible. The film of Chris Marker's La Jet$\acute{e}$e depicts temporal relationship by indeterminate continuum, reading the space on the disjunctive relationships of visual and auditory, and aberrance of time and space. Based on the three categories that is derived from those discussions, this study analyzes the experience of non-chronological time induced by architectural devices: the bifurcation of indeterminate circulation, the readability of space on the disjunction of visual and auditory, and the border-dismantling. Therefore, this study have a relationship with the contemporary discourse on time and events as transformation and becoming, and it means to escape from the deterministic thinking to emphasize invariability and space rather than variation and time.

• 비교문화연구
• /
• 제52권
• /
• pp.393-416
• /
• 2018

영어의 부정 스트리핑 구문은 접속사 but, 부사 not, 그리고 하나의 구성성분 NP로 구성되어있다. 해당 구문은 통사적으로는 불완전한 문장처럼 보이지만 의미적으로는 완전한 해석을 전달하며 특히, 이 구문은 중의적인 해석을 가질 수도 있기 때문에 적절한 접근방법으로 의미부를 분석하는 것이 필수적이다. 본 논문에서는 부정 스트리핑 구문의 통사적 구문생성과 중의성 해소를 위해 직접 해석 접근법(Direct Interpretation Approach)을 기반으로 한 구문 규칙을 제안하고자 한다. 이 규칙은 이전의 연구들이 해결하지 못하는 문제점을 설명할 수 있으며, 통사, 의미, 화용론 등 다양한 특성을 설명해준다.

• 논리연구
• /
• 제8권2호
• /
• pp.85-107
• /
• 2005

Kleene first investigated a three-valued system which follows the evaluations of the Lukasiewicz infinite-valued logic ${\L}C$ with respect to negation, conjunction, and disjunction, and treats $\rightarrow$ as material-like implication in the sense that A $\rightarrow$ B is defined as ${\sim}A{\vee}B$ in its evaluation. Diense and Rescher extended it to many-valued logic and infinite-valued logic, respectively. This paper investigates a variant of the infinite-valued Kleene-Diense logic KD, which we shall call strong Kleene-Diense logic (sKD): sKD has the same evaluations as KD except that sKD takes a variant of Kleene-Diense implication. Following the idea of Dunn [2], we provide algebraic completeness for sKD together with its deduction theorem.

• 대한두개안면성형외과학회지
• /
• 제18권1호
• /
• pp.5-8
• /
• 2017

Among the classification of maxillary fracture, the Le Fort classification is the best-known categorization. Le Fort (1901) completed experiments that determined the maxilla areas of structural weakness which he designated as the "lines of weakness". According to these results, there are three basic fracture line patterns (transverse, pyramidal and craniofacial disjunction). A transverse fracture is a Le Fort I fracture that is above the level of the apices of the maxillary teeth section, including the entire alveolar process of the maxilla, vault of the palate and inferior ends of the pterygoid processes in a single block from the upper craniofacial skeleton. Le Fort fractures result in both a cosmetic and a functional deficit if treated inappropriately. In this article, authors review the management of a Le Fort I fracture with a case-based discussion.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제48권1호
• /
• pp.33-45
• /
• 2009

The purpose of this article is to study characteristics of Soma Cube in combinatorial-geometric point of view, and to present basic substances and direction for efficient Soma cube activities in school mathematics upon systematical analysis of methods of finding solutions using Inclusion-Exclusion Method. We can apply Inclusion-Exclusion Method to find all possible solutions in Soma Cube activities not as trial-and-error method but as analytical method. Because Inclusion-Exclusion Method can reduce the number of problem-solving variables by making high conjunction in the choice of pieces. Soma cube pieces can be sorted as 'flat' ones and 'non-flat' ones, which would be another effective method in the manipulation of Soma Cube pieces.

• 한국응급구조학회지
• /
• 제16권3호
• /
• pp.63-75
• /
• 2012

Purpose : This study was attempted to explore the paramedic student's experience on simulation education. Methods : Data were collected through in-depth interviews from 15 paramedic students. The study was analyzed by phenomenological method, specifically Colaizzi's method. From the protocol, significant statements were organized into formulated meanings. Results : The formulated meanings were identified 35 themes, 12 theme clusters, and 6 categories. The 6 categories include burden of demonstration, role experience as a paramedic, confidence in field treatment, sense of disjunction caused by difference from real situation, realization and learning by oneself, and sense of stability from hypothetical situation. Conclusion : This study suggested that, even though some negative perceptions were observed, simulation education will fit as a replacement for the field practice of paramedic's students given that more field-like practice environment and repetitive simulation education are present.

• 한국지능정보시스템학회:학술대회논문집
• /
• 한국지능정보시스템학회 2001년도 춘계정기학술대회
• /
• pp.377-381
• /
• 2001

An ATMS(Assumption-based Truth Maintenance System) has been widely used for maintaining the truth of information by detecting and solving contradictions in nile-based systems. But the ATMS can not correctly maintain the truth of the information in case that the generated information is satisfied within a time interval or includes data about temporal relations of events in time varying situations, because it has no mechanism manipulating temporal data. In this paper, The extended ATMS method is proposed, which can maintain the truth of the information in the inference system using information changing over time or temporal relations of events. In order to maintain contexts generated by relations of events, the label representation method is modified, the disjunction, conjunction simplification method in the label-propagation procedure and nogood handling method of the conventional ATMS are modified, too.

• Animal Systematics, Evolution and Diversity
• /
• 제22권1호
• /
• pp.23-27
• /
• 2006

Subsocial woodroaches of Cryptocercus occur in high mountainous forests in temperate regions and they live in a family in complicated galleries of rotten logs. A prominent feature of the geographical distribution of Cryptocercus is the wide disjunction between the eastern and western species in North America, and between West China and Northeast Asia. Recently, five species of the genus were added from Asian areas and two of them are distributed in Northeast Asian areas. We examined morpho-anatomical structures of male genitalia in Manchurian and Korean Cryptocercus, focusing on male genital hooks and subgenital plates.