• Journal of Navigation and Port Research
• /
• v.35 no.10
• /
• pp.823-827
• /
• 2011

The present Common Structural Rules for double hull oil tanker is not included the residual strength, which is one of the functional requirements in design part of Goal-based new ship construction standards (GBS). The GBS will be enforced after July 1, 2016. The requirement related residual strength has the goal to build safe ship even if she has the specified damages due to marine accidents including collision and grounding. In order to assess the residual strength based on risk for structural damages according to GBS, tons of nonlinear FE analysis work taking into account various types of damage will be needed. The Smith's method, a kind of simplified method for the strength analysis is very useful for this purpose. In this paper, the residual strength assessments based on ultimate strength using Smith's method were carried out. The objected ship is VLCC with stranding damage in bottom structures. Also, the results were compared with that of nonlinear FE analysis using three cargo hold model.

• Journal of KIISE:Databases
• /
• v.34 no.6
• /
• pp.528-545
• /
• 2007

Recently ontology has been an attractive technology along with the business strategy of providing a plenty of more intelligent services. The essential problem in application domains using ontology is that all members, agents, and application programs in the domains must share the same ontology concepts. However, a variety of mobile devices, sensing devices, and network components manufactured by various companies, a variety of common carriers, and a variety of contents providers make multiple heterogeneous ontologies more likely to coexist. We can see many past researches fallen into resolving this semantic interoperability. Such methods can be broadly classified into by-mapping, by-merging, and by-translation. In this research, we focus on by-translation among them which uses a translation rule directly made between two heterogeneous ontology data like OntoMorph. However, the manual composition of the direct translation rule is not convenient by itself and if there are N ontologies, the direct method has the rule composition complexity of $O(N^2)$ in the worst case. Therefore, in this paper we introduce the cascade composition of translation rules based on web openness in order to improve the complexity. The research result made us recognize some important factors in an ontology translation system, that is speediness of translation, and conveniency of translation rule composition, and some experiments and comparing analysis with existing methods showed that our cascade method has more conveniency with insuring the speediness and the correctness.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.05c
• /
• pp.2121-2124
• /
• 2003

정보보호시스템의 국제공통평가기준인 CC(또는 ISO/IEC 1540B)에서는 평가용 문서(즉, 제출물)에 대한 세부지침을 포함하지 않고 있으므로, CC기반 평가체계를 구축하기 위해서는 문서 스키마(즉, 목차와 내용요구사항)를 개발해야 한다. 본 논문에서는 CC기반 평가체계에서 활용할 수 있는 문서 스키마를 개발하였다. CC내의 보증클래스로부터 Weakest precondition함수, 문서량 축소규칙, 문서 종속성 분석방법을 적용하여 문서스키마와 DTD를 개발하였다. 본 연구의 접근방법은 소프트웨어 품질의 평가체계에서 사용할 문서스키마 또는 DTD를 개발하는데 응용될 수 있다.

• Convergence Security Journal
• /
• v.12 no.3
• /
• pp.45-52
• /
• 2012

CC does not Contain detailed instructions about evaluation document. So, we must develop document schema to make CC-based evaluation system. In this report, we developed document schema that can be used in CC-based evaluation system. We devloped document schema and DTD that applying Weakest precondition function, reduction rules about amount of document and dependancy analysis document from assurance class within CC. Approach of this study can be applied to develop document and DTD that can be used in evaluation system of software quality.

• Journal of the Korea Society of Computer and Information
• /
• v.9 no.3
• /
• pp.135-141
• /
• 2004

With the diversified and enlarged softwares, the issue of software maintenance became more complex and difficult and consequently, the cost of software maintenance took up the highest portion in the software life cycle. We design Reverse Engineering Tool for software restructuring environment to object-oriented system. We design Rule - Based Reverse - Engineering using Class Information. We allow the maintainer to use interactive query by using Prolog language. We use similarity formula, which is based on relationship between variables and functions, in class extraction and restructuring method in order to extract most appropriate class. The visibility of the extracted class can be identified automatically. Also, we allow the maintainer to use query by using logical language. So We can help the practical maintenance. Therefore, The purpose of this paper is to suggest reverse engineering tool and evaluation reverse engineering tool.

• Journal of the Korean Society for Library and Information Science
• /
• v.37 no.1
• /
• pp.27-42
• /
• 2003

The purpose of this study is to evaluate the quality of the Serials Union Catalog(UCAT) of KISTI. In examining both MARC records and bibliographic display records of 172 Japanese serials, AACR2R and KORMARC formats were used as the standard rules. Those records were described in the minimum or incomplete level ; but had repeated errors in various data fields, which included the incorrect choice of main headings, parallel titles and other titles, the improper use of language codes and related data fields, and the provision of incomplete information, etc. To improve the overall quality of bibliographic database, thorough comprehension and application of cataloging rules and MARC formats are strongly required.

