• Nuclear Engineering and Technology
• /
• v.45 no.4
• /
• pp.489-504
• /
• 2013

Software safety for nuclear reactor protection systems (RPSs) is the most important requirement for the obtainment of permission for operation and export from government authorities, which is why it should be managed with well-experienced software development processes. The RPS software is typically modeled with function block diagrams (FBDs) in the design phase, and then mechanically translated into C programs in the implementation phase, which is finally compiled into executable machine codes and loaded on RPS hardware - PLC (Programmable Logic Controller). Whereas C Compilers are fully-verified COTS (Commercial Off-The-Shelf) software, translators from FBDs to C programs are provided by PLC vendors. Long-term experience, experiments and simulations have validated their correctness and function safety. This paper proposes a behavior-preserving translation from FBD design to C implementation for RPS software. It includes two sets of translation algorithms and rules as well as a prototype translator. We used an example of RPS software in a Korean nuclear power plant to demonstrate the correctness and effectiveness of the proposed translation.

• Journal of Korea Multimedia Society
• /
• v.25 no.11
• /
• pp.1621-1633
• /
• 2022

The present study aims to design an application for anger control training of individuals and test its practical usability with the goal of encouraging preventive training in daily life. This study also investigates, through usability evaluation, whether users can use the application to carry out the actual anger management training program, whether it is useful and convenient, and whether it produces adequate learning effects. In order to conduct usability evaluation, a usability evaluation scale comprised of six factors-utility, reuse intention, learning, error, and reflectivity-was derived, and survey items tailored to each factor were produced. The association between usability evaluation elements, user demographic parameters, mobile usage behavior, and state anger was also examined. The result demonstrated that additional menus and features are necessary to increase the usability of the application for anger management. The result also revealed that it is vital to build an intuitive application interface that users unfamiliar with mobile app functionality can easily navigate, as well as to add entertaining components in the content, as users may be somewhat bored. On the basis of the findings, ideas of modifying and creating anger management training programs were discussed.

• Journal of Integrative Natural Science
• /
• v.11 no.4
• /
• pp.192-196
• /
• 2018

The mobile agent paradigm can be exploited in a variety of ways, ranging from low-level system administration tasks to middle ware to user-level applications. Mobile agents can be useful in building middle-ware services such as active mail systems, distributed collaboration systems, etc. An active mail message is a program that interacts with its recipient using a multimedia interface, and adapts the interaction session based on the recipient's responses. The mobile agent paradigm is well suitable to this type of application, since it can carry a sender-defined session protocol along with the multimedia message. Mobile agent communication is possible via method invocation on virtual references. Agents can make synchronous, one-way, or future-reply type invocations. Multicasting is possible, since agents can be aggregated hierarchically into groups. A simple check-pointing facility has also been implemented. Another proposed solution is to use multi agent computer systems to access, filter, evaluate, and integrate this information. We will present the overall architectural framework, our agent design commitments, and agent architecture to enable the above characteristics. Besides, the each information needed a mobile agent system such as text, graphic, image, audio and video etc, constructed a great capacity multimedia database system. However, they have problems in establishing connections over multiple subnetworks, such as no end-to-end connections, transmission delay due to ATM address resolution, no QoS protocols. We propose a new connection management scheme in the thesis to improve the connection management involved of mobile agent systems.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2014.05a
• /
• pp.97-99
• /
• 2014

This study aims to suggest development model for ICT Teaching and Learning System adopting collective intelligence. First, we defined program modules according to functions which multimedia online encyclopedia-type e-textbook should have. Then, we also specified content information creating rules and procedures and content information searching methods. Finally, we developed the prototype which suggests user interface to collect and search information adopting information visualizing techniques. This study has significance in suggesting advanced form of ICT system in which qualified teachers can create, accumulate, and share information and students can explore information and expand search in self-directed manner.

• The Bulletin of The Korean Astronomical Society
• /
• v.44 no.1
• /
• pp.72.3-72.3
• /
• 2019

The observation of transient objects such as supernovae or variable stars requires a survey of the wide sky and quickly extracting the results. In accordance with this purpose, we have been developing an automatic observing software, KAOS (Kyung Hee University Automatic Observing Software) as a series. KAOS30 was the first series of KAOS and it was applied to the 30-inch platform at the McDonald Observatory in the United States of America. KAOS76 controls the 76-cm telescope at Kyung Hee Astronomical Observatory. In this poster, we introduce KAOS10 for controlling a portable telescope with a small aperture size attaching a guiding camera as QHY-5L II. Kyung Hee University auto-guiding package which includes the auto-guiding function for small aperture size telescope was also developed. Additionally, the Telescope Control Package(TCP) can communicate with the main server to do astrometry for pointing and identifying targets efficiently. KAOS10 has a universal interface that will be useful for the research of both amateurs and professionals.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2019.05a
• /
• pp.409-412
• /
• 2019

