• International Journal of Fuzzy Logic and Intelligent Systems
• /
• 제13권3호
• /
• pp.200-207
• /
• 2013

Petri Nets are a system description and analysis tool. Reachability is one of the most basic properties in Petri Net research. In a sense, reachability research is the foundation study for other dynamic properties of Petri Nets through which many problems involving Petri Nets can be described. Nowadays, there are two mature analysis methods-the matrix equation and the reachability tree. However, both methods are localized, i.e., it is difficult to find a general algorithm that can determine reachability for an arbitrary Petri Net, especially an unbounded Petri Net. This paper proposes and proves three propositions in order to present a subclass of a Petri Net, the live single-branch Petri Net, whose reachability is equivalent to the satisfiability of the state equation.

• 설비공학논문집
• /
• 제12권11호
• /
• pp.1031-1037
• /
• 2000

Isothermal vapor-liquid equilibrium(VLE) data have been obtained for the systems of propane(R290)+1,1,1,2-tetrafluoroethane(R134a) and 1,1,1,2-tetrafluoroethane(R134a)+isobutane(R60A) in the temperature range of 253.15 to 323.15K. Experiments were performed in a circulation type apparatus by injecting vapor through liquid pool using a magnetic pump. Both systems form azeotropes in the temperature range of this study. The experimental results were estimated with the Peng-Robinson equation of state. When the temperature-dependent binary interaction parameter was used in the Peng-Robinson equation of state, the absolute average deviation of the measured bubble point pressures from the values correlated by the Peng-Robinson equation was 0.65% and 0.78% for R290+R134a and R134a+600a, respectively. Azeotropic compositions for both systems were presented.

• 설비공학논문집
• /
• 제11권1호
• /
• pp.125-132
• /
• 1999

Studies are being done to replace conventional refrigerants with alternatives that have low or no ozone depletion and greenhouse warming Potentials, yet possess appropriate pro perties for a refrigeration cycle. To achieve this goal, a consistent set of thermodynamic properties of the working fluid is required. A common problem with the possible alternative refrigerants is that sufficient experimental data do not exist, thus making it difficult to develp complete equations of state that can predict properties in all regions including the vapor-liquid equilibrium. One solution is the use of the generalized equation of state correlations that can predict thermodynamic properties with a minimum number of characteristic parameters. Characteristic parameters required for the generalized equation of state are, in general, critical temperature, critical pressure, critical volume and normal boiling temperature. In this study, estimation of these characteristic parameters of refrigerants by group contribution method is developed.

• 한국윤활학회:학술대회논문집
• /
• 한국윤활학회 2002년도 proceedings of the second asia international conference on tribology
• /
• pp.217-218
• /
• 2002

An integrated adhesive wear model was proposed to determine the transient wear and steady-state wear of aluminium alloy matrix composites. The transient wear volume was described by an exponential equation, while the steady-state wear was governed by a revised Archard equation, in which both the transient wear volume and transient sliding distance were excluded. A mathematical method was developed to determine both the transient distance and the net steady-state wear coefficient. Experimental wear tests were carried out on three types of commercial A6061 aluminum alloy matrix composites reinforced with 10%, 15% and 20% alumina particles. More accurate wear coefficient values were obtained with the proposed model. The average standard wear coefficient, as determined by the original Archard equation, was found to be about 51% higher.

• 대한기계학회논문집
• /
• 제13권4호
• /
• pp.764-770
• /
• 1989

This paper analyze the steady state performance of a self-acting air lubricated slider bearing in hard disk/head system. Modified Reynolds' equation is derived from the steady state compressible Navier-Stokes equation, under slip-flow conditions. Finite difference technique and numerical procedure are described by using Newton-Raphson iteration method to slove the non-linear equations. These techniques are applied to conventional slider bearings and the effects of molecular mean free path(MMFP) for a recording surface of hard disk are shown. The calculation procedure developed here, wide applicabilities in practical head design procedures, and converges rapidly.

