• 한국정보시스템학회:학술대회논문집
• /
• 한국정보시스템학회 1997년도 춘계학술대회논문집 지역정보단지 조성과정보기술의 활용
• /
• pp.207-213
• /
• 1997

본 논문은 논리함수의 Module-2 방식에 따라 신경회로망을 구성하고, 구성된 신 경회로망에 의해서 논리함수 XOR을 예를 들어 표현하였다. 논리함수에서 사용된 Module-2 방식은 2치자료를 처리하는 것으로, 논리함수의 대표적인 것이 부울함수(Boole function)이 다. 신경회로망의 입력층에서는 논리함수의 값을 입력하고, 중간층에서는 논리함수의 직교 전개를 이용하고, 출력층에서도 직교전개등을 통하여 최종적인 결과값을 얻는 것이다. 이를 위해서 내적(inner product) 및 norm등을 정의하고, 직교(orthogonal)에 대한 정의를 하였 다. 또한, 부울함수(Boole Function)의 미분에 대한 정의 및 부울함수의 Maclaurin 전개에 대해서도 정의하였다. 본 논문에서 논리함수의 최종적인 출력값은 부울함수의 Maclaurin 전 개에 의해서도 실제적인 값이 출력될 수 있다는 것을 나타내었다.

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 1990년도 제2회 한글 및 한국어정보처리 학술대회
• /
• pp.128-130
• /
• 1990

문장의 논리적인 내적이며 형식적이라고도 말하여지는 구조는 단순한 구문론적인 것이라기 보다는 우리의 외적 세계 이해의 범주라고도 말하여져 왔다. 이러한 이해에는 검증이 어렵다는 이유에서 쉽게 받아들일 수 없는 점이 있으나, 실제의 언어 이해에서 부인 할 수 없는 작용을 하는 것은 어쩔 수 없다. 원자 문장에서의 이러한 논리적인 제약이라고도 말하여지는 것은 거의 형이상학적인 측면이 있더라도 언어의 수학적인 성질로 받아들이지 않을 수 없다. 그래서 여기에서는 원자 문장 형성에서의 수학적인 성질들을 말하여 보고자 한다.

• 한국콘텐츠학회논문지
• /
• 제17권6호
• /
• pp.571-579
• /
• 2017

본 연구는 기업 조직구성원에 대한 보상이 내적공정성과 직무만족에 미치는 영향을 분석하는 것을 목적으로 하였다. 보상의 요인은 내적 보상과 외적 보상의 두 하위차원으로, 내적 공정성은 분배공정성과 상호 작용 공정성으로 구분하였다. 이와 더불어 기업 구성원에 대한 보상이 상사의 지원에 따라 지각된 내적 공정성이 달라질 수 있는지 그 조절 효과를 분석하였다. 실증연구는 다양한 기업의 157명으로부터 획득된 자료를 활용하여 이루어졌다. 실증자료의 분석 결과, 외적 및 내적 보상은 직무만족, 지각된 내적 공정성, 상사의 지원에 정(+)의 영향을 미쳤으며, 보상과 직무만족의 관계는 구성원의 심리적 영역인 내적 공정성의 지각을 통해 영향관계가 형성되고 있음이 나타났다. 한편 구성원에 대한 보상과 지각된 내적 공정성의 관계에서 상사의 지원은 조절역할을 하지 않는 것으로 밝혀졌다. 본 연구에서는 보상관리의 중요성에 대한 인식을 바탕으로 보상의 공정성에 주목하여 개인간 상대적인 보상 차이에 대한 합리적인 논리와 메커니즘을 제공하여야 한다는 관리적 실천적 시사점을 제공하였다.

• 출판저널
• /
• 통권138호
• /
• pp.10-10
• /
• 1993

국제정치의 논리와 구조, 한국외교정책의 현황.전망을 다루고 있는 이 책들은 외교정책 결정 과정에서의 내적요인에 대한 분석의 결여라는 한국 국제정치학의 한계를 극복한 것으로 평가된다. 국제정치학 주요이론을 소개.평가하고 구체분석도 행함으로써 이론과 실제를 잘 조망하고 있다.

• 한국통신학회논문지
• /
• 제25권3B호
• /
• pp.584-591
• /
• 2000

본 논문에서는 벡터의 내적에 사용되는 Distributed Arithmetic의 ROM 면적을 줄일 수 있는 방법을 제시한다. 제안된 방법을 이용하여 만든 ROM table은 그 크기가 기존 방법에 비해 반으로 감소되며 새로 생성된 ROM table에 같은 방법을 반복 적용함으로써 그 크기를 계속 1/2씩 감소시킬 수 있다. 반면에 ROM table을 반으로 줄일 때마다 논리회로의 첨가로 인한 하드웨어의 증가와 critical path의 증가가 발생하는데, 이들 오버헤드를 최소화할 수 있는 방법과 전체적인 면적 감소 효과를 극대화 할 수 있는 방법을 함께 제시한다. 제시한 방법을 적용함으로써 약 50%까지의 하드웨어를 감소시킬 수 있음을 예를 통하여 보인다.

