• Journal of KIISE:Software and Applications
• /
• v.35 no.3
• /
• pp.149-161
• /
• 2008

As Programmable Logic Controllers(PLCs) are frequently used to implement real-time safety critical software, testing of PLC software is getting more important. We propose a structural testing technique on Function Block Diagram(FBD) which is one of the PLC programming languages. In order to test FBD networks, we define templates for function blocks including timer function blocks and propose an algorithm based on the templates to transform a unit FBD into a flowgraph. We generate test cases by applying existing testing techniques to the generated flowgraph. While the existing FBD testing technique do not consider infernal structure of FBD to generate test cases and can be applied only to FBD from which the specific intermediate model can be generated, this approach has advantages of systematic test case generation considering infernal structure of FBD and applicability to any FBD without regard to its intermediate format. Especially, the proposed method enables FBD networks including timer function blocks to be tested thoroughly. To demonstrate the effectiveness of the proposed method, we use trip logic of bistable processor of digital nuclear power plant protection systems which is being developed in Korea.

• Journal of KIISE:Software and Applications
• /
• v.37 no.4
• /
• pp.282-296
• /
• 2010

OWL is an ontology language for the Semantic Web, and suited to modelling the knowledge of a specific domain in the real-world. Ontology also can infer new implicit knowledge from the explicit knowledge. However, the modeled knowledge cannot be complete as the whole of the common-sense of the human cannot be represented totally. Ontology do not concern handling nonmonotonic reasoning to detect incomplete modeling such as the integrity constraints and exceptions. A default rule can handle the exception about a specific class in ontology. Integrity constraint can be clear that restrictions on class define which and how many relationships the instances of that class must hold. In this paper, we propose a practical reasoning system for open and closed-world reasoning that supports a novel hybrid integration of ontology based on open world assumption (OWA) and non-monotonic rule based on closed-world assumption (CWA). The system utilizes a method to solve the problem which occurs when dealing with the incomplete knowledge under the OWA. The method uses the answer set programming (ASP) to find a solution. ASP is a logic-program, which can be seen as the computational embodiment of non-monotonic reasoning, and enables a query based on CWA to knowledge base (KB) of description logic. Our system not only finds practical cases from examples by the Protege, which require non-monotonic reasoning, but also estimates novel reasoning results for the cases based on KB which realizes a transparent integration of rules and ontologies supported by some well-known projects.

• Journal of Bio-Environment Control
• /
• v.23 no.1
• /
• pp.26-30
• /
• 2014

Purpose of this study was a development of a sprayer arm auto control system that could be operated according to distance from pear trees for automation of pest control. Auto control system included two parts, hardware and software. First, controller was made with an MCU and relay switches. Two types of ultra-sonic sensors were installed to measure distance from pear trees: one on/off type that detect up to 3 m, and the other continuous type providing 0~5 V output corresponding to distance of 0~3 m. Second, an auto control algorithm was developed to control. Each spraying arm was controlled according to the sensor-based distance from the pear trees. And it could dodge obstacles to protect itself. Max and min signal values were eliminated, when five sensor signals was collected, and then signals were averaged to reduce sensor's noises. According to results of field experiment, auto control test result was better than non auto control test result. Spraying rates were 69.25% (left line) and 98.09% (right line) under non auto control mode, because pear trees were not planted uniformly. But, auto control test's results were 92.66% (left line) and 94.64% (right line). Spraying rate was increased by maintaining distance from tree.

• The Journal of Korean Association of Computer Education
• /
• v.13 no.2
• /
• pp.1-14
• /
• 2010

Previous researches on the improvement of logical thinking in Informatics subject have used general logical thinking test and only limited improvement of logical thinking by programming learning result. In this study, the operational definition of the logical thinking in problem-solving process on Informatics education is different from the general logical thinking and the logical thinking of the other subjects. Firstly, we suggested the operational definition of components of logical thinking using the open questionnaire by expert and research team discussion. Also, we suggested the relationship between the operational definition and contents of the 'problem-solving methods and procedure' section in secondary Informatics subject. Finally, this study developed the evaluation contents based on the operational definition of components of logical thinking. The components of logical thinking which was required in problem-solving process on Informatics subject were ordering reasoning, propositional logic, controlling variables, combinatorial logic, proportional reasoning. We suggested the relationship between operational definition and problem-solving process and assessment of logical thinking in problem-solving process on Informatics subject. This paper will give meaningful insight to supply the guideline of the teaching strategy and evaluation methods for improving the logical thinking in Informatics education.

