• 한국산학기술학회논문지
• /
• 제10권11호
• /
• pp.3155-3162
• /
• 2009

게임 산업이 성장하면서 더욱 새롭고 다채로운 내용을 담고 있는 게임에 대한 요구가 커지고 있다. 그러나 현재 이를 지원하기 위한 소프트웨어 프레임워크는 존재하지 않는다. 3D 엔진이나 물리엔진과 같이 게임을 위한 특정 기술 분야의 미들웨어는 상당히 성숙한 단계에 와있으나 게임논리의 흐름을 위한 프레임워크는 거의 찾아볼 수 없다. 본 논문에서는 게임논리의 설계 및 구현을 위한 소프트웨어 프레임워크로서 게임논리엔진을 제안하고, 프로토타입을 구현한다. 제안된 게임논리엔진에 의해 다양한 장르의 게임을 위한 논리 흐름을 쉽게 기술하고 조합할 수 있다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 가을 학술발표논문집 Vol.31 No.2 (1)
• /
• pp.556-558
• /
• 2004

최근 VLSI 설계 분야에서, 단열 논리는 에너지 효율성이 뛰어난 저전력 설계 기술 중 하나로 각광 받고 있다. 이러한 단열 논리는 기존의 저전력 회로 설계를 위해 사용되었던 CMOS 논리들을 서서히 대체해 나갈 컷으로 기대되고 있다. 하지만 않은 단열 논리들의 제시에도 불구하고, 기존의 CMOS논리들을 단열 논리로 대체하는 기법에 관한 연구는 거의 없는 실정이다. 이 논문에서는 래치형 패스 트랜지스터 단열 논리(LPAL)와 이를 이용한 저전력 설계 기법을 소개하였다. 래치형 패스 트랜지스터 단열 논리는 기존의 단열 논리들이 가지고 있는 단정을 해결하고, 보다 저전력 지향적으로 CMOS논리를 대체 할 수 있다는 장점을 가진다.

• 정보보호학회지
• /
• 제5권4호
• /
• pp.102-111
• /
• 1995

본 연구는 보안 통제를 물리적, 논리적, 관리적 통제로 구분하고, 그 중에서 시스템에 논리적으로 구현되는 논리적 통제에 중심을 두고 있다. 최근 정보기술과 통신의 급격한 발달과 접목은 정보시스템을 새로이 취약성에 노출시키고 있으며, 이에 대응하기 위하여 논리적 통제의 중요성이 점점 부각되고 있다. 본 연구는 논리적 통제 중에서 모든 종류의 시스템에 필수적으로 필요한 통제로 인증, 접근통제, 감사로 그 세가지를 들고, 이 세가지 통제에 대한 상호관계를 규정하는 체계와 각각의 통제에 대한 설명을 한다.

• 전자통신동향분석
• /
• 제17권5호통권77호
• /
• pp.47-54
• /
• 2002

VoIP는 인터넷을 통한 음성 전화를 제공하는 기술이다. 유선의 PSTN과 인터넷간에 VoIP 기술을 적용하여 음성 전화를 제공한 데 이어, 이동통신 네트워크에서도 VoIP 기술에 의한 음성 서비스를 제공할 예정이다. 본 고에서는 유선 및 무선 통합 네트워크에서 VoIP 기술을 수용하기 위한 공통 논리 기능을 정의하고, 각 공통 논리 기능에 대한 IETF, ITU-T, 3GPP, 3GPP2 표준 규격의 기능 관계를 분석하여 유선, 무선, 인터넷의 통합 네트워크 구조를 제시하였다. 본 고에서 제시한 유선, 무선, 인터넷의 공통 논리 기능 구조는 유무선 네트워크를 통합할 수 있는 원천 기술 개발의 개념 구조로 사용할 수 있다.

• 한국산학기술학회논문지
• /
• 제12권7호
• /
• pp.3251-3257
• /
• 2011

본 논문에서는 논리합성을 위한 공통식 추출 방법을 새롭게 제안한다. 제안하는 방법은 주어진 각 논리식들에서 커널/커널 쌍들과 코커널/커널 쌍을 추출한다. 커널/커널 쌍은 주어진 논리식을 부울 나눗셈에 의해 제수, 몫, 나머지로 논리식을 다시 표현하게 된다. 다음, 여러 논리식에서 산출된 제수, 몫들에서 공통식을 추출하는 커널 교집합에 의해 공통식을 구하는 방법을 제안한다. 실험 결과 기존의 공통식 산출 결과들과 비교했을 때 제안한 방법은 리터럴 개수를 줄일 수 있었다.

• 한국산학기술학회논문지
• /
• 제18권8호
• /
• pp.361-366
• /
• 2017

2개 논리식에 대해서 어떤 논리식 F의 일부가 다른 논리식 G 전체를 포함하고 있을 때, 논리식 F의 일부분을 논리식 G로 대치한 식을 대입식이라고 한다. 논리식 사이에 대입 관계가 성립되면 전체 논리식에 사용된 리터럴 개수를 대폭 줄일 수 있는 장점이 있으나, 대입 관계가 성립하지 않는 경우 대입식으로부터 얻을 수 있는 간략화 효과가 없게 되어 상대적으로 리터럴 개수를 줄이는 효과가 줄어들게 된다. 지금까지의 연구들이 주어진 논리식들 자체에 대해서 논리식들 사이의 대입 관계를 찾고, 대입이 가능하면 대입식을 산출하기 위한 방법을 제안하였는데, 본 논문에서는 논리식들 사이에 대입식이 만들어지도록 필요한 항을 추가하고, 다시 추가된 항들에 대한 보정을 통해 대입식을 산출하는 논리합성 방법을 제안한다. 최적화하고자 하는 2개의 논리식들로부터 항추가를 위한 행렬을 만들고, 행렬에서 항이 추가 가능한 묶음 찾고 추가된 항에 대해 보정을 하여 대입식이 완성된다. 실험결과 여러 벤치마크 회로에 대하여 제안한 방법이 기존 합성도구보다 리터럴 개수를 줄일 수 있음을 보였다.

