• 한국경영과학회지
• /
• 제23권2호
• /
• pp.157-185
• /
• 1998

One of the essential issues in model systems is how to represent and manipulate mathematical modeling knowledge. As the bases of integrated modeling environments, current modeling frameworks have limitations: lack of facility to coordinate different users perpectives and lack of mechanism to reuse modeling knowledge. In this paper, multi-facetted modeling approach is proposed as a basis for the development of integrated modeling environment which provides facilities for (1) independent management of modeling knowledge from individual models； (2) object-oriented conceptual blackboard concept； (3) multi-facetted modeling； and (4) declarative representation of mathematical knowledge. The proposed multi-facetted approach is illustrated using multicommodity transportation models.

• 대한수학교육학회지:수학교육학연구
• /
• 제10권2호
• /
• pp.199-214
• /
• 2000

The constructivism is an important stream of the recent trends of mathematics education. In order for students to construct their knowledge for themselves, above all, it should be a prerequisite that they participate in actively, Using games helps students to participate in learning mathematics actively. I think, up to now, mathematics teachers use games mainly for motivation and it does not connect to true learning mathematics through using games. So, the purposes of this study are developing the mathematical games connecting to mathematical contents closely, designing the teaching models to connect game activities to learning mathematics, and developing several teaching plans using games to mathematics class. In this study, I propose what conditions 'good' game should have, classify games as practice game, concept learning game, and strategy game, and develop 43 games from 1 to 6 grade. And I design the teaching models depending on the game types and develop the teaching plans.

• 한국항해학회지
• /
• 제21권1호
• /
• pp.103-108
• /
• 1997

Mathematical model of maneuvering motion for a single-screw single-rudder ship is established and several applications to the special situations of maneuvering are attempted. While, the mathematical model for twin-screw twin-rudder ship is not presented so much, because that type of ship is not popular. Lee et al. have examined the characteristics of such ship by captive model tests in 1988, in Japan. This paper proposes new mathematical models for propeller effective wake (1 -${\omega}_p$) and effective neutral rudder angle ${delta}_R$ in the case of twin-screw twin-rudder ship. And some maneuvering motionse are calculated with proposed models and compared with exact simulations.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 1996년도 춘계학술대회 논문집
• /
• pp.689-693
• /
• 1996

This paper was performed on the automatic selection of cutting condition on multispindle machine. the several mathematical relationships were formulated for simulataneous selection of machining parameters and tool changing scheme. In this research we used two step generative approach; step 1 is mathematical modeling for the selection of optimal cutting conditions and the other is GMDH-TYPE modeling to find prediction equation of system performance. thus in this paper, mathematical machining models combined with a heuristic GMDH-TYPE modeling to estimate the system performance, these models are developed computer programs for practical application and it was shown that the proposed approach has a good potential and offers a valuable tools to performance evaluation for metal cutting system.

• International Journal of Internet, Broadcasting and Communication
• /
• 제9권1호
• /
• pp.1-8
• /
• 2017

Nowadays many articles describe the controlling models for four rotor flying vehicle. Basic approaches to the problem of these articles are mathematical expressions describing dynamics of the models of the vehicle and PID control for manipulating the object in 3 dimensional space. Design of control systems is usually started by careful consideration of its mathematical model description. We present a detailed mathematical model for a quad rotor. This paper first considers simulation of quadcopter control based on full state feedback technique with linearization in MATLAB environment and shows the results of the simulations. Finally will be shown experimental results of the state feedback control implemented in real model.

• 대한조선학회논문집
• /
• 제36권2호
• /
• pp.29-39
• /
• 1999

본 연구에서는 활강 진수대에서 운용되는 시험용 운동체의 초기 거동을 수학적으로 정식화하고, 이를 사용하여 모사한 초기 거동 예측 결과와 해상 시험 결과를 비교하여 수학 모형의 정확성을 검증하였다. 특히, 수학 모형으로 도입된 Strip 법을 사용하는 것이 경험식과 선형 운동방정식을 사용한 결과보다는 좋은 결과를 제공함을 보였다. 이 연구 결과는 활강 진수대와 시험용 운동체의 설계에 효과적으로 사용될 수 있다.

