• 대한수학교육학회지:수학교육학연구
• /
• 제20권4호
• /
• pp.445-458
• /
• 2010

이 연구는 양 개념의 발달 과정을 알아보고 초등학교에서 양의 계산을 어떤 방식으로 다루는지를 분석함으로써 교육과정이나 교과서의 구성에 대한 시사점을 찾아보려는 것이다. 이산량과 연속량의 이원론에 근거한 유클리드의 수와 양의 구분은 이후 수학자에게 큰 영향을 미치다가 스테빈에 의해 극복되었다. 양의 덧셈과 뺄셈은 오래전부터 시행되어 왔지만, 양의 곱셈과 나눗셈은 수학계에서 될 수 있는 대로 피하려고 하였다. 그러나 자연과학계에서는 전부터 물리량의 계산을 허용하여왔고, 물리량 체계를 모델화한 대수 구조를 만들어 양의 곱셈이나 나눗셈을 이론적으로 정당화하였다. 교육과정과 교과서를 조사해 본 결과 우리나라 초등학교 수학과에서는 다른 나라와 비교하여 양의 계산 지도를 등한시하고 있음이 드러났다. 앞으로 이에 대해 충분한 논의를 하여 우리나라의 교육과정에서도 양에 대해 좀 더 적극적으로 지도할 수 있도록 명시하고, 현재 삭제된 내포량도 수학과에서 다룰 수 있도록 해야 할 것이다. 문장제도 실생활 관련 문제를 많이 제시하여 자연스럽게 양의 계산을 할 수 있도록 해야 하며, 문장제를 해결하는 과정에서 수로 된 식만 쓸 것이 아니라 단위를 붙인 식을 써서 양적인 추론에 도움을 줄 수 있도록 하는 문제에 대해서도 논의할 필요가 있다.

• 한국컴퓨터정보학회논문지
• /
• 제18권2호
• /
• pp.31-39
• /
• 2013

본 논문에서는 멀티코어 프로세서에서 단일 실시간 병렬 작업의 데드라인을 만족하면서 전력 소모량의 확률적 기대 값을 최소화하는 스케쥴링 기법을 제안하였다. 제안된 기법에서는 단일 작업을 여러 개의 코어들 상에서 동시에 수행하는 병렬 처리 기법을 적용하였고, 전체 코어들 중에서 일부의 코어들만을 사용하고 나머지 코어들의 전원을 소등하여 전력 소모량을 줄였다. 또한 한정된 개수의 이산적 클락 주파수 값들을 가지는 DVFS 기반 멀티코어 프로세서에 대해서, 확률적 계산량 모델을 가진 실시간 병렬 작업의 데드라인을 만족하면서 전력 소모량의 확률적 기대 값을 최소화함을 수학적으로 증명하였다. 성능평가 실험에서, 제안된 기법이 기존 방법의 전력소모량을 최대 81%까지 감소시킴을 확인하였다.

• 한국식품위생안전성학회지
• /
• 제23권3호
• /
• pp.218-221
• /
• 2008

통기증류알칼리적정법과 이온크로마토그래피법을 이용하여 식품용 나무젓가락 중 이산화황 분석방법을 확립하였으며, 이때 확립된 두 가지 분석방법에 대한 검증 결과, 각각 0.6 ${\mu}ml$ 및 0.2 ${\mu}ml$ 검출한계, 1.8 ${\mu}ml$ 및 0.5 ${\mu}ml$의 정량한계, $R^2=0.998$ 이상의 직선성을 나타내었으며, 식품유사용매에 대하여 70.2-100.2% 이상의 회수율을 확인할 수 있었다. 또한, 확립된 분석법을 각각 적용하여 국내 유통 나무젓가락 총 158품목을 대상으로 이산화황에 대한 이행량 실태를 조사한 결과, 158품목 중 30품목에서 $0.6{\sim}15.5$ ppm의 이산화황이 이행되었으나, 이때 최고 검출량 15.5 ppm은 추정 SML(280 ppm)의 5.5% 수준으로 안전한 것으로 평가되었다.

• 대한의용생체공학회:의공학회지
• /
• 제25권6호
• /
• pp.589-598
• /
• 2004

산모의 흉부와 복부로부터 측정된 다채널 심전도에서 태아 심전도를 추출하는 새로운 알고리듬을 제안한다. 산모의 복부 심전도로부터 태아 심전도를 추출하기 위하여, 시간 영역에서 특이값 분해를 근간으로한 방법이 일반적으로 사용되었다. 그러나 이 방법은 산모와 태아의 심전도 벡터 방향이 서로 직교해야 하는 가정과 많은 연산량을 요구하는 단점이 있다. 제안한 알고리듬은 이산연현변환 영역에서 특이값 분해를 이용하여 이러한 단점을 극복한다. 적은 연산량으로 특이값 분해를 하기 위하여 이산여현변환 계수의 특성과 태아 심전도의 주파수 특성에 기초하여 고주파 수 성분에 해당하는 이산여현변환 계수를 제거하였다. 또한 산모와 태아의 심전도 벡터 방향에 의한 영향을 덜 받으면서 순수한 태아 심전도를 추출하기 위하여, 산모 복부 심전도에서 산모 심전도가 억압된 새로운 세 개의 채널을 만들고 이들을 다채널 심전도에 추가하였다. 모의 신호와 실제 신호를 이용하여 기존의 시간 영역에서 특이값 분해를 근간으로한 방법과 제안한 알고리듬의 성능을 비교하였다. 제안한 알고리듬은 기존 방법보다 적은 연산량으로 순수한 태아 심전도를 얻을 수 있음을 실험적으로 확인되었다.

