주제분류
- 기타(359)
- 교육학(165)
- 사회과학(76)
- 예체능(54)
- 자연과학(46)
- 유아교육학(42)
- 의약학(21)
- 사회복지학(19)
- 인문학(15)
- 특수교육학(12)
- 심리학(11)
- 농수해양학(10)
- 보건학(9)
- 공학(4)
- 종교(4)
등재정보
더보기(7)발행기관
- 제어로봇시스템학회(39)
- 한국여가문화학회(39)
- 한국식물병리학회(37)
- 환태평양유아교육연구학회(37)
- 인문사회과학기술융합학회(36)
- 대한기계학회(28)
- 한국교육학회(27)
- 테크노프레스(19)
- 한국교육사회학회(18)
- 한국정보과학회(17)
- 대한전자공학회(16)
- 한국초등체육학회(15)
- 대한전기학회(14)
- 경인교육대학교 교육연구원(13)
- 대한산업공학회(13)
- 이화여자대학교 교과교육연구소(13)
- 한국인간발달학회(13)
- 한국성인교육학회(12)
- 한국웰니스학회(11)
- 한국정보처리학회(11)
- 대한수의학회(10)
- 한국경영과학회(10)
- 한국교육행정학회(10)
- 한국전산응용수학회(10)
- 한국교원대학교 뇌기반교육연구소(9)
- 한국천문학회(9)
- 대한신경정신의학회(8)
- 물리치료재활과학회(8)
- 우리말학회(7)
- 한국교원교육학회(7)
- 한국교육방법학회(6)
- 한국산업경영시스템학회(6)
- 한국습지학회(6)
- 한국시각장애교육재활학회(6)
- 한국통계학회(6)
- 국민연금연구원(5)
- 한국교육정치학회(5)
- 한국인터넷정보학회(5)
- 한국자동차공학회(5)
- 한국전산구조공학회(5)
- 한국지능시스템학회(5)
- 한국컴퓨터정보학회(5)
- 한국통신학회(5)
- 한국항공우주학회(5)
- 한국항해항만학회(5)
- 대한생리학회-대한약리학회(4)
- 대한수학회(4)
- 부산대학교 교육발전연구소(4)
- 서강대학교 철학연구소(4)
- 한국관광서비스학회(4)
- 한국열환경공학회(4)
- 한국영어어문교육학회(4)
- 한국음악치료학회(4)
- 한국종교교육학회(4)
- 한국중국문화학회(4)
- 한국헬스커뮤니케이션학회(4)
- 공주교육대학교 초등교육연구원(3)
- 대외경제정책연구원(3)
- 대한고령친화산업학회(3)
- 한국CAD/CAM학회(3)
- 한국건설관리학회(3)
- 한국경호경비학회(3)
- 한국고고학회(3)
- 한국국제이해교육학회(3)
- 한국기업교육학회(3)
- 한국마린엔지니어링학회(3)
- 한국멀티미디어학회(3)
- 한국산업응용수학회(3)
- 한국어린이미디어학회(3)
- 한국언어정보학회(3)
- 한국원자력학회(3)
- 한국음악교육학회(3)
- 한국인터넷방송통신학회(3)
- 한국임상사회사업학회(3)
- 한국장애인복지학회(3)
- 한국전기전자학회(3)
- 한국전자통신연구원(3)
- 한국조명전기설비학회(3)
- 한국콘텐츠학회(3)
- 한국탄소학회(3)
- 한국학습장애학회(3)
- 고령자치매작업치료학회(2)
- 대구한의대학교 청소년문제연구소(2)
- 대한가정학회(2)
- 대한방사선방어학회(2)
- 대한신경계작업치료학회(2)
- 대한원격탐사학회(2)
- 아시아장애사회학회(2)
- 전력전자학회(2)
- 한국광고PR실학회(2)
- 한국교육원리학회(2)
- 한국교육치료학회(2)
- 한국국방경영분석학회(2)
- 한국기초간호학회(2)
- 한국대학박물관협회(2)
- 한국미술치료학회(2)
- 한국박물관학회(2)
- 한국보육지원학회(2)
- 한국사회서비스학회(2)
- 한국시뮬레이션학회(2)
- 한국음악교육공학회(2)
- 한국정밀공학회(2)
- 한국조형교육학회(2)
- 한국지구물리물리탐사학회(2)
- 한국지능정보시스템학회(2)
- 한국창의력교육학회(2)
- 한국철도학회(2)
- 한국청각언어재활학회(2)
- 한국품질경영학회(2)
- 21세기사회복지학회(1)
- 경북대학교 자연과학대학 수학과(1)
- 과학기술정책연구원(STEPI)(1)
- 국제여성연구소(1)
- 대한물리치료학회(1)
- 대한안전경영과학회(1)
- 대한음성학회(1)
- 대한자원환경지질학회(1)
- 대한조선학회(1)
- 대한토목학회(1)
- 숙명여자대학교 다문화통합연구소(1)
- 아세아태평양축산학회(1)
- 에너지기후변화교육학회(1)
- 육아정책연구소(1)
- 은행법학회(1)
- 인지발달중재학회(1)
- 조선대학교 기초과학연구원(1)
- 충청수학회(1)
- 통신위성우주산업연구회(1)
- 한국ITS학회(1)
- 한국가정관리학회(1)
- 한국가족치료학회(1)
- 한국건축시공학회(1)
- 한국게임학회(1)
- 한국공간구조학회(1)
- 한국과학기술정보연구원 정보서비스센터(1)
- 한국교류분석상담학회(1)
- 한국군사과학기술학회(1)
- 한국군사회복지학회(1)
- 한국기술혁신학회(1)
- 한국농촌지도학회(1)
- 한국데이터정보과학회(1)
- 한국로봇학회(1)
- 한국발달지원학회(1)
- 한국보훈학회(1)
- 한국복지상담교육학회(1)
- 한국사례관리학회(1)
- 한국사회복지교육협의회(1)
- 한국상담복지경영학회(1)
- 한국생물공학회(1)
- 한국소음진동공학회(1)
- 한국수산학회(1)
- 한국시스템다이내믹스학회(1)
- 한국식물학회(1)
- 한국신호처리시스템학회(1)
- 한국아동권리학회(1)
- 한국아동심리치료학회(1)
- 한국영어학회(1)
- 한국우주과학회(1)
- 한국유기농업학회(1)
- 한국융합보안학회(1)
- 한국음성과학회(1)
- 한국음성학회(1)
- 한국음향학회(1)
- 한국의학교육학회(1)
- 한국의학물리학회(1)
- 한국인지과학회(1)
- 한국장애인평생교육복지학회(1)
- 한국재무관리학회(1)
- 한국전자거래학회(1)
- 한국전자통신학회(1)
- 한국정보시스템학회(1)
- 한국정보통신학회(1)
- 한국제4기학회(1)
- 한국지역지리학회(1)
- 한국청각-언어장애교육학회(1)
- 한국측량학회(1)
- 한국컴퓨터그래픽스학회(1)
- 한국콘크리트학회(1)
- 한국태양에너지학회(1)
- 한국통상정보학회(1)
- 한국통합교육학회(1)
- 한국푸드아트테라피학회(1)
- 한국항공운항학회(1)
- 한국해양공학회(1)
- 한국해양정보통신학회(1)
간행물
- 여가학연구(39)
- ASIA-PACIFIC JOURNAL OF RESEARCH IN EARLY CHILDHOOD EDUCATION(37)
- 예술인문사회융합멀티미디어논문지(36)
- THE PLANT PATHOLOGY JOURNAL (33)
- INTERNATIONAL JOURNAL OF CONTROL, AUTOMATION AND SYSTEMS(22)
- 교육학연구(21)
- STRUCTURAL ENGINEERING AND MECHANICS : AN INTERNATIONAL JOURNAL(17)
- 한국초등체육학회지(15)
- 교과교육학연구(13)
- ANDRAGOGY TODAY(12)
- 교육논총(12)
- 교육사회학연구(12)
- 인간발달연구(12)
- 한국웰니스학회지(11)
- 교육행정학연구(10)
- JOURNAL OF VETERINARY SCIENCE(9)
- 대한기계학회논문집(9)
- 제어-자동화-시스템공학 논문지(9)
- PHYSICAL THERAPY REHABILITATION SCIENCE(8)
- 대한기계학회론문집. TRANSACTIONS OF THE KOREAN SOCIETY OF MECHANICAL ENGINEERS. A. A(8)
- BRAIN, DIGITAL, & LEARNING(7)
- JOURNAL OF APPLIED MATHEMATICS & COMPUTING(7)
- JOURNAL OF ELECTRICAL ENGINEERING & TECHNOLOGY(7)
- JOURNAL OF MECHANICAL SCIENCE AND TECHNOLOGY(7)
- 대한산업공학회지(7)
- 우리말연구(7)
- 천문학회보(7)
- 한국경영과학회지(7)
- 공업경영학회지(6)
- 교육방법연구(6)
- 시각장애연구(6)
- 신경정신의학(6)
- 한국교원교육연구(6)
- 한국교육사회학회 학술대회자료집(6)
- 한국교육학회 학술대회논문집(6)
- 한국습지학회지(6)
- KSII TRANSACTIONS ON INTERNET AND INFORMATION SYSTEMS : TIIS(5)
- 국민연금연구원 연구보고서(5)
- 산업공학(5)
- 제어-로봇-시스템학회 논문지(5)
- 한국컴퓨터정보학회논문지(5)
- INTERNATIONAL JOURNAL OF AUTOMOTIVE TECHNOLOGY(4)
- THE JOURNAL OF EDUCATION(4)
- THE KOREAN JOURNAL OF PHYSIOLOGY & PHARMACOLOGY(4)
- 교육정치학연구(4)
- 교육혁신연구(4)
- 식물병연구(4)
- 열환경공학(4)
- 영어어문교육(4)
- 전기학회논문지. THE TRANSACTIONS OF THE KOREAN INSTITUTE OF ELECTRICAL ENGINEERS. A / A, 전력기술부문(4)
- 전자공학회논문지. JOURNAL OF THE INSTITUTE OF ELECTRONICS ENGINEERS OF KOREA. TC, 통신(4)
- 정보과학회논문지. JOURNAL OF KIISE. 소프트웨어 및 응용(4)
- 종교교육학연구(4)
- 중국학논총(4)
- 철학논집(4)
- 한국음악치료학회지(4)
- 한국전산구조공학회논문집(4)
- 한국항해항만학회지(4)
- 헬스커뮤니케이션연구(4)
- CARBON LETTERS(3)
- ETRI JOURNAL(3)
- JOURNAL OF APPLIED MATHEMATICS & INFORMATICS(3)
- JOURNAL OF THE KOREAN SOCIETY FOR INDUSTRIAL AND APPLIED MATHEMATICS(3)
- KSME INTERNATIONAL JOURNAL(3)
- TRANSACTIONS ON CONTROL, AUTOMATION AND SYSTEMS ENGINEERING(3)
- 관광서비스연구(3)
- 국제이해교육연구(3)
- 기업교육과 인재연구(3)
- 대한고령친화산업학회지(3)
- 멀티미디어학회논문지(3)
- 시큐리티연구(3)
- 어린이미디어연구(3)
- 언어와 정보(3)
- 음악교육연구(3)
- 임상사회사업연구(3)
- 전기전자학회논문지(3)
- 전자공학회논문지. JOURNAL OF THE INSTITUTE OF ELECTRONICS ENGINEERS OF KOREA. SC, 시스템 및 제어(3)
- 정보처리논문지(3)
- 조명-전기설비학회논문지(3)
- 한국CAD/CAM학회논문집(3)
- 한국인터넷방송통신학회 논문지(3)
- 한국장애인복지학(3)
- 한국지능시스템학회 논문지(3)
- 한국콘텐츠학회논문지(3)
- 한국통신학회논문지. THE JOURNAL OF KOREA INFORMATION AND COMMUNICATIONS SOCIETY. 무선통신(3)
- AUDIOLOGY AND SPEECH RESEARCH(2)
- BRAIN & LEARNING(2)
- BULLETIN OF THE KOREAN MATHEMATICAL SOCIETY(2)
- INTERNATIONAL JOURNAL OF PRECISION ENGINEERING AND MANUFACTURING(2)
- JOURNAL OF COMPUTING SCIENCE AND ENGINEERING(2)
- JOURNAL OF KOREAN BIOLOGICAL NURSING SCIENCE(2)
- JOURNAL OF POWER ELECTRONICS : JPE(2)
- JOURNAL OF THE KOREAN STATISTICAL SOCIETY(2)
- KIEP 연구보고서(2)
- KSAS INTERNATIONAL JOURNAL(2)
- NUCLEAR ENGINEERING AND TECHNOLOGY : AN INTERNATIONAL JOURNAL OF THE KOREAN NUCLEAR SOCIETY(2)
- PSYCHIATRY INVESTIGATION(2)
- 고령자-치매작업치료학회지(2)
- 고문화(2)
- 광고PR실학연구(2)
- 교육원리연구(2)
- 교육치료연구(2)
- 대한원격탐사학회지(2)
- 미술치료연구(2)
- 박물관학보(2)
- 방사선방어학회지(2)
- 사회서비스연구(2)
- 아시아장애사회학연구(2)
- 음악교육공학(2)
- 재활치료과학(2)
- 전자공학회논문지. JOURNAL OF THE INSTITUTE OF ELECTRONICS ENGINEERS OF KOREA. SD, 반도체(2)
- 정보과학회논문지. JOURNAL OF KIISE. 정보통신(2)
- 정보과학회논문지. JOURNAL OF KISS (A):COMPUTER SYSTEMS AND THEORY. A(2)
- 정보과학회논문지. JOURNAL OF KISS (B):SOFTWARE AND APPLICATIONS. B(2)
- 정보과학회논문지. JOURNAL OF KISS (C) : COMPUTING PRACTICES. C(2)
- 정보처리학회논문지. KIPS TRANSACTIONS ON COMPUTER AND COMMUNICATION SYSTEMS 컴퓨터 및 통신 시스템(2)
- 정보처리학회논문지. THE KIPS TRANSACTIONS. PART A. PART A(2)
- 정보처리학회논문지. THE KIPS TRANSACTIONS. PART C PART C(2)
- 조형교육(2)
- 지구물리와 물리탐사(2)
- 청소년행동연구(2)
- 학습장애연구(2)
- 한국건설관리학회논문집(2)
- 한국고고학전국대회 발표문(2)
- 한국국방경영분석학회지(2)
- 한국마린엔지니어링학회지(2)
- 한국보육지원학회지(2)
- 한국시뮬레이션학회논문지(2)
- 한국철도학회 논문집(2)
- 한국통계학회 논문집(2)
- 한국항공우주학회지(2)
- 21세기사회복지연구(1)
- ADVANCES IN AIRCRAFT AND SPACECRAFT SCIENCE(1)
- ASIAN-AUSTRALASIAN JOURNAL OF ANIMAL SCIENCES(1)
- BIOTECHNOLOGY AND BIOPROCESS ENGINEERING(1)
- COMMUNICATIONS OF THE KOREAN MATHEMATICAL SOCIETY(1)
- EAST ASIAN ECONOMIC REVIEW(1)
- INDUSTRIAL ENGINEERING & MANAGEMENT SYSTEMS : AN INTERNATIONAL JOURNAL(1)
- INTERNATIONAL JOURNAL OF AERONAUTICAL AND SPACE SCIENCES(1)
- INTERNATIONAL JOURNAL OF FUZZY LOGIC AND INTELLIGENT SYSTEMS(1)
- INTERNATIONAL JOURNAL OF HUMAN ECOLOGY(1)
- INTERNATIONAL JOURNAL OF MANAGEMENT SCIENCE(1)
- INTERNATIONAL JOURNAL OF NAVIGATION AND PORT RESEARCH(1)
- JOINT CONFERENCE ON SATELLITE COMMUNICATIONS(1)
- JOURNAL OF COMMUNICATIONS AND NETWORKS(1)
- JOURNAL OF ELECTRICAL ENGINEERING AND INFORMATION SCIENCE(1)
- JOURNAL OF INFORMATION AND COMMUNICATION CONVERGENCE ENGINEERING(1)
- JOURNAL OF INFORMATION SCIENCE THEORY AND PRACTICE : JISTAP(1)
- JOURNAL OF PLANT BIOLOGY(1)
- JOURNAL OF SEMICONDUCTOR TECHNOLOGY AND SCIENCE(1)
- JOURNAL OF THE CHOSUN NATURAL SCIENCE(1)
- JOURNAL OF THE KOREAN ASTRONOMICAL SOCIETY(1)
- JOURNAL OF THE KOREAN MATHEMATICAL SOCIETY(1)
- JOURNAL OF THE KOREAN NUCLEAR SOCIETY(1)
- KIEE INTERNATIONAL TRANSACTIONS ON POWER ENGINEERING(1)
- KOREAN JOURNAL OF MEDICAL EDUCATION(1)
- KOREAN JOURNAL OF VETERINARY RESEARCH(구 대한수의학회지)(1)
- KYUNGPOOK MATHEMATICAL JOURNAL(1)
- MANAGEMENT SCIENCE AND FINANCIAL ENGINEERING : MSFE(1)
- SMART STRUCTURES AND SYSTEMS(1)
- THE ASIAN JOURNAL ON QUALITY(1)
- THE JOURNAL OF THE ACOUSTICAL SOCIETY OF KOREA(1)
- 가족과 가족치료(1)
- 건설관리 : 한국건설관리학회논문집(1)
- 경영 과학(1)
- 기술혁신학회지(1)
- 대한가정학회지(1)
- 대한기계학회지(1)
- 대한물리치료학회지(1)
- 대한안전경영과학회지(1)
- 대한조선학회 논문집(1)
- 대한토목학회논문집, JOURNAL OF THE KOREAN SOCIETY OF CIVIL ENGINEERS. A. 구조공학, 원자력공학, 콘크리트공학(1)
- 로봇학회논문지(1)
- 말소리(1)
- 말소리와 음성과학(1)
- 발달지원연구(1)
- 복지상담교육연구(1)
- 사회교육과학연구(1)
- 상담복지경영연구(1)
- 신호처리-시스템학회 논문지(1)
- 아동과 권리(1)
- 에너지기후변화교육(1)
- 연구논총(1)
- 영어학(1)
- 육아정책연구(1)
- 융합보안논문지(1)
- 은행법연구(1)
- 음성과학(1)
- 응용통계연구(1)
- 의학물리(1)
- 인지과학(1)
- 인지발달중재학회지(1)
- 자원환경지질(1)
- 장애인평생교육복지연구(1)
- 재무관리연구= THE KOREAN JOURNAL OF FINANCIAL MANAGEMENT(1)
- 전기학회논문지(1)
- 전기학회논문지. THE TRANSACTIONS OF THE KOREAN INSTITUTE OF ELECTRICAL ENGINEERS. D / D, 시스템 및 제어부문(1)
- 전산 구조 공학(1)
- 전자공학회논문지. JOURNAL OF THE INSTITUTE OF ELECTRONICS ENGINEERS OF KOREA. CI, 컴퓨터(1)
- 전자공학회논문지. JOURNAL OF THE INSTITUTE OF ELECTRONICS ENGINEERS OF KOREA. SP, 신호처리(1)
- 전자공학회논문지. JOURNAL OF THE KOREA INSTITUTE OF TELEMATICS AND ELECTRONICS. B(1)
- 전자공학회논문지. JOURNAL OF THE KOREAN INSTITUTE OF TELEMATICS AND ELECTRONICS S. S(1)
- 전자공학회논문지. JOURNAL OF THE KOREAN INSTITUTE OF TELEMATICS AND ELECTRONICS. C(1)
- 전자공학회지(1)
- 정보과학회논문지. JOURNAL OF KIISE. 데이타베이스(1)
- 정보과학회지(1)
- 정보시스템연구(1)
- 정보처리학회논문지. THE KIPS TRANSACTIONS. PART B. PART B(1)
- 정보처리학회논문지. THE KIPS TRANSACTIONS. PART D. PART D(1)
- 정책자료(1)
- 제사기학회지(1)
- 지능정보연구(1)
- 창의력교육연구(1)
- 천문학회지(1)
- 충청수학회지(1)
- 컴퓨터그래픽스학회논문지(1)
- 콘크리트학회지(1)
- 통계학연구(1)
- 통상정보연구(1)
- 통합교육연구(1)
- 퍼지 및 지능시스템학회 논문지(1)
- 푸드아트테라피(1)
- 품질경영학회지(1)
- 한국 시스템 다이내믹스 연구(1)
- 한국ITS학회 논문지(1)
- 한국가정관리학회지(1)
- 한국건축시공학회지(1)
- 한국게임학회 논문지(1)
- 한국고고학보(1)
- 한국관광서비스학회 학술대회(1)
- 한국교류분석상담학회 학술대회지(1)
- 한국교원교육학회 학술대회자료집(1)
- 한국교육정치학회 학술대회지(1)
- 한국군사과학기술학회지(1)
- 한국군사회복지학(1)
- 한국농촌지도학회지= KOREAN JOURNAL OF AGRICULTURAL EXTENSION(1)
- 한국데이터정보과학회지(1)
- 한국박용기관학회지(1)
- 한국보훈논총(1)
- 한국사례관리학회 학술대회지(1)
- 한국사회복지교육(1)
- 한국소음진동공학회논문집(1)
- 한국수산학회지: BULLETIN OF THE KOREAN FISHERIES SOCIETY(1)
- 한국쉘-공간구조학회논문집(1)
- 한국아동심리치료학회지(1)
- 한국우주과학회지(1)
- 한국유기농업학회지(1)
- 한국인간발달학회 학술대회지(1)
- 한국자동차공학회논문집(1)
- 한국전문가시스템학회지(1)
- 한국전자거래학회지(1)
- 한국전자통신학회 논문지(1)
- 한국지역지리학회지(1)
- 한국창의력교육학회 학술대회지(1)
- 한국청각-언어장애교육연구(1)
- 한국측량학회지(1)
- 한국태양에너지학회 논문집(1)
- 한국통신학회논문지. THE JOURNAL OF KOREA INFORMATION AND COMMUNICATIONS SOCIETY. 네트워크 및 서비스(1)
- 한국학습장애학회 학술대회지(1)
- 한국항공운항학회지(1)
- 한국해양공학회지(1)
- 한국해양정보통신학회논문지(1)
-
로드 밸런싱 기능을 갖는 루프 프리 지연 제악 라우팅 알고리즘
최영수, 정진욱, Choe. Yeong-Su, Jeong. Jin-Uk 한국정보처리학회 정보처리학회논문지. The KIPS transactions. Part C Part C 10 Pages
한국정보처리학회 정보처리학회논문지. The KIPS transactions. Part C Part C 2001, No.0 479-488 (10 pages)
디지털 오디오나 비디오와 같은 멀티미디어 트래픽 QoS 제약 조건(종단간 지연, 대역폭 가용성, 패킷 분실률, 지터 등)을 요구하고 있다. 이러한 멀티미디어 트래픽의 제약 조건을 보장하기 위해서는 데이터 전송을 하기 전에 실시간 채널을 설정할 필요가 있으며 그러한 채널의 설정은 QoS 제약 조건을 고려한 효율적인 경로 설정 알고리즘을 필요로 한다. 일반적으로 네트워크에서 지연 제약 조건과 최소 비용을 만족하는 경로를 찾는 것은 NP-complete임이 증명되었다. 따라서 본 논문에서는 간단하고 분산된 루프 프리 라우팅... -
U-WIN을 이용한 한국어 복합명사 분해 및 의미태깅 시스템
이용훈, 옥철영, 이응봉, Lee. Yong-Hoon, Ock. Cheol-Young, Lee. Eung-Bong 한국정보처리학회 정보처리학회논문지. The KIPS transactions. Part B. Part B 14 Pages
한국정보처리학회 정보처리학회논문지. The KIPS transactions. Part B. Part B 2012, No.0 63-76 (14 pages)
본 논문에서는 통계기반의 복합명사 분해 방법과 어휘의미망(U-WIN)과 사전 뜻풀이에서 추출한 의미관계 정보를 이용하는 한국어 복합명사 의미 태깅 시스템을 제안한다. 본 시스템은 크게 복합명사 분해, 의미제약, 그리고 의미 태깅의 세 가지 부분으로 이루어진다. 분해과정은 세종말뭉치에서 추출한 위치별명사 빈도를 사용하여 최적의 구성 명사 분해 후보를 선정하고 의미제약을 위한 구성 명사 재분해와 외래어 복원의 과정을 수행한다. 의미범위 제약과정은 유사도 비교의 계산량을 줄이고 정확도를 높이기 위해 원어 정보와... -
공개 집합 제한 논리 언어의 구현 방법
신동하, 손성훈, Shin. Dong-Ha, Son. Sung-Hoon 한국정보처리학회 정보처리학회논문지. The KIPS transactions. Part A. Part A 6 Pages
한국정보처리학회 정보처리학회논문지. The KIPS transactions. Part A. Part A 2005, No.0 385-390 (6 pages)
`집합 제한 논리 언어`는 `집합 이론`을 프로그래밍에 도입한 언어이다. 본 논문은 A. Dovier 연구팀이 제안한 집합 제한 문제 풀이(solver) 절차를 소개하고, 이 절차가 논리 언어 Prolog 상에서 어떻게 구현 가능한 지를 보인다. 이 절차는 `다시쓰기 규칙(rewrite rule)`으로 표현되어 있는데 이 표현의 특징은 일반 프로그래밍 언어가 표현하기 힘든 비결정적 규칙 적용(nondeterministic rule application)과 수학적 변수 (mathematical variable)를 사용한다는 점이다. 본 연구에서는 이들 특징이 Prolog 언어에서 제공되는... -
리눅스 미들웨어(TMOSM/Linux)에서 주기성을 가진 실시간 태스크의 스케쥴링 향상에 관한 연구
박호준, 이창훈, Park. Ho-Joon, Lee. Chang-Hoon 한국정보처리학회 정보처리학회논문지. The KIPS transactions. Part A. Part A 6 Pages
한국정보처리학회 정보처리학회논문지. The KIPS transactions. Part A. Part A 2004, No.0 483-488 (6 pages)
시간 보장성(timeliness guarantee)이 지원되어야한다. 그러나 현재 대부분의 운영체제는 실시간 태스크의 시간적 제약조건(timing constraints)을 효율적으로 지원할 수 있는 방법을 제공해 주지 못하고 있다. 실시간 응용의 시간적 제약조건을 지원하기 위해서는 운영체제 커널 변경 방법과 미들웨어 방법이 있다. 본 논문에서는 운영체제 변경없이 잘 알려진 Real-time Object Model인 TMO에 근거한 미들웨어 접근 방식을 적용한다. 현재 TMO(Time-triggered Message-triggered Object) 모델을 기반으로 한 미들웨어로 다양한 운영체제... -
IoT 애플리케이션 개발에서 비전형적 이슈 및 솔루션
라현정, 김수동, Ra. Hyun Jung, Kim. Soo Dong 한국정보처리학회 정보처리학회논문지. KIPS transactions on computer and communication systems 컴퓨터 및 통신 시스템 14 Pages
한국정보처리학회 정보처리학회논문지. KIPS transactions on computer and communication systems 컴퓨터 및 통신 시스템 2014, Vol.3 No.10 337-350 (14 pages)
사물 인터넷(Internet-of-Things, IoT)은 무선 인터넷을 기반으로 다양한 디바이스를 연결하고 센서를 통해 환경 정보를 획득하고 이를 기반으로 제어하는 여러 기술이 융합된 컴퓨팅 패러다임이다. IoT 환경에서 애플리케이션은 네트워크에 연결된 여러 디바이스들을 이용하여 사용자에게 유용한 정보와 편의를 제공할 수 있다. IoT 디바이스들은 단순한 정보를 제공하기도 하고, 다수의 디바이스들의 협업에 의한 서비스를 제공하기도 한다. 즉, IoT 애플리케이션은 빠르게 보급되고 있는 IoT 디바이스와 같이 상호작용한다. 이런... -
한정된 전력량을 가진 멀티프로세서 시스템에서 (m,k)-firm 데드라인 태스크를 위한 실시간 스케줄링 기법
공연화, 조현중, Kong. Yeonhwa, Cho. Hyeonjoong 한국정보처리학회 정보처리학회논문지. KIPS transactions on computer and communication systems 컴퓨터 및 통신 시스템 8 Pages
한국정보처리학회 정보처리학회논문지. KIPS transactions on computer and communication systems 컴퓨터 및 통신 시스템 2013, Vol.2 No.6 237-244 (8 pages)
본 연구에서는 전력량 제약을 가진 멀티프로세서 시스템에서 (m,k)-firm 데드라인을 갖는 실시간 태스크를 효율적으로 스케줄링 할 수 있는 방법으로 EMRTS-MK(Energy-constrained Multiprocessor Real-Time Scheduling algorithms for (m,k)-firm deadline constrained tasks) 를 제안한다. EMRTS-MK는 단지 전력 소모량을 최소로 줄이는 것이 목표가 아니라 한정된 전력량을 고려하여 시스템이 주어진 임무 시간(Mission Time) 동안 최소한의 서비스 품질을 보장하고 동시에 가능하면 최대한의 서비스 품질을 제공함을 목표로 한다. 본... -
시간 제약을 포함한 워크플로우 모델링 및 검증
정희택, 이도헌, 김문자, 류영철 한국정보처리학회 정보처리논문지 14 Pages
한국정보처리학회 정보처리논문지 1999, Vol.6 No.2 261-274 (14 pages)
최근에 자동화된 업무처리 시스템으로써, 워크플로우 시스템에 대한 연구가 활발히 이루어지고 있다. 기존 연구에서는 태스크 자체에 시간적 특성을 고려하지 않고 태스크의 상태 변이 특성만을 고려하였다. 본 연구는 태스크의 최소 처리시간과 마감시간을 고려함으로써, 시간 제약을 포함한 워크플로우 모델링 및 검증방안을 제안한다. 이를 위해 첫째, 마감시간을 위배하지 않는 태스크의 철회에 대해 대안 태스크를 결정할 수 있는 우선 순위 함수를 제안한다. 우선 순위 함수는 대안 태스크에 대한 시간요소, 의미적 호환 수준을... -
계층적 설계 환경에서 일관된 타이밍 분석을 위한 분할 및 제한 조건 생성 기술 개발
한상용, Han. Sang-Yong 한국정보처리학회 정보처리논문지 9 Pages
한국정보처리학회 정보처리논문지 2000, Vol.7 No.1 215-223 (9 pages)
VLSI의 집적도가 계속 증가되고 있어 복잡한 칩 설계를 위해서는 설계의 계층성 이용이 매우 중요하다. 계층설계는 대규모의 설계 데이터를 기능의 계층성을 이용하여 분할 설계하기 때문에 오랫동안 이용되어 왔다. 그러나, 계층 설계에서는 분할 설게후 다시 통합하기 때문에 원래의 설계 데이터와 분할${cdot}$통합한 설계 데이터 사이에 타이밍 분석 결과의 차이가 발생할 수 있고 이는 칩 개발 시간을 지연시키는 주요 요인이 된다. 본 논문에서는 계층설계에서 타이밍 문제를 공식화하였고, 타이밍 분석시 림ㅅ설계와 차이가 나는... -
아날로그 제약 조건을 고려한 집적회로의 레이아웃 자동화
조현상, 김영수, 오정환, 윤광섭, 한창호, Cho. Hyun-Sang, Kim. Young-Soo, Oh. Jeong-Hwan, Yoon. Kwang-Sub, Han. Chang-Ho 한국정보처리학회 정보처리논문지 13 Pages
한국정보처리학회 정보처리논문지 1997, Vol.4 No.8 2120-2132 (13 pages)
아날로그 집적회로 설계 자동화를 위한 레이아웃 자동화 도구를 제안하였다. 구현된 시스템은 완전 주문형 방식을 채택하고 아날로그 레이아웃의 제약 조건을 고려하였다. 기존의 아날로그 레이아웃 자동화 도구들이 가지고 있는 단점을 보완하기 위하여 변수화된 모듈 라이브러리를 개발, 복잡한 아날로그 모듈들의 레이아웃을 지원하여 확장성을 극대화하였다. 또한 배선 과정에는 기존의 디크스트라 알고리즘을 개선한 종적 다중 경로 알고리즘을 적용하였다. 구현된 아날로그 레이아웃 자동화 도구는 비교기, 연산증폭기 그리고... -
TOC를 이용한 업무프로세스 효율성 향상
배혜림, 이승현, 조남욱, Bae. Hye-Rim, Rhee. Seung-Hyun, Cha. Nam-Wook 한국정보시스템학회 정보시스템연구 21 Pages
한국정보시스템학회 정보시스템연구 2006, Vol.15 No.1 169-189 (21 pages)


전체 선택해제

총

