PURPOSES : This study aims to develop an algorithm to solve the user equilibrium traffic assignment problem using soft link capacity constraints. This model is used to relax the hard capacity constraints model. METHODS : In the traffic assignment model that imposes the hard capacity constraints, the well-known solution algorithms used are the augmented Lagrange multiplier method and the inner penalty function method. The major drawback of using the hard-capacity constraint model is the feasible solution issue. If the capacities in the network are not sufficient to absorb the flow from the diverged flows through the hard capacity constraints, it might result in no solution; whereas, using a soft capacity constraint model guarantees a feasible solution because the soft capacity constraint model uses the penalization of constraint violation in the objective function. In this study, the gradient projection (GP) algorithm was adapted. RESULTS : Two numerical experiments were conducted to demonstrate the features of the soft capacity constraint model and the computational performance of the solution algorithm. The results revealed that imposing the soft link capacity constraints can ensure convergence. CONCLUSIONS : The proposed model can be easily extended by considering other traffic assignment models, for e.g., non-additive traffic equilibrium problem, stochastic traffic equilibrium model, and, elastic demand traffic equilibrium problem. Furthermore, the model can exist regardless of the sufficient capacity for each O-D pair to cater to their demands.

본 논문에서는 페이즈필드 설계법 기반의 피로 제약 조건 구조물의 위상최적설계를 수행하였다. 페이즈필드 설계법의 도입으로 기존의 위상최적설계법에서 발생하기 쉬운 중간 영역의 크기를 크게 감소시켰다. 수정된 upper bound P-norm의 도입으로 모든 지점의 응력 성분을 고려하면서, 전역적 응력값이 국부적 최대 응력값과 근사한 값을 가질 수 있도록 설정하였다. 또한 기존의 피로 파괴 제약 조건 위상최적설계에서 다루지 않았던 응력 수정 계수에 대한 고려를 위하여 위상최적설계 결과물의 1차 주응력 성분을 고려하여 응력 수정 계수를 도입하고 이에 따라 허용 응력 진폭 값을 수정 하였다. 이를 통하여 인장 응력으로 인한 내구 한도 감소 요인을 반영한 체계적인 설계 방안을 제시하였다.

본 연구의 목적은 과학적 모델의 사회적 구성 수업을 적용한 야외지질학습에서 학생들이 만드는 조별 모델 구 성 과정에 대해 제약조건을 중심으로 이해하는 것이다. S 영재원 지구과학분과 3조, 12명의 학생들을 대상으로 진행하 였다. ‘관악산은 어떻게 형성되었을까?’를 주제로 야외지질답사 2차시, 과학적 모델의 사회적 구성 수업 3차시로 진행하 였다. 조별 모델 구성과정에 관해서는 Nersessian (2008)이 제시한 제약조건을 이론적 근거로 하여 반-구조화된 인터뷰, 야외지질답사, ‘과학적 모델의 사회적 구성 수업’의 모든 담화, 활동지를 분석하였다. 연구결과는 다음과 같다. 첫 번째 야외지질학습에 적용한 과학적 모델의 사회적 구성 수업에 나타난 제약조건의 출처는 과학 이론, 야외지질답사에서 관 찰한 내용, 과학적 모델의 사회적 구성 수업에서 추가로 제공된 것이 있었다. 두 번째 조별 모델링에 영향을 미치는 3 가지 종류의 제약조건이 있다. 조별 모델에는 조별 구성원 모두가 동일하게 가지고 있던 것으로 ‘공통적인 제약조건’,조별 구성원 일부가 가지고 있던 것 중 조별 모델에 반영된 ‘채택된 제약조건’, 마지막으로 초기 모델에는 없었으나 조 별 모델 구성과정에서 새롭게 나타난 ‘생성된 제약조건’이 있었다. 이번 연구는 학교 과학에서 제약조건을 기반으로 조 별 모델이 만들어지는 과정을 이해할 수 있을 뿐만 아니라 야외지질학습이라는 수업 사례를 보여줌으로서 실제 적용하 는데 이바지 하고자 하였다는 점에서 의의가 있다.

