• 호남수학학술지
• /
• 제20권1호
• /
• pp.135-145
• /
• 1998

In this paper, we focus on the convex-valued selection theorem out of four main selection theorems; zero-dimensional, convex-valued, compact-valued, finite-dimensional theorems based on Michael's papers. We prove some theorems about lower semi-continuous set-valued mappings, and derive some applications to closed continuous set-valued mappings and to functional analysis. We also give a partial solution to the open problem posed by Engelking, Heath, and Michael.

• 자연과학논문집
• /
• 제11권1호
• /
• pp.99-103
• /
• 1999

본 연구는 토마토의 단위결과성을 평가하여 육종의 기초자료로 활용하고자 토마토 12계통과 17근연종을 공시하여 수행한 결과, 제웅후 50%이상, 방임시 90%이상 착과한 CLN431-85-13-12, CLN425-130-8-1, CLN435-185-4-9등 3계통이 단위결과성 모본으로 우수하여 선발되었다.

• 대한산업공학회지
• /
• 제23권4호
• /
• pp.755-767
• /
• 1997

Analyzing autocorrelated data set is still an open problem. Developing on easy and efficient method for severe positive correlated data set, which is common in simulation output, is vital for the simulation society. Bootstrap is on easy and powerful tool for constructing non-parametric inferential procedures in modern statistical data analysis. Conventional bootstrap algorithm requires iid assumption in the original data set. Proper choice of resampling units for generating replicates has much to do with the structure of the original data set, iid data or autocorrelated. In this paper, a new bootstrap resampling scheme is proposed to analyze the autocorrelated data set : the Threshold Bootstrap. A thorough literature search of bootstrap method focusing on the case of autocorrelated data set is also provided. Theoretical foundations of Threshold Bootstrap is studied and compared with other leading bootstrap sampling techniques for autocorrelated data sets. The performance of TB is reported using M/M/1 queueing model, else the comparison of other resampling techniques of ARMA data set is also reported.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제37권4호
• /
• pp.282-296
• /
• 2010

OWL 온톨로지는 실세계의 도메인 지식을 모델링 하는데 적합하다. 또한 명백하게 정의된 지식으로부터 암시적인 새로운 지식을 추론할 수 있다. 하지만 이 모델링된 지식은 완전할 수 없다. 사람이 가지고 있는 모든 상식을 모델링 할 수 없기 때문이다. 온톨로지는 완전한 지식표현을 위한 무결성 제약조건과 예외 처리와 같은 비단조 추론을 지원할 방법이 없다. 디폴트 규칙은 온톨로지 안의 특정 클래스에 대한 예외를 처리할 수 있다. 또한 무결성 제약은 온톨로지에 정의된 클래스의 제한조건(restriction)에 인스턴스가 일관되게 할 수 있다. 본 논문에서는 Open World Assumption(OWA) 기반의 온톨로지와 Closed World Assumption(CWA) 기반의 비단조 추론을 지원하는 규칙의 지식베이스를 통합하여 Open World 와 Closed World 추론을 모두 지원하는 실질적인 추론 시스템을 제안한다. 이 시스템은 온톨로지에 정의된 불완전한 개념을 다룰 때 OWA기반이라서 발생하는 문제점을 ASP(Answer Set Programming)를 사용하여 해결방안을 제안한다. ASP는 논리 프로그래밍 언어로써 비단조 추론을 허용하며, 서술 논리 지식베이스에 CWA 기반의 질의를 가능하게 한다. 제안하는 시스템은 Protege에서 제공하는 Pizza 온톨로지를 예로써 비단조 추론이 필요한 경우를 보이고, 잘 알려진 온톨로지들로 성능 평가하여 본 시스템의 정당(sound)하고 완전(complete)함을 증명한다.

• Nuclear Engineering and Technology
• /
• 제54권10호
• /
• pp.3803-3810
• /
• 2022

OpenMC is a community-driven open-source Monte Carlo neutron and photon transport simulation code. The Weight Window Mesh (WWM) function and an automatic Global Variance Reduction (GVR) method was recently developed and implemented in a developmental branch of OpenMC. This WWM function and GVR method broaden OpenMC's usage in general purposes deep penetration shielding calculations. However, the Local Variance Reduction (LVR) method, which suits the source-detector problem, is still missing in OpenMC. In this work, the Weight Window Generator (WWG) function has been developed and benchmarked for the same branch. This WWG function allows OpenMC to generate the WWM for the source-detector problem on its own. Single-material cases with varying shielding and sources were used to benchmark the WWG function and investigate how to set up the particle histories utilized in WWG-run and WWM-run. Results show that there is a maximum improvement of WWM generated by WWG. Based on the above results, instructions on determining the particle histories utilized in WWG-run and WWM-run for optimal computation efficiency are given and tested with a few multi-material cases. These benchmarks demonstrate the ability of the OpenMC WWG function and the above instructions for the source-detector problem. This developmental branch will be released and merged into the main distribution in the future.

