• Korean Journal of Mathematics
• /
• v.20 no.3
• /
• pp.293-305
• /
• 2012

We investigate the properties of modal, necessity, sufficiency and co-sufficiency operators. We show that their operations induce various relations, respectively.

• Journal of applied mathematics & informatics
• /
• v.35 no.5_6
• /
• pp.459-476
• /
• 2017

Interval valued intuitionistic fuzzy sets (IVIFSs) is widely used to model uncertainty, imprecise, incomplete and vague information. In this paper, newly defined modal operators over an extensional generalized interval valued intuitionistic fuzzy sets ($GIVIFS_Bs$) are proposed. Some of the basic properties of the new operators are discussed and few theorems were proved. The actual contribution in this paper is to discuss ten operators on $GIVIFS_Bs$.

• Computers and Concrete
• /
• v.11 no.6
• /
• pp.541-569
• /
• 2013

There is a wide variety of existing Genetic Algorithms (GA) operators and parameters in the literature. However, there is no unique technique that shows the best performance for different classes of optimization problems. Hence, the evaluation of these operators and parameters, which influence the effectiveness of the search process, must be carried out on a problem basis. This paper presents a comparison for the influence of GA operators and parameters on the performance of the damage identification problem using the finite element model updating method (FEMU). The damage is defined as reduction in bending rigidity of the finite elements of a reinforced concrete beam. A certain damage scenario is adopted and identified using different GA operators by minimizing the differences between experimental and analytical modal parameters. In this study, different selection, crossover and mutation operators are compared with each other based on the reliability, accuracy and efficiency criteria. The exploration and exploitation capabilities of different operators are evaluated. Also a comparison is carried out for the parallel and sequential GAs with different population sizes and the effect of the multiple use of some crossover operators is investigated. The results show that the roulettewheel selection technique together with real valued encoding gives the best results. It is also apparent that the Non-uniform Mutation as well as Parent Centric Normal Crossover can be confidently used in the damage identification problem. Nevertheless the parallel GAs increases both computation speed and the efficiency of the method.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2001.12a
• /
• pp.225-228
• /
• 2001

DNA computing has been applied to the problem of getting an optimal solution since Adleman's experiment. DNA computing uses strings with various length and four-type bases that makes more useful for finding a global optimal solutions of the complex multi-modal problems. This paper presents DNA coding method for finding optimal solution of the multi-modal function and compares the efficiency of this method with the genetic algorithms (GA). GA searches effectively an optimal solution via the artificial evolution of individual group of binary string and DNA coding method uses a tool of calculation or Information store with DNA molecules and four-type bases denoted by the symbols of A(Ademine), C(Cytosine), G(Guanine) and T(Thymine). The same operators, selection, crossover, mutation, are applied to the both DNA coding algorithm and genetic algorithms. The results show that the DNA based algorithm performs better than GA.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.14 no.3
• /
• pp.1167-1187
• /
• 2020

With the development of medical imaging technology, image registration has been widely used in the field of disease diagnosis. The registration between different modal images of brain magnetic resonance (MR) is particularly important for the diagnosis of brain diseases. However, previous registration methods don't take advantage of the prior knowledge of bilateral brain symmetry. Moreover, the difference in gray scale information of different modal images increases the difficulty of registration. In this paper, a multimodal medical image registration method based on image segmentation and symmetric self-similarity is proposed. This method uses modal independent self-similar information and modal consistency information to register images. More particularly, we propose two novel symmetric self-similarity constraint operators to constrain the segmented medical images and convert each modal medical image into a unified modal for multimodal image registration. The experimental results show that the proposed method can effectively reduce the error rate of brain MR multimodal medical image registration with rotation and translation transformations (average 0.43mm and 0.60mm) respectively, whose accuracy is better compared to state-of-the-art image registration methods.

• Journal of the Korean Society for Railway
• /
• v.12 no.5
• /
• pp.751-760
• /
• 2009

