• East Asian mathematical journal
• /
• 제16권2호
• /
• pp.199-203
• /
• 2000

We give nine necessary and sufficient conditions for a metric space to be complete.

• Structural Engineering and Mechanics
• /
• 제10권2호
• /
• pp.93-110
• /
• 2000

An alternative interpretation of the completeness requirements for the higher order elements is presented. Apart from the familiar condition, $\sum_iN_i=1$, some additional conditions to be satisfied by the shape functions of higher order elements are identified. Elements with their geometry in the natural form, i.e., without any geometrical distortion, satisfy most of these additional conditions inherently. However, the geometrically distorted elements satisfy only fewer conditions. The practical implications of the satisfaction or non-satisfaction of these additional conditions are investigated with respect to a 3-node bar element, and 8- and 9-node quadrilateral elements. The results suggest that non-satisfaction of these additional conditions results in poorer performance of the element when the element is geometrically distorted. Based on the new interpretation of completeness requirements, a 3-node element and an 8-node rectangular element that are insensitive to mid-node distortion under a quadratic displacement field have been developed.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제4권1호
• /
• pp.19-26
• /
• 1997

In this paper, we characterize the existence of fixed points of a multivalued function by the existence of complete preorder on the given domain. Also we investigate relations between the completeness of a given order and the fixed point property of some multivalued functions.

• 한국과학교육학회지
• /
• 제14권3호
• /
• pp.321-329
• /
• 1994

The purpose of this study was to investigate the completeness of educational objectives according to grades, objective domains and content areas, and to inquire the completeness of educational objectives by instructional quality profile and to restate educational objectives on the elementary school science curriculum. The taxonomy as a classification tool was developed in order to classify the science educational objectives. Teacher's guide-books of elementary school science were used to analyze the completeness. The educational objectives were checked using the objective classification tool by 11 experienced specialists in science education. The following are the results of this study. 1. Completeness of unit was shown approximately the 62 percentage in chapters, the 72 percentage in sections and the 87 percentage in periods. 2. Only the related chemistry parts showed that each objective domains were stated evenly. 3. On the whole, the number of understanding(38%) of stated educational objectives was much more than the other domains, such as manual skill(7%), attitudes.interests.appreciations(4%). 4. The elementary school science objectives were restated using the instructional quality profile in order to increase the completeness.

• 대한수학회지
• /
• 제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.

• 한국게임학회 논문지
• /
• 제18권2호
• /
• pp.121-130
• /
• 2018

대부분의 빈발 패턴은 패턴이 트랜잭션 데이터베이스에 나타나는 support를 패턴 interestingness의 핵심 척도로 다루어 왔으나 패턴의 횟수는 패턴의 completeness가 가지는 정보를 최대치로 가정하고 있다. 그러나 실제적으로는 임의의 패턴 X의 completeness는 트랜잭션에서 서로 다르게 나타나기 마련이다. 따라서 패턴이 가지는 정보의 손실을 줄이기 위해서는 가중치에 의한 support와 completeness에 의한 유용한 패턴 마이닝을 고려하여야 한다. 즉, 높은 completeness율을 갖는 패턴은 더 높은 recall로 이어질 수 있고 높은 빈도수를 갖는 패턴은 보다 높은 정밀도로 이어진다. 본 논문에서는 동적인 항목들의 가중치에 따른 적응된 support와 completeness를 고려하는 WSCFPM 패턴 마이닝 알고리즘을 제안한다. 제안한 방법은 모노톤 또는 반 모노톤 속성이 가중치에 의한 support와 completeness에 영향을 미치지 않기 때문에 탐색과정을 줄일 수 있다. 실험결과를 통하여 제안된 알고리즘이 효과적이며 확장성이 좋은 것임을 보인다.

• 대한수학회보
• /
• 제32권2호
• /
• pp.239-249
• /
• 1995

Let $V = (v_1, v_2, \cdots)$ be a sequence of positive integers arranged in nondecreasing order. We define V to be complete if every positive integer n is the sum of some subsequence of V, that is, $$ (1.1) n = \sum_{i=1}^{\infty} a_i v_i where a_i = 0 or 1.

• 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
• /
• 제39권3호
• /
• pp.255-262
• /
• 2006

Objectives: This study is conducted to identify the cancer incidence in Gwangju during the 5-year period from 1998 to 2002 and to assess the completeness and validity of the cancer registry data during this time period. Methods: All cases that had a diagnosis of invasive cancer (ICD-10 sites C00-C97) during the study period were retrieved from the records of the Gwangju Cancer Registry (GCR), which theoretically includes all the cancer cases in Gwangju. All the cases during the study period were analyzed by gender, age group and cancer sites. The completeness (mortality/incidence ratio and age-specific incidence curve) and validity (histologic verification, primary site unknown, age unknown and death certificate only) of the cancer registry in Gwangju were analyzed by gender, age group and cancer sites for the 5-year period. Results: The overall cancer incidence was higher in the males than in the females (age-standardized incidence rates (ASR) 299.8 and 172.4 per 100,000, respectively). In males, the most common cancer was stomach (ASR: 65.8), followed by liver (ASR: 50.5), bronchus and lung (ASR: 50.5), colo-rectum (ASR: 26.7), oesophagus (ASR: 10.6), and bladder (ASR: 10.3) in descending order. In females, the most common cancer was stomach (ASR: 26.8), followed by thyroid (ASR: 20.7), breast (ASR: 20.4), cervix uteri (ASR: 14.3), bronchus and lung (ASR: 13.0), liver (ASR: 10.7) and colo-rectum (ASR: 17.2) in descending order. The overall quality (completeness and validity) of the cancer registry was at the in 'good' level. Conclusions: These results will be useful in the overall context of planning and evaluating of cancer control activities in Gwangju.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제35권12호
• /
• pp.731-740
• /
• 2008

철도 제어 시스템은 대표적인 안전철수 시스템이다. 국제 규격의 컴퓨터 기반의 철도 제어 시스템을 개발하기 위해서 정형 기법을 이용한 요구사항 명세와 검증이 요구된다. 본 논문에서는 정형 기법을 사용하여 요구사항 명세를 작성하는 지침서(guideline)을 개발하고, 컴퓨터 기반의 열차 제어 장치 시스템에 대한 실제 적용 사례를 제시한다. 정형 명세를 위해 상태차트(statechart)와 Z를 사용하고, 정형 명세의 일치성(consistency)과 완전성(completeness)을 검증한다.