• Title/Summary/Keyword: 메타언어적 기능

Search Result 37, Processing Time 0.02 seconds

AST Creating and Crosscutting Concern Weaving Mechanism for Class Optimization in .NET Framework (닷넷 프레임워크에서 클래스 최적화를 위한 추상구조트리 생성 및 크로스커팅 위빙 메커니즘)

  • Lee, Seung-Hyung;Park, Je-Yeon;Song, Young-Jae
    • The Journal of the Korea Contents Association
    • /
    • v.10 no.2
    • /
    • pp.89-98
    • /
    • 2010
  • The enterprise system is becoming more complex and larger. With the changes of the times, the system is developing to object-oriented programming method(OOP). However, the same code inserts to the core class repetitiously in the OOP, that causes a decrease in productivity and a trouble of application of another requirement. To solve this weak point, we propose a weaving mechanism what applies to metadata and crosscutting concern. For a class optimization and an integration between different languages, we take the following way. This paper uses three ways, those are, metadata generation using reflection, transformation to Abstract Syntax Tree, and mapping through crosscutting information specified XML. Through the proposed theory, class optimization can be accomplished by solving a functional decentralization and a confusion of codes.

A Meta-analysis of the Developmental Effect of Play in Early Childhood (유아 놀이의 발달적 효과에 대한 메타분석)

  • Jeong, Yeong Mi
    • Korean Journal of Child Education & Care
    • /
    • v.19 no.2
    • /
    • pp.145-163
    • /
    • 2019
  • Objective: The purpose of this study was to systematically arrange previous ones on developmental effects of play in early childhood through a meta-analysis. Methods: For this purpose, the researchers searched for variety of databases and analyzed 110 studies, which were 90 graduate theses and 20 journals from 2005-2016. Results: First, the total developmental effect size of infant play was 1.21, with the effect size of the experimental group being 38.7% higher than that of the control group. The total developmental effect size was .81, however when inserted effect size was calculated, so it was supposed that the current effect size might be decreased, if missing studies were included. Second, effect size appears in all developmental areas, though actual effect size of sub-factors of child development tends to be mostly decreased: The fall in physical development fell down from 1.28 to .95 that emotional development was 1.42 to .86. The fall in social development was considerable from 1.13 to .85 that cognitive development was 1.19 to 1.07. In language development, it didn't change much. It stayed about the same as 1.30. The fall In creativity development stood at just below from 1.00 to .69. Third, effect size by moderating variables was examined to show that there were statistically significant difference in measurement, age, total number of training and types of activities between two groups. Conclusion/Implications: The results of this study have an implication, in that the study verified that infant play reflects and promotes child development and functions as a tool for developmental change, by illuminating effects of it child development.

Development of Integrated CAD framework for ASIC Design (ASIC 설계용 통합 CAD Framework 개발)

  • 엄성용;신혜선;이규원;박선화
    • Journal of Internet Computing and Services
    • /
    • v.2 no.4
    • /
    • pp.25-32
    • /
    • 2001
  • The CAD tools for ASIC design, which are already developed or will be developed in the future, have their own functions and different working environments in many cases. Therefore, it would be more effective in achieving the final design goal, if we have a system called CAD framework in which these CAD tools are systematically integrated. In this paper, we introduce same novel techniques for integrating systematically such the CAD tools, which are usually developed under UNIX shell environments, into the CAD framework with the standard graphics interface such as X-windows. Some meta languages and script file formats are developed for flexible specification of the system MENU hierarchy and the data dependencies among executable programs. We integrated two existing CAD tools into our CAD framework using the techniques and find out the integrated protype system is working well under the new system environments.

  • PDF

