• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제19권3호
• /
• pp.297-304
• /
• 2012

There are several types of orders in a Quaternion algebra. Generally, zeta functions defined on orders of a Quaternion algebra give some informations on the ideal theory of orders. In this study, we investigate functional equalities between the zeta functions defined on orders of a Quaternion algebra.

• Journal of applied mathematics & informatics
• /
• 제9권1호
• /
• pp.125-133
• /
• 2002

Recently, Several inequalities Khatri-Rao Products of two four partitioned blocks positive definite real symmetry matrices are established by Liu in[Lin. Alg. Appl. 289(1999): 267-277]. We extend these results in two ways. First, the results are extended to two any partitioned blocks Hermitian matrices. Second, necessary and sufficient conditions under which these inequalities become equalities are presented.

• 한국통신학회논문지
• /
• 제34권7A호
• /
• pp.562-567
• /
• 2009

본 논문에서는 여러 송수신 안테나를 갖는 송신기(source node), 중계기(relay node), 수신기(destination node)로 구성된 두 홉(two-hop) 빔포밍(beamforming) 중계 시스템을 고려한다. 송수신 심벌간 평균제곱오차(mean square error: MSE)를 최소화하는 송수신기 빔포밍 벡터와 중계기 가중치 행렬을 설계한다. 이때, 송신기 또는 중계기에 송신 전력을 줄이기 위하여, 국소(local)부동식전력제약(inequality power constraint)을 사용한다. 제약식이 있는 평균제곱오차 최소화 문제는 라그랑즈(Lagrange) 방법을 써 제약식이 없는 최적화 문제로 바꿀 수 있고, Karush-Kuhn-Tucker (KKT) 조건으로부터 그 해를 얻을 수 있다. 제안한 중계 시스템에 송신기와 중계기 송신전력을 각각 국소부동식으로 제약하여, 그 결과 두 홉에 채널 상태가 다를 경우, 최대 신호대잡음비(signal-to-noise ratio: SNR)를 얻는 기존 방식과 대등한 성능을 내며, 동시에 송신기 또는 중계기 송신 전력을 줄일 수 있다. 이를 모의실험을 통해 확인하였다.

• Journal of applied mathematics & informatics
• /
• 제17권1_2_3호
• /
• pp.315-328
• /
• 2005

In this paper we present a new method for designing a nozzle. In fact the problem is to find the optimal domain for the solution of a linear or nonlinear boundary value PDE, where the boundary condition is defined over an unspecified domain. By an embedding process, the problem is first transformed to a new shape-measure problem, and then this new problem is replaced by another in which we seek to minimize a linear form over a subset of linear equalities. This minimization is global, and the theory allows us to develop a computational method to find the solution by a finite-dimensional linear programming problem.

• Journal of Information Processing Systems
• /
• 제12권2호
• /
• pp.214-225
• /
• 2016

Global value numbering (GVN) is a method for detecting equivalent expressions in programs. Most of the GVN algorithms concentrate on detecting equalities among variables and hence, are limited in their ability to identify value-based redundancies. In this paper, we suggest improvements by which the efficient GVN algorithm by Gulwani and Necula (2007) can be made to detect expression equivalences that are required for identifying value based redundancies. The basic idea for doing so is to use an anticipability-based Join algorithm to compute more precise equivalence information at join points. We provide a proof of correctness of the improved algorithm and show that its running time is a polynomial in the number of expressions in the program.

• 대한수학회보
• /
• 제53권3호
• /
• pp.779-791
• /
• 2016

Transfer of homological properties under base change is a classical field of study. Let $R{\rightarrow}S$ be a ring homomorphism. The relations of Gorenstein projective (or Gorenstein injective) dimensions of unbounded complexes between $U{\otimes}^L_RX$(or $RHom_R(X,U)$) and X are considered, where X is an R-complex and U is an S-complex. In addition, some sufficient conditions are given under which the equalities $G-dim_S(U{\otimes}^L_RX)=G-dim_RX+pd_SU$ and $Gid_S(RHom_R(X,U))=G-dim_RX+id_SU$ hold.

• 제어로봇시스템학회논문지
• /
• 제19권7호
• /
• pp.587-591
• /
• 2013

This paper addresses the robust fault tolerant controller design problems of static output systems with disturbance. The fault is expressed by the abrupt chattering of system parameters. The design conditions are derived in terms of linear matrix inequalities and linear matrix equalities. An illustrative example is provided to verify performances of the proposed controller.

• 대한전기학회논문지:전력기술부문A
• /
• 제52권6호
• /
• pp.347-353
• /
• 2003

In models of imperfect competition of deregulated electricity markets, the key task is to find the Nash equilibrium(NE). The approaches for finding the NE have had two major bottlenecks: computation of mixed strategy equilibrium and treatment of multi-player games. This paper proposes a payoff matrix approach that resolves these bottlenecks. The proposed method can efficiently find a mixed strategy equilibrium in a multi-player game. The formulation of the m condition for a three-player game is introduced and a basic computation scheme of solving nonlinear equalities and checking inequalities is proposed. In order to relieve the inevitable burden of searching the subspace of payoffs, several techniques are adopted in this paper. Two example application problems arising from electricity markets and involving a Cournot and a Bertrand model, respectively, are investigated for verifying the proposed method.

• Journal of applied mathematics & informatics
• /
• 제15권1_2호
• /
• pp.127-146
• /
• 2004

In this paper we consider a heat flow in an inhomogeneous. body without internal source. There exists special initial and boundary conditions in this system and we intend to find a convenient coefficient of heat conduction for this body so that body cool off as much as possible after definite time. We consider this problem in a general form as an optimal control problem which coefficient of heat conduction is optimal function. Then we replace this problem by another in which we seek to minimize a linear form over a subset of the product of two measures space defined by linear equalities. Then we construct an approximately optimal control.

• Journal of applied mathematics & informatics
• /
• 제5권1호
• /
• pp.73-90
• /
• 1998

In this paper we introduce and study a number of new classes of quasi variational inequalities. using essentially the projection technique and its variant forms we prove that the gen-eralized set-valued mixed quasivariational inequalities are equivalent to the fixed point problem and the Wiener-Hopf equations(normal maps). This equivalence enables us to suggest a number of iterative algorithms solving the generalized variational inequalities. As a special case of the generalized set-valued mixed quasi variational in-equalities we obtain a class of quasi variational inequalities studied by Siddiqi Husain and Kazmi [35] but there are several inaccuracies in their formulation of the problem the statement and the proofs of the problem the statement and the proofs of their results. We have removed these inaccuracies. The correct formulation of thir results can be obtained as special cases from our main results.