• Review of KIISC
• /
• v.22 no.5
• /
• pp.35-39
• /
• 2012

철도시스템은 시설, 차량, 역사, 전기, 신호통신 등 거의 모든 분야가 통합되어 상호 유기적으로 동작함으로써 안전하고 신뢰성 있는 운행을 가능하게 한다. 특히, 철도에 처음으로 컴퓨터 시스템을 도입한 열차운행제어 설비인 관제시스템은 선구를 운행하는 모든 열차에 대하여 중앙에서 원격 감시 및 제어를 수행함과 동시에 열차운행에 관련된 모든 정보를 취합하고 이를 각 분야별로 전송하여 열차 운행의 정시성을 보장하는 중요한 설비이다. 따라서, 관제시스템은 열차운전 통제 및 감시의 일관성, 효율성, 적시성을 기하여 열차의 안전운행 확보와 지연을 최소화하고 있다. 이와 같이 열차운행의 중요설비인 관제시스템은 국가 보안시설로 평상시는 일반인의 출입이 금지될 뿐만 아니라 시스템적으로 외부로부터의 침입방지 및 보안 대책은 무엇보다도 중요한 현안이므로 관제시스템에 대한 보안 위협을 분석하고 이에 대한 보안대책 및 대응방안 등에 대하여 논의하고자 한다.

• Review of KIISC
• /
• v.15 no.2
• /
• pp.8-17
• /
• 2005

대부분의 IT 영역이 네트워크화 되어 서로 유기적으로 융합됨에 따라, 인터넷 영역의 범위는 시간이 지날수록 그 범위가 기하급수적으로 넓어지고 있다. 이런 현상에 따라 현재 사용되는 IPv4 환경의 네트워크로는 그 요구를 수용하기에 한계에 이르렀다. W를 사용하는 시스템의 영역이 일반 가전, 휴대 단말기 등으로 급속히 확대되면서 IPv4 네트워크 영역에서는 이들 시스템을 수용하기 위해 주소 영역을 확장하기 위한 수단으로 NAT 등과 같은 기법 등을 적용하고 있지만 이 역시 조만간 역부족일 것이다. 그리고 IPv4 네트워크 구조는 보안에 염두에 두지 않고 통신에 그 기능을 맞추고 있던 터라 보안 문제가 심각한 화제로 떠오르고 있는 현실에는 부족함이 없지 않다. 따라서 IPv4의 차세대 버전으로 IPv6가 연구되어 왔고, 현재는 대부분의 운영체제에서 IPv6를 지원하고 있다. IPv6는 주소 표현의 특성상 IPv4와는 비교도 되지 않는 많은 주소를 지원하고 프로토콜 자체에 IPsec 이라는 보안 프로토콜을 지원하여 보안 기능을 기본으로 제공한다. 본 논문에서는 리눅스 시스템 기반의 IPv6 네트워크에서 IPsec을 이용하여 네트워크 트래픽을 보호하는 방법에 대해 설명한다. 본 논문에 적용한 IPsec 프로토콜은 USAGI라는 프로젝트에서 제공하는 IPsec 프로토콜을 사용하여 다양한 모드에서의 IPsec 동작 방법을 설명한다.

• Journal of Educational Research in Mathematics
• /
• v.16 no.4
• /
• pp.367-386
• /
• 2006

There are two strands for considering tile relationships between education and technology. One is the viewpoint of 'learning from computers' and the other is that of 'learning with computers'. In this paper, we call mathematics education with computers as 'computers and mathematics education' and this computer environments as microworlds. In this paper, we first suggest theoretical backgrounds ai constructionism, mathematization, and computer interaction. These theoretical backgrounds are related to students, school mathematics and computers, relatively As specific strategies to design a microworld, we consider a physical construction, fuctiionization, and internet interaction. Next we survey the different microworlds such as Logo and Dynamic Geometry System(DGS), and reform each microworlds for mathematical level-up of representation. First, we introduce the concept of action letters and its manipulation for representing turtle actions and recursive patterns in turtle microworld. Also we introduce another algebraic representation for representing DGS relation and consider educational moaning in dynamic geometry microworld. We design an integrating microworld between Logo and DGS. First, we design a same command system and we get together in a microworld. Second, these microworlds interact each other and collaborate to construct and manipulate new objects such as tiles and folding nets.

