Recently, buildings are constructed increasingly higher and even more people are using elevators every day. Therefore, more efficient means of vertical transportation are required. Most of high-rise buildings is equipped with elevators. Unlike one elevator system, a multi-elevator system requires a function, which can distribute multiple elevators effectively. This paper examines a multi-elevator system, which has been modeling mathematically, in order to reduce waiting time and use elevators more effectively.

  In this paper, we present a systematic approach to translating BPML (Business Process Modeling Language) into the π-Calculus. BPML is an executable business process modeling language, like BPEL4WS (Business Process Execution Language for Web Services).

이 논문에서는 안정대륙권역(Stable Continental Regions, SCRs)에서의 중규모 지진에 의한 근단층지반운동(Near Fault Ground Motion, NFGM) 모델을 처음으로 제시한다. 근단층지반운동은 큰 진폭의 장주기 속도 펄스를 갖는 특징을 가지고 있다. 이 속도 펄스를 모델링하기 위해서는 그 주기와 진폭을 지진의 규모와 단층거리의 함수로 표현할 수 있어야 한다. 그런데 안정대륙권역에서는 관측 자료가 빈약하여 지진데이터로부터 이 관계식을 직접 유도하는 것은 어렵기 때문에 이 연구에서는 간접적인 접근법을 채택하였다. 속도 펄스의 주기와 진폭은 단층파열의 상승시간과 파열속도의 함수임이 알려져 있고 활성구조권역(Active Tectonic Regions, ATRs)에 속하는 미국 서부지역에서는 실험적 공식이 확립되어 있다. 안정대륙권역에서의 상승시간과 단층파열속도의 지진규모에 대한 함수관계는 WUS와 CEUS에서의 자료를 비교하여 도출하였다. 이 관계식들로부터 안정대륙권역에서의 NFGM의 속도 펄스의 주기와 진폭을 지진규모 및 단층 거리에 대한 관계식으로 유도하였다. 안정대륙권역에서의 NFGM의 가속도 시간이력은 추계학적으로 생성된 원역지진지반가속도에 새로운 관계식에 의한 속도 펄스를 중첩하여 얻어진다. 적용 예제로서 탄소성 단자유도 시스템의 근단층지반운동에 대한 응답을 분석하였다.

In Spray Forming, specific enthalpy is a key parameter in the deposition process as it influences the thermal condition of the impinging droplets as well as that of the deposit surface. An empirical model for the distribution of specific enthalpy in the spray cone was developed as an easy to handle alternative to numerical models with which the descriptive partial differential equations are solved numerically. The model results were compared with the experimental data to validate its applicability.

Many experimental and numerical approaches have been developed to evaluate paving materials and to predict pavement response and distress. Micromechanical simulation modeling is a technology that can reduce the number of physical tests required in material formulation and design and that can provide more details, e.g., the internal stress and strain state, and energy evolution and dissipation in simulated specimens with realistic microstructural features. A clustered distinct element modeling (DEM) approach was implemented In the two-dimensional particle flow software package (PFC-2D) to study the complex behavior observed in asphalt mixture fracturing. The relationship between continuous and discontinuous material properties was defined based on the potential energy approach. The theoretical relationship was validated with the uniform axial compression and cantilever beam model using two-dimensional plane strain and plane stress models. A bilinear cohesive displacement-softening model was implemented as an intrinsic interface and applied for both homogeneous and heterogeneous fracture modeling in order to simulate behavior in the fracture process zone and to simulate crack propagation. A disk-shaped compact tension test (DC(T)) with heterogeneous microstructure was simulated and compared with the experimental fracture test results to study Mode I fracture. The realistic arbitrary crack propagation including crack deflection, microcracking, crack face sliding, crack branching, and crack tip blunting could be represented in the fracture models. This micromechanical modeling approach represents the early developmental stages towards a 'virtual asphalt laboratory,' where simulations of laboratory tests and eventually field response and distress predictions can be made to enhance our understanding of pavement distress mechanisms, such its thermal fracture, reflective cracking, and fatigue crack growth.

The 3-D modeling of ocean finite element method(OFEM) using k-ε turbulent model and tetrahedron grids has been used to investigate the internal wave generation during the expansion of the deep water from the open sea to the shelf with a simple shape, which can be widely used in the fields of submarine development, ocean environment and meteorology, etc. In this paper, the detailed configuration of internal wave with its length and height and also the distribution of salinity and turbulent kinematic energy, etc. were derived. It is hoped that this OFEM method can be successfully applied to the numerical calculation of internal wave for and the oceanographic problems (tidal flows around underwater hill, plateau, Georges Bank, etc.) and ocean engineering problems(flow past artificial sea reefs) in future.

주어진 시스템에서 정보와 정보흐름에 대한 패턴인식을 하기 위해서는, 정보를 내포하고 있는 문맥이 내용에 따라서 다른 단어나 다른 정보를 추론하여 원래의미를 전달함에 있어 오도할 수 있기 때문에, 문맥의 분해에서 정보 조각의 묶음 형태로 전환하는 작업에서부터 연구는 시작되어야만 한다. 많은 연구자들이 정보의 저장, 재표현, 부호화, 검색 등에 관해 효과적인 방법론을 찾고자 노력해 오고 있다. 유사한 노력의 일환으로 본 논문에서는 군이론과 상황이론을 응용해

페트리 네트(Petri Nets)는 이산 사건 시스템을 모델링할 수 있는 그래픽하고, 수학적인 도구이다. 본 연구는 유연 제조 시스템을 확률적인 페트리 네트(Stochastic Petri Nets)중의 하나인 임베디드 마코프 체인(Embeded Markov Chain)에 도입하고, 임베디드 마코프 체인의 방법 중에 하나인 일반화된 확률적 페트리 네트(Generalized Stochastic Petri Nets)에 적용시켰다. 그리고 결과치의 정확성을 알