The Design and Implementation of the System for Processing Well-Formed XML Document on the Client-side (클라이언트 상의 Well-Formed XML 문서 처리 시스템의 설계 및 구현)

  • Song, Jong-Chul;Moon, Byung-Joo;Hong, Gi-Chai;Cheong, Hyun-Soo;Kim, Gyu-Tae;Lee, Soo-Youn
    • The Transactions of the Korea Information Processing Society
    • /
    • v.7 no.10
    • /
    • pp.3236-3246
    • /
    • 2000
  • XML is a meta-language as SGML and also can be xonsructed as an Internet versionof simplified SGML being used in confunction with XLL. Xpointer and XSL. Also W3C established DTDless Well-Formed XML document to use XML document on the Web. But it isnt offered system that consists of browsing, link and DTD generating facihty, and efficiently processes DTDless Well-Formed XML document. This paper studies on an implementation and design of system to process DTDless Well-Formed XML document on the client-side. This system consists of Well-Formed XML viewer displaying Well-Formed XML documet, XLL Processor processing Xll and Auto DTD generator constructing automatically DTDs based on multiple documents of the same class. This study focuses on automatic DTD generation during hyperlink navigation and an implementation of extended links based on XLL and Xpointer. ID and Xpointer location address are used as the address mode in the links. As a result of implement of this system, it conforms to validationof extended link facihties, extracts DTD from Well-Fromed XML Documents including same root element at the same class and constructs generalized DTD.

  • PDF

괴델의 불완전성 정리:증명된 신화(神話)?

  • Hong, Seong-Gi
    • Korean Journal of Logic
    • /
    • v.5 no.2
    • /
    • pp.39-66
    • /
    • 2002
  • 일반적으로 엄밀한 방법을 통하여 증명되었다고 말해지는 괴델의 불완전성 정리는 일련의 전제와 배경지식이 요구된다고 하겠다. 이들 중에서 무엇보다도 중요한 것은 정리의 증명에 사용되는 메타언어상의 수학적 참에 대한 개념이다. 일단 확인할 수 있는 것은 "증명도, 반증도 되지 않지만 참인 산수문장의 존재"라는 불완전성 정리의 내용에서 괴델이 가정하고 있는 수학적 참의 개념이 구문론적인 증명개념으로부터 완전히 독립되어야 한다는 점이다. 문제는 그가 가정하고 있는 수학적 참의 개념이 도대체 무엇이어야만 하겠는가라는 점이다. 이 논문은 이 질문과 관련하여 내용적으로 3부분으로 나누어 질 수 있다. I. 괴델의 정리의 증명에 필요한 전제들 및 표의 도움을 얻어 자세히 제시되는 증명과정의 개략도를 통해 문제의 지형도를 조감하였다. II, III. 비트겐슈타인의 괴델비판을 중심으로, "일련의 글자꼴이 산수문장이다"라는 주장의 의미에 대한 상식적 비판 및 해석에 바탕을 둔 모형이론에 대한 대안제시를 통하여 괴델의 정리를 증명하기 위해 필요한 산수적 참에 관한 전제가 결코 "확보된 것이 아니다"라는 점을 밝혔다. IV. 괴델의 정리에 대한 앞의 비판이 초수학적 전제에 대한 것이라면, 3번째 부분에서는 공리체계에서 생성 가능한 표현의 증명여부와 관련된 쌍조건문이 그 도입에 필수적인 괴델화가 갖는 임의성으로 인해 양쪽의 문장의 참, 거짓 여부가 서로 독립적으로 판단 가능하여야만 한다는 점에(외재적 관계!) 착안하여 궁극적으로 자기 자신의 증명여부를 판단하게 되는 한계상황에 도달할 경우(대각화와 관련된 표 참조) 그 독립성이 상실됨으로 인해 사실상 기능이 정지되어야만 한다는 점, 그럼에도 불구하고 이 한계상황을 간파할 경우(내재적 관계로 바뀜!)항상 순환논법을 피할 수 없다는 점을 밝혔다. 비유적으로 거울이 모든 것을 비출 수 있어도 자기 스스로를 비출 수 없다는 점과 같으며, 공리체계 내 표현의 증명여부를 그 체계내의 표현으로 판별하는 괴델의 거울 역시 스스로를 비출 수는 없다는 점을 밝혔다. 따라서 괴델문장이 산수문장에 속한다는 믿음은, 그 문장의 증명, 반증 여부도 아니고 또 그 문장의 사용에서 오는 것도 아니고, 플라톤적 수의 세계에 대한 그 어떤 직관에서 나오는 것도 아니다. 사실상 구문론적 측면을 제외하고는 그 어떤 것으로부터도 괴델문장이 산수문장이라는 근거는 없다. 그럼에도 불구하고 괴델문장을 산수문장으로 볼 경우(괴델의 정리의 증명과정이라는 마술을 통해!), 그것은 확보된 구성요소로부터 조합된 문장이 아니라 전체가 서로 분리불가능한 하나의 그림이라고 보아야한다. 이것은 비트겐슈타인이 공리를 그림이라고 본 것과 완전히 일치하는 맥락이다. 바론 그런 점에서 괴델문장은 새로운 공리로 도입된 것과 사실은 다름이 없다.

  • PDF

