• 정보처리학회논문지D
• /
• 제14D권2호
• /
• pp.217-224
• /
• 2007

CTOC에서는 정적으로 값과 타입을 결정하기 위해 변수를 배정에 따라 분리하는 SSA Form을 사용한다. SSA Form은 최근 데이터 흐름분석과 코드 최적화를 위해 컴파일러의 중간 표현으로 많이 사용되고 있다. 하지만 기존의 SSA Form은 표현적보다는 주로 변수에 관련된 것이다. 따라서 SSA Form 형태의 표현식에 대해 최적화를 적용하기 위해 중복된 표현식을 제거한다. 본 논문에서는 좀더 최적화된 코드를 얻기 위해 부분 중복 표현식을 정의하고, 부분 중복 표현식을 제거하는 방법을 구현한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2007년도 한국컴퓨터종합학술대회논문집 Vol.34 No.1 (C)
• /
• pp.505-509
• /
• 2007

Static Single Assignment (SSA) form is an intermediate representation which encodes information about data and control flow that is use used to facilitate program analysis and optimization. SSA form simplifies this process with its size linear to program size. Thus we use SSA form to efficiently facilitate bytecode level analysis and optimizations in our CTOC program processor project. In this paper, we illustrate the application and implement implementation of SSA form using an example. We give the conclusion after experimental results.

• 한국통신학회논문지
• /
• 제28권11B호
• /
• pp.1031-1037
• /
• 2003

본 논문에서는 Ad-hoc 망인 블루투스 시스템의 각 채널의 질 정보를 이용하여 대역폭을 효율적으로 사용하는 새로운 스케줄링 기법을 제시하였다. 특히 제시한 기법은 채널의 불균형한 환경과 여러 가지 특성의 데이터가 혼합되어 전송되는 경우, 특정한 채널에 데이터가 집중되는 경우에 효과적인 것으로 나타났다. 각 채널의 부분 정보를 이용하여 가중치를 계산하고 그 값을 GPS 알고리즘을 수정한 새로운 스케줄링 기법에 적용하였으며 NS-2와 블루학 시뮬레이션을 통해 제시한 기법의 효율성을 검증하였다.

• 대한교통학회지
• /
• 제20권1호
• /
• pp.101-110
• /
• 2002

본 연구는 통행배분 모형과 네트워크 로딩의 일반적인 원리 및 그 관계를 규명하고. 시간을 고려한 네트워크 로딩방법 즉, 동적네트워크 로딩 방법을 소개한다. 우선 본 연구에서는, 동적 네트워크 로딩을 올바로 구현하기 위해 인과성 (causality), FIFO(First-In-First-Out), 교통량전파(flow propagation), 교통류보존(flow conservation) 등의 조건이 만족되어야 함을 제기한다. 그리고, 구체적인 동적 네트워크 로딩 방법을 알고리즘 형식으로 설명하였으며, 이후 링크 비용함수로써 결정적 대기행렬모형을 도입하여 가상 네트워크 속에서 동적 네트워크 로딩이 어떻게 이루어지는지를 수치적으로 보여준다.

• 대한산업공학회지
• /
• 제17권1호
• /
• pp.109-115
• /
• 1991

In automated manufacturing systems, Automated Guided Vehicle(AGV) Systems are increasingly important in material handling and manufacturing operations. A considerably flexible AGV system needs to be operated with maximum effectiveness. This paper develops an algorithm for the determination of the entering point and the number of AGVs required in the Flow Shop Type FMS. We consider an AGV used as a carrier and mobile workstation. For the limited number of AGV, the entering point of an AGV on a simple loop is determined in order to maximize the utilization of AGVs. For the unlimited number of AGVs, the number of AGVs required in the FMS is determined on the basis of the entering point of AGVs. The result by the algorithm may be used as a criterion on the control of material flow and the assignment of AGVs in the FMS. A numerical example is given to illustrate the algorithm.

• 농촌계획
• /
• 제5권1호
• /
• pp.20-25
• /
• 1999

