RISS 학술연구정보서비스

검색
다국어 입력

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

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

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

    RISS 인기검색어

      검색결과 좁혀 보기

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

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

      오늘 본 자료

      • 오늘 본 자료가 없습니다.
      더보기
      • 무료
      • 기관 내 무료
      • 유료
      • KCI우수등재

        콘콜릭 테스팅 기반 스마트 컨트랙트 보안약점 분석기

        전인성,안준선 한국정보과학회 2021 정보과학회논문지 Vol.48 No.6

        Ethereum is a blockchain-based cryptocurrency platform that provides a Turing complete language, Solidity, which can be used to develop smart contracts for various applications. This paper present an analyzer that finds security weaknesses in smart contracts using the concolic testing framework. Concolic testing, which combines symbolic execution and testing, is more efficient than symbolic execution while retaining no false positiveness which is absent in static analysis. Also, the analyzer reflects actual execution context to the maximum extent possible using the Ethereum execution environment, the Geth testnet. The analyzer detects integer overflow and unhandled exception weakness. Also, this paper presents performance test results in comparison with a well known smart contract symbolic execution framework, Manticore. 이더리움은 대표적인 블록체인 기반 암호화폐 플랫폼으로, 튜링 완전 언어인 솔리디티를 제공하여 다양한 응용을 위한 스마트 컨트랙트를 개발하는데 활용될 수 있다. 본 논문은 콘콜릭 테스팅 기법을 사용하여 스마트 컨트랙트 내의 보안약점을 사전에 찾아내는 분석기를 제시한다. 심볼릭 수행과 테스팅 기법이 합쳐진 콘콜릭 테스팅은 일반적인 정적 분석과 비교하여 오탐이 없는 심볼릭 수행의 장점을 유지하면서, 심볼릭 수행보다 성능 면에서 효율적인 장점이 있다. 또한, 개발된 분석기는 이더리움의 실행 환경인 게스 테스트넷을 사용하여 실제적인 수행상황을 최대한 반영하여 동작한다. 분석기는 정수 넘침과 처리되지 않은 예외 보안약점의 검출을 지원하며, 구현 결과에 대하여 기존 분석기와의 비교를 통해 개발된 분석기의 성능을 분석하였다.

      • KCI등재

        자연어 처리 모델을 활용한 블록 코드 생성 및 추천 모델 개발

        전인성,송기상 한국정보교육학회 2022 정보교육학회논문지 Vol.26 No.3

        In this paper, we develop a machine learning based block code generation and recommendation model for the purpose of reducing cognitive load of learners during coding education that learns the learners block that has been made in the block programming environment using natural processing model and fine-tuning and then gen­erates and recommends the selectable blocks for the next step. To develop the model, the training dataset was produced by pre-processing 50 block codes that were on the popular block programming language web site ‘Entry’. Also, after dividing the pre-processed blocks into training dataset, verification dataset and test dataset, we developed a model that generates block codes based on LSTM, Seq2Seq, and GPT-2 model. In the results of the performance evaluation of the developed model, GPT-2 showed a higher performance than the LSTM and Seq2Seq model in the BLEU and ROUGE scores which measure sentence similarity. The data results generated through the GPT-2 model, show that the performance was relatively similar in the BLEU and ROUGE scores ex­cept for the case where the number of blocks was 1 or 17. 본 논문에서는 코딩 학습 중 학습자의 인지 부하 감소를 목적으로 자연어 처리 모델을 이용하여 전이학습 및 미세조정을 통해 블록 프로그래밍 환경에서 이미 이루어진 학습자의 블록을 학습하여 학습자에게 다음 단계에서 선택가능한 블록을 생성하고 추천해주는 머신러닝 기반 블록 코드 생성 및 추천 모델을 개발하였다. 모델 개발을 위해 훈련용 데이터셋은 블록 프로그래밍 언어인 ‘엔트리’ 사이트의 인기 프로젝트 50개의 블록 코드를 전 처리하여 제작하였으며, 훈련 데이터셋과 검증 데이터셋 및 테스트 데이터셋으로 나누어 LSTM, Seq2Seq, GPT-2 모델을 기반으로 블록 코드를 생성하는 모델을 개발하였다. 개발된 모델의 성능 평가 결과, GPT-2가 LSTM과 Seq2Seq 모델보다 문장의 유사도를 측정하는 BLEU와 ROUGE 지표에서 더 높은 성능을 보였다. GPT-2 모델을 통해 실제 생성된 데이터를 확인한 결과 블록의 개수가 1개 또는 17개인 경우를 제외하면 BLEU와 ROUGE 점수에서 비교적 유사한 성능을 내는 것을 알 수 있었다.

      • KCI등재

        On the Effect of a Pilot Coding Education Support System for Complex Problem Solving Tasks

        전인성,송기상 한국인터넷방송통신학회 2018 Journal of Advanced Smart Convergence Vol.7 No.4

        In the programming education, there is a great need of a teaching support system that can support the learner in the programming process regardless of the computer language due to instructor’s difficulty of checking the progress of learners in real-time. Its importance is especially important in lower grade coding classes such as in K-12 education because they are not used to coding and so simple problems can be regarded as complex problems. For this, a pilot coding education support system based on Levenshtein distance algorithm which shows learners’ progress to given solution in real-time was developed in order to help learners to solve complex problems easily, and the learners’ motivation and self-efficacy was measured for estimating the usefulness of developed system targeting elementary school students. When the learners use the developed system, it was found that a statistically significant difference appears in the sub-factors of learning motivation compared with traditional class teaching environments. Among the sub-factors of self-efficacy, the efficacy dimension showed statistically significant difference too.

      • KCI등재

        초등학교 저학년을 위한 인공지능 교육용 콘텐츠 설계 및 개발

        전인성 한국에듀테인먼트학회 2024 에듀테인먼트연구 Vol.6 No.1

        This study developed educational content that enables elementary school lower graders to understand the concepts and principles of data and artificial intelligence (AI). To achieve this, AI-related curricula and prior research were analyzed to design 17 sessions of educational content that would engage students and aid their understanding. Throughout this process, the validity and appropriateness of the educational content were enhanced by incorporating feedback from experts and current elementary school teachers. The AI educational content is composed of five areas. The materials present an overview of activities, outlining the learning objectives and key concepts of each unit, and offer a variety of practical exercises and projects that allow students to experience the basic principles and applications of AI firsthand. The activity materials provide worksheets, practical resources, and problem-solving tasks to enable deeper exploration of the content. The developed educational content is expected to contribute to lower grade elementary students' understanding of the basic concepts of data and AI, and their ability to apply this knowledge in daily life and learning. Furthermore, the content aims to lay the foundation for students to acquire the core competencies required in future societies. The effectiveness of the developed AI educational content will be analyzed through its application to students, aiming to make substantive improvements that can aid the educational field. 본 연구에서는 초등학교 저학년을 대상으로 데이터와 인공지능(AI) 개념을 이해할 수 있는 교육 콘텐츠를 개발하였다. 이를 위해, AI 관련 교육과정과 선행 연구를 분석하여, 학생들의 관심을 끌고 이해를 돕는 17차시 분량의 교육 콘텐츠를 구성했다. 이 과정에서 전문가 의견과 현직 초등교사의 실질적인 피드백을 반영하여 교육 콘텐츠의 타당성과 적절성을 높였다. 본 인공지능 교육 콘텐츠는 다섯 가지 영역으로 구성하였다. 교재는 활동 개요를 통해 각 단원의 학습 목표와 중요 개념을 제시하고, 교재 속 활동에서는 인공지능의 기본 원리와 응용을 실제로 체험할 수 있는 다양한 실습과 프로젝트 등을 제시하였다. 활동자료에서는 활동지, 실습자료, 문제풀이 등 학습내용을 보다 깊이 있게 탐구할 수 있는 자료를 제공하였다. 개발된 교육 콘텐츠는 초등학교 저학년학생들이 데이터와 인공지능의 기본 개념을 이해하고, 이를 일상생활 및 학습에 적용할 수 있는 능력을 배양하는 데 기여할 것으로 기대된다. 또한, 교육 콘텐츠는 학생들에게 미래 사회에서 요구되는 핵심 역량을 갖출 수 있는 기반을 마련해줄 것으로 사료된다. 향후 개발된 인공지능 교육 콘텐츠를 학생들에게 적용하여 그 효과성을 분석함으로써 교육 현장에 실질적인 도움을 줄 수 있도록 개선하고자 한다.

      • KCI등재후보
      • KCI등재후보
      • SCOPUSKCI등재

        DMBA 유도 햄스터 협낭암 발생과정에서 방사선 조사가 증식세포핵항원(PCNA)의 발현과 apoptosis 유발에 미치는 영향

        전인성,허민석,최항문,이삼선,최순철 대한구강악안면방사선학회 2000 Imaging Science in Dentistry Vol.30 No.3

        Purpose : This study was carried out to investigate the effect of irradiation on the expression of proliferating cell nuclear antigen (PCNA) and apoptosis induction during the carcinogenesis in hamster buccal pouch. Materials and methods : Three months old Syrian golden hamsters were divided into control and 2 experimental groups, Hamsters in control group were left untreated on buccal pouchs. Twenty four hamsters were treated with 0.5% DMBA tri-weekly on the right buccal pouch. Forty eight hamsters were treated with 0.5% DMBA tri-weekly and irradiated with the dose of 5 Gy and 10 Gy at 6,9, 12, 15 weeks after DMBA application. Resected buccal pouches were sectioned and examined for potential expression pattern of PCNA and apoptosis. Results : The PCNA index was increased with the stages of buccal pouch epithelium carcinogenesis except the hyperplasia stage in control group (p< 0.05). The irradiation did not effect on the PCNA index in the dysplasia and the carcinoma in situ stage, but in the hyperplasia stage, the PCNA index was increased with 10 Gy radiation and decreased in the carcinoma stage (p< 0.05). The apoptotic index was significantly decreased from the carcinoma in situ stage and the lowest in the carcinoma stage, The apoptotic index was significantly decreased in the hyperplasia and dysplasia stage with the 5 Gy irradiation and significantly increased only in the carcinoma stage with the 10 Gy irradiation (p< 0.05). Conclusion : The PCNA and apoptotic index were varied according to the irradiation period and dosage in each carcinogenesis stage. (Korean J Oral Maxillofac Radiol 2000; 30: 207-216)

      • KCI등재후보

      연관 검색어 추천

      이 검색어로 많이 본 자료

      활용도 높은 자료

      해외이동버튼