• Journal of Korean Society of Occupational and Environmental Hygiene
• /
• v.20 no.1
• /
• pp.53-62
• /
• 2010

일샵 종사자들의 1) 공기 중 화학물질에 대한 노출정도를 파악하고 2) 공기 중 미량으로 존재하는 아세톤 및 톨루엔과 요 중 아세톤 및 마뇨산과의 연관성을 분석하여 후자들이 아직도 생물학적인 지표로 유용한지를 알아보고자 본 연구를 실시하였다. 경인 지역소재 9개의 네일숍에 근무하는 20명의 종사자들을 노출군으로 선정하였으며 이 작업과 무관한 일반 여성 20명을 대조군 선정하였다. 작업장 공기는 한 네일숍에 3개씩 총 27개의 시료를 가능한 한 작업자의 호흡영역에서 가장 가까운 곳에서 지역시료로 채취하였다. 공기 중 유기증기 13개 물질, 포름알데히드, 요 중 아세톤, 요 중 마뇨산을 가스크로마토그래프, 자외선분광광도계 그리고 GC/MS를 이용하여 분석하였다. 유기증기 13개 물질 중 아세톤과 톨루엔은 모든 네일샵에서 검출되었다. 각 네일샵 공기 중 유기증기의 노출정도를 기하평균(GM)과 복합물질간 상가작용을 이용하여 평가를 하였을 때 노동부 노출기준의 10%, ACGIH의 13% 수준에 불과하여 네일샵 종사자들의 유기증기에 대한 직업적인 노출정도는 매우 낮은 것으로 판단되었다. 요 중 아세톤과 마뇨산은 공기 중 아세톤과 툴루엔과 약한 상관성을 보였다(아세톤의 상관 계수 r=0.49, 톨루엔의 상관계수 r=0.45). 그러나 요 중 아세톤의 농도가 노출군과 대조군 간에 통계적으로 유의하지 않았으며 마뇨산은 대조군에 비해 노출군에서 약간 높은 것으로 나타났다. 따라서 저자들은 공기 중 아세톤과 톨루엔의 농도가 낮은 작업장에서 요 중 아세톤과 마뇨산을 생물학적 지표로 삼는 것은 적절하지 못한 것으로 결론지었다.

• Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
• /
• v.36 no.6
• /
• pp.545-554
• /
• 2018

As the map paradigm shifts from analog to digital, the LOD (Level Of Detail) of spatial information needs to be redefined. In this study, we propose 4- dimensional indoor LOD model which can be used in digital map environment. For this purpose, the limitation of the previous research is derived through study of related works, and based on this, four different LODs are defined such PLOD (Position accuracy LOD) based on position accuracy, GLOD (Geometric LOD) based on shape representation, CLOD (Complete LOD) based on generalization, and SLOD (Semantic LOD) based on theme accuracy. In addition, we describe the relationships among the four different LODs, and explain how to express the indoor LOD using the four different LODs and show examples. In the future, the case studies of indoor LOD adoption for various indoor services and the study of method for applying CLOD and SLOD to each feature should be performed to verify the feasibility and validity of proposed indoor LOD.

• Communications of Mathematical Education
• /
• v.29 no.1
• /
• pp.131-155
• /
• 2015

The purpose of this study is to investigate if top-ranked high school students do integrated understanding about the concept of a differential coefficient. For here, the meaning of integrated understanding about the concept of a differential coefficient is whether students understand tangent and velocity problems, which are occurrence contexts of a differential coefficient, by connecting with the concept of a differential coefficient and organically understand the concept, algebraic and geometrical expression of a differential coefficient and applied situations about a differential coefficient. For this, 38 top-ranked high school students, who are attending S high school, located in Cheongju, were selected as subjects of this analysis. The test was developed with high-school math II textbooks and various other books and revised and supplemented by practising teachers and experts. It is composed of 11 questions. Question 1 and 2-(1) are about the connection between the concept of a differential coefficient and algebraic and geometrical expression, question 2-(2) and 4 are about the connection between occurrence context of the concept and the concept itself, question 3 and 10 are about the connection between the expression with algebra and geometry. Question 5 to 9 are about applied situations. Question 6 is about the connection between the concept and application of a differential coefficient, question 8 is about the connection between application of a differential coefficient and expression with algebra, question 5 and 7 are about the connection between application of a differential coefficient, used besides math, and expression with geometry and question 9 is about the connection between application of a differential coefficient, used within math, and expression with geometry. The research shows the high rate of students, who organizationally understand the concept of a differential coefficient and algebraic and geometrical expression. However, for other connections, the rates of students are nearly half of it or lower than half.

