• Korean Journal of Mathematics
• /
• v.22 no.3
• /
• pp.529-552
• /
• 2014

As we know, some indices and data are strong influence to the price movement of some assets now, but not to another assets and in future. Thus we define some asset models for several time intervals; intraday, weekly, monthly, and yearly asset models. We define these asset models by using Brownian motion with volatility and Poisson process, and several deterministic functions(index function, twitter data function and big-jump simple function etc). In our asset models, these deterministic functions are the positive or negative levels of auxiliary indices, of analyzed data, and for imminent and extreme state(for example, financial shock or the highest popularity in the market). These functions determined by indices, twitter data and shocking news are a kind of one of speciality of our asset models. For reasonableness of our asset models, we introduce several real data, figurers and tables, and simulations. Perhaps from our asset models, for short-term or long-term investment, we can classify and reference many kinds of usual auxiliary indices, information and data.

• Journal of applied mathematics & informatics
• /
• v.3 no.2
• /
• pp.245-252
• /
• 1996

We described a relationship of the $L_2$ norm of the $L_2$norm of a Bzier curve and l2 norm of its confrol points. The use of Bezier curves finds much application in the general description of curves and surfaces and provided the mathematical basis for many computer graphics system. We define the $L_2$ norm for Bezier curves and find a upper and lower bound for many computer graphics system. We define the $L_2$ norm for Bezier curves and find a upper and lower bound for the $L_2$ norm with respect to the $L_2$ norm for its control points for easy computation.

• Journal of the Korean Society for Aviation and Aeronautics
• /
• v.25 no.3
• /
• pp.143-152
• /
• 2017

The primary purpose of this thesis is to define and discuss the integration of fixed-base operators(FBO) and general aviation terminals(GAT) in Korean aviation practices in order to develop effective management and operational processes needed for Korea's expanding role in the northeast Asian region. The foundation of this research rests on four interconnected strategic points: the Korean government establishing regulations that define general and business aviation, increasing awareness of FBO and GAT, developing standards for effective operations, and optimizing the budget to build necessary infrastructure. There must be an initiative in establishing a guideline of future demand in order for these aforementioned points to take hold and for aviation activities to flourish. Korea will play a more integral role in an emerging market of general and business aviation by adhering to these strategic efforts.

• Proceedings of the KIEE Conference
• /
• 2007.10c
• /
• pp.10-13
• /
• 2007

System requirements (SRs), which describe the technical attributes to be satisfied by a desired system, serve as a fundamental guideline for system development. Standard methods and processes to define SRs are suggested in systems engineering literature. But in practice, we encounter many difficulties in defining and managing SRs since there are few experiences on development of complex systems in accordance with systems engineering processes of development. In this paper, to expanding SRs management experiences in a working-level, we reviewed problems occured in SRs defining process in 'Urban MAGLEV Train Project', and analyzed our activities to adjust and solve the problems.

• Health Policy and Management
• /
• v.9 no.1
• /
• pp.1-29
• /
• 1999

The Government has recently planned to improve the medical insurance drug price systems by removing the drug margin occurring from the difference between the official and purchasing prices, and instead by setting prices through adding drug administration casts calculated to the purchasing costs. In the circumstances, the major policy and implementing issues are how to define the drug administrance cost and how to calculate them. This study attempts to provide for the conceptional and operational definitions and thereby develop a costing model for the cost. The relationship between the current systems of medical services costs and prices were reviewed to define the concept of the costs. The study defined the costs from the narrow and wide prospective of meaning, and three operational definitions were provided. The costing model was developed applying the departmental costing principles. Finally, several prerequisites that have to be considered for the implementation of the definition and the model from the practical viewpoint.

• Communications of the Korean Mathematical Society
• /
• v.19 no.1
• /
• pp.93-111
• /
• 2004

