• Industrial Engineering and Management Systems
• /
• 제7권1호
• /
• pp.23-33
• /
• 2008

This paper proposes an approach to monitoring and scheduling methods for repetitive MIMO-FIFO DESs. We use max-plus algebra for modeling and formulation, known as an effective approach for controller design for this type of system. Because a certain type of linear equations in max-plus algebra can represent the system's behavior, the principal concerns in past researches were how to solve the equations. However, the researches focused mainly on analyses of the relation between inputs and outputs of the system, which implies that the changes or the slacks of internal states were not clarified well. We first examine several properties of the corresponding state variables, which contribute to finding and tracing the float times in each process. Moreover, we provide a rescheduling method that can take into account delays or changes of the internal states. These methods would be useful in schedule control or progress management.

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

Computer aided conceptual solution of engineering problems can be effectively implemented by qualitative reasoning based on a physical model. Qualitative reasoning needs modeling paradigm which provides intellignet control of modeling assumptions and robust inferences without quantitative information about the system. We developed reasoning method using new algebra of qualitative mathematics. The method is applied to a conceptual design scheme of anadaptive control system of cutting process. The method identifies differences between proportional and proportional-integral control scheme of cutting process. It is shown that unfeasible investment could be prevented in the early conceptual stage by the qualitative reasoning procedures proposed in this paper.

• 대한수학교육학회지:학교수학
• /
• 제9권1호
• /
• pp.141-160
• /
• 2007

본 연구의 목적은 대수 문장제를 해결하기 위하여 학생들이 이전지식이나 경험을 어떻게 적용하는가를 조사하고자 학생들의 풀이과정에 대한 유사성을 일련의 표시(chain of signification) 관점에서 분석하는 것이다. 이를 위하여 본 연구에서는 중학생 3명을 대상으로 사례 연구를 실시하였다. 연구 결과, 학생A나 학생C는 (반)열린 공식을 해법 원리로 생각하여 구체화하는 과정을 일련의 표시로 구성하였다. 학생A와 학생C는 문제를 읽으면서 숫자 정보와 텍스트를 기반으로 정신적 모델을 구성하였으며, 그 의미(기의)와 기록(기표) 과정을 점진적으로 구성함으로써 일련의 표시 과정을 구성하였다. 학생A의 표시과정은 숫자나 문자, 그리고 그리기가 혼합된 것이었다. 그러나 학생C와 학생B는 단지 숫자나 문자만으로 구성하였다. 특히, 학생B는 특정한 문제정보만을 근거로 그 상황을 생각하지 않고, 자신의 알고리즘을 적용하기 위하여 자신이 구성한 규칙을 적용하고자 하는 시행착오에 대한 유사성을 구성하였다.

• 한국수학사학회지
• /
• 제22권4호
• /
• pp.1-14
• /
• 2009

17세기에 서양 수학이 조선에 들어온 이래 조선에 가장 큰 영향을 끼친 산서는 수리정온(數理精蘊)이었다. 19세기 말 조선에서 신교육이 시작되면서 수리정온(數理精蘊)이후의 서양 수학을 가르치게 되었다. 이 때 일본을 거쳐서 들어온 서양 수학은 주로 교과서로 나타난다. 이 논문은 독립 운동가로 잘 알려진 이상설(李相卨)의 저서인 수리(數理)를 조사하여 19세기 말 선교사를 통하여 서양 수학이 조선에 전해지는 과정을 알아본다. 특히 이상설(李相卨)이 조선 산학의 대수학 분야에서 중요한 변화와 발전을 이루어 낸 것을 밝혀낸다.

• 대한수학교육학회지:학교수학
• /
• 제11권3호
• /
• pp.527-546
• /
• 2009

본 연구는 CAS가 도입된 이후의 우리나라 수학교육에 대비하여 고등학교 수학활동에서 CAS의 도구발생 과정을 통찰하고, 중등수학교육에서 도구화된 CAS의 활용 가능성을 탐색하기 위해 설계되었다. 이를 위하여 본 연구자는 CAS에 기반 한 개념중심 수학과제 학습과 문제해결을 각각 고안하였으며 고등학교 1학년생 7명을 대상으로 총 12차시의 수업을 실시하고 수업녹화자료와 면담을 통해 학생들의 활동을 분석하였다. 분석결과 학생들은 CAS를 이용하여 수준 높은 응용문제를 다룰 수 있는 것으로 나타나 CAS가 교육과정 내용수준에 영향을 줄 수 있음을 확인할 수 있었고, 또 도구화된 CAS에 기반 한 무리방정식 문제해결활동을 통해 CAS가 교육과정의 제시 순서에 영향을 줄 수 있음을 발견하였다. 이 연구는 고등학교 수학교육에서 CAS의 도구발생을 분석하여 사례를 제공함으로써 CAS가 도입된 이후의 우리나라 수학교육에 대비한 기초연구가 될 것이다.

