• Honam Mathematical Journal
• /
• v.1 no.1
• /
• pp.1-9
• /
• 1979

Positive Local Coordmate($(x^1,x^2,{\cdots}x^n)$)을 갖는 Oriented Manifold M을 생각한다. M이 Compact Carrier를 갖는 경우, M위의 n차(次) Differential Form ${\phi}^{(n)}$의 적분(積分)을 $${\int}{\phi}^{(n)}=\sum_{\alpha}{\int}_{-{\infty}}^{\infty}{\cdots}{\int}_{-{\infty}}^{\infty}f_{\alpha}{\phi}^{(n)}dx^1{\cdots}dx^n$$로 정의(定義)하며 (정의(定義) 7), M위의 p 차(次)의 Differential form $\beta^{(p)}$와 Differential simplex $S^{(p)}=(S^{(p)},\;{\pi},\;{\varepsilon})$에 대하여 $S^{(p)}$위의 $\beta^{(p)}$의 적분(積分)을 $${\int}_{^{(p)}S}{\beta}^{(p)}={\int}_{S^{(p)}}{\varepsilon}{\pi}^*{\beta}^{(p)}={\int}_{E^p}f{\cdot}{\varepsilon}{\cdot}{\pi}^*{\beta}^{(p)}$$로 정의(定義)한다 (정의(定義) 9). 단(但) $\bar{S}^{(p)}$는 $S^{(p)}=(p_0{\cdot}p_1{\cdots}p_p)$에 의(依)하여 Spanning 되는 $E^p$의 Subspace이고 f는 $\bar{S}^{(p)}$의 특성함수(特性函數)이다. 이때 (n-1)차(次)의 Differential Form ${\beta}^{(n-1)}$이 Compart인 Carrier를 가지면 ${\int}d{\beta}^{(n-1)}=0$이 됨을 고찰(考察)하며(정리(定理 8), (p-1)차(次) Differential Form ${\beta}^{(p-1)$과 p차(次) Differential Chain $C^{(p)}$에 관(關)하여 $${\int}_{C^{(p)}}d{\beta}^{(p-1)}={\int}_{{\partial}C^{(p)}}{\beta}^{(p-1)}$$이 성립(成立)함을 구명(究明)하려 한다(정리(定理) 10).

• Proceedings of the KIEE Conference
• /
• 2007.07a
• /
• pp.848-849
• /
• 2007

This paper presents an efficient approach for solving the economic dispatch (ED) problems with valve-point effects using differential evolution (DE). A DE, one of the evolutionary algorithms (EAs), is a novel optimization method capable of handling nonlinear, non-differentiable, and nonconvex functions. And an efficient constraints treatment method (CTM) is applied to handle the equality and inequality constraints. The resultant DE-CTM algorithm is very effective in solving the ED problems with nonconvex cost functions. To verify the superiority of the proposed method, a sample ED problem with valve-point effects is tested and its results are compared with those of previous works. The simulation results clearly show that the proposed DE-CTM algorithm outperforms other state-of-the-art algorithms in solving ED problems with valve-point effects

• Journal of the Korean Mathematical Society
• /
• v.58 no.6
• /
• pp.1327-1345
• /
• 2021

In this paper, we are concerned with a Liouville-type result of the nonlinear integral equation of Chern-Simons-Higgs type $$u(x)=\vec{\;l\;}+C_{\ast}{{\displaystyle\smashmargin{2}{\int\nolimits_{\mathbb{R}^n}}}\;{\frac{(1-{\mid}u(y){\mid}^2){\mid}u(y){\mid}^2u(y)-\frac{1}{2}(1-{\mid}u(y){\mid}^2)^2u(y)}{{\mid}x-y{\mid}^{n-{\alpha}}}}dy.$$ Here u : ℝⁿ → ℝ^k is a bounded, uniformly continuous function with k ⩾ 1 and 0 < α < n, $\vec{\;l\;}{\in}\mathbb{R}^k$ is a constant vector, and C_* is a real constant. We prove that ${\mid}\vec{\;l\;}{\mid}{\in}\{0,\frac{\sqrt{3}}{3},1\}$ if u is the finite energy solution. Further, if u is also a differentiable solution, then we give a Liouville type theorem, that is either $u{\rightarrow}\vec{\;l\;}$ with ${\mid}\vec{\;l\;}{\mid}=\frac{\sqrt{3}}{3}$, when |x| → ∞, or $u{\equiv}\vec{\;l\;}$, where ${\mid}\vec{\;l\;}{\mid}{\in}\{0,1\}$.

• The Journal of the Korea Contents Association
• /
• v.8 no.12
• /
• pp.160-167
• /
• 2008

Animations consist of the created artificial images. To interpret of the meaning from analyzing the style of main images is an important element in understanding of animations. Therefore, to analyze images expressed in works of Miyazaki-hayao, this study substitutes the concept of 'hybridity' for images of characters, backgrounds, and mechanics created by him and explores how they are expressed, how they produce symbolic meanings and functions. It is confirmed that main images in selected works as a scope of research have hybridity of images between 'past, present, and future', 'eastern elements and western elements', 'real and virtual', 'human beings and animal' in narrative. From these results, it is concluded that because of hybridity between images, he can present fresh pleasures to spectators, simultaneously communicate thoughtful messages above mere enjoyment, which is a differentiable point with works of other directors.

• 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.