• Journal of the Korean Geotechnical Society
• /
• v.15 no.6
• /
• pp.121-130
• /
• 1999

The objective of this study is to perform finite element analyses(FEA) using the anisotropic hardening constitutive model on the basis of the total stress concept. An anisotropic hardening model was then developed to solve the problem and its mathematical formulations and experimental verifications were also described. In a companion paper, the constitutive equation will be formulated for accurate and efficient solutions of FEA, and coded into a nonlinear analysis program, and finally a field problem will be analyzed. The proposed model includes the failure criterion of a von Mises type and the anisotropic hardening rule based on the generalized isotropic hardening description, which can model the nonlinearity and the anisotropy of the stress-strain relationship. As a result this study could verty the experimental results for UU triaxial tests, CU triaxial tests for overconsolidated samples, and anisotropic loading tests with the rotation of principal stress axes for $K_0$consolidated samples.

• The Journal of Information Systems
• /
• v.18 no.4
• /
• pp.59-86
• /
• 2009

Data modeling can be regarded as a series of processes to abstract real-world business concerns. The conceptual modeling phase is often regarded as the most difficult stage in the entire modeling process, because quite different conceptual models may be produced even for similar business domains based on users' varying requirements and the data modelers' diverse perceptions of the requirements. This implies that an object considered as an entity in one domain may be considered as an attribute in another, and vice versa. However, many traditional knowledge-based automated database design systems unfortunately fail to construct appropriate Entity-Relationship Diagrams(ERDs) for a given set of requirements due to the rigid assumption that an object should be classified as an entity if it has been classified as an entity in previous applications. In this paper, we propose an alternative automation system which can generate ERDs from business descriptions using association rule mining technique. Our system can be differentiated from the traditional ones in that our system can perform data modeling only based on business description written by domain workers, rather than relying on any kind of knowledge base. Since the proposed system can produce various versions of ERDs from the same business descriptions simultaneously, users can have the opportunity to choose one of the ERDs as being the most appropriate, based on their business environment and requirements. We performed a case study for personnel management in a university to evaluate the practicability of the proposed system This paper summarizes the result of it in the experiment section.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.57 no.3
• /
• pp.501-506
• /
• 2008

Medical environments incorporate complex and integrated data networks to transfer vast amounts of patient information, such as images, waveforms, and other digital data. To assure interoperability of images, waveforms and patient data, health level seven(HL7) was developed as an international standard to facilitate the communication and storage of medical data. We also adopted medical waveform description format encoding rule(MFER) standard for encoding waveform biosignal such as ECG, EEG and so on. And, the study converted a broad domain of clinical data on patients, including MFER, into a HL7 message, and saved them in a clinical database in hospital. According to results obtained in the test environment, it was possible to acquire the same HL7 message and biosignal data as ones acquired during transmission. Through this study, we might conclude that the proposed system can be a promising model for electronic medical record system in u-healthcare environment.

• Proceedings of the Korea Inteligent Information System Society Conference
• /
• 2007.05a
• /
• pp.277-285
• /
• 2007

본 연구는 시맨틱웹 응용의 중심 기술인 웹 온톨로지의 표현과 추론을 위해 서술 논리와 규칙언어를 기반으로하는 웹 온톨로지 모델링 방법을 제안한다. 현재 웹 온톨로지 표현 언어인 OWL DL은 서술 논리에 근거하여 표현되는 것이나, 기계나 온톨로지 공학자가 OWL로 기술된 온톨로지를 직관적으로 이해하고 공유할 수 있는 형식적이고 명시적인 온톨로지의 지식 표현은 부족한 실정이다. 따라서 본 연구는 시맨틱웹이 목적하는 웹 온톨로지 구축을 위한 웹 온톨로지 모델링 방법으로 웹 온톨로지 모델링 계층을 제안하고, 제안된 각 계층에 따라 서술 논리의 TBox와 ABox의 구조와 SWRL을 기반으로 지식을 표현하는 웹 온톨로지 모델링 방법을 제안한다. 제안된 웹 온톨로지 모델링 방법의 성능 검증을 위해 제안 방법에 따라 웹 온톨로지를 구축하였고, SPARQL과 TopBraid의 DL Inference를 이용하여 구축된 웹 온톨로지의 성능을 검증하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10c
• /
• pp.559-561
• /
• 2003

최근 차세대 Web 기술로서 Semantic Web이 주목 받고 있다. Semantic Web에서는 Web상에 존재하는 문서에 Web Resource들에 대한 Ontology를 기반으로 Semantic Annotation을 하고 Ontology 추론 Agent를 통하여 의미 기반으로 Web을 검색할 수 있도록 해준다. 이와 같은 Semantic Web 기술의 핵심 요소는 Web Ontology이며 W3C에서는 이를 표현 할 수 있는 표준 언어로서 RDF기반의 OWL(Web Ontology Language) 명세를 제정하고 있다. 따라서 표준 Web Ontology 언어인 OWL을 위한 추론 시스템은 Semantic Web 검색 Agent의 구현을 위한 필수적인 기반 기술이라 할 수 있으나 아직 그 개발이 미비한 상태이다. OWL 추론 시스템을 구현하기 위해서는 OWL의 이론적인 기반을 제공하는 DL(Description Logic)을 추론할 수 있는 엔진을 사용하는 것이 한가지 방법이 될 수 있으나 OWL이 Rule과 같은 DL의 범주를 벗어나는 Vocabulary를 지원하는 언어로 확장되는 경우에 이를 처리하기가 어렵다. 또 다른 방법으로서 Logic Programming을 통하여 OWL 언어의 Semantic을 기술하고 정리 증명(Theorem Proving)을 통하여 Ontology를 추론하는 공리화(Axiomatisation) 기법이 있는데 이러한 방법의 장점은 기반이 되는 Logic의 범주 내에서 새로운 언어를 위한 Vocabulary의 확장이 용이하다는 점이다. 본 논문에서는 Axiomatisation 방법을 이용하여 OWL로 기술된 Ontology를 추론할 수 있는 시스템의 설계 및 구현에 대해 설명하기로 한다.