• 한국소성가공학회:학술대회논문집
• /
• 한국소성가공학회 2003년도 춘계학술대회논문집
• /
• pp.143-147
• /
• 2003

Despite of outstanding optical performance of glass lens, glass lens have not been widely used because of poor productivity and high cost due to manufacturing process i.e. grinding, polishing. However, press-forming method of glass lens overcomes this disadvantage because of mass production. When glass lens is produced by press-forming method using closed die, it is needed that the volume of glass lens preform precisely measured in order to prevent incomplete products and to increase in life of die. The present paper shows the shortcoming of forming process with closed die, and performs FEM simulation of forming process with open die in order to overcome this shortcoming. The design parameter of open die is selected in standard of assembly with optical module and maintenance of optical performance. FEM simulation is carried out with selected parameter of open die and two basic preform. According to distribution of effective strain in glass lens, optical property of glass lens formed at each set of die and preform is compared.

• Asia pacific journal of information systems
• /
• 제13권2호
• /
• pp.145-170
• /
• 2003

Open Decision Support System(DSS) is an automated and transparent system that is built to be shared both within and across organizations. The open DSS has been thought to be a set of decision components that are communicating through Web protocols. These characteristics intuitively invite the Web services concepts, which are currently one of the new trends in network-based business services. However, web services still are not active enough to be autonomous, and to provide for composing functionalities. These lead to the motivation on building a sophisticated web service to contain these features and to utilize web services on behalf of the user. This paper aims to propose a new concept of Meta Web Service, a web service-based open DSS. Decision modules in a dynamic and open DSS can be viewed as a web service. The Meta Web Service understands the users problem statement with ontology, performs web service discovery, web service composition, and automatically generates codes for composite web service execution. A prototype of example web service has been developed to show the feasibility of the proposed idea.

• 소성∙가공
• /
• 제12권4호
• /
• pp.296-301
• /
• 2003

Though a glass tens has outstanding optical performance, it has not been widely used because manufacturing process shows poor productivity and high cost. However, press-forming method of glass lens overcomes these disadvantages with mass production. When glass lens is produced by press-forming method using closed die, it is needed that the volume of glass lens preform is precisely measured in order to prevent incomplete products and to increase in life of die. The present. paper shows the shortcoming of forming process with closed die, and performs FEM simulation of forming process with open die in order to overcome this shortcoming. The design parameters of open die are selected on the basis of assembly with optical module and maintenance of optical performance. FEM simulation is carried out with selected parameter of open die and two basic preform. According to distribution of effective strain in glass lens, optical property of glass lens formed at each set of die and preform is compared.

• Smart Structures and Systems
• /
• 제23권6호
• /
• pp.553-564
• /
• 2019

Modeling of magnetorheological (MR) dampers for cable vibration control to facilitate the design of even more effective and economical systems is still a challenging task. In this study, a parameter-adaptive three-element model is first established for a full-scale MR damper based on laboratory tests. The parameters of the model are represented by a set of empirical formulae in terms of displacement amplitude, voltage input, and excitation frequency. The model is then incorporated into the governing equation of cable-damper system for investigation of open-loop vibration control of stay cables in a cable-stayed bridge. The concept of optimal voltage/current input achieving the maximum damping for the system is put forward and verified. Multi-mode suboptimal and Single-mode optimal open-loop control method is then developed. Important conclusions are drawn on application issues and unique characteristics of open-loop cable vibration control using MR dampers.

• 대한수학회지
• /
• 제61권1호
• /
• pp.1-28
• /
• 2024

In this article, we associate a contact structure to the conjugacy class of a periodic surface homeomorphism, encoded by a combinatorial tuple of integers called a marked data set. In particular, we prove that infinite families of these data sets give rise to Stein fillable contact structures with associated monodromies that do not factor into products to positive Dehn twists. In addition to the above, we give explicit constructions of symplectic fillings for rational open books analogous to Mori's construction for honest open books. We also prove a sufficient condition for the Stein fillability of rational open books analogous to the positivity of monodromy for honest open books due to Giroux and Loi-Piergallini.