• 제목/요약/키워드: logic language

검색결과 359건 처리시간 0.025초

한국의 원자력정책을 둘러싼 기술과 정치의 충돌 (Collision between Technology and Politics in Korea's Nuclear Policy)

  • 홍정진;원병출
    • 과학기술학연구
    • /
    • 제2권1호
    • /
    • pp.135-156
    • /
    • 2002
  • 기술을 보는 입장은 기술 자체의 논리와 추동력을 인정하는 자율적 기술론과 기술을 정치적 선택의 산물로 간주하는 사회결정론으로 크게 구분된다. 전자(기술의 지배)는 우리 사회를 기술의 언어로 읽고, 후자(정치의 지배)는 우리의 기술을 사회의 언어로 읽는다. 이 글에서는 우리나라의 원자력 정책, 특히 방사성폐기물 처분 정책을 둘러싸고 형성된 정부와 환경단체의 대립관계는 자율적 기술론자(기술)와 사회 결정론자(정치)의 충돌이 반영된 것이라고 분석한다. 그리고 이 충돌은 겉으로는 합리성, 윤리성, 경제성 등의 측면에서 발생하지만, 심층적으로는 기술이 파생시킨 문제의 해결수단에 대한 충돌이라고 주장한다. 또한, 불가피한 양자의 충돌을 피하기 위해서는 기술과 정치의 상호작용 이론에 근거한 접근방식이 한가지 대안이 될 수 있음을 제안한다. 그리고 이러한 접근방식의 토대가 되는 기술의 정치적 속성과 통제 가능성에 대한 폭넓은 이해를 요청한다. 끝으로 우리나라 원자력 이용의 미래 모습이라고 할 수 있는 프랑스(원자력 이용 확대)와 독일(원자력 이용 축소)의 사례를 제시하였다.

  • PDF

GML과 벡터 그래픽 기반의 GML 문서 편집 및 변환 시스템 (GML document editing and translation system based on GML and vector graphic)

  • 김창수;조용순;조태범;방진숙;정회경
    • 한국정보통신학회:학술대회논문집
    • /
    • 한국해양정보통신학회 2009년도 춘계학술대회
    • /
    • pp.645-648
    • /
    • 2009
  • 정보기술의 발달과 인터넷의 보편화에 따라 지리정보의 활용분야가 다양해지고 지리 정보를 효율적으로 관리하기 위해 다양한 지리정보 시스템(GIS : Geographic Information System)이 구축되었다. 하지만 다양한 형태의 지리정보 데이터는 서로 표준화 되지 않아 다양한 형태의 그래픽 저작도구에 의존하고 있다. 이에 OGC(Open Geospatial Consortium)는 상호운용 가능한 표준화된 지리정보 데이터를 기술하는 GML(Geography Markup Language)을 제안하였고 W3C에서는 벡터 기반의 SVG(Scalable Vector Graphics)를 제안하였다. 본 논문에서는 지리정보 데이터처리를 위한 XML 기반의 GML 데이터를 벡터 그래픽 객체로 생성하고 그래픽 객체들을 통해 GML 문서를 생성하는 코드 변환기를 정의하여 벡터 그래픽을 XML 기반의 논리구조로 변환하는 GML 문서 편집 및 변환 시스템을 설계 및 구현하였다.

  • PDF

한국대학교에서 유학중인 외국인 학생들의 학습동기 : 경제, 언어, 문화, 인성 발달을 중심으로 (Motivations for International Students to Study Abroad at Korean Universities: Economics, Language, Culture, and Personal Development)

  • 로드 페더슨
    • 비교문화연구
    • /
    • 제51권
    • /
    • pp.103-131
    • /
    • 2018
  • 본 연구는 한국의 대학교에서 유학하고 있는 외국인 유학생들의 동기에 대해서 조사하고자 한다. 질적연구방법과 혼합연구방법을 사용한 본 연구는 6개 과목의 학습 본질을 설명할 수 있는 학생 인터뷰, 에세이, 디지털 스토리텔링 비디오 및 학생 제작 동영상으로부터 얻은 데이터를 근거이론(grounded theory)을 통해 분석하였다. 모든 과목은 2014학년부터 2017학년까지 영어교육 과정에 등록되었다. 본 연구자는 이 과정의 교수자였다. 데이터 분석에서 나타난 주요 범주가 경제력, 문화, 언어학습 및 자기개발이었다는 것이 본 연구의 결과에서 나타났으며, 외국인 유학생의 동기에 관한 대부분의 연구문헌의 결과를 입증한다(OUSO, 2015). 그러나 본 연구와 문헌에서 제시된 동기의 범주가 본질적으로 담론적(discursive)이었다는 것을 전문 문헌과 연구 데이터의 조사가 보여주는데 그 이유는 각 범주가 다른 모든 범주와 연관되어 있을 뿐만 아니라 서로 상호구성주의적(co-constructive)이기 때문이다. 이와 같이 본 연구가 시사하는 바는 유학 관련 문헌에서 발견된 동기의 범주가 본질적으로 담론적이라는 것이며, 이는 부르디외의 경제, 사회 및 문화 자본론(1991)과 유사하다. 본 연구의 결과는 유학의 다양한 동기가 비용과 경력 개발이라는 경제 논리하에 존재한다는 것을 시사한다.

1798년 『서정민요집』의 저자의 기능과 시적 실험 (The Function of the Author and the Poetic Experiments in Lyrical Ballads of 1798)

  • 주혁규
    • 영어영문학
    • /
    • 제56권5호
    • /
    • pp.973-998
    • /
    • 2010
  • This paper aims at assessing the significance of Lyrical Ballads of 1798, the agreed inaugurator of English Romanticism, in terms of such key concepts as poetic "experiments," "conversation," and the authorial function. The 1798 volume marks an interesting incidence in which an author with no tangible substantiality can wield his authorial function over his works. The volume is signed without the named proper noun-its author is neither William Wordsworth nor Samuel Taylor Coleridge. The figure of the author in this case is realized by the poems he writes; he produces, and is produced by, his works-a fact that constitutes part of the poetic experiments manifested in the Advertisement. Working under this reciprocal production, the Author of the 1798 volume and his poems are collectively aiming at establishing a new class of poetry and an interpretive community. The notion of "conversation" is a key element in the thematic, stylistic ties among individual poems. Poems of the 1798 volume effect multi-layered, "blended" voices. Readers are expected to draw out the topological interweaving among poems through the practices of dialogic reading. In this light, the sequential necessity of "The Rime" and "Tintern Abbey" should be emphasized. They are stitched together in a logic of textual placement and the transition from one to the other is never arbitrary. Most of all, they are working under the same authorial function, complementing each other, and addressing the same poetic project in different textual locations. As an inaugural work of English Romanticism, Lyrical Ballads of 1798 in fact makes so many things happen and yet again anticipates something yet to come with elusiveness. The value of this poetic experiments should be judged not only by what is claimed in it, but what it sets out to do and "how far" it will be performed, as implied in the Advertisement. The efficacy of the volume, more than anything else, is dependent upon the performative power of words.

모더니즘의 일탈 -에드나 세인트 빈센 밀레이의 카르페 디엠 전통 다시 쓰기 (Displacement of Modernism: Edna St. Vincent Millay's Rewriting Carpe Diem Tradition)

  • 박주영
    • 영어영문학
    • /
    • 제56권5호
    • /
    • pp.797-821
    • /
    • 2010
  • This paper aims to explore how Millay's love sonnets rewrite the carpe diem tradition in the complicated ways. This paper redirects critical attention away from Millay's individual experience and inner self toward the scene of literary history, suggesting that there may be more historical consciousness in Millay's sentimental and feminine "gesture." Rewriting the carpe diem tradition, Millay's sonnets reveal an awareness of the dependence of the carpe diem poems' discursive logic on the woman's coyness, its inability to accomplish its triumph over woman or time (death) without her posited reluctance. Contrary to Andrew Marvel's "To His Coy Mistress," the speakers of Millay's sonnets could never be accused of the sexual coyness; they are outspoken in their defiance of both death and lovers whose possessiveness resembles death's embrace. Moreover, as Stacy Carson Hubbard points out, by converting female sexual experience from its status as a onetime closural event to repeatable one, hence an opportunity for the general and emotional irritability productive of narrative, Millay seizes for the woman the power of "dilation" in both its sexual and its verbal forms. Furthermore, this paper argues that the woman's sex no longer invites analogies to things secret and sealed, preserved or ruined in Millay's sonnets. The woman's promiscuity implies a rejection of monumentalizing love, as well as a refusal of the fixing inherent in the carpe diem's fearful invocation of the movement of time. Throughout the love sonnets, the speaker's sexualized body produces nothing but ephemera. For Millay, this body spends its powers in hopes of having them, and the force of this spending is a perpetual and willful forgetting, which makes possible the repetition of love's story. Ultimately, Milly disturbs our critical categories by rendering permeable boundaries between modern literature and dead form of classic literature, the female speaker and male speaker.

배중률을 둘러싼 구성주의의 두 입장 비교 (A Comparing Study of Two Constructivisms on L.E.M.)

  • 오채환;강옥기;이상욱
    • 한국수학사학회지
    • /
    • 제24권4호
    • /
    • pp.45-59
    • /
    • 2011
  • 20세기 초반에 등장한 수학기초론의 주류 세 학파 (직관주의 논리주의 형식주의)는 상호 대립관계를 보인다. 큰 틀에서 볼 때, 논리주의는 프레게를 계승하는 입장이다. 이와 대립관계의 기초론 중 하나인 직관주의는 구성주의 수학철학의 주축으로 평가된다. 그리고 직관주의가 터를 닦은 구성주의 수학철학을 후속 개진시킨 주역은 의미론적 반실 재론을 주창한 마이클 더밋이다. 따라서 외형상으로는 더밋이 직관주의를 계승하는 후계세대처럼 여겨질 수 있지만 그의 철학적 기반은 분명 프레게이다. 더밋이 논리주의가 아닌 직관주의 계열에 합류한 사실의 속내는 구성주의 내부의 두 입장 (즉, 직관주의와 반실재론) 이 보이는 배중률을 둘러싼 태도의 드러난 일치뿐만 아니라 가려진 차이까지 헤아려질 때 해명될 수 있다고 본다. 본고는 이런 해명을 통해 구성주의 수학철학에 대한 이해도 한층 더할 수 있다는 판단에 따른 제안적 노력이다.

FPGA를 이용한 유도 전동기의 디지털 전류 제어 시스템 구현 (Implementation of the Digital Current Control System for an Induction Motor Using FPGA)

  • 양오
    • 전자공학회논문지C
    • /
    • 제35C권11호
    • /
    • pp.21-30
    • /
    • 1998
  • 본 논문에서는 FPGA를 이용하여 산업용 구동장치로 널리 사용되고 있는 유도 전동기의 디지털 전류 제어시스템을 구현하였다. 이를 위해 VHDL을 이용하여 FPGA를 설계하였으며 이 FPGA는 PWM 발생부, PWM 보호부, 회전속도 검출부, 프로그램 폭주 방지부, 인터럽트 발생부, 디코더 로직부, 신호 지연 발생부 및 디지털 입·출력부로 각각 구성되어있다. 본 FPGA의 설계시 고속처리의 문제점을 해결하기 위해 클럭전용핀을 활용하였으며 또한 40 MHz에서도 동작할 수 있는 삼각파를 만들기 위해 업다운 카운터와 래치부를 병렬 처리함으로써 고속화하였다. 특히 삼각파와 각종 레지스터를 비교 연산할 때 많은 팬아웃 문제에 따른 게이트 지연(gate delay) 요소를 줄이기 위해 병렬 카운터를 두어 고속화를 실현하였다. 아울러 삼각파의 진폭과 주파수 및 PWM 파형의 데드 타임 등을 소프트웨어적으로 가변 하도록 하였다. 이와 같은 기능들을 FPGA로 구현하기 위하여 퀵로직(Quick Logic)사의 pASIC 2 SpDE와 Synplify-Lite 합성툴을 이용하여 로직을 합성하였다. 또한 Verilog HDL 환경에서 최악의 상황들(worst cases)에 대한 최종 시뮬레이션이 성공적으로 수행되었다. 아울러 구현된 FPGA를 84핀 PLCC 형태의 FPGA로 프로그래밍 한 후 3상 유도전동기의 디지털 전류 제어 시스템에 적용하였다. 이를 위해 DSP(TMS320C31-40 MHz)와 FPGA, A/D 변환기 및 전류 변환기(Hall CT) 등을 이용하여 3상 유도 전동기의 디지털 전류 제어 시스템을 구성하였으며, 디지털 전류 제어의 효용성을 실험을 통해 확인하였다.

  • PDF

FPGA를 이용한 다채널 비동기 통신용 IC 설계 (The Design of Multi-channel Asynchronous Communication IC Using FPGA)

  • 옥승규;양오
    • 대한전자공학회논문지SD
    • /
    • 제47권1호
    • /
    • pp.28-37
    • /
    • 2010
  • 본 논문에서는 FPGA와 VHDL을 이용하여 다채널 비동기 통신용 IC를 설계하였다. 기존에 상용되고 있는 대부분의 비동기 통신용 IC들은 최대 1~2채널(Channel)로 구성되어 있다. 따라서 2채널 이상의 통신 시스템을 구성할 때 원가가 높아지고 구현하기도 복잡해진다. 그리고 매우 적은 송수신 버퍼(Buffer)를 가지고 있으므로 고속으로 대용량의 데이터를 전송할 경우 마이크로프로세서에 걸리는 부하가 많아지게 된다. 이러한 문제를 해결하기 위해 본 논문에서는 비동기 통신 채널 8개를 단 한개의 IC로 설계하여 원가 절감 및 기능과 성능을 향상 시키도록 설계하였으며, 송수신 버퍼의 크기를 각각 256 바이트로 설계함으로써 고속의 통신을 가능하게 하였다. 또한 통신시 오동작을 방지하기 위해 디지털(Digital) 필터 및 첵섬(Check-sum) 로직을 설계하여 신뢰성을 향상시켰으며, 채널 먹스 로직을 설계하여 각 채널별 입/출력을 자유롭게 선택하도록 하여 통신 채널에 대한 입/출력 포트를 유연하게 사용할 수 있도록 설계하였다. 이와 같이 설계된 다채널 비동기 통신 IC를 ALTERA사의 Cyclone II Series EP2C35F672C8과 QuartusII V8.1을 이용하여 로직을 합성 및 시뮬레이션 하였다. QuartusII 시뮬레이션과 실험에서 성공적으로 수행되었으며, 설계된 IC의 우수성을 보이기 위해 비동기 통신 칩으로 많이 사용되고 있는 TI(Texas Instruments)사의 TL16C550A, ATMEL사의 ATmega128 범용 마이크로 콘트롤러와 수행시간 및 성능을 비교하여 본 논문에서 설계된 다채널 비동기 통신용 IC의 우수함을 확인하였다.

지능적 에이전트에 의한 실시간 소프트웨어 PLC 편집기 및 실행엔진 개발 (Development of an Editor and Howling Engine for Realtime Software Programmable Logic Controller based on Intelligent Agents)

  • 조영임
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제32권12호
    • /
    • pp.1271-1282
    • /
    • 2005
  • PC-based control은 현재 제어분야에서 비약적 발전을 하고 있으나 일반 사용자들이 PC에서 PLC 프로그래밍하기에는 어렵다는 단점이 있다. 따라서 본 논문은 국제 PLC 표준언어로 제정된 5가지 언어 중 $90\%$이상 사용하는 LD언어에 대한 표준규격을 연구하고, 이것을 중간코드인 IL(Instruction List) 언어로 변환하고 기존 상용화된 편집기(Visual C++)에서 활용 가능한 표준 C코드로 변환함으로써 LD에 익숙한 사용자나 고급언어에 익숙한 사용자 모두 사용할 수 있는 편집기 및 실행엔진 기능을 갖춘 지능적 에이전트 기반의 통합 시스템 ISPLC(Intelligent Agent System based Software Programmable Logic Controller)를 개발하였다. ISPLC에서는 LD에서보다 C에서 논리오류 검출기능이 훨씬 용이하며, GUI기반 인터페이스를 제공하며 에이전트에 의한 프로그래밍 코드를 제공하므로 가독성이 높다. 이러한 LD->H->C로의 코드변환체제에 관한 연구는 국내외적으로 처음 시도되는 연구이다. ISPLC를 실제 실시간 교통량 제어 시스템(Real Time Traffic Control System)에 적용하여 현장 적응성이 우수한 실행엔진을 개발하여 시뮬레이션 하였으며, ISPLC는 오류검색 뿐 아니라 프로그래밍 시간을 매우 단축시켜줌을 알 수 있었다.

The Application of Fuzzy Logic to Assess the Performance of Participants and Components of Building Information Modeling

  • Wang, Bohan;Yang, Jin;Tan, Adrian;Tan, Fabian Hadipriono;Parke, Michael
    • Journal of Construction Engineering and Project Management
    • /
    • 제8권4호
    • /
    • pp.1-24
    • /
    • 2018
  • In the last decade, the use of Building Information Modeling (BIM) as a new technology has been applied with traditional Computer-aided design implementations in an increasing number of architecture, engineering, and construction projects and applications. Its employment alongside construction management, can be a valuable tool in helping move these activities and projects forward in a more efficient and time-effective manner. The traditional stakeholders, i.e., Owner, A/E and the Contractor are involved in this BIM system that is used in almost every activity of construction projects, such as design, cost estimate and scheduling. This article extracts major features of the application of BIM from perspective of participating BIM components, along with the different phrases, and applies to them a logistic analysis using a fuzzy performance tree, quantifying these phrases to judge the effectiveness of the BIM techniques employed. That is to say, these fuzzy performance trees with fuzzy logic concepts can properly translate the linguistic rating into numeric expressions, and are thus employed in evaluating the influence of BIM applications as a mathematical process. The rotational fuzzy models are used to represent the membership functions of the performance values and their corresponding weights. Illustrations of the use of this fuzzy BIM performance tree are presented in the study for the uninitiated users. The results of these processes are an evaluation of BIM project performance as highly positive. The quantification of the performance ratings for the individual factors is a significant contributor to this assessment, capable of parsing vernacular language into numerical data for a more accurate and precise use in performance analysis. It is hoped that fuzzy performance trees and fuzzy set analysis can be used as a tool for the quality and risk analysis for other construction techniques in the future. Baldwin's rotational models are used to represent the membership functions of the fuzzy sets. Three scenarios are presented using fuzzy MEAN, AND and OR gates from the lowest to intermediate levels of the tree, and fuzzy SUM gate to relate the intermediate level to the top component of the tree, i.e., BIM application final performance. The use of fuzzy MEAN for lower levels and fuzzy SUM gates to reach the top level suggests the most realistic and accurate results. The methodology (fuzzy performance tree) described in this paper is appropriate to implement in today's construction industry when limited objective data is presented and it is heavily relied on experts' subjective judgment.