• 한국지구과학회지
• /
• 제28권7호
• /
• pp.936-946
• /
• 2007

기울어진 자전축을 갖는 회전계에서, 일정한 각속도로 회전하는 동서풍이 있는 경우에 대해서 로스비하우어비츠 파동의 섹터모드(적도에 대한 반구 비대칭의 첫 번째 모드)와 균형을 이루는 지위고도장을 해석적으로 유도하였다. 균형장은 발산방정식으로부터 시간변화를 제거하고 라플라시안 연산자를 역산함으로써 구하였다. 역산은 비선형항의 계산과 포이슨 방정식의 해를 구하는 두 단계의 연산과정으로 이루어져 있다. 두 번째 단계에서, 구면조화함수로 표현되는 강제력의 항은 구면조화함수의 선형관계를 이용하였고, 그 이외의 항은 구면조화함수를 적분함으로써 구하였다. 균형장은 여섯 개의 동서파수 성분으로 표현됨이 드러났다. 본 연구에서 구한 균형장은 적도에 대하여 비대칭의 구조를 가지기 때문에, 대칭의 구조만을 가지는 것에 비하여 미분방정식의 수치해의 검종법으로서의 활용도가 높다. 일정한 각속도를 갖는 배경 동서풍이 지구의 자전각속도와 같거나 1/2에 해당하는 경우에는, 일부 동서파수 성분이 제거되는 것으로 나타났다. 이론적으로 구한 균형장은 정교한 수치모델을 통하여 구한 균형장과 거의 정확하게 같은 것으로 밝혀져, 이론적 해의 타당성이 입증되었다. 마지막으로, 로스비하우어비츠 파동의 섹터모드와 균형을 이루는 지위고도장의 안정성을 장기간시간적분을 통하여 살펴보았다.

• 대한전자공학회논문지SD
• /
• 제44권9호
• /
• pp.10-17
• /
• 2007

기존의 트랜지스터 기반의 논리 연산자를 비휘발성 소자인 MTJ(Magnetic Tunneling Junction)로 대체하는 자기논리(magneto-logic) 회로는 그동안 기억 소자 분야에만 국한되어온 MTJ를 스핀전자공학 분야의 새로운 응용으로 논리 회로까지 확장하여 적용 가능하게 한다. 자기논리 회로는 회로 면적 면에서 우수하고 전원이 꺼져도 정보를 유지할 수 있는 장점을 가지고 있다. 또한, 불(Boolean) 연산을 수행함에 있어서 유연성을 보여, 단순히 입력을 바꾸는 것만으로도 한 MTJ 소자로 모든 논리 연산자를 구현 가능하게 한다. 이로써 물리적으로 완성된 회로 내에서, 재구성 가능한 자기논리 회로를 설계할 수 있다. 본 논문에서는 종래의 다층 입력 구조의 MTJ에 비해, 공정이 간단하고, 보다 유연한 함수 구현 능력을 갖는 단층 입력 구조의 새로운 MTJ 소자를 제안하며, 그 예로, 4비트 그레이 카운터를 설계하여 그 동작을 이전 논문에서 제안된 바 있는 macro-model을 보완 적용하여 검증하였다.

• 지구물리와물리탐사
• /
• 제1권1호
• /
• pp.8-18
• /
• 1998

키르히호프 주시 쌍곡선은 탄성파 탐사에서 반사파 자료를 구조보정 하는데 널리 쓰여져 왔다. 그러나 이는 중합전 혹은 중합후 구조보정을 위한 적용에 있어 그 수학적인 기반이 그다지 명확하게 이해되어 오지 않아왔다. Exploding reflector 모델을 생각할 때 지하 산란체로부터 지표 수신기까지의 주시는 지하 산란체 위치에 송신원을 둔 경우 Green함수를 이용한 주시와 동일하다. 따라서 송신원에서 exploding reflector, 또 여기서 수신기까지의 주시의 합은 관측자료에 속도 및 밀도에 대한 편미분을 취함으로써 얻어지는 편미분 파동장의 주시와 개념적으로 일치한다. 키르히호프의 주시 쌍곡선을 따라 반사파 탄성파자료의 합은 편미분장과 관측된 자료의 내적과 동일한 것으로 간주될 수 있다. 또한 굴절 주시 직선을 이용한 굴절자료의 중합은 편미분장의 초동과 현장자료의 내적과 개념적으로 같음을 알 수 있다. 지하의 구조내의 속도나 밀도에 대한 편미분장의 관점에서 보면 굴절파자료에 대해서는 직선에 대한 중합, 반사파자료에 대해서는 키르히호프 쌍곡선으로 지하의 구조를 영상화 할 수 있는 연산자임을 확인하였다. 이러한 타당성 검증은 일반적인 키르히호프 구조보정에 대한 기본 이론을 구성할 수 있었고 또한굴절 주시 직선을 굴절파자료의 영상화에 있어서 연산자의 기본 지식을 확보할 수 있었다.

