• 정보처리학회논문지D
• /
• 제16D권3호
• /
• pp.339-352
• /
• 2009

유비쿼터스 컴퓨팅 환경에서 분산된 실시간 시스템의 행위와 공간, 시간 속성을 분석하고, 검증하기 위한 다양한 정형기법들이 존재한다. 그러나 대부분의 경우 공간과 행위를 같이 표현하는 구조적, 근본적 한계가 존재한다. 게다가 시간 속성이 포함되는 경우는 더욱 복잡해지게 된다. 이러한 한계를 해결하기 위하여 본 논문은 Timed Calculus of Abstract Real-Time Distribution, Mobility and Interaction(t-CARDMI)라는 새로운 정형기법을 제안한다. t-CARDMI는 행위의 표현으로부터 공간정보의 표현을 분리시켜 복잡도를 단순화 시키며, 시간 속성에 대해서 오직 행위적 표현에서만 허용하여 복잡한 명세를 덜 복잡하게 표현한다. t-CARDMI는 대기기간, 실행시작 만족시간, 실행시간, 실행완료 만족시간 등의 특유의 시간속성을 이동과 통신의 행위에서 모두 포함하는 특징을 갖는다. 새롭게 제안된 Timed Action Graph(TAG)는 공간과 시간을 포함하는 시스템의 명세를 분석하고 검증하기 위해서 공간과 시간속성을 2차원의 다이어그램으로 표현하며 그 안에서 이동과 통신의 정보를 분산된 그림정보로 표현하는 그래프로 t-CARDMI를 좀더 효율적으로 명세하고 분석할 수 있는 방법을 제공한다. t-CARDMI는 유비쿼터스 컴퓨팅에서의 분산된 실시간 시스템의 공간적, 행위적, 시간적 속성에 대한 명세, 분석 및 검증에 매우 효율적이고 효과적인 혁신적인 정형기법의 하나로 고려될 수 있다. 본 논문은 t-CARDMI의 문법과 의미, TAG 그리고 Specification, Analysis, Verification, and Evaluation (SAVE)로 명명된 툴을 제안하고 유비쿼터스 헬스케어 시스템 예제를 통해 효율성을 분석한다.

• 대한수학교육학회지:학교수학
• /
• 제10권3호
• /
• pp.357-374
• /
• 2008

본 연구는 현재 고등학교 1학년에서 처음 소개되는 복소수 단원의 복소수의 정의와 연산, 그 연산에 대한 성질 등 교과서의 서술 방식이 학생들의 '수준'과 교육과정의 흐름에 맞게 논리적으로 서술되어 있는지 알아보고자 하였다. 여기서 학생들의 '수준'이란 실수에서 복소수로의 새로운 수 체계의 확장에 따른 대수적 구조를 파악하고 이해할 수 있는 수준으로 가정한다. 즉, 고등학교 1학년 교과서 전반의 전체적인 흐름을 볼 때 복소수 단원의 목표는 새로운 수의 확장에 따른 대수적 구조의 보존을 이해하고 파악하는 것이므로 이러한 목표에 맞게 복소수의 정의와 연산, 그 연산에 대한 성질이 교과서에서 서술되는 방식이 수학적인 입장에서 보았을 때 논리적인 비약(gap)이나 순환논증의 오류를 가지지 않고 적절하게 서술하고 있는지를 살펴보고자 한 것이다. 본 연구는 이런 관점에서 16종 교과서를 분석하여 크게 다섯까지의 분석 대상을 찾아내었다. 첫째는 허수 단위 i의 도입과 음수의 제곱근, 둘째는 복소수의 정서방식에서 실수와 순허수의 정의 방식, 셋째는 복소수의 사칙 연산, 넷째는 복소소의 연산에 관한 성질에서의 대소 관계와 역원의 표현 방법, 마지막으로 대수적 구조의 보존에 관한 것이다. 본 연구에서 주요 관점에서 살펴본 위의 5가지 대상에 관한 교과서의 서술방식은 논리적 정확성의 문제와 순환논리의 오류가 생길 수 있는 가능성이 있다고 판단되었고, 연구자가 일부 논리적 비약(gap)으로 판단한 것이 있는데, 이는 오류가 아닐 수 있으나 학생들이 이해하는 데에 있어 논리적으로 전후가 맞지 않는 전개과정 이라고 판단되었기 때문이다.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2001년도 제14회 신호처리 합동 학술대회 논문집
• /
• pp.565-568
• /
• 2001

