• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 1998년도 춘계학술발표회논문집(1)
• /
• pp.303-308
• /
• 1998

SMART 계측제어계통 측정신호의 신뢰성을 높이기 위한 실시간 신호검증알고리듬을 개발하였다. 개발된 알고리듬은 선행고장검출행렬, 아날로그 신호용 다중성 기법, 접촉신호용 논리표 알고리듬, 주파수 신호용 다중성 기법 그리고 아날로그 센서 경증을 위한 통계적 모듈의 5개 모듈로 구성되어 있다. 선행고장검출행렬은 측정 신호 중에서 고장의 가능성이 있는 신호를 추출하여 선정된 신호만을 적절한 알고리듬으로 검증하도록 함으로써 전체적인 수행시간을 감소시킨다. 아날로그 신호검증 모듈은 아날로그 측정신호에 대한 물리적/해석적 다중성에 입각하여 고장신호의 크기, 위치를 검출하며, 접촉신호 검증 모듈은 접촉신호들간의 논리값을 비교하여 발생 불가능한 논리값을 가지는 신호를 고장신호로 검출한다. 주파수신호는 아날로그 신호와 유사한 기법을 구현하였으며, 통계적 모듈은 아날로그 센서 자체의 물리적 건전성을 검사하는 모듈이다. 현재 SMART의 설계가 확정되어 있지 않으므로 개발된 신호검증알고리듬을 시험하기 위해서 여러 주요 공정변수가 표현되는 상용 원자로의 냉각재계통을 대상으로 검증 알고리듬을 구현하였으며, 운전모사기로 모사된 신호를 이용하여 개발된 신호검증알고리듬을 시험하였다. 시험결과 각 모듈별로 적절히 고장을 검출함을 보였다.

• 한국정보처리학회논문지
• /
• 제3권2호
• /
• pp.315-326
• /
• 1996

VLSI 회로의 복잡도 및 집적도가 증가함에 따라서 이들의 검증에 사용되는 논리 시뮬레이션을 위해서 시간이 많이걸린다. 본 논문에서는 SIMD 병렬처리 컴퓨터 상에서 빠른 논리 시뮬레이션 구현을 위한 병렬처리 기법, 자료구조, 알고리즘을 제시한다. 대표적인 병렬처리 컴퓨터인 CM-2상에서 수행한 결과를 제시하고 이를 분석하고자 한다.

• 대한전자공학회논문지
• /
• 제22권6호
• /
• pp.13-18
• /
• 1985

고밀도 PLA(Programmable Logic Array) layout의 생성, 간소화 및 검증을 자동화한 일련의 유용프로그램을 개발하였다. 이에는 논리 함수로부터 진리표를 만들어 내는 프로그램. 논리 간소화 프로그램 PLA재배열 프로그랭. stick diagram을 그릴 구 있는 화일을 만들어 내는 프로그램, dynamic CMOS PLA의 layout 생성 프로그램, 그리고 bipartite row folded CMOS PLA layout 생성 프로그램이 포함된다. 크기의 최소화는 주로 논리 간소화 프로그램과 bipartlte row folding 프로그램에 의해수행되며, 최대지연시간은 재배열 프로그램에 의해 작아진다. 자동으로 생성된 layout에 대한 정보는 CIF(Caltach Int-ermidate Form)로 저장된다. 각 프로그램은 C언어로 작성되었으며, VAX-l1/750 (UNIX)에서 수행되었다.

• 전자공학회논문지C
• /
• 제36C권9호
• /
• pp.20-27
• /
• 1999

BDD는 논리합성 응용분야에서 많이 이용되는 데이터 구조체이다. 불완전하게 표시된 함수를 합성할 때, BDD의 크기를 최소화할 수 있으면 BDD의 구조를 따라 만들어지는 회로의 크기나 동작 속도를 향상시키는 데 큰 잇점이 있다. 본 논문에서는 논리합성을 위해 don't care를 이용하여 BDD를 최소화하기 위한 두 가지 알고리즘을 소개하고자 한다. 실험결과 제안된 방법은 기존 방법에 비해 수행시간의 희생 없이 더욱 작은 크기의 BDD을 얻을 수 있었다.

• 한국감성과학회:학술대회논문집
• /
• 한국감성과학회 1999년도 춘계학술발표논문집 논문집
• /
• pp.201-201
• /
• 1999