• 한국수학교육학회지시리즈C:초등수학교육
• /
• 제25권1호
• /
• pp.57-79
• /
• 2022

본 연구에서 초등 교과서의 비와 비율 단원 및 비례식과 비례배분 단원에서 비와 비례 개념과 관련하여 제시된 활동을 분석하여 교과서에 제시된 비례추론 과제가 교육과정별로 어떠한지 알아보았다. 비와 비율 단원에 제시된 비례추론 과제가 2009 개정 때에는 비와 비율의 곱셈 구조 유형과 비례추론 활동이 모두 늘어 내용이 다양해졌지만, 백분율의 곱셈 구조 유형과 비례추론 활동은 모두 약화되었다. 2015 개정 때에도 둘 다 약화되었고, 백분율의 곱셈 구조 유형과 비례 추론 활동은 모두 늘어 내용이 다양해졌다. 비례식과 비례배분 단원에 제시된 비례추론 과제가 2009 개정 시기에는 비의 성질의 곱셈 구조 유형과 비례추론 활동이 모두 증가하여 내용이 다양해졌지만, 비례식과 비례배분은 곱셈 구조 유형만 늘고 비례추론 활동에는 큰 변화가 없어 이전과 내용이 비슷했다. 그리고 2015 개정 시기에 비례식의 곱셈 구조 유형과 비례추론 활동이 모두 늘어 내용이 다양해졌지만, 비의 성질과 비례배분은 곱셈 구조의 유형과 비례추론 활동에 큰 변화가 없어 이전 내용과 비슷하였다. 비와 비율 단원과 비례식과 비례배분 단원에서 모두 다중 묶음 관점에 따라 측정 공간 내의 분석으로 해석하려는 시도가 주로 있었다.

• 한국항공우주학회지
• /
• 제36권12호
• /
• pp.1163-1170
• /
• 2008

본 논문에서는 위성 임무 스케줄링을 효율적으로 수행하기 위해 유전 알고리즘을 이용한 최적화 스케줄링 알고리즘을 개발하고, 시뮬레이션을 통해 검증한 결과를 기술하였다. 위성 임무 스케줄링은 위성에게 요구된 작업들과 그에 따른 제한사항 및 다양한 변수들을 종합적으로 고려하여 상호간의 시간, 조건 등의 충돌을 회피함과 동시에 위성의 자원을 최대한 활용하여 운용할 수 있는 최적의 작업시간표를 생성하는 것이다. 이러한 위성 임무 스케줄링은 요구되는 임무량이 많고, 제한조건들이 다양할수록 필수적이나, 스케줄링 기준 및 능률성은 위성의 운용목적에 따라 달라질 수 있다. 본 논문에서는 유전 알고리즘을 이용한 스케줄링 알고리즘을 운용목적이 다른 위성들에 대해 목적함수 내 가중치 조정 및 유전 알고리즘 연산자의 조합에 따라 적용한 결과를 비교, 검증하였으며, 결과적으로 다양한 위성의 스케줄링 문제에 응용할 수 있음을 증명하였다.

• 한국수산과학회지
• /
• 제27권6호
• /
• pp.782-786
• /
• 1994

Dey and Morrison (1979)이 육상의 전기탐사문제의 해결에 성공적으로 적용한 적분차분법(integral finite different method)의 해양에서의 응용성을 연구해보기 위해, 해석해가 존재하는 연안역의 해수고유진동 문제를 도출하여 기존의 고유진동문제에 적용하여 보았다. 그 응용성의 평가는 기존 해양에 널리 적용되는 기존차분법(conventional finite different method)으로 구한 수치결과와 적분차분법으로 구한 결과를 해석해와의 비교검증을 통하여 실시되었다. 그 결과 적분차분법으로 구한 고유치와 고유함수값이 기존차분법으로 구한 결과보다 좋은것으로 나타났다. 이러한 결과는 적분차분법의 경우 원래의 기본방정식에 Green's theorem을 적용함으로써, 기본방정식에 존재하는 2계 미분연산자가 1계 미분연산자로 해석적으로 처리되었기 때문으로 사료된다. 따라서 적분차분법을 이용하여 해수고유진동문제를 비롯한 다른 유사문제를 풀 경우 기본차분법보다 좋은 결과가 나을 것으로 사료된다. 또한 미분방정식의 수치해를 구할 경우 적분법이 차분법보다 좋은해를 줄 수 있다는 것을 증명한 것으로 사료된다.

• Composites Research
• /
• 제12권4호
• /
• pp.42-54
• /
• 1999

