• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2005년도 ICCAS
• /
• pp.368-373
• /
• 2005

This paper presents a new framework for the traffic flow control based on integrated model descriptions as the Hybrid Dynamical System (HDS).

• 한국수학사학회지
• /
• 제13권2호
• /
• pp.121-132
• /
• 2000

In this paper, we demonstrate the Pythagorean Theorem by using the computer geometric software, Geometer's Skechpad(GSP) in stead of Eucliean logical proof. Also, we show that two applications of Pythagorean Theorem. The one is constructed by the fact that $ka^2+kb^2=kc^2$, where k is a constant, the other is made by the fractal.

• 한국수학사학회지
• /
• 제13권1호
• /
• pp.113-124
• /
• 2000

In this paper, I will investigate the cultural factors that determine the direction of development of early mathematics. And I will survey the philosophical background of Greek logical mathematics. Then, I will survey the distinctive features of Korean.Chinese ancient mathematics which hindered the development of mathematics.

• 한국언어정보학회:학술대회논문집
• /
• 한국언어정보학회 1996년도 Language, Information and Computation = Selected Papers from the 11th Pacific Asia Conference on Language, Information and Computation, Seoul
• /
• pp.129-136
• /
• 1996

• 경영과학
• /
• 제11권1호
• /
• pp.107-115
• /
• 1994

Stochastic manufacturing systems are generally formulated as performance models of discrete event systems. In this paper, logical models(as opposed to performance models) of kanban systems are presented which are deterministic and untimed but not stochastic and timed. As a result, the first and second order properties of kanban systems are showed which can be fruitfully applied to the analysis and design of kanban systems.

• 한국수학사학회지
• /
• 제11권1호
• /
• pp.19-26
• /
• 1998

We investigate "Church's Thesis" and "Turing's Thesis", which are commonly considered as equivalent foundations of computability theory or recursion theory in mathematical logic and computer science. A careful historical and logical analysis of Godel's recursiveness, Church's ${\lambda}$-definability and Turing computability should distinguish between Church's Thesis and Turing's Thesis.and Turing's Thesis.

• 한국ITS학회:학술대회논문집
• /
• 한국ITS학회 2005년도 제4회 추계학술대회 및 정기총회
• /
• pp.135-140
• /
• 2005

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2003년도 통신소사이어티 추계학술대회논문집
• /
• pp.345-348
• /
• 2003

Overlay multicast is proposed as an alternative approach for providing muticast services. A logical infrastructure is built to form an overlay network on top of the physical layer. In this paper, we propose an efficient overlay multicast in wireless ad hoc networks. The overlay multicast tree adapts to the changes in underlying networks. The multicast tree adjusted according to the local member information.

• 한국실내디자인학회논문집
• /
• 제21호
• /
• pp.10-16
• /
• 1999

Mathematics is considered to the beginning of designing thinking because of the sense of logical order system. In this study, it was regarded the mathematics as the logic and the measurement of design system. as is often the case in history, mathematics, it is regard as conceptual model of architectural though, as aesthetic proportional measure and the mirror of thought. The direction of this study is rather multi-sided approaching to the spatial concept than one-sided plane. It is multi-acceptable way to apply mathematical principle to the pace and to be a flexible one. And boundary of interpretation of the flexibility means potential use-ability, and the strictly meaning of flexibility means that the acception of the various Secession and the Change of space. And the various interpretation of the flexibility only can expressed in the relation of opposite concept: the assembly and the disassembly, the expand and the decease, the open and the close and the construct and the de-construct. Mathematics provide the resonable way in architectural thinking and endow the order as logical organizatiov. Regarding these facts, this research is for making it possible to consider the expression property of interior space combination as the way of understanding the accepting of the changes of the times with the mathematical induction, using the rational method like the mathematical arrangement organizatiov.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2011년도 정기총회 및 추계학술대회 논문집
• /
• pp.172-180
• /
• 2011

When it essentially designs and develops the Railway Signal System H/W and S/W, It requires base to build an environment which the safety of the complete system can be certified objectively. It is not rational choice to progress the safety certification of each of the subsystems to ensure reliability from an economic point of view. Furthermore, Even though H/W and S/W already certificated the safety, In case of changing subsystem to comprise relevant system, The safety certification of its parts newly must proceed. This study to solve these problems covers safety H/W platform which is commonly applicable to composition plan at Ground railway signaling systems such as CBTC, ETCS, CBI and safety-based modeling approach with S/W development tools (SCADE) and certificated O/S (Pike) to build the development environment. In addition, When it designs and develops safety S/W, This study explains structure to separate the data section which for logical operations and logical operations itself and provides guideline to support the certification through minimizing changes to the software.