• 제목/요약/키워드: proposition system

검색결과 144건 처리시간 0.026초

Are scientific capacities and industrial funding critical for universities' knowledgetransfer activities? - A case study of South Korea

  • Kwon, Ki-Seok
    • Journal of Contemporary Eastern Asia
    • /
    • 제10권1호
    • /
    • pp.15-23
    • /
    • 2011
  • This study focuses on the knowledge-transfer activities of Korean universities at the organisational level. Considering the idiosyncratic characteristics of the Korean university system, as well as those of universities in other recently developed Asian countries experienced a rapid economic catch-up, this study is more interested in the relationship between the scientific capacity of universities and their knowledge-transfer activities, and between universities' funding sources and their knowledge-transfer activities. According to the results of the study, scientific capacity in a specific discipline, such as engineering, is important for universities in both other developed countries and in Korea, while scientific capacity (regardless of the discipline) is apparently not important for Korean universities, particularly in the area of domestic publication. Furthermore, this result supports the proposition suggested that strategically chosen industrial sectors in rapid catch-up countries are closely related to the scientific capacity of universities in specific disciplines. In terms of funding sources, the amount of funding from industry is strongly related to the knowledge-transfer activities of universities, whereas the proportion of funding from industry relative to the total amount of funding is not as significantly related to knowledge-transfer activities. The failure to identify a significant relationship between central government funding and knowledge-transfer activities may be due to less strict requirements for commercialisation in central government R&D programmes. Otherwise, central government funding fails to generate meaningful knowledge-transfer activities in universities.

수학교육에서 상보성 (Complementarity in Mathematics Education)

  • 강현영;이동환
    • 대한수학교육학회지:수학교육학연구
    • /
    • 제17권4호
    • /
    • pp.437-452
    • /
    • 2007
  • 그동안 수학교육에서는 상보성, 상보적 원리, 상보적 접근이라는 말이 자주 사용되어 왔으나 그 의미가 분명하지 않았다. 따라서 이 글에서는 수학적 지식의 상보적 특성을 살펴봄으로써 그 의미를 명확히 하고자 하였다. 먼저 일반적인 상보성의 의미를 살펴보고, 통약불가능성과 제논의 역설을 통해 수학적 개념의 상보적 특징을 고찰하도록 한다. 이를 바탕으로 학교수학에서 상보적인 접근을 고찰하였다. 학교수학에서 수학적 개념에 대한 상보적 특성을 이해하고 드러내는 것은 그 개념에 대한 통찰을 가능하게 하고 명확하고 올바로 이해하게 한다. 따라서 학생들은 단편적인 정보와 규칙의 기계적인 적용이 아닌 살아있는 체계로서 수학의 이미지를 가질 수 있다.

  • PDF

기호다치논리를 이용한 Fuzzy Rule Minimization에 관한 연구 (A Study on the Minimization of Fuzzy Rule Using Symbolic Multi-Valued Logic)

  • 김명순
    • 한국컴퓨터정보학회논문지
    • /
    • 제4권4호
    • /
    • pp.1-8
    • /
    • 1999
  • 인간의 사고 방법과 그 원리를 연구하는 논리에서 이진 논리는 True 혹은 False 중 하나만을 진리값으로 갖는 명제를 다룬다. 인간이 다루는 대부분이 기존의 이치논리는 다루기 힘든 애매성(Fuzziness)을 포함하고 있음에도 불구하고 이를 표현하는 지식은 부정확하며 신뢰성은 떨어지게 된다. 이러한 문제점을 해결하기 위하여 본 논문에서는 다치 논리를 사용하였으며, 다치 논리는 2치 논리에 비하여 동일정보량을 처리하는데 고속 처리가 가능한 장점을 가지고 있다. 그래서 2치 부호화를 기본으로한 정보시스템에 비해 다치 부호화 알고리즘을 사용하여 구성하는 기호다치논리를 사용하여 Fuzzy Inference에서 사용되는 Fuzzy Rule을 효과적으로 Minimization하여 추론이 가능하도록 하는 것이다.

  • PDF

