http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
최정아(J-A Choi),최희원(H-W Choi),최동훈(D-H Choi) 한국정보과학회 1997 정보과학회 컴퓨팅의 실제 논문지 Vol.3 No.1
본 논문은 컴파일 방법에 근거하여 구현한 비 Horn 논리 데이타베이스 시스템을 설명한다. 구현 시스템은 내포 데이타베이스에 비 Horn 및 순환 규칙을 포함하지 않으며 외연 데이타베이스는 비 Horn기초절(이접정보)을 포함한다. 내포 데이타베이스의 갱신과 그에 따른 재컴파일의 효율적 수행을 위해 내포 데이타베이스 표현 구조로 전역 술어 연결 그래프와 함께 규칙 리스트를 사용한다. 관계형 DB를 기반으로 하여 저장한 비 Horn 외연 데이타베이스의 저장 구조와 이에 대한 확장 관계 대수를 구현하였다. 비 Horn 외연 데이타베이스로 부터 확정 정보를 추출하는 모듈을 구현하였고, 이 모듈이 근거하는 포함 검사의 효율적 수행을 위해 개선된 단일화 알고리듬을 제시하였다. In this paper, we implement a non-Horn logic database system in compiled approach. The system does not include non-Horn and recursive rules in the intentional database but does have non-Horn data in the extensional database. The intentional database is compiled and represented in a global predicate connection graph. For efficient update and recompliation of the intentional database, the global predicate connection graph is used together with a rule list which includes the detail information on intentional database rules. The non-Horn extensional database is stored in the stroage system based on a relational database system, and is manipulated by extended relational algebra. An algorithm for deriving definite information from non-Horn disjunctive information is improved.
최정은(J.E. Choi),김정훈(J.H. Kim) 한국전산유체공학회 2008 한국전산유체공학회지 Vol.13 No.1
The flow characteristics around a rudder in open water condition is analyzed by the computational method. Reynolds averaged Navier-Stoke's equation is utilized for the computation. The computational hydrodynamic force coefficients are verified through comparing with the experimental results. The information of these flow characteristics is necessary to predict cavitation and maneuvering performances, to estimate steering gear capacitance, and to get the bending moment which is useful for the structural analysis. The pressure distribution, the three-dimensional flow separation, and the tip vortices are investigated. The pattern of the three-dimensional flow separation is analyzed utilizing a topological rule. The tip vortices are also investigated through a visualization technique.