The purpose of this experiment was to investigate the applicability of audio-visual modeling for improving the efficiency of rehabilitative programs by analyzing the effects of observing these various models on the capacity of stroke patients to perform upper limb activities. Twenty-one stroke patients participated in the experiment and were randomly assigned to either task modeling, sport modeling, or control group. During 2 weeks of intervention, subjects in all groups participated in the physical practice of experimental tasks. These tasks comprised of a Nine Hole Peg Test, the Jebsen-Taylor Hand Function tests, and locomotion. These tasks were performed 5 days a week, 30 min per day. In addition to the physical practice, the task modeling group observed a model performing experimental tasks and locomotive activities for 20 min, while the sport modeling group observed a model performing various sport activities for 20 min. Subjects' ability to perform the experimental tasks was measured 3 times, before, immediately after, and 1 week after the intervention. Analyses of the capacity to perform upper extremity activities displayed significant improvement from the pre-test to immediate and delayed post-tests in all groups. However, the amount of improvement was the highest in the task modeling group. The task modeling group was superior to the control group in the post-test of all experimental tasks, whereas the sport modeling group did not display significant differences from the control group. These results suggest that audio-visual modeling can be used as an effective cognitive intervention for facilitating the rehabilitation of stroke patients, and its rehabilitative effect can be maximized when the program is comprised of performance scenes directly related to the target task.

본 연구에서는 NURBS곡면식을 바탕으로 하는 곡면 모델링과 쉘 유한요소해석의 효율적인 연동체계를 개발하고자 한다. 기하학적으로 정확한 쉘 유한요소해석에서 정확한 기하량의 계산은 필수적이며, 따라서 곡면을 표현하는 일반적인 방법인 NURBS곡면식으로 부터 필요한 기하량을 직접 계산한다면 보간에 의해 발생할 수 있는 기하학적 오차를 줄임으로써 해의 수렴성을 높일 수 있다. 아울러 기하학적으로 정확한 쉘 유한요소를 일반적인 곡면에 적용하기 힘들었던 한계점을 극복하여 수학적으로 표현 가능한 단순한 곡면들뿐만 아니라, NURB곡면식으로 표현 가능한 일반적인 곡면의 해석이 가능하게 되어 적용범위를 확장할 수 있다. 본 연구에서는 곡면을 생성함에 있어 주어진 데이터 점들을 보간하여 NURBS곡면을 생성하는데, 이러한 데이터들은 일반적으로 곡면의 스캐닝을 통해 얻을 수 있다. 곡면을 보간하여 NURBS곡면을 생성하는 과정에서 사용되는 매개변수 정의방식에 때라 생성된 곡면의 정확성이 차이를 보이므로 곡면의 형상에 따라 적합한 방식을 사용하여 곡면을 보간 할 필요가 있다. 몇 가지 잘 알려진 수치예제를 통하여 개발된 연동체계의 성능과 정확성을 검증하고 그 결과를 비교 분석하였다.

The smoothed particle hydrodynamics (SPH) method is applied to construct the dispersion of fluctuations in quasi-hydrostatic configuration of an isothermal self-gravitating slab. The uncertainty of the implementation is evaluated, and a novel technique (acceleration error) is proposed to weaken this uncertainty. The two-fluid quasi-hydrostatic diffusion of small fluctuations is used to support the importance of the acceleration error. The results show that the uncertainty converges to a few percent by increasing of the SPH particle numbers. Considering the acceleration error weakens the uncertainty, and prohibits the serious dynamical consequences in slow dispersion of fluctuation in the quasi-hydrostatic evolution of the slab.

Otter boards in the trawl are the one of essential equipments for the net mouth to be spread to the horizontal direction. Its performance should be considered in the light of the spreading force to the drag and the stability of towing in the water. Up to the present, studies of the otter boards have focused mainly on the drag and lift force, but not on the stability of otter boards movement in 3 dimensional space. In this study, the otter board is regarded as a rigid body, which has six degrees of freedom motion in three dimensional coordinate system. The forces acting on the otter boards are the underwater weight, the resistance of drag and spread forces and the tension on the warps and otter pendants. The equations of forces were derived and substituted into the governing equations of 6 degrees of freedom motion, then the second order of differential equations to the otter boards were established. For the stable numerical integration of this system, Backward Euler one of implicit methods was used. From the results of the numerical calculation, graphic simulation was carried out. The simulations were conducted for 3 types of otter boards having same area with different aspect ratio(λ=0.5, 1.0, 1.5). The tested gear was mid-water trawl and the towing speed was 4k't. The length of warp was 350m and all conditions were same to each otter board. The results of this study are like this; First, the otter boards of λ=1.0 showed the longest spread distance, and the λ=0.5 showed the shorted spread distance. Second, the otter boards of λ=1.0 and 1.5 showed the upright at the towing speed of 4k't, but the one of λ=0.5 heeled outside. Third, the yawing angles of three otter boards were similar after 100 seconds with the small oscillation. Fourth, it was revealed that the net height and width are affected by the characteristics of otter boards such as the lift coefficient.

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.