• Journal of Electrical Engineering and information Science
• /
• v.2 no.5
• /
• pp.89-99
• /
• 1997

The application for real-time database systems must satisfy timing constraints. Typically the timing constraints are expressed in the form of deadlines which are represented by priorities to e used by schedulers. In any real-time applications, since the system maintains sensitive information to be shared by multiple users with different levels of security clearance, security is another important requirement. As more advanced database systems are being used in applications that need to support timeliness while managing sensitive information, protocols that satisfy both requirements need to be developed. In this appear, we proposed a new priority-driven secure multiversion locking (PSMVL) protocol for real-time secure database systems. The schedules produced by PSMVL are proven to e one-copy serializable. We have also shown tat the protocol eliminates covert channels and priority inversions. The details of the protocol, including the compatibility matrix and the version selection algorithms are presented. the results of the performance comparisons of our protocol with other protocols are described.

• The Mathematical Education
• /
• v.40 no.2
• /
• pp.335-343
• /
• 2001

Algebra is important part of mathematics education. Recent days, many mathematics educators emphasize on real world situation. Form real situation, pupils make sense of concepts, and mathematize it by reflective thinking. After that they formalize the concepts in abstract. For example, operation in numbers develops these course. Operation in natural number is an arithmetic, but operation on real number is algebra. Transition from arithmetic to algebra has the cutting point in representing the concepts to mathematics sign system. In this note, we see the cognitive tendency of 10th grade about operation of real number, their cutting point of transition from arithmetic to algebra, and show some methods of helping pupils.

• Education of Primary School Mathematics
• /
• v.23 no.4
• /
• pp.157-173
• /
• 2020

Although there are various form of statistical graphs in the real world, the statistical graphs in elementary mathematics textbooks are very formalized by the pedagogical constraints. In this study, I examine the frames of statistical graphs and their educational importance, and analyze the frames in Korean, Australian, and MiC textbooks. As a result, the frames of statistical graphs in elementary mathematics textbooks (1) draws students' attention to the components of the graphs, (2) plays a supplementary role in students' drawing graphs by hands, and (3) helps to apply school mathematics to statistical problem solving in real life. The frames of statistical graphs in Korean textbooks is the form of tables focusing on (1) and (2), but these of MiC textbooks has various forms focusing on (3). On the other hand, Austalian textbooks introduced the table-form frames of statistical graphs at the lower graders, but gradually changed to the axis-form frames as the grade level increased. Based on this, a recommendation was drawn on how to deal with the frames of statistical graphs in elementary mathematics textbooks.

• The KIPS Transactions:PartB
• /
• v.18B no.4
• /
• pp.193-200
• /
• 2011

This paper proposes a low-cost visual analyzer algorithm of human body motion for real-time applications such as human-computer interfacing, virtual reality applications in medicine and telemonitoring of patients. To reduce cost of its use, we design the algorithm to use a single camera. To make the proposed system to be used more conveniently, we avoid from using optical markers. To make the proposed algorithm be convenient for real-time applications, we design it to have a closed-form with high accuracy. To design a closed-form algorithm, we propose an idea that formulates motion of a human body joint as a 2D universal joint model instead of a common 3D spherical joint model, without any kins of approximation. To make the closed-form algorithm has high accuracy, we formulates the estimation process to be an optimization problem. Thus-desined algorithm is applied to each joint of the human body one after another. Through experiments we show that human body motion capturing can be performed in an efficient and robust manner by using our algorithm.

• 제어로봇시스템학회:학술대회논문집
• /
• 2003.10a
• /
• pp.2151-2154
• /
• 2003

Internet is deeply rooted in everyday life and many things are performed using internet in real-world, therefore internet users increased because of convenience. Also internet accident is on the increase rapidly. The security vendor developed security system to protect network and system from intruder. Many hackings can be prevented and detected by using these security solutions. However, the new hacking methods and tools that can detour or defeat these solutions have been emerging and even script kids using these methods and tools can easily hack the systems. In consequence, system has gone through various difficulties. So, Necessity of intruder trace-back technology is increased gradually. Trace-back technology is tracing back a malicious hacker to his real location. trace-back technology is largely divided into TCP connection trace-back and IP packet trace-back to trace spoofed IP of form denial-of-service attacks. TCP connection trace-back technology that autonomously traces back the real location of hacker who attacks system using stepping stone at real time. In this paper, We will describe watermark trace-back system using TCP hijacking technique to supplement difficult problem of connection maintenance happened at watermark insertion. Through proposed result, we may search attacker's real location which attempt attack through multiple connection by real time.