• 한국수학사학회지
• /
• 제23권2호
• /
• pp.23-56
• /
• 2010

본 논문의 목적은 집합론이 메타논리학에 필수불가결하다는 주장, 즉 필수불가결성 논제에 반대하는 것이다. 만일 집합론이 메타논리학에 필수불가결하다면, 집합론을 포함하게 되는 논리적 탐구는 논리학의 가장 근본적인 특성들인 주제중립성과 보편적 적용가능성을 결여하게 되기 때문이다. 논리학의 주제중립성은 논리학의 명제들이 개별 과학과 같은 특정한 지식 분야에 국한되지 않는다는 것을 말하며, 논리학의 보편적 적용가능성은 논리학의 명제들과 추론 규칙들이 모든 과학 분야들과 합리적 담론들에서 사용될 수 있다는 것을 말한다. 나아가 주제중립성과 보편적 적용가능성을 지니기 위해서는, 논리학을 기술하는 메타논리적 용어들과 개념들 역시 이러한 특성들을 지녀야만 한다. 하지만 필수불가결성 논제를 받아들이게 되면, 우리는 논리학이 적용되는 모든 분야에서 집합론의 용어들과 집합론적 개념들이 필수불가결하다는 것을 받아들여야만 한다. 그리고 이는 분명 불합리한 일이다. 필수불가결성 논제가 그럴듯하지 않다는 것을 보이기 위해서 나는 집합과 관련된 존재론적 문제를 살펴볼 것이다. 이러한 탐구는 집합이 어떤 식으로 이해되든지 간에 존재론적으로 보수적인 "논리적 존재자" 로 간주되기 어렵다는 것을 보여줄 것이다.

• 한국멀티미디어학회논문지
• /
• 제7권10호
• /
• pp.1354-1369
• /
• 2004

본 논문에서는 웹 문서를 XML 문서로 변환하기 위한 논리적 구조분석 방법을 제안한다. 제안된 방법은 비주얼 그룹화, 요소 식별, 그리고 논리적 그룹화의 세 단계로 구성된다. 특히 정교한 수준의 논리적 구조분석을 지원하기 위하여 특정 주제에 속하는 문서 유형의 논리적 계층 구조를 효과적으로 기술할 수 있는 문서 모델을 정의한다. 제안된 방법은 비주얼 그룹화를 통해서 추출된 시각적 계층구조와 문서 유형에 대한 논리적 구조 정보를 기술한 문서 모델에 기반하기 때문에 보다 정교한 수준의 구조 분석을 지원한다. 제안된 방법의 성능을 평가하기 위하여 웹으로부터 추출한 다수의 HTML 문서를 대상으로 실험한 결과, 기존 연구와 비교하여 논리적 구조분석을 성공적으로 수행하였다. 제안된 방법은 논리적 구조분석의 최종 결과로서 XML문서를 생성하기 때문에 문서의 재 사용성을 높인다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 봄 학술발표논문집 Vol.30 No.1 (A)
• /
• pp.166-168
• /
• 2003

최근 많은 프로세서 제작업체들이 프로세서의 효율을 높이기 위한 방법으로 독립적인 쓰레드들을 한 프로세서 사이클에 동시에 실행시킬 수 있는 SMT 기술을 구현하고 있으며 그 예의 하나가 하이퍼쓰레딩이다. 물리 프로세서 안에 여러 개의 논리 프로세서를 가질 수 있는 하이퍼쓰레딩 기술은 응용단계에서 논리 프로세서들을 찾아내고 특정 논리 프로세서에 작업을 할당시킬 수 있는 방법이 필요하다. 따라서, 본 논문에서는 리눅스 운영체제에서 하이퍼쓰레딩 기술을 지원하는 마이크로프로세서의 특정 논리 프로세서를 탐지하고 제어하는 방안을 제시하고 이를 구현하였다. 또한 이를 그리드에 적용함으로써 그리드에서 하이퍼쓰래딩 기술을 지원하는 시스템을 올바르게 인식하고 적절하게 관리하여 효율적인 성능을 기대할 수 있게 되었다.

• 국방과기술
• /
• 9호통권235호
• /
• pp.66-73
• /
• 1998

세계적으로 화학, 생물학 및 방사능 무기의 근절을 위해 CWC와 같은 여러 가지 국제조약이 결성되고 있으나 힘의 논리와 자국 이익의 논리가 앞서는 한 근본적인 근절은 어려운 실정이다. 이 글에서는 화생방전의 피해를 최소화하기 위한 통합 시스템을 소개하고 각 시스템에서 필요한 기술을 나열하였다. 특히 이러한 기술들 중에서 많은 부분이 원자력 분야에서 개발되었으나 개발 중이어서 군용으로의 전환이 용이할 것으로 기대된다.