The purpose of this study is to search how to improvement mathods of rail freight by understanding the problems and the evasion reasons in coping with various case of logistics environment and to enhance competitiveness of rail freight. So we examined improvement of in the productivity in the rail container possibility for Modal shift in Korea railway, we have done a survey among the shiffer and multimodal transport operators in Korea. Data were analyzed using quantitiative mathod.

• Proceedings of the KSR Conference
• /
• 2009.05a
• /
• pp.1728-1747
• /
• 2009

The purpose of this study is to search how to improvement methods of rail freight by understanding the problems and the evasion reasons in coping with various case of logistics environment and to enhance competitiveness of rail freight. So we examined improvement of in the productivity in the rail container transport, and possibility for Modal shift in Korea railway, we have done a survey among the shiffer and multimodal transport operators in Korea. Data were analyzed using quantitative method.

• Structural Engineering and Mechanics
• /
• v.39 no.5
• /
• pp.669-682
• /
• 2011

A Chebyshev spectral method (CSM) for the dynamic analysis of non-uniform Timoshenko beams under various boundary conditions and concentrated masses at their ends is proposed. The matrix-based Chebyshev spectral approach was used to construct the spectral differentiation matrix of the governing differential operator and its boundary conditions. A matrix condensation approach is crucially presented to impose boundary conditions involving the homogeneous Cauchy conditions and boundary conditions containing eigenvalues. By taking advantage of the standard powerful algorithms for solving matrix eigenvalue and generalized eigenvalue problems that are embodied in the MATLAB commands, chebfun and eigs, the modal parameters of non-uniform Timoshenko beams under various boundary conditions can be obtained from the eigensolutions of the corresponding linear differential operators. Some numerical examples are presented to compare the results herein with those obtained elsewhere, and to illustrate the accuracy and effectiveness of this method.

• Wind and Structures
• /
• v.6 no.6
• /
• pp.437-450
• /
• 2003

In this paper, the structural random response due to the turbulent boundary layer excitation is investigated. Using the mode shapes and natural frequencies of an undamped structural operator, a fully analytical model has been assembled. The auto and cross-spectral densities of kinematic quantities are so determined through exact analytical expansions. In order to reduce the computational costs associated with the needed number of modes, it has been tested an innovative methodology based on a scaling procedure. In fact, by using a reduced spatial domain and defining accordingly an augmented artificial damping, it is possible to get the same energy response with reduced computational costs. The item to be checked was the power spectral density of the displacement response for a flexural simply supported beam; the very simple structure was selected just to highlight the main characteristics of the technique. In principle, it can be applied successfully to any quantity derived from the modal operators. The criterion and the rule of scaling the domain are also presented, investigated and discussed. The obtained results are encouraging and they allow thinking successfully to the definition of procedure that could represent a bridge between modal and energy methods.

• Journal of the Korean Society for Railway
• /
• v.9 no.3 s.34
• /
• pp.319-324
• /
• 2006

Studied was a strategy of technology development for railway system in terms of railway network. First, The successful launch of the Korean HST system has not only decreased logistics burden but also significantly transformed the Korean trunk-line railway network, revolutionizing the logistics and technology sectors and reinvigorating the Korean railway industry in one century. Korean railway industry sector is now investing to develop many different types of railway system(G7, Post G7, tilting train...) so that these kinds of various railway system development should be integrated with the National Inter-modal Transportation Network Plan. To secure sufficient capacity that is required by the National Railroad Plan, the railway industry needs to establish mid- and long-term train purchase and operation strategies in compliance with railway construction and operation policies. During a railway construction planning, train operators, based on their train operation strategies, should come up with measures to closely cooperate with project operators from the planning stage through to the opening of a railway system. To be more precise, train operators should establish long-term train procurement plans reflecting both long-term national railroad network plans and plans for each railway line in order to suggest appropriate roles and schedules for each line. Also, based on the long-term railway plan, directions should be decided concerning the research and development of trains in advance.