• 한국콘크리트학회:학술대회논문집
• /
• 한국콘크리트학회 1996년도 가을 학술발표회 논문집
• /
• pp.201-206
• /
• 1996

Recently, to utilize conutry effectively, many concrete structures such as Young Jong Do New Airport. SeoHae Bridege are being constructed. Therefore, Corrosion of steel reinforcement of concrete structures become more and more serious, and prediction of service lives of concrete structures considering steel corrosion is needed much more. The methodologies of predicting service life have been studied for various views, but mathematical modelling based on diffusion theory is generally applied. The purpose of this paper is to investigate current mathematical models, and suggest theoretical basis on estimation of service lives of concrete structures in marine environment. Thus, the procedures for selecting variables such as threshold chloride concentration, diffusion coefficient, etc are suggested, and the service lives calculated through these procedures for various diffusion coefficients and cover depths are presented.

• 한국항해항만학회:학술대회논문집
• /
• 한국항해항만학회 1996년도 The Korean Institute of Navigation 1996년도 한·중 국제학술 심포지움 및 추계학술발표회 논문집
• /
• pp.81-88
• /
• 1996

Mathematical model of maneuvering motion for a single-screw single-rudder ship is established and several applications to the special situations of maneuvering are attempted. While the mathematical model for twin-screw twin-rudder ship is not studied presented so much because that type of ship is not popular. Lee et al. have examined the characteristics of such ship by captive model tests in 1988 in Japan. This paper proposes new mathematical models for propeller effective wake (1-wp) and effective neutral rudder angle $\delta$R in the case of twin-screw twin-rudder ship. And some maneuvering motions are calculated with proposed models and compared with exact simulations.

• Journal of the Korean Data and Information Science Society
• /
• 제17권4호
• /
• pp.1349-1364
• /
• 2006

An analytic approach that provides explicit estimates of risk on cataract and epilation data is evaluated by reasonableness of conceivable relative risk models regarding a simple, odds, logistic or Gompertz regression method, assuming a binomial distribution. In these analyses, we apply relative risk models with two thresholds between epilators and nonepilators from a highly characteristic lesion of which radiation cataract does not occur around 2 gray for a single acute exposure. The risk models are fitted to the data assuming 10 as a constant relative biological effectiveness of neutron. The likelihood of observing the entire data set in these models fitted is evaluated by an individual binary-response array. Estimation of a threshold with or without severe epilation and the 100 ($1-\alpha$)% confidence limits are derived from the maximum likelihood approach. The relative risk model with two thresholds can be expressed as a formula with structure of Background $\times$ RR, where RR includes threshold models with or without epilation. The radiosensitivity of ionizing radiation to cataracts has been examined for the relationship between epilators and nonepilators.

• 대한전자공학회논문지SP
• /
• 제38권6호
• /
• pp.617-629
• /
• 2001

인간시각체계에서 단순세포의 수용영역에 대한 수학적인 모델 연구가 정신물리학, 생리학, 신경과학 측면에서 발전되어 왔다. 여러 분야에서 사용되는 모델은 Gabor 복소함수, Gaussian 미분, Hermite 함수를 포함하며, 영상처리와 컴퓨터 시각 분야에 많이 응용되고 있다. 본 논문에서는 불확실성원리에 기초하여 고려된 함수들의 결합유효폭을 계산하고, 인간시각필터와 일치되는 중심주파수와 각 함수의 변수들을 결정하고, 결과적인 대역폭을 분석한다. 더욱이 함수들의 위치와 주파수 영역의 특성을 파악하여 정신물리학적으로 획득한 실험적인 데이터와의 관련성을 검토한다.