감성(sensitibility)은 반사적이며 직관적으로 발생하고, 인위적인 조정이 불가능하며 명확한 표현이 어렵고 모호하다고 한다. 또 감정(emotion)이 주어진 대상에 따라 동일한 반응을 보이는 공통성을 갖지만, 감성은 동일한 대상에도 개인에 따라 다양한 반응을 보이며, 시간과 환경에 따라 변한다고 본다. 이는 반응 형성의 두 가지 요소인 외부의 자극이나 대상과 반응하는 주체의 양자에서, 감정이 감성에 비해 외부의 자극이나 대상의 영향을 더 받고, 감성은 상대적으로 외부 상황보다는 반응 주체의 다양한 내부 상황에 따라 결정된다는 것을 의미할 수 있다. 이러한 감성의 특징들은 Freud가 말한 무의식의 특징과 비슷한 점이 많다. 따라서 무의식의 작용양상을 살펴보는 것이 감성의 연구에 도움이 될 수 있다고 생각한다. 무의식이란 우리의 마음에 항상 작용하고 있지만, 일상적인 상태에서는 분명하게 알아 볼수가 없고 확실하게 드러나지도 않는 어떤 힘을 말한다. 이는 개인의 다양한 과거 경험이 포함되어 있어서 사람에 따라 각기 다르게 나타나게 된다. 우리가 항상 경험하고 있는 의식은 확실하게 서로 구분되는 대상과 확인율(the principle of identity), 구분논리(bivalent logic), 모순율(the principle of formal contradiction), 상반율(the principle of incompatibility), 가감율(the operation of substraction)을 수용하여 작용한다. 무의식은 의식활동의 이러한 명료함과 정연함을 벗어나 활동한다. 대상간의 구분이 모호해지고 정연한 논리가 흐트러진다. 일상에서는 꿈의 내용과 어린이의 생각, 감정에 치우칠 때 무의식의 특징이 나타난다. Freud는 꿈을 관찰하여 무의식의 작용양상을 다음과 같이 설명하였다. 서로 상반되는 것들이 다음과 같이 설명하였다. 서로 상반되는 것들이 부딛힘이 없이 공존하고 일상의 논리가 무시된다. 부정, 의심이 없고 확실한 것이 없다. 한 대상에 가졌던 생각이 다른 대상에 옮겨간다(displacement). 한 대상이 여러 대상이 갖고 있는 의미를 함축하고 있다(condensation). 시각적인 순서가 무시된다. 마음속의 생각과 외부의 실제적인 일을 구분하지 못한다. 시간 상의 순서가 있다가 없다가 한다. 차례로 일어나야 할 일이 동시에 한꺼번에 일어난다. 대상들이 서로 비슷해지고 동시에 있을 수 없는 대상들이 함께 나타난다. 사고의 정상적인 구조가 와해된다. Matte-Blance는 무의식에서는 여러 독립된 대상들간의 구분을 없애며, 주체와 객체를 하나로 보려는 대칭화(symmetrization)의 경향이 있기 때문에 이런 변화가 생긴다고 하였다. 또 대칭화가 진행되면 무한대의 느낌을 갖게 되어, 전지(moniscience), 전능(omnipotence), 무력감(impotence), 이상화(idealization)가 나타난다. 그러나 무의식에 대칭화만 있는 것은 아니며, 의식의 사고양식인 비대칭도 어느 정도 나타나며, 대칭화의 정도에 따라, 대상들이 잘 구분되어 있는 단계, 의식수준의 감정단계, 집단 내에서의 대칭화 단계, 집단간에서의 대칭화 단계, 구분이 없어지는 단계로 구분하였다.

• 정보교육학회논문지
• /
• 제23권2호
• /
• pp.179-188
• /
• 2019

본 연구는 초등학생의 논리성 향상을 위해 파이썬을 활용한 탐색 알고리즘 기반 수행시간 비교 및 분석 교육 프로그램을 개발하고 적용하여 그 효과를 분석했다. 본 교육 프로그램은 ${\bigcirc}{\bigcirc}$ 도내 초등학교 6학년 133명을 대상으로 실시한 사전 요구분석 결과를 활용하였고, ADDIE 모형의 절차에 따라 개발하였다. 개발한 교육 프로그램의 효과를 검증하기 위해서 ${\bigcirc}{\bigcirc}$대학교에서 실시한 교육기부 프로그램의 지원자 25명을 대상으로 6일간 42차시 수업을 진행하였고, GALT검사를 통해 교육의 사전 사후 효과를 비교 분석하였다. 분석해 본 결과, 본 연구에서 개발한 SW교육 프로그램이 초등학생의 논리성에 긍정적인 영향을 줄 수 있다는 것을 알 수 있었다.