데크플레이트와 콘크리트가 합성되어 있는 합성 바닥판 구조물은 데크플레이트의 골 방향과 골 직각방향에 대하여 강성이 다르므로 직교이방성판 거동을 보이고 있으며 테크플레이트와 콘크리트의 합성 거동으로 인하여 적층 바닥판 구조물로 평가할 수 있다. 이러한 합성데크 바닥판 구조물의 진동에 대한 정확한 사용성 평가를 위해서는 합성데크 바닥판 구조물의 정밀 진동해석을 수행하여야 한다. 이를 위해서는 합성데크 바닥판 구조물의 강성에 대한 직교이방성 그리고 데크플레이트와 콘크리트의 합성에 대한 정확한 거동 평가가 수반되어야 한다. 본 논문에서는 합성데크 바닥판 구조물의 골 직각 방향에 대한 강성을 계산하기 위하여 각각의 토핑 콘크리트 두께와 데크플레이트 두께를 적용하였다. 또한 골 방향에 대한 강성을 계산하기 위하여 콘크리트와 데크플레이트의 단면 강성을 구하여 등가두께를 적용하였다. 그리고 콘크리트와 데크플레이트의 합성거동을 표현하기 위하여 적층판에 대한 등가 강성식을 적용, 합성데크 바닥판 구조물의 강성을 나타내었다. 본 논문에서 제안한 합성데크 바닥판 구조물의 실용적인 모형화방법을 적용할 경우에 합성데크 바닥판 구조물의 강성에 대한 직교이방성과 콘크리트와 데크플레이트의 합성 거동을 잘 표현할 수 있었다

The need for accurate yield prediction is increasing for estimating productivity and production costs to secure high revenues in the semiconductor industry. Corresponding to this end, we introduce new spatial modeling approaches for spatially clustered defects on an integrated circuit (IC) wafer map. We use spatial location of an IC chip on the wafer as a covariate on corresponding defects count listed in a wafer map. Analysis results indicate that yield prediction can be greatly improved by capturing spatial features of defects. Tyagi and Bayoumi's (1994) wafer map data are used to illustrate the procedure.

To understand the pattern recognition from dataset, a study should be started from the decomposition process of context into a collection of data pieces because the context may infer different words or information. Many researchers have been focused on finding an effective methodology for data storage, retrieval, representation, and discovery. As a similar endeavor, this paper proposes a new modeling method using group theory and situation theory. This paper provides how to construct a semi-group as a modeling method for pattern recognition from huge dataset. This process of construction of semi‐groups can be used as a retrieval tool for the decomposed information if necessary.

Many enterprise find process modeling to be an effective approach in competitive global market. In this paper, we investigate the comparision of characteristics for process modeling methodologies. The purpose of this paper is to propose information to company for successful process modeling.

Walking loads are influenced by various parameters so that they need to be measured considering such parameters. Walking frequency(rate) is experimentally investigated as the most important parameter in determining the walking load expressed with dynamic load factor. This study focuses on the derivation of continuous walking load-time functions at any walking frequency ranging from 1.30Hz to 2.70Hz. Experiments were conducted to obtain time-histories of walking loads at the increment of 0.1Hz, which are decomposed into harmonic loads by the Fourier transformation. The polynomial load-time functions are proposed representing the relationship between harmonic coefficients and walking frequencies, thereby easily formulating walking load-time histories for dynamic load factor with various walking frequencies.

Step-feed process for biological nitrogen removal were analyzed numerically for the each unit and final total nitrogen(TN) effluent by water quality management(WQM) model and the results were compared data from these wastewater treatment plants. No bugs and logic error were occurred during simulation work. All of the simulation results tried to two times were obtained and both results were almost same as this model has become good reappearance. It was concluded that most of nitrogen removal occurred in the first oxic tank. Thus the controlling of the first anoxic tank may be more important in term of nitrogen removal. Also each unit of simulation result was kept good relationship with that of measured data. Accordingly this WQM model has good reliance. Finally, WQM model can predict final TN effluent within ±6.0mg/l.

팻취 보강된 철근콘크리트 구조물 해석을 위한 p-version 비선형 유한요소 모델이 제시되었다. 이방성 적층평판이론에 기초를 둔 제안된 모델은 Total Lagrangian기법에 기초한 von Karman의 대변형-소변형률 이론과 증분소성이론(incremental theory of plasticity)을 적용하였다. 콘크리트의 경화법칙(hardening rule)과 그에 따른 파괴기준을 고려하고, 단부 계면 층분리 모델(plate-end interfacial debonding model) 즉, 보강판 끝 부분에서의 콘크리트 탈락에 대한 기준으로서 Oehlers Model과 Raoof and Zhang Model을 사용하였다. 콘크리트는 두께 방향으로 층상화기법(layered model)이 이용되며, 철근과 보강판은 환산층(smeared reinforcing layer)으로 계산되도록 하였다 적분형 르장드르 다항식이 형상함수로 사용되며, 절점에서의 응력값 산출을 위해 Gauss Lobatto 수치적분법을 사용하였다. 본 연구의 목적은 p-version 유한요소법을 사용하여 RC구조물에 대한 수피해의 정확도 및 모델의 단순성을 높인 수 있도록 하였다. 따라서, 철근과 콘크리트모델에 대한 이론적 근거는 기존의 연구문헌에 근거를 두었으며, 수치해석의 적정성은 팻취 보강된 RC보와 슬래브에 대한 문헌의 실험치 및 해석치와 비교 분석되었다.