• 한국통계학회:학술대회논문집
• /
• 한국통계학회 2003년도 추계 학술발표회 논문집
• /
• pp.105-110
• /
• 2003

이 연구에서는 일관성의 원리를 충족하는 새로운 형태의 베이즈 P-값으로 LR형 베이즈 P-값을 제안하고, 그 성질에 대하여 검토해보고자 한다. 제안된 베이즈 P-값은 가능도 비의 단순한 함수의 형태로 표현되어 쉽게 계산될 수 있다는 장점을 갖고 있으며, 검정방법으로서 일관성의 원리를 만족한다.

• 정보처리학회논문지B
• /
• 제17B권2호
• /
• pp.99-106
• /
• 2010

본 논문에서는 검색의 일관성원리와 다중질의 방법을 이용하여 감성을 기반으로 음악을 검색하는 알고리즘을 제안한다. 사용되어지는 특징들은 MPEG-7에서 제공하는 오디오 서술자들이며 이 정보들을 사용하는 것은 국제표준화가 용이 하다는 장점을 가지고 있기 때문이다. 또한 감성에 따라 MPEG-7 오디오 서술자들의 가중치를 부여하는 방법을 제안하여 계산량을 줄이는 방법을 고안하였으며 일관성원리와 다중질의 방법을 사용하는 적합성 피드백을 사용하여 검색의 적합률을 향상시켰다.

• 전산구조공학
• /
• 제4권2호
• /
• pp.87-94
• /
• 1991

본고에서는 Sandhu등에 의해 개발된 다변수경계치문제의 변분모델화 방법을 이용하여 범함수의 독립변수로써 변위와 응력을 동시에 포함하는 이방성탄성문제의 혼합형변분원리(Mixed Variational Principle)를 유도한다. 탄성방정식을 내적공간에서 self-adjoint한 미분연산자매트릭스 방정식으로 표시한 후 다변수 경계치문제의 변분이론을 적용하므로써 일반적 범함수가 구해지며, 이때에 지배방정식의 미분연산자와 경계조건식의 연산자의 일관성 (Consistency)을 유지하므로써 경계조건도 체계적으로 범함수내에 포함시킬 수 있다. 이 일반적 범함수에서 미분연산자의 self-adjointness성질을 이용하여 응력함수의 도함수를 제거하고 탄성방정식중 특정식이 항상, 정확히 만족된다고 가정하므로써 원하는 혼합형변분원리의 범함수를 유도할 수 있다. 여기에서 유도된 변분원리는 최근 Reissner에 의해 개발된 변분원리와 유사한 물리적 의미를 가지나 유도방법이 다를 뿐 아니라 일반적 이방성탄성체에 적용할 때 보다 편리한 형태로 된다. 이 혼합형변분원리는 다양하게 응용될 수 있으나, 복합재료적층판과 같은 이질성, 이방성 평판이론, 또는 쉘이론의 유도에 유용하게 사용할 수 있다.

• 한국자기학회지
• /
• 제5권4호
• /
• pp.309-314
• /
• 1995

최근 새로운 과학기술의 발달로 자기다층박막등 자기 분야의 신소재를 비롯하여 XMCD( X-ray Magnetic Circular Dichroism), MFM(Magnetic Force Microscope)등 자성분석방법등이 개발되고 있고, 정보화 사회의 출현과 함께 자기기록에 대한 중요성이 증대되면서 자기 물성에 대한 연구는 새로운 르네상스 시기를 맞았다고 할 수 있다. 자기 현상의 근본 원리 규명에 대한 연구는 재료과학 또는 고체물성 연구과제중 가장 오랜 역사를 지닌 문제중의 하나라 할 수 있다. 자연계에 존재하는 자석은 기원전 7세기경부터 인간에게 알려진 것으로 기록되어 있고 그후 오랫동안 나침반으로 사용되어 왔다. 하지만 자석의 원리에 대한 규명은 양자역학이 생기고 전자의 스핀개념이 도입된 20세기 초에서야 시작되어졌다. 그나마 현재까지도 자기현상의 아주 기본적인 개념만이 알려진 상황이고, 금속, 부도체 또는 화합물등에서 일어나는 다양한 자기 현상들을 일관성 있게 설명하는 완전한 이론의 정립은 아직도 요원한 문제라 할 수 있다.