이 논문에서는 미디언 필터의 선형 조합을 통해 임의의 주파수 특성을 갖는 필터 구조와 그 설계 방법을 제안한다. Linear-phase FIR 저대역통과 필터의 홀수번째 필터 계수의 부호를 바꾸면 FIR 고대역 통과 필터를 얻을 수 있는데, 이것은 필터 계수의 부호가 모두 양수인 두 개의 부분 필터의 차와 같은 모양을 가진다. 이 과정을 일반화하여 비선형 필터에 적용하면 LCWM(linear combination of median filter)필터는 가중 미디언 부필터(sub-filter)의 선형 조합으로 구성된다. 이는 선형 대수학에서 어떤 공간상의 임의의 벡터가 그 공간의 기저 (basls) 벡터들의 선형 조합으로 표현된다는 사실과 유사하다. 따라서 부필터의 필터 계수를 기저 벡터로이용하여 얻어지는 기저 행렬과 필터의 주파수 특성을 조절하는 계수 벡터를 구함으로써 LCWM 필터를 설계할 수 있다. 제안된 필터 설계 방법을 이용하면 특정 주파수 특성을 가지는 FIR 필터와 유사한 특성을 갖는 비선형 필터 구조를 만들 수 있다. LCWM 필터는 고대역 통과, 저대역 통과, BP(band-pass), BS(band-stop)의 임의의 주파수 특성을 가지는 필터로 설계될 수 있음이 실험을 통해 확인되었다.

• 한국시뮬레이션학회논문지
• /
• 제28권3호
• /
• pp.65-74
• /
• 2019

분기-접합 생산시스템은 오랜 기간 동안 연구되어왔지만, 개별 또는 공유 유한 버퍼를 갖고 일반공정시간 분포를 따르는 시스템에 대한 분석은 제한적이다. 일반적으로 대기행렬 이론적 분석법은 유한 버퍼를 갖는 시스템에 대한 분석에는 어려움이 있다. 본 연구에서는 max-plus 대수적 분석법을 활용하여 일반 공정시간을 갖는 버퍼 공유 분기-접합 생산시스템을 분석하였다. 하지만, 이러한 분석법은 특성치 계산의 관점에서는 적절한 방법을 제공하지 못하기 때문에 max-plus 대수로 도출된 표현식과 @RISK 소프트웨어를 활용하여 스프레드시트 시뮬레이션 모형을 개발하였다. 시뮬레이션 실험을 통해 유한 버퍼와 두 가지 차단규칙인 BBS(통신차단)과 BAS(제조차단) 하에서 시스템 대기시간에 대한 몇몇 특성을 비교 분석하였다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제6권1호
• /
• pp.11-20
• /
• 2000

ODMG의 표준 객체 질의어인 OQL을 비롯하여, 최근 여러 객체 질의어에서는 위치에 관계없이 select, from, where절 어디서나 중첩구조를 자유롭게 허용하여 여러가지 복잡하고 다양한 형태의 중첩 질의(nested query)를 표현할 수 있도록 하고 있다. 이러한 중첩 질의는 질의 처리기(query processor)의 성능에 중요한 영향을 끼치므로, OQL 질의 처리기에서는 다양한 형태의 중첩 질의를 최적화하는 방안을 반드시 마련하고 있어야 한다. 본 논문은 중첩 OQL 질의의 최적화 기능을 제공하는 중첩질의 구조 제거용 전위 모듈(unnesting front-end)을 설계, 구현하였으며, 이를 이용하여 중첩 질의 처리 능력을 가진 질의 처리기를 새롭게 구현하거나 이미 존재하는 질의 처리기를 확장하여 중첩 질의 처리 기능을 추가하고자 할 때, 중첩 구조 제거(unnesting)를 위한 구현자의 구현 부담을 최소화할 수 있도록 하였으며, 이는 중첩 질의 구조 제거용 전위 모듈에서 사용하는 대수 연사자와 질의 최적화 모듈에서 사용하는 대수 연사자(algebraic operator)를 분리함으로써 가능했다.

• 한국전산구조공학회논문집
• /
• 제18권2호
• /
• pp.141-149
• /
• 2005

본 논문에서는 유연체 동역학해석을 위하여 유한회전을 표현하는데 있어, 4원법의 대수학적인 표현을 도입하여 운동방정식이 에너지보존 조건을 만족하도록 이산화된 에너지 평형식으로 정식화되었다. 여기서 사용된 유한회전의 4원법은 로드리게스 매개변수를 이용하도록 하였으며, 구속력에 대한 일이 제거되도록 하였다. 수치해석의 예를 통하여 제안된 방법이 사다리꼴 방법과 비교할 때 비선형 문제에서도 무조건적으로 안정조건을 보장함을 검증하였으며, 향후 유연한 관절로 연결된 3차원 유연다물체에 대한 동역학 해석을 확장할 수 있는 토대를 마련하였다.

