• IE interfaces
• /
• v.24 no.2
• /
• pp.112-118
• /
• 2011

This paper introduces one type of prize collecting travelling salesman problem with time windows (PCTSPTW), proposes a mixed integer programming model for the problem, and shows that the problem can be reduced to the elementary shortest path problem with time windows and capacity constraints (ESPPTC). Then, a new dynamic programming algorithm is proposed to solve ESPPTC quickly. Computational results show the effectiveness of the proposed algorithm.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2002.05a
• /
• pp.197-201
• /
• 2002

APESS(Advanved Plant Engineering & Simulation System) is a dynamic simulation software for power plant which is being developed by Doosan Heavy Industries & Construction Co., Ltd. This Paper represents the GUI implementation of APESS on Windows NT/2000 operating system.

• Korean Journal of Air-Conditioning and Refrigeration Engineering
• /
• v.26 no.10
• /
• pp.481-485
• /
• 2014

Low solar gain glazing should be applied on windows in order to reduce the solar radiation load. In a country where a cooling and a heating load coexist throughout the year, such as in Korea, a high solar gain glazing is need to reduce the heating load, but a low solar gain glazing should be applied to reduce the cooling load. Recently, dynamic windows have been developed for which the solar shading performance switches according to the amount of solar radiation flowing into the indoor space through the glazing, and these have been used in building to solve such problems. The purpose of this research is to analyze the energy performance of the electrochromic glazing for dynamic windows that has been extensively commercialized for office buildings in Incheon and Ulsan through an energy simulation implemented in the eQUEST program.

• Journal of KIISE:Software and Applications
• /
• v.36 no.9
• /
• pp.767-776
• /
• 2009

A software birthmark is a set of characteristics that are extracted from a program itself to detect code theft. A dynamic API birthmark is extracted from the run-time API call sequences of a program. The dynamic Windows API birthmarks of Tamada et al. are extracted from API call sequences during the startup period of a program. Therefore. the dynamic birthmarks cannot reflect characteristics of main functions of the program. In this paper. we propose a functional unit birthmark(FDAPI) that is defined as API call sequences recorded during the execution of essential functions of a program. To find out that some functional units of a program are copied from an original program. two FDAPIs are extracted by executing the programs with the same input. The FDAPIs are compared using the semi-global alignment algorithm to compute a similarity between two programs. Programs with the same functionality are compared to show credibility of our birthmark. Binary executables that are compiled differently from the same source code are compared to prove resilience of our birthmark. The experimental result shows that our birthmark can detect module theft of software. to which the existing birthmarks of Tamada et al. cannot be applied.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2006.05a
• /
• pp.133-136
• /
• 2006

We consider dynamic lot-sizing model with production time windows where each of n demands has earliest due date and latest due date and it must be satisfied during the given time window. For the case of nonspeculative cost structure, an O(nlog n) time procedure is developed and it is shown to run in O(n) when demands come in the order of latest due dates.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.27 no.4
• /
• pp.803-810
• /
• 2017

Recently, social security problems have been caused by the development of the software industry, and a variety of automation techniques have been used to verify software stability. In this paper, we propose a method of automatically detecting a use-after-free vulnerability on Windows system calls using dynamic symbolic execution, one of the software testing methods. First, a static analysis based pattern search is performed to select a target point. Based on the detected pattern points, we apply an induced path search technique that blocks branching to areas outside of interest. Through this, we overcome limitations of existing dynamic symbolic performance technology and verify whether vulnerability exists at actual target point. As a result of applying the proposed method to the Windows system call, it is confirmed that the use-after-free vulnerability, which had previously to be manually analyzed, can be detected by the proposed automation technique.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2007.11a
• /
• pp.7-11
• /
• 2007

This paper considers a shipment planning of products from manufacturers to a third-party warehouse for demands with production time windows where a demand must be replenished in its time window. The underling lot-sizing model also assumes cargo delivery cost in each inbound replenishment to the warehouse. For this model, an optimal O($nT^4$) is presented where n is the number of demands and T is the length of the planning horizon.

• Proceedings of the Korean Society of Machine Tool Engineers Conference
• /
• 1999.10a
• /
• pp.137-141
• /
• 1999

In this paper, we developed a Windows 95 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 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.

• Proceedings of the Korean Society of Machine Tool Engineers Conference
• /
• 2000.04a
• /
• pp.194-198
• /
• 2000

In this paper, we developed a Windows 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 Windows 98' 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 Manufacturing Technology Engineers
• /
• v.9 no.4
• /
• pp.99-107
• /
• 2000

In this study, a static and dynamic characteristics analysis system for machine tool spindle systems with 3 lobe sliding bearing is developed based on Timoshenko theory, finite element method and windows programming techniques. And the characteristics value of 3 lobe sliding bearing such as eccentricity ratio, attitude angle, friction coefficient , stiffness coefficients, damping coefficients and so on, are determined by using the thermal equilibrium conditions of spindle systems. Since the developed system has various analysis modules related to static deformation analysis, modal analysis, frequency responses analysis and so on, it can be utilized to perform systematically the design an devaluation process of spindle systems with 3 lobe sliding bearing under windows GUI environment.