• 논리연구
• /
• 제6권2호
• /
• pp.69-81
• /
• 2003

이 논문에서 우리는 (축약 원리가 없는) 연관 체계 EW은 이웃 체계들을 다룬다. 구체적으로 우리는 확장 원리를 포함하지만 축약 원리를 포함하지 않는 E (Ee-W) 체계, 특수 주장 specialized assertion(sa) 원리를 포함하지 않는 Ee-W (Ee-Wsa) 체계, 자기 배분 self-distribution(sd) 원리를 포함하지 않는 Ee-W (Ee-Wsd) 체계, 그리고 체인chain(c) 원리와 축약 원리를 포함하는 Ee 체계들의 확장 Eec-Wsa, Eec-Wsd, Eec-W, Eec를 다룬다. 우리는 루트리 마이어 의미론을 사용해서 이 체계들을 위한 완전성을 보인다.

• 제어로봇시스템학회지
• /
• 제2권2호
• /
• pp.10-18
• /
• 1996

이 글에서는 현재 그 응용범위가 확장되어감에 따라 관심이 고조되고 있는 GPS의 원리와 응용에 대해 간단히 요약해 소개하고자 한다. 제2절에서는 GPS를 이용한 위치 측정의 원리를, 제3절에서는 GPS의 응용과 앞으로의 전망에 대해 기술하려고 한다.

• 한국지능시스템학회논문지
• /
• 제25권2호
• /
• pp.197-202
• /
• 2015

삼각퍼지수는 가장 유명한 퍼지수 중의 하나이다. 두 삼각퍼지수 사이의 확장된 대수적 작용소에 대한 많은 결과들이 알려져 있다. 우리는 $\mathbb{R}$ 위에 정의된 삼각퍼지수를 $\mathbb{R}^2$ 위로 일반화하였다. 영역을 값으로 갖는 두 ${\alpha}$-절단 사이에 매개변수 작용소를 정의함으로서 $\mathbb{R}^2$ 위에서 정의된 두 삼각퍼지수에 대한 매개변수 작용소를 얻을 수 있었다.

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

지금까지의 초등 컴퓨터 교육은 파워포인트나 워드 엑셀과 같은 어플리케이션교육 즉 컴퓨터의 원리교육 보다는 활용교육에 중점을 두어 왔다. 하지만 정보화 시대에 살고 있고 더욱 발전된 정보의 홍수 속에서 살아가야 하는 아동들에게 이제 더 이상 컴퓨터의 활용에 중점을 두기 보다는 컴퓨터를 구성하는 원리를 파악하고 그 원리를 통하여 새로운 것을 창조해내는 창의적인 사고를 심어줄 수 있는 교육을 할 필요성이 절실하다. 컴퓨터를 구성하는 다양한 시스템에는 여러 가지 과학적인 원리가 들어 있으며 이러한 원리들은 우리 실생활에서 쉽게 접근하고 생각을 할 수가 있다. 따라서 본 논문은 생활 속에서 발견할 수 있는 컴퓨터의 원리들로 접근을 시도하여 컴퓨터의 원리를 파악하고 나아가 새로운 생각과 사고로 컴퓨터 원리에 대한 사고의 확장과 창의성을 신장 시킬 수 있는 '창의적인 교육자료'를 개발 하고자한다.

• 논리연구
• /
• 제19권3호
• /
• pp.437-461
• /
• 2016

이 글에서 우리는 (곱 연언 &의) 약한 형식의 결합 원리를 갖는 약화 없는 퍼지 논리를 연구한다. 이를 위하여 먼저 wta-유니놈에 기반 한 체계 $WA_tMUL$과 이의 두 공리적 확장 체계들을 약화 없는 약한 결합 원리를 갖는 퍼지 논리로 소개한다. 그리고 각 체계에 상응하는 대수적 구조를 정의한 후, 이 체계들이 대수적으로 완전하다는 것을 보인다. 다음으로 제네이-몬테그나 스타일의 구성방식을 사용하여 체계 $WA_tMUL$과 추가적 공리를 갖는 두 확장 체계들이 표준적으로 완전하다는 것을 보인다.

