• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1998년도 가을 학술발표논문집 Vol.25 No.2 (2)
• /
• pp.33-35
• /
• 1998

선형논리는 Girard에 의해 소개되었으며, 고전논리의 확장이다. 최근에는 형할당 시스템으로 λ$\mu$-논리의 연구가 성행중이며 함수프로그래밍 언어가 발전할 수 있는 계기가 되었다. λ$\mu$-논리에서의 계산은 형추론 연역과정이다. λ$\mu$-논리의 카테고리로의 해석 λ$\mu$＊-논리를 이용하여 분배카테고리를 일차적으로 구성하고 함수의 흐름을 구체적으로 나타내는 준함수로써 회로 카테고리Cir(CLL*)를 설계하였다. 특히 전산처리에서 흔히 사용하는 큐(Queues)로써 선형고전논리 기증을 온전히 발휘할 수 있음을 지적한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 가을 학술발표논문집 Vol.27 No.2 (3)
• /
• pp.304-306
• /
• 2000

내장형 디바이스를 인터넷과 연결하고자 하는 요구가 늘어나고 있다. 이러한 정보기기들을 동적으로 상호 작용하게 하는 기술로서 지니(Jini)가 최근 주목을 받고 있다. 그러나 내장형 디바이스에서 지니 서비스를 제공하기 위해 요구되는 높은 하드웨어 사양이 문제점으로 지적되고 있다. 본 논문에서는 이러한 non-Java 디바이스를 지니 네트워크에 접속하여 지니 서비스를 제공할 수 있도록 서로게이트 시스템(Surrogate System)과 non-Java 디바이스간의 프로토콜을 설계하였다.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 1998년도 춘계종합학술대회
• /
• pp.291-294
• /
• 1998

본 논문에서는 퍼지라는 개념을 도입하여 기존의 전문가시스템에서 문제점으로 지적되어 온 불확실성, 모호성의 처리 기능을 부가하여 표현의 영역을 확장, 개선하여, 전문가시스템의 추론 엔진을 적용하는 근사적 유사 추론기법을 분석한다. 그리고 규칙의 조건부와 이에 대응하는 사실간의 유사도를 구하여 이들 규칙의 결론부에 반영하여 결론을 유도하는 근사적 유사 추론기법을 제안한다. 또한 이와 같은 이론적인 연구를 바탕으로 자연언어의 많은 부분을 차지하고 있는 퍼지 개념을 지원하는 당뇨병(의료)진단용 전문가시스템을 설계, 구현하여 기존의 불확실성 관리방안의 단점을 개선하고자 한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 가을 학술발표논문집 Vol.29 No.2 (1)
• /
• pp.646-648
• /
• 2002

인터넷과 네트워킹 기술의 비약적인 발전으로 인해 수많은 프로토콜들과 관련 기술, 그리고 서비스들이 새롭게 등장하였다. 하지만 설계상에서 보안에 대해 고려되지 않았던 많은 기술들은 이제 새로운 보안 위협을 발생시키는 등의 문제점을 드러내고 있다. 네트워크를 통한 크래킹 역시 이러한 문제점으로 지적되고 있는데, 이러한 위협으로부터 시스템을 보호하기 위해 방화벽, 침입탐지 시스템과 같은 정보보호 시스템들이 연구, 개발되었다. 본 논문에서 제안하는 네트워크 모니터링 도구는 스니핑이라는 해킹 기법으로 이용되기도 하는 다소 위험한 기술을 이용하여 네트워크상의 패킷을 실시간으로 수집, 분석함으로써 네트워크 관련 오류의 점검, 크래킹의 실시간 감시등에 이용할 수 있도록 해준다.

• 한국방송∙미디어공학회:학술대회논문집
• /
• 한국방송∙미디어공학회 2020년도 추계학술대회
• /
• pp.106-107
• /
• 2020

