• Electronics and Telecommunications Trends
• /
• v.11 no.3 s.41
• /
• pp.155-166
• /
• 1996

소프트웨어 프로세스를 효과적으로 반복하고 자동화하여 소프트웨어 개발 주기의 단축과 품질 향상을 가져올 수 있다. 이러한 결과를 얻기 위해서는 프로세스를 형식화하여 구문화된 형태로 표현해 주는 프로그램 언어가 필요하게 된다. 본 고에서는 소프트웨어 프로세스 모형화 작업에 필요한 프로세스 정의 언어의 특징을 살펴보고, 현존하는 여러가지 프로그램의 언어들을 비교 분석하여, 소프트웨어 프로세스 정의에 적합한 프로그램 언어의 특성을 살펴보았다.

• Communications of Mathematical Education
• /
• v.9
• /
• pp.83-96
• /
• 1999

학교에서 가르치는 것과 학교 밖에서 실행되고 있는 것과는 서로 연결성을 유지하면서 통합을 이루어야 된다고 볼 때, 교과서 위주의 형식화되고 구조화된 내용만으로 이루어지는 제한된 학습활동은 수학과 교육과정에서 요구하는 수준의 문제해결을 기대하기가 어렵다. 본고에서는 학생들의 수학적 경험과 관련된 실생활 중심의 과제(Project)를 공동으로 해결하는 과정에서 학생 개개인이 자신의 지적 능력에 따른 역할을 가치 있게 수행함으로써 문제 해결력을 향상시킬 수 있는 방안에 대해서 살펴보고자 한다.

• Journal of Scientific & Technological Knowledge Infrastructure
• /
• s.12
• /
• pp.104-107
• /
• 2003

지식하부구조는 '능력'의 형태를 띠고 있다. 능력은 기본적으로 지식의 형태로 존재하게 된다. 그러나 이 지식은 기초연구 또는 교과서나 설계도와 같은 형식화된 지식만을 지칭하는 것이 아니라 공식언어로는 제대로 표현되지 않는 암묵적인 지식(tacit knowledge)까지 포괄하고 있다. 암묵적인 지식은 일반적으로 기업 특수적 성격을 지니고 있거나 산업 특수적인 성격을 지니고 있다. 암묵적인 지식은 공동의 경험을 지닌 사람들이나 조직들 사이에 공유되는 지식이기 때문이다. 이러한 측면에서 보았을 때, 능력으로서 존재하는 지식하부구조는 특정 산업이나 영역에서 국지성을 지니고 있다고 파악된다.

• School Mathematics
• /
• v.14 no.1
• /
• pp.135-150
• /
• 2012

This paper analyzes the activities for (fraction) ${\times}$(fraction) in Korean elementary textbooks focusing on the connection between visual models and the algorithm. New Korean textbook attempts a new approach to use length model (as well as rectangular area model) for developing the standard algorithm for the multiplication of fractions, $\frac{a}{b}{\times}\frac{d}{c}=\frac{a{\times}d}{b{\times}c}$. However, activities with visual models in the textbook are not well connected to the algorithm. To bridge the gap between activities with models and the algorithm, distributive strategy should be emphasized. A wealth of experience of solving problems of fraction multiplication using the distributive strategy with visual models can serve as a strong basis for developing the algorithm for the multiplication of fractions.

• Proceedings of the Korea Database Society Conference
• /
• 1997.10a
• /
• pp.483-503
• /
• 1997

One important question that arises when dealing with temporal databases in context of object-oriented systems is the method that associates time with attributes relationship semantics. Results of previous work about attribute versioning, particularity extending flat(First Normal Form: FNF) or nested(Non-First Normal Form: NFNF) relational models. are not applicable to temporal object-oriented databases. This is because object-oriented models provide more powerful constructs than traditional models for structuring complex objects. Therefore, this paper presents an formal approach for incorporating temporal extension to object-oriented databases. Our goal in this paper is to study temporal object-oriented database representation according to generalization, aggregation and association among objects. We define tile concepts of attribute versioning in temporal object-oriented model, and we concentrate on the representation of temporal relationship among objects. Another contribution of this paper is to specify time constraints on relationship semantics and analyze our model based on representation criteria. By means of formalizing tile temporal object oriented model, this paper can not only provide tile robust operating functions that design algebraic operators, but also entrance the reuse of modules.

• Journal of KIISE:Computing Practices and Letters
• /
• v.15 no.12
• /
• pp.891-898
• /
• 2009

This paper suggests producer/consumer-based Data Binder enabling applications and biomedical devices developed by mutually different vendors to transfer data dynamically. Data Binder is implemented as a bundle of OSGi platform providing component-based programming model and service-oriented operation architecture. Data Binder complements the disadvantage of OSGi WireAdmin service enabling static data delivery between a producer and a consumer of data. Data Binder normalizes an application requirement as an application descriptor and a device capability as a device descriptor so that it enables dynamic data delivery by making data producer/consumer pair in runtime. Therefore, Data Binder can be used as a connection management of a data link between a data producer and a data consumer in sensor-based application development. The object of this paper is to provide the facility of the healthcare service development by separating a data producer such as a biomedical device from a data consumer such as a healthcare application.

• The Journal of the Korea Contents Association
• /
• v.9 no.2
• /
• pp.289-300
• /
• 2009