• Journal of KIISE:Computer Systems and Theory
• /
• v.33 no.12
• /
• pp.894-906
• /
• 2006

There are many difficulties to develop a mobile contents due to many constraints on mobile environments. It is difficult to make a good mobile contents with only visual reduction of existing contents on wire Internet. Therefore, it is essential to devise the data representation and to develop the authoring tool to meet the needs of the mobile contents market. We suggest the compact mobile contents to learn Chinese characters and developed its authoring tool. The animation which our system produces is realistic as if someone writes letters with pen or brush. Moreover, our authoring tool makes a user generate a Chinese character animation easily and rapidly although she or he has not many knowledge in computer graphics, mobile programming or Chinese characters. The method to generate the stroke animation is following: We take basic character shape information represented with several contours from TTF(TrueType Font) and get the information for the stroke segmentation and stroke ordering from simple user input. And then, we decompose whole character shape into some strokes by using polygonal approximation technique. Next, the stroke animation for each stroke is automatically generated by the scan line algorithm ordered by the stroke direction. Finally, the ordered scan lines are compressed into some integers by reducing coordinate redundancy As a result, the stroke animation of our system is even smaller than GIF animation. Our method can be extended to rendering and animation of Hangul or general 2D shape based on vector graphics. We have the plan to find the method to automate the stroke segmentation and ordering without user input.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2001.04b
• /
• pp.743-746
• /
• 2001

자바는 객체지향 언어이고, 한번 작성된 프로그램은 자바 가상 기계가 있는 모든 곳에서 수정없이 실행될 수 있기 때문에 소프트웨어의 개발과 유지 보수에 많은 장점을 가진 언어이다. 이러한 특징으로 인하여 개발되는 제품들이 자바로 구현되는 경우가 많다. 그러나 아직 대다수 소프트웨어 개발자들은 주로 C 언어나 C++ 언어를 사용하고 있으며, 최근에는 C#이라는 언어를 사용하고 있다. 자바가 플랫폼에 독립적인 장점은 가지고 있지만, 다수의 개발자 및 사용자가 마이크로소프트 윈도우 운영체제를 사용하고 있다는 것을 감안한다면 그리 탁월한 장점만은 될 수 없다. 또한, 최근의 개발동향이 COM(Component Object Model)을 지향하고 있고, 이는 더 이상 개발자들에게 프로그래밍 언어에 구애를 받지 않고 오직 개발 제품에 대한 집중력을 가질 수 있는 환경을 제공할 수 있다면, 그 개발 효율에 있어서 상당한 이점을 가질 수 있다는 의미이다. 따라서, COL(Component Object Language)을 기반으로 하고 있는 C# (C sharp)언어를 사용하여 개발을 함에 있어서 자바의 언어를 C# 언어로 변환할 수 있다면, 신생 언어인 C#에 있어서 기존 자바로 되어 있는 유용한 개발 제품들을 보다 효율적으로 이용할 수 있을 것이다. 본 논문에서는 두 언어(자바, C#)를 하나로 잇는 교량(bridge)역할을 할 수 있도록 자바의 중간 언어인 Bytecode를 C#의 중간 언어인 MSIL(Microsoft Intermediate Language)로 바꿀 수 있는 중간 언어 번역기를 설계하고 구현하였다. 이를 위한 방법으로는 먼저, 자바 Bytecode 와 MSIL 의 어셈블리 형태에서의 명령어 매칭과정을 매핑 테이블을 이용하여 처리하였고, MSIL 에서 자바 Bytecode 의 함수와 같은 기능을 하는 메소드의 변환을 위하여 마크로 변환기법을 이용하여 해결하였다.I/O ratio 2.5). BTEX의 상대적 함량도 실내가 실외보다 높아 실내에도 발생원이 있음을 암시하고 있다. 자료 분석결과 유치원 실내의 벤젠은 실외로부터 유입되고 있었고, 톨루엔, 에틸벤젠, 크실렌은 실외뿐 아니라 실내에서도 발생하고 있었다. 정량한 8개 화합물 각각과 총 휘발성 유기화합물의 스피어만 상관계수는 벤젠을 제외하고는 모두 유의하였다. 이중 톨루엔과 크실렌은 총 휘발성 유기화합물과 좋은 상관성 (톨루엔 0.76, 크실렌, 0.87)을 나타내었다. 이 연구는 톨루엔과 크실렌이 총 휘발성 유기화합물의 좋은 지표를 사용될 있고, 톨루엔, 에틸벤젠, 크실렌 등 많은 휘발성 유기화합물의 발생원은 실외뿐 아니라 실내에도 있음을 나타내고 있다.>10)의 $[^{18}F]F_2$를 얻었다. 결론: $^{18}O(p,n)^{18}F$ 핵반응을 이용하여 친전자성 방사성동위원소 $[^{18}F]F_2$를 생산하였다. 표적 챔버는 알루미늄으로 제작하였으며 본 연구에서 연구된 $[^{18}F]F_2$가스는 친핵성 치환반응으로 방사성동위원소를 도입하기 어려운 다양한 방사성의 약품개발에 유용하게 이용될 수 있을 것이다.었으나 움직임 보정 후 영상을 이용하여 비교한 경우, 결합능 변화가 선조체 영역에서 국한되어 나타나며 그 유의성이 움직임 보정 전에 비하여 낮음을 알 수 있었다. 결론: 뇌활성화 과제 수행시에 동반되는 피험자의 머리 움직임에 의하여 도파민 유리가 과대평가되었으며 이는 이 연구에서 제안한 영상정합을 이용한 움직임 보정기법에 의해서 개선되었다. 답이 없는 문제, 문제 만들기, 일반화가 가능한 문제 등으로 보고, 수학적 창의성 중 특히 확산적 사고에 초점을 맞추어 개방형 문제가 확산적 사고의 요소인 유창성, 독창성, 유연성 등에 각각 어떤 영향을 미치는지 20주의 프로그램을 개발, 진행하여 그 효과를