• Journal of Educational Research in Mathematics
• /
• v.25 no.2
• /
• pp.225-240
• /
• 2015

In this study, we investigated the representativeness of proofs in school mathematics, based on the extension of the midpoint connector theorem for the quadrilateral. To this end, we considered a variety of quadrilateral and proved their extensions of the midpoint connector theorem, and identified the relationships between them, therefore seemed that the proof in school mathematics has a representativeness. On the other hand, in the survey based on this information, students were found only some types of quadrilateral and completed easily the proofs for each quadrilateral they found, but students tended to use other proof or mathematical concepts, if the target figures changes in despite of proving the same mathematical fact. Thus, students were more difficult to figure out the relationship between the proofs. From these facts, we know that students are poorly understood the representativeness of proofs to understand the relationship between concrete proofs and to generalize it, though they are able to proof to the specific figures. Therefore it can be seen that the proof activity needs to be done with organic and semantic.

• Journal of Digital Contents Society
• /
• v.19 no.2
• /
• pp.415-423
• /
• 2018

In recent years, Computer-based learning, such as machine learning and deep learning in the computer field, is attracting attention. They start learning from the lowest level and propagate the result to the highest level to calculate the final result. Research literature has shown that systematic learning and growth can yield good results. However, systematic models based on systematic models are hard to find, compared to various and extensive research attempts. To this end, this paper proposes the first TNT(Transitive Nested Triangle)model, which is a growth and fusion model that can be used in various aspects. This model can be said to be a recursive model in which each function formed through geometric forms an organic hierarchical relationship, and the result is used again as they grow and converge to the top. That is, it is an analytical method called 'Horizontal Sibling Merges and Upward Convergence'. This model is applicable to various aspects. In this study, we focus on explaining the TNT model.

• Journal of KIISE:Software and Applications
• /
• v.31 no.3
• /
• pp.343-352
• /
• 2004

Recently, the information processing of ever increasing bio-related data is becoming a very important issue. One of the main sources of these bio-data comes with the form of biopathways, which includes molecular transactions and processes that are part of biochemical systems. The information represented by biopathways includes various organic relations among its components. However, most of the current systems to represent biopathways have been initially developed without computer processing in mind, and hence suffer from inconsistencies and ambiguities. In this paper, we propose an improved notation, called UniPath, for clear and systematic representation of biopathways. The proposed system is designed to provide a unified representation of metabolic and regulatory pathways. We also designed and implemented a graphic editor for UniPath to draw biopathwavs map according to the proposed notation. The graphic editor is designed so that biopathway data can be easily transformed into XML format.

• Journal of Korean Society of Transportation
• /
• v.18 no.4
• /
• pp.107-115
• /
• 2000

We suggest a method which solves the planar, two vehicle collision reconstruction problem. The method based on the Principle of impulse and momentum determines the pre-impact velocity components from Post-impact velocity components, vehicle Physical data and collision geometry. A novel feature is that although the impact coefficients such as the restitution coefficient and the impulse ratio are unknown, the method can estimate automatically the coefficients and calculate the pre-impact velocity components. This reverse calculation is important for vehicle accident reconstruction, since the pre-impact velocities are unknown and Post-impact Phase is the starting Point in a usual collision analysis. However. an inverse solution is not always Possible with the analytical rigid-body impact model. Mathematically, one does not exist under the common velocity condition. On the other hand, our method has a capability of reverse calculation under the condition if the absorbed energy during the collision process can be estimated using the crush profile. To validate the developed collision reconstruction a1gorithm, we use car-to-car collision test results. The analysis and experimental results agree well in the impact coefficients and the Pre-impact velocity components.