In contrary to the expectation of which it has a role to increase the transparency of and the responsibility of self-governing, the participatory budgeting even though aggravates perfunctoriness of participation and local conflicts in Korea. The problems are caused not from the institutional vices of participatory budgeting but from others which each part of people, participating in the budgeting process, have a misunderstanding on the participatory budgeting. Under the consideration that the misunderstandings of citizen and local officials are one of main reasons of a derailing of the participatory budgeting, the study aims to examine empirically the gap between the citizen's understanding on the participatory budgeting and the official's, focused on Daeduck-ku, Daejeon.

• Proceedings of the Korean Society for Language and Information Conference
• /
• 2001.06a
• /
• pp.141-144
• /
• 2001

본 논문의 목적은 ‘다중 동사성 명사 구문’(Multiple Verbal Noun Construe-tions)의 논항실현 양상을 이론 중립적으로 고찰해 보고, 이 분석을 제약기반 문법 이론인 최근의 핵 심어주도 구구조문법 (Head-driven Phrase Structure Grammar)틀 안에서, 특히 다중계승위 계를 가정하는 제약기반 어휘부를 기반으로 형식화해 논항의 실현과정을 기술하고 설명하는 것이다. 우선 일본어의 유사한 현상을 분석한 Grimshaw & Mester (1988)의 격실현 양상에 관한 일반화를 기반으로 한국어 동사성명사구문의 논항실현 양상을 ‘논항전이’ (argument transfer)라는 이론적 장치를 이용해 형식화할 수 있음을 보이고, 동사성 합성명사의 논항구조를 만들기 위해 ‘논항합성’(argument composition)이라는 이론적 장치를 제안한다. 나아가서 다중 동사성 명사구문의 논항실현 과정에서 보이는 겹격표지 현상을 ‘격 복사’(case copying)를 제안해 동사성 명사의 격표지가 합성 명사에서 분리되어 문장단위에서 실현될 때 동일한 격을 복사해 실현한다는 점을 주장하고자 한다. 이 주장을 뒷받침하기 위해 수동과 능동 등 문법기능의 변화현상에서 하위범주화된 요소들의 격변화가 자의적이 아님을 실례를 들어 보여 주고자 한다. 일본어의 경동사 (light verbs)에 관한 분석 인 Grimshaw Meste, (1988) 이래 한국어에서도 이와 유사한 구문에 대한 재조명이 활발하게 이루어져 왔다 (Ryu (1993b), 채희락 (1996), Chae (1997) 등 참조). 한국어에서 ‘하다’와 동사성명사(verbal nouns)가 결합하여 이루어진 ‘동사성명사구문’ (Verbal Noun Constructions)에 대한 기존의 논의는 대부분 하나의 동사성 명사가 ‘하다’나 ‘되다등 소위 문법기능을 바꾸는 ‘경동사’들과 결합하여 복합술어가 되는 문법적 현상에 초점이 맞춰져 있었다. 그와 비교해서 동사성 명사의 어근이 두 개 이상 결합하여 동사성명사들끼리 합성명사(compound nouns)를 이루고 그 동사성 합성명사가 문법기능의 변화를 바꾸는 ‘경동사’와 결합하여 이루어진 복합술어에 대해서는 논의가 거의 없는 형편이다. 특히 이 지적은 핵심어주도 구절구조문법틀 내에서는 논란의 여지가 없다. 본 논문의 대상은 바로 이러한 합성 동사성명사의 논항구조와 동사성명사에 의해 하위범주화된 논항들의 문법적 실현양상이다.

• Journal of Educational Research in Mathematics
• /
• v.15 no.4
• /
• pp.375-399
• /
• 2005

In this article, I identified many points of commonness and differences at)feared in the fraction units of three conspicuous textbooks -McLellan, MiC and Korea. After that, 1 evaluated these results with reference to more general didactics on which each text-book is based. A background theory of Mc-Lellan's textbook was Dewey's experientialism, and that of MiC was Freudenthal's realistic mathematics education. Through this study, I have reached the fact that these three textbooks could not exhibit the phenomenological wholeness of fraction. Driven by measuring number model which is very abstractive, McLellan's text-book is disregarding the lower level context. MiC textbook, driven by real context, is ignoring higher level model which is close to rational number concept. From an excess of formulation and practice of algorithm, Korea's textbook is overlooking the real context. It is necessary that a textbook which would display the phenomenological wholeness of fraction is developed.

• Journal of the Korean School Mathematics Society
• /
• v.23 no.1
• /
• pp.25-44
• /
• 2020

This study investigated the representation and algorithms of western mathematics reflected on the algebra domains of Chosun-Sanhak in the 18th century. I also analyzed the co-occurrences and replacement phenomenon between western algorithms and traditional algorithms. For this purpose, I analyzed nine Chosun mathematics books in the 18th century, including Gusuryak and Gosasibijip. The results of this study are as follows. First, I identified the process of changing to a calculation by writing of western mathematics, from traditional four arithmetical operations using Sandae and the formalized explanation for the proportional concept and proportional expression. Second, I observed the gradual formalization of mathematical representation of the solution for a simultaneous linear equation. Lastly, I identified the change of the solution for square root from traditional Gaebangsul and Jeungseunggaebangbeop to a calculation by the writing of western mathematics.