• International Journal of Fuzzy Logic and Intelligent Systems
• /
• 제10권4호
• /
• pp.296-302
• /
• 2010

This paper considers fuzzifying topologies, a special case of I-fuzzy topologies (bifuzzy topologies) introduced by Ying [16, (I)]. It investigates topological notions defined by means of regular open sets when these are planted into the frame-work of Ying's fuzzifying topological spaces (in ${\L}$ukasiewwicz fuzzy logic). The concept of fuzzifying nearly compact spaces is introduced and some of its properties are obtained. We use the finite intersection property to give a characterization of fuzzifying nearly compact spaces. Furthermore, we study the image of fuzzifying nearly compact spaces under fuzzifying completely continuous functions, fuzzifying almost continuity and fuzzifying R-map.

• International Journal of Naval Architecture and Ocean Engineering
• /
• 제8권3호
• /
• pp.277-300
• /
• 2016

The motion of a floating body and the free surface flow are the most important design considerations for ships and offshore platforms. In the present research, a numerical method is developed to simulate the motion of a floating body and the free surface using a fixed rectilinear grid system. The governing equations are the continuity equation and Naviere-Stokes equations. The boundary of a moving body is defined by the interaction points of the body surface and the centerline of a grid. To simulate the free surface the Modified Marker-Density method is implemented. Ships advancing in regular waves, the interaction of waves by a fixed circular cylinder array and the response amplitude operators of an offshore platform are simulated and the results are compared with published research data to check the applicability. The numerical method developed in this research gives results good enough for application to the initial design stage.

• International Journal of Naval Architecture and Ocean Engineering
• /
• 제7권3호
• /
• pp.610-625
• /
• 2015

In this paper the wave run-up around a circular column in regular waves is numerically calculated to investigate the applicability of the Modified Marker-Density (MMD) method to prediction of wave run-up around an offshore platform. The MMD method is one of the methods to define the highly nonlinear free surface. The governing equations are the Navier-Stokes equations and the continuity equation which are computed in Cartesian grid system. To validate incident waves generated by numerical simulation, those are compared with the solutions of the Stokes $5^{th}$ order wave theory. The wave run-up simulations are performed varying the steepness and period of incident waves as referred experimental data. The numerical results are compared to the experimental data and the results show good agreements.

• 대한수학회보
• /
• 제36권4호
• /
• pp.737-746
• /
• 1999

For a locally compact Abelian group G, and a commutative Banach algebra B, let $L^1$(G, B) be the Banach algebra of all Bochner integrable functions. We show that if G is noncompact and B is a semiprime Banach algebras in which every minimal prime ideal is cnotained in a regular maximal ideal, then $L^1$(G, B) contains no nontrivial separating idal. As a consequence we deduce some automatic continuity results for $L^1$(G, B).

• 대한수학회논문집
• /
• 제21권3호
• /
• pp.419-428
• /
• 2006

The Berezin transform is the analogue of the Poisson transform in the Bergman spaces. Dyakonov characterize the holomorphic weighted Lipschitz function in the unit disk in terms of the Possion integral. In this paper, we characterize the harmonic weighted Lispchitz function in terms of the Berezin transform instead of the Poisson integral.

• 대한수학회지
• /
• 제52권1호
• /
• pp.43-65
• /
• 2015

We present a new convergence analysis of popular Broyden's method in the Banach/Hilbert space setting which is applicable to non-smooth operators. Moreover, we do not assume a priori solvability of the equation under consideration. Nevertheless, without these simplifying assumptions our convergence theorem implies existence of a solution and superlinear convergence of Broyden's iterations. To demonstrate practical merits of Broyden's method, we use it for numerical solution of three nontrivial infinite-dimensional problems.

• 한국지능시스템학회논문지
• /
• 제21권4호
• /
• pp.525-529
• /
• 2011

IVF almost ${\alpha}$-연속성의 개념을 소개하고 그 함수의 특성을 조사한다. 그리고 다른 IVF 연속함수와의 관계를 밝힌다.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제3권1호
• /
• pp.53-58
• /
• 1996

