• 대한기계학회:학술대회논문집
• /
• 대한기계학회 2008년도 추계학술대회A
• /
• pp.612-617
• /
• 2008

In this present work, trimmed surface analysis for the 2D elasticity problem is presented. The main benefit of the proposed method is that no additional modeling for analysis of a trimmed surface is necessary. As the first attempt to deal with a trimmed surface in spline FEM, the information of the trimming curve and trimmed surface exported from CAD system is directly utilized for analysis. For this, trimmed elements are searched through employing projection scheme. For the integration of the trimmed elements, NURBSenhanced integration scheme which is used in NEFEM is adopted. The quadtree refinement of integration cell is performed for the complicated trimmed cases. The information of trimming curve is used for obtaining integration points as well as constructing stiffness matrix. The robustness and effectiveness of the proposed method are investigated by presenting various numerical examples.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2016년도 추계학술발표대회
• /
• pp.439-442
• /
• 2016

제한된 환경에서 로봇이 동적 장애물들에 대해 능동적으로 대처하며 목표한 지점까지 도달하기 위한 알고리즘을 제안한다. 로봇은 행동기반 시스템으로 만들어져 주변 장애물들을 자율적으로 회피한다. ex-agent는 공중에서 주변 환경들을 modeling 한 뒤 cell-map을 만들어 $A^*$알고리즘을 통해 이동 경로를 설정한다. 이동 경로와 로봇의 진행방향을 비교하여 회전 방향을 조언해준다. 로봇은 ex-agent 로부터 받은 조언과 센서값들을 조율하여 장애물들을 능동적으로 회피하며 목표 위치를 찾아갈 수 있다. 실험은 시뮬레이터를 통해 이루어졌으며 장애물들에 대해 원반한 회피율을 보였다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1987년도 정기총회 및 창립40주년기념 학술대회 학회본부
• /
• pp.439-443
• /
• 1987

This paper presents a method for constructing model of manufacturing processes for simulation and design of the discrete control logic. The models represent the discrete vent evolution of the system as well as features of the underlying continues processes, for applications such as discrete parts manufacture and assembly, the process is decomposed into operations and for each operation the required resources and associated discrete resource slates are Identified. The structure of the discrete-level control is modeled by modified Perti nets which are synthesized from single resource activity cycles. Construction of nets provides discrete control logic with guaranteed properties based on extended Petri nets theory, for illustration, the proposed method is applied to the high-level discrete control of a two-robotic assembly cell.

• 한국시뮬레이션학회논문지
• /
• 제2권1호
• /
• pp.1-12
• /
• 1993

Simulation has been recognized as an invaluable tool in designing and analyzing manufacturing system. In this paper, a Petri net based simulation tool to facilitate the simulation project in manufacturing area is presented . To simulate a manufacturing system, three models are developed ; a Petrinet model, a monitor, and a token control function. While hardware objects in manufacturing systems are modeled by Petri net objects, cell level control functions are separately modeled and integrated with a Petri net model so that they resolve conflicts occuring in Petri net execution. The monitor is a model regarding the information flow between Petri nets and token control functions. The facilities of the developed tool are presented. Also, a modeling procedure with the tool is illustrated via a case study.

• Molecules and Cells
• /
• 제41권7호
• /
• pp.613-621
• /
• 2018

The capacity of differentiation of human pluripotent stem cells (hPSCs), which include both embryonic stem cells and induced pluripotent stem cells, into cardiomyocytes (CMs) in vitro provides an unlimited resource for human CMs for a wide range of applications such as cell based cardiac repair, cardiac drug toxicology screening, and human cardiac disease modeling. However, their applicability is significantly limited by immature phenotypes. It has been well known that currently available CMs derived from hPSCs (hPSC-CMs) represent immature embryonic or fetal stage CMs and are functionally and structurally different from mature human CMs. To overcome this critical issue, several new approaches aiming to generate more mature hPSC-CMs have been developed. This review describes recent approaches to generate more mature hPSC-CMs including their scientific principles, advantages, and limitations.

