• 대한수학회보
• /
• 제54권2호
• /
• pp.647-654
• /
• 2017

Duality methods based on modified Lagrangian functional for solving a model crack problem is considered. Without additional assumptions of regularity of the solution of an initial problem duality ratio is established for initial and dual problem.

• Kyungpook Mathematical Journal
• /
• 제60권2호
• /
• pp.319-334
• /
• 2020

We propose a mathematical model with Holling type II functional response, to study the dynamics of vaccination. In order to make our model more realistic, we have incorporated the recruitment of infected individuals as a continuous process. We have assumed that vaccination cannot be perfect and there is always a possibility of re-infection. We have obtained the existence of a disease free and endemic equilibrium point, when the recruitment of infective is not considered and also obtained the existence of at least one endemic equilibrium point when recruitment of infective is considered. We have proved that if R_v < 1, disease free equilibrium is locally asymptotically stable, which leads to the elimination of the disease from the population. The persistence of the model has also been established. Numerical simulations have been done to establish the results obtained.

• Journal of the Korean Data and Information Science Society
• /
• 제26권3호
• /
• pp.749-754
• /
• 2015

This article presents Bayesian approach to regression splines with knots on a grid of equally spaced sample quantiles of the independent variables under functional measurement error model.We consider small area model by using penalized splines of non-linear pattern. Specifically, in a basis functions of the regression spline, we use radial basis functions. To fit the model and estimate parameters we suggest a hierarchical Bayesian framework using Markov Chain Monte Carlo methodology. Furthermore, we illustrate the method in an application data. We check the convergence by a potential scale reduction factor and we use the posterior predictive p-value and the mean logarithmic conditional predictive ordinate to compar models.

• 한국자동차공학회논문집
• /
• 제13권1호
• /
• pp.109-118
• /
• 2005

A functional suspension model is proposed as a kinematic describing function of the suspension that represents the relative wheel displacement in polynomial form in terms of the vertical displacement of the wheel center and steering rack displacement. The relative velocity and acceleration of the wheel is represented in terms of first and second derivatives of the kinematic describing function. The system equations of motion for the full vehicle dynamic model are systematically derived by using velocity transformation method of multi-body dynamics. The comparison of field test results and simulation results of the ADAMS/Car demonstrates the validity of the proposed functional suspension modeling method. This model is suitable for real-time vehicle dynamics analysis.

• 시스템엔지니어링학술지
• /
• 제13권1호
• /
• pp.57-65
• /
• 2017

Recently, the ratio of electrical part and embedded software has grown in automotive industry. ISO 26262, 'Road Vehicles - Functional Safety', was published to guide development of automotive electrical and electronic part in 2011. This paper describes definition of functional safety and analyzes ISO 26262. The comparison of ISO 26262 and DO-178C is made, then difference between them is identified. DO-178C provides guidance for the production of software for airborne system and equipment. The core of DO-178C is a relatively minor update to the previous DO-178B, however, the big changes are captured in the supplemented documents such as DO-331, 'Model-Based Development and Verification Supplement to DO-178C and DO-278A'. Model-based design is important to develop automotive and aircraft meeting the guidelines of ISO 26262 and DO-178C. In this paper, the sample case of applying MBSE(Model-Based Systems Engineering) to AVCS(Active Vibration Control System) software development is discussed.

• Advances in aircraft and spacecraft science
• /
• 제7권4호
• /
• pp.353-369
• /
• 2020

This paper presents the flutter analysis and optimum design of axially functionally graded box beam cantilever wing section by considering various geometric and material parameters. The coupled dynamic equations of the continuous model of wing system in terms of material and cross-sectional properties are formulated based on extended Hamilton's principle. By expressing the lift and pitching moment in terms of plunge and pitch displacements, the resultant two continuous equations are simplified using Galerkin's reduced order model. The flutter velocity is predicted from the solution of resultant damped eigenvalue problem. Parametric studies are conducted to know the effects of geometric factors such as taper ratio, thickness, sweep angle as well as material volume fractions and functional grading index on the flutter velocity. A generalized surrogate model is constructed by training the radial basis function network with the parametric data. The optimized material and geometric parameters of the section are predicted by solving the constrained optimal problem using firefly metaheuristics algorithm that employs the developed surrogate model for the function evaluations. The trapezoidal hollow box beam section design with axial functional grading concept is illustrated with combination of aluminium alloy and aluminium with silicon carbide particulates. A good improvement in flutter velocity is noticed by the optimization.

• 자원ㆍ환경경제연구
• /
• 제28권3호
• /
• pp.437-465
• /
• 2019