• Journal of Institute of Control, Robotics and Systems
• /
• v.1 no.1
• /
• pp.63-70
• /
• 1995

퍼지논리제어기는 산업응용에 광범위하게 연구되고 있으며, 계속적으로 사용되고 있다. 그러나 퍼지집합의 조정을 통해 최적규칙을 구축하기 위하여, 시행착오에 의한 매우 능숙한 기술이 요구된다. 이 논문에서는 첫째로, 퍼지논리제어기와 기존의 PID 제어기로 구성된 하이브리드 퍼지제어기를 제안한다. 즉, 시스템의 제어 입력은 퍼지변수로서, 과도상태에서의 FLC출력과 정상상태에서의 PID 출력의 컨벡스(convex) 결합이다. 둘째로, 간략추론법과 개선된 컴플렉스방법을 이용한 강력한 자동동조알고리즘이 퍼지논리제어기의 성능을 자동적으로 개선하기 위하여 사용된다. 이방법은 오차변화율및 제어출력의 제한조건에 의하여, 언어제어규칙, 퍼지계수(scaling factor), PID계수, 하이브리드 퍼지논리제어기의 하중계수의 최적값을 자동적으로 추정한다. 시뮬레이션은 시간지연 플랜트및 하수처리시스템의 활성오니공정과 같은 비선형 플랜트에서 실행되고, 시스템의 성능은 평가지수 ITAE로 평가된다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2012.05a
• /
• pp.522-522
• /
• 2012

최근 각종 하천 개발 사업이 활발히 진행되면서 안정하도 평가가 활발히 이루어지고 있다. 안정하도 평가를 위해서는 흐름과 하천의 수리기하특성간의 관계를 연결시켜주는 기준유량이 필요한데 이러한 유량이 곧 유효유량이라 할 수 있다. 유효유량은 수년에 결쳐 연 유사량의 대부분을 이동시키는 유량의 평균값으로 정의되며, 적어도 일년에 한 번이나 두 번 또는 대부분의 경우 매년 여러번 발생하는 적당한 빈도의 유량규모에 의해 연 유사량의 대부분을 이동시키는 유량이다. 대표적인 유효유량 산정 프로그램인 Geo-tool은 유황곡선과 유사량 관계 곡선을 활용하여 유효유량을 계산한다. 프로그램에 입력하는 유량은 Bin 수와 지정하는 규칙에 따라 유량구간이 나뉜 후 각 구간별 평균유량에 대한 유사량을 산정한다. 이 때 산정된 구간별 유사량값과 이 구간의 유량이 발생한 일수를 산정함으로써 이 구간의 유량을 통해 발생한 연간 총유사량을 산정한다. 각 구간별 연간 총유사량으로부터 가장 많은 유사량을 이송시키는 구간에 해당되는 평균유량을 유효유량으로 선정하게 된다. 즉 유효유량은 유량범위 간격에 민감하게 반응하므로 Bin의 선정이 중요하다고 할 수 있다. 그러나 국내외에서 Bin 산정에 대한 명백한 기준이 없는 상황이므로 본 연구에서는 Arithmeic Bin과 Logarithmic Bin를 모두 사용하여 낙동강 중류 유효유량 산정에 가장 적합한 Bin의 수와 Bin 간격 산정 규칙을 제시하였다.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.11 no.3
• /
• pp.619-626
• /
• 2007

Constructive induction is a technique to draw useful attributes from given primitive attributes to classify given examples more efficiently. Useful attributes are obtained from given primitive attributes by applying appropriate operators to them. The paper proposes a constructive induction approach for a GA-based inductive learning environment that learns classification rules that ate similar to rules used in PROSPECTOR from given examples. The paper explains our constructive induction approach in details, centering on operators to combine primitive attributes and methods to evaluate the usefulness of derived attributes, and presents the results of various experiments performed to evaluate the effect of our constructive induction approach on the GA-based learning environment.

• Journal of Internet Computing and Services
• /
• v.4 no.2
• /
• pp.61-67
• /
• 2003

It has recently become known that the social issue of obesity, caused by increased caloric intake and lack of exercise, is a risk factor in the cause of various adult diseases. Above all, to prevent or cure obesity, we must accurately evaluate the degree of obesity, and we have used BML, WHR, and waist measurements for this purpose. In this paper, we propose an obesity evaluation system based on fuzzy inference using BML and waist measurement. For this purpose, we decided reasoning rule and membership function about BML and waist measurements. The inference result is presented in a descriptive sentence.