• 경영과정보연구
• /
• 제12권
• /
• pp.161-179
• /
• 2003

The purpose of this study is to settle local government accounting system. In order to achieve this object. First, accural accounting should be closely connected with budgetary accounting. Second, a computerized program for double entry book-keeping system must be developed primarily. Finally, the improvement of local government accounting system should be oriented enhancing efficiency and public accountability.

• 대한수학회보
• /
• 제8권1호
• /
• pp.9-15
• /
• 1971

The purpose of this note is to use primitive recursive functions and predicates similar to those presented by Davis [2] to show the well-known result first proved by Godel in [3] that the well-formed formulas of a pure functional calculus form a recursive set. The technique shown in this paper immediately suggests a unique approach to Theorem proving using a computer.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2001년도 ICCAS
• /
• pp.48.4-48
• /
• 2001

Major objective of this paper is to develop the sliding mode control method for a nonlinear electro magnetic levitation system governed by a set of a second-order motion equation and a first-order electromagnetic equation. Simulations for initial responses were carried out to confirm the validity of the present design method.

• Ocean Systems Engineering
• /
• 제9권1호
• /
• pp.97-109
• /
• 2019

Accurate calculation of the mean drift forces and moments is necessary when studying the higher order excitations on the floater in waves. When taking the time average of the second order forces and moments, the second order potential and motion diminish with only the first order terms remained. However, in the results of the first order forces or motions, the irregular frequency effects are often observed in higher frequencies, which will affect the accuracy of the calculation of the second order forces and moments. Therefore, we need to pay close attention to the irregular frequency effects in the mean drift forces. This paper will discuss about the irregular frequency effects in the calculations of the mean drift forces and validate our in-house program MDL Multi DYN using some examples which are known to have irregular frequency effects. Finally, we prove that it is necessary to remove the effects and demonstrate that the effectiveness of the formula and methods adopted in the development of our program.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1993년도 한국자동제어학술회의논문집(국내학술편); Seoul National University, Seoul; 20-22 Oct. 1993
• /
• pp.931-936
• /
• 1993

Optimal model following control scheme is to design the controller which makes the response of real system follow that of desirable model. This kind of design scheme is developed for first order system. We extends the scheme for second order system regarding the characteristics of mechanical second order system for vibration suppression of flexible structures. The model of mechanical second order system is obtained using suitable damping ratios and natural frequencies. Using this scheme, we can design the good controller which uses the characteristic of second order system. Numerical examples are presented which were used optimal model following control scheme.

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 1998년도 The Third Asian Fuzzy Systems Symposium
• /
• pp.128-133
• /
• 1998

This paper aims to present some ideas for implementation of Uncertain Relational Databases (URD) which are extensions of classical relational databases. Our system firstly is based on possibility distribution and probability theory to represent and manipulate fuzzy and probabilistic information, secondly adopts flexible mechanisms that allow the management of uncertain data through the resources provided by both available relational database management systems and front-end interfaces, and lastly chooses dynamic SQL to enhance versatility and adjustability of systems.

• 멤브레인
• /
• 제7권2호
• /
• pp.49-56
• /
• 1997

In order to understand the formation of polymeric membranes or microcellular foams, phase separation phenomena in polymer solutions should be understood. The present review examines the progress made in the understanding of these phenomena, with emphasis on selected polymer-solvent systems. In the case of polymer-solvent systems, coarsening is of particular importance as it may come to dominate or overshadow spinodal decomposition effects within the first minute or few minutes of phase separation. In this article, some of the most important theoretical models of late stage of phase separation are reviewed, and recent experimental studies on coarsening in polymer-solvent systems are studied.

• 한국IT서비스학회지
• /
• 제13권1호
• /
• pp.23-42
• /
• 2014

This study investigates the impact of Internet Banking Systems on the business performance of bank. Although Internet Banking Systems were introduced about 15 years ago in Korea, there were few studies which evidenced the relationship between Internet Banking Systems and the performance of banks. For this empirical investigation, this study collected the panel data of 13 domestic banks over 8.5 years and divided the dataset into two parts-the first half period (2003~2007) and the second half period (2008~2011) in order to examine the dynamic changes in the impact of Internet Banking Systems. The fixed-effects panel regression results were different in the two parts of dataset. Internet Banking Systems showed only cost-efficiency impact in the first half period. However, in the second half period, Internet Banking Systems showed positive impact on the bank profitability. Moreover, the dummy variable regarding local bank showed no additional impact on this result, implying that the impact of Internet Banking Systems was still significant for the local banks. The results will deliver managerial interpretation on the value of Internet Banking Systems and additional implication on the strategic planning of Internet Banking Systems for many domestic banks.

• International Journal of Control, Automation, and Systems
• /
• 제5권1호
• /
• pp.79-85
• /
• 2007

In this paper, a real-coded genetic algorithm is proposed for identification of time delay systems from step responses. FOPDT(First-Order Plus Dead-Time) and SOPDT(Second-Order Plus Dead-Time) systems, which are the most useful processes in this field, but are difficult for system identification because of a long dead-time problem and a model mismatch problem. Genetic algorithms have been successfully applied to a variety of complex optimization problems where other techniques have often failed. Thus, the modified crossover operator of a real-code genetic algorithm is proposed to effectively search the system parameters. The proposed method, using a real-coding genetic algorithm, shows better performance characteristics when compared to the usual area-based identification method and the directed identification method that uses step responses.

• 전기학회논문지P
• /
• 제62권4호
• /
• pp.216-222
• /
• 2013

Handover is a technical methodology to support mobility of wireless communication users, which mainly affects the capacity of wireless communication systems and the quality of service (QoS) of link level signal. However, in OFDMA-based cellular systems, there are few published technical reports investigating handovers with respect to diversity gains and resource consumption depending on what handover technique is adopted. In this paper, we propose handover schemes exploiting transmit diversity and macro-diversity in order to increase capacity of OFDMA-based wireless communication systems, and analyze their performance. In cellular environments, depending on what handover scheme is selected, average signal-to-interference-and-noise ratio is calculated first for a handover user in order to evaluate the link level QoS. Through this technical evaluation for handover schemes, we conclude what handover scheme is suitable for OFDMA-based cellular systems.