• Honam Mathematical Journal
• /
• v.20 no.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.

• The Journal of Natural Sciences
• /
• v.11 no.1
• /
• pp.99-103
• /
• 1999

This study was carried out to use as the basic data for breeding by evaluating parthenocarpy with 12 tomato lines and 17 allied species. Fruit set of open pollination plots was over 90% in 11 lines(CLN430-85-13-5 etc), 9.1-50% in 10 lines(LA1306 etc.), and the rest no fruit set. Fruit set after emasculation resulted highly 51.4% in CLN431-85-13-12, 53.9% in CLN425-130-8-1, 66.7% in CLN435-185-4-9, and 72.2% in Ventura, respectively. But fruit set in other tomato lines resulted under 50% and 17 allied species(LA1306 etc) resulted no effect of fruit set. Fruits other emasculation had no seeds and fruits after open pollination had 10-70 seeds per fruit. This result of this work showed that 3 lines, CLN435-185-4-9, CLN425-130-8-1, and CLN431-85-13-12, resulted in good effectiveness on the evaluation of parthenocarpy in tomatoes.

• Journal of Korean Institute of Industrial Engineers
• /
• v.23 no.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.

• Journal of KIISE:Software and Applications
• /
• v.37 no.4
• /
• pp.282-296
• /
• 2010

OWL is an ontology language for the Semantic Web, and suited to modelling the knowledge of a specific domain in the real-world. Ontology also can infer new implicit knowledge from the explicit knowledge. However, the modeled knowledge cannot be complete as the whole of the common-sense of the human cannot be represented totally. Ontology do not concern handling nonmonotonic reasoning to detect incomplete modeling such as the integrity constraints and exceptions. A default rule can handle the exception about a specific class in ontology. Integrity constraint can be clear that restrictions on class define which and how many relationships the instances of that class must hold. In this paper, we propose a practical reasoning system for open and closed-world reasoning that supports a novel hybrid integration of ontology based on open world assumption (OWA) and non-monotonic rule based on closed-world assumption (CWA). The system utilizes a method to solve the problem which occurs when dealing with the incomplete knowledge under the OWA. The method uses the answer set programming (ASP) to find a solution. ASP is a logic-program, which can be seen as the computational embodiment of non-monotonic reasoning, and enables a query based on CWA to knowledge base (KB) of description logic. Our system not only finds practical cases from examples by the Protege, which require non-monotonic reasoning, but also estimates novel reasoning results for the cases based on KB which realizes a transparent integration of rules and ontologies supported by some well-known projects.

• Nuclear Engineering and Technology
• /
• v.54 no.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.

• Proceedings of the Korean Society for Technology of Plasticity Conference
• /
• 2003.05a
• /
• 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
• /
• v.13 no.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.

• Transactions of Materials Processing
• /
• v.12 no.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
• /
• v.23 no.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.

• Journal of the Korean Mathematical Society
• /
• v.61 no.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.