• 한국수학사학회지
• /
• 제25권3호
• /
• pp.29-39
• /
• 2012

선형논리는 현대 증명이론의 산물로서 1987년 프랑스 Marseille대학 Jean-Yves Girard 교수가 프로그래밍 언어의 개발을 위해 직관주의 논리학 (Intuitional logic) 을 정교하게 보완하여 고안한 새로운 논리학이다. 그래서 선형논리의 연결사들은 정보배열 (Sequentiality)과 병행처리 (Parallel computation) 등 정보처리와 관련된 해석을 갖는다. 예컨대, A${\otimes}$B는 두 과정 A와 B를 차례차례 수행하는 것을 나타내고, A&B는 내적미결정과 관련되어 관찰자가 A 또는 B를 선택할 수 있으며, A${\oplus}$B는 외적인 미결정으로서, 관찰자는 A 또는 B라는 사실을 알지만 어느 것이 될지는 알지 못한다. 그리고 A${\wp}$B는 A과정과 B과정의 병행처리를 의미한다. 선형부정은 동시화(Synchronization)를 나타내어, 하나의 과정 A가 수행되기 위해서는 A와 $A^{\bot}$가 동시에 이루어져야 한다. 국내에 선형논리에 대한 연구가 활성화되지 않아서 이 글은 이에 대한 관심을 제고하기 위해 우선 선형논리의 통사론만을 취급했으며, 의미론과 증명망 등은 차후의 연구에서 다루고자 한다.

• 한국어업기술학회:학술대회논문집
• /
• 한국어업기술학회 2000년도 추계수산관련학회 공동학술대회발표요지집
• /
• pp.31-32
• /
• 2000

어군의 이동경로(Priede ＆ Swift, 1993)를 어류 외적인 주변 환경변수와 어류의 내적인 생리생태 등에 따른 행동요인을 고려하여 보다 합리적이고 논리적인 방법으로 어군탐색을 효율적으로 수행할 필요가 있으며, 따라서 어류이동경로 추적에 대한 모델링과 시뮬레이션(Arnolds ＆ Holford, 1995) 기법의 개발이 필요한 실정이다. 따라서 본 연구는 저서성 어류의 이동 궤적에 관한 현장 계측자료를 해양환경요인과 관련시켜 분석하고, 어류이동에 관한 수치행동의 모델링의 주요한 변수를 파악하였다. (중략)

• 정보처리학회논문지A
• /
• 제10A권4호
• /
• pp.347-356
• /
• 2003

DCT 알고리즘은 내적을 효율적으로 처리할 수 있는 하드웨어 구조가 필수적이다. 내적 연산을 위한 기존의 방법들은 하드웨어 복잡도가 높기 때문에, 이론 줄이기 위한 방법으로 연산 공유 승산기가 제안되었다. 하지만 기존의 연산 공유 승산기는 전처리기 및 선택기의 비효율적 구조로 인한 성능저하의 문제점을 가지고 있다. 본 논문에서는 새로운 연산 공유 승산기를 제안하고 이를 1차원 DCT 프로세서에 적용하여 구현하였다. 연산 공유 승산기의 구조 및 논리 합성 비교 시 새로운 승산기는 기존에 비해 효율적인 하드웨어 구성이 가능함을 확인하였고, 1차원 DCT 프로세서 설계 시 기존 구현 방식들에 비해 우수한 성능을 나타내었다.

• 한국콘텐츠학회논문지
• /
• 제8권4호
• /
• pp.117-129
• /
• 2008

컴퓨터게임에 대한 문화연구적인 접근을 도모하였다. 다양한 영역에 활용되고 있는 기호학이 역시 컴퓨터게임에도 유용할 것으로 판단되었으며, 이러한 기호학적 배경 하에서 프로프의 서사이론과 바르트의 신화론을 활용하여 스타크래프트를 분석하고자 하였다. 스타크래프트의 서사에서 몇 가지 단순하지만 내적 구조를 관철하고 있는 기능들을 찾을 수 있었는데, 그 기능의 논리는 자본주의의 논리를 모사한 것으로 판단되었다. 또한 대부분의 게임이 계열체적인 서사의 흐름을 갖는 반면에 스타크래프트는 그것의 네트워크 게임이라는 특성 때문에 통합체적인 흐름이 주요한 것으로 나타났다. 이러한 논의 속에서 훈육 통제의 일상화, 시 공간의 자원화, 대상의 몰가치화라는 신화들을 찾을 수 있었다.

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

기술은 다양한 차원에서 잠재적 용도를 가지고 있고, 그것을 둘러싼 사회적 맥락에 의해 끊임없이 변화한다. 따라서 기술이라는 인공물의 내적 논리체계에는 정치적 함의가 투영되어 있다고 할 수 있다. 이것은 인터넷 규제기술에도 동일하게 맥락화 될 수 있는데. 어떠한 기술이 채택되느냐에 따라서 정보통제권 관계는 매우 가변적이다. 본 논문은 인터넷 내용등급제를 사례로 이용자 정보통제권에 정합하는 인터넷 규제기술 구조와 원리 및 그 사회적 함의를 고찰한다