• 논리연구
• /
• 제8권1호
• /
• pp.69-88
• /
• 2005

새로운 논리주의의 철학적 정당성 문제는 상당 부분 흄의 원리의 성격에 달려 있다고 할 수 있다. 왜냐하면 새로운 논리주의자들의 바람대로 산수가 논리학의 발전이라는 논리주의가 진정으로 정당화 되려면, 흄의 원리 자체가 적어도 분석적 진리의 일종으로 여겨질 수 있어야 하기 때문이다. 이 글에서는 그런 방안 가운데 하나로 제시 되는 내용의 분할 논제를 다루고, 이 논제가 새로운 논리주의자들의 주장처럼 흄의 원리의 분석성을 뒷받침해 줄 여지가 있음을 주장하였다. 이를 위해 프레게가 "기초"에서 제시한 내용의 분할 논제를 구체적으로 살펴보았고, "기초"의 내용의 분할 논제와 프레게의 다른 저작에 나오는 유사한 논제를 비교하여 이 논제의 성격을 좀더 분명히 하였다. 그런 다음 더미트의 주장과는 달리, 내용의 분할 논제가 프레게 철학 내에서 일관되게 유지될 수 있음을 보였다.

• 정보보호학회지
• /
• 제28권3호
• /
• pp.5-10
• /
• 2018

블록체인의 특징인 신뢰성, 보안성, 투명성, 탈중앙성을 지지하는 합의 알고리즘을 환경과 목표에 따라 적절하게 선택하는 것이 매우 중요하다. 본 논문에서는 합의 알고리즘에 대한 연구 동향을 파악하기 위해 블록체인을 참여 대상에 따라 퍼블릭 블록체인과 프라이빗 블록체인으로 나누어 설명하였고 체인 유지 방식에 따라 경쟁 방식 합의 알고리즘과 비경쟁 방식 합의 알고리즘으로 나누어 설명하였으며, 이를 위해 다섯가지 합의 알고리즘의 원리와 장단점 등을 분석하였다. 그리고 분석 결과를 바탕으로 참여 대상과 체인 유지 방식간의 관계와 신뢰모델과 중앙화, 속도, 보안성간의 관계를 도출해내었다. 향후에는 현재의 여러 합의 알고리즘 원리와 장단점을 발전 및 보완하여 환경과 목적에 따라 속도가 빠르고 보안적으로 안전하며 일관된 블록체인을 유지하는 합의 알고리즘을 개발할 수 있을 것이다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2003년도 학술회의 논문집 정보 및 제어부문 B
• /
• pp.758-761
• /
• 2003

금석문의 영상데이터를 디지털 형태로 검출하고, 영상신호처리 알고리즘을 사용하여 신호의 특성을 분석하고 그 결과를 제시하였다. 대상체는 비석에 음각된 문자로 하였다. 대전 주변의 백제권에서 몇몇 유형의 음각 문자를 형태별로 분류하여 디지털 이미지화한 다음, 문자가 각인된 정보영역과 바탕영역의 신호패턴을 추출하였다. 먼저 칼라 이미지를 grey tone으로 변환한 후, 전처리 과정을 거쳐 이미지의 노이즈나 불명확성을 제거하고 히스토그램 전 영역에 걸쳐 스케일 확장시켰다. 문자가 각인된 정보영역과 바탕영역을 구분하여 무작위로 소이미지 샘플을 취득하고 각 소이미지의 신호패턴을 분석하였다. 그 결과를 중첩의 원리를 이용하여 합성한 후 영역별 신호분석 패턴을 정형화하였다. 유형별로 다소 차이를 보이나 두 영역의 이미지 분석 결과는 차별성을 보였다. 문자 영역은 grey level 범위가 좁고 한정되며 일관성을 보이는데 비해, 바탕영역은 범위가 넓고 광범위하였다. 두 영역의 교차 레벨 범위는 극히 제한적이었으며 패턴 분리에 큰 영향을 끼치지 못하였음이 밝혀졌다. 이 일련의 과정은 알고리즘화되어, 1-2분 정도의 사전 작업만 하면 프로그램에 의해 문자를 추출할 수 있다. 이러한 사실들은 종래 무리한 탁본 작업에만 전적으로 의존하던 금석학 분야의 디지털화를 가능케 할 수 있다.

