• Communications of the Korean Mathematical Society
• /
• v.31 no.4
• /
• pp.869-878
• /
• 2016

This paper presents an ecient fractional shifted Legendre polynomial method to solve the fractional Volterra's model for population growth model. The fractional derivatives are described based on the Caputo sense by using Riemann-Liouville fractional integral operator. The theoretical analysis, such as convergence analysis and error bound for the proposed technique has been demonstrated. In applications, the reliability of the technique is demonstrated by the error function based on the accuracy of the approximate solution. The numerical applications have provided the eciency of the method with dierent coecients of the population growth model. Finally, the obtained results reveal that the proposed technique is very convenient and quite accurate to such considered problems.

• Journal of the Korean Society for Precision Engineering
• /
• v.12 no.10
• /
• pp.138-148
• /
• 1995

While Model-based Monitoring systems based on state observer theory have shown much promise in the laboratory, they have not been widely accepted by industry because, inpractice, these systems often have poor performance with respect to accuracy, band-width, reliability(false alarms), and robustness. In this paper, the linitations of the deterministic discrete-time state observer are investigated quantitatively from the machine monitoring viewpoint. The limitations in the transient and steady-state observer performance are quantified as estimation error bounds from which performance indices are selected. Each index represents the conditioning of the corresponding performance. By utilizing matrix norm theory, an unified main index is determined, that dominates all the indices. This index could from the basis for an observer design methodology that should improve the performance of model-based monitoring systems.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.26 no.4A
• /
• pp.647-657
• /
• 2006

Probabilistic Risk Assessment considering statistically random variables is performed for the preliminary design of a Cable Stayed Bridge, which is Prestressed Concrete Bridge consisted of cable and plate girders, based on the method of Working Stress Design and Strength Design. Component reliabilities of cables and girders have been evaluated using the response surface of the design variables at the selected critical sections based on the maximum shear, positive and negative moment locations. Response Surface Method (RSM) is successfully applied for reliability analyses for this relatively small probability of failure of the complex structure, which is hard to obtain through Monte-Carlo Simulations. or through First Order Second Moment Method that can not easily calculate the derivative terms of implicit limit state functions. For the analysis of system reliability, parallel resistance system consisting of cables and plate girder is changed into series connection system and the result of system reliability of total structure is presented. As a system reliability, the upper and lower probabilities of failure for the structural system have been evaluated and compared with the suggested prediction method for the combination of failure modes. The suggested prediction method for the combination of failure modes reveals the unexpected combinations of element failures in significantly reduced time and efforts compared with the previous permutation method or system reliability analysis method, which calculates upper and lower bound failure probabilities.

• Journal of KIISE:Software and Applications
• /
• v.26 no.9
• /
• pp.1061-1072
• /
• 1999

한 개 이상의 사이트에 공간 데이타가 중복 저장된 분산 공간 DB에서, 동시에 수행될 수 있는 긴 트랜잭션의 변경은 일관성 제어를 위해 다른 사이트에 전파되어야 한다. 이때 같은 영역의 공간 데이타를 서로 다른 사이트에서 동시에 변경할 경우, 변경 상충 문제가 발생하거나 잠금 기법에 의한 오랜 대기 시간이 초래되는 문제가 있다. 또한 공간 객체는 잠금의 대상이 아닌 공간 관련성에 의한 종속성을 가진다.이 논문은 긴 트랜잭션으로 중복된 공간 데이타를 변경할 경우 중복 제어를 위한 변경 전파와 동시성 제어 문제를 다룬다. 중복된 공간 데이타의 변경 병렬성을 향상시키기 위해 영역 잠금 및 SR-bound WRITE 잠금 기법을 제시한다. 한 사이트에서 수정하는 객체들과 다른 사이트에서 수정하는 객체들 사이에 공간 관련성에 의한 종속성이 없을 경우 병렬 수정을 허용하도록 제어하며, 공간 관련성에 의한 종속성이 있을 경우 SR-based 2PC라 불리는, 확장된 2단계 완료 프로토콜로 협동작업을 수행해서 변경 상충을 해결하는 새로운 중복 제어 기법을 설계하고 구현한다.Abstract The update of a long transaction should be propagated to the other sites for consistency control, when spatial database are replicated at multiple sites to achieve availability, reliability, and performance. When the replicated spatial data are updated at the same time, the update of one site would be conflicted with the other or a user would not be able to access the replicated spatial data under the control of locking. Two spatial objects having spatial relationships should be cooperatively updated even if there are no conflicts of locking for them.This paper deals with the issues of concurrency control and update propagation of replicated spatial data. We present the concept of region lock and SR-bound WRITE lock for enhancing the parallelism of updating the replicated spatial data. If there are no spatial relationships between one site's objets and the other's objects, parallel update would be allowed. Concurrent update of two spatial objects having spatial relationships should be propagated and cooperated by using an extended two-phase commit protocol, called spatial relationship-based 2PC.

• Journal of KIISE:Software and Applications
• /
• v.37 no.1
• /
• pp.60-73
• /
• 2010

This paper aims to describe KorLexClas 1.5 which provides us with a very large list of Korean numeral classifiers, and with the co-occurring noun categories that select each numeral classifier. Differently from KorLex of other POS, of which the structure depends largely on their reference model (Princeton WordNet), KorLexClas 1.0 and its extended version 1.5 adopt a direct building method. They demand a considerable time and expert knowledge to establish the hierarchies of numeral classifiers and the relationships between lexical items. For the efficiency of construction as well as the reliability of KorLexClas 1.5, we use following processes: (1) to use various language resources while their cross-checking for the selection of classifier candidates; (2) to extend the list of numeral classifiers by using a shallow parsing techniques; (3) to set up the hierarchies of the numeral classifiers based on the previous linguistic studies; and (4) to determine LUB(Least Upper Bound) of the numeral classifiers in KorLexNoun 1.5. The last process provides the open list of the co-occurring nouns for KorLexClas 1.5 with the extensibility. KorLexClas 1.5 is expected to be used in a variety of NLP applications, including MT.

