• Korean Chemical Engineering Research
• /
• 제49권3호
• /
• pp.348-351
• /
• 2011

본 연구에서는 폴리다이아세틸렌(polydiacetylene, PDA) 베시클을 이용하여 여러 가지 킬레이트제(chelating agent)를 쉽게 검출할 수 있는 센서 시스템을 개발하였다. 다른 센서들과 비교하여 PDA기반 센서는 많은 장점이 있다. 첫째로, 형광물질의 부착이 필요 없는 무표지 검출(label-free detection)이 가능하여 실험 절차가 간단하고 빠르다. 둘째로, PDA는 청색에서 외부 자극에 의해 적색으로 변화하는 색전이를 일으키므로 육안으로 쉽게 검출을 확인할 수 있었다. 끝으로, 특정 파장에서의 colorimetric response를 측정하여 각각의 킬레이트제의 농도에 따른 정량검출도 가능하다. 본 연구에서는 5가지 종류의 킬레이트제, 즉 EDTA, EGTA, NTA, DCTA, DTPA를 PDA 베시클과 반응시켰으며, 이중에서 EDTA, DCTA는 특히 강한 반응으로 PDA의 색전이를 유도함을 알 수 있었다. 본 연구를 통하여 PDA 베시클을 사용하여 어떠한 기계나 동력을 사용하지 않고 색전이를 이용하여 킬레이트를 성공적으로 검출할 수 있음을 보여주었다.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2004년도 추계학술대회 논문집
• /
• pp.1241-1246
• /
• 2004

The verification confirms a correspondence between requirements and a specification before implementing. The problem in the formal method verifying a protocol specification using model checking is that the protocol behaviors must be always specified in L TS(Label Transition System). But if Region Automata is applied to the model checking, it is enable to verify whether properties are true on specification specified in I/O FSM(Input/Output Finite State Machine) as well as LTS. In this paper, we verify the correctness of rail signal control protocol type 1 specified in I/O FSM by using model checking method and region automata. This removes many errors and ambiguities of an informal method used in the past and saves down expenditures and times required in the protocol development. Therefore it is expected that there will be an increase in safety, reliability and efficiency in terms of the maintenance of the signaling system by using the proposed verification methods.

• 한국공작기계학회:학술대회논문집
• /
• 한국공작기계학회 2004년도 춘계학술대회 논문집
• /
• pp.225-230
• /
• 2004

A cold ＆ hot rolling coil production line of iron nill consists of a kind of coherent automatic process, but an automatic labelling process still had technical difficulties in the automation of its process. The reason for difficulties in building an automatic process is that quantitative data for each rolled coil from every shipping is not easy to receive from the previous process. it is not possible to apply for a general and simple purpose robot that is actually worked through a taught position to the process because the size and direction of the coi1 has differed on every shipping. From these reasons. we introduce a robot vision system to accept an expected variable situation and to ensure the stability and flexibility of the process. This paper examines a study applied for similar cases and finds the position and direction of relied coil using the moment invariant algorithm proposed by Hu. In addition. the camera calibration and position error compensation algorithm is applied by the analysis of the relationship of transition in a space coordinate system. The construction of a robot vision system proposed by this paper is a more intellectual system than that of the automatic labelling system. which is already used to the Daihen steel nill of NEW JAPAN steel mill co. Ltd in Japan, and shows a better independent operation in the field of production.

• 한국진공학회:학술대회논문집
• /
• 한국진공학회 2010년도 제39회 하계학술대회 초록집
• /
• pp.261-261
• /
• 2010

Photonic band gap (PBG) materials have been of great interest due to their potential applications in science and technology. Their applications can be further extended when PBG becomes tunable against various chemical and electrical stimuli. In recent, it was found that tunable photonic band gap materials can be achieved by incorporating stimuli-responsive smart gels into PBG materials. For example, the characteristic volume phase transition of gels in response to the various external stimuli including temperature, pH, ionic strength, solvent compositions and electric field were recently combined with the unique optical properties of photonic crystals to form unprecedented highly responsive optical components. Since these responsive photonic crystals are capable of reversibly converting chemical or electrical energy into characteristic optical signals, they have been considered as a good platform for label-free chemical or biological detection, actuators or optical switches as well as a model system for investigating gel swelling behavior. Herein, we report block copolymer photonic gels self-assembled from polystyrene-b-poly (2-vinyl pyridine) (PS-b-P2VP) block copolymers. In this talk, we are going to demonstrate that selective swelling of lamellar structure can be effectively utilized for fabricating PBG materials with extremely large tunability. Optical properties and their applications will be discussed.

• 로봇학회논문지
• /
• 제13권4호
• /
• pp.230-236
• /
• 2018

