• Title/Summary/Keyword: 1계논리

Search Result 51, Processing Time 0.028 seconds

Neural Theorem Prover with Word Embedding for Efficient Automatic Annotation (효율적인 자동 주석을 위한 단어 임베딩 인공 신경 정리 증명계 구축)

  • Yang, Wonsuk;Park, Hancheol;Park, Jong C.
    • Annual Conference on Human and Language Technology
    • /
    • 2016.10a
    • /
    • pp.79-84
    • /
    • 2016
  • 본 연구는 전문기관에서 생산되는 검증된 문서를 웹상의 수많은 검증되지 않은 문서에 자동 주석하여 신뢰도 향상 및 심화 정보를 자동으로 추가하는 시스템을 설계하는 것을 목표로 한다. 이를 위해 활용 가능한 시스템인 인공 신경 정리 증명계(neural theorem prover)가 대규모 말뭉치에 적용되지 않는다는 근본적인 문제를 해결하기 위해 내부 순환 모듈을 단어 임베딩 모듈로 교체하여 재구축 하였다. 학습 시간의 획기적인 감소를 입증하기 위해 국가암정보센터의 암 예방 및 실천에 대한 검증된 문서들에서 추출한 28,844개 명제를 위키피디아 암 관련 문서에서 추출한 7,844개 명제에 주석하는 사례를 통하여 기존의 시스템과 재구축한 시스템을 병렬 비교하였다. 동일한 환경에서 기존 시스템의 학습 시간이 553.8일로 추정된 것에 비해 재구축한 시스템은 93.1분 내로 학습이 완료되었다. 본 연구의 장점은 인공 신경 정리 증명계가 모듈화 가능한 비선형 시스템이기에 다른 선형 논리 및 자연언어 처리 모듈들과 병렬적으로 결합될 수 있음에도 현실 사례에 이를 적용 불가능하게 했던 학습 시간에 대한 문제를 해소했다는 점이다.

  • PDF

로터리 다이커터(1)

  • Eom, Gi-Jeung
    • Corrugated packaging logistics
    • /
    • s.77
    • /
    • pp.95-101
    • /
    • 2008
  • 이 매뉴얼에는 놀라운 기술적 비밀 또는 특허가 될 만한 정보가 있는 것은 아니다. 대부분의 정보는 골판지 산업계 내에서 수십년 동안 존재해왔던 것들이다. 이 메뉴얼은 단지 현재 존재하고 있는 이런 정보들을 군에서 사용되는 유지관리 시스템에 맞추어 하나의 논리적인 형식으로 압축한 것에 지나지 않는다. 하지만 이 매뉴얼이 나오기 까지 물신양면으로 도움을 주신 몇몇 분들에게 감사를 전하고자 한다. 첫 번째로 미육군에 감사하고 싶다. 유지관리 초년장교로서 나는 심지어 가장 오래된 골동품인 1959년형 2.5톤 트럭조차도 수 십년간 최적의 수준으로 달리게 만드는 미육군의 매우 조직적이고 단순한 유지관리 시스템을 보고 매우 놀랐었다. 이 매뉴얼 안에 있는 조직적인 틀은 그러한 경험의 산물이다. 나에게 많은 훈련을 시켜 주었고 정보를 준 웨스트베코사(Westvaco Corporation)의 짐버트(Jim Burt)에게 감사하지 않을 수 없다. 이 책에 소개되어 있고 현재 골판지 산업계에서 사용되는 조정에 관한 대부분의 정보는 스톤 컨테이너사(Stone container corporation)의 던드래쥐(Don Drage)의 공이 크다. 이외의 정보는 종이판지 포장잡지(Paperboard packaging magazine)의 에드릴레이(Ed Riley)와 같은 지도자에 의해 쓰여진 기사들에서 얻어진 것이다. L.A. 사우어사(L.A. Saur Corporation)와 같은 장비와 부품회사들 또한 그들 전문분야에서의 가장 최신의 정보를 제공해 주었음을 밝히는 바이다.

  • PDF