• 논리연구
• /
• 제17권2호
• /
• pp.233-253
• /
• 2014

엘드리지-스미스가 제시한 피노키오 역설은 거짓말쟁이 역설과 같은 의미론적 역설의 변형이지만, 의미론적인 술어를 포함하고 있지 않다는 점에서 독특하다. 언어의 위계를 이용하여 의미론적 역설을 해결하려는 타르스키의 해결책이나, 진리 술어를 부분적으로 정의되는 것으로 보고 거짓말쟁이 문장에 대해서 진리 틈새를 인정하는 크립케의 초완전성 견해는 피노키오 역설에 대한 적절한 해결 방안이 아니다. 피노키오 역설을 통해서 양진주의에 대해서 비판하는 엘드리지-스미스의 시도가 성공적이지 않음과 함께 이 역설의 중요한 함축은 진리 술어에 관한 규칙이 비일관적이라는 것을 논증한다. 이 역설에 대한 적절한 진단은 이 역설을 낳는 피노키오 원리가 잠재적으로 비일관적임을 인정하는 것이고, 이 점은 거짓말쟁이 역설과 같은 의미론적 역설이 발생하는 이유는 진리 술어에 대한 규칙이 비일관적이기 때문이라는 점을 시사한다. 피노키오 역설을 통해서 우리가 알 수 있는 것은 의미론적 역설에 대한 진리 일관성주의적 해결책은 성공할 수 없고 진리 비일관성주의를 받아들여야 한다는 것이다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2012년도 추계학술발표대회
• /
• pp.1739-1741
• /
• 2012

국가 교육과정에서 컴퓨터 하드웨어만을 교과 내용으로 하는 최초의 과목은 4차 교육과정 시기 중공업 계열 고등학교에 신설된 '전자 계산기 구조' 과목으로 현재의 '컴퓨터 구조' 과목에 해당된다. 컴퓨터 구조 과목의 교과 목표는 학습자가 컴퓨터의 구조와 동작 원리를 바르게 이해하고 컴퓨터를 효율적으로 활용할 수 있도록 하는데 있다. 교과 목표를 위해서는 교과서의 내용이 정확해야 하고 현재의 컴퓨터 구조를 바르게 반영하고 있어야 한다. 본 연구에서는 공업 계열 고등학교의 컴퓨터 구조 과목에 제시된 연산 장치 영역 내용의 문제점을 컴퓨터 구조 전문 서적과의 비교를 통해 파악해 보고자 하였다. 연구 결과, 교과서의 연산 장치 영역에는 정확성과 일관성이 결여된 개념 정의와 현재의 CPU 구조를 반영하지 못한 내용이 포함되어 있었다. ALU와 연산 장치에 대한 설명이 교과서별 상이하였고, 연산 장치의 구성 요소들은 현재 사용되고 있는 CPU 구조를 바르게 나타내고 있지 않았다. 이러한 문제점들은 컴퓨터 과학의 역사적, 기술적 고찰을 통해 개선될 필요가 있다.

• 한국컴퓨터정보학회논문지
• /
• 제10권1호
• /
• pp.209-216
• /
• 2005

수행 평가는 평가자에 의한 평가 오류 가능성, 채점의 공정성과 신뢰도, 타당도 문제, 채점 기준의 모호성, 객관성 확보에 대한 어려움 등의 문제가 야기되고 있다 이런한 수행 평가의 문제점을 해결하고 교사와 학생의 수행 평가 결과에 대한 만족도를 높이기 위하여, 본 논문에서는 회계 원리 과목을 대상으로 수행 평가의 각 영역에서 영향을 미치는 요인을 분석하여 퍼지 소속 함수를 설계하고 퍼지 규칙을 정의하여 추론을 적용하여 객관적이고 신뢰성이 높은 수행 평가 방법을 제안하였다 또한 제안된 수행 평가 방법에서 수행 평가 항목은 형성 평가와 과제 평가로 구분하여 소속 함수를 설계하였다. 제안된 퍼지 수행 평가 시스템을 통해 산출된 수행 평가 결과는 평정자의 채점 오류에 대한 부담을 줄일 수 있으며 학생들에 게는 정확한 기준과 일관성 있는 채점을 통해 공평하고 신뢰성 있는 평가 결과를 제공한다.