3D depth perception has played an important role in robotics, and many sensory methods have also proposed for it. As a photodetector for 3D sensing, single photon avalanche diode (SPAD) is suggested due to sensitivity and accuracy. We have researched for applying a SPAD chip in our fusion system of time-of-fight (ToF) sensor and stereo camera. Our goal is to upsample of SPAD resolution using RGB stereo camera. Currently, we have 64 x 32 resolution SPAD ToF Sensor, even though there are higher resolution depth sensors such as Kinect V2 and Cube-Eye. This may be a weak point of our system, however we exploit this gap using a transition of idea. A convolution neural network (CNN) is designed to upsample our low resolution depth map using the data of the higher resolution depth as label data. Then, the upsampled depth data using CNN and stereo camera depth data are fused using semi-global matching (SGM) algorithm. We proposed simplified fusion method created for the embedded system.

• 대한전기학회논문지:전기기기및에너지변환시스템부문B
• /
• 제53권6호
• /
• pp.380-387
• /
• 2004

In accordance with the computerization of railway signaling systems, the interface link between the signaling systems has been replaced by a digital communication channel. At the same time, the importance of the communication link has become increasingly significant. However, there are some questionable matters in the current state of railway signaling systems in KNR. First, different communication protocols have been applied to create an interface between railway signaling systems although the protocols have the same functions. Next, the communication protocols currently used in the railway fields have some illogical parts such as structure, byte formation, error correction scheme, and so on. To solve these matters, the standard communication protocol for railway signaling systems is designed. The newly designed protocol is overviews in this paper. And the simulation is performed to analysis the performance of data link control for designed protocol. According to this simulation, it is identified that the link throughput of new protocol is improved about 10% and the frame error rate is improved than existing protocol. And it is verified the safety and liveness properties of designed protocol by using a formal method for specifying the designed protocol. It is expected that there will be an increase in safety, reliability and efficiency in terms of the maintenance of the signaling systems by using the designed communication protocol for railway signaling.

• 한국통신학회논문지
• /
• 제29권3B호
• /
• pp.360-374
• /
• 2004

OSPF 프로토콜은 가장 보편적으로 사용되고 있는 Interior Gateway Routing Protocol 이다. 그러므로, 초고속 라우터의 동작의 신뢰성 확보를 위해, OSPF 프로토콜의 상호운용성과 안전성의 보장은 중요하다. 본 논문에서는 OSPF 라우팅 프로토콜의 표준 문서를 분석하여, 프로토콜 동작들을 대수 정형 방법을 사용하여 상세 설계 수준으로 명세하고, OSPF 프로토콜의 가용한 원천코드를 참조하여, 표준에 명확하게 명세되지 않은 좀더 상세한 동작까지 표현하도록 이 명세를 보완하였다. 그리고 명세된 프로토콜 상태 기계의 상호운용성과 안전성을 정형적으로 증명하였다. 우리는 먼저 제시한 정형적 명세가 OSPF 프로토콜의 표준 문서에 나타난 모든 상태들과 모든 천이 이벤트들을 표현하고 있어, 명세된 프로토콜 상태기계가 완전성을 가지고 있다는 사실을 보이고, 또한 상호운용성을 가짐을 증명하였다. 그리고 프로토콜의 동작의 안전성을 증명하기 위해, 생존성, 그리고 라이브락 부재를 정형적으로 증명하고, 교착상태 부재 역시 정형적으로 증명하였다. 결과적으로 OSPF 프로토콜이 일관성을 가진다는 사실을 보인다. 본 명세와 검증은 기존외 OSPF Version 2의 프로토콜 메커니즘을 그대로 계승한 OSPF Version 3에서도 유효하다.

• 한국산업보건학회지
• /
• 제19권4호
• /
• pp.347-362
• /
• 2009

The United Nation agreed to adopt the Globally Harmonized System of Classification and Labelling of Chemicals (GHS) until 2008 to solve the significant differences enough to result in different labels or MSDS for the same chemical in different jurisdictions. Though the GHS is an ideal solution in the respect of pursuing only one format of a MSDS throughout the world, it may cause confusion at the beginning due to lack of information. So the Korean Ministry of Labor (MOL) revised the Industrial Safety and Health Act (ISHA) and related public notice on the classification & labelling of chemicals according to the GHS in 2006. The transition period for the implementation of the GHS for substances was set until Jun 30, 2010, and for mixtures until Jun 30, 2013. To promote the implementation of the GHS in Korea, we developed an application program for constructing MSDS database and a management program for providing MSDS contents on the web in accordance with the GHS. We analyzed the sixteen sections of MSDS by the GHS guideline, and the result showed the necessity to construct logically connected DB for chemical identifier, hazard classification, label, standard phrases and regulatory information. Each section of a MSDS was divided into sub-databases to update the database efficiently. According to Relational Database Management System (RDBMS), the sub-databases were automatically assembled and subsequently a full MSDS is produced. At present, MSDS database for 6,314 substances has been built and provided through internet as the MSDS Editing program. During the service period from January 1 to March 31, 13,666 users have searched MSDSs for 33,401 substances. During program review, some comments about the classification results and other MSDS element sources were reported but no technical bug reported. We expect that the MSDS DB management system in accordance with GHS will accelerate the implementation of the GHS in Korea.