• 한국수학교육학회지시리즈C:초등수학교육
• /
• 제27권3호
• /
• pp.281-301
• /
• 2024

대수는 방정식의 풀이로 해석되는 전통적인 관점에 따라 초등 현장에서 명시적으로 다루어지지 못하는 한계가 있지만, 초등 수준의 발달 단계에 맞춰 수의 체계와 원리, 산술적 사고의 확장인 대수적 사고로서 학습되어야 한다고 주장되어왔다. 본 연구에서는 초등학교 6학년 학생들에게 분수의 나눗셈에 대한 대수적 사고 기반 수업을 실시하고 문제해결력에 미치는 영향을 분석하였다. 학생들은 11차시의 수업에서 제수와 피제수의 관계 탐구를 통해 해결 방법을 일반화하고 특정한 분수의 나눗셈 문제에서 나아가 모든 경우에 적용할 수 있는 표현을 탐색하였다. 연구 결과 대수적 사고를 기반으로 한 수학 수업이 분수의 나눗셈 문제해결력에 긍정적인 영향을 미치는 것을 확인할 수 있었다. 학생들의 해결 과정에서는 기호화, 일반화, 추론, 정당화의 대수적 사고 요소가 나타났으며 다양한 수학적 아이디어와 구조를 발견하고 이를 활용해 문제를 해결하는 특징을 보였다. 연구 결과를 바탕으로 초등학생에게 초기 대수 지도를 위한 시사점을 도출하였다.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제16권4호
• /
• pp.369-382
• /
• 2009

In this paper we establish various relationships among the generalized integral transform, the generalized convolution product and the first variation for functionals in a Banach algebra S($L_{a,b}^2$[0, T]) introduced by Chang and Skoug in [14]. We then derive an inverse integral transform and obtain several relationships involving inverse integral transforms.

• Kyungpook Mathematical Journal
• /
• 제64권2호
• /
• pp.219-233
• /
• 2024

In this paper, we study the generalized Fourier-Feynman transform (GFFT) for functions on the general Wiener space C_a,b[0, T]. We establish an explicit evaluation formula for the analytic GFFT of bounded cylinder functions on C_a,b[0, T]. We start by examining certain cylinder functions which belong in a Banach algebra of bounded functions on C_a,b[0, T]. We then obtain an explicit formula for the analytic GFFT of the bounded cylinder functions.

• 대한원격탐사학회:학술대회논문집
• /
• 대한원격탐사학회 2002년도 Proceedings of International Symposium on Remote Sensing
• /
• pp.138-143
• /
• 2002

This paper describes a framework for extending GIS databases to support moving object data type and query language. The rapid progress of wireless communications, positioning systems, and mobile computing devices have led location-aware applications to be essential components for commercial and industrial systems. Location-aware applications require GIS databases system to represent moving objects and to support querying on the motion properties of objects. For example, fleet management applications may require storage of information about moving vehicles. Also, advanced CRM(Customer Relationship Management) applications may require to store and query the trajectories of mobile phone users. In this trend, maintaining consistent information about the location of continuously moving objects and processing motion-specific queries is challenging problem. We formally define a data model and query language for mobile objects that includes complex evolving spatial structure, and propose core algebra to process the moving object query language. Main profit of proposed moving objects query language and algebra is that proposed model can be constructed on the top of GIS databases.

• 한국시뮬레이션학회논문지
• /
• 제17권4호
• /
• pp.241-247
• /
• 2008

본 연구에서는 하나의 포아송 도착과정(Poisson Arrival Process)과 상수(constant) 서비스 시간을 갖는 유한 버퍼(finite buffer) 대기행렬을 분석 대상으로 한다. 유한 버퍼로 인한 차단현상으로 도착하는 고객이 시스템에 진입하지 못하고 시스템을 떠나게 된다. 이러한 M/D/1/K 대기행렬에서 차단확률(blocking probability)의 계산방법은 이미 연구되어있지만, 계산과정이 매우 복잡하다. 본 연구에서는(max,+)-대수를 이용하여 차단확률을 도출하는 새로운 방법을 제안하고자 한다. 제안된 방법은 기존 연구결과보다 쉽게 차단확률을 계산할 수 있을 뿐만 아니라 보다 복잡한 대기행렬 망에서의 차단확률을 구하는데도 응용 될 수 있을 것이다.