• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제18권1호
• /
• pp.267-276
• /
• 2004

이 글은 초등학교 학생들을 대상으로 상호변화적(covariational) 개념으로 변화율에 대한 교수실험을 담고 있다. 기하적 문맥에서 함수의 그래프를 자연스럽게 도입하고, 함수의 변화율에 대한 상호변화적 질적 접근의 예를 제시한다. 또한 언어적 명령을 통하여 스스로 함수의 그래프를 만들어보도록 하고 함수의 그래프를 분석하는 경험을 가지게 하여 이후 함수와 그 역함수와의 개념을 마이크로월드에서 경험하도록 하는 환경과 그 역할에 대하여 논의한다. 이 과정을 통한 마이크로월드, 학생, 연구자의 역할과 상호작용을 알아보고 이 후의 대수식의 도입에 대한 문제를 논의한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 봄 학술발표논문집 Vol.28 No.1 (B)
• /
• pp.331-333
• /
• 2001

본 논문에서는 퍼지집합의 소속함수에 대한 가중치 함수를 제안한다. 제안하는 가중치 함수는 퍼지집합의 소속함수에 곱해지는 형태로서 적용되어지며, 이것은 소속함수에 대한 사용자의 선호도를 의미한다. 제안하는 가중치 함수의 개념은 기본적으로 소속함수를 사용하는 어떤 퍼지 집합의 응용에서도 적용될 수 있을 것으로 보이나, 본 논문에서는 그 중 한가지 경우로 비퍼지화 방법을 적용 대상으로 선택하였다. 제안하는 가중치 함수가 비퍼지화 방법에 있어서 가지는 의미를 보이며, 기존의 비퍼지화 방법들에서 이러한 가중치 함수의 개념이 어떻게 적용되어 왔는지를 보인다. 또한 기존의 비퍼지화 방법들이 개녀멩 적용되지 않은 형태의 가중치 함수를 선택하여, 비퍼지화 방법에 특정 가중치 함수를 적용하였을 때의 특성 변화를 보인다. 이러한 일반적인 형태의 가중치 함수를 퍼지집합의 소속함수에 적용함으로서, 다양한 형태의 선호도를 퍼지집합의 형태에 반영할 수 있을 것으로 보인다.

• 한국지반환경공학회 논문집
• /
• 제15권11호
• /
• pp.67-75
• /
• 2014

본 연구에서는 공용 중인 91개 고속철도 터널을 대상으로 단계별 내진성능평가를 실시하여 설계기준에서 제시하는 목표 내진성능 확보여부를 검토하였다. 또한 지진취약도 함수도 함께 개발하여 지진규모에 따른 시설물의 확률론적 피해예측이 가능하도록 하였다. 단계별 내진성능평가는 내진성능 예비평가 및 상세평가 순으로 실시하였으며, 평가결과 대상터널들은 설계기준 수준의 내진성능을 확보하는 것으로 분석되었다. 지진취약도 함수는 최대지반가속도(Peak Ground Acceleration, PGA)를 기준으로 한 대수 정규분포형태로 설정하였으며, 함수도출방법은 설계 PGA수준에 대한 손상발생확률을 이용하여 취약도함수의 모수를 결정하는 방식으로 하였다. 손상발생 검토부재는 라이닝콘크리트로서, 대상터널을 굴착식 터널(NATM 터널) 및 개착식 터널로 구분하여 각각에 대한 손상수준별 지진취약도 함수를 개발하였다. 이번연구에서 도출된 지진취약도 함수와 기존연구결과(FEMA, 2004)와의 비교 분석을 통하여 대상터널의 내진성능확보수준을 평가하였으며, 그 결과 대상터널이 기존연구의 대상인 재래식 터널(American Steel Support Method, ASSM)에 비하여 상대적으로 내진성능이 우수한 것으로 분석되었다.

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 2002년도 추계학술대회 및 정기총회
• /
• pp.419-422
• /
• 2002

본 논문에서는 신경망에 비해 보다 단순화되고 빠르게 수렴하는 특성을 보이는 방사 기준함수 구조를 초기에 설계하기 위한 초기화 방법을 제안한다. 이를 위해 웨이블릿 변환을 이용한 분석 기법을 사용하였고, 주어진 문제에 적합한 방사 기준 함수 구조를 초기에 최적 상태로 결정하였다. 시간-주파수 평면에서 지역화 특성이 대상 함수를 근사할 수 있는 특성을 지닌 방사 기준 함수를 선택, 결정하여 은닉층을 구성할 경우, 근사 능력을 지닌 초기 구조를 결정함에 있어서 장점을 지닌다. 제안된 구조는 다층 전방향 신경망 또는 정규 배열된 방사 기준함수 구조에 비해 주어진 문제에 대해 좋은 성능을 보인다.

• 정보보호학회논문지
• /
• 제30권6호
• /
• pp.1079-1085
• /
• 2020