• Journal of Korean Library and Information Science Society
• /
• v.25
• /
• pp.377-404
• /
• 1996

The purpose of this study is to investigate material designation in library cataloging and to suggest General Material Designation (GMD) and Specific Material Designation(SMD) in Korean. A summary of the study follows. In library cataloging, methods of indicating the type of material are : (1) color-coding, (2) media code as part of the call number, (3) material designation in physical description area or note area, (4) GMD and SMD. GMD is a term indicating the broad class of material to which a bibliographic item belongs. SMD is a term indicating the special class of material to which a bibliographic item belongs. GMD was listed in parenthesis following the title proper before AACR1975 code, but currently it is listed in square brackets after the AACR1975 code. AACR2 was the standard cataloging rule in GMD and SMD terminology. It is suggested that GMD be used in Korean for graphic material, sound recordings, drawings, microform, multimedia, videorecordings, manuscripts, photographs, slides, printed music, motion pictures, printed texts, objects, braille, cartographic materials, computer files and transparenies.

• Journal of Korean Library and Information Science Society
• /
• v.22
• /
• pp.327-349
• /
• 1995

In comparing with the role, scope, and description method of edition statement between monograph and old traditional books, There are some problems solving as follows : 1) Kind of issue offering information on variant imprint must be distinguished from edition merely identifying the newest thing among same materials in the edition area of old traditional books. 2) because of a rule that edition statement follow title statement according to ISBD, could not make a most of the characteristics of old traditional books. As a result of a n.0, pplication MARC format for solving above the problems, the followings have been identified. 1) Subfield in the 245tag can be made a distinction between kind of issue and edition with when describing edition statement of old traditional books. 2) As defining newly the Fixed-Length Data Elements of Marc format, not only basic index terms, such as author, title, etc., but also edition statement on variant kind of issue will be able to provide with restrict index terms.

• Progress in Superconductivity and Cryogenics
• /
• v.17 no.4
• /
• pp.1-7
• /
• 2015

This paper addresses technical problems of thermal contact conductance or resistance which inevitably occurs in most cryogenic engineering systems. The main focus of this paper is to examine what kind of physical factors primarily influences the thermal contact resistance and to suggest how it can be minimized. It is a good practical rule that the contact surface must have sub-micron roughness level with no oxide layer and be thinly covered by indium, gold, or Apiezon-N grease for securing sufficient direct contact area. The higher contact pressure, the lower the thermal contact resistance. The general description of this technique has been widely perceived and reasonable engineering results have been achieved in most applications. However, the detailed view of employing these techniques and their relative efficacies to reduce thermal contact resistances need to be thoroughly reviewed. We should consider specific thermal contact conditions, examine the engineering requirements, and execute each method with precautions to fulfil their maximum potentials.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.10b
• /
• pp.352-356
• /
• 2006

현존하는 추론 엔진들은 대부분 Tableaux 알고리즘 기반의 TBox의 최적화를 위한 연구를 진행하였다. 하지만 현실에서 대용량의 ABox를 추론하기 위한 유한한 시간 내에 결정 가능성을 보장하지 못한다. 따라서 실용성 있는 추론 엔진 효율을 위해서는 대용량 데이터를 가지는 ABox를 위한 최적화된 추론 기법이 필요하다. 본 논문에서는 OWL-DL 기반의 온톨로지(Ontology)를 데이터로그(Datalog)와 같은 규칙(Rule) 형태로 변형하여 관계형 데이터베이스와 같은 저장 시스템과 연동하기 위한 방법을 이용한다. 최종적으로 실세계의 환경에서의 데이터타입 속성(Datatype Property)이 포함된 SHIQ(D) 구성의 실용적인 추론 시스템을 수행하고자 한다. 따라서 OWL이 가지는 공리(Axiom)를 이용하여 데이터타입 속성이 포함된 규칙을 적용한 추론 방법에 대해서 제안하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2001.04b
• /
• pp.1033-1036
• /
• 2001

컴파일러 후단부 개발시 중간 코드로부터 목적기계 코드를 생성하기 위해서는 각각의 중간 코드 명령어를 목적기계 코드로 치환하는 방법과 다양한 중간 코드 패턴에 대한 목적기계 코드 생성 규칙을 기술하는 방법으로 구분된다. 특히, 컴파일러 후단부 전체를 재구성하지 않고 중간 코드로부터 목적기계 코드를 생성하는 정형화된 규칙을 이용하면 다양한 목적기계 코드를 효율적으로 생성할 수 있다. 본 논문은 Bytecode로부터 정형화된 코드 생성 규칙을 이용하여 Pentium기계에 대한 코드 생성이 가능하도록 코드 생성 규칙 기술 모델을 제시하며 실질적으로 목적기계 코드 생성시에 참조 가능한 정보를 생성하는 코드-생성기 생성기를 연구한다 본 연구를 통해서 Bytecode로부더 다양한 목적기계 코드를 생성할 수 있는 정형화된 코드 생성 규칙 기술 방법을 얻을 수 있다.