• Asian Pacific Journal of Cancer Prevention
• /
• 제13권8호
• /
• pp.3617-3619
• /
• 2012

Background: The completeness of cancer registration is a major validity index of any reported cancer incidence. The present study aimed to evaluate the esophageal cancer incidence registered in the Tehran Metropolitan Area Cancer Registry. Materials and methods: The data on esophageal cancer abstracted from three sources of 1) pathology departments, 2) medical records, and 3) death certificates during 2003 till 2007 were utilized. The completeness of the data sources were evaluated using coverage (defined as the proportion of a community population with esophageal cancer identified by the source) and density (defined as the proportion of non-empty fields of the data by source). Results: A total 1,404 cases of esophageal cancer were reported for the duration of the study. Pathology provided 771, medical records 432, and death certificates 609. The coverage was 0.55 for pathology, 0.31 for medical records, and 0.43 for death certificates. The respective density values were 0.82, 0.96 and 0.98, respectively. Pathology (0.45) was the most complete source followed by medical records (0.42), and death certificates (0.29). Discussion: A low degree of completeness dictates putting more effort into case finding plus abstracting data more thoroughly.

• 논리연구
• /
• 제12권2호
• /
• pp.115-139
• /
• 2009

이 논문에서는 멧칼페와 몬테그나([8])에 의해 소개된 uninorm logic UL에 (t-weakening, Wt) (($\phi$ & $\psi$) ${\wedge}$ t) $\rightarrow$ $\phi$를 더해 얻어질 수 있는 공리적 확장 체계를 연구한다. 구체적으로 먼저 t-weakening uninorm logic ULWt (the UL with Wt)를 소개하고 이 체계에 상응하는 대수적 구조를 정의한 후 ULWt가 대수적으로 완전하다는 것을 증명한다. 다음으로 제네이와 몬테그나가 [3, 6]에서 보여준 표준 완전성 즉 실수 구간 [0, 1] 위에서의 완전성 증명을 사용하여, ULWt가 주어진 실구간 위에서 완전하다는 것을 즉 표준적으로 완전하다는 것을 증명한다.

• 한국소프트웨어감정평가학회 논문지
• /
• 제17권1호
• /
• pp.1-9
• /
• 2021

도급의 대상이 된 일의 완성 여부는 도급계약에 관한 분쟁에서 어떠한 쟁점을 다루던지 가장 중요한 전제에 해당한다. 일반적으로 도급계약의 형태로 이루어지는 소프트웨어 개발 용역의 경우에도 이는 동일하게 나타난다. 일이 완성된 정도를 완성도라 한다. 소프트웨어 도급계약이 원인이 된 소송에서는 대상 소프트웨어의 완성도를 산출하기 위하여 감정을 주로 활용한다. 다만 그 과정에서 다양한 전문가들이 재량을 가지고 참여하다 보니 객관성 확보에 어려움을 겪는 문제가 있다. 이에 본 논문에서는 그간 소프트웨어 완성도 산출에 관한 여러 사례를 살펴보고 각기 어떠한 산출 방식을 적용하였는지 검토해보았다. 이를 통하여 현재 소송 과정에서 이루어지는 완성도 산출의 객관성을 확보하기 위하여 어떠한 개선점이 필요한지 생각해보았다. 그 결과 부족한 자료에 기반하여 이루어진다는 점, 하자와 미완성을 엄격히 구별하지 않고 감정이 이루어지고 있다는 점, 가중치 적용에 대한 재량이 지나치게 광범위하다는 점 등의 문제가 있어 개선이 필요할 것으로 판단하였다.

• 한국지능시스템학회논문지
• /
• 제17권1호
• /
• pp.143-147
• /
• 2007

With a new ordinary norm as an analogy of Krishna and Sarma[5] and Bag and Samanta[1], we will characterize the notions of the convergence of the sequences of fuzzy points, the fuzzy, ${\alpha}$-Cauchy sequence and fuzzy completeness.

• 논리연구
• /
• 제20권2호
• /
• pp.273-292
• /
• 2017

이 글에서 우리는 누승적 미카놈 논리 IMICAL의 몇몇 공리적 확장 체계를 다룬다. 보다 구체적으로, 먼저 누승적 미아놈에 바탕을 두 논리 체계 $P_nIMIAL$, $FP_nIMIAL$을 소개한다. 각 체계에 상응하는 대수적 구조를 정의한 후, 이들 체계가 대수적으로 완전하다는 것을 보인다. 다음으로, 이 논리 체계들 중 $FP_nIMICAL$가 표준적으로 완전하다는 것 즉 단위 실수 [0,1]에서 완전하다는 것을 제네이-몬테그나 방식의 구성을 사용하여 보인다.

• 한국멀티미디어학회논문지
• /
• 제3권3호
• /
• pp.290-297
• /
• 2000

객체지향 설계에 많이 사용되고 있는 UML의 일부 다이아그램들의 일관성과 완전성을 검증하기 위하여 UML다이아그램들을 분석하여 ER모델에 적용하고, 일련의 집합과 함수들을 사용하여 정형적으로 명세한 다음 이러한 함수들의 의미에 따라 UML 다이아그램들의 일관성과 완전성을 보장하는 일련의 규칙들을 유도한다. 이러한 규칙들은 추후에 다이아그램을 생성하는 능력과 일관성과 완전성을 검사하는 능력을 함에 가진 CASE 도구에 포함될 수 있다.

• 논리연구
• /
• 제13권1호
• /
• pp.1-20
• /
• 2010

이 논문에서 우리는 멧칼페와 몬테그나에 의해 [15]에서 소개된 uninorm에 바탕을 두고 있는 논리 UL을 위한 표준 완전성 즉 단위 실수 [0, 1] 위에서의 완전성의 새로운 증명을 연구한다. 즉 [8, 9]에서 소개된 nuclear completion을 사용하여 UL이 표준적으로 완전하다는 것을 보인다.

• 한국논리학회:학술대회논문집
• /
• 한국논리학회 2009년도 동계학술 발표회
• /
• pp.38-66
• /
• 2009

Weakening-free non-associative fuzzy logics, which are based on mica-norms, are introduced as non-associative substructural logics extending $GL_{e\bot}$ (Non-associative Full Lambek calculus with exchange and constants T, F) introduced by Galatos and Ono (cf. see [10, 11]). First, the mica-norm logic MICAL, which is intended to cope with the tautologies of left-continuous conjunctive mica-norms and their residua, and several axiomatic extensions of it are introduced as weakening-free non-associative fuzzy logics. The algebraic structures corresponding to the systems are then defined, and algebraic completeness results for them are provided. Next, standard completeness (i,e. completeness with respect to algebras whose lattice reduct is the real unit interval [0, 1]) is established for these logics by using Jenei and Montagna-style approach for proving standard completeness in [7, 18].

• 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.

• 한국멀티미디어학회논문지
• /
• 제22권4호
• /
• pp.417-423
• /
• 2019

This paper presents an evaluation system to determine the completeness of a space map obtained by a visual SLAM(Simultaneous Localization And Mapping) algorithm. The proposed system consists of three parts. First, the proposed system detects the occurrence of loop closing to confirm that users acquired the information from all directions. Thereafter, the acquired map is divided with regular intervals and is verified whether each area has enough map points to successfully estimate users' position. Finally, to check the effectiveness of each map point, the system checks whether the map points are identifiable even at the location where there is a large distance difference from the acquisition position. Experimental results show that space maps whose completeness is proven by the proposed system has higher stability and accuracy in terms of position estimation than other maps that are not proven.