라이브러리 구현의 결함을 발견하기 위해 동적 분석 방법인 퍼징(fuzzing)이 사용되고 있다. 라이브러리 대상 퍼징은 구현된 함수만 테스트를 할 수 있으므로 더 높은 코드 커버리지를 달성하기 위해서는 구현되지 않은 함수들을 추가로 구현해주어야 한다. 하지만 라이브러리 함수들의 호출 관계를 고려하지 않고 함수를 추가하면 이미 테스트를 수행한 함수가 추가되는 문제가 발생할 수 있다. 본 논문에서는 라이브러리 퍼징의 코드 커버리지 성능을 향상시키기 위한 개선 방법을 제안한다. 먼저, 라이브러리 퍼징의 대상 함수를 효율적으로 추가하기 위해 라이브러리의 함수 호출 그래프 분석하고 구현되지 않은 라이브러리 함수를 추가 구현한다. 그리고 라이브러리의 해결하기 어려운 제약조건을 가진 분기를 탐색하는 방법으로 하이브리드 퍼징을 적용한다. OpenSSL, mbedTLS, Crypto++을 대상으로 실험한 결과, 제안한 방법이 코드 커버리지를 증가에 효과적인 것을 확인하였다.

• 정보과학회 논문지
• /
• 제44권10호
• /
• pp.1019-1025
• /
• 2017

바이너리 유사도 분석은 취약점 분석, 악성코드 분석, 표절 탐지 등에서 사용되고 있는데, 분석대상 함수가 알려진 안전한 함수와 동일하다는 것을 증명해주면 바이너리 코드의 악성행위 분석, 취약점 분석 등의 효율성을 높이는 데에 도움이 될 수 있다. 하지만 기존에는 동일 함수의 서로 다른 버전에 대한 유사도 분석에 대해서 별도로 이루어진 연구가 거의 없었다. 본 논문에서는 바이너리로부터 추출 가능한 함수 정보들을 바탕으로 다양한 방법을 통해 함수 단위의 유사도를 분석하고 적은 시간으로 효율적으로 분석할 수 있는 방안을 모색한다. 특히 OpenSSL 라이브러리의 서로 다른 버전을 대상으로 분석을 수행하여 버전이 다른 경우에도 유사한 함수를 탐지하는 것을 확인한다.

• 전기의세계
• /
• 제44권10호
• /
• pp.40-46
• /
• 1995

소음을 줄이고자 하는 위치 혹은 공간의 선정문제, 또한 제어용 음파가 원래 제어하고자 하는 음파와 함께 섞인 상태에서 관찰하게 됨으로서 발생하는 문제, 제어용 음원의 위치 선정에 관련된 사항 등 가관측성 및 가제어성으로 대별될 수 있는 부분과 제어대상 물리량, 즉 제어대상 가격함수 선정의 물리적 적합성 등이 있을 수 있다. 전술한 가관측성 및 가제어성 관련 사항은 참고문허[3]에 비교적 상세히 기술되어 있으므로 본 고에서는 제어대상 가격함수의 선정과 관련된 음향학적 사실들을 중점적으로 다루도록 한다.

• 논리연구
• /
• 제3권
• /
• pp.27-51
• /
• 2000

이글의 기본적인 목적은 2치를 포함한 다치 논리 체계들간의 관계를 검토하는 데 있다. 이를 위하여 여기서는 명제를 대상으로 한 형식 의미 해석체계들 간에 고러해야 할 의미론적 확장 개념을 분명히 하였다. 구체적으로 다음의 두 작업이 수행되었다 첫째로 2치와 다치 논리 또는 다치 논리들간에 적용될 만한 의미론적 확장 개념을 의미해석의 바탕을 이루는 진리치 함수와 진리연산에 맞게 정의하였다. 둘째로 정의의 적합성을 확장, 비확장 사례 증명을 통해 예증해 보였다.

• 한국전산구조공학회:학술대회논문집
• /
• 한국전산구조공학회 1992년도 봄 학술발표회 논문집
• /
• pp.45-50
• /
• 1992

해양 가이드 타워를 대상으로 하여, 지진하중에 대한 심해응구조물의 비정상거동해법에 대하여 연구하였다. 지반운동의 비정상특성은 정상과정성분에 시간포락함수가 곱해진 형태로 모형화하였으며, 구조물의 비정상거동은 시간종속분산함수로 구하였다. 지반가속도에 대한 자기상관함수를 복소지수함수의 형태로 이상화함으로써, 구조물 거동의 시간종속함수가 해석적인 방법으로 쉽게 구할 수 있는 기법을 개발하였다. 지진의 발생시간 동안 예상되는 최대거동을 구하였으며. 이를 구조물 거동을 정상확률과정으로 가정하여 산정한 결과와 비교 분석하였다.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제16권
• /
• pp.67-80
• /
• 2003

함수적 사고는 수학적 문제 해결에 있어 기본적인 사고이다. 함수적 사고에서는 변수 사이의 종속성 파악이 그 핵심이 된다. 이는 DGS 동적 기하의 동적(변화), 종속적(구성)이라는 특성에 잘 부합한다. 이에 우리는 동적 기하 환경에서 타당한 종속성 부여를 통해 primitive한 생성자를 알아보고, 이들의 조작과 역 조작, 합성 조작하는 과정을 통해 함수적 사고에 접근하는 방법을 연구해 보려 한다. 나아가 자취 기능을 이용함으로써 시각화를 통해 종속적 관계를 표현해 보고자 한다. 이것은 MicroWorld 환경에서 학습자가 스스로 대상을 구성하는 경험을 통해 함수적 사고를 자연스럽게 형성하도록 하는 것이 바람직하다는 관점에 바탕을 두고 있다.