• 경영정보학연구
• /
• 제4권2호
• /
• pp.237-255
• /
• 2002

본 연구에서는 ERP 구축과정을 4개의 단계(사전준비단계, 프로젝트단계, 정착단계, 향상단계)로 나누고 각 단계별 완성도가 전체성과에 미치는 영향을 측정하고, 동시에 4단계간에 이전단계의 완성도가 다음단계의 완성도에 어떠한 영향을 미치는지를 살펴보았다. 각 단계별 완성도와 ERP 성과와의 관계를 검증한 결과, 프로젝트 단계와 향상단계의 완성도가 전체성과에 유의한 영향력을 미치는 것으로 나타났다. 동시에 각 단계별 완성도간 관계를 살펴본 결과 모든 이전단계의 완성도는 바로 다음단계의 완성도에 매우 강한 영향력을 끼치는 것으로 조사되었다.

• 한국항행학회논문지
• /
• 제15권6호
• /
• pp.1180-1186
• /
• 2011

객체지향 설계에 있어서 그래픽 표현의 대표라고 할 수 있는 UML 다이아그램의 일관성과 완전성을 검증하기 위하여, 먼저 UML 다이아그램들을 분석하고 분석된 다이아그램에 검증 규칙들을 적용한다. 본 논문에서는 다이아그램을 작성하는 능력과 다이아그램의 일관성과 완전성을 검사할 수 있는 능력을 모두 갖춘 효과적인 검증 시스템을 설계하였다. 검증 시스템은 내부적인 다이아그램 정보를 표현하기 위하여 일련의 프레임들을 사용하고 있다.

• 대한수학회지
• /
• 제54권5호
• /
• pp.1521-1536
• /
• 2017

This paper introduces a representation style of variable binding using dependent types when formalizing meta-theoretic properties. The style we present is a variation of the Coquand-McKinna-Pollack's locally-named representation. The main characteristic is the use of dependent families in defining expressions such as terms and formulas. In this manner, we can handle many syntactic elements, among which wellformedness, provability, soundness, and completeness are critical, in a compact manner. Another point of our paper is to investigate the roles of free variables and constants. Our idea is that fresh constants can entirely play the role of free variables in formalizing meta-theories of first-order predicate logic. In order to show the feasibility of our idea, we formalized the soundness and completeness of LJT with respect to Kripke semantics using the proof assistant Coq, where LJT is the intuitionistic first-order predicate calculus. The proof assistant Coq supports all the functionalities we need: intentional type theory, dependent types, inductive families, and simultaneous substitution.

• 논리연구
• /
• 제16권3호
• /
• pp.437-452
• /
• 2013

이 논문에서 우리는 다음의 두 가지를 보인다. 첫째로 양은석(2009)에서 소개된 체계 $UL_{wt}$를 위한 표준 완전성 증명에 문제가 있음을 보인다. 둘째로 이러한 증명은 대신 모노이드 t-규범 논리 MTL을 위한 새로운 표준 완전성 증명에 사용될 수 있음을 보인다.

• East Asian mathematical journal
• /
• 제26권4호
• /
• pp.581-597
• /
• 2010

In this paper, the author focuses on the teaching-level and learning-level of the completeness axiom and its applications on [0,1] and $\mathbb{R}$, $\mathbb{R}{\times}\mathbb{R}$, $\mathbb{R}{\times}\mathbb{R}{\times}\mathbb{R}$ by (expected) teachers in the school mathematics, which is usually introduced in the class of real analysis of university mathematics. Firstly the author considers the properties of the completeness axiom and its 19 equivalent theorems, next he deals with its importances in the school mathematics and finally he suggests the teaching and learning of the concepts on the completeness axiom and its applications on [0,1] and $\mathbb{R}$, $\mathbb{R}{\times}\mathbb{R}$, $\mathbb{R}{\times}\mathbb{R}{\times}\mathbb{R}$ by (expected) teachers in the school mathematics.

• 논리연구
• /
• 제14권1호
• /
• pp.55-76
• /
• 2011

