• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 2006년도 춘계학술대회 학술발표 논문집 제16권 제1호
• /
• pp.65-66
• /
• 2006

본 논문은 퍼지논리의 유용성이 모호함을 다루는데 있다는 것과 이에 대한 예로서 퍼지논리로써 sorites paradox를 해결하는 방식을 소개하려는데 그 목적이 있다.

• 한국HCI학회:학술대회논문집
• /
• 한국HCI학회 2006년도 학술대회 1부
• /
• pp.1063-1068
• /
• 2006

본 논문에서는 PAN에서의 빠르고 안정성 있는 서비스 탐색방법으로 그룹관리와 지역캐시를 이용한 논리적 메쉬구조 기법을 제안하고자 한다. 이 기법은 PAN 내부의 노드들을 하나의 그룹으로 관리하는데, 각 노드들은 그룹에 속한 모든 노드들의 정보를 지역캐시로 저장하고 있어 논리적인 메쉬구조를 가지게 된다. 이 지역캐시 정보는 가입과 탈퇴 방법을 통해 각 노드에게 저장되므로 탐색시 발생하는 브로드캐스팅 트래픽을 감소시킬 수 있다. 이때 논리적 메쉬구조를 사용하여 전송하므로 직접전송을 통한 빠른 전송이 가능하다. 또한 이런 논리적 메쉬구조는 특정 서비스의 탐색을 위해 중간에 다른 노드나 레지스트리 서버를 거치지 않으므로 레지스트리 의존 구조에 비해 상대적으로 안정성이 있다. 이 서비스 탐색 방법은 향후 상황정보 공유를 위한 프레임워크에 상황정보 탐색 모듈로서 반영 될 수 있을 것이며 웨어러블 컴퓨팅에도 적용 가능하다.

• 논리연구
• /
• 제15권3호
• /
• pp.323-347
• /
• 2012

최근 이병덕 교수의 논란 없는 원리(Uncontested Principle)의 거부를 둘러싼 논의가 송하석, 최원배 등을 중심으로 이루어졌다. 필자는 이들 논의가 충분하지 않다고 생각한다. 그 이유는 이들이 논란 없는 원리가 연역에 관한 한 정당하다고 생각하지만 이들의 논증만으로는 그렇게 판단하기 어려운 점이 있기 때문이다. 필자는 이 점을 먼저 이 글에서 밝히고 그 한계를 지적한다. 다음으로 대안 논리(alternative logic)의 관점에서 볼 때 논란 없는 원리는 그 자체로 정당화되기 어렵고 연역적으로 정당화되기 위해서는 실제로 여러 가지 제약조건이 필요함을 보인다. 즉 특정 조건이나 제약 하에서만 연역적으로 정당화될 수 있음을 보인다.

• 한국조명전기설비학회:학술대회논문집
• /
• 한국조명전기설비학회 2006년도 춘계학술대회 논문집
• /
• pp.200-204
• /
• 2006

본 연구에서는 새로 고안된 NOT-AND 논리에 의한 방전 논리 gate PDP의 입력 DC 방전특성에 대해 고찰하고 동작특성을 해석하였다. 새로 고안된 방전 AND gate는 방전 경로에 따른 전극사이의 전위차의 변화로 AND 출력을 유도한다. 이러한 방전 논리 소자를 가지는 PDP에서는 직류방전이 논리게이트의 역할을 한다. 실험결과 이 DC 입력방전을 위해 priming 방전을 인가한 경우가 인가하지 않은 경우에 비해 방전지연시간이 1/3로 단축되며 방전개시전압은 1/2로 감소하였다. 또한 이 priming 방전은 방전종료후 $30{\mu}s$ 정도까지 영향을 미친다. 그리고 이 직류방전의 시간적, 위치적 방전특성을 측정한 결과, 방전에 따른 시간적 거리의 변화는 상당한 영향을 미치나 인접 전극들의 위치적인 영향은 거의 미미하다는 결론을 얻었다.

• Nuclear Engineering and Technology
• /
• 제26권4호
• /
• pp.611-626
• /
• 1994

