• Proceedings of the KSR Conference
• /
• 2009.05a
• /
• pp.574-580
• /
• 2009

This study is investigate the bending behavior of real size RC beams strengthened with carbon fiber sheets. For experimental study, 1 control beam and 8 strengthened beams of real size(4 NU-beams and 4 U-beams) are tested and compared. NU-beam has not a V-shaped band and V-beam has a V-shaped band. The variables of experiment are composed of the number of carbon fiber sheets, the existence of U-shaped band, and four point loading, etc. The experimental results showed that the strengthening system with U-shaped band controls the premature debonding and provides a more ductile failure mode than the strengthening system without V-shaped band. It can be found from the load-deflection curves that as the number of fiber sheets is increased, the maximum strength and the flexural rigidity is increased. For the strengthening method with carbon fiber sheets of the real size RC beams, it is required the finding a solution to the bonding problem.

• Journal of Microbiology
• /
• v.41 no.4
• /
• pp.320-326
• /
• 2003

In order to identify Vibrio vulnificus in the Yellow Sea near Gunsan, Korea during the early and late summers, the efficiency of the real-time quantitative TaqMan PCR was compared to the efficiency of the conventional PCR and Biolog identification system^TM. Primers and a probe were designed from the hemolysin/cytolysin gene sequence of V. vulnificus strains. The number of positive detections by real-time quantitative TaqMan PCR, conventional PCR, and the Biolog identification system from seawater were 53 (36.8%), 36 (25%), and 10 strains (6.9%), respectively, among 144 samples collected from Yellow Sea near Gunsan, Korea. Thus, the detection method of the real-time quantitative TaqMan PCR assay was more effective in terms of accuracy than that of the conventional PCR and Biolog system. Therefore, our results showed that the real-time TaqMan probe and the primer set developed in this study can be applied successfully as a rapid screening tool for the detection of V. vulnificus.

• The Transactions of the Korean Institute of Electrical Engineers D
• /
• v.50 no.5
• /
• pp.218-225
• /
• 2001

This paper analyses the performance of network system using the CAN(Controller Area Network) protocol. Given messages are assumed to be scheduled by the DMS(Deadline Monotonic Scheduling) algorithm. The mathematical models for time-delay that can be occurred between CAN nodes are defined. The effectiveness of modeling is shown by comparing the difference of time-delay between simulations and practical experiments. We analyse the results according to the variation of factors, such as the number of nodes, the transmission speed, the message size and the number of aperiodic messages through simulation and confirm the real-time performance of lower priority messages. We also investigate the real-time performance of periodic messages when aperiodic message generates.

• International Journal of Control, Automation, and Systems
• /
• v.4 no.5
• /
• pp.601-614
• /
• 2006

In this paper, a study on task assignment strategies for a complex real-time network system is presented. Firstly, two task assignment strategies are proposed to improve previous strategies. The proposed strategies assign tasks with meeting end-to-end real-time constraints, and also with optimizing system utilization through period modulation of the tasks. Consequently, the strategies aim at the optimizationto optimize of system performance with while still meeting real-time constraints. The proposed task assignment strategies are devised using the genetic algorithmswith heuristic real-time constraints in the generation of new populations. The strategies are differentiated by the optimization method of the two objectives-meeting end-to-end real-time constraints and optimizing system utilization: the first one has sequential genetic algorithm routines for the objectives, and the second one has one multiple objective genetic algorithm routine to find a Pareto solution. Secondly, the performances of the proposed strategies and a well-known existing task assignment strategy using the BnB(Branch and Bound) optimization are compared with one other through some simulation tests. Through the comparison of the simulation results, the most adequate task assignment strategies are proposed for some as system requirements-: the optimization of system utilization, the maximization of running tasktasks, and the minimization of the number of network node nodesnumber for a network system.

• The Transactions of the Korean Institute of Electrical Engineers
• /
• v.34 no.6
• /
• pp.230-237
• /
• 1985