Neural Theorem Prover with Word Embedding for Efficient Automatic Annotation (효율적인 자동 주석을 위한 단어 임베딩 인공 신경 정리 증명계 구축)

  • Yang, Wonsuk;Park, Hancheol;Park, Jong C.
    • Journal of KIISE
    • /
    • v.44 no.4
    • /
    • pp.399-410
    • /
    • 2017
  • We present a system that automatically annotates unverified Web sentences with information from credible sources. The system turns to neural theorem proving for an annotating task for cancer related Wikipedia data (1,486 propositions) with Korean National Cancer Center data (19,304 propositions). By switching the recursive module in a neural theorem prover to a word embedding module, we overcome the fundamental problem of tremendous learning time. Within the identical environment, the original neural theorem prover was estimated to spend 233.9 days of learning time. In contrast, the revised neural theorem prover took only 102.1 minutes of learning time. We demonstrated that a neural theorem prover, which encodes a proposition in a tensor, includes a classic theorem prover for exact match and enables end-to-end differentiable logic for analogous words.

Development and Effect of STEAM Program Using Analogy : Focused on the Instructional Unit of 'Solar System' in Middle School (비유를 활용한 STEAM 프로그램 개발 및 효과 : 중학교 '태양계' 단원을 중심으로)

  • Han, Shin;Kim, Hyoungbum;Kim, Yong-Ki;Song, Ha-Myung
    • Journal of the Korean Society of Earth Science Education
    • /
    • v.13 no.1
    • /
    • pp.15-28
    • /
    • 2020
  • This study aimed to develop an HTE (It is an abbreviation for Here, There, and Everywhere) STEAM program combining with the use of an analogy in a middle school subject unit 'the solar system' and realize creative education for intelligent information society through a process of verifying the effectiveness of the program. For reference, the program was applied to 354 students in the first grade of two middle schools in South Korea - one was A middle school in Sejong City, the other B middle school in Pyeongtaek City. The STEAM program was revised and made up for the weak points for three times by a group of experts, and then it got verified for validity. The final version of the program was applied to middle school education sites in Korea for six periods in total. In other to confirm the effectiveness, two types of tests - logical thinking ability test and STEAM attitude test - were conducted before and after the program treatment. On top of that, the STEAM satisfaction test was also implemented in order to explore the students' recognition of the program after the program treatment. The results of this study were as follows. First, it turned out the STEAM program using the analogy was effective in improving the students' logical thinking ability. Second, the STEAM program blended with the analogy was also effective in improving the students' STEAM attitude. Third, the students' recognition of the STEAM program using the analogy was quite positive, and the program was efficacious in intriguing the students' interests in science. Judging from the results of the program, the students' satisfaction with the classes they take will be expected to be higher if the STEAM program is implemented in the next-term classes with more sufficient time.

A Study of Architecture for national Intelligent Transportation Systems (Methodology and Model) (국가 지능형 교통체계를 위한 아키텍쳐 연구 (모형 및 방법론))

  • 백인섭;이승환;이시복
    • Journal of Korean Society of Transportation
    • /
    • v.19 no.6
    • /
    • pp.19-31
    • /
    • 2001
  • In this paper, 3 layered architecture model and related design guidelines are proposed, which have been actually applied in our national ITS-Architecture design. The domain architecture as the 1st layer is to structure all ITS related domains for maximizing the co-operability in national level. The logical architecture as the 2nd layer is to structure all ITS related application-systems for minimizing duplications, conflicts and dead-zones in service level and maximizing the co-operability in application-system level. The physical architecture as the 3rd layer is to structure all IT(Information Technology) related physical resources for maximizing.

  • PDF