섬유-금속 적층 복합재료(FMLC)는 섬유와 금속 박판으로 구성된 새로운 형태의 구조재로 가볍고 우수한 피로 특성을 가지며 금속과 같이 가소성과 충격저항성이 우수하고, 가공성이 뛰어나다. 본 연구에서는 여러 하중 조건하에 있는 섬유-금속 적층 복합재료를 유전자 알고리듬을 이용하여 최적 설계하였다. 전단변형이론에 근거한 유한요소법을 사용하여 적층판을 해석하였으며, 설계변수로 금속판의 강도와 섬유 층의 수에 따른 적층각도를 두었다. 섬유층과 금속판의 적합도 함수로는 각각 Tasi-Hill failure criterion과 Miser yield criterion을 사용하였다. 유전자 알고리듬의 연산자로는 토너먼트 선택과 균일 교배를 사용하였다. 효율적인 진화를 위해 엘리티스트 모델을 사용하며, 높은 정확도를 가진 해를 얻기 위해 크리프 무작위 탐색(creeping random search) 방법을 통해 더 우수한 자손을 얻었다. 여러 가지 하중 조건에 대하여 최적설계 결과를 나타내었으며, 파괴 지수 측면에서 탄소섬유강화복합재료(CFRP)와 비교하였다. 해석 결과 섬유-금속 적층 복합재료는 탄소섬유강화복합재료에 비하여 집중하중이나 분포하중 형태에 대하여 우수한 특성을 보였으며, 파괴 지수의 편차가 적어 예기치 않은 하중에 잘 견딜 것으로 사료된다.

• 한국콘텐츠학회:학술대회논문집
• /
• 한국콘텐츠학회 2004년도 추계 종합학술대회 논문집
• /
• pp.442-447
• /
• 2004

XML은 1996년 W3C(World Wide Web Consortium)에서 제안한 것으로서 웹상에서 구조화된 문서를 전송 가능하도록 설계된 표준화된 텍스트 형식이다. 이는 인터넷에서 기존에 사용하던 HTML의 한계를 극복하고 SGML의 복잡함을 해결하는 방안으로써 HTML에 사용자가 새로운 태그를 정의할 수 있는 기능이 추가되었다. 이러한 XML문서를 RDBMS에서 저장해서 사용하기 위한 많은 노력이 있으나 구조적으로 XML문서는 트리구조이어서 관계형 DB에 자료를 질의하기 위한 언어인 SQL과 완벽한 호환을 이루지 못한다 그래서 W3C의 XML 표준 질의인 XQuery가 등장하게 되었다. 이 논문에서는 공간 정보를 포함한 XML 정보들을 RDBMS에 저 장후 공간연산자, 공간함수를 통한 Sqatial XQuery2SQL이라는 변환기를 통해서 Spatial XQuery를 SQL로 변환한 후 RDBMS에 있는 정보를 추출하는 Sqatial XQuery2SQL 변환 알고리즘을 구현하고자 한다.

• 한국지능시스템학회논문지
• /
• 제24권3호
• /
• pp.233-238
• /
• 2014

독창성은 예술작품 뿐만아니라 장신구, 생활용품 등 다양한 디자인에서 요구된다. 창조적 디자인 작업에 참신한 모티프를 얻기 위해 변환생성 디자인 기법이 활용될 수 있다. 이 논문에서는 유전자 알고리즘을 이용하여 독특한 반지 모델을 만들어 내는 변환생성 디자인 방법을 제안한다. 후보해 표현방법, 연산자, 평가함수 관점에서 제안된 알고리즘에 대해서 소개한다. 제안한 방법은 고객이 자신의 반지 모양에 대한 취향을 선택하도록 하고, 취향을 평가에 반영하도록 하면서 여러 가지 반지 모델을 만들어서 추천하도록 한다. 반지 모델은 3차원 입체로 표현되기 때문에, 고객이 최종적으로 선택한 모델을 3차원 프린터를 통해서 실물로 제작될 수 있다.

• 한국정보처리학회논문지
• /
• 제6권8호
• /
• pp.2196-2203
• /
• 1999

본 논문은 데이터패스 합성에서의 버스 스케줄링 문제와 레지스터의 최적화 방법을 다룬 것이다. 스케줄링은 DFG(Data Flow Graph)의 연산을 제어스텝(control step)에 할당하는 과정으로서, 주어진 조건을 만족하는 범위 내에서 비용함수(cost function)의 최소화에 목적을 둔다. 이를 위해 본 논문에서는, 연산자 배치를 위한 하드웨어 할당(hardware allocation) 과정에서의 설계비용을 최소화시키기 위해, 연산결과를 저장하는 레지스터(register)와 연산간의 이동 통로인 버스(bus)의 최적화 기법을 논하였다. 특히, 하드웨어 할당과정의 중요한 과제인 버스와 레지스터의 최소화 기법을 논하였으며, 레지스터의 최적화는 스케줄링이 완료된 후의 결과를 이용하였다. 실험대상으로는 벤치마크 모델인 5차 디지털 웨이브필터(5th-order digital wave filter)를 사용하였으며, 본 논문의 결과를 기존결과와 비교함으로써, 본 논문의 효용성을 입증하였다. 모든 실험결과는 구조형태의 선형정수계획법(ILP : Integer Linear Programming)을 이용함으로써, 모든 경우에 언제나 최적의 결과를 얻을 수 있도록 하였다.