• Journal of Korean Society of Transportation
• /
• v.17 no.1
• /
• pp.131-139
• /
• 1999

The quality of progression at signalized intersection has the largest potential effect. TRANSYT-7F is widely used to estimate the signal progression delay, but the progress of collecting and executing the compute program appears to be rather cumbersome. The research is to develop the analytical and progressing platoon delay model that is as simple as the methodology of HCM and familiar with the output of simulation model. The general approach to this research was conducted to examine the Rouphail and NCHRP 339 methodology together with the existing progression delay model (TRANSYT-7F. HCM). The scope is contained to be applicable only to cycles with no overflow queue and to obtain a comprehensive evaluation of the effects of changes in the quality of traffic signal progression on stopped delay and to be analyzed a simple mathematical method. The principle assumption for this model is that secondary flows is dispersed and partly mixed with average flow of the primary progressed flow. A second assumption is that through flow is consisted with the part of saturation flow at the front of it and the part of average flow at the rear of it. The delay equations vary for two arrival. The conclusion of this study could be summarized as 1)The evaluation of this model was consistently similar to that of TRANSYT-7F, 2) Platoon pattern has the real traffic flow characteristics. 3) The computing process of progression delay is made to have simple logic and easy calculation by integration, 4) This model could be estimated to be applied in almost all case.

• Proceedings of the Korean Institute of Surface Engineering Conference
• /
• 2016.11a
• /
• pp.140-140
• /
• 2016