Communication and data processing strategy for the electromagnetic wave precipitation gauge system (전파강수계 시스템의 통신 및 자료처리 전략 개발)

  • Lee, Jeong Deok;Kim, Minwook;Park, Yeon Gu
    • Journal of Satellite, Information and Communications
    • /
    • v.12 no.4
    • /
    • pp.62-66
    • /
    • 2017
  • In this paper, we present the development of communication and data processing strategy for the electromagnetic wave precipitation gauge system. The electromagnetic wave precipitation gauge system is a small system for deriving area rainfall rates within 1 km radius through dual polarization radar observation at 24GHz band. It is necessary to take consider for measurement of accurate precipitation under limited computing resources originating from small systems and to minimize the use of network for the unattended operation and remote management. To overcome computational resource limitations, we adopted the fuzzy logic for quality control to eliminate non-precipitation echoes and developed the method by weighted synthesis of various rain rate fields using multiple radar QPE formulas. Also we have designed variable data packets rules to minimize the network traffic.

현장 기술자를 위한 소형 PC에 의한 시퀀스 제어(1)

  • 한국전력기술인협회
    • Electric Engineers Magazine
    • /
    • s.161
    • /
    • pp.40-43
    • /
    • 1996
  • 프로그래머블 컨트롤러(PC)라고 하는 제어장치가 1970년대말부터 급격하게 사용되기 시작된 것은 주지하는 바와 같다. 그후 어느 조사에 의하면 PC의 연간 신장률이 $30\~40\%$나 됐다고 한다. 본고는 앞으로 1년간에 걸쳐 (1) 종래 전자 릴레이 시퀀스 제어기술 영역의 업무에 종사해 왔지만 PC와 접하지 않으면 안되게 된 사람과 (2) 새로 학교나 직업훈련소를 나와 앞으로 PC를 취급하는 직장에 종사하게 된 사람들을 대상으로 연재를 시작하는 것이므로 시퀀스 제어의 동작, 회로, 회로도를 보는 방법, 그리는 방법에 대해서 일단의 지식과 경험이 있어야 하는 것이 전제조건이 된다. 본 연재는 종래의 시퀀스 제어회로를 PC의 프로그램으로 표현하려면 어떻게 생각하면 되는가를 중심으로 완결된 프로그램을 들어 기술한다. 즉, 지금까지 전선으로 릴레이간을 배선하여 제어회로를 작성하고 있던 것을 PC의 프로그램으로 만드는(이것을 소프트 와이어드라고도 한다) 방법이 설명되고 있다. PC 프로그램 작성은 용이성이 필요 조건이 된다. 이를 위해 본고에서는 명령의 수를 제한하고 프로그램의 논리구조가 명확해지는 방법을 사용하였다. 본 연재는 앞에서 언급한 바와 같이 소형 PC를 릴레이 대신 사용하는 방법에 대해서 기술하는 것으로서, 시퀀스 제어계의 설계에 관해서는 취급하고 있지 않다. 그것은 별차원의 것이기 때문이다. 그러나 PC로 시퀀스 제어회로를 간단히 작성하게 되면 다음은 회로를 어떻게 해서 만드는가 또는 회로를 만드는 것이 아니고 기계의 움직임을 그대로 표현하고 그것을 프로그램으로 하는 것같은 이른바 설계법으로 PC의 과제가 이동해 하는 것은 확실하다. 소프트 와이어드화의 힘이 붙으면 다음은 시퀀스 제어계의 동작 표현법, 설계법으로 흥미가 옮겨 가게 된다. 본고가 이것으로의 교량역할이 된다면 다행이겠다.

  • PDF

