• 논리연구
• /
• 제8권2호
• /
• pp.85-107
• /
• 2005

Kleene first investigated a three-valued system which follows the evaluations of the Lukasiewicz infinite-valued logic ${\L}C$ with respect to negation, conjunction, and disjunction, and treats $\rightarrow$ as material-like implication in the sense that A $\rightarrow$ B is defined as ${\sim}A{\vee}B$ in its evaluation. Diense and Rescher extended it to many-valued logic and infinite-valued logic, respectively. This paper investigates a variant of the infinite-valued Kleene-Diense logic KD, which we shall call strong Kleene-Diense logic (sKD): sKD has the same evaluations as KD except that sKD takes a variant of Kleene-Diense implication. Following the idea of Dunn [2], we provide algebraic completeness for sKD together with its deduction theorem.

• 한국전산구조공학회:학술대회논문집
• /
• 한국전산구조공학회 2007년도 정기 학술대회 논문집
• /
• pp.259-264
• /
• 2007

In this paper, to analyze the initial valued non-homogeneous elastic half space by the scaled boundary analysis, the infinite element approach was introduced. The free surface of the initial valued non-homogeneous elastic half space was mode1ed as a circumferential direction of boundary scaled boundary coordinate. The infinite element was used to represent the infinite length of the free surface. The initial value of material property(elastic modulus) was considered by the combination of the position of the sealing center and the power function of the radial direction. By use of the mapping type infinite element, the consistent e1ements formulation could be available. The performance and the feasibility of proposed approach are examined by two numerical examples.

• 대한수학회보
• /
• 제44권4호
• /
• pp.807-816
• /
• 2007

For the stochastic differential inclusion on infinite dimensional space of the form $dX_t{\in}\sigma(X_t)dW_t+b(X_t)dt$, where ${\sigma}$, b are set-valued maps, W is an infinite dimensional Hilbert space valued Q-Wiener process, we prove the boundedness and continuity of solutions under the assumption that ${\sigma}$ and b are closed convex set-valued satisfying the Lipschitz property using approximation.

• 한국전산구조공학회논문집
• /
• 제21권2호
• /
• pp.199-208
• /
• 2008

본 논문에서는 초기값을 갖는 비동질 반무한 평면문제를 비례경계유한요소법으로 해석하기 위하여 무한요소를 이 해석법에 도입하였다. 초기값을 갖는 반무한 평면의 자유면은 비례경계좌표계의 원주방향의 좌표를 이용하여 모델링하였고 무한요소는 이 자유면이 나타내는 무한한 영역을 모사하기 위해 사용되었다. 반무한 평면의 물성치(탄성계수)에 대한 초기값은 비례중심의 위치와 비례경계좌표계에서의 반지름 멱함수를 이용하여 나타내었다. 사상형 무한요소를 사용하여 일관된 정식화가 가능하였고, 제안된 해석법에 대한 적용성과 성능을 두 수치예제를 통하여 보였다.

• 충청수학회지
• /
• 제32권1호
• /
• pp.139-147
• /
• 2019

In this paper we introduce the AP-Henstock-Stieltjes integral for fuzzy-number-valued functions on infinite interval and investigate some properties.

• Korean Journal of Mathematics
• /
• 제30권3호
• /
• pp.475-489
• /
• 2022

This paper focuses on a robust semi-infinite interval-valued optimization problem with uncertain inequality constraints (RSIIVP). By employing the concept of LU-optimal solution and Extended Mangasarian-Fromovitz Constraint Qualification (EMFCQ), necessary optimality conditions are established for (RSIIVP) and then sufficient optimality conditions for (RSIIVP) are derived, by using the tools of convexity. Moreover, a Wolfe type dual problem for (RSIIVP) is formulated and usual duality results are discussed between the primal (RSIIVP) and its dual (RSIWD) problem. The presented results are demonstrated by non-trivial examples.

• 논리연구
• /
• 제9권2호
• /
• pp.1-30
• /
• 2006

This paper investigates algebraic semantics for some weak Boolean (wB) logics, which may be regarded as left-continuous t-norm based logics (or monoidal t-norm based logics (MTLs)). We investigate as infinite-valued logics each of wB-LC and wB-sKD, and each corresponding first order extension $wB-LC\forall$ and $wB-sKD\forall$. We give algebraic completeness for each of them.

• 대한수학회보
• /
• 제48권4호
• /
• pp.813-838
• /
• 2011

In this paper, we prove sufficient conditions for controllability of second order semi-linear neutral impulsive differential inclusions on unbounded domain with infinite delay in Banach spaces using the theory of strongly continuous Cosine families. We shall rely on a fixed point theorem due to Ma for multi-valued maps. The controllability results in infinite dimensional space has been proved without compactness on the family of Cosine operators.

• Structural Engineering and Mechanics
• /
• 제26권5호
• /
• pp.591-615
• /
• 2007

An improvement is introduced to solve the plane problems of linear elasticity by reciprocal theorem for orthotropic materials. This method gives an integral equation with complex kernels which will be solved numerically. An artificial boundary is defined to eliminate the singularities and also an algorithm is introduced to calculate multi-valued complex functions which belonged to the kernels of the integral equation. The chosen sample problem is a plate, having a circular or elliptical hole, stretched by the forces parallel to one of the principal directions of the material. Results are compatible with the solutions given by Lekhnitskii for an infinite plane. Five different orthotropic materials are considered. Stress distributions have been calculated inside and on the boundary. There is no boundary layer effect. For comparison, some sample problems are also solved by finite element method and to check the accuracy of the presented method, two sample problems are also solved for infinite plate.

• 대한수학회보
• /
• 제34권2호
• /
• pp.295-303
• /
• 1997

Let ${X_k : k = 1, 2, \cdots}$ be a sequence of independent, identically distributed integer-valued random variables with common distribution function F.