In this paper, we use a generalized Brownian motion process to define a generalized Feynman integral and a generalized Fourier-Feynman transform. We also define the concepts of the multiple Lp analytic generalized Fourier-Feynman transform and the generalized convolution product of functional on function space $C_{a,\;b}[0,\;T]$. We then verify the existence of the multiple $L_{p}$ analytic generalized Fourier-Feynman transform for functional on function space that belong to a Banach algebra $S({L_{a,\;b}}^{2}[0, T])$. Finally we establish some relationships between the multiple $L_{p}$ analytic generalized Fourier-Feynman transform and the generalized convolution product for functionals in $S({L_{a,\;b}}^{2}[0, T])$.

• Journal of the Korean Society of Systems Engineering
• /
• v.5 no.2
• /
• pp.1-9
• /
• 2009

This paper proposes an effective method on the DFILS(Design for Integrated Logistics Support) in ammunition development applying QFD(Quality Function Deployment) method. The goal of this research is to define the Design for ILS approach at the start of the ammunition development and to yield a set of reusable requirements. Based on 000mm High-Explosive(Warship ammunition) development work, a QFD software tool, CUPID, was used to analyze and define the field force's requirements. Additionally, a set of reusable requirements are identified and defined for use during the Design for ILS development phase in the next-generation ammunition development process. These set of requirements that consider both the priority and importance of the VOC(Voice of Customer) will contribute to the early phase of the ammunition development to implement the Design for ILS specialty engineering effort.

• Bulletin of the Korean Mathematical Society
• /
• v.40 no.4
• /
• pp.545-551
• /
• 2003

We define subalgebras ${V_q}^{mZ{\times}nZ}\;of\;V_q\;where\;V_q$ are in the paper [4]. We show that the Lie algebra ${V_q}^{mZ{\times}nZ}$ is simple and maximally abelian decomposing. We may define a Lie algebra is maximally abelian decomposing, if it has a maximally abelian decomposition of it. The F-algebra automorphism group of the Laurent extension of the quantum plane is found in the paper [4], so we find the Lie automorphism group of ${V_q}^{mZ{\times}nZ}$ in this paper.

• Bulletin of the Korean Mathematical Society
• /
• v.48 no.6
• /
• pp.1147-1155
• /
• 2011

In J. Korean Math. Soc, Zhang, Xu and other authors investigated the following problem: what is the structure of finite groups which have many normal subgroups? In this paper, we shall study this question in a more general way. For a finite group G, we define the subgroup $\mathcal{A}(G)$ to be intersection of the normalizers of all non-cyclic subgroups of G. Set $\mathcal{A}_0=1$. Define $\mathcal{A}_{i+1}(G)/\mathcal{A}_i(G)=\mathcal{A}(G/\mathcal{A}_i(G))$ for $i{\geq}1$. By $\mathcal{A}_{\infty}(G)$ denote the terminal term of the ascending series. It is proved that if $G=\mathcal{A}_{\infty}(G)$, then the derived subgroup G' is nilpotent. Furthermore, if all elements of prime order or order 4 of G are in $\mathcal{A}(G)$, then G' is also nilpotent.

• Kyungpook Mathematical Journal
• /
• v.49 no.1
• /
• pp.167-181
• /
• 2009

Based on Ricatti equation $XA^{-1}X=B$ for two (positive invertible) operators A and B which has the geometric mean $A{\sharp}B$ as its solution, we consider a cubic equation $X(A{\sharp}B)^{-1}X(A{\sharp}B)^{-1}X=C$ for A, B and C. The solution X = $(A{\sharp}B){\sharp}_{\frac{1}{3}}C$ is a candidate of the geometric mean of the three operators. However, this solution is not invariant under permutation unlike the geometric mean of two operators. To supply the lack of the property, we adopt a limiting process due to Ando-Li-Mathias. We define reasonable geometric means of k operators for all integers $k{\geq}2$ by induction. For three positive operators, in particular, we define the weighted geometric mean as an extension of that of two operators.