• Korean Chemical Engineering Research
• /
• v.49 no.3
• /
• pp.348-351
• /
• 2011

In this research, we developed a sensor system which can easily detect several chelating agents using polydiacetylene(PDA) vesicles. In comparison to other sensors, PDA based sensor has several advantages. First, detection method is much simpler and faster because it does not require any labeling step in the experiment procedure. Second, significant color-transition from blue to red based upon external stimulus allows us the detection by naked eyes. Finally, it is also possible to perform quantitative analysis of the concentration of the chelating agent by measuring the colorimetric response. In this paper, five types of chelating agents were used, including EDTA, EGTA, NTA, DCTA and DTPA. Among them, EDTA and DCTA triggered especially strong color-transition. In conclusion, this study has led to a successful development of a color transition-based PDA sensor system for easy and rapid detection of chelating agents.

• Proceedings of the KSR Conference
• /
• 2004.10a
• /
• 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.

• Proceedings of the Korean Society of Machine Tool Engineers Conference
• /
• 2004.04a
• /
• 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.

• Proceedings of the Korean Vacuum Society Conference
• /
• 2010.08a
• /
• 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.

• The Journal of Korea Robotics Society
• /
• v.13 no.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.

• The Transactions of the Korean Institute of Electrical Engineers B
• /
• v.53 no.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.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.29 no.3B
• /
• pp.360-374
• /
• 2004

The OSPF protocol is the most widely used Interior Gateway Routing Protocol. Therefore, for the reliability of behavior of gigabit swiching routers, it is essential to guarantee the interoperability and the safety of the OSPF protocol. In this paper, we analyze the standard document of the OSPF protocol, so that we provide a formal specification that specifies the protocol behaviors by detailed design level using the algebraic formal method. By referring available source codes of the OSPF protocol, we supplement the formal specification to express more detailed behaviors that is not specified definitely in the standard. We also formally verify the interoperability and the safety of the protocol state machine of the specification. By showing that the formal specification specify all of the states and the transition events that appear in the standard document of the OSPF protocol, we prove that the state machine has the completeness, and prove it has the interoperability. To prove that the specification of the protocol has the safety, we formally verify the reachability, the liveness, the livelock-free property, and the deadlock-free property. As a result, we prove the protocol has the consistency. The specification and the validation are also effective to the OSPF Version 3 that inherit the protocol mechanism of the OSPF Version 2.

• Journal of Korean Society of Occupational and Environmental Hygiene
• /
• v.19 no.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.