In 450mm wafers production environment for next generation Fab, one of the most significant features is the adoption of full automation to the whole manufacturing processes involved. The full automation system will prevent the workers from intervening the manufacturing processes as much as possible and increase the importance of each individual wafer noticeably, and thus require a more robust scheduling system for entire semiconductor manufacturing processes. The scheduling system for 450mm wafers production also should be capable of monitoring the status of each individual wafer and collecting useful Fab data in real time. In this study, we first analysis of cluster tool in 450mm wafers production environment, and then propose a real-time scheduling algorithm based on timetabling algorithm.

게임에 현실과 비슷한 공간을 표현하게 되면서, 좀 더 사실적인 게임 공간을 만들어 내는 것이 매우 중요한 요소가 되었다. 그러나 정해진 틀 안에서 제한된 반응만을 보이는 NPC는 사용자가 지루함을 느끼고 게임에 대한 흥미를 잃게 만든다. 이는 NPC의 행동 생성과 제어 방법이 미흡하기 때문이다. 본 논문은 RPG류 등의 공간을 탐색하는 게임 환경에서 NPC가 자신의 상태에 따라 다른 행동을 취하고, 뷰포인트와 관계없이 ‘생활하는’ NPC에 대해 기술한다. 이 연구를 토대로 NPC의 행동을 스크립트 언어로 출력하는 행동 생성기를 제작하고 실제 생성된 NPC의 행동 패턴을 분석하여 봄으로써 본 연구가 NPC의 효과적인 행동 생성에 도움이 됨을 보인다.

W3C에서 XML 표준을 발표한 이후 XML을 지원하는 관련 기술들이 지속적으로 개발되고 있으며 데이터의 중립성을 응용하는 것을 주제로 하는 연구가 활발하게 진행되고 있으며 응용범위가 확대되고 있다. 이들 연구는 Business 현장에서 발생하는 데이터의 통합 및 재활용을 과제로, XML Schema간의 통합, 데이터의 저장 및 생성을 위한 DB 스키마와 XML 스키마 통합, 대용량 XML 데이터 관리를 위한 DB 저장 및 검색 등의 분야에서 큰 성과를 거두고 있다. 최근 활발하게 진행되고 있는 기업간 전자상거래(B2B) 에서는 일반 디지털 파일 또는 전자거래에 사용되는 전자문서 등 다양한 형식의 데이터들이 존재한다. 이러한 자료들을 이용하여 거래 당사자간에는 주문신청부터 송금 및 수금 확인까지 B2B 거래 프로세스에 관련된 다양한 데이터 들이 교환된다. 기업간 교환되는 데이터에는 일정한 규칙이 존재하며 이들을 확인하는 것은 중요하다고 볼 수 있다. 즉, 관련 자료의 통합시 고려되어야 하는 제약조건의 관리에 대한 연구가 필요하다고 볼 수 있다. 본 연구에서는 기업간 전자상거래 환경에서 데이터 교환의 표준으로 자리잡고 있는 XML 데이터를 중심으로 데이터 통합시 고려되어야 할 제약조건들을 정리하고 이를 해결하는 방안을 제시하고자 한다. 먼저 스키마 충돌에 따른 제약조건과 자료 자체의 무결성 및 업무규칙 제약조건을 정리하여 분류하였으며, 이들 제약조건을 표현하여 관리할 수 있는 메커니즘을 제안하였다. 즉, XML의 특징을 활용하여 분산 이기종 데이터 간의 통합 및 제약조건을 해결하는 방안을 제시하였다. 본 연구의 결과는 B2B 전자거래에서 교환되는 문서의 생성, 검색, 저장 및 재활용 과정에서 필요한 데이터의 검증에 기여할 것으로 기대된다.

