• Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
• /
• v.13 no.3
• /
• pp.48-55
• /
• 1999

Ths paper presents an optimization method which determines locations and size of capacitors simultaneously while minimizing power losses and improving voltage profile in radial distribution systems. Especially, the cost function associated with capacitor pla.cerrent is considered as step function due to banks of standard discrete capacities. Genetic algorithms(GA) are used to obtain efficiently the solution of the cost function associated with capacitors which is non-continuous and non-differentiable function. The strings in GA consist of the node nwnber index and size of capacitors to be installed. The length mutation operator, which is able to change the length of strings in each generation, is used. The proposed Jrethod which determines locations and size of capacitors simultaneously can reduce power losses and improve voltage proftle with capacitors of minimum size. Its efficiency is proved through the arolication in radial distribution systems.ystems.

• Journal of KIISE
• /
• v.44 no.4
• /
• pp.399-410
• /
• 2017

We present a system that automatically annotates unverified Web sentences with information from credible sources. The system turns to neural theorem proving for an annotating task for cancer related Wikipedia data (1,486 propositions) with Korean National Cancer Center data (19,304 propositions). By switching the recursive module in a neural theorem prover to a word embedding module, we overcome the fundamental problem of tremendous learning time. Within the identical environment, the original neural theorem prover was estimated to spend 233.9 days of learning time. In contrast, the revised neural theorem prover took only 102.1 minutes of learning time. We demonstrated that a neural theorem prover, which encodes a proposition in a tensor, includes a classic theorem prover for exact match and enables end-to-end differentiable logic for analogous words.

• Proceedings of the Korean Society for Emotion and Sensibility Conference
• /
• 2000.04a
• /
• pp.370-379
• /
• 2000

Autonomic responses were analyzed in 323 college students exposed to visual stimulation with Korean Affective Picture System (KAPS). Cardiac, vascular and electrodermal variables were recorded during 30 sec of viewing affective pictures. The same slides intended to elicit basic emotions (fear, anger, surprise, disgust, sadness, happiness) were presented to subjects in 2 trials with different experimental context. The first time slides were shown without any instructions (passive viewing), while during the second with instruction to exert efforts to magnify experienced emotion induced by pictures (active viewing). The aim of the study was to differentiate autonomic manifestations of emotions elicited by KAPS stimulation and to identify the role of instructed emotional engagement on physiological response profiles. The obtained results demonstrated reproducibility of responses in both trials with different contexts. Pairwise comparison of physiological responses in emotion conditions revealed the most pronounced differentiation for "ear-anger" and "fear-sadness" pairs (in electrodermal and HR variability parameters). "Fear-surprise" pair was also well differentiable. The typical response profile for all emotions included HR acceleration (except happiness and surprise), an increase of electrodermal activity, and a decrease of pulse volume. Higher cardiovascular and electrodermal reactivity to fear observed in this study, e.g., as compared to data with IAPS as stimuli, can be explained by cultural relevance and higher effectiveness of KAPS as stimuli, can be explained by cultural relevance and higher effectiveness of KAPS in producing certain emotions such as fear in Koreans.

• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.33 no.4
• /
• pp.217-224
• /
• 2020

In this study, a framework for optimizing the opening in an outrigger wall is proposed. To solve a constrained bounded optimization problem, an in-house finite element program and SQP algorithm in Python SciPy library are utilized. The openings of the outrigger wall are located according to the strut-tie behavior of the outrigger wall deep beam. A linear interpolation method is used to obtain differentiable continuous functions required for optimization, whereas a database is used for the efficiency of the optimization program. By comparing the result of the two-variable optimization through the moving path of the search algorithm, it is confirmed that the algorithm efficiently determines the optimized result. When the size of each opening is set to individual variables rather than the same width of all openings, the value of the objective function is minimized to obtain better optimization results. It was confirmed that the optimization time can be effectively reduced when using the database in the optimization process.

• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.20 no.4
• /
• pp.493-499
• /
• 2007

The Taylor expansion expresses a differentiable function and its coefficients provide good approximations for the given function and its derivatives. In this study, m-th order Taylor Polynomial is constructed and the coefficients are computed by the Moving Least Squares method. The coefficients are applied to the governing partial differential equation for solid problems including crack problems. The discrete system of difference equations are set up based on the concept of point collocation. The developed method effectively overcomes the shortcomings of the finite difference method which is dependent of the grid structure and has no approximation function, and the Galerkin-based meshfree method which involves time-consuming integration of weak form and differentiation of the shape function and cumbersome treatment of essential boundary.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.31 no.1
• /
• pp.73-82
• /
• 2006