유기전계발광소자 (Organic Light Emitting Diode : OLED)는 보조광원이 필요 없고 천연색 표현이 가능하며, 낮은 소비 전력 및 저전압 구동 등의 장점으로 이상적인 디스플레이 구현이 가능하여 차세대 디스플레이로써 많은 이목을 끌고 있으나 제한된 수명과 안정성의 문제점을 안고 있다. 따라서 OLED의 열화 원인을 분석하고 수명을 연장하기 위한 체계적인 방법과 기술 개발이 중요하다. Impedance Spectroscopy는 이온, 반도체, 절연체 등의 벌크 또는 계면 영역의 전하 이동을 조사하는데 사용될 수 있어, OLED에서도 Impedance Spectroscopy를 이용하여 전하수송과 전자주입 메커니즘 등 폭넓은 전기적 정보를 얻을 수 있다. 본 연구에서는 Impedance Spectroscopy를 이용하여 경과시간에 따른 OLED의 임피던스 특성을 측정하여 열화 메커니즘을 분석하였다. 본 연구에서 OLED는 ITO / 2-TNATA (4,4,4-tris2-naphthylphenyl-aminotriphenylamine) / NPB (N,N'-bis-(1-naphyl)-N, N'-diphenyl-1,1'- biphenyl-4,4'-diamine) / Alq3 (tris(quinolin-8-olato) aluminum) / Liq / Al으로 구성된 녹색 형광 OLED를 제작하였다. OLED의 전계 발광 특성을 측정하기 위한 전원 인가장치로 Keithley 2400을 사용하여 전압과 전류를 인가하였고, 소자에서 발광된 휘도 및 발광 스펙트럼은 Photo Research사의 PR-650 Spectrascan을 사용하여 암실 환경에서 측정하였다. 임피던스 스펙트럼은 컴퓨터 제어 프로그래밍이 가능한 KEYSIGHT사의 E4990A를 사용하여 측정하였다. 임피던스 측정 전압은 0 V부터 2 V 간격으로 8 V까지, 주파수는 20 Hz에서 2 kHz의 범위로 설정하여 측정하였다. I-V-L과 임피던스 특성은 24 시간의 간격을 두고 실온에서 측정하였다. 그림은 경과시간에 따른 녹색 형광 OLED의 인가전압 2 V, 6 V의 Cole-Cole plot을 나타낸 것이다. 문턱전압 미만인 인가전압 2 V에서는 소자를 통하여 전류가 흐르지 않아 큰 반원 형태를 나타내었고, 시간이 경과함에 따라 소자 제작 직후엔 실수 임피던스의 최댓값이 $8982.6{\Omega}$에서 480 시간 경과 후엔 $9840{\Omega}$으로 약간 증가하였다. 문턱전압 이상인 인가전압 6 V에서는 소자 제작 직후 실수 임피던스의 최댓값이 $108.2{\Omega}$으로 작은 반원 형태를 나타내나 시간이 경과함에 따라 방사형으로 증가하는 것을 확인 할 수 있었고, 672 시간 경과 후엔 실수 임피던스의 최댓값이 $9126.9{\Omega}$으로 문턱 전압 미만 일 때와 유사한 결과를 나타내었다. 이러한 임피던스의 증가 현상은 시간이 경과함에 따라 OLED의 열화에 의한 것으로 판단된다.

• Korean Chemical Engineering Research
• /
• v.45 no.1
• /
• pp.73-80
• /
• 2007

This article aims to optimize the nitrogen removal of a sequencing batch reactor (SBR) through the use of the activated sludge model and iterative dynamic programming (IDP). Using a minimum batch time and a maximum nitrogen removal for minimum energy consumption, a performance index is developed on the basis of minimum area criteria for SBR optimization. Choosing area as the performance index makes the optimization problem simpler and a proper weighting in the performance index makes it possible to solve minimum time and energy problem of SBR simultaneously. The optimized results show that the optimal set-point of dissolved oxygen affects both the total batch time and total energy cost. For two different influent loadings, IDP-based SBR optimizations suggest each supervisory control of batch scheduling and set-point trajectory of dissolved oxygen (DO) concentration, and can save 20% of the total energy cost, while meeting the treatment requirements of COD and nitrogen. Moreover, it shows that the re-optimization of IDP within a batch can solve the modelling error problem due to the influent loading changes, or the process faults.

• Journal of Digital Contents Society
• /
• v.18 no.5
• /
• pp.859-868
• /
• 2017

The purpose of this study is to investigate the research trend of robot education for young children and elementary students as a basic study for the development of hands-on robot program for young children. Trends by year, research contents, and effectiveness of 155 dissertations and journal papers from 2006 to May 2016 related to robot education for young children and elementary students were analyzed. The results were as follows. In the research subject, research was conducted in the order of integrated education, attitudes and awareness research, and response research for young children and programming education, design development research, and integrated education for elementary students. In the research method, observational research and development research were the most common in young children and elementary students, respectively. In the effectiveness validation, research on social and emotional interaction and research on creativity were the most common in young children and elementary students, respectively. Based on the results of this study, the analysis provided basic data for the development of programs for young children's hands-on robot activities and suggested the direction and implications of robot education in connection with SW education of young children and elementary students.