이 논문은 uninorm의 한 체계인 WUML(Weak Uninorm Mingle Logic)을 다룬다. 먼저 WUML을 도입하고, 그 체계에 상응하는 대수적 구조를 정의한다. 그런 다음 그 체계의 대수적 완전성을 증명한다. 끝으로 WUML과 IUML의 표준적 완전성을 증명한다.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제51권4호
• /
• pp.377-393
• /
• 2012

The understanding demands the different degree of the understanding according to student's learning situation. In this paper, we investigate what is the foundation for the complete understanding for the generalization in the generalization-process and justification of some concepts or some theories, through a case. We discovered that the completeness of the understanding in the generalization-process and justification requires 'the meaningful-mental object' which can give the meaning about the concept or theory to students. Students can do the generalization-process through the construction of 'the meaningful-mental object' and confirm the validity of generalization through 'the meaningful-mental object' which is constructed by them. And we can judge the whether students construct the completeness of the understanding or not, by 'the meaningful-mental object' of the student. Hence 'the meaningful-mental object' are vital condition for the generalization-process and justification.

• Structural Engineering and Mechanics
• /
• 제17권6호
• /
• pp.767-788
• /
• 2004

The classical 8-node isoparametric serendipity element uses parametric shape functions for both test and trial functions. Although this element performs well in general, it yields poor results under severe mesh distortions. The distortion sensitivity is caused by the lack of continuity and/or completeness of shape functions used for test and trial functions. A recent element using parametric and metric shape functions for constructing the test and trial functions exhibits distortion immunity. This paper discusses the choice of parametric or metric shape functions as the basis for test and/or trial functions, satisfaction of continuity and completeness requirements, and their connection to distortion sensitivity. Also, the performances of four types of elements, viz., parametric, metric, parametric-metric, and metric-parametric, are compared for distorted meshes, and their merits and demerits are discussed.

• Journal of Preventive Medicine and Public Health
• /
• 제30권2호
• /
• pp.428-436
• /
• 1997

Objectives : The purpose of this paper is to estimate the completeness of the Korean Medical Insurance Data in childhood asthma. Methods : Capture-recapture method was used to estimate the prevalence of childhood asthma and case ascertainment rate(completeness) of Korean Medical Insurance Data using two source model, 'Korean Medical Insurance Committee Data (KMICD)' and 'Nationwide Study of Asthma and Allergies in Korean Children'. The asthma cases were restricted to those who were born from 1981 to 1989 and were identified by their Resident Register Number. Asthma cases in Korean Medical Insurance Data were defined as cases coded by ICD-9 493 and ICD-10 J45. In 'Nationwide Study of Asthma and Allergies in Korean Children', asthma cases were defined as the children who had been diagnosed asthma and had experienced symptoms of asthma during the past 12 months. The defined cases in two data sources were matched by 13 digits Resident Register Number. The numbers of matched patients in two data sources were 245 of 32,825 eligible total subjects. Chapman and Wittes' nearly unbiased estimation was used for capture-recapture analysis of two data sources. Results : Observed prevalence rate of childhood asthma was 5.3% and estimated prevalence rate by capture-recapture analysis was 11.6%. The highest prevalence rate was observed in 6-7 age group and the older the rate decreased. The completeness (the proportion of cases ascertained by KMICD to the total observed cases by two data sources) was 20.6%, and ranged form 10.8% to 28.8% by area. Conclusions : Invalid diagnosis of cases might overestimate the prevalence of child-hood asthma and might underestimate the completeness of Korean Medical Insurance Committee Data in this study.

• Korean Journal of Mathematics
• /
• 제27권4호
• /
• pp.1133-1147
• /
• 2019

In this paper, let M = B×_f² F be an Einstein Lorentzian warped product manifold with 2-dimensional base. We study the geodesic completeness of some metric with constant curvature. First of all, we discuss the existence of nonconstant warping functions on M. As the results, we have some metric g admits nonconstant warping functions f. Finally, we consider the geodesic completeness on M.