• Title/Summary/Keyword: Formal definition

Search Result 116, Processing Time 0.026 seconds

An Analysis of Research Trends in Computational Thinking using Text Mining Technique (텍스트 마이닝 기법을 활용한 컴퓨팅 사고력 연구 동향 분석)

  • Lee, Jaeho;Jang, Junhyung
    • Journal of The Korean Association of Information Education
    • /
    • v.23 no.6
    • /
    • pp.543-550
    • /
    • 2019
  • In 2006, Janet Wing defined computational thinking and operated SW education as a formal curriculum in the UK in 2013. This study collected related research papers by using computational thinking, which has recently increased in importance, and analyzed it using text mining. In the first, CONCOR analysis was conducted with the keyword of computational thinking. In the second, text mining of the components of computational thinking was selected by the repr23esentative academic journals at domestic and foreign. As a result of the two-time analysis, first, abstraction, algorithm, data processing, problem decomposition, and pattern recognition were the core of the study of computational thinking component. Second, research on convergence education centered on computational thinking and science and mathematics subjects was actively conducted. Third, research on computational thinking has been expanding since 2010. Research and development of the classification and definition of computational thinking and components and applying them to education sites should be conducted steadily.

An Object Oriented Data Model of a Spatiotemporal Geographic-Object Based on Attribute Versioning (속성 버전화에 기반한 시공간 지리-객체의 객체 지향 데이터 모델)

  • Lee, Hong-Ro
    • Journal of the Institute of Electronics Engineers of Korea CI
    • /
    • v.38 no.6
    • /
    • pp.1-17
    • /
    • 2001
  • Nowadays, spatiotemporal data models deal with objects which can be potentially useful for wide range applications in order to describe complex objects with spatial and/or temporal facilities. However, the information needed by each application usually varies, specially in the geographic information which depends on the kind of time oriented views, as defined in the modeling phase of the spatiotemporal geographic data design. To be able to deal with such diverse needs, geographic information systems must offer features that manipulate geometric, space-dependent(i.e, thematic), and spatial relationship positions with multiple time oriented views. This paper addresses problems of the formal definition of relationships among spatiotemporal objects and their properties on geographic information systems. The geographical data are divided in two main classes : geo-objects and geo-fields, which describe discrete and continuous representations of the spatial reality. I study semantics and syntax about the temporal changes of attributes and the relationship roles on geo-objects and non-geo-objects, This result will contribute on the design of object oriented spatiotemporal data model which is distinguishied from the recent geographic information system of the homogeneously anchored spatial objects

  • PDF

A Drama Bound Data Service Providing the Updated Information on Characters based on Scenes (장면 별 등장인물의 업데이트 정보를 제공하는 드라마 연동 데이터 서비스 설계)

  • Ko, Kwangil
    • Journal of Digital Contents Society
    • /
    • v.18 no.2
    • /
    • pp.311-317
    • /
    • 2017
  • A drama, generally composed of dozens of times, is one of the most popular broadcasting program genres, and it has the characteristics that the status and interrelationships of characters are changing as time goes on and important acts affecting the story occur sporadically. Therefore, when viewers missed some times in the middle of a drama, it is difficult to understand the drama without the changed information on the characters and notable actions. This paper proposes a data service which provides the updated information of the characters and important acts based on the drama scene. The data service has the characteristics that it provides the information on the characters shown in the current drama scene, and the information about the people mentioned in the dialogue in the scene. This paper includes a general introduction to the data services, the formal definition of the drama scene identification and character information, and an DVB-SI-based method for transmitting the information to the data service.

A research on Mathematical Invention via Real Analysis Course in University (대학교의 해석학 강좌에서 학생들의 수학적 발명에 관한 연구)

  • Lee, Byung-Soo
    • Communications of Mathematical Education
    • /
    • v.22 no.4
    • /
    • pp.471-487
    • /
    • 2008
  • Inventive mathematical thinking, original mathematical problem solving ability, mathematical invention and so on are core concepts, which must be emphasized in all branches of mathematical education. In particular, Polya(1981) insisted that inventive thinking must be emphasized in a suitable level of university mathematical courses. In this paper, the author considered two cases of inventive problem solving ability shown by his many students via real analysis courses. The first case is about the proof of the problem "what is the derived set of the integers Z?" Nearly all books on mathematical analysis sent the question without the proof but some books said that the answer is "empty". Only one book written by Noh, Y. S.(2006) showed the proof by using the definition of accumulation points. But the proof process has some mistakes. But our student Kang, D. S. showed the perfect proof by using The Completeness Axiom, which is very useful in mathematical analysis. The second case is to show the infinite countability of NxN, which is shown by informal proof in many mathematical analysis books with formal proofs. Some students who argued the informal proof as an unreasonable proof were asked to join with us in finding the one-to-one correspondences between NxN and N. Many students worked hard and find two singled-valued mappings and one set-valued mapping covering eight diagrams in the paper. The problems are not easy and the proofs are a little complicated. All the proofs shown in this paper are original and right, so the proofs are deserving of inventive mathematical thoughts, original mathematical problem solving abilities and mathematical inventions. From the inventive proofs of his students, the author confirmed that any students can develope their mathematical abilities by their professors' encouragements.

  • PDF