격납건물 사건수목 방법은 확률론적 안전성 평가시 격납건물 해석의 핵심을 이루는 부분으로서 계통안전 분석으로부터 파악된 주요 노심용융 사고경위와 격납건물 방호계통의 적절한 조합에 의하여 선정된 발전소손상군을 초기조건으로 하여 격납건물 파손 및 방사선원 방출에 영향을 주는 격납건물 내부에서 발생 가능한 주요 사고진행 과정을 체계적으로 다룰 수 있는 유용한 수단이다. 원자력 안전성 향상연구이후 격납건물의 건전성을 확보하기 위한 많은 노력의 결과 현재까지 격납건물 해석 및 논리체계는 상당한 기술적 진보를 이루어 왔으나 아직도 이를 기술하는 방식에는 논쟁의 여지가 많고, 중대사고와 관련된 여러 현상들을 반영할때 그것의 논리적 타당성을 객관적으로 평가할 수 있는 방법이 아직 확고히 정착되지 못함으로 인하여 격납건물 해석결과에는 많은 불확실성 이 존재한다. 또한 아직까지 기존 방법론에 대한 어떠한 종류의 체계적 분석도 이루어지지 않음으로 인하여 이들에 대한 논리적 한계점을 파악하는 데 많은 어려움이 있다. 본 연구에서는 지금까지 주로 개발, 사용되어 온 다양한 격납건물 사건수목 분석 방법론을 소개하고 이들 각각이 지니고 있는 기술적인 문제점을 고찰하며 이를 바탕으로 격납건물 사건수목이 갖추어야 할 기본논리, 구조에 대한 안내지침을 제시함으로써 효과적인 격납건물 해석 및 방법론 개발에 도움을 주고자 한다

• ETRI Journal
• /
• 제9권1호
• /
• pp.37-42
• /
• 1987

개인용 전자자동설계 시스팀인 EDAS_P의 schematic으로부터 직접 디지틀 회로의 논리동작을 시뮬레이션할 수 있는 게이트 레벨 논리 시뮬레이터(GLSIM_P)를 IBM PC에서 C언어를 이용하여 개발하였다. 다룰수 있는 소자로는 input clock, 일반 게이트 및 clocked 게이트, ROM, RAM, PLA등이다. 논리신호 레벨은 1, 0,*(intermediate)이다. 효율적인 논리해석을 위해 selective trace 및 event driven 방식을 도입하였으며 게이트 500개 정도까지 해석이 가능하다.

• 한국광학회:학술대회논문집
• /
• 한국광학회 2001년도 제12회 정기총회 및 01년도 동계학술발표회
• /
• pp.74-75
• /
• 2001

현재의 통신망에서는 clock recovery, regeneration 등을 전기적으로 처리하고 있으나 처리속도의 한계가 있고, 미래의 초고속 네트웍은 이러한 전기적 신호처리의 속도한계를 극복하는 기술이 필요하다. 그러므로, 고속의 광교환과 광신호처리 등 광신호를 전기적으로 바꾸거나 제어하지 않고 전광으로 처리하는 기술에 대한 연구가 진행되고 있으며 이러한 전광신호 처리에 고속의 전광 논리소자가 요구된다. 초기의 전광 논리소자 연구에서는 AND, OR, NOR, XOR 등의 기본 논리 기능이 주로 구현되었으며 이를 활용하여 Shift Register, Binary counter, 전광 반가산기, 직/병렬 데이터 변환기와 같은 복합기능 논리소자의 구현 연구가 이루어지고 있다. (중략)

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

본 논문에서는 양상 뮤 논리를 위한 속성 명세 패턴 연구를 통해 시제 논리에 대한 패턴 기반의 단일한 프레임워크를 제시한다. 본 연구에서는 Dwyer의 속성 명세 패턴 분류를 상태(S)와 행동(A)으로 세분화하고 이를 다시 강함(A)와 약함(E)으로 다시 세분했다. 이러한 의미 기반의 계층적 패턴 분류 체계를 통해 양상 뮤 논리의 속성 명세 패턴을 분석했으며 실제 모형 검사기에서 사용된 예제들의 패턴 분류에 적용했다. 그 결과 기존의 분류 체계보다 더 정확한 분류가 가능했을 뿐만 아니라, 속성 명세의 작성 및 이해가 용이하였다.

• 응용통계연구
• /
• 제13권1호
• /
• pp.1-10
• /
• 2000

정보화사회에서 효율적인 정보검색(information retrieval)은 각종 의사결정에 매우 중요하다. 주어진 정보검색 문제가 있을 때 과거에 검색되었던 자료는 그 적절성 여부에 대한 평가를 데이터베이스에 첨가하여 지식베이스(knowledge base)화 할 수 있다. 본 연구는 이 지식베이스에 대한 논리적 패턴을 분석하여 새로운 정보의 '적정성(relevance)' 여부를 판별하는 확률화 정보검색 모형을 만들고 이에 대한 실험을 하였다.

• 한국정보교육학회:학술대회논문집
• /
• 한국정보교육학회 2008년도 동계학술대회
• /
• pp.67-72
• /
• 2008

지식기반 사회에서는 새로운 지식을 만들어 낼 수 있는 능력과 융통성, 문제해결력, 논리적 사고력 등을 가진 인재를 필요로 하고 있다. 알고리즘 교육은 학생들의 정보마인드와 정보적 사고, 논리적 사고능력의 신장을 위하여 반드시 필요하며, 이는 다변화 되어가는 사회에서 다양한 문제를 해결해 나가는 능력을 키우는 데 큰 역할을 할 것이다. 이에 본 논문은 논리적 사고력 신장을 위한 생활 속의 알고리즘 교육 방법을 모색하여 제안하고자 한다.