Shortest path calculations for a large-scale network have to be performed using a decomposition techniqre, since the calculations require large memory size which increases by the square of the number of vertices in the network. Also, the calculation time increases by the cube of the number of vertices in the network. In the decomposition technique,the network is broken into a number of smaller size subnetworks for each of which shortest paths are computed. A union of the solutions provides the solution of the original network. In all of the decomposition algirithms developed up to now, boundary vertices which divide all the subnetworks have to be included in computing shortest paths for each subnetwork. In this paper, an improved algorithm is developed to reduce the number of boundary vertices to be engaged. In the algorithm, only those boundary vertices that are directly connected to the subnetwork are engaged. The algorithm is suitable for an application to real time computation using a parallel processor system which consists of a number of micro-computers or prcessors. The algorithm has been applied to a 39- vertex network and a 232-vertex network. The results show that it is efficient and has better performance than any other algorithms. A parallel processor system has been built employing an MZ-80 micro-computer and two Z-80 microprocessor kits. The former is used as a master processor and the latter as slave processors. The algorithm is embedded into the system and proven effective for real-time shortest path computations.

• 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.

• 제어로봇시스템학회:학술대회논문집
• /
• 2000.10a
• /
• pp.549-549
• /
• 2000

In the previous work, we dealt with a traffic analysis of network-based control system and its architecture using the CAN protocol. It is difficult to determine an optimal network architecture for a specific system. In this paper, we propose the architecture of network-based control system applicable to a specific AGV system with manipulator arms. We define the fixed number of periodic messages to be occurred in this system. In the proposed system architecture, we analyse its traffic for the real-time communication of all messages, determine the optimal sampling period of an analog sensor to be satisfied with the required specification and the number of possible sensors to be added through simulation.

• Journal of Korean Society of Water and Wastewater
• /
• v.20 no.3
• /
• pp.357-366
• /
• 2006

In order to compute pressure variation for a water distribution system, an expression for the friction factor as a function of Reynolds number and the relative roughness needs to be properly incorporated in computational algorithm. Considering Moody s friction variation, Developed Unsteady Network Analyzer (UNA) has been modified to match computational results with EPANET 2.0. Substantial improvement can be found in the application of Improved UNA to both an hypothetical pipeline network and a real system located in Ulsan City. Random number generator is employed to represent the uncertainty of water use in real pipeline network. Comparisons of application between EPANET 2.0 and improved UNA 2.0 indicate advantages and potentials of this approach.

• Journal for History of Mathematics
• /
• v.33 no.6
• /
• pp.327-343
• /
• 2020

This study investigate philosophical discussions related to the Zeno's paradoxes in order to derive the mathematics educational implications. The paradox of Zeno's motion is sometimes explained by the calculus theories. However, various philosophical discussions show that the resolution of Zeno's paradox by calculus is not a real solution, and the concept of a continuum which is composed of points and the real number continuum may not coincide with the physical space and time. This is supported by the fact that the hyperreal number system of nonstandard analysis could be another model of a straight line or time and that an alternative explanation of Zeno's paradox was possible by the hyperreal number system. The existence of two different theories of the continuum suggests that teachers and students may not have the same view of the continuum. It is also suggested that the real world model used in school mathematics may not necessarily match the student's intuition or mathematical practice, and that the real world application of mathematics theory should be emphasized in education as a kind of 'correspondence.'

• Journal of the Korea Society of Computer and Information
• /
• v.12 no.3
• /
• pp.37-50
• /
• 2007

In this paper, we designed and implementation of the high speed neuron processor for real time object recognition in the making automatic system. and we designed of the PE(Processing Element) used residue number system without carry propagation for the high speed operation. Consisting of MAC(Multiplication and Accumulation) operator using residue number system and sigmoid function operator unit using MAC(Mixed Radix conversion) is designed. The designed circuits are descript by C language and VHDL(Very High Speed Integrated Circuit Hardware Description Language) and synthesized by compass tools and finally, the designed processor is fabricated in $0.8{\mu}m$ CMOS process. we designed of MAC operation unit and sigmoid proceeding unit are proved that it could run time 0.6nsec on the simulation and improved to the speed of the three times and decreased to hardware size about 50%, each order. The designed neuron processor can be implemented of the object recognition in making automatic system with desired real time processing.