• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.10 no.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
• /
• v.8 no.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
• /
• v.7 no.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.

• Bulletin of the Korean Mathematical Society
• /
• v.36 no.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).

• Communications of the Korean Mathematical Society
• /
• v.21 no.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.

• Journal of the Korean Mathematical Society
• /
• v.52 no.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.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.21 no.4
• /
• pp.525-529
• /
• 2011

We introduce the concept of IVF almost ${\alpha}$-continuity and investigate characterizations for such mappings on the interval-valued fuzzy topological spaces. We study the relationships between IVF almost ${\alpha}$-continuous mappings and another types of IVF continuous mappings.

• The Pure and Applied Mathematics
• /
• v.3 no.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)

• Journal of Intelligence and Information Systems
• /
• v.21 no.2
• /
• pp.191-204
• /
• 2015

According to the '2013 Performance Assessment Report on the Financial Program' from the National Assembly Budget Office, the unfilled recruitment ratio of Software(SW) Developers in South Korea was 25% in the 2012 fiscal year. Moreover, the unfilled recruitment ratio of highly-qualified SW developers reaches almost 80%. This phenomenon is intensified in small and medium enterprises consisting of less than 300 employees. Young job-seekers in South Korea are increasingly avoiding becoming a SW developer and even the current SW developers want to change careers, which hinders the national development of IT industries. The Korean government has recently realized the problem and implemented policies to foster young SW developers. Due to this effort, it has become easier to find young SW developers at the beginning-level. However, it is still hard to recruit highly-qualified SW developers for many IT companies. This is because in order to become a SW developing expert, having a long term experiences are important. Thus, improving job continuity intentions of current SW developers is more important than fostering new SW developers. Therefore, this study surveyed the job continuity intentions of SW developers and analyzed the factors associated with them. As a method, we carried out a survey from September 2014 to October 2014, which was targeted on 130 SW developers who were working in IT industries in South Korea. We gathered the demographic information and characteristics of the respondents, work environments of a SW industry, and social positions for SW developers. Afterward, a regression analysis and a decision tree method were performed to analyze the data. These two methods are widely used data mining techniques, which have explanation ability and are mutually complementary. We first performed a linear regression method to find the important factors assaociated with a job continuity intension of SW developers. The result showed that an 'expected age' to work as a SW developer were the most significant factor associated with the job continuity intention. We supposed that the major cause of this phenomenon is the structural problem of IT industries in South Korea, which requires SW developers to change the work field from developing area to management as they are promoted. Also, a 'motivation' to become a SW developer and a 'personality (introverted tendency)' of a SW developer are highly importantly factors associated with the job continuity intention. Next, the decision tree method was performed to extract the characteristics of highly motivated developers and the low motivated ones. We used well-known C4.5 algorithm for decision tree analysis. The results showed that 'motivation', 'personality', and 'expected age' were also important factors influencing the job continuity intentions, which was similar to the results of the regression analysis. In addition to that, the 'ability to learn' new technology was a crucial factor for the decision rules of job continuity. In other words, a person with high ability to learn new technology tends to work as a SW developer for a longer period of time. The decision rule also showed that a 'social position' of SW developers and a 'prospect' of SW industry were minor factors influencing job continuity intensions. On the other hand, 'type of an employment (regular position/ non-regular position)' and 'type of company (ordering company/ service providing company)' did not affect the job continuity intension in both methods. In this research, we demonstrated the job continuity intentions of SW developers, who were actually working at IT companies in South Korea, and we analyzed the factors associated with them. These results can be used for human resource management in many IT companies when recruiting or fostering highly-qualified SW experts. It can also help to build SW developer fostering policy and to solve the problem of unfilled recruitment of SW Developers in South Korea.

• Advances in aircraft and spacecraft science
• /
• v.1 no.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.