Supply chain management (SCM) has been regarded as one of the most critical issues in the current business environment. Moreover, supply chain partnerships between suppliers and buyers in SCM have had a significant impact on supply chain performance. In this paper, we conduct a quantitative analysis for supplier-buyer's profit sharing and pricing policies based on supply chain partnerships. For this purpose, we assume that a two echelon supply chain with a single supplier and a single buyer is given and the buyer faces deterministic demand which is not only a function of buyer's selling price, but also strictly decreasing, concave, and twice differentiable function. Then we will prove the following. Firstly, without supply chain partnerships, there exist supplier and buyer's selling prices per unit such that their total profits are maximized, under the assumption that buyer's order quantity is exactly equal to the demand buyer faced. Secondly, buyer's selling price per unit which maximizes supply chain's total profit with supply chain partnerships is lower than buyer's selling price per unit which maximizes buyer's total profit without supply chain partnerships. Thirdly, given supplier's selling price per unit. buyer's total profit without supply chain part nerships is greater than that with supply chain partnerships, whereas the opposite case happens for supplier's total profit. Finally, there exists supplier's selling price per unit which makes the maximum total profits for both supplier and buyer with supply chain partnerships greater than those obtained for any given supplier's selling price per unit without supply chain partnerships.

• Journal of the Korea Society for Simulation
• /
• v.21 no.3
• /
• pp.11-16
• /
• 2012

Simulation is the imitation of the operation of a real-world process or system over time. It concerns the study of the operating characteristics of real systems. Typically, a simulation project consists of several steps such as data collection, coding, model verification, model validation, experimental design, output data analysis, and implementation. Among these steps of a simulation study this paper focus on statistical analysis methods of simulation output data. Specially, we explain how to develop confidence interval estimators for mean ${\mu}$ in terminating and non-terminating simulation cases. We, then, explore the estimation techniques for $f({\mu})$, where the function $f({\bullet})$ is a nonlinear that is continuously differentiable in a neighborhood of ${\mu}$ with $f'({\mu}){\neq}0$.

• East Asian mathematical journal
• /
• v.25 no.2
• /
• pp.179-196
• /
• 2009

Let E be a uniformly convex Banach space and K a nonempty closed convex subset which is also a nonexpansive retract of E. For i = 1, 2, 3, let $T_i:K{\rightarrow}E$ be an asymptotically nonexpansive mappings with sequence ${\{k_n^{(i)}\}\subset[1,{\infty})$ such that $\sum_{n-1}^{\infty}(k_n^{(i)}-1)$ < ${\infty},\;k_{n}^{(i)}{\rightarrow}1$, as $n{\rightarrow}\infty$ and F(T)=$\bigcap_{i=3}^3F(T_i){\neq}{\phi}$ (the set of all common xed points of $T_i$, i = 1, 2, 3). Let {$a_n$},{$b_n$} and {$c_n$} are three real sequences in [0, 1] such that $\in{\leq}\;a_n,\;b_n,\;c_n\;{\leq}\;1-\in$ for $n{\in}N$ and some ${\in}{\geq}0$. Starting with arbitrary $x_1{\in}K$, define sequence {$x_n$} by setting {$$x_{n+1}=P((1-a_n)x_n+a_nT_1(PT_1)^{n-1}y_n)$$ $$y_n=P((1-b_n)x_n+a_nT_2(PT_2)^{n-1}z_n)$$ $$z_n=P((1-c_n)x_n+c_nT_3(PT_3)^{n-1}x_n)$$. Assume that one of the following conditions holds: (1) E satises the Opial property, (2) E has Frechet dierentiable norm, (3) $E^*$ has Kedec -Klee property, where $E^*$ is dual of E. Then sequence {$x_n$} converges weakly to some p${\in}$F(T).

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.30 no.4D
• /
• pp.387-393
• /
• 2010

This paper studies static crack growth of asphalt pavement using the extended finite element method (XFEM). To consider nonlinear characteristics of asphalt concrete, a viscoelastic constitutive equation using the Maxwell chain is used. And a linear cohesive crack model is used to regularize the crack. Instead of constructing the viscoelastic constitutive law from the Prony approximation of compliance and retardation time measured experimentally, we use a smooth log-power function which optimally fits experimental data and is infinitely differentiable. The partial moduli of the Maxwell chain from the log-power function make analysis easy because they change more smoothly in a more stable way than the ordinary method such as the least square method. Using the developed method, we can simulates the static crack growth test results satisfactorily.

• Journal of Korean Society of Transportation
• /
• v.25 no.6
• /
• pp.129-140
• /
• 2007

The planning procedure of a transit operation consists of design, operation, and evaluation according to the research characteristics. There are some review studies on the operation and evaluation procedure, but the research on the design procedure has not yet been organized systematically. In this study, the research on transit system design was reviewed and the model structure and its solution method were arranged. The decision variables of the design procedure are network structure, line spacing or position, stop spacing, dispatching headway, and fleet size. In the analytical research on design procedure, system total cost is generally used as the objective function. System total cost is comprised of user cost, which is the sum of user access, waiting, and travel cost, and operating cost. Total cost of the transit system, used as the objective function, has the unique minimum because it is differentiable. There is a certain decision variable that makes the derivative of the objective function equal to zero and the second derivative of the objective function is positive. Therefore the decision variable that makes the first derivative of the objective function zero is the optimum that minimizes the objective function, and each of the cost components of the objective function become the same. This study is expected to help understanding about the research on the design procedure of transit operation planning and to help be a catalyst for relevant research.