• Journal of Multimedia Information System
• /
• v.6 no.4
• /
• pp.259-264
• /
• 2019

In this paper, the prototyping process for developing syllable-initial consonant-based game 'Korean Guards' is described. Users may effectively learn Korean words using alphabetically sequential approaches, but the easiness of access bestowed on the smart environments and game algorithms could be fully utilized for the functional advantages for educational purposes. This functional game is developed on Android OS and the prototypical outcome is shown.

• The Transactions of the Korea Information Processing Society
• /
• v.3 no.6
• /
• pp.1522-1533
• /
• 1996

This paper presents a programming environment for the edition and verification of specification language SDL. It is implemented in the Concerto software factory, which has been as a support for the development of real size software. Concerto is a software factory designed for application development in the fields of computer communication protocols or real time system. It offers various kinds of tools to produce software, organize this production and automate it. Concerto allows a smooth integration of various formalism such as the C and $C^{++}$, languages, structured documentation, HOOD methodology (Hierarchical Object Orient Design). In this paper, as an important tools in the process of communication protocol software development, we describe fist describe the principles of this environment, then we illustrate its application by means of a simple example, the Inres protocol. Moreover, we study how hypertext mechanism of Concert to create logical links between a protocol and its asscoiated service.

• Journal of KIISE:Computing Practices and Letters
• /
• v.8 no.1
• /
• pp.62-70
• /
• 2002

The purpose of this paper in that users can use mobile device applications more easily and efficiently through MoDAM (Mobile Device Application Management) system. MoDAM automates the process of web retrieval for obtaining mobile device applications and the process of installing or updating it on mobile devices and then supply users with these automated services in a step form by combining two separated processes. We implement a web agent conforming to OSD (Open Software Description) specification for automating software retrieval and downloading and also a mobile device based software management module conforming to SyncML (Synchronization Markup Language) specification for synchronizing common data between server and client. The method of automated software retrieval and management for mobile devices using these standard specifications minimizes users' interrupts and also can be applied to traditional several different mobile devices, operating systems or downloading web sites without platform dependent considerations.

• The KIPS Transactions:PartD
• /
• v.13D no.7 s.110
• /
• pp.923-930
• /
• 2006

In this paper we design the system test model for the weapon system embedded software based on the Time Factor Method(TFM) considering time factors and suggest the results through the case study. For doing this, we discuss the features, system tests and the object-oriented model based UML notations of the weapon system embedded software. And we give a test method considering time factors, a measuring method to time factors, and a test case selection algorithm as an approach to the TFM for designing the system test model. The TFM based system test model consists of three factors (X, Y, Z) in the weapon system embedded software. With this model, we can extract test cases through the selection algorithm for a maximum time path in 'X', identify the objects related to the Sequence Diagram in 'Y' and measure the execution time of each objects which is identified by the Timing Diagram in 'Z' Also, we present the method of extracting the system test cases by applying the proposed system test model to the 'Multi-function missile defense system'.

• Journal of Institute of Control, Robotics and Systems
• /
• v.10 no.3
• /
• pp.261-266
• /
• 2004

Recently, a variety of intelligent robots are developed for the personal purpose beyond the industrial application. These intelligent robots have ranges of sensors, actuators, and control algorithms to their application. In this paper we propose a reconfigurable robot controller, $SR^2$c (The SOPC-based Reconfigurable Robot Controller), based on SOPC (System on a Programmable Chip), that can be reconfigurable easily by software. The proposed robot controller contains not only a processing module but also robot-specific IP's. To show a feasibility of the proposed robot controller, a small entertainment robot, Wizard-4 is implemented with a single chip controller as proposed in this paper.

• Journal of the Korea Computer Industry Society
• /
• v.3 no.12
• /
• pp.1697-1712
• /
• 2002

Unified Modeling Language (UML) is a standard language for specifying, visualizing, constructing, and documenting the artifacts of software systems. It simplifies the complex process of software design, making a blueprint for construction. In this paper, we apply automated application generation tools such as Rational Rose and BizWiz to a realistic cyber shopping mall and then compare and analyze them in the view of UML. We also propose some methods for the systematic system analysis, design, and implementation by applying UML to a customer management system based on above results.

• Proceedings of the KIEE Conference
• /
• 2006.10c
• /
• pp.443-445
• /
• 2006

In this paper, we present a model-driven approach to RTOS(Real Time Operating System)-based embedded software development and an automated tool that can produce RTOS-specific code. we defined generic RTOS APIs(Application Programming Interface) that are not bound to any specific RTOS but can provide most of typical RTOS services. The generic RTOS APIs can be used as a means for describing application's RTOS-related behavior from design stage. Out tool, called Trans-PI, is able to produce specific 'C' code aimed at POSIX(Portable Operating System Interface for UNIX)-complicant RTOSs. And it is also configurable to target other RTOSs that do not conform to the POSIX standard.

• Proceedings of the KIEE Conference
• /
• 2001.05a
• /
• pp.65-67
• /
• 2001

This paper presents an application of UML(Unified Modeling Language) to develop the Transmission Loss Calculation Package (TLCP) and shows a feasibility of UML design for the power system analyzing software. In the rapidly restructuring electric power industry, it is required the development of efficient and transparent transmission pricing mechanism. This should be based to calculate an accurate transmission loss to prompt a fair competition and to give unbiased signals to all the market players. For those reasons, it is necessary to develop a software system for transmission loss calculation. In this paper, we design the TLCP based on UML, and describe using Rational Rose 2000.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2021.07a
• /
• pp.659-660
• /
• 2021

본 논문에서는 데카르트 좌표계 기반으로 노드를 압축함으로써 SR(Super-resolution) 기반 연기 합성을 효율적으로 처리할 수 있는 방법을 제안한다. 제안하는 방법은 다운 스케일링과 이진화를 통하여 연기 시뮬레이션의 계산 공간을 효율적으로 줄이고, 데카르트 좌표계 축을 기준으로 쿼드트리의 말단 노드를 압축함으로써 네트워크의 입력으로 전달하는 데이터 개수를 줄인다. 학습에 사용된 데이터는 COCO 2017 데이터셋이며, 인공신경망은 VGG19 기반 네트워크를 사용한다. 컨볼루션 계층을 거칠 때 데이터의 손실을 막기 위해 잔차(Residual)방식과 유사하게 이전 계층의 출력 값을 더해주며 학습한다. 결과적으로 제안하는 방법은 이전 결과에 비해 네트워크로 전달해야 하는 데이터가 압축되어 개수가 줄어드는 결과를 얻었으며, 그로 인해 네트워크 단계에서 필요한 I/O 과정을 효율적으로 처리할 수 있게 되었다.

• Journal of Information Technology Services
• /
• v.13 no.4
• /
• pp.397-410
• /
• 2014

For mobile service organizations, it is one of the most important tasks to reflect users' opinions rapidly and accurately. In this study, the process is defined to elicit requirements of software/system improvement for mobile application by extracting and refining from users' opinion in mobile app, and detailed activities procession method in this processing are also proposed. The process consists of 3 activities to get requirements of software/system improvement for mobile app. First activity is to transform mobile app to software structure and define term dictionary. Second activity is to elicit simple sentences based on software from users' opinion and refine them. The last activity is to integrate and adjust refined requirements. To verify the usability and validity of the proposed process and the methods, the outputs of manual processing and semi-automated processing were compared. As a result, efficiency and improvement possibility of the process were confirmed through extraction ratio of requirements, comparison of execution time, and analysis of agreement ratio.