국내의 미세먼지 문제가 심각해짐에 따라 대기 오염에 관한 분야의 관심이 높아지고 있다. 현재 정부는 최근 IT 융합 기술의 발전에 따라 빅데이터, 클라우드, 등 사물인터넷 기반 장치의 확산 및 고도화를 위한 기술 접목에 많은 지원과 관심을 보이며 기상청을 통해서는 국내 대기 오염으로 인한 사회적 비용을 낮추기 위해 공공 데이터(Application Program Interface, API)를 활용 다양한 정보 서비스를 지원하고 있다. 하지만 기상청에서 제공하는 정보 서비스에는 한계가 있다. 특히 기상청에서 운영되고 있는 장비들은 고가의 장비로써 비용 및 공간적 설치 제약이 따르며, 약 15km 범위를 한 개소로 담당하여 기상 데이터에 대한 신뢰도에 문제가 발생하고 있다. 본 논문에서는 오픈 하드웨어 기반 소형 기상관측 장비를 활용한 기상지수 및 미세먼지 측정 데이터 제공 시스템을 제안한다. 본 논문에서 제안한 시스템은 기상 계측이 필요한 지역의 작은 공간을 활용, 기상관측 장비를 통해 관측된 데이터와 기상청에서 제공하는 생활 기상지수 알고리즘을 토대로 해당 지역에 맞는 맞춤형 정보를 제공하여 사회적 비용을 낮출 수 있을 것으로 기대한다.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2009.10a
• /
• pp.337-340
• /
• 2009

Since a hardware accelerator for 3D graphics processing GPU(Graphics Processing Unit)'s performance has been improving constantly. This is the efficient way was introduced for complex graphics application, but it is rarely used to utilize 100% resources on GPU. GP-GPU(general-purpose GPU), including operations on the GPU and supporting common operations can be handled by the processor, is noted by depending on the distribution of resources that can be effectively controlled. In this paper, the simulator was implemented that supports virtual environment of GP-GPU and available for program design and debugging. Through this, the co-design development environment support simultaneous design fast and reliable verification that are available to build the interface of three-dimensional graphics display.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2013.11a
• /
• pp.808-810
• /
• 2013

최근 인터넷 사용이 보편화됨과 더불어 정치적, 경제적인 목적으로 웹사이트와 이메일을 악용한 악성 코드가 급속히 유포되고 있다. 유포된 악성코드의 대부분은 기존 악성코드를 변형한 변종 악성코드이다. 이에 변종 악성코드를 탐지하기 위해 유사 악성코드를 분류하는 연구가 활발하다. 그러나 기존 연구에서는 정적 분석을 통해 얻어진 정보를 가지고 분류하기 때문에 실제 발생되는 행위에 대한 분석이 어려운 단점이 있다. 본 논문에서는 악성코드가 호출하는 API(Application Program Interface) 정보를 추출하고 유사도를 분석하여 악성코드를 분류하는 기법을 제안한다. 악성코드가 호출하는 API의 유사도를 분석하기 위해서 동적 API 후킹이 가능한 악성코드 API 분석 시스템을 개발하고 퍼지해시(Fuzzy Hash)인 ssdeep을 이용하여 비교 가능한 고유패턴을 생성하였다. 실제 변종 악성코드 샘플을 대상으로 한 실험을 수행하여 제안하는 악성코드 분류 기법의 유용성을 확인하였다.

• Journal of Astronomy and Space Sciences
• /
• v.38 no.2
• /
• pp.145-155
• /
• 2021

In this work, preliminary launch opportunities from NARO Space Center to the Sun-Earth Lagrange point are analyzed. Among five different Sun-Earth Lagrange points, L1 and L2 points are selected as suitable candidates for, respectively, solar and astrophysics missions. With high fidelity dynamics models, the L1 and L2 point targeting problem is formulated regarding the location of NARO Space Center and relevant Target Interface Point (TIP) for each different launch date is derived including launch injection energy per unit mass (C3), Right ascension of the injection orbit Apoapsis Vector (RAV) and Declination of the injection orbit Apoapsis Vector (DAV). Potential launch periods to achieve L1 and L2 transfer trajectory are also investigated regarding coasting characteristics from NARO Space Center. The magnitude of the Lagrange Orbit Insertion (LOI) burn, as well as the Orbit Maintenance (OM) maneuver to maintain more than one year of mission orbit around the Lagrange points, is also derived as an example. Even the current work has been made under many assumptions as there are no specific mission goals currently defined yet, so results from the current work could be a good starting point to extend diversities of future Korean deep-space missions.

• Journal of Aerospace System Engineering
• /
• v.16 no.6
• /
• pp.45-53
• /
• 2022

The avionics industry has recently adopted an open architecture to increase software portability and reduce the development schedule and cost associated with changing hardware equipment. This paper presents a data modeling method compliant with FACE, a widely used open avionics architecture. A FACE data model is designed and implemented to output data from VOR/ILS avionics equipment. A FACE Conformance Test Suite (CTS) program is utilised to verify that the data model meets FACE standards. The proposed data modeling method is expected to improve the development schedule and cost associated with modifying communication methods and ICDs (Interface Control Documents).