• 한국정보과학회논문지:소프트웨어및응용
• /
• 제32권12호
• /
• pp.1283-1291
• /
• 2005

Just-in-Time 컴파일러를 이용하여 자바의 성능을 향상시키려면 여러 문제들을 극복하여야 한다. 이 문제 중 중요한 부분을 차지하는 것이 배열경계 검사(Array bounds check) 명령어를 어떻게 최적화하느냐는 것이다 정적인 컴파일 환경의 경우에는 이미 많은 연구가 진행되어 매우 강력한 성능을 가지는 알고리즘이 알려져 있으나 컴파일 시간이 수행시간의 일부인 Just-in-Time 컴파일 환경에 이를 적용하기에는 컴파일에 시간을 너무 많이들이는 결과를 낳아 적절하지 않다. 현재 Just-in-Time 컴파일러들은 가볍고 단순한 반면에 중복된 배열 경계 검사를 찾아내는 능력이 다소 부족한 알고리즘을 사용하거나 아니면 강력하지만 정적 단일 배정(Static Single Assignment) 형태로 명령어 표현 방식을 변환해 주어야만 하는 알고리즘을 사용하고 있다. 정적 단일 배정 형태로의 변환 및 되돌림은 가볍고 빠른 컴파일러를 지향하는 Just-in-Time 컴파일러에 부합되지 않는다. 본 논문은 변수 간의 대소관계를 표현하는 그래프를 배열 경계 검사 알고리즘에 적용하는 것을 통해 충분한 성능을 내면서도 정적 단일 배정 형태로의 변환을 필요로 하지 않는 알고리즘을 제안한다. Java에서의 모든 최적화는 Java 언어 명세에서 강제하고 있는 정확한 예외 처리(precise exception) 규칙을 따라야 한다. 명령어의 위치를 바꿈으로써 성능 향상을 꾀하는 최적화의 경우 이것으로 인해 많은 제약을 받게 되는데, 배열 경계 검사 최적화(Array bounds check elimination optimization) 또한 이 규칙에 의해 많은 최적화 기회를 잃는다. 우리는 이 제약을 극복하여 배열 경계 검사최적화의 적용 범위를 넓힐 수 있는 새로운 방법도 아울러 제안하고자 한다.

• 대한수학회지
• /
• 제45권1호
• /
• pp.121-136
• /
• 2008

Some new explicit bounds on the solutions to a class of new nonlinear retarded Volterra-Fredholm type integral inequalities in two independent variables are established, which can be used as effective tools in the study of certain integral equations. Some examples of application are also indicated.

• 대한수학회보
• /
• 제49권1호
• /
• pp.33-47
• /
• 2012

In this paper, the log-convexity of another class one-parameter mean is investigated. As applications, some new upper and lower bounds of logarithmic mean, new estimations for identric mean and new inequalities for power-exponential mean and exponential-geometric mean are first given.

• 한국항행학회논문지
• /
• 제27권6호
• /
• pp.871-876
• /
• 2023

본 논문에서는 시변 지연 시간이 있는 선형 이산 시변 구간 시스템에 두 가지의 불확실성이 동시에 존재하는 경우에 대하여 안정조건을 다룬다. 구간 시스템은 시스템 행렬들이 구간행렬의 형태로 주어지는 시스템으로 본 논문에서는 이러한 구간 시스템 행렬과 상태변수의 지연 시간이 시변인 특성을 갖는 시스템을 대상으로 한다. 비선형성을 포함하며 그 크기만을 알 수 있는 비구조화된 불확실성과 지연상태변수의 시스템 행렬 불확실성이 동시에 존재하는 경우의 시스템 안정조건을 제안한다. 두가지 종류의 불확실성에 대하여 안정 유지 가능한 크기를 해석적인 수식으로 유도한다. 제안된 안정조건과 안정 보장 크기는 기존의 다양한 선형 이산 시스템에 대한 안정 조건들을 포함할 수 있으며, 시변 지연시간 변동 크기, 불확실성의 크기들과 구간행렬의 범위 등의 값을 모두 조건식에 포함하게 된다. 새로운 안정범위는 수치예제를 통하여 이전의 결과와 비교하며 효용성과 우수성을 검증한다.

• 대한수학회보
• /
• 제38권4호
• /
• pp.797-801
• /
• 2001

The purpose of this paper is to give an upper bound for A[n,4], the maximum number of codewords in a binary code of word length n with minimum distance 4 between codewords. We have improved upper bound for A[12k+11,4]. In this correspondence we prove $A[23,4]\leq173716$.

• Kyungpook Mathematical Journal
• /
• 제43권4호
• /
• pp.579-585
• /
• 2003

A new class of univalent functions is defined by making use of the Ruscheweyh derivatives. We provide necessary and sufficient coefficient conditions, extreme points, integral representations, distortion bounds, and radius of starlikeness and convexity for this class.

• Journal of applied mathematics & informatics
• /
• 제32권5_6호
• /
• pp.635-647
• /
• 2014

In this paper, a generalized perturbed midpoint rule is established. Various error bounds for this generalization are also obtained.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2010년도 한국컴퓨터종합학술대회논문집 Vol.37 No.1(A)
• /
• pp.218-219
• /
• 2010

• 대한수학회보
• /
• 제48권1호
• /
• pp.95-104
• /
• 2011

We improve some inequalities of Ostrowski-like type and further generalize them.

• 대한수학회논문집
• /
• 제38권2호
• /
• pp.461-468
• /
• 2023

This paper attempts to investigate a new subfamily 𝓢𝓣_𝜗,𝜎 (𝛼, 𝛽, 𝛾, 𝜇) of spirallike functions endowed with Mittag-Leffler and Wright functions. The paper further investigates sharp coefficient bounds for functions that belong to this class.