• 경영과학
• /
• 제12권1호
• /
• pp.139-156
• /
• 1995

This study addresses basic requirements for mathematical programming software, discusses considerations in designing these software, implementation issues facing in these types of applications development, and shows some examples of codes being developed in the course. This type of projects requires long and ever-changing evolutionary phases. The experience is therefore, valuaable in suggesting some useful hints which may be salvaged for similar projects as well as providing reusable codes. In particular, scanning and parsing the free-format inputs, symbol table management, mixed-language programming, and data structures dealing with large sparse matrices are indispensable to many management science software development. Extensions to be made are also discussed.

• 대한수학회보
• /
• 제55권2호
• /
• pp.469-478
• /
• 2018

We prove some uniqueness theorems of nonconstant meromorphic functions partially sharing values with their shifts. As an application, we obtain a sufficient condition on periodic meromorphic functions. Moreover, some examples are given to illustrate that the conditions are sharp and necessary.

• Korean Journal of Mathematics
• /
• 제25권1호
• /
• pp.61-70
• /
• 2017

In this paper, we introduce the concept of statistically sequentially quotient map which is a generalization of sequence covering map and discuss the relation with covering maps by some examples. Using this concept, we give an affirmative answer for a question by Fucai Lin and Shou Lin.

• 대한수학회지
• /
• 제49권2호
• /
• pp.235-249
• /
• 2012

In the paper by Liu and Lin (Statist. Probab. Lett. 76 (2006), no. 16, 1787-1799), a new kind of precise asymptotics in the law of large numbers for the sequence of i.i.d. random variables, which includes complete convergence as a special case, was studied. This paper is devoted to the study of this new kind of precise asymptotics in the law of large numbers for moving average process under $\phi$-mixing assumption and some results of Liu and Lin [6] are extended to such moving average process.

• Kyungpook Mathematical Journal
• /
• 제54권3호
• /
• pp.349-363
• /
• 2014

In this paper, we shall utilize Nevanlinna value distribution theory to study the uniqueness problems on entire functions and differential polynomials sharing one value. Our theorems improve or generalize some results of Zhang and Lin, Chen, Zhang, Lin and Chen.

• 한국정보디스플레이학회:학술대회논문집
• /
• 한국정보디스플레이학회 2005년도 International Meeting on Information Displayvol.I
• /
• pp.314-316
• /
• 2005

Light flicker is a notorious phenomenon influencing light quality. The flicker of the light flux outputs from the light sources perceived by human eyes depends upon the lamp brightness fluctuations for projector display. This paper describes a ballast ignition control system, which makes the lamp strike frequency phase lock the blanking time period to minimize the flicker effect

• 한국정보디스플레이학회:학술대회논문집
• /
• 한국정보디스플레이학회 2009년도 9th International Meeting on Information Display
• /
• pp.17-19
• /
• 2009

The voltage and frequency dependence of voltage holding ratio (VHR) in a homogeneously-aligned liquid-crystal (LC) cell is studied in this paper. The discharge curves with different scan frequencies are obtained and the saturation phenomenon of VHR is observed under specific amplitudes of driving voltage. Our results suggest a reasonable concept to improve the VHR in LC displays without increasing the frame rate.

• 한국자기학회:학술대회 개요집
• /
• 한국자기학회 2008년도 Asian Magnetics Conference
• /
• pp.288.1-288.1
• /
• 2008

• 한국자기학회:학술대회 개요집
• /
• 한국자기학회 2008년도 Asian Magnetics Conference
• /
• pp.87.1-87.1
• /
• 2008

• 대한수학회보
• /
• 제59권3호
• /
• pp.745-756
• /
• 2022

We study a nonlinear wave equation on finite connected weighted graphs. Using Rothe's and energy methods, we prove the existence and uniqueness of solution under certain assumption. For linear wave equation on graphs, Lin and Xie [10] obtained the existence and uniqueness of solution. The main novelty of this paper is that the wave equation we considered has the nonlinear damping term |u_t|^p-1·u_t (p > 1).