• Journal of Communications and Networks
• /
• 제7권1호
• /
• pp.54-64
• /
• 2005

This paper presents an advanced architecture for a traffic generator capable of producing ATM traffic streams according to fully general semi-Markovian stochastic models. The architecture employs a basic traffic generator platform and enhances it by adding facilities for 'driving' the cell generation process through high-level specifications. Several kinds of optimization are employed for enhancing the software's speed to match the hardware's potential and for ensuring that traffic streams corresponding to models with a wide range of parameters can be generated efficiently and reliably. The proposed traffic generation procedure is highly modular. Thus, although this paper deals with ATM traffic, the main elements of the architecture can be used equally well for generating traffic loads on other networking technologies, IP-based networks being a notable example.

• 전력전자학회:학술대회논문집
• /
• 전력전자학회 2017년도 전력전자학술대회
• /
• pp.463-464
• /
• 2017

다른 리튬계열 전지와 달리, 인산철($LiFePO_4$) 배터리는 중간 동작 영역에서 개방전압(OCV; open-circuit voltage)의 히스테리시스(hysteresis) 영역이 존재한다. 그러므로, 인산철 배터리 관리시스템, 특히 충전상태(SOC; state-of-charge)와 수명상태(SOH; state-of-health)의 정확한 모니터링을 위해서는 OCV의 정밀성이 요구된다. 본 논문에서는, 충전 및 방전 OCV-SOC의 SOC 간격에 따른 인산철 배터리의 SOH를 비교하기 위해 전기적 등가회로 모델(ECM; electrical-circuit modeling)적응제어 알고리즘 기반 실시간 내부저항(DCIR; direct current internal resistance)을 모니터링 하였다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2009년도 춘계학술대회 논문집 에너지변화시스템부문
• /
• pp.271-273
• /
• 2009

본 논문은 연료전지의 동특성을 모델링하고 시뮬레이션 결과를 이용하여 시스템에서 에너지 보상 배터리의 최적화 설계 방법을 제안하였다. 다양한 전기화학방정식과 실제 연료전지의 측정 데이터를 기반으로 연료전지 모델링을 수행하고, 시뮬레이션 결과를 분석하여 시스템에서 요구되는 전력을 계산하여 배터리를 용량을 산정 하였다.

• 전력전자학회:학술대회논문집
• /
• 전력전자학회 2008년도 추계학술대회 논문집
• /
• pp.193-195
• /
• 2008

As arising the cost and decreasing of gasoline and fossil fuel, renewable energy sources such as photovoltaics, wind and fuel cell have been interested. Among of them, PEM fuel cells are good energy sources to provide reliable power at steady state regardless of weather, time of day and location as long as the fuel and air are supplied, but they cannot respond to electrical load transients as fast as desired. This is mainly due to their slow internal electrochemical and thermodynamic responses. Therefore, to use the fuel cells with high efficiency, this paper finds characteristic curve and understand operation of PEMFC based on three theoretical approaches such as activation, ohmic and concentration and make the model using MATLAB. That result was compared with real system to certify.

• BMB Reports
• /
• 제52권6호
• /
• pp.349-359
• /
• 2019

After the first research declaring the generation of human induced pluripotent stem cells (hiPSCs) in 2007, several attempts have been made to model neurodegenerative disease in vitro during the past decade. Parkinson's disease (PD) is the second most common neurodegenerative disorder, which is mainly characterized by motor dysfunction. The formation of unique and filamentous inclusion bodies called Lewy bodies (LBs) is the hallmark of both PD and dementia with LBs. The key pathology in PD is generally considered to be the alpha-synuclein (${\alpha}$-syn) accumulation, although it is still controversial whether this protein aggregation is a cause or consequence of neurodegeneration. In the present work, the recently published researches which recapitulated the ${\alpha}$-syn aggregation phenomena in sporadic and familial PD hiPSC models were reviewed. Furthermore, the advantages and potentials of using patient-derived PD hiPSC with focus on ${\alpha}$-syn aggregation have been discussed.