Our interest in this paper is in the efficient computation of a good low bound for the traveling salesman problem and is in the application of a network problem in agriculture. We base our approach on a relatively new formulation of the TSP as a two-commodity network flow problem. By assigning Lagrangian multipliers to certain constraints and relaxing them, the problem separates into two single-commodity network flow problems and an assignment problem, for which efficient algorithms are available.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 1998년도 추계종합학술대회 논문집
• /
• pp.1013-1016
• /
• 1998

A method for generation of design verification tests from behavior-level VHDL program is presented. Behavioral VHDL programs contain multiple communicating processes, signal assignment statements. So for large, complex system, it is difficult problem to test or simulation. In this paper, we proposed a new hardware design verification method. For this method generates control flow graph(CFG.) and process modeling graph(PMG) in the given under the testing VHDL program. And this method proved very effective that all the assumed design errors could be detected.

• 한국안전학회지
• /
• 제28권5호
• /
• pp.54-60
• /
• 2013

In this study, a finite element model based on the SU/PG scheme was developed to solve shallow-water equations and the influences of parameters and internal boundary conditions on depth-averaged flow behavior were investigated. To analyze the effect of roughness coefficient and eddy viscosity on flow characteristics, the developed model was applied to rectangular meandering channel with two bends, and transverse velocities and water depth distributions were examined. As the roughness coefficient adjacent to wall increased, the velocities near the wall decreased, and the reduced velocities were compensated by the expanding mid-channel velocities. In addition, the flow characteristics around a circular cylinder were analyzed by varying the internal boundary conditions as free slip and no slip. The assignment of slip condition changed the velocity distribution on the cylinder surface and reduced the magnitude of the shear stress up to one third.

• 대한교통학회지
• /
• 제34권5호
• /
• pp.476-488
• /
• 2016

이 연구에서는 교통수요예측의 신뢰성에 영향을 미치는 요소와 원인을 검토하였다. 통행의 다양성과 불규칙성, 입력자료 한계, 자료의 집합화, 모형의 단순화가 포괄적 의미에서 교통예측 오차원인이 된다. 또한 불가피하게 존재하는 예측 오차의 이론적 배경을 정확히 규명함으로써 예측결과를 실무적 정책결정에 활용할 시에 합리적 판단을 하는데 도움이 되도록 하였다. 본 연구에서는 특히 노선배정모형의 예측 오차의 요인에 초점을 두고, KTDB 자료기반 분석오차를 6개 항목으로 나누어 설명하였다. 즉, (1) 입력 자료의 오차, (2) 공간 집합화와 네트워크 표현방식에 따른 오차, (3) 교통패턴 변동에 대한 대푯값 설정에 따른 오차, (4) 교통류모형 단순화에 따른 오차, (5) 노선선택 행태 집합화에 따른 오차로 구분하여 설명하였다.

• 한국시뮬레이션학회논문지
• /
• 제28권1호
• /
• pp.1-9
• /
• 2019

최근 물류창고의 중요성이 높아지고 있는 가운데 소량 다빈도 및 빠른 납품에 대응하기 위해 피킹 프로세스 개선에 많은 노력을 기울이고 있다. 본 연구는 개별오더 피킹 정책이 사용되는 상황에서 오더를 피커에게 할당하는 알고리즘을 제시한다. 이 알고리즘에서는 피킹과 관련된 피킹 처리시간, 오더 접수후 경과 시간, 검수/패킹 작업대 상황, 피커 오류, 고객 중요도의 다섯 개의 속성을 동시에 고려한다. 각 속성에 대한 측정값의 단위가 동일하도록 긴급도라는 척도를 도입한다. 긴급도의 값이 클수록 할당 우선순위를 높게 설정한다. 제안한 알고리즘에서는 각 속성의 가중치를 변경함으로써 피킹시스템의 운영목표에 따라 할당 정책을 유연하게 조정할 수 있도록 하였다. 가상의 축소된 물류창고를 대상으로 시뮬레이션 실험을 수행한 결과 시스템 쓰루풋과 흐름시간 측면에서 우수한 성능을 보였다.