• 대한기계학회논문집
• /
• 제15권5호
• /
• pp.1587-1600
• /
• 1991

본 연구에서는 로봇조작기를 강체부와 유연한 외팔보로 이루어진 모델로 설정 한 후 확장된 Hamilton의 원리를 적용하여 제어계의 운동방정식을 유도하였다. 계를 유한개의 제어 모드와 잔류 모드로 구분하고, 제어 모드에 대해 최적제어를 수행하기 위해 관측기를 설계하였으며, 진동에 관련된 측정 불가능한 상태변수를 추정하였다. 분석과 검토는 서보모터가 모든 제어를 담당하는 방식과 서보모터의 제어 방식에 작동 기를 추가시켜 병행 제어하는 다입출력 방식으로 구별하여 수행하였다.

• 한국멀티미디어학회:학술대회논문집
• /
• 한국멀티미디어학회 1998년도 추계학술발표논문집
• /
• pp.118-123
• /
• 1998

정형방법들은 명세와 설계 문제들에서 모호성, 불완전성, 그리고 불일치성을 보다 쉽게 발견하고 수정하기 위해 사용된다. Z 저형 명세 언어를 객체 지향 패러다임으로 기술하기 위하여, 클래스 기술에 대한 명확한 정의가 필요하다. 그리고 이를 증명할 수 있는 프로토타입이 필수적이다. Z 스키마의 숨김 연산자와 그의 확장인 논리 한정 연산자와 투사 연산자를 이용하여 클래스의 원리를 가지는 클래스 스키마를 유도하여 정의한다. 유도된 클래스 스키마가 상속성, 다형성, 캡슐화 등의 객체 지향 원리를 가지는가에 대한 증명하기 위한 프로토타입을 설계한다.

• 한국콘텐츠학회:학술대회논문집
• /
• 한국콘텐츠학회 2016년도 춘계 종합학술대회 논문집
• /
• pp.103-104
• /
• 2016

본 연구는 실시간 개인 방송에서 이뤄지는 담화의 상황을 통접, 이접, 연접이라는 질 들뢰즈의 개념으로 분석하고, 실시간 개인 방송에서 나타나는 시청자의 개입 행위와 그로 인해 끊임없이 변화를 거듭하는 방송의 진행 양상을 '특이점(point singulier)'과 '사건(${\acute{e}}v{\acute{e}}nement$)' 개념을 통해 분석했다. 구체적인 연구 대상으로는 아프리카TV의 <대도서관TV> 채널의 '24시간 연속 생방송'편을 선정했다. 본 연구는 국 내외적으로 산업적 규모가 확장되고 있으며, '방송의 개인화'를 불러오고 있는 MCN 방송 콘텐츠 중 실시간 개인 방송의 진행 원리와 그 미학적 함의를 도출했다는 점에서 의의를 지닌다.

• 의료법학
• /
• 제21권2호
• /
• pp.105-162
• /
• 2020