• 한국컴퓨터정보학회논문지
• /
• 제4권3호
• /
• pp.35-46
• /
• 1999

본 논문에서는 시간적 조건에서 실행시간을 개선한 새로운 CPLD 기술매핑 알고리즘을 제안한다. 본 기술매핑 알고리즘은 주어진 논리식을 DAG로 구성하여 각 노드를 검색한 후. 출력 에지의 수가 2이상인 노드를 분할하지 않고 최상위 노드만을 복제(replication)하여 DAG를 팬 아웃 프리 트리로 재구성함으로써 지연시간과 CLB의 개수가 최소화되며 실행 시간도 개선하였다. 시간제약 조건과 소자의 지연시간을 이용하여 그래프 분할이 가능한 다단의 수를 정하고, 각 노드의 초기비용과 전체비용을 계산하여 CLB의 k-OR텀수보다 비용이 초과되는 노드를 분할하여 서브그래프를 구성한다. 분할된 서브그래프들은 collapsing을 통해 노드들를 병합하고. 주어진 소자의 CLB안에 있는 k-OR텀 개수에 맞게 Bin packing를 실행하였다. 본 논문에서 제안한 기술매핑 알고리즘을 MCNC 논리합성 벤치마크 회로들에 적용하여 실험한 결과 기존의 CPLD 기술 매핑 툴인 TMCPLD에 비해 실행 시간이 20.3% 감소되었다.

• 한국가스학회:학술대회논문집
• /
• 한국가스학회 1999년도 추계학술발표회 논문집
• /
• pp.244-249
• /
• 1999

• 한국ITS학회:학술대회논문집
• /
• 한국ITS학회 2005년도 제4회 추계학술대회 및 정기총회
• /
• pp.149-159
• /
• 2005

• 한국방송∙미디어공학회:학술대회논문집
• /
• 한국방송∙미디어공학회 2017년도 하계학술대회
• /
• pp.197-200
• /
• 2017

퍼지 논리를 기반으로 한 적응형 스트리밍 기법인 FDASH 적응 알고리즘은 빠르게 변하는 네트워크 상황에서 우수한 콘텐츠의 화질을 보장하면서 끊김 없는 서비스를 제공하는 특성을 보이지만 비디오의 화질이 자주 변하기 때문에 최고의 사용자 체감 품질 (QoE: Quality of Experience)을 제공하지 못 할 수도 있다. 본 논문에서는 제한된 버퍼 크기를 가지고 동일한 콘텐츠의 화질을 보장하면서도 비디오 화질의 변화 횟수를 줄여서 최적의 QoE를 제공할 수 있도록 하는 변환된 퍼지 논리 기반의 DASH 적응 알고리즘을 제안하고자 한다. 제안된 방식은 우선 퍼지 논리 제어부(FLC : Fuzzy Logic Controller)의 수정을 통하여 다음 세그먼트의 비트율에 대해 최적의 판단을 하도록 하였고, 세그먼트 비트율 필터링 모듈 (SBFM: Segment Bitrate Filtering Module)을 추가하여 비디오 화질의 변화 횟수가 최소화 될 수 있도록 하였으며, 스트리밍 서비스 시작 시 SBFM에 의해 일정시간 저화질의 비디오를 시청해야 하는 상황을 막기 위한 Start Mechanism을 추가하였고, 마지막으로 버퍼의 오버플로우를 방지하기 위해 Sleeping Mechanism을 추가하였다. NS-3를 이용한 네트워크 모의실험 결과를 통해 제안된 방식이 FDASH 방식에 비하여 제한된 버퍼크기 상황 하에서도 오버플로우가 발생하지 않으며 점대점(Point to Point) 상황에서는 거의 동일 화질 성능을 보이면서도 비디오 화질 변화 횟수를 50% 이상 줄일 수 있음과 일반 Wifi환경에서는 오히려 17.8%정도 더 뛰어난 비디오 화질 성능을 보이면서 비디오 화질변화 횟수 측면에서는 53.1%정도 줄일 수 있음을 보여준다.