Sangje and Samkye: The Cosmology of Daesoonjinrihoe in East Asian New Religions (상제와 삼계: 대순진리회의 우주론과 동아시아신종교)

  • Kim, David W.
    • Journal of the Daesoon Academy of Sciences
    • /
    • v.25_1
    • /
    • pp.189-229
    • /
    • 2015
  • 동아시아의 19세기는 근대화 물결 안에서 변화의 시대였다. 중국, 한국, 일본은 식민지적 압박가운데 정치적 위기를 대면하였고 선진 문물과 기독교는 사회, 문화, 종교, 사상의 변화를 가져왔다. 신종교운동도 각 나라에서 다양한 형태와 철학으로 등장하였다. 이들의 근본적인 사상은 일반적으로 불교, 유교, 도교, 신교, 샤머니즘과 연관되어 있었다. 근대한국이 정치적 혼란을 겪을 때 여러 신종교들이 1860년을 전후로 나타났다. 나중에 천도교가 된 동학, 증산계, 대종교, 원불교 가운데 증산계 계통의 대순진리회는 사회-종교적인 영향력 차원에서 한국에서 가장 성공적인 신종교 운동이다. 그들은 상제가 스스로 구천에서 혼탁한 삼계를 회복하기 위해 직적 내려왔음을 따르고 있다. 그렇다면, 구천상제에 대한 가르침이 어떻게 이해되고 있을까? 대순진리회의 근본적인 우주관은 무엇일까? 또, 이것이 일본의 유명한 천리교와 중국(대만)의 대규모 일관도와 어떻게 구분될까? 이 논문은 청계탑의 상직적인 콘셉트 안에서 대순의 상제관과 우주관의 관계를 이해하고자 대순의 경전격인 전경, 현무경, 예화들인 심우도, 사신도, 12지신도 등을 탐구할 것이면 이 한국의 대표적인 신종교의 우주관을 천지공사와 후천의 가르침과 연관하여 논리적으로 접근해석 할 것이다.

A Study on the Effects of Operating Systems Platform Characteristics on the Network Effect and Intention to Use Operating Systems (운영체제 플랫폼 특성이 네트워크 효과와 운영체제 사용의도에 미치는 영향에 관한 연구)

  • Jeong, Tae-Seok;Lee, Sang-Hyun;Yim, Myung-Seong
    • Journal of Digital Convergence
    • /
    • v.12 no.1
    • /
    • pp.37-50
    • /
    • 2014
  • The purpose of this research is to look upon the smartphone market from the perspective of business ecosystems and to extract the critical success factors of OS platforms. Furthermore, this research aims to verify the effect of those factors on increasing utility resulting from the rising number of users as well as on intention of use. In order to do this, OS compatibility and OS upgradability were presented as the major characteristics of OS platforms and a logical causal relationship between network effect and intention to use which shows the increase of utility according to the number of users was established which was then followed by an empirical analysis. The results of the research showed that OS compatibility and OS upgradability both had positive effects on network effect and intention to use. By presenting the characteristics of OS platforms, a subject which has lacked pervious empirical studies, and establishing a logical causal relationship for the role platform characteristics play in the formation of business ecosystem in the smartphone market, it is expected that the findings of this research will contribute greatly not only academically but also in practical applications.