In 1981, R . Badard introduced the notion of fuzzy pretopological spaces and their representation[1]. And in 1992, R. Badard, et al. introduced the L-fuzzy pretopological spaces and studied properties of continuity, open map, closed map, and homeomorphism in L-fuzzy pretopological spaces. In this paper we introduce and study the concepts of almost continuous functions and weakly pre-continuous functions on L-fpts's.(omitted)

• 지능정보연구
• /
• 제21권2호
• /
• pp.191-204
• /
• 2015

국내 소프트웨어(SW) 개발인력의 미충원율은 매우 높으며, 특히 2년 이상의 현장경력이 있는 고급 개발자의 부족문제는 심각하다. 최근 정부도 이를 인식하고, 정책적으로 SW개발 신규인력 양성에 힘을 기울이고 있다. 그러나, 이러한 노력은 초급개발자의 수급문제를 해결하는데 효과적일 수 있지만, 업계에서 요구하는 고급 개발자의 부족현상을 해결하는 근본적인 대책으로 인식되지는 못하고 있다. SW 전문개발자를 양성하기 위해서는 초급개발자들이 지속적으로 직무를 수행하여 풍부한 업무경험을 갖춘 고급 개발자로 성장해야 하기 때문이다. 이에, 본 연구는 국내 SW업체에서 근무하고 있는 개발관련 인력들의 업무 지속수행 의도를 조사하고, 이에 영향을 주는 주요요인들을 분석하였다. 이를 위해, 2014년 9월부터 10월까지 국내 SW업체에 근무하고 있는 현직 개발자 총 130명을 대상으로 설문조사를 수행하였으며, 이를 기반으로 SW개발업무 지속수행의도 및 이에 영향을 주는 요인들을 개발자의 특성, 직무환경, 그리고 SW개발자에 대한 사회적 인식 및 산업전망 등의 측면에서 분석하였다. 분석에는 데이터마이닝 기법들 중에서, 분석과정에서의 설명능력이 있는 회귀분석과 의사결정나무가 사용되었다. 회귀분석 결과, SW개발자가 스스로 인식하는 근무 가능한 연령이 높을수록, 내성적인 성향을 가질수록, 또한 적성에 맞아서 직무를 선택한 경우, 지속적 직무 수행 의도가 높은 것으로 나타났다. 이와 더불어, 선형회귀분석에서는 유의하지 않았으나, 규칙기반의 의사결정나무 분석에서 파악된 추가적 요인으로, 새로운 기술에 대한 학습능력 및 SW산업에 대한 전망이 직무 지속수행의도에 영향을 미치는 것으로 나타났다. 이러한 연구결과는 기업의 인적자원관리 및 고급 SW인력 양성정책에 활용될 수 있을 것으로 생각되며, 궁극적으로 SW개발인력의 직무 지속성을 증진시키는 데 기여할 수 있을 것으로 기대된다.

• Advances in aircraft and spacecraft science
• /
• 제1권2호
• /
• pp.125-143
• /
• 2014

This paper provides a new technique for solving the static analysis of arbitrarily shaped composite plates by using Strong Formulation Finite Element Method (SFEM). Several papers in literature by the authors have presented the proposed technique as an extension of the classic Generalized Differential Quadrature (GDQ) procedure. The present methodology joins the high accuracy of the strong formulation with the versatility of the well-known Finite Element Method (FEM). The continuity conditions among the elements is carried out by the compatibility or continuity conditions. The mapping technique is used to transform both the governing differential equations and the compatibility conditions between two adjacent sub-domains into the regular master element in the computational space. The numerical implementation of the global algebraic system obtained by the technique at issue is easy and straightforward. The main novelty of this paper is the application of the stress and strain recovery once the displacement parameters are evaluated. Computer investigations concerning a large number of composite plates have been carried out. SFEM results are compared with those presented in literature and a perfect agreement is observed.