Formal Definition and Consistency Analysis of Feature-Oriented Product Line Analysis Model (특성 지향의 제품계열분석 모델의 정형적 정의와 일관성 분석)

  • Lee Kwanwoo
    • Journal of KIISE:Software and Applications
    • /
    • v.32 no.2
    • /
    • pp.119-127
    • /
    • 2005
  • Product line analysis is an activity for analyzing requirements, their relationships, and constraints in a product line before engineering product line assets (e.g., architectures and components). A feature-oriented commonality and variability analysis (called feature modeling) has been considered an essential part of product line analysis. Commonality and variability analysis, although critical, is not sufficient to develop reusable and adaptable product line assets. Dependencies among features and feature binding time also have significant influences on the design of product line assets. In this paper. we propose a feature-oriented product line analysis model that extends the existing feature model in terms of three aspects (i.e., feature commonality and variability, feature dependency, and feature binding time). To validate the consistency among the three aspects we formally define the feature-oriented product line analysis model and provide rules for checking consistency.

SOME REMARKS ON PRIMAL IDEALS

  • Kim, Joong-Ho
    • Bulletin of the Korean Mathematical Society
    • /
    • v.30 no.1
    • /
    • pp.71-77
    • /
    • 1993
  • Every ring considered in the paper will be assumed to be commutative and have a unit element. An ideal A of a ring R will be called primal if the elements of R which are zero divisors modulo A, form an ideal of R, say pp. If A is a primal ideal of R, P is called the adjoint ideal of A. The adjoint ideal of a primal ideal is prime [2]. The definition of primal ideals may also be formulated as follows: An ideal A of a ring R is primal if in the residue class ring R/A the zero divisors form an ideal of R/A. If Q is a primary idel of a ring R then every zero divisor of R/Q is nilpotent; therefore, Q is a primal ideal of R. That a primal ideal need not be primary, is shown by an example in [2]. Let R[X], and R[[X]] denote the polynomial ring and formal power series ring in an indeterminate X over a ring R, respectively. Let S be a multiplicative system in a ring R and S$^{-1}$ R the quotient ring of R. Let Q be a P-primary ideal of a ring R. Then Q[X] is a P[X]-primary ideal of R[X], and S$^{-1}$ Q is a S$^{-1}$ P-primary ideal of a ring S$^{-1}$ R if S.cap.P=.phi., and Q[[X]] is a P[[X]]-primary ideal of R[[X]] if R is Noetherian [1]. We search for analogous results when primary ideals are replaced with primal ideals. To show an ideal A of a ring R to be primal, it sufficies to show that a-b is a zero divisor modulo A whenever a and b are zero divisors modulo A.

  • PDF

Ontology Construction Process and System (온톨로지 구축 프로세스와 시스템)

  • Lee, In-K.;Seo, Suk-T.;Jeong, Hye-C.;Hwang, Do-Sam;Kwon, Soon-H.
    • Journal of the Korean Institute of Intelligent Systems
    • /
    • v.16 no.6
    • /
    • pp.721-729
    • /
    • 2006
  • Numbers of research on ontology construction and its application are being done for knowledge and information processing using computers. But, the current ontology development methods and ontology construction tools are using in restricted field on propose. Therefore, proper ontology development processes and ontology construction tools on ontology characteristic are needed. In this paper, we propose ontology construction process(OntoProcess) that non-experts in specific field are able to construct ontology through conceptualization of knowledge and formalization of concepts from language resource. Beside, some problems may be occurred while numbers of people are working together to construct ontology: i)duplicated concept definition in conceptualization process of knowledge and ii)decreasing efficiency of ontology construction by short understanding about formal language and tool operation in formalization process. To solve the problems, we propose an ontology construction process for multiple developers (OntoProcess) using meta ontology. We develop an ontology construction system(OntoCS) based on proposed processes, and we show the efficiency of proposed processes and system from ontology construction experiment.