본 논문에서는 촬영과 동시에 유통되는 생방송 영상의 실시간 지적재산권 보호를 위한 Convolutional Neural Network를 기반으로 하는 워터마킹 프로세서의 구조를 제안한다. 제안하는 워터마킹 프로세서는 전처리 네트워크와 삽입 네트워크를 최적화하여 ASIC 칩으로 제작한다. 이는 영상을 입력으로 하는 딥 러닝 분야에서 많이 사용되는 CNN을 기반으로 하기 때문에 일반적인 딥 러닝 가속기 설계로 간주된다.

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

본 논문에서는 영상 콘텐츠의 지적재산권 보호를 위하여 딥 러닝을 기반으로 하는 워터마킹 시스템 및 하드웨어 가속기 구조를 제안한다. 제안하는 워터마킹 시스템은 호스트 영상과 워터마크가 같은 해상도를 갖도록 변화시키는 전처리 네트워크, 전처리 네트워크를 거친 호스트 영상과 워터마크를 정합하여 워터마크를 삽입하는 네트워크, 그리고 워터마크를 추출하는 네트워크로 구성된다. 이 중 호스트 영상의 전처리 네트워크와 삽입 네트워크를 하드웨어로 설계한다.

• 기계저널
• /
• 제29권2호
• /
• pp.169-174
• /
• 1989

기계의 운전 중에 불평형이 변화할 확률은 예측하기가 어렵다는 것에 대해서는 이미 지적한바 있다. 따라서 계산은 미감도의 평가로 한정된다. 이 값은 공진에 인접하여 운전될 때의 특수 한 경우에 대한 것이다. 계산의 정확도를 지나치게 높이 평가하지 않도록 주의할 필요가 있다. 이러한 속도에서 계의 감쇠는 특히 중요하며, 복잡한 계에 있어서는 충분한 정확도를 갖도록 이 감쇠값을 계산할 수는 없다. 따라서, 설계자는 감쇠값의 결정에 있어서 부분적으로 경험에 의 존해야 한다.

• 건축사
• /
• 8호통권304호
• /
• pp.32-41
• /
• 1994

본지에서는 최근 논란이 되고있는 대형건설업체의 설계용역업허용요구와 관련해 건축설계업과 건설시공간의 상호관계 및 역할분담 등에 관한 선진외국의 사례들을 모아 조사ㆍ확인함으로써 건설업체의 이같은 주장에 대한 부당성을 지적하고 이를 통해 우리 현실에 맞는 제도로 발전시켜 나가고자 한다. 또한 이번 조사내용은 국내건축문화 발전의 건전한 풍토조성과 국제경쟁력 강화를 위한 방안을 모색하는데 귀중한 자료로 삼고자 한다.

• 전기의세계
• /
• 제36권5호
• /
• pp.305-309
• /
• 1987

국내에서는 아직 보행로보트에 대한 본격적인 연구가 없었으나, 미국, 일본과 같은 선진국에서는 이에 대한 연구가 활발히 진행되고 있다. 지금까지 개발된 보행로보트는 보행 속도가 느리고 많은 동력이 소모되며 하중운반 능력이 미약하다는 사실이 취약점으로 지적되고 있다. 그러므로 현재 선진 외국에서의 연구방향은 주로 다리의 기구학적 설계, 로보트 자체 중량의 최소화 그리고 효율적인 동력이용 등으로 진행되고 있다.

• 한국게임학회 논문지
• /
• 제20권4호
• /
• pp.57-66
• /
• 2020

본 논문에서는 아이트래커를 활용한 상호작용 요소들과 지적장애아 주의집중력의 특성을 분석하여 디지털콘텐츠를 설계 할 때 활용할 수 있는 게임화 요소들을 제시한다. 사지마비형 뇌성마비 아동에게 아이트래커는 디지털콘텐츠의 접근성을 높여 줄 것이다. 전경적 게임화는 선택적 주의집중력을, 배경적 게임화와 내재적 동기 유발은 주의집중력의 지속을, 전경적 게임화와 외재적 동기 유발은 주의집중의 이동능력을 위해 활용될 수 있다.