• Journal of the Korean earth science society
• /
• v.31 no.2
• /
• pp.185-204
• /
• 2010

Inquiring earth science phenomena is characterized by the followings: a big scale of time and space, inaccessibility, uncontrollability, and complexity. Thus, it is very difficult or, in some cases, impossible to investigate them through the actual manipulation in laboratories. Therefore, it is necessary to provide chance for students to experience scientific inquiry without actual manipulation in earth science classes. This study is to explore the role of reasoning based on a thought experiment as a representative model without actual manipulation, and to investigate features of various inquiry models using reasoning in classes. We can make implications when applying for applying each inquiry model to earth science classes, proposing a reasoning-based inquiry model embedded in earth scientific phenomena.

• Journal of the Korean Institute of Telematics and Electronics C
• /
• v.36C no.10
• /
• pp.29-38
• /
• 1999

This paper presents a new algorithm RICP(Redundancy Identification using Critical-pair Paths) to identify untestable faults in combinational logic circuits. In a combinational logic circuit, untestable faults occurred by redundancy of circuits. The redundancy of a circuit can be detected by analyzing areas of fanout stem and reconvergent gates. The untestable faults are identified by analyzing stem area using Critical-Pair path which is an extended concept of critical path. It is showed that RICP is better than FIRE(Fault Independent REdundancy identification) algorithm in efficiency. The performance of both algorithms was compared using ISCAS85 bench mark testing circuits.

• ICROS
• /
• v.6 no.4
• /
• pp.28-37
• /
• 2000

본 논문에서는 관리제어시스템의 대상인 이산사건시스템을 하나의 전역 관리제어기 (global supervisor)가 아닌 여러 개의 국소 관리제어기(local supervisor)들의 동시수행 (concurrent action)을 통한 분산관리제어에 대해 알아본다. 반적으로 관리제어 대상시스 템 G 의 사양에 대해 관리제어가 설계가능하면 하나의 전역 관리제어기(S)를 설계하여 관리제어시스템의 언어 L(S/G)를 생성할 수 있다. 이에 반하여, 분산 관리제어이론은 주 어진 사양(specification)에 대해 여러 개의 국소 관리제어기(Si) 들의 동시수행(∧Si/G)를 생성함으로써 전역 관리제어기와 동등한 역할 즉 L(S/G)=L(∧Si/G)을 이루고자 하는 데 그 목적이 있다. 리제어 대상시스템 G의 발생가능한 사건들에 관해 제어가능성과 관측가 능성을 고려하여 모든 사건들이 관측가능할 경우와 관측불가능한 사건들이 존재하는 경 우로 구분하여 분산 관리제어시스템의 설계에 대해 알아본다. 또한 관측 불가능한 경우 와 관측불가능한 사건들이 존재하는 경우로 구분하여 분산 관리제어시스템의 설계에 대 해 알아본다. 또한 관측불가능한 사건들이 존재할 때 사양언어(specification language) K 가 여러 개의 국소사양 (local specification)들의 교집합으로 주어진 경우의 국소 분산 관 리제어와 하나의 전역사양(global specification)으로 주어진 경우의 전역 분산 관리제어 로 세분하여 각각의 분산 관리제어결과가 전역 관리제어결과와 서로 같아질 수 있는 조 건에 대해 알아본다

• Proceedings of the Korea Society of Information Technology Applications Conference
• /
• 2001.05a
• /
• pp.31-36
• /
• 2001

KMS에서 지식전달 및 지식공유를 위한 커뮤니케이션 도구는 필수적인 요소지만 현재 국내 KMS에서 채택하고 있는 비실시간, 혹은 문자 중심의 커뮤니케이션 도구로는 지식전달 및 공유를 위한 조직원간의 커뮤니케이션 활성화가 불가능하다. 본 연구에서는 KMS의 커뮤니케이션 활성화를 위한 실시간 멀티미디어 인스턴트 메신저의 역할을 제시하였다. 제시된 KMS용 실시간 멀티미디어 시스템은 화상/음성통신, 문자/그래픽통신, 화이트보드통신, 화면공유, 그리고 에스코티드 브라우징과 같은 다양한 커뮤니케이션 방법을 제공하기 때문에 조직원간의 지식공유/전달, 공동작업, 그리고 사용자 편리성 및 접근성을 제공할 수 있을 것이다. KMS에서 지식전달 및 지식공유를 위한 커뮤니케이션 도구는 필수적인 요소지만 현재 국내 KMS에서 채택하고 있는 비실시간, 혹은 문자 중심의 커뮤니케이션 도구로는 지식전달 및 공유를 위한 조직원간의 커뮤니케이션 활성화가 불가능하다. 본 연구에서는 KMS의 커뮤니케이션 활성화를 위한 실시간 멀티미디어 인스턴트 메신저의 역할을 제시하였다. 제시된 KMS용 실시간 멀티미디어 시스템은 화상/음성통신, 문자/그래픽통신, 화이트보드통신, 화면공유, 그리고 에스코티드 브라우징과 같은 다양한 커뮤니케이션 방법을 제공하기 때문에 조직원간의 지식공유/전달, 공동작업, 그리고 사용자 편리성 및 접근성을 제공할 수 있을 것이다.

• Proceedings of the Korea Committee for Ocean Resources and Engineering Conference
• /
• 2002.10a
• /
• pp.83-87
• /
• 2002

