• 대한수학회지
• /
• 제54권6호
• /
• pp.1853-1878
• /
• 2017

Let $\{U(t,s)\}_{t{\geq}s}$ be a periodic evolutionary process with period ${\tau}$ > 0 on a Banach space X. Also, let L be the generator of the evolution semigroup associated with $\{U(t,s)\}_{t{\geq}s}$ on the phase space $P_{\tau}(X)$ of all ${\tau}$-periodic continuous X-valued functions. Some kind of variation-of-constants formula for the solution u of the equation $({\alpha}I-L)^nu=f$ will be given together with the conditions on $f{\in}P_{\tau}(X)$ for the existence of coefficients in the formula involving the monodromy operator $U(0,-{\tau})$. Also, examples of ODEs and PDEs are presented as its application.

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• 제9권1호
• /
• pp.63-77
• /
• 2005

The Dirichlet-Neumann problem for the dissipative Helmholtz equation in a connected plane region bounded by closed curves and containing cuts is studied. The Neumann condition is given on the closed curves, while the Dirichlet condition is specified on the cuts. The existence of a classical solution is proved by potential theory. The integral representation of the unique classical solution is obtained. The problem is reduced to the Fredholm equation of the second kind and index zero, which is uniquely solvable. Our results hold for both interior and exterior domains.

• 대한안전경영과학회지
• /
• 제5권1호
• /
• pp.69-82
• /
• 2003

The sequence which minimizes overall utility work in car assembly lines reduces the cycle time, the number of utility workers, and the risk of conveyor stopping. This study suggests mathematical formulation of the sequencing problem to minimize overall utility work, and present a genetic algorithm which can provide a near optimal solution in real time. To apply a genetic algorithm to the sequencing problem in car assembly lines, the representation, selection methods, and genetic parameters are studied. Experiments are carried out to compare selection methods such as roullette wheel selection, tournament selection and ranking selection. Experimental results show that ranking selection method outperforms the others in solution quality, whereas tournament selection provides the best performance in computation time.

• 산업경영시스템학회지
• /
• 제36권3호
• /
• pp.63-70
• /
• 2013

Many real world optimization problems are discrete and multi-valued. Meta heuristics including Genetic Algorithm and Particle Swarm Optimization have been effectively used to solve these multi-valued optimization problems. However, extensive comparative study on the performance of these algorithms is still required. In this study, performance of these algorithms is evaluated with multi-modal and multi-dimensional test functions. From the experimental results, it is shown that Discrete Particle Swarm Optimization (DPSO) provides better and more reliable solutions among the considered algorithms. Also, additional experiments shows that solution quality of DPSO is not lowered significantly when bit size representing a solution increases. It means that bit representation of multi-valued discrete numbers provides reliable solutions instead of becoming barrier to performance of DPSO.

• 시스템엔지니어링워크숍
• /
• 통권6호
• /
• pp.102-106
• /
• 2005

The MBSE design method using UML has not been well exhibited throughout the overall system design processes. There has been many different modeling usages of UML for system requirements proposed by many till now. The extension of UML to system modeling must demonstrate consistent representation rule throughout the overall processes. This study proposes the method of using UML with overal consistency to implement system design processes. to validate and verify the proposed UML approaches, a case study of ATACMS Block IA missile system design was implemented and the resulting products were shown. phases of the systems engineering design process, logical solution development, and physical solution development, were demonstrated

• Steel and Composite Structures
• /
• 제14권5호
• /
• pp.511-521
• /
• 2013

In this study we have considered the governing nonlinear equation of an eccentrically reinforced cylindrical shell. A new analytical method called He's Variational Approach (VA) is used to obtain the natural frequency of the nonlinear equation. This analytical representation gives excellent approximations to the numerical solution for the whole range of the oscillation amplitude, reducing the respective error of angular frequency in comparison with the variation approach method. It has been proved that the variational approach is very effective, convenient and does not require any linearization or small perturbation. Additionally it has been demonstrated that the variational approach is adequately accurate to nonlinear problems in physics and engineering.

• 산업공학
• /
• 제19권4호
• /
• pp.300-305
• /
• 2006

The problem of assigning customers to satellite channels is considered in this paper. Finding an optimal allocation of customers to satellite channels is a difficult combinatorial optimization problem and is shown to be NP-complete in an earlier study. We propose a genetic algorithm (GA) approach to search for the best/optimal assignment of customers to satellite channels. Various issues related to genetic algorithms such as solution representation, selection methods, genetic operators and repair of invalid solutions are presented. A comparison of GA with CPLEX8.1 is presented to show the advantages of this approach in terms of computation time and solution quality.

• 산업경영시스템학회지
• /
• 제8권11호
• /
• pp.69-77
• /
• 1985

The queue theory is based on the assumption that most system are normally assigned to stay under steady state. Therefore, the initial problem can be represented by a symbolic model but such a representation does not permit analysis of all the interesting alternatives. When the solution to the problem is thus restricted to a particular subclass of available alternatives, the symbolic model can be solved by mathematics to deduce which alternative is optimal. However, when be consider slightly more complicated alternatives, the analytic procedures become interactable. The purpose of this study is to show how a simulation model enable us to handle the more complicated system after examining the characteristics of the complications that negate more complicated system. Then construct a simulation model and compare the solution of simulation models with analytic methods.

• International Journal of Computer Science & Network Security
• /
• 제21권2호
• /
• pp.1-8
• /
• 2021

Cloud computing has proven its efficiency, especially after the increasing number of cloud services offered by a wide range of cloud providers, from different domains. Despite, these cloud services are mostly heterogeneous. Consequently, and due to the rising interest of cloud consumers to adhere to a multi-cloud environment instead of being locked-in to one cloud provider, the need for semantically interconnecting different cloud services from different cloud providers is a crucial and important task to ensure. In addition, considerable research efforts proposed interoperability solutions leading to different representation models of cloud services. In this work, we present our solution to overcome this limitation, precisely in the IAAS service model. This solution is a framework permitting the semantic interoperability of different IAAS resources in a multi-cloud environment, in order to assist cloud consumers to retrieve the cloud resource that meets specific requirements.

• 대한수학회지
• /
• 제58권4호
• /
• pp.873-894
• /
• 2021

In this paper, we consider the Gudnason model of 𝒩 = 2 supersymmetric field theory, where the gauge field dynamics is governed by two Chern-Simons terms. Recently, it was shown by Han et al. that for a prescribed configuration of vortex points, there exist at least two distinct solutions for the Gudnason model in a flat two-torus, where a sufficient condition was obtained for the existence. Furthermore, one of these solutions has the asymptotic behavior of topological type. In this paper, we prove that such doubly periodic topological solutions are uniquely determined by the location of their vortex points in a weak-coupling regime.