• Journal of the Korean GEO-environmental Society
• /
• v.12 no.9
• /
• pp.55-61
• /
• 2011

This study investigate the use of ultraviolet(UV) light with hydrogen peroxide($H_2O_2$) for Methyl Tert Butyl Ether(MTBE) degradation in photolysis reactor. The process in general demands the generation of OH radicals in solution at the presence of UV light. These radicals can then attack the MTBE molecule and it is finally destroyed or converted into a simple harmless compound. The MTBE removal by photolysis were mathematically described as the independent variables such as irradiation intensity, initial concentration of MTBE and $H_2O_2$/MTBE ratio, and these were modeled by the use of response surface methodology(RSM). These experiments were carried out as a Box-Behnken Design(BBD) consisting of 15 experiments. Regression analysis term of Analysis of Variance(ANOVA) shows significantly p-value(p<0.05) and high coefficients for determination values($R^2$=94.60%) that allow satisfactory prediction of second-order regression model. And Canonical analysis yields the stationery point for response, with the estimate ridge of maximum responses and optimal conditions for Y(MTBE removal efficiency, %) are $x_1$=25.75 W of irradiation intensity, $x_2$=7.69 mg/L of MTBE concentration and $x_3$=11.04 of $H_2O_2$/MTBE molecular ratio, respectively. This study clearly shows that RSM is available tool for optimizing the operating conditions to maximize MTBE removal.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.12 no.1
• /
• pp.59-70
• /
• 1992

Quadratic programming problems(QP) have been widely used as a direction-finding subproblem in the engineering and structural design optimization. To develop an efficient solution algorithm for the QP subproblems, theoretical aspects and numerical behavior of mathematical programming methods that can be used as QP solver are studied and compared. For the solution of both primal and dual QP, Simplex, gradient projection(GRP), and augmented Lagrange multiplier algorithms are investigated and coded. From the numerical study, it is found that the primal GRP algorithm with potential constraint strategy and the dual Simplex algorithm are more attractive and effective than the others. They have theoretical robustness as well. Moreover, primal GRP algorithm is preferable in case the number of constraints is larger than the number of design variables. Favorable features of GRP and Simplex algorithm are merged into a combined algorithm, which is useful in the structural design optimization.

• Communications of Mathematical Education
• /
• v.34 no.1
• /
• pp.1-15
• /
• 2020

Today's healthcare, intelligent robots, smart home systems, and car sharing are already innovating with cutting-edge information and communication technologies such as Artificial Intelligence (AI), the Internet of Things, the Internet of Intelligent Things, and Big data. It is deeply affecting our lives. In the factory, robots have been working for humans more than several decades (FA, OA), AI doctors are also working in hospitals (Dr. Watson), AI speakers (Giga Genie) and AI assistants (Siri, Bixby, Google Assistant) are working to improve Natural Language Process. Now, in order to understand AI, knowledge of mathematics becomes essential, not a choice. Thus, mathematicians have been given a role in explaining such mathematics that make these things possible behind AI. Therefore, the authors wrote a textbook 'Basic Mathematics for Artificial Intelligence' by arranging the mathematics concepts and tools needed to understand AI and machine learning in one or two semesters, and organized lectures for undergraduate and graduate students of various majors to explore careers in artificial intelligence. In this paper, we share our experience of conducting this class with the full contents in http://matrix.skku.ac.kr/math4ai/.

• KIPS Transactions on Software and Data Engineering
• /
• v.2 no.11
• /
• pp.801-808
• /
• 2013

In the virtual space with the interactive 3D contents, the degree of mental satisfaction is determined by how fully it reflect the real world. There are a few factors for getting the high completeness of virtual space. The first is the modeling technique with high-polygons and high-resolution textures which can heighten an visual effect. The second is the functionality. It is about how realistic represents dynamic actions between the virtual space and the user or the system. Although the studies on the techniques for animating and controlling the virtual characters have been continued, there are problems such that the long production time, the high cost, and the animation without expected behaviors. This paper suggest a method of behavior control of animation by designing the optimized skeleton which produces the movement of character and applying the procedural technique using physical law and mathematical analysis. The proposed method is free from the constraint on one-to-one correspondence rules, and reduce the production time by controlling the simple parameters, and to increase the degree of visual satisfaction.

• Journal of Korean Society of Steel Construction
• /
• v.19 no.1
• /
• pp.29-41
• /
• 2007