• Journal of Welding and Joining
• /
• v.8 no.1
• /
• pp.31-42
• /
• 1990

Arc must be stable during welding first of all other factors for obtaining sound weldment, especially in the automation of welding process. Arc stability is somewhat sophisticated phenomenon which is not clearly defined yet. In consumable electrode welding, the voltage and current variation due to metal transfer enables to assess arc stability. Recently, statistical analyses of the voltage and current waveform factors are performed to assess the degress of arc stability which is assessed and controlled by operator's own experience by now. But, considering the increasing need and the trend of automation of welding process, it is necessary to monitor arc stability in real-time. In this sutdy, the modified stability index composed of two voltage and current wvaeform factors (arc time and short circuit time) reduced from four factors (arc time, short circuit time, average arc current and average short circuit current) in Mita's index by the welding electrical circuit modeling is proposed and verified by experiments to be well estimating arc stability in the static sense. Also, the recursive calculation form estimating present arc stability in the dynamic sense is developed for real-time estimation. The results of applying the recursive index during welding show good estimation of arc stability in real-time. Therefore, the results of this study offers the mean for real-time control arc stability.

• ETRI Journal
• /
• v.41 no.4
• /
• pp.494-505
• /
• 2019

In this paper, we propose a new framework for detecting the unauthorized dumping of garbage in real-world surveillance camera. Although several action/behavior recognition methods have been investigated, these studies are hardly applicable to real-world scenarios because they are mainly focused on well-refined datasets. Because the dumping actions in the real-world take a variety of forms, building a new method to disclose the actions instead of exploiting previous approaches is a better strategy. We detected the dumping action by the change in relation between a person and the object being held by them. To find the person-held object of indefinite form, we used a background subtraction algorithm and human joint estimation. The person-held object was then tracked and the relation model between the joints and objects was built. Finally, the dumping action was detected through the voting-based decision module. In the experiments, we show the effectiveness of the proposed method by testing on real-world videos containing various dumping actions. In addition, the proposed framework is implemented in a real-time monitoring system through a fast online algorithm.

• Journal of Korean Association for Spatial Structures
• /
• v.14 no.1
• /
• pp.51-59
• /
• 2014

Single layer free-form structures are being highlighted in the field of architecture due to its attractive shape. In these structures, node connecting system is very important because the node must resist bending and axial stress simultaneously. So the local and global stabilities of entire structure can be determined by the stiffness of node system. In this study, therefore, various types of bending test with axial force were performed. As a result, bending capacity with axial force of a new spherical node for free-form structure could be performed and structural capacities were checked to use in real structure.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.29 no.2 s.233
• /
• pp.350-359
• /
• 2005

Finite element method is a very effective method to simulate the forming processes with good prediction of the deformation behaviour. For the finite element modeling of sheet mental forming the accurate die model is required. Among finite element method, the static-implicit finite element method is applied effectively to analyze real-size auto-body panel stamping processes, which include the forming stage. This study is about analyzing the stamping process problems by using AutoForm commercial software which used static-implicit method. According to this study, the results of simulation will give engineers good information to access the die design of optimization.

• 제어로봇시스템학회:학술대회논문집
• /
• 1997.10a
• /
• pp.1663-1666
• /
• 1997

The purpose of this paper is to find how to determine the controllability and stability derivatives form flight test and to display the stability of the Twinbee aircraft. There are various methods developed to find the derivatives : wind tunnel testing, predicted result from empirical data, flight test and so on. Among those methods, the estimation form flight test of real aricraft is the most reliable. We performed the flight test of Twinbee and recorded the states of aorcraft. Using those states and parameter setimation algorithem based on the Maximum Likdlihood(MMLE) criterion, we can estimate the controllability and stability derivatives. In this paper, wel will show the process form designing the proper flight test input to estimation of derivatives.