담배자판기, 신규설치 금지 및 철거 규제안 철회되다

  • 한국자동판매기공업협회
    • Vending industry
    • /
    • v.2 no.5 s.6
    • /
    • pp.56-62
    • /
    • 2002
  • 담배자판기의 신규설치를 금지하고 기존 설치된 자판기마저 전면철거하도록 하는 보건복지부의 초강력 규제안이 마침내 철회가 되게 되었다. 보건복지부는 올 들어 확대되는 금연정책에 편승, 기존 흡연 구역 내 담배자판기 신규설치를 금지하고, 기존 설치된 제품들마저 전면철거하는 규제를 담은 국민건강증진법 시행령 개정안을 지난 4월 공고하며 그 입법추진을 진행한 바 있다. 이 공고안은 그간 국무총리실 산하 규제개혁위원회 분과위원회에 상정되어 1,2차 심의를 진행해 오다 지난 9월 27일 본회의를 통해 '보건복지부의 흡연구역 내 담배자판기 신규설치 금지 및 기존 자판기 철거는 명백히 영업활동 자유 및 재산권 침해에 해당된다.'는 이유로 이를 철회토록 하는 결정을 진행했다. 이 결정을 담은 국민건강증진법 개정안은 조만간 법제처 심사 및 차관회의 등을 거쳐 최종 확정 되게 된다. 이같은 규제개혁위원회의 결정은 협회를 중심으로 한 산업의 적극적인 대응이 있었기에 가능했다. 성인인증장치 도입을 통해 청소년 흡연문제를 완전, 해결하겠다는 산업계의 적극적인 자율대책에도 불구하고 아예 담배자판기를 뿌리 채 뽑겠다는 보건복지부의 행정만능주의적인 발상은 도저히 수용하지 못할 부당한 처사라는 데 관련업계가 인식을 같이 했다. 따라서 이를 반대하는 산업계 입장을 분명히 하며 분명히 하며 적극적인 저지 대응을 최근까지 진행해 왔다. 협회에서는 1차적으로 보건복지부 건강증진과에 담배자판기 전면철거에 대한 산업계 반대 입장을 피력하는 소견서 제출하고 적극적인 산업계의 반대의지를 피력하는 작업을 진행했다. 또한 청소년보호위원회를 통해 청소년 흡연감소를 위한 성인인증 담배자판기 설치 활용방안 건의하며 담배자판기의 긍정적인 활용측면을 집중 부각시키기도 했다. 재정경제부를 통해서는 담배사업법 관련 담배자판기 설치기준에 대한 질의를 통해 현행 관련법 내에서의 설치기준을 명확히 하기도 했다. 이같은 대응에 있어서의 핵심 설득 논리는 담배자판기가 이제는 성인인증장치 부착을 통해 청소년 및 사회적 위해 요인을 극소화 할 수 있다는 점에 있었다. 과거와는 달리 담배자판기가 오히려 청소년의 담배 구입루트 차단이라는 긍정적 역할을 할 수 있는 시점에 있어 이를 전면규제하기보다는 합법적인 설치 환경을 확보하여 사회적으로 떳떳하게 존재가치를 평가받을 수 있게 해달라는게 산업계의 초지일관의 주장이었던 것. 협회는 이같은 주장이 결코 산업계의 이기만이 아니라 세계적인 추세라는 점, 또 담배자판기를 전면철거까지 하면서 과당규제를 할 명분이 부족하다는 점을 반대논리로 적극 내세웠다. 규제개혁위원회가 이번 공공 이용시설 중 흡연구역으로 지정된 장소 내에 담배자판기는 설치 금지 및 철거규제에 철회권고를 내리게 된 것은 이러한 산업계의 주장을 적극 수용함에 힘입은 바 크다. 규제개혁위원회는 이번 결정의 주된 이유로 우선 기설치된 자판기에 대한 철거는 재산권 침해로 위헌 소지가 있음을 들고 있다. 또한 흡연자를 위한 흡연구역내에서마저 자판기 설치를 금지하는 등의 규제는 과도하며 흡연자의 권익보호 역시도 필요함을 인정하고 있다. 따라서 전면적인 규제보다는 청소년 이용통제 가능한 흡연구역에 한하여 담배자판기를 설치토록한 현행규정의 실질적 관리를 강화하며, 전체적으로 흡연구역을 축소 제한하는 방향으로 추진함이 바람직하다는 의견을 제시했다. 규제개혁위원회의 이번 결정으로 흡연구역 내 담배자판기의 설치는 현행법의 적용을 받게 되며, 산업계의 자율대책대로 성인인증 장치를 부착한 담배자판기의 설치 확대가 크게 촉발될 수 있을 것으로 기대된다. 담배자판기가 적극적이고 능동적인 사회적 역할을 할 수 있을 때 자연 이를 반대할 수 있는 명분도 약해질 수 밖에 없다. 산업계는 보다 신뢰성 있게 청소년 이용을 차단할 수 있는 담배자판기 관련 기술 수준을 향상시켜야 할 것이며, 협회에서는 담배자판기의 공공성과 역할에 대한 지속적인 계몽 홍보를 통해 소비자 인식을 고양시켜 나갈 수 있게 해야 할 것이다. 비록 전면 규제 완화가 어렵고 힘든 길이기는 하지만 소비자에게 신뢰성을 부여하고 청소년의 담배 구입 루트 차단에 혁혁한 역할을 다할 수 있게 된다면 그 입지기반을 재평가 받을 수 있게 될 것이다. 담배자판기의 내일은 이제 암울함이 아닌 서서히 희망을 비치는 쪽으로 급선회되고 있다.

  • PDF