Structural design, like other complex decision problems, involves many trade-offs among competing criteria. Although mathematical programming models are becoming increasingly realistic, they often have design limitations, that is, there are often relevant issues that cannot be easily captured. From the understanding of these limitations, a decision-support system is developed that can generate some useful alternatives as well as a single optimum value in the optimization of steel frame structures. The alternatives produced using this system are "good" with respect to modeled objectives, and yet are "different," and are often better, with respect to interesting objectives not present in the model. In this study, we created a decision-support system for designing the most cost-effective moment-resisting steel frame structures for resisting lateral loads without compromising overall stability. The proposed approach considers the cost of steel products and the cost of connections within the design process. This system makes use of an optimization formulation, which was modified to generate alternatives of optimum value, which is the result of the trade-off between the number of moment connections and total cost. This trade-off was achieved by reducing the number of moment connections and rearranging them, using the combination of analysis based on the LRFD code and optimization scheme based on genetic algorithms. To evaluate the usefulness of this system, the alternatives were examined with respect to various design aspects.

• Journal of KIISE
• /
• v.43 no.2
• /
• pp.237-245
• /
• 2016

In this paper we introduce a novel database research area called science of databases (SoDB) and carry out a comprehensive analysis of its case studies. SoDB aims to better understand interesting phenomena observed across multiple database management systems (DBMSes). While mathematical and engineering work in the database field has been dominant, less attention has been given to scientific approaches through which DBMSes can be better understood. Scientific investigations can lead to better engineered designs through deeper understanding of query optimizers and transaction processing. The SoDB research has investigated several interesting phenomena observed across different DBMSes and provided several engineering implications based on our uncovered results. In this paper we introduce a novel scientific, empirical methodology and describe the research infrastructure to enable the methodology. We then review each of a selected group of phenomena studied and present an identified structural causal model associated with each phenomenon. We also conduct a comprehensive analysis on the case studies. Finally, we suggest future directions to expand the SoDB research.

• Journal of the Korea Society of Computer and Information
• /
• v.17 no.1
• /
• pp.61-69
• /
• 2012

Smart Grid is the next-generation intelligent power grid that maximizes energy efficiency with the convergence of IT technologies and the existing power grid. Smart Grid is created solution for standardization and interoperability. Smart Grid industry enables consumers to check power rates in real time for active power consumption. It also enables suppliers to measure their expected power generation load, which stabilizes the operation of the power system. Smart industy was ecolved actively cause Wireless communication is being considered for AMI system and wireless communication using ZigBee sensor has been applied in various industly. In this paper, we proposed efficient addressing scheme for improving the performance of the routing algorithm using ZigBee in Smart Grid environment. A distributed address allocation scheme used an existing algorithm has wasted address space. Therefore proposing x, y coordinate axes from divide address space of 16 bit to solve this problem. Each node was reduced not only bitwise but also multi hop using the coordinate axes while routing than Cskip algorithm. I compared the performance between the standard and the proposed mechanism through the numerical analysis. Simulation verify performance about decrease averaging multi hop count that compare proposing algorithm and another. The numerical analysis results show that proposed algorithm reduce multi hop than ZigBee distributed address assignment and another.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2008.04a
• /
• pp.416-421
• /
• 2008

A Metropolis genetic algorithm (MGA) is a newly-developed hybrid algorithm combining simple genetic algorithm (SGA) and simulated annealing (SA). In the algorithm, favorable features of Metropolis criterion of SA are incorporated in the reproduction operations of SGA. This way, MGA alleviates the disadvantages of finding imprecise solution in SGA and time-consuming computation in SA. It has been successfully applied and the efficiency has been verified for the practical structural design optimization. However, applicability of MGA for the wider range of problems should be rigorously proved through the solution of mathematical optimization problems. Thus, performances of MGA for the typical mathematical problems are investigated and compared with those of conventional algorithms such as SGA, micro genetic algorithm (${\mu}GA$), and SA. And, for better application of MGA, the effects of acceptance level are also presented. From numerical Study, it is again verified that MGA is more efficient and robust than SA, SGA and ${\mu}GA$ in the solution of mathematical optimization problems having various features.

• Journal of the Institute of Electronics Engineers of Korea CI
• /
• v.44 no.1
• /
• pp.10-18
• /
• 2007

In this paper, we address the node positioning method for minimizing the overlap sensing areas in wireless sensor networks with adjustable sensing ranges. To find a optimal node position, we derive a optimal equations by using the overlapped areas, each node's radiuses and expended angles of opposite neighboring nodes. Based on it, we devise a new node positioning method, called as ASRC(Adjustable Sensing Ranges Control). Unlike existing condition based model, our proposed method is derived from mathematical formula, and we confirm its validity through various simulations.

• Journal of the military operations research society of Korea
• /
• v.32 no.2
• /
• pp.92-113
• /
• 2006

The main purpose of this study is to determine the optimal periodic inspection for Anti-Ship-Missile(Harpoon Block 1) fielding on Korea Navy Ship. In order to perform this study, the data from the Korea Navy (Harpoon maintenance & storage reliability) were collected from 1984 to 2004. Storage failure rate & MTBF for Harpoon block 1 were analysed by using mathematical model & reliability analysis software(Relex) and finally determined optimal periodic inspection. The suggested methodology will be used to determine and reevaluate the periodic inspection of Anti-Ship-Missiles for the Korea Navy.