A Method to Manage Faults in SOA using Autonomic Computing (자율 컴퓨팅을 적용한 SOA 서비스 결함 관리 기법)

  • Cheun, Du-Wan;Lee, Jae-Yoo;La, Hyun-Jung;Kim, Soo-Dong
    • Journal of KIISE:Software and Applications
    • /
    • v.35 no.12
    • /
    • pp.716-730
    • /
    • 2008
  • In Service-Oriented Architecture (SOA), service providers develop and deploy reusable services on the repositories, and service consumers utilize blackbox form of services through their interfaces. Services are also highly evolvable and often heterogeneous. Due to these characteristics of the service, it is hard to manage the faults if faults occur on the services. Autonomic Computing (AC) is a way of designing systems which can manage themselves without direct human intervention. Applying the key disciplines of AC to service management is appealing since key technical issues for service management can be effectively resolved by AC. In this paper, we present a theoretical model, Symptom-Cause-Actuator (SCA), to enable autonomous service fault management in SOA. We derive SCA model from our rigorous observation on how physicians treat patients. In this paper, we first define a five-phase computing model and meta-model of SCA. And, we define a schema of SCA profile, which contains instances of symptoms, causes, actuators and their dependency values in a machine readable form. Then, we present detailed algorithms for the five phases that are used to manage faults the services. To show the applicability of our approach, we demonstrate the result of our case study for the domain of 'Flight Ticket Management Services'.

A Study on the Product Design Case Study of Differential Design Concept (차별화 된 디자인 개념의 제품디자인 사례 연구)

  • 이덕상;한세준;김홍규;조철희
    • Archives of design research
    • /
    • v.17 no.2
    • /
    • pp.335-350
    • /
    • 2004
  • Design takes concrete form from the things which are not yet exist to the molded reality. Creation of value which is accompanied by the rational value could be possible only through the searching examination of the basic concept. All designs are under circumstances because the results and the character of the problems are different under the given conditions and circumstances which are the characteristic of the design. The aim of this study is searching for the differential design conce- pt which is the most appropriate and reasonable in the basic design process in which the phase of the analysis, synthesis and evaluation of the problem. First of all the pursuit value of the times and the change of the view point of value of the product design. How the pursuit value of times were searched and analyzed. Analyze the successful product design realization of the typical trend of the modern design which are 3-2. function-focused design, 3-3. emotion-centered design, 3-4. image communicative design through the metaphor, 3-5. environmental affinity design. On the base of the case analysis how to apply the differential design concept which is coming as a trend in the future society which are sustainable developing society was examined closely. The outcome through the analysis of the success cases are as follows, \circled1 the value of the spirit of the times should be emphasized as the design image, \circled2 environmental appropriateness should be taken into consideration as the first primary factor, \circled3 the realization of value of the fulfillment of differential consumer's needs, \circled4 lead to prolong the life cycle of the product, \circled5 promote the sustaining growth of enterprise, \circled6 user-centered product value should be the first consideration. \circled7 It is necessary to overcome the cultural andinguistic barriers and to reflect the metaphor which people remember well. \circled8 The application of human's true character should be decided beforehand. It is the commonness of values of times and customs. \circled9 The differentiated design concept which meets our mental satisfaction, not material one, will be required. In addition to this the creative and differentiated design concepts which are accompanied by the good design factor under the base of product could achieve the emotional consensus from the consumers. That is, the value of all designs should be estimated by the base of the humanism ' The human beings are the barometer of all things".ngs".uot;.

  • PDF