• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2002년도 합동 추계학술대회 논문집 정보 및 제어부문
• /
• pp.201-205
• /
• 2002

In case of fire in the buildings, the appropriate and safe evacuation plans for the building residents are very important to minimize the number of casualties. Since the evacuation time usually depends on the stairs and passages of design of the building, the evacuation plans should be considered while the architectural design is done. Conventionally, the calculation of the evacuation time in the case of fire breakout is based on the approximate mathematical equations which are prone to error. In this study, the simulation software is developed to help the architectural designers to access the more accurate evacuation time and find out the floor plans which offers the most sage evacuation plans for the residents in case of fire.

• 전산구조공학
• /
• 제9권3호
• /
• pp.157-167
• /
• 1996

본 연구에서는 Boland C언어를 사용하여 최적설계 수행에 필요한 작업을 쉽게 수행할 수 있는 전처리기와 후처리기를 개발하였다. 전처리기는 선택된 최적설계 알고리즘에 필요한 입력 데이터나 서브루틴 작성을 도와준다. 후처리기에서는 반복 계산중에 생성된 수치값을 그래프로 도시해 줌으로써 문제에 대한 전반적인 파악이 가능하도록 하였다. 수치예제는 선형문제와 삼부재 구조물에 대해서 제시하였다.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1998년도 제13차 학술회의논문집
• /
• pp.147-150
• /
• 1998

The report presents basic functions of Time-delay System Toolbox (for MATLAB) -the general-purpose software package for Computer Aided Design of control systems with delays. The Toolbox is a collection of algorithms, expressed mostly in m-files for simulating and analysis of MIMO linear and nonlinear systems with discrete and distributed (time-varying) delays.

• Journal of Magnetics
• /
• 제20권1호
• /
• pp.57-61
• /
• 2015

In this paper wireless power transmission system based on magnetic resonance coupling circuit was carried out. With the research objectives based on the mutual coupling model, mathematical expressions of optimal coupling coefficients are examined. Equivalent circuit parameters are calculated by Maxwell software, and the equivalent circuit was solved by Matlab software. The power transfer efficiency of the system was derived by using the electrical parameters of the equivalent circuit. System efficiency was analyzed depending on the different air gap values for various characteristic impedances. Hence, magnetic resonance coupling involves creating a resonance and transferring the power without radiating electromagnetic waves. As the air gap between the coils increased the coupling between the coils were weakened. The impedance of circuit varied as the air gap changed, affecting the power transfer efficiency.

• International Journal of Computer Science & Network Security
• /
• 제24권4호
• /
• pp.192-196
• /
• 2024

The memory coherence problem occurs while mapping shared virtual memory in a loosely coupled multiprocessors setup. Memory is considered coherent if a read operation provides same data written in the last write operation. The problem is addressed in the literature using different algorithms. The big question is on the correctness of such a distributed algorithm. Formal verification is the principal term for a group of techniques that routinely use an analysis that is established on mathematical transformations to conclude the rightness of hardware or software behavior in divergence to dynamic verification techniques. This paper uses UPPAAL model checker to model the dynamic distributed algorithm for shared virtual memory given by K.Li and P.Hudak. We analyse the mechanism to keep the coherence of memory in every read and write operation by using a dynamic distributed algorithm. Our results show that the dynamic distributed algorithm for shared virtual memory partially fulfils its functional requirements.

• 호남수학학술지
• /
• 제23권1호
• /
• pp.91-111
• /
• 2001

In this paper we prove the following : Let M be a semi-invariant submanifold with almost contact metric structure (${\phi}$, ${\xi}$, g) of codimension 3 in a complex hyperbolic space $H_{n+1}{\mathbb{C}}$. Suppose that the third fundamental form n satisfies $dn=2{\theta}{\omega}$ for a certain scalar ${\theta}({\leq}{\frac{c}{2}})$, where ${\omega}(X,\;Y)=g(X,\;{\phi}Y)$ for any vectors X and Y on M. Then M has constant eigenvalues correponding the shape operator A in the direction of the distinguished normal and the structure vector ${\xi}$ is an eigenvector of A if and only if M is locally congruent to one of the type $A_0$, $A_1$, $A_2$ or B in $H_n{\mathbb{C}}$.

• 한국수학교육학회지시리즈D:수학교육연구
• /
• 제19권4호
• /
• pp.229-245
• /
• 2015

In this study, I investigated how pre-service teachers (PSTs) proved three geometric problems by using Geometer's SketchPad (GSP) software. Based on observations in class and results from a test of geometric reasoning, eight PSTs were sorted into four of the five van Hiele levels of geometric reasoning, which were then used to predict the PSTs' levels of reasoning on three tasks involving proofs using GSP. Findings suggested that the ways the PSTs justified their geometric reasoning across the three questions demonstrated their different uses of GSP depending on their van Hiele levels. These findings also led to the insight that the notion of "proof" had somewhat different meanings for students at different van Hiele levels of thought. Implications for the effective integration of technology into pre-service teacher education programs are discussed.

• 대한수학회지
• /
• 제50권5호
• /
• pp.991-1008
• /
• 2013

In this paper, we mainly discuss Gorenstein Dedekind do-mains (G-Dedekind domains for short) and their overrings. Let R be a one-dimensional Noetherian domain with quotient field K and integral closure T. Then it is proved that R is a G-Dedekind domain if and only if for any prime ideal P of R which contains ($R\;:_K\;T$), P is Gorenstein projective. We also give not only an example to show that G-Dedekind domains are not necessarily Noetherian Warfield domains, but also a definition for a special kind of domain: a 2-DVR. As an application, we prove that a Noetherian domain R is a Warfield domain if and only if for any maximal ideal M of R, $R_M$ is a 2-DVR.

• 한국수학사학회지
• /
• 제18권2호
• /
• pp.95-106
• /
• 2005

본 논문에서는 수학을 기반으로 한 데이터베이스의 지식탐사 절차를 통하여 데이터의 선택, 정제, 통합, 변환, 축소, 데이터 마이닝 기법의 선택과 적용 및 모형의 평가에 관한 개념과 방법론을 소개하고 수학의 한 분야로서 통계학의 역할과 적용방법에 관하여 연구하고자 한다. 또한 오늘날 관심이 대상이 되고 있는 데이터 마이닝의 역사와 수학적 배경, 통계 및 정보 기술을 이용한 데이터 마이닝의 주요 모델링 기법, 실용적 응용 분야 및 적용 사례 그리고 데이터 마이닝과 통계의 차이점에 관하여 조사하고 논하고자 한다.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제39권2호
• /
• pp.179-186
• /
• 2000

Although computer technology has a great potential for improving mathematics learning practice, it rarely used in mathematics classroom. The purpose of this study is to suggest the future direction for research in mathematics computer technology. First, there has to be a research on mathematics curriculum that take computer technology into account. Second, research on teaching sequence for certain content area is needed. Because computer technology would change the order of teaching sequence. Third, how students would learn with computer technology? how do they acquire knowledge and make sense of it? Fourth, how could we assess the learning with computer technology? Most of all, because teachers play a key role to succeed in educational reform, they have to be familiar with computer technology and software to introduce it into mathematics learning and to use it properly.