• Magazine of the Korea Concrete Institute
• /
• v.5 no.4
• /
• pp.167-178
• /
• 1993

The objective of this paper is to look into the possibility of the detailed and practical optimum design of rt:inforced concrete beam using methods oi discrete mathematical programming. In this discrete optimum formulation, the design variables are the overall depth, width and effective depth of members, and area of longitudinal reinforcement. In addition, the details such as the amount of web reinforcement and cutoff points of longitudinal reinforcement are also considered as variables. Total cost has been used as the objective function. The constraints include the code requirments such as flexural strength, shear strength, ductility, serviceability, concrete cover. spacing, web reinforcement, and development length and cutoff points of longitudinal renforcement. An optimization algorithm is presented for effective optimum design of R.C. beam with discrete de sign variables. First, the continuous variable optimization can be achieved by Feasible Direction Method. Using the results obtained from the continuous variable optimization, a branch and bound method is used to obtained the discrete design values. The proposed algorithm is applied to test problem for reliability, and the results are compared with those of graphical method and rounded-up method. And a simply supported R.C. beam and a two-span continuous R.C. beam are presented as numerical examples for effectiveness and applicability. It is considered that the presented algorithm can be effectively applied to the discrete optimum design of R.C. beams.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2016.05a
• /
• pp.420-424
• /
• 2016

Recently, with the development of Internet technology and multi-media technology, the Internet is going to develop in many areas, a new application areas. In particular, in the area of education, has made a Epoch-making development in the Internet applications, it has presented the instructional methods of the new paradigm. Study using the online learning, instructional method of a conventional traditional new proposal that deviates from the off-line teaching, Unlike the existing off-line learning, without being bound by time and space, in terms of anytime, anywhere it is possible to attend the lecture, is a very efficient learning. Online lectures Despite many advantages, and containing a number of problems. In terms of space of the learning is performed on-line, there is a disadvantage that the student management and learning, the reliability of evaluation missing number. In this study, out of such a variety of problems, concentration to induce an active learning attitude of learners, learners of learning who attempt to increase the reliability and using the face detection system of attendance learning It proposed a degree system.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.16 no.6
• /
• pp.1-7
• /
• 2016

As new information and communication technologies evolve, security threats are also becoming increasingly intelligent and advanced. In this paper, we analyze the time series data continuously entered through a series of periods from the network device or lightweight IoT (Internet of Things) devices by using the statistical technique and propose a system to detect abnormal behaviors of the device or abnormality based on the analysis results. The proposed system performs the first level abnormal detection by using previously entered data set, thereafter performs the second level anomaly detection according to the trust bound configured by using stored time series data based on time attribute or group attribute. Multi-level analysis is able to improve reliability and to reduce false positives as well through a variety of decision data set.

• Proceedings of the Korean Information Science Society Conference
• /
• 2008.06b
• /
• pp.298-302
• /
• 2008

주어진 작은 크기의 칩 내부에 많은 기능 (예: 멀티미디어, 음성/영상 등)을 작동시키기 위해서는 고집적(high-integration)의 회로가 구현되게 된다. 이러한 고집적 회로는 작동할 때 상당한 양의 전력 소모를 유발하게 되어 결국 배더리 수명을 단축시키는 상황을 가지게 한다. 더욱 심각한 상황은 고 밀도의 칩 안에서의 많은 전력 소모는 열의 발생을 더욱 가속화 시키게 되며, 결국 칩 작동의 신뢰성(reliability)을 상당히 잃게 만든다. 본 연구에서는 칩의 작동에 따른 열 발생으로 유발되는 칩의 온도 상승을 감지하는 센서회로 구현에 관한 것이다. FPGA 칩은 주 목적의 기능을 수행하는 회로들을 구현함과 동시에 추가적으로 열 감지 센서 회로를 구현할 자원을 FPGA가 제공을 해 주어야 하는데, 주목적의 회로 공간(즉, 자원) 사용으로 인해 열 센서 회로 구현 자원이 충분하지 않을 경우나 여러 지역에 사용 가능한 자원이 소규모로 흩어진 경우 등 센서 구현을 위한 자원 탐색 및 구현 가능성에 대해 점검하는 알고리즘이 필요하다. 본 연구는 이러한 알고리즘을 개발하여 그 효용성을 실험을 통해 보이고 있다. 제안한 알고리즘의 특징은 Branch-and-Bound에 기반을 두고 있으며, 알고리즘의 수행 시간 단축을 위한 효과적인 search tree pruning 기법을 제안하고 있다.

• Journal of the Institute of Electronics Engineers of Korea SC
• /
• v.39 no.1
• /
• pp.33-41
• /
• 2002

In this paper, we present a frequency weighted model reduction using LMIs for minimizing the H$\infty$ weighted model error compared with the methods of frequency weighted balanced truncation and frequency weighted Hankel norm approximation. The proposed algorithm, its form is equal to the sufficient condition of performance preserving controller approximation, is based on an iterative two-step LMI scheme induced from bound real lemma. So, it can be applied to the problem of the performance preserving controller approximation. The controller reduction is useful in a practical control design and ensures its easy implementation and high reliability The validity of the proposed algorithm is shown through numerical examples. Additionaly, we extend the proposed algorithm to performance preserving controller approximation by applying to the HIMAT(highly maneuverable aircraft technology) system.