본 연구에서는 장기 전력 수요와 GDP 사이의 소득계수를 시간과 GDP의 값에 따라 변화하도록 모형화한 Chang et al.(2016)에 기반을 두어 장기 에너지 수요의 예측에 관련된 새로운 방법을 제안한다. 본 논문에서는 장기 에너지와 GDP 사이의 소득계수를 함수로 표현하고, 함수 주성분 분석(Functional Principal Component Analysis)을 통하여 함수계수(Functional Coefficient)를 예측하고 이를 장기 에너지 수요 예측에 적용한다. 또한 함수계수를 비모수적으로 추정할 때 너비띠 모수를 예측 실험 오차를 최소화하도록 설정하는 방식을 제안하였고 개별 국가의 함수계수 변화 패턴을 반영하여 개별 국가의 특수성을 반영하는 예측 방법도 제시한다. 실증분석에서는 전 세계 에너지 데이터를 이용하여 한국의 장기 에너지 수요 예측을 본 논문에서 제시한 방법으로 예측하고, 기존의 방법들 보다 안정적인 장기 에너지 수요 예측이 가능함을 보였다.

• 대한전기학회논문지:전력기술부문A
• /
• 제48권8호
• /
• pp.1046-1053
• /
• 1999

The musculotendon model is presented to show the declines in muscle force and shortening velocity during muscle fatigue due to the repeated functional electrical stimulation (FES). It consists of the nonlinear activation and contraction dynamics including physiological concepts of muscle fatigue. The activation dynamics represents $Ca^{2+}$ binding and unbinding mechanism with troponins of cross-bridges in sarcoplasm. It has the constant binding rate or activation time constant and two step nonlinear unbinding rate or inactivation time constant. The contraction dynamics is the modified Hill type model to represent muscle force - length and muscle force - velocity relations. A muscle fatigue profile as a function of the intracellular acidification, pH is applied into the contraction dynamics to represent the force decline. The computer simulation shows that muscle force and shortening velocity decline in stimulation time. And we validate the model. The model can predicts the proper muscle force without changing its parameters even when existing the estimation errors of the optimal fiber length. The change in the estimate of the optimal fiber length has an effect only on muscle time constant in transient period not on the tetanic force in the steady-state and relaxation periods.

• 대한간호학회지
• /
• 제45권6호
• /
• pp.900-909
• /
• 2015

Purpose: The purpose of this study was to identify the effect of predictive factors related to family strength and develop a structural equation model that explains family strength among married working women. Methods: A hypothesized model was developed based on literature reviews and predictors of family strength by Yoo. This constructed model was built of an eight pathway form. Two exogenous variables included in this model were ego-resilience and family support. Three endogenous variables included in this model were functional couple communication, family stress and family strength. Data were collected using a self-report questionnaire from 319 married working women who were 30~40 of age and lived in cities of Chungnam province in Korea. Data were analyzed with PASW/WIN 18.0 and AMOS 18.0 programs. Results: Family support had a positive direct, indirect and total effect on family strength. Family stress had a negative direct, indirect and total effect on family strength. Functional couple communication had a positive direct and total effect on family strength. These predictive variables of family strength explained 61.8% of model. Conclusion: The results of the study show a structural equation model for family strength of married working women and that predicting factors for family strength are family support, family stress, and functional couple communication. To improve family strength of married working women, the results of this study suggest nursing access and mediative programs to improve family support and functional couple communication, and reduce family stress.

• 제어로봇시스템학회논문지
• /
• 제7권8호
• /
• pp.689-696
• /
• 2001

Large-scale Multi-disciplinary Systems(LMS) such as transportation, aerospace, defense etc. are complex systems in which there are many subsystems, interfaces, functions and demanding performance requirements. Because many contractors participate in the development, it is necessary to apply methods of sharing common objectives and communicating design status effectively among all of the stakeholders. The processes and methods of systems engineering which includes system requirement analysis; functional analysis; architecting; system analysis; interface control; and system specification development provide a success-oriented disciplined approach to the project. This paper shows not only the methodology and the results of model-based systems engineering to Automated Guided Transit(AGT) system as one of LMS systems, but also propose the extension of the model-based tool to help manage a project by linking WBS (Work Breakdown Structure), work organization, and PBS (Product Breakdown Structure). In performing the model-based functional analysis, the focus was on the operation concept of an example rail system at the top-level and the propulsion/braking function, a key function of the modern automated rail system. The model-based behavior analysis approach that applies a discrete-event simulation method facilitates the system functional definition and the test and verification activities. The first application of computer-aided tool, RDD-100, in the railway industry demonstrates the capability to model product design knowledge and decisions concerning key issues such as the rationale for architecting the top-level system. The model-based product design knowledge will be essential in integrating the follow-on life-cycle phase activities. production through operation and support, over the life of the AGT system. Additionally, when a new generation train system is required, the reuse of the model-based database can increase the system design productivity and effectiveness significantly.