• 한국산학기술학회:학술대회논문집
• /
• 한국산학기술학회 2010년도 추계학술발표논문집 2부
• /
• pp.1010-1013
• /
• 2010

한천 올리고당은 효소인 아가라제에 의하여 제조하였으며 제조에 있어서 효소의 농도, 반응 온도 등에 따른 최적 제조조건을 규명하였으며 한천 올리고당을 GPC로 분자량을 측정하였을 때 분자량이 약 4,200 Da이었다. 또한 한천올리고당의 항산화 작용 및 아질산 소거능을 측정한 결과 항산화 효과가 비타민 C보다는 약간 낮지만 68%정도의 비교적 높은 항산화 활성을 나타내었으며 한천 올리고당이 이산화질소의 과잉생성을 억제하여 정상레벨로 유지하는 것을 알 수 있었다.

• 융합신호처리학회 학술대회논문집
• /
• 한국신호처리시스템학회 2000년도 하계종합학술대회논문집
• /
• pp.21-24
• /
• 2000

Fractional Brownian motion(fBm)은 long-term persistence 특성을 가진 자연 현상, 1/f 잡음, 깊이가 낮은 해저에서의 배경음향잡음 등을 모델링하는데 많이 사용된다. 이 fBm은 nonstationary 유색잡음이다. 이러한 유색잡음 환경 하에서 신호를 검출하기 위한 한 방법은 Fredholm 적분방정식의 해를 구하는 것이다. 이 방정식을 이산화 하면 잡음의 공분산 행렬의 역행렬이 포함되어 계산량이 많다 본 논문에서는 fBm 잡음의 공분산 행렬을 웨이브렛 변환하여 얻어지는 행렬, 즉 fBm의 멀티스케일 성분들의 공분산행렬은 밴드화된 블록들로 근사화할 수 있다는 성질을 이용하여 적은 계산량으로 신호를 검출하는 알고리즘을 제안한다.

• 한국환경과학회:학술대회논문집
• /
• 한국환경과학회 2005년도 추계 학술발표회 발표논문집
• /
• pp.84-85
• /
• 2005

• 한국대기환경학회:학술대회논문집
• /
• 한국대기환경학회 2010년도 춘계학술대회 논문집
• /
• pp.159-161
• /
• 2010

• Korean Chemical Engineering Research
• /
• 제52권3호
• /
• pp.388-394
• /
• 2014

출발물질인 TTIP로부터 이산화티탄 졸을 합성하여 무기물로 사용하고 유기물로서 실란커플링제인 methacryloxypropyl trimethoxysilane (MPTMS), aminopropyl triethoxysilane (APS), glycidoxypropyl trimethoxysilane (GPTMS), vinyltriethoxysilane (VTES)을 2종 혹은 3종씩 복합 사용하여 유-무기 하이브리드 코팅 용액을 제조하였다. 그 후 코팅 용액을 기재인 PC시트 위에 스핀 코팅시키고, 열경화 시켜 하드코팅 막을 제조하였다. 2종 실란커플링제를 혼합하여 제조된 코팅 막들은 기재와의 부착력과 연필경도가 우수하지 못했으나, 3종 실란커플링제를 혼합하여 제조한 코팅 막은 2H~4H의 향상된 연필경도와 5B의 우수한 부착력을 나타내었다. 이산화티탄 졸의 첨가량이 20 g인 코팅 막의 굴절률은 550 nm에서 1.56을 나타내었으나 이산화티탄 졸의 첨가량을 20 g에서 30 g으로 증가시킨 경우, 코팅 막의 굴절률이 1.63으로 향상되었다.

• 전자공학회논문지SC
• /
• 제46권2호
• /
• pp.52-60
• /
• 2009

본 논문에서는 입력에 시간 지연이 존재하는 비선형 다중입출력(multi-input/multi-output (MIMO)) 시스템을 위한 디지털 제어기를 제안하였다. 다중 입력 시간 지연 비선형 시스템을 테일러의 추산 방법으로 이산화하고, 이 이산형 시스템을 일반적인 비선형 시스템으로 변환할 수 있다. 결과적으로, 일반 비선형 제어기를 이산형 시간 지연 시스템에 적용할 수 있다. 본 논문에서는 MAC 제어기를 설계하고 컴퓨터 시뮬레이션을 실시하여 제안된 방법의 성능을 검증하였다. 시뮬레이션의 결과 제안된 제어기는 비선형 다중입력 다중 시스템에 있어서 입력에 시간지연이 발생하더라도 시스템의 성능을 유지함을 확인할 수 있었다. 따라서 제안된 방법은 비선형 시간 지연 시스템의 제어에 유용함을 알 수 있다.