• 조명전기설비학회논문지
• /
• 제15권6호
• /
• pp.82-88
• /
• 2001

대부분의 시스템은 그 구조가 시간과 공간에 널리 분포되어 있기 때문에 집중정수 모델로 표현하여 시스템의 동적 특성을 해석하고 제어하기에는 여러 가지 문제점들이 있다. 시스템의 상태는 시간과 공간의 영향을 받는 상태변수가 되므로 그 동적 특성은 편미분 방정식으로 표현되어 분포정수계로 모델링하게 된다. 본 연구에서는 직교 함수의 특성을 이용하여 선형 편미분 방정식으로 표현되는 분포정수계의 두 변수에 대하여 연속적으로 적분을 취하여 적분 방정식으로 변환하고, 확장된 블록 펄스 연산 행렬[3]을 도입하여 적분 방정식을 간단한 대수 방정식으로 변환하는 방법을 제시하였으며, 최소자승오차법을 이용하여 분포정수계의 파라미터들을 추정하는 알고리즘을 제안하였다. 또한 시뮬레이션을 통하여 기존의 방법을 사용하는 것보다 본 연구에서 제안하는 방법을 사용하는 것이 오차가 적음을 보였다.

• 한국수학사학회지
• /
• 제19권2호
• /
• pp.125-140
• /
• 2006

군환의 특별한 부분환으로 정의된 수어환(Schur ring)은 치환군의 구조 연구를 위해 1933년 I.Schur에 의해 소개되었다. 그 후 30여 년 동안 군론과 표현론에서 응용되던 수어환은 1970년대에 이르러 획기적인 분기점을 맞이하게 된다. 조합론, 특별히 대수적 그래프에 관한 많은 연구 속에서, 그래프를 분류하기위해 수어환을 이용하려는 새로운 시도가 Klin과 Poschel에 의해 제안되었다. 이것은 당시 대수학에서 이룩해낸 유한단순군의 분류에 큰 도움을 받은 것이다. 이 논문에서는 수어환의 발생에 대한 역사적 배경과, 수어환이 군이론에서 어떻게 이용되었는지를 살펴보고, 또한 그래프이론에서의 역할을 조사한다.

• 대한수학교육학회지:학교수학
• /
• 제13권3호
• /
• pp.405-422
• /
• 2011

본 연구는 행렬 연산지도의 실태를 분석하여 행렬 연산에 관한 이해의 필요성을 제시한 후, 행렬의 연산이 정의되는 이론적 배경의 탐구를 통하여 일대일 대응의 의의에 대해 고찰한다. 대수적 관점에서의 일대일 대응의 의의는 '이미 구조를 알고 있는 집합에서 일대일 대응을 통하여 새로운 집합에 대수적 체계를 도입할 수 있게 하는 수단'이라는 것이다. 즉, 동형구조를 만드는데 있어 핵심 아이디어라는 것이다. 행렬의 연산을 예로 한 일대일 대응에 관한 이러한 고찰과정은 수학적 사실의 필연성 및 개연성을 경험하게 하여, 그러한 수학적 아이디어들이 단순히 주어지는 것이 아니라, 특정의 목적성 있는 활동의 결과물임을 인식하게 한다. 또한 일대일 대응의 본질적 이해는 행렬에 대한 논의에 그치지 않고 지수법칙, 대칭차집합, 순열 등 다양한 수학적 지식을 전개하기 위한 기저가 된다. 이러한 연구의 목적은 교사와 학생들에게 수학적 개념의 의미 충실한 이해를 돕는데 있으며, 나아가 교사의 가르칠 지식에의 전문성을 높이는데 있다.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제31권3호
• /
• pp.279-290
• /
• 2017

본 연구는 교사양성 과정에서 갈루아 이론에 관련된 군, 체, 벡터공간 등 대수적 구조를 배운 바 있으나 그러한 구조가 다항식의 가해성, 더 나아가 학교수학과 어떻게 관련되는지를 명확하게 이해하지 못하는 경우 자립 연수를 통해 이를 극복할 수 있는 자료를 개발하여 제시한다. 여기서 말하는 자립 연수에서는 교사 스스로 연수를 주도하지만 연수 도중 적절한 방법을 통하여 한두 차례 전문가의 도움을 받는다. 이 글에서 두 표현 '다항식 f(x)의 풀이'와 '방정식 f(x)=0의 풀이'는 같은 의미이고 '교사'는 현직 수학교사를 뜻한다.