종강도 위주의 일반 상선의 LMC 의 경우는 단지 선박을 l 차원 Beam Model 로 단순화하여 선미로부터 선수까지의 Weight Distribution 과 Buoyancy Distribution 을 계산하여 두 값의 차이를 Shear Force 로 계산하고 Shear Force 적분값을 Bending Moment 로 계산한다. 횡강도가 중요시되는 Barge 선의 경우 Global Transverse Strength 같은 경우에는 위의 식을 적용할 수 있으나 복수의 바지선을 Hinge Type 이 아닌 Fixed Type 으로 고정시켜 사용할 경우 각각의 Connector 에 작용하는 Strength 값이 횡강도의 큰 비중을 차지한다. 일반적인 Load Master Computer 의 경우 이와 같은 계산이 불가능하며 NAPA 와 같은 전용 계산 프로그램의 경우 하나의 Condition 을 계산하는데 소요되는 시간이 많아 실질적인 Monitoring 은 불가능하다. 이에 특수목적의 Load Master Computer(ShipManager-88) 를 제작하게 되었고 이 Program 을 이용하여 Loadout 과 Floatoff 의 Simulation 을 수행하고 Monitoring 하였다. ShipManager-88 은 Barge 선의 종강도 횡강도, Stability, Trim & Draft 등을 계산하며 Sequence 기능으로 실제 LOADOUT 과 FLOATOFF 시의 모의시뮬레이션을 수행해 볼 수 있으며 Online Interlace 제공으로 Tank 에 설치된 센서에서 Level 값을 받아 실시간으로 현재 선박의 상태를 정확하게 계산할 수 있다. 실제 LOADOUT and FLOATOFF 를 수행하면서 Check 한 부분은 종강도, 횡강모 Stability, Deform, Connector Strength, Level 등을 Check 하였고 종방향의 LOADOUT 이 불가능한 Project 를 위해 Transverse LOADOUT 을 이용할 계획이다.

• Proceedings of the Korean Society of Propulsion Engineers Conference
• /
• 2004.10a
• /
• pp.141-145
• /
• 2004

The residual propellant of satellite is the primary factor of satellite life. This propellant used in the satellite is stored as liquid in tanks. But it is very difficult to accurately measure propellant to be used for maintaining of satellite by an irregular influence of environment. In this paper, a new method of gauging propellant residual of satellite employing multi-tank system by measuring mass flow of thermal pumping liquid propellant is presented. In cases of being connected between tanks, propellant in tanks move by temperature difference of tanks. If propellant mass flow is measured at line between tanks, residual propellant in tanks is able to be estimated.

• Journal of Korean Orthopaedic Sports Medicine
• /
• v.6 no.2
• /
• pp.126-129
• /
• 2007

An irreducible dislocation of the knee joint is quite rare. Most irreducible knee dislocations are posterolateral dislocations and result from the soft tissue interposition. To the best of our knowledge, there is no report of an irreducible knee dislocation result from interposition of the detached cartilage from the medial femoral condyle. We present a case of 51 years old female with irreducible knee dislocation which was treated with an arthroscopic debridement of the detached cartilage, result in reduction of the joint, which is failed in closed reduction. And then we perform the delayed arthroscopic reconstructions for the ruptured anterior and posterior cruciate ligaments. Debridement of the interposed structure using the arthroscope allows for reduction of the joint and good result without the need for an open procedure.

• Journal of KIISE:Information Networking
• /
• v.30 no.6
• /
• pp.705-713
• /
• 2003

For group security to protect group data or to charge, group keys should be updated via key update messages when the membership of group changes. If we lose these messages, it is not possible to decrypt the group data and so this is why the recovery of lost keys is very significant. Any message lost during a certain member is logged off can not be recovered in real-time. Saving all messages and resending them by KDC (Key Distribution Center) not only requests large saving spaces, but also causes to transmit and decrypt unnecessary keys. This paper analyzes the problem of the loss of key update messages along with other problems that may arise during member login procedure, and also gives an efficient method for recovering group keys and auxiliary keys. This method provides that group keys and auxiliary keys can be recovered and sent effectively using information stored in key-tree. The group key generation method presented in this paper is simple and enable us to recover any group key without storing. It also eliminates the transmissions and decryptions of useless auxiliary keys.

• School Mathematics
• /
• v.10 no.4
• /
• pp.557-571
• /
• 2008

The objective of this paper is to study De Morgan's thoughts on teaching and learning negative numbers. We studied De Morgan's point of view on negative numbers, and analyzed his didactical approaches for negative numbers. De Morgan make students explore impossible subtractions, investigate the rule of the impossible subtractions, and construct the signification of the impossible subtractions in succession. In De Morgan' approach, teaching and learning negative numbers are connected with that of linear equations, the signs of impossible subtractions are used, and the concept of negative numbers is developed gradually following the historic genesis of negative numbers. Also, we analyzed the strengths and weaknesses of the De Morgan's approaches compared with the mathematics curriculum.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.15 no.10
• /
• pp.6076-6083
• /
• 2014

Service recovery research has been conducted on the premise that service problems can be returned to the original condition. This study, however, focused on irrecoverable service problems for the first time and classified them according to the types and sub-types. The specific wants of customers who experienced unrecoverable service problems were identified by analyzing the customers' emotion, behavior pattern, and the company's responses. The results revealed three main types of problems and 2 categories in group 1, 6 categories in group 2, and 2 categories in group 3. In particular, damaged items and bodily harm were frequent problems, and bodily harm was recognized as the most severe failure. Regarding the customers' emotion, the customers were so enraged at the audacity and the company still showed many problems in terms of its response to the service failures. This study also suggested the analysis results of the customers' behavior and company evaluation.