PCS 시스템 셀설계를 위한 전파예측 모델 (A Propagation Prediction Model for Planning a Cell in the PCS System)

  • 김송민
    • 전자공학회논문지T
    • /
    • 제35T권3호
    • /
    • pp.103-112
    • /
    • 1998
  • 본 논문에서는 전파경로를 해석할 때 기하광학적 영상법과 전파송출법의 단점을 보완하여 계산속도를 향상시킴은 물론 전파의 입사각과 반사각에 따른 전파경로, 진행파의 수평경로 그리고 반사횟수를 동시에 처리 할 수 있는 알고리즘을 제안하였다. 제안 알고리즘을 활용한 전파예측모델을 제안하고, 반복된 반사에 의해 전파가 진행하는 경우, 임의 지점의 전파경로 손실을 쉽게 계산할 수 있다. 마지막으로 광주광역시 광산구 월곡동에 있는 SK텔레콤 전남지사 주변의 실제 도로 상황을 샘플로 취하여 제안 전파예측 모델을 시뮬레이션하여, 일반적인 타당성을 입증하였다.

  • PDF

내부자거래(內部者去來) 규제개선(規制改善)의 효율적(效率的)인 방안(方案) (An Efficient Ways of Improving Regulations on Insider Trading)

  • 박상봉
    • 경영과정보연구
    • /
    • 제4권
    • /
    • pp.611-629
    • /
    • 2000
  • In the legislation interpretation and fundamental viewpoint about the legal system of insider trading, Japan strictly legislate under the proposition, the principle of 'nulla poena,' adopted 'the principle of limited enumeration,' and United states, under 'the principle of comprehension,' has entrusted courts with establishment of concrete concepts and standard, so the courts are very flexible in determining the range of insiders and the importance of inside information to show a strong will to eradicate insider trading. Korea has a legislative position of 'the principle of limited indication' which has been created by the negotiation between those principles of United states and Japan. Though this court has interpreted insider trading, insider trading using non-disclosed information has increased lately, needing the strengthening of its regulations. However, this shows us that sophisticate the regulations may be, the exposure of insider trading has limitations. The most important thing is to change recognition for transparency of the securities market, security of investors and to establish the atmosphere which is that fair stock trading made in a sound capital market to raise funds for corporation. The policies of improving unfair trading, self-regulation bodies, raising the transparency and legality of procedures of supervision and monitoring and applying 'compliance program' to stock companies are very needed to eliminate unfair trading in the securities market and establish the order of trading.

  • PDF

멀티프로세서용 임베디드 시스템을 위한 UML 기반 소프트웨어 모델의 분할 기법 (A Partition Technique of UML-based Software Models for Multi-Processor Embedded Systems)

  • 김종필;홍장의
    • 정보처리학회논문지D
    • /
    • 제15D권1호
    • /
    • pp.87-98
    • /
    • 2008
  • 임베디드 시스템의 하드웨어 구성요소들에 대한 성능 고도화가 요구됨에 따라 이에 탑재될 소프트웨어의 개발 방법도 영향을 받고 있다. 특히 MPSoC와 같은 고가의 하드웨어 아키텍처에서는 효율적인 자원의 사용 및 성능의 향상을 위해 소프트웨어 측면에서의 고려가 필수적으로 요구된다. 따라서 본 연구에서는 임베디드 소프트웨어 개발과정에서 멀티프로세서 기반의 하드웨어 아키텍처를 고려하는 소프트웨어 태스크의 분할기법을 제시한다. 제시하는 기법은 UML 기반의 소프트웨어 모델을 CBCFG (Constraints-Based Control Flow Graph)로 변환하고, 이를 병렬성과 데이터 의존성을 고려한 소프트웨어 컴포넌트로 분할하는 기법이다. 이러한 기법은 임베디드 소프트웨어의 플랫폼 의존적인 모델 개발과 태스크 성능 예측 등을 위한 자료로 활용할 수 있다.

