• 산업공학
• /
• 제24권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.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 2002년도 춘계학술대회논문집
• /
• 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.

• 설비공학논문집
• /
• 제26권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.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제36권9호
• /
• pp.767-776
• /
• 2009

소프트웨어 버스마크란 코드 도용 탐지를 위해 프로그램 자체에서 추출된 프로그램의 특징이다. 동적 API 버스마크는 실행 시간 API 호출 시퀀스로부터 추출된다. Tamada가 제안한 Windows 프로그램을 위한 동적 API 버스마크는 프로그램 실행 시작 부분의 API 시퀀스만을 추출하여 프로그램의 중요한 특성을 반영하지 못하였다. 이 논문에서는 프로그램의 핵심 기능을 실행할 때의 API 시퀀스에서 추출한 기능 단위 동적 API 버스마크를 제안한다. 기능 단위 동적 API 버스마크를 이용해 코드 도용을 탐지하기 위해서 먼저 두 프로그램을 실행하여 버스마크를 추출한다. 두 프로그램의 유사도는 프로그램에서 추출한 버스마크를 준전체 정렬 방식을 이용하여 비교하여 측정한다. 버스마크의 신뢰성을 평가하기 위하여 같은 기능을 가진 프로그램들을 대상으로 실험하였다. 강인성을 평가하기 위하여 동일한 소스 코드를 다양한 컴파일 방법으로 만들어 실험하였다. 실험 결과 본 논문에서 제안하는 기능 단위 동적 API 버스마크가 기존의 버스마크에서 탐지할 수 없었던 모듈 단위 도용을 탐지할 수 있음을 보였다.

• 한국경영과학회:학술대회논문집
• /
• 대한산업공학회/한국경영과학회 2006년도 춘계공동학술대회 논문집
• /
• 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.

• 정보보호학회논문지
• /
• 제27권4호
• /
• pp.803-810
• /
• 2017

최근 소프트웨어 산업의 발달에 따른 사회적 보안 문제가 지속적으로 발생하고 있으며, 소프트웨어 안정성 검증을 위해 다양한 자동화 기법들이 사용되고 있다. 본 논문에서는 소프트웨어 테스팅 기법 중 하나인 동적 기호 실행을 이용해 윈도우 시스템 콜 함수를 대상으로 Use-After-Free 취약점을 자동으로 탐지하는 방법을 제안한다. 먼저, 목표 지점을 선정하기 위한 정적 분석 기반 패턴 탐색을 수행한다. 탐지된 패턴 지점을 바탕으로 관심 밖의 영역으로의 분기를 차단하는 유도된 경로 탐색 기법을 적용한다. 이를 통해 기존 동적 기호 실행 기술의 한계점을 극복하고, 실제 목표 지점에서의 취약점 발생 여부를 검증한다. 제안한 방법을 실험한 결과 기존에 수동으로 분석해야 했던 Use-After-Free 취약점을 제안한 자동화 기법으로 탐지할 수 있음을 확인하였다.

• 한국경영과학회:학술대회논문집
• /
• 한국경영과학회 2007년도 추계학술대회 및 정기총회
• /
• 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.

• 한국공작기계학회:학술대회논문집
• /
• 한국공작기계학회 1999년도 추계학술대회 논문집 - 한국공작기계학회
• /
• 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.

• 한국공작기계학회:학술대회논문집
• /
• 한국공작기계학회 2000년도 춘계학술대회논문집 - 한국공작기계학회
• /
• 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.

• 한국생산제조학회지
• /
• 제9권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.