• Bulletin of the Korean Chemical Society
• /
• 제35권9호
• /
• pp.2699-2703
• /
• 2014

We solve the Klein-Gordon equation with the modified Rosen-Morse potential energy model. The bound state energy equation has been obtained by using the supersymmetric shape invariance approach. The relativistic vibrational transition frequencies for the $6^1{\Pi}_u$ state of the $^7Li_2$ molecule have been computed by using the modified Rosen-Morse potential model. The calculated relativistic vibrational transition frequencies are in good agreement with the experimental RKR values.

• 대한화학회지
• /
• 제59권6호
• /
• pp.499-507
• /
• 2015

본 연구의 목적은 이온화식 작성에 대한 중학생들의 이해 정도를 알아보는 것이다. 서울시 소재 중학교 한 곳에 재학중인 3학년 학생 219명이 연구에 참여하였다. 6차시에 걸친 ‘전해질과 이온’ 단원의 수업이 끝난 후, 이온화합물의 이온화 과정을 이온화식으로 표현하도록 구성한 서술형 검사를 실시하였다. 검사 결과를 분석하여 이온화합물의 구성 특성에 따라 이온화식 서술에 대한 정답률을 파악하였으며, 이온화식 표현과 관련된 지식상태를 토대로 이온화식 표현의 위계 관계를 분석하였다. 연구 결과는 다음과 같다. 첫째, 이온화합물을 구성하는 양이온과 음이온의 종류, 전하량과 구성 개수를 바탕으로 이온화합물들을 여섯 집단으로 분류하고 집단의 특성에 따라 학생 응답을 분석한 결과 정답률에 차이가 나타났다. 둘째, 지식 상태 분석 결과 이온화합물을 구성하는 양이온과 음이온의 종류와 전하량, 구성 개수를 알아내어 이온화 과정을 식으로 표현하는 지식상태가 구조화되어 있음을 알 수 있었다. 연구 결과를 바탕으로 효과적인 이온화식 학습 전략의 설계를 위한 시사점을 제안하였다.

• Coupled systems mechanics
• /
• 제8권2호
• /
• pp.147-168
• /
• 2019

This work aims to simulate three-dimensional heavy oil flow in a reservoir with heater-wells. Mass, momentum and energy balances, as well as correlations for rock and fluid properties, are used to obtain non-linear partial differential equations for the fluid pressure and temperature, and for the rock temperature. Heat transfer is simulated using a two-equation model that is more appropriate when fluid and rock have very different thermal properties, and we also perform comparisons between one- and two-equation models. The governing equations are discretized using the Finite Volume Method. For the numerical solution, we apply a linearization and an operator splitting. As a consequence, three algebraic subsystems of linearized equations are solved using the Conjugate Gradient Method. The results obtained show the suitability of the numerical method and the technical feasibility of heating the reservoir with static equipment.

• Journal of Mechanical Science and Technology
• /
• 제18권1호
• /
• pp.122-131
• /
• 2004

A constraint equation-based control law design for large angle attitude maneuvers of flexible spacecraft is addressed in this paper The tip displacement of the flexible spacecraft model is prescribed in the form of a constraint equation. The controller design is attempted in the way that the constraint equation is satisfied throughout the maneuver. The constraint equation leads to a two-point boundary value problem which needs backward and forward solution techniques to satisfy terminal constraints. An observer-based tracking control law takes the constraint equation as the input to the dynamic observer. The observer state is used in conjunction with the state feedback control law to have the actual system follow the observer dynamics. The observer-based tracking control law eventually turns into a stabilized system with inherent nature of robustness and disturbance rejection in LQR type control laws.

• 대한수학회논문집
• /
• 제32권1호
• /
• pp.215-224
• /
• 2017

In this paper, we propose a method of order two for the computation of positive solutions to a boundary value problem of the linear beam equation. The method is based on the Power method for the eigenvector associated with the dominant eigenvalue and the Crout-like factorization algorithm for the banded system of linear equations. It is extremely fast due to the linear complexity of the linear system solver. Numerical result of a test problem is included.