• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10d
• /
• pp.28-30
• /
• 2002

이동 분산 실시간 시스템(MDRTS:Mobile Distributed Real-time Systems)은 분산 네트워크 상에서 협력 동작하며 특정 시간 내에 요구하는 정보를 제공하는 이동 시스템이다. MDRTS는 시간, 이동성, 분산성 등을 표현하기 때문에 명세 복잡도가 높고, MDRTS의 성공적인 동작을 보장하기 위해 보다 정확하고 효율적인 시스템의 설계가 중요하다. 특히 시스템의 분산성과 이동성에 의해 발생하는 다양한 종류의 제약 사항을 표현한 수 있는 정형기법이 필요하다. 본 논문에서는 MDRTS을 명세하기 위해 PATM(Probabilistic Abstract Timed Machine)[1]을 확장하여 정의한 DATM(Distributed Abstract Timed Machine)에 대해 기술한다. DATM은 PATM에서 표현하기 힘들었던 이동하는 기계의 분산 정보를 명세할 수 있도록 하였고, 시간, 거리, 확률, 보안에 대한 제약 사항을 명세할 수 있도륵 정의하였다. MDRTS가 가진 제약사항들은 영역을 정의하여 표현하였다. 영역의 종류에는 시간영역, 거리영역, 확률영역, 보안영역이 있다. 각 영역의 속성에 시간적인 제약을 표현할 수 있으며, 시간과 공간 논리를 사용하여 모델링하였다.

• School Mathematics
• /
• v.6 no.4
• /
• pp.361-372
• /
• 2004

This study is designed to investigate intellectual, emotional, and creative characteristics of mathematically gifted students. In this paper, we analyze their proof examples, responses to questionnaire on mathematical aptitude and social coping, and scores for Torrance creativity test(figure) in comparison with scientific gifted and general students.

• Journal of Korean Philosophical Society
• /
• v.147
• /
• pp.1-28
• /
• 2018

In order to reveal the differentiation of Nietzsche's justice theory, this paper attempted an intrinsic analysis of the political act of establishing a social contract with others through the fundamental concept of "will to the power", and the politics of modern nation including utilitarianism, liberalism and democracy. I will deal with criticism of ideology. In other words, it will be a work to clarify the fictitiousness and errors by digging out the ground of the value of justice as 'genealogical psychology' which strips off the psychological layers hidden behind the name of universal truth called 'virtue'. By dismantling the notion of self-righteous justice based on 'virtue' from 'immorality' as well as 'out of morality', it aims to reveal a new emotional dimension based on love, not retaliation. When Nietzsche emphasizes the role of positive emotions such as 'mercy' and 'forgiveness' rather than negative emotions such as revenge, retaliation, and grudge, while analyzing justice in the dynamics of power relations, By allowing exception rule, we will critically analyze whether universality and consistency are lost.

• The Journal of the Korea Contents Association
• /
• v.15 no.7
• /
• pp.148-156
• /
• 2015

The purpose of this study was to evaluate the dance attitude differences between gender, majors, and grades. Attitudes-towards-dance inventory(Jadranka et al., 2004) which covered affective, cognitive, and action aspects of attitudes, as well as to reflect, in a similar number of items, both the positive and negative attitude towards dance was used to investigate dance attitude for 483 dancers who are collegian. Male students were more positive attitude in the affective area among dance attitudes than female students(p<.05). Dancers who major practical dances revealed more positive attitude in the affective area than dancers majoring ballet and Korean treditional dance(p<.05). In addition, freshmen have a more positive dance attitude in the affective area compared with seniors. It was suggested that more subjects should be studied from considering major, local university as future study.

• School Mathematics
• /
• v.15 no.4
• /
• pp.667-682
• /
• 2013

Though teachers' lesson plays, this article analysed teachers' knowledge for mathematical teaching about mathematical definitions and their pedagogical difficulties in teaching defining. Although the participant teachers didn't transmit definitions to students and suggested possible definitions of the given geometric figure in their imaginary lessons, they didn't teach defining as deductive organization of properties of the geometric figure. They considered mathematical definition as a mere linguistic convention of a word, so they couldn't appreciate the necessity of deductive organization in teaching definitions, and the arbitrary nature of mathematical definitions. Therefore, for learning to teach definitions differently, it is necessary for teachers to reflect the gap between the everyday and mathematical definitions in teachers'education.

• Journal of Elementary Mathematics Education in Korea
• /
• v.23 no.1
• /
• pp.59-74
• /
• 2019

According to previous studies, it shows that the metacognitive ability that makes the positive element of the problem solver positively affects the problem-solving process of mathematics. In order to accurately grasp causality, this study investigates the specific characteristics of the meta-affect factor in the process of problem-solving. To do this, we analyzed the types and frequency of data collected from collaborative problem-solving situations composed of 4th~6th grade mathematically gifted children in small group of two. As a result, it can be seen that the type of meta-affect in the problem-solving process of mathematically gifted children is related to the correctness rate of the problem. First, regardless of the success or failure of the problem-solving, the meta-affect appeared relatively frequently in the meta-affect types in which the cognitive factors related to the context of problem-solving appeared first, and acted as the meta-functional type of the evaluation and attitude. Especially, in the case of successful problem-solving of mathematically gifted children, meta-affect showed a very active function as meta-functional type of evaluation.

• 한국지구과학회:학술대회논문집
• /
• 2004.09a
• /
• pp.59-74
• /
• 2004

• 한국지구과학회:학술대회논문집
• /
• 2005.02a
• /
• pp.79-94
• /
• 2005

• Korean Journal of Logic
• /
• v.2
• /
• pp.7-33
• /
• 1998

최근 에체멘디는 초과생성과 미달생성의 문제를 들어 타르스키의 모델이론적 논리적 귀결의 정의의 외연적 적합성을 공격하였다. 그러한 공격의 기저에는 우연성 문제가 도사리고 있다고 보이고, 실질적으로 타르스키류의 정의를 적용함에 있이 무만 공리를 통해 논리외적 요소기 개입할 위험이 있다는 것이 그의 근본적 가정이라 생각된다. 이 글에서는 무한 공리가 논리적 진리일 기능성을 조심스레 타진이고, 논리상항과 비논리상항을 기리는 문제가 에체멘디가 생각하듯 신화가 아니라 논리적인 것과 논리외적인 것을 구별하는 문제와 동일한, 진정한 철학적 문제임을 보이는 데 노력한다.

• Design Convergence Study
• /
• v.16 no.1
• /
• pp.203-216
• /
• 2017

There are many definitions around brand. It complexify academic literature. Thus, this study collected meaningful definitions among many statements about brand and analyzed and classified them by available perspectives. This is especially necessary contents in domestic brand study, which is short of concept research about brand. Various literatures are refereed to brand definition introduction. But to etymological definition, several European linguistic theses are deeply reviewed and to institutional definition, wide range of information such as history, law and society is refereed. Total brand definitions are classified in . It is divided into 2 parts which are non-commercial context (etymological and institutional definition) and commercial context (producer, customer and the relation or interaction between producer and customer). In etymological definition, the word origin is clear word 'brandr' which means 'burning wood' and cattle-brand made this 'brand'. In legal definition, legal and institutional meaning of 'trademark' is examined. Etymological definition and institutional definition are fundamental and lexical definition which show brand history. These are foundation stones in brand studies.