A Study on Phenomenon 'Play of Words' in Modern Russian Advertising Language (현대 러시아 광고언어에 있어서의 '언어유희' 현상에 대한 연구)

  • Kim, Sung Wan
    • Cross-Cultural Studies
    • /
    • v.42
    • /
    • pp.241-260
    • /
    • 2016
  • The purpose of this article is to represent the types of advertising in the modern Russian language as 'Play of Words' (игра слов). The causal reason for this phenomenon is studied from the result of certain characteristics of advertising. The definition and characteristics of the language of the advertisement are analyzed in achieving the goal, as these factors reveal how language is used to maximize the effectiveness of the advertising. Academic research is needed in the collaborative fields of linguistics, psychology, economics, sociology, marketing, literature, art, and music. Modern advertisement is mixed with semiotic objects that consist of display, sound, and texts. While this study is not complete, the acknowledgement of the phenomenon 'Play of Words' between the creators of advertising and the consumer is undeniable. On one hand, advertising is recognized by linguists as the main factor that destroys the literary language. It represents the distortion of a standard language norm, as opposed to formal linguistic means used in advertising. In this research, we pay attention to the frequent use of foreign language borrowings and incorrect representation of foreign words, slang and jargon, that occur in misspelled usage of literary norms. The features that are revealed in this article are helpful to understand the purpose of advertising.

The Concept Analysis of the Organizational Culture of Nursing Service in Hospital Setting (병원 간호조직문화 규명을 위한 연구(2);간호조직문화 개념 분석)

  • Kim, Moon-Sil;Chun, Mi-Soo;Bang, Hee-Sook;Moon, Sun-Young;Lee, Soon-Hee;Han, Soo-Jung;Kim, Jung-A;Park, Hyun-Tae
    • Journal of Korean Academy of Nursing Administration
    • /
    • v.5 no.1
    • /
    • pp.87-97
    • /
    • 1999
  • Rapidly changing healthcare environment and professional nursing practice need a strategy for the organizational development and goal attainment. An understanding of organizational culture could help managers enhance or expend their management strategy, thus increasing the probability of their success in the organization. On the other hand. organizational culture is an abstract concept and can show several views between sciences applying it. Therefore. organizational culture can be described to different ways with roots in each other discipline. Thus. it is necessary to define the concept of organizational culture in nursing perspective. This article reports a study conducted to analyze the concept of Nursing Service Organizational Culture. This study is performed by the guideline of Walker and Avant for concept analysis : selecting a concept. detering aim of analysis, identifying all use of concept. defining attributes. constructing model. contrary, borderline. related cases. identifying antecedents and consequences. According to the results of this study. the following definition attributes of Nursing Service Organizational Culture was suggested. We could define that nursing service organizational culture is the pattern of basic assumption and common belief that shared by the subordinates of nursing service. So, it provides a shared identity for all employees. Attributes of Nursing Service Organizational Culture were defined as (1) it is performed by the result of the interaction through formal. informal communication among nursing service organizational subordinations. (2) it has been performed unconsciously and reacts without ever thinking about the behavior. (3) it makes a unique pattern of behaviors to each nursing organization. which is different from other groups. (4) it has a broad and subtle forces to its subordinates. (5) it provides subordinates with the way of thought and behavior. (6) it influences on the output. stability. and de velopment of nursing service.

  • PDF

The Citizen Science Stories in Korea: 1982~2018 (한국의 시민과학이 전하는 메시지: 1982~2018)

  • Kim, Ji Yeon
    • Journal of Science and Technology Studies
    • /
    • v.18 no.2
    • /
    • pp.43-93
    • /
    • 2018
  • The concept of citizen science(CS) is defined as "scientific work carried out by citizens." Here, 'citizen' means someone who has knowledge of everyday life, regardless of whether they have formal expertise in a related field. This definition may encompass scientists, as many scientists participate in scientific democracy and use their expertise in a citizen-oriented manner. That work is derived from their citizenship, so their scientific work is CS. CS in Korea has expanded from the Korea Pollution Research Institute, which was founded in 1982, to the Center for Democracy in Science & Technology, which was founded in 1997. Furthermore, in recent years, government agencies have started using CS approach. In this paper, I introduce Korean CS and examine its accomplishments and difficulties through eight cases. I show that Korea's CS activities have made a significant impact on Korean society and the experience of these activities has implications for the future directions of CS. I do so by examining four modes of CS and explore practical messages for more varied roles of CS. Until now CS has been mainly considered in the context of "CS as education" or "CS as movement" in Korea. However, governance and the platform mode of social decision-making or research, though still rare, have recently emerged as additional CS activities. Although it cannot be said with certainty that CS is better, it is undoubtedly better the more varieties of its modes coexist. The four types of CS will contribute individually or complementarily to social learning. Thus, because of its distinctive potential, CS is not exhausted by the supplementary concept of science.