RISS 학술연구정보서비스

검색
다국어 입력

http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.

변환된 중국어를 복사하여 사용하시면 됩니다.

예시)
  • 中文 을 입력하시려면 zhongwen을 입력하시고 space를누르시면됩니다.
  • 北京 을 입력하시려면 beijing을 입력하시고 space를 누르시면 됩니다.
닫기
    인기검색어 순위 펼치기

    RISS 인기검색어

      검색결과 좁혀 보기

      선택해제
      • 좁혀본 항목 보기순서

        • 원문유무
        • 음성지원유무
        • 원문제공처
          펼치기
        • 등재정보
          펼치기
        • 학술지명
          펼치기
        • 주제분류
          펼치기
        • 발행연도
          펼치기
        • 작성언어
          펼치기
        • 저자
          펼치기

      오늘 본 자료

      • 오늘 본 자료가 없습니다.
      더보기
      • 무료
      • 기관 내 무료
      • 유료
      • 확률적 검사 및 대화식 증명

        정치봉 순천향대학교 기초과학연구소 1999 순천향자연과학연구 논문집 Vol.5 No.2

        본 연구에서 대화식 증명 체계와 확률적 검사 증명에 대하여 논하였다. 이와 관련된 개념을 사용하여 그래프동형 및 비동형 문제 IP 클래식에 속함을 보였다. 또한 그래프 동형 문제는 영-지식 특성을 가진 대화식 증명 알고리즘을 구성함을 보였다. BPP 및 PCP 클래스를 소개하고 그래프의 clique에 대한 점근 문제를 통하여 P=NP의 충분조건을 보였다.

      • 유한 스트링의 점근적 하한에 관한 고찰

        정치봉 순천향대학교 1993 논문집 Vol.16 No.1

        We have presented Lempel-Ziv code, an universal code which does not depend on the statistical propertis of a source. We have studied problems and propertis concerning to the complexity of finite sequences(strings) which is defined by the number of least self productive steps or the number of distinct substrings. Especially an asymptotic lower bound for complexity to converge in probability and its convergence speed are presented.

      • deBruijn 그래프의 블럭 분해에 관하여

        정치봉 순천향대학교 1993 논문집 Vol.16 No.3

        The deBrujin graph ?? is the state diagram for an n-stage binary shift register. It has 2ⁿvertices and ?? edges. In this paper, it is shown that ?? can be bulit by wiring together many isomorphic copies of a fixed block for ??. We discuss the efficiencu of such a building block as the fraction of the edges of ?? which are present in the copies of the building block. We present the problems to find most efficient building block. There results are used to construct a very large Viterbi decoder whose floor plan is the graph ??.

      • 콜모고로프 복잡도 이론의 형식 언어 이론에의 응용

        정치봉 순천향대학교 기초과학연구소 1997 순천향자연과학연구 논문집 Vol.3 No.2

        본 논문은 콜모고로프 복잡도 이론을 소개하고 이를 형식언어이론에 응용할 수 있는 여러 예를 보였다. 특히 정규언어를 판정하는 판정기준을 콜모고로프 복잡도 이론으로부터 유도하여 그 유요성과 이를 이용한 증명방법을 제시하였다. 명제논리의 괴델 건전성 정리와 콜모고로프의 복잡도 이론의 압축불가능 논증방법으로 랜덤 스트링이 무한하게 존재함을 증명하였다. 이러한 여러 응용 예를 소개함으로서 콜모고로프 복잡도 이론이 수학과 전산학의 여러 이론적 분야에 유용하게 쓰일 수 있음을 제시하였다.

      • 행열/쌍행열 게임과 알고리듬적 해법

        정치봉 순천향대학교 기초과학연구소 1997 순천향자연과학연구 논문집 Vol.3 No.1

        경기자가 두 사람인 행열/쌍행열 게임에 관하여, 알고리즘에 의한 게임의 평형점을 찾는 문제를 연구하였다. 행열 게임은 제로-섬 게임의 전형적인 것이고 쌍행열 게임은 비제로-섬 비협동적인 게임의 전형적인 모델이다. 행열 게임에서 경기자들의 최적 전략과 게임값을 구하는 문제는 게임에서 순수 평형점이 존재하지 않을 때, 확률적인 최적 전략을 경기자는 사용하여야 한다. 본 논문은 경기자들의 확률적인 최적 전략 해를 구하는 알고리즘을 소개하였다. 같은 문제를 쌍행열 게임의 특수한 경우에 대한 알고리즘을 소개 하였다.

      • 대학의 기초 수학 소양 교육

        정치봉 순천향대학교 기초과학연구소 2002 순천향자연과학연구 논문집 Vol.8 No.2

        본 논문에서 대학 졸업자들이 갖추어야 할 기초수학소양(수리적 소양,Quantitative literacy)에 대하여 소개하고 교육과정으로서 어떻게 다루어야 할 것인지 방향을 제시한다. 최근 이공계 대학생의 수학 과학 실력 저하 현상은 대학교육의 문제로 부각하고 있다. 21세기 IT의 비즈니스와 제조업 그리고 교육으로의 확산은 대학에서 기초수햑 소양 개발 교육의 중요성을 재인식하고 있다. 21세기에 IT 도구를 다루고 잘 활용하는 전문기술직이 빠르게 증가하고 있다. IT 도구 활용 기술을 익히기 위하여 기초수학 소양은 필수 소양이다. 본 논문은 대학의 인적자원 계발 교육의 관점에서 기초 수학 소양의 위치를 제시하였다. 그리고 대학의 교육과정이 노동 시장의 변화와 수요를 고려할 때 대학교육자 그리고 학생들이 잘못인식하고 있는 점들을 제시하였다. 기초수학 소양은 노동시장에서 단순노동자를 제외한 85%이상의 근로자들이 자신의 직무에 적절한 수준의 소양으로 갖추어야 하는 것임을 제시하려 하였다. 결론으로 대학에서 기초수학 소양을 어떻게 다루어야 하는지를 제시하였다.

      • 교양·기초교육과정에 대한 교수·학생의 인식 비교 설문 조사 자료를 중심으로 : 설문 조사 자료를 중심으로

        정치봉 순천향대학교 기초과학연구소 2002 순천향자연과학연구 논문집 Vol.8 No.2

        대학교육의 내실화는 교육과정의 설계에서 시작한다. 설계된 교육과정의 적절성 합리성 효과성 교육여건의 반영, 교육수요, 학습자의 요구 반영 등은 교육의 성패를 좌우한다. 현재 한국의 대학은 교수와 학생 사이에 교육 서비스의 공급 측면과 수요 측면에서 서로의 인식 차원에서 상당한 거리가 형성되어있다. 본 논문은 2001년 성균관대학교의 교양 및 기초교육과정에 대한 교수, 학생의 설문조사결과를 바탕으로 교수와 학생의 인식의 차이를 조명하고 교양 및 기초교육과정의 방향과 성격을 제시하고자 한다.

      • 대학 수학 교육의 재구성

        정치봉 순천향대학교 기초과학연구소 2000 순천향자연과학연구 논문집 Vol.6 No.1

        The mathematics Education in Korea at the university level has new emergent problems. The ways of reshaping university mathematics education come from the diversity of mathematics contents and subjects which are increasingly more important in 21 century culture. The more popular in the university education, the more critical to achieving the reforms needed to develop educated undergraduate students able to compete in the IT society and world economy. New approaches to mathematics requires new teaching strategies, contents and instructions that are effectively developed by IT. In this paper, technology, curriculum, faculty, department and students issues are presented.

      • 부분구속 접합된 철골보의 신뢰성 해석에 관한 연구

        이치형,김해수 동의공업대학 2001 論文集 Vol.27 No.1

        The reliability of partially restrained connections is dependent on the variability in the moment-rotation characteristics. In this study, the moment-rotation relation is adopted by power model considering three parameters. Probability distribution functions of three parameters reliability indices are calculated by structural reliability analysis. Limit state equation on the moment-rotation relation of partially restrained connections of steel beam in non-sway steel frame is presented. In order to provide target reliability index by changing coefficient of variance of random variable, advanced first-order second moment method is applied. The results by this method are compared with those by Monte-Carlo method.

      • Sphere Coverings, Quantizations 그리고 신경망에 의한 화상 인식에서의 응용

        정치봉 순천향대학교 1994 논문집 Vol.17 No.1

        같은 크기의 반지름을 갖는 공들로서 Eclid 공간을 채우는 고전적인 문제를 고전적인 문제를 소개한다. 이 문제가 디지탈 계산기의 사용에 따르는 coding 문제, 그리고 오차 문제와 연결되어 있음을 보이고, 효율적인 디지탈 계산기의 사용을 위하여 제시된 몇가지 이론적 그리고 실제적인 방법에 대해 소개한다. 마지막으로, 화상인식의 전처리 과정에서 발생되는 위상동형 그래프를 구성하는 문제의 소개와 함께 Hebb의 경쟁 규칙을 사용하여 자기 조직하는 신경 회로망의 모형으로서 해를 구하는 방법을 소개한다. 따라서 NP-hard로 보이는 문제의 계산기에 의한 해법의 과정중에 또다른 NP-hard 문제들이 있음을 암시한다. 또한 quantization 문제는 신경회로망 모형에 의한 범용계산기의 설계에 필수적으로 연관된 문제임을 지적한다.

      연관 검색어 추천

      이 검색어로 많이 본 자료

      활용도 높은 자료

      해외이동버튼