감염병의 팬데믹 상황 속에서, 국가의 방역 대책은 안보로서의 속성을 지니며, 공중보건과 공공의 이익의 이름으로 개인의 자유에 대한 일정한 제한이 정당화되어왔다. 2020년 3월, 대한민국 국회는 「감염병의 예방 및 관리에 관한 법률」 개정안을 통과시켰으며, 이를 통해 '감염의심자'의 검사 및 격리거부에 대한 처벌의 법적 근거를 신설하고 격리위반과 치료거부의 벌칙을 상향하였다. 본 논문에서는 국가가 개인의 자유를 제한하는 행위의 정당성 판별기준에 대한 자유주의 법철학의 논변과 원리들을 검토하고, 피해자임과 동시에 매개체로서의 속성을 지니는 감염병 환자(patient as victim and vector)에 대한 자유제한원리의 적용은 파인버그(Joel Feinberg)가 제시한 '스스로에 대한 해악(harm to self)'과 '타인에 대한 해악(harm to others)'이 중첩되는 지점에 있음을 개념화하였다. 파인버그가 제기한 자유제한원리(liberty-limiting principle)를 불확실성(uncertainty)을 지니는 팬데믹 상황에 적용하기 위해서는, 해악에서 리스크(risk)로 해악의 원리를 확장시킬 것이 요구된다. 이러한 해악에서 리스크로의 전환은, 불확실한 위기상황 하에서 국가가 사전주의 원칙(precautionary principle)을 통해 개인의 자유를 사전적으로 제한하는 것을 정당화함과 동시에, 충분한 근거 없이 개인의 행위를 처벌의 대상으로 삼는 과잉범죄화(overcriminalization)의 우려를 낳는다. 본 글에서는 리스크를 지닌 개인에 대한 사전적 자유제한을 둘러싼 사전주의의 원칙과 과잉범죄화의 우려 사이에서 균형을 이룰 수 있는 원칙들을 검토한다. 이어서 '타인에 대한 해악' 원칙이 공익과 공중보건 상황에 적용되기 위한 두 번째 확장으로, 인구집단 개념으로의 전환을 다룬다. 팬데믹과 같은 공중보건 위기 상황에서는 '개인'이 아닌 '인구집단'을 하나의 단위로 고려하는 인구집단 접근법(population approach)이 필요하며, 나아가 앞선 두 논의를 결합한 '인구집단에 대한 리스크(risk to population)'가 팬데믹 상황에서 해악의 원리의 중요한 구성요소로 고려되어야 함을 제안한다. 논문의 마지막에서는, 앞서 개념화한 '확장된 해악의 원리' 하에서 개정 「감염병의 예방 및 관리에 관한 법률」의 자유제한이 정당화될 수 있는지 검토한다. 격리위반 처벌조항은 '인구집단에 대한 리스크'에 대한 자유제한에 해당하여, 강제검사 또한 무증상 감염자라는 감염병의 특성에 의거하여 '확장된 해악의 원리'의 차원에서는 정당성이 부정되지 않음을 보일 수 있었다. 그러나 치료거부 처벌조항은 전통적 해악의 원리뿐만 아니라 '인구집단에 대한 리스크'라는 팬데믹의 특성을 고려한 '확장된 해악의 원리' 하에서도 정당화되기 어려우며, 추가적 단서조항을 포함하여야만 정당화 근거를 획득할 수 있을 것임을 논증하였다.

• 디자인학연구
• /
• 제12권2호
• /
• pp.89-95
• /
• 1999

컴퓨터 과학자인 카를로 세퀸(Carlo H. Sequin)은 '시각수학Visual Mathematics)'으로 묘사되어 논문지에 소개된 조각가 브렌트 콜린스(Brent Collins)의 오묘한 공간 구성의 조각품을 보게 되었고 그 구성의 근본적 논리성을 추론할 수 있었던 세퀸은 컴퓨터를 활용하여 간단 한 수치의 입력만으로 가상 모델링이 가능한 소프트웨어를 개발하여 콜린스에게 제공하게 되었다. 저널 레오나도(Leonardo)에 게재된 동반 논문을 통해 두 사람의 협력작업의 내용을 접하게 된 본 저자는 시각 특성과 모델링 전개 방식에서 유사성을 보이는 콜린스의 조각 작품과 본 저자의 애니메이션 작품의 모델링 과정을 이 논문에서 소개하고 있다. 모델링의 근 본적 모티브로 사용되어 그 물체의 주요한 시각적 특질로 제공되고 있는 수학적 특성을 탐구하고 있으며 콜린스의 경우에는 공간 왜곡을 본 저자의 경우에는 공간 분할을 근본 원리로 하여 확장이 전개되고 있는 '원리 확장적 모델링 방식'을 소개하고 있다. 기술과 과학의 발전과 함께 고양되어 온 '예술, 과학 그리고 기술(Arts, Sciences and Technology)'의 상호작용성과 같은 맥락에서 이 모델링 기법을 다양한 응용 가능성이 있는 연구 테마로 제시하고 있는 것이다.