• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.24 no.1
• /
• pp.215-219
• /
• 2014

C programming language has undefined behaviors, which cause unintended execution of a program. When a programmer adds sanity checks without caring about undefined behaviors, compilers may misunderstand and invalidate the sanity checks. Thus, we propose an automated system to detect invalidated sanity checks by marking sanity checks in source code and checking the marks in binary code.

• Proceedings of the Korean Society of Machine Tool Engineers Conference
• /
• 2002.04a
• /
• pp.376-380
• /
• 2002

In this paper, we developed a Widows 98 version off-line programming system which can simulate a track vehicle model in 3D graphics space. The track vehicle was adopted as an objective model. The interface between users and the off-line program system in the Widows 98's graphic user interface environment was also studied. The developing language is Microsoft Visual C++. Graphic libraries, OpenGL, by Silicon Graphics, Inc. were utilized for 3D Graphics.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1995.10a
• /
• pp.925-928
• /
• 1995

Recently, the system of the industry demands quick and accurate measurement for the mass production and high quality. Also, we need to improve the accuracy to decrease the failure rate in automatic assembly processing and improve the confidence, durability and the compatibility of parts. To answer this tendency and requirement, we have developed many accrate measuring instruments and methods. In this paper, we develop the whidows program using the DSP board(TMS320C25) which is used the data acquisition and the Visual C $^{++}$ , a windows programming language. We perform the measurement, analysis and output process in GUI(Graphic User Interface)environment. By using system, we will save the time required for the hand-worked measurement and avoid the useless iterative measurement. Furthermore, we expect to improve the productivity through automotive quality control in manufacturing process.s.

• Electronics and Telecommunications Trends
• /
• v.31 no.4
• /
• pp.65-76
• /
• 2016

특정 제조사의 단말 또는 운영체제에 의존성이 없는 플랫폼 독립적인 웹은 높은 이식성, 소프트웨어의 재활용, 개발 생산성, 풍부한 개발자 존재, 유지 보수 면에서 장점을 가지나, 화려한 UI/UX를 제공하는 네이티브 응용에 비해 낮은 성능으로 웹 기반의 응용 개발 및 보급이 크게 활성화되지 못했다. 한편 데스크톱은 물론 모바일 단말의 멀티코어 기반 Graphic Processing Unit(GPU), CPU 탑재 등 HW 고사양화와 웹 응용에서도 HW 가속 기능을 활용할 수 있는 표준 제공으로 성능 제약을 극복할 수 있게 되었다. 본고에서는 GPU 발전동향을 살펴보고, 고속 렌더링 및 병렬 연산처리를 요구하는 웹 응용이 GPU기반 HW 가속 기능을 활용할 수 있는 크로노스 그룹의 그래픽 가속(Web Graphics Library: WebGL) 및 컴퓨팅(Web Computing Language: WebCL) 지원 표준 규격을 정리한다. 또한, 최근 차세대 GPU Application Programming Interface(API)로 발표된 Vulkan에 대해 알아보고, 웹 고속화 기술에 적용 가능성에 대해 전망한다.

• Proceedings of the Korean Society of Machine Tool Engineers Conference
• /
• 2000.10a
• /
• pp.119-124
• /
• 2000

We developed a Off-Line Graphic Simulator which can simulate a robot model in 3D graphics space in Windows 95 version. 4 axes SCARA robot was adopted as an objective model. Forward kinematics, inverse kinematics and robot dynamics modeling were included in the developed program The interface between users and the off-line program system in the Windows 95's graphic user interface environment was also studied. The developing language is Microsoft Visual C++. Graphic libraries, OpenGL, by Silicon Graphics, Inc. were utilized for 3D graphics.

• Journal of the Korean Society of Marine Environment & Safety
• /
• v.1 no.2
• /
• pp.83-94
• /
• 1995

The purpose of this paper is to develop an integrated environment system for finite element structural analysis using OOA(Object-Oriented Analysis) and OOD(Object-Oriented Design), with may reduce inconveniencies in use such as file input of macro command and improve lacks of graphic presentation in the established finite element analysis program. This paper is attempted to suggest an easy approach to object-oriented concept and convenient programming. Two languages are used together in this paper instead of single C++ language for the development of object-oriented program. : Visual Basic with CDK(Custom Development Kit), and Borland C++ with OWL(Object Windows Library).

• Journal of Information Processing Systems
• /
• v.8 no.1
• /
• pp.101-118
• /
• 2012

Embedded products are becoming richer in features. Simulation tools facilitate low-costs and the efficient development of embedded systems. SID is an open source simulation software that includes a library of components for modeling hardware and software components. SID components were originally written using C/C++ and Tcl/Tk. Tcl/Tk has mainly been used for GUI simulation in the SID system. However, Tcl/Tk components are hampered by low performance, and GUI development using Tcl/Tk also has poor flexibility. Therefore, it would be desirable to use a more advanced programming language, such as Java, to provide simulations of cutting-edge products with rich graphics. Here, we describe the development of the Java Bridge Module as a middleware that will enable the use of Java Components in SID. We also extended the low-level SID API to Java. In addition, we have added classes that contain default implementations of the API. These classes are intended to ensure the compatibility and simplicity of SID components in Java.

• Journal of the Society of Naval Architects of Korea
• /
• v.33 no.1
• /
• pp.173-181
• /
• 1996

In this paper, we studied the modeling methods of initial ship structure design results using ship structure product model for concurrent engineering in shipbuilding industry. We suggested two modeling methods which are programming method using CAD commands and Macros for primary structure members. Also, we investigated three modeling procedures which are modeling procedure in unit concept, modeling procedure using version control, and modeling procedure for computer aided process planning. We demonstrated how to use the structure product modeling results in some application fields. Finally, we proposed some ideas for future research.

• The Transactions of the Korean Institute of Electrical Engineers
• /
• v.41 no.8
• /
• pp.831-840
• /
• 1992

This paper presents an efficient short-term generation scheduling method using a rule-based expert/consulting system approach to assist electric energy system operators and planners. The expert system approach is applied to improve the Dynamic Programming(DP) based generation scheduling algorithm. In the selection procedure of the feasible combinations of generating units at each stage, automatic consulting on the manipulation of several constraints such as the minimum up time, the minimum down time and the maximum running time constraints of generating units will be performed by the expert/consulting system. In order to maximize the solution feasibility, the aforementioned constraints are controlled by a rule-based expert system, that is, instead of imposing penalty cost to those constraint violated combinations, which sometimes may become the very reason of no existing solution, several constraints will be manipulated within their flexibilities using the rules and facts that are established by domain experts. In this paper, for the purpose of implementing the consulting of several constraints during the dynamic process of generation scheduling, an expert system named STGSCS is developed. As a building tool of the expert system, C Language Integrated Production System(CLIPS) is used. The effectiveness of the proposed algorithm has been demonstrated by applying it to a model electric energy system.

• Journal of KIISE:Software and Applications
• /
• v.34 no.8
• /
• pp.708-720
• /
• 2007

Memory access errors are frequently occurred in computer programs written in C programming language [1,2]. Accordingly, a number of research works have suggested a wide variety of methods to detect such errors automatically. However, they have one or more of the following problems: inability to detect all memory errors, changing the memory allocation mechanism, and excessive performance overhead. To cope with these problems, in this paper we suggest a new and automated tool to detect dynamic memory access errors in C programs.