국어 로마자 표기 자동 변환 시스템 설계 및 구현 (The design and implementation of automatic translation system for hangul's romanization)

  • 김홍섭
    • 한국컴퓨터정보학회지
    • /
    • 제2권1호
    • /
    • pp.45-54
    • /
    • 1995
  • 본 연구는 ASCII 코드중에서 잘 쓰이지 않는 코드를 반달점(ˇ)으로 할당, 글꼴을 제작하여, 사용자가 국어 로마자 표기법 기본원칙을 모르더라도 한글단어, 문장, 문서를 문자열(string)로 입력받아 알고리즘화된 음운법칙을 적용하여 소리글자로 자동 변환 후 현행 정부 표준안인 국어 로마자 표기법 테이블에서 대응 글자를 참조하여 기계화 코드 변환이 가능토록 설계하였으며, 예외어 처리, 화면색상 및 풀다운 팝업 메뉴 방식을 지원, 마우스 활용 방식을 채택, 사용자 편리성을 제공하였으며, 다양한 서체, 글꼴 확대 및 축소, 이단ㆍ혼합 인쇄기능 등을 고려 C언어를 이용하여 구현하였다.

  • PDF

Computer vision monitoring and detection for landslides

  • Chen, Tim;Kuo, C.F.;Chen, J.C.Y.
    • Structural Monitoring and Maintenance
    • /
    • 제6권2호
    • /
    • pp.161-171
    • /
    • 2019
  • There have been a few checking frameworks intended to ensure and improve the nature of their regular habitat. The greater part of these frameworks are constrained in their capacities. In this paper, the insightful checking framework intended for debacle help and administrations has been exhibited. The ideal administrations, necessities and coming about plan proposition have been indicated. This has prompted a framework that depends fundamentally on ecological examination so as to offer consideration and security administrations to give the self-governance of indigenous habitats. In this sense, ecological acknowledgment is considered, where, in light of past work, novel commitments have been made to help include based and PC vision situations. This epic PC vision procedure utilized as notice framework for avalanche identification depends on changes in the normal landscape. The multi-criteria basic leadership strategy is used to incorporate slope data and the level of variety of the highlights. The reproduction consequences of highlight point discovery are shown in highlight guide coordinating toward discover steady and coordinating component focuses and effectively identified utilizing these two systems, by examining the variety in the distinguished highlights and the element coordinating.

온라인쇼핑몰에서 구매의도에 미치는 영향: 가치창조요소 중심으로 (Effect on Purchase Intention in Online Shopping Malls: Focusing on Value Creation Factors)

  • 좌인열;박광호
    • 산업경영시스템학회지
    • /
    • 제45권2호
    • /
    • pp.56-64
    • /
    • 2022
  • Many studies have suggested that e-commerce value creation potential depends on four interdependent factors Lock-In, Complementarity, Efficiency, and Novelty. In order to survive in the recent fierce competition, companies have also secured e-Trust that strengthens long-term business relationships by reducing consumer uncertainty. This study, while analyzing the value creation factors (Lock-in, Complementarity, Efficiency, Novelty, e-Trust) of recent e-commerce (online shopping mall) companies from the point of view of purchase intention, customer value (Functional value, Emotional value, Social value) We present an academic proposition that can also examine the mediating effect of value). First, through previous studies on value-based strategy and value creation in e-commerce, various discussions on the theoretical background necessary for effective value-based strategy establishment and strategy execution of e-commerce (online shopping mall) companies were reviewed. Second, it provides academic discussion and practical implications by presenting academic propositions on the value creation factors of e-commerce (online shopping mall) companies, purchase intentions, and customer value, and confirming the basis through empirical analysis.

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

  • 양원석;박한철;박종철
    • 정보과학회 논문지
    • /
    • 제44권4호
    • /
    • pp.399-410
    • /
    • 2017
  • 본 연구는 전문기관에서 생산되는 검증된 문서의 정보를 웹상의 수많은 검증되지 않은 문서에 자동 주석하여 신뢰도를 향상하고 심화 정보를 추가하는 시스템을 제안한다. 제안하는 시스템은 국가암정보센터의 검증된 문서들에서 추출한 19,304개 명제를 위키피디아 암 관련 문서에서 추출한 1,486개 명제에 주석하는 과제를 수행하기 위해, 기존 인공 신경 정리 증명계의 순환 모듈을 단어 임베딩 모듈로 교체하였다. 이를 통해 기존의 근본적인 문제점이었던 학습 시간 문제를 해결하였고, 동일한 환경에서 기존 시스템의 학습 시간이 233.9일로 추정된 것에 비해 재구축한 시스템은 102.1분 내로 학습이 완료되었다. 제안하는 시스템의 장점은 명제를 텐서로 인코딩하여 미분 가능하게 전체적인 연산을 진행하는 인공 신경 정리 증명계가 단어의 정확한 일치를 파악하는 전통적인 정리 증명계를 포함하며 동시에 유사어 관계로부터의 논리 전개 역시 가능하게 한다는 점을 실제 문서 데이터에서 입증했다는 것이다.