It is not difficult to see the road repairing. There are many and various machines which crush road surface. The efficiency and power of the machine depend on crushing head-shape, crushing interval, crushing load, crushing stress, machine's dropping height and roller's kind. The objective of this study is to select the optimal model among ten models of crushing machine with constraints such as crushing depth, variation, and crushed particle size. And then this paper provides the valid theoretical base on selected model. The data for this study are chosen from the site of construction in Kangnung during three months (2004. 6. 1~2004. 8. 31). The provided methodology in this paper will be fruitful not only for the selection of crushing machine but also for the aspects of construction period, cost, work efficacy according to the condition from the various sites of construction.

It is not difficult to see the road repairing. There are many and various machines that can crush road surface. The efficiency and power of the machine depend on crushing head-shape, crushing interval, crushing load, crushing stress, machine's dropping height and roller's kind. The objective of this study is to select the optimal model among ten models of crushing machine with constraints such as crushing depth, variation, and crushed particle size. The data for this study are chosen from the site of construction in Kangnung during three months (2004. 6. 1 ~ 2004. 8. 31). The provided methodology in this paper will be fruitful not only for the selection of crushing machine but also for the aspects of construction period, cost, work efficacy according to the condition from the various sites of construction.

Invariant 제약조건을 관리하기 위해서는 주로 데이터베이스 트리거를 사용하여 왔다. DB 트리거를 이용해서 제약조건을 관리하는 방법은 개념은 좋지만 시스템에 상당한 부하를 초래하며 성능 측면에서 비현실적이다. 또한, 현실적으로 Invariant는 항상 체크하는 것이 아니라 필요한 시점에서만 체크되어 관리되고 있다. 보통 Invariant는 관련된 비즈니스 프로세스 또는 단위업무를 수행할 때 체크된다. 더욱이 Invariant의 체크시점은 인력 및 장비의 가용성에 관계된 여러 경제적인 이유들로 인해 변경될 수 있다. 본 연구에서는 워크플로, BPMS등의 환경에서 비즈니스 Rule을 포함하는 Invariant 형태의 비즈니스 프로세스 제약조건을 통합 관리할 수 있는 방법론을 제시한다.

본 논문에서는 쉘 최적화에 대한 연구 결과를 기술하였다. 본 연구의 주목적은 쉘 구조물의 최적형상과 두께 분포를 찾는데 있다. 쉘의 변형에너지를 목적함수로 사용하고 초기 쉘의 부피를 제약조건을 고려하였다. 본 연구에서는 Computer-Aided Geometric Design (CAGD) 기법을 이용하여 쉘의 형상과 그 두께 분포를 표현하였고 쉘의 변형에너지를 측정하기 위해서 가변형 도를 채용한 퇴화 쉘 요소(Degenerated Shell Element)를 도입하였다. 최적 값을 구하기 위해서 세 가지 수학적 프로그래밍 기법을 제공하는 프로그램 DOT를 사용하였다. 마지막으로 새로이 개발된 쉘 최적화시스템의 효율성을 최적화예제로써 증명하였다.

변형된 라이저의 단위 접선벡터상의 운동학적 제약조건을 적용하여 심해저 라이저의 비선형 동적해석을 행한다. 이 조건의 적용으로 자유도수를 감소시킬 수 있으며 심한 비선형성으로 인한 해의 발산 가능성을 제거할 수 있다. 라이저의 거대변형으로 인한 기하학적 비선형성과 비선형 경계조건이 고려된다. 또한, 비선형성이 포함되는 수동학적 하중이 조류와 파랑에 의해 발생하여 내부에 정상류가 흐르는 라이저관의 외벽에 작용하게 된다. 이 외에도라이저 자체의 축방향 변형조건을 고려한다. Galerkin의 유한요소 근사화와 시간증분자를 적용하여 유한요소에 대한 평형 메트릭스 방정식을 유도하고, 수치해석을 위한 알고리즘을 제안하며 API 보고서의 결과와 비교함으로써 제안된 모델이 검증된다. 또한, 기하학적 비선형성으로 인한 영향을 조사하였다.

English conditional constructions can be realized as inverted ones, but the question remains what trigger the inversion and what kind of differences exist between the canonical and inverted conditional constructions. This paper supports the claim that the constructions are basically motivated by the information structure while inheriting general properties from the more general constructions, SAI (Subject-Aux-Inversion) ones.