• Korean Journal of Cognitive Science
• /
• v.1 no.1
• /
• pp.103-127
• /
• 1989

Learning systems by using examples have been developed which include ALEX, LP, and LEX.Specially Silver's LP systems suggerts the method to use a seyuence of operators, which was applied to the worked example, to sove a symbolic equation.This paper presents the new learning system, called LRD, in which generalization and discrimination steps are suggerted to solv all the problems similar to the worked example.The system LRD is illustrated by the problem of finding the ranges of transcendentral functions and compared to LP and LEX by the problems discussed in them.

• Journal of applied mathematics & informatics
• /
• v.27 no.3_4
• /
• pp.933-941
• /
• 2009

In this paper, we consider p-Laplace equation which models the turbulent flow in a porous medium. Using a continuation principle (cf. [R. $Man{\acute{a}}sevich$ and J. Mawhin, Periodic solutions for nonlinear systems with p-Lplacian-like operators, J. Diff. Equa. 145(1998), 367-393]), we prove the existence of solutions for p-Laplace equation subject to periodic boundary conditions, under some sign and growth conditions for f. With the help of Leray-Schauder degree theory, the multiplicity of periodic solutions for p-Laplace equation is obtained under the similar conditions above and some known results are improved.

• Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
• /
• v.14 no.2
• /
• pp.8-17
• /
• 2000

In this work, two approaches were proposed for the recognition of partial discharge patterns. The first approach was neural network with backpropagation algorithm, and the second approach was angle calculation between t재 operator vectors. PD signals were detected using three electrode systems; IEC(b), needle-plane and CIGRE method II electrode system. Both of neural network and angle comparison method showed good recognition performance for the patterns similar to the trained patterns. And the number of operators to be used had a great influence on the recognition performance to the untrained patterns.

• Proceedings of the KSR Conference
• /
• 2009.05a
• /
• pp.1817-1827
• /
• 2009

Although human error is recognized as the primary cause of railway accidents and incidents, there have been limitations in finding the root causes of errors and developing effective corrective actions in the Korean railway industry, due to the absence of a systematic method and lack of professional knowledge and skills of investigators. Therefore, there has been a strong need for a systematic methodology for human error analysis. This paper introduces a methodology for analyzing human error m railway operations, called HEAR (Human Error Analysis and Reduction). HEAR is intended to help analysts identify the sequences and various levels of causes of operators' erroneous actions in railway accidents or incidents and make recommendations to eliminate or reduce the future possibility of similar errors and accidents. It was developed based on a thorough investigation of various techniques for human errors analysis and feedback from field investigators.

• Journal of Navigation and Port Research
• /
• v.33 no.2
• /
• pp.153-159
• /
• 2009

The awareness of the high-value industry for container terminal leads competitiveness of container terminals to keep high fiercely. In regards to competitive factors of container terminal, the most important point among several factors is seemed to be the speed of container loading and unloading on quayside. In container terminals in Korea, the productivity shows big difference even though its condition is similar to each terminal. The objective of this paper is to find the critical factors of container terminal productivity, which is dependant upon the capability, quantity of quay crane, transfer vehicle, and so on. For this purpose, we have researched related literatures, and collected data about container terminals in South Korea. Furthermore, we tested sensitive analysis to evaluate the extent of productivity by changing independent variable. And then we established the regression model to evaluate which factor has had the biggest impact on productivity. The results of this paper can give terminal operators guideline to improve productivity.

• Proceedings of the Korean Association of Geographic Inforamtion Studies Conference
• /
• 2004.10a
• /
• pp.13-18
• /
• 2004

In this study, a new method is proposed generating 3D wire-frames of building using the lowest level topology, points, which are input by human operators. Through the procedure, it is possible to make prediction occlusion points and generate the topology automatically among points, lines, surfaces from buildings. In order to adjust the error of initial values which are input manually, the least squares adjustment for model-image fitting is carried out using the edge information of aerial imagery. And also, model fitting procedure is done making all surfaces plane of buildings by the least squares adjustment. As a result of those procedure, 3D building models are refined similar to real figures of buildings.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.7 no.7
• /
• pp.1556-1562
• /
• 2003

In this paper, a new representations of extended threshold Boolean filter(ETBF), called SA filter, is introduced. The structure of this representations is a one of multistage filters. The first stage is subfilters of nonlinear filters such as maximum, minimum, or exclusive-OR operators. The second stage is linear combination of Int stage outputs. Although the structure of this representations is very similar to SAM filters, SA filters encampass all ETBF not subset of ETBF.

• Nuclear Engineering and Technology
• /
• v.49 no.3
• /
• pp.638-644
• /
• 2017

The importance of developing a source-term assessment technology has been emphasized owing to the decommissioning of Kori nuclear power plant (NPP) Unit 1 and the increase of deteriorated NPPs. We analyzed the behavioral mechanism of corrosion products in the primary system of a pressurized heavy-water reactor-type NPP. In addition, to check the possibility of applying the CRUDTRAN code to a Canadian Deuterium Uranium Reactor (CANDU)-type NPP, the type was assessed using collected domestic onsite data. With the assessment results, it was possible to predict trends according to operating cycles. Values estimated using the code were similar to the measured values. The results of this study are expected to be used to manage the radiation exposures of operators in high-radiation areas and to predict decommissioning processes in the primary system.

• Journal of applied mathematics & informatics
• /
• v.39 no.5_6
• /
• pp.769-783
• /
• 2021

Demirci ((1999) Vague groups. J. Math. Anal. Appl. 230, 142-156) introduced the concept of vague groups as one of uncertain reasoning structures where indistinguishable operators separate points. In this paper, we consider vague groups in which an indistinguishable operator does not need to separate points because it seems more appropriate to handle ambiguous situations. For our purposes we generalize or redefine some notions such as: vague closed subset, vague subgroup, vague kernel and vague injectiveness. Consequently we generalize most of the known results and obtain some new additional fundamental properties of vague groups, some of which are similar to ones of ordinary groups.

• Bulletin of the Korean Mathematical Society
• /
• v.60 no.2
• /
• pp.461-473
• /
• 2023

Let f be a nonconstant meromorphic function of hyper-order strictly less than 1, and let c ∈ ℂ \ {0} such that f(z + c) ≢ f(z). We prove that if f and its exact difference ∆_cf(z) = f(z + c) - f(z) share partially 0, ∞ CM and share 1 IM, then ∆_cf = f, where all 1-points with multiplicities more than 2 do not need to be counted. Some similar uniqueness results for such meromorphic functions partially sharing targets with weight and their shifts are also given. Our results generalize and improve the recent important results.