• 제목/요약/키워드: 절차언어

검색결과 233건 처리시간 0.029초

테스트 데이터 자동 생성을 위한 적합도 평가 방법의 효율성 향상 기법 (An Improved Technique of Fitness Evaluation for Automated Test Data Generation)

  • 이선열;최현재;정연지;배정호;김태호;채흥석
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제37권12호
    • /
    • pp.882-891
    • /
    • 2010
  • 테스트 데이터를 자동으로 생성하기 위한 동적 테스트 데이터 생성에 관한 많은 연구가 이루어졌다. 동적 테스트 데이터 생성 방법은 가공 테스트 대상 프로그램(SUT; Software Under Test)을 실행시켜 기존의 테스트 데이터의 적합도를 평가하고, 평가된 적합도 값과 최적의 알고리즘을 이용하여 새로운 테스트 데이터를 생성하는 방법이다. 최근에 전역 최적화 알고리즘을 이용한 동적 테스트 데이터 생성에 관한 많은 연구가 이루어져 왔고, 이 알고리즘을 통해서 테스트 대상 프로그램 (SUT)의 커버리지를 높일 수 있는 데이터를 생성할 수 있다는 것이 실험적으로 밝혀졌다. 그러나 최적화 알고리즘은 오랜 연산 시간이 필요하기 때문에, 이를 이용한 방법은 테스트 데이터를 생성하기 위해 많은 시간이 걸린다는 단점이 있다. 본 논문에서는 최적화 알고리즘을 이용한 동적 테스트 데이터 생성의 시간을 줄이기 위하여, 최적화 알고리즘의 절차 중 적합도 평가 시간을 줄이는 방법을 제안한다. 이를 위하여 SUT의 테스트 목표 경로로 부터 생성된 적합도 평가 프로그램(FEP)을 정의하고, 가공 SUT 실행하는 대신 소개된 FEP를 이용한 적합도 평가 방법을 제안하고 'ConGA'라는 도구를 구현한다. 그리고 C언어로 작성된 프로그램을 'ConGA'를 이용하여, 테스트 데이터 생성 효율성을 확인하였다. 이 실험을 통하여 제안된 방법이 기존의 방법보다 테스트 데이터 생성에 걸린 시간을 평균적으로 약 20% 줄인 것을 확인할 수 있었다.

능동문서: 서식설계자의 프로그램 (Active Documents: Programs by Form Designers)

  • 남철기;배재학;유해영
    • 정보처리학회논문지B
    • /
    • 제10B권6호
    • /
    • pp.599-610
    • /
    • 2003
  • 웹은 정보 제공원으로서 중요한 역할을 하며 대부분의 웹 응용프로그램은 문서 중심이다. 문서는 문서설계자의 의도를 함축하고 있으며 이는 업무처리 과정의 자동화에 적극적으로 활용될 수 있다. 이러한 문서기능의 본질 파악을 통해 본 논문에서는 특별한 경우, 문서를 실행 가능한 컴퓨터 프로그램으로 보는 시각으로 접근하였다. 이를 위해 서식, 지식베이스, 규칙 그리고, 질의로 구성되는 능동문서 모델을 제안하였다. 이 모델의 각 요소는 문서의 재사용과 상호 운용성을 위해 XML로 일관되게 표현된다. 소개한 능동문서는 사용자 인터페이스를 제공하는 수동적인 역할뿐만 아니라 문서설계자가 의도하는 문서처리 절차와 업무규칙을 기계가 읽고 추론하여 처리할 수 있게 하는 문서이다. 이를 통해 문서와 기계가 상호작용을 할 수 있으며 다른 응용 프로그램과 협력할 수도 있다. 이러한 능동문서의 적용 가능함을 보이기 위해 기업 간 거래(B2B) 시스템에서 구매주문 처리의 예를 보였다. 서식문서를 컴퓨터 프로그램의 시각으로 바라보는 본 논문의 접근법을 통해 본 연구는 문서중심의 지능적인 응용프로그램 개발을 가속화하는 발판을 마련할 수 있을 것이다. 요컨대 본 논문에서 제시한 능동문서는 지식표현 및 처리기능이 내장되어 있는 바, 시맨틱 웹(Semantic Web)이 추구하는 문서의 역할을 담당할 수 있을 것으로 기대한다.

차세대 통신망을 위한 G.729.1 광대역 음성 코덱을 활용한 인터넷 단말 구현 (Implementation of Internet Terminal using G.729.1 Wideband Speech Codec for Next Generation Network)

  • 소운섭;김대영
    • 한국통신학회논문지
    • /
    • 제33권10B호
    • /
    • pp.939-945
    • /
    • 2008
  • 본 논문에서는 차세대 통신망을 위한 G.729.1 광대역 음성 코덱을 활용한 인터넷 단말을 구현한 절차와 결과에 대해 기술하였다. 이러한 목적을 이루기 위해 먼저 음성 코덱 처리를 위한 DSP 기능을 가지며, 비디오 코덱 처리를 위한 향상된 멀티미디어 가속기 기능을 가진 고성능 RISC 응용 프로세서를 선택하였다. 단말 구현에 사용한 G.729.1 광대역 음성 코덱은 ITU-T에서 최근 표준화 된 것으로 G.729 음성 코덱 표준을 확장한 새로운 스케일러블 음성 및 오디오 코덱이다. G.729.1 코덱의 프로세서에서 처리 시간을 줄이고, 단말에 적용하기 위해 계산량이 많이 필요한 부분의 고정 소수점 C 코드를 어셈블리 언어로 변환하였다. 그 결과 원시 C 코드의 실행 시간을 약 80% 줄여서 단말에서 실시간으로 동작시켰다. 비디오 코덱은 프로세서의 eMMA 하드웨어에서 지원되는 H.263/MPEG-4 코덱을 사용하였다. 실제 망에 접속판 SIP 호 처리 시험에서 단 대 단 지연은 100ms 이하이고, PESQ 장비로 측정한 MOS 값은 평균 3.8 이었으며, 상용 단말들과의 연동 시험에서도 정상적으로 동작하였다.

퍼지 TOPSIS를 이용한 신임교수선택을 위한 집단의사결정 (Group Decision Making for New Professor Selection Using Fuzzy TOPSIS)

  • 김기윤;양동구
    • 디지털융복합연구
    • /
    • 제14권9호
    • /
    • pp.229-239
    • /
    • 2016
  • 본 논문의 목적은 대학의 신임교수선택 문제를 해결하기 위해서, TOPSIS 방법을 퍼지 환경에 적용시키는 것이다. 이를 위해서, 본 논문에서 각 후보자에 대한 평가와 평가기준에 대한 가중치는 사다리꼴 퍼지 수로 표현되는 언어적 용어로 기술된다. 여기서 두 사다리꼴 퍼지 수들 간의 거리는 vertex 방법으로 측정한다. 그리고 TOPSIS 개념에 따라서, 근접계수를 구해서 모든 후보자들의 우선순위를 결정한다. 본 연구에서는 1) 신임교수선택을 위한 4 개 평가기준(연구실적, 교육연구역량, 인성, 전공 적합성), 2) 집단의사결정을 위한 퍼지 TOPSIS 방법의 5단계 절차, 3) 신임교수선택 사례를 통해서 4명 후보자들의 우선순위를 도출했다. 본 논문의 결론은 퍼지 자료를 분석하려는 전문가에게 활용될 수 있고, 또한 인사관리에서 직원선택문제를 해결하는 다기준 의사결정 도구로도 유용하게 사용될 수 있다. 끝으로 이와 같은 연구결과가 갖는 이론적 및 실천적 함의를 논의했고, 향후 연구방향을 제시했다.

장자(莊子)가 진인(眞人)을 통하여 밝힌 자연(自然)과 진인관(眞人觀)에 따른 인간관(人間觀) - 『장자(莊子)』 「대종사(大宗師)」의 진인(眞人)을 중심으로 - (Fundamental Epistemology on Nature Examined by Zhuangzi through the Man of Truth)

  • 반승현
    • 철학연구
    • /
    • 제137권
    • /
    • pp.193-223
    • /
    • 2016
  • 본 논문은 "장자"의 철학적 사상을 인식하고 있는 진인(眞人)에 관한 정체성을 분석하고 해석하여 그 것을 파악 한 후에 이론적으로 구성한다. 그리고 그에 따른 장자철학 사상을 고찰하는 데 초점을 두고 작성하는 것을 목적으로 전개하고 있다. "장자" "대종사(大宗師)"에 등장하는 진인의 정체성에 대한 문제의식은 그가 형이상학적 인물이고 그를 나타내는 말들은 현대인이 살펴서 느끼기에 매우 난해한 글로 쓰여 있다. 따라서 진인이 지니고 있는 사색적(思索的) 능력들은 세속적 생활을 하고 있는 인간이 체득하기에는 너무 초월적 개념으로 이루어져 있으며 어쩌면 설화(說話)에 가까운 느낌이 들게 한다. 이러한 진인의 초월적 기능들을 알 수 있는 방법은 장자의 무위(無爲)를 이해하는 데에 있다. 그리고 무위는 만물에 작용하여 생명체를 생성시키는 도리(道理)의 개념을 정리하는 관점에서 만든 언어적 표현으로 볼 수 있다. 여기에는 만물의 생명체들이 자연의 공능에 대하여 불가항력적(不可抗力的) 물리성(物理性)이 내재되어 있는 관점을 간과할 수 없다. 그래서 본고는 자연의 초월적 공능을 진인에서 파악하고 그 원리적 작용을 연구하는데 중점을 두고 있다. 그러면 과연 진인의 안팎은 어떠한 모습을 갖고 있나 궁굼증이 있을 수 있다. 이에 그의 초인적 모습을 "대종사"에서 발췌하여 정리하고, 아울러 그가 천지만물에 대하여 처세하는 방법을 자연적 관점에서 살피고 정리했다. 그런데 여기에서 장자의 글 이외에 유가와 법가의 글이 나타나고 있다. 이것 역시 분석하고 파악하는 절차를 통하여 문제의식을 연구하여 본다. 그러나 조사적(調査的) 개념을 지양(止揚)하고 학문적(學文的) 차원으로 접근하여 동양이 갖고 있는 고유한 정신과 사상을 고찰하는데 중점을 두었다.

DP운항사 NCS개발 및 전문인력양성 활성화 방안에 관한 기초연구 (A Basic Study on NCS Development and Professional Training Activation for DP Operators)

  • 김이완;이진우;이창희;예병덕
    • 해양환경안전학회지
    • /
    • 제23권6호
    • /
    • pp.628-638
    • /
    • 2017
  • 최근 국내 일부 항해사들은 해운산업의 어려운 취업환경을 극복하고, 직업선택의 저변을 확대하기 위하여 승선경력을 기반으로 국내외 교육기관에서 DP운항사 교육을 이수하여 직종을 전환하고자 노력하고 있다. 그러나 아직까지 국내에서는 해양플랜트 서비스 산업이 활성화 되어있지 않기 때문에 동 분야로 진출하고자 하는 항해사들은 어렵게 자격취득을 위한 실습을 마치고 대부분 해외선사로 진출하고 있다. 그럼에도 불구하고 DP운항사로 취업을 희망하는 항해사들은 경력을 중시하는 해외 해양플랜트 기업의 보수적인 채용 절차, 비영어권 출신자의 언어사용의 한계, 다문화 승선생활의 어려움, 필수 직무요건에 대한 체계적인 정보 부족 등의 이유로 구직 단계에서 부터 어려움을 겪고 있다. 따라서 이 연구는 DP운항사가 갖추어야 할 직무능력 및 자격 요건을 분석하여 국가에서 요구하는 최소한의 능력 수준을 제시하고 있는 NCS 표준 개발을 위한 기초자료를 제공하고, DP운항사 전문인력양성을 활성화하기 위한 방안을 제시하는 데 목적을 두고 있다. 본 연구의 결과로서, DP운항사의 직무 분류, 직무능력표준 및 경력개발경로를 제시하였고, DP운항사 양성 활성화 방안으로서 DP 실습선박의 공동 활용, DP 전문 교원 양성 및 정부주도 NCS 수출모델을 제안하였다.

Independent I/O Relay Class Design Using Modbus Protocol for Embedded Systems

  • Kim, Ki-Su;Lee, Jong-Chan
    • 한국컴퓨터정보학회논문지
    • /
    • 제25권6호
    • /
    • pp.1-8
    • /
    • 2020
  • 스마트팩토리, 산업용 드론, 빌딩 에너지 관리 시스템, PLC, 선박, 기차 및 비행기를 포함한 산업현장에서 Modbus프로토콜을 사용하여 시스템 모듈 간 통신을 적용한다. 기존의 Modbus는 시리얼 직렬통신으로 사용되었지만, 최근 Modbus프로토콜은 TCP/IP 통신으로 사용된다. Modbus프로토콜은 3가지 유형의 RTU, TCP 및 ASCII를 지원하고 임베디스 시스템에 프로토콜을 구현 하여 사용 한다. 하지만 RTU, TCP, ASCII기반의 프로토콜은 각 송신 I/O장치가 다를 수 있다. 예를 들어 RTU, ASCII 통신은 시리얼기반으로 통신 프로토콜을 송신하지만 이더넷 TCP/IP 송신을 요구하는 경우도 있다. 이와 같은 문제는 특히 임베디드 시스템에서 C언어(절차 지향)를 사용하기 때문에 I/O레지스터 관련 소스코드의 복잡성 증가 문제가 발생된다. 본 연구는 임베디드 장치에서 I/O함수를 논리적으로 분리가능한 소프트웨어 설계를 진행하고, 더불어 대리자 클래스 인스턴스를 통하여 I/O처리가 필요한 각 인스턴스의 수행 로직을 Modbus RTU, TCP, ASCII프로토콜 생성으로 설계 하였고 인스턴스별 통신 I/O처리와 논리적 수행 로직을 분리 가능한 소프트웨어 설계와 실험을 하였다.

법원도서관 장서개발정책 수립을 위한 이용자 인식조사 연구 (A Study on Perceptions for the Establishment of Collection Development Policy in Court Libraries)

  • 곽승진;노영희;장인호;김정택;신영지
    • 한국도서관정보학회지
    • /
    • 제52권3호
    • /
    • pp.1-20
    • /
    • 2021
  • 본 연구는 법원도서관이 법률 관련 전문서비스를 책임지는 국내 최고의 법률전문도서관으로 자리매김하는데 있어서 가장 중요한 구성요소이며 핵심역량 제고의 원천이 될 장서개발정책을 수립하기 위해 일반 이용자와 법률 관련 분야 전문가를 대상으로 인식조사를 실시하였다. 그 결과, 첫째, 일반 이용자의 요구 기반 장서 수집 방향을 살펴보면, 장서 유형의 경우 도서, 전자자료, 비도서 순의 선호도를 고려해야 하며, 세부 정보원 유형과 관련해서 일반 이용자들은 단행본, 연속간행물 등 도서에 대한 선호가 높은 것을 반영하여 장서개발정책을 계획해야 할 것으로 보인다. 또한 비도서 부분에서는 오디오 보다 비디오 형태의 비도서자료를, 언어의 경우 국내서에 대한 선호도가 월등하게 높아 국내서 위주로 장서를 수집해야 할 것으로 보인다. 둘째, 전문가의 요구 기반 장서 수집 방향을 살펴보면, 전문가는 만족도가 대체적으로 낮게 나타나 이를 개선할 수 있는 장서개발정책이 수립되어야 할 것으로 보인다. 정보원 유형의 경우 전자자료, 도서, 비도서 순으로 선호도가 나타났으며, 전체 정보원 비율 구성 시, [도서] 단행본과 더불어 전자책, 멀티미디어자료, 전자저널 등 전자자료에 대한 수집량과 범위를 확대할 필요가 있다. 주제별 장서는 절차법류, 전문분야, 기본 실체법류, 법률총서 순으로 나타난 선호도를 기반으로 향후 장서 수집 방향을 이루어야 할 것이며, 또한 동일 도서에 대한 수집 시 인쇄보다 전자형태의 법률 자료 확보를 고려해야 한다. 또한 국내서 위주로 장서를 수집할 필요가 있으며, 이어 영미서, 일본서, 독일서 등의 우선순위로 수집 범위를 확대해야 할 것으로 보인다.

정보처리모형을 이용한 중학교 『사회 1』 교과서 수록 매체 분석 (An Analysis of Media of Social Studies 1 Textbooks for the Middle School with the Information Processing Model)

  • 송기호
    • 한국문헌정보학회지
    • /
    • 제53권2호
    • /
    • pp.5-27
    • /
    • 2019
  • 본 연구의 목적은 정보처리모형을 이용하여 중학교 사회 1 교과서 수록 매체를 분석하고, 사서 교사가 협동수업에서 제공할 수 있는 교육 정보서비스 내용을 제안하는 것이다. 이를 위하여 2015 개정 교육과정하에서 개발된 8종의 사회 1 교과서에 포함된 총 1,089개의 탐구 과제를 분석하였다. 투입 요소로서의 매체는 매체의 유형으로 분석하고, 매체의 처리 요소로서의 특징은 인지행동 유형으로 분석하였다. 그리고 매체의 산출 요소 측면은 다중지능을 활용하였다. 분석결과 탐구 과제 해결 과정에서 투입되는 매체는 사진과 삽화 중심의 시각자료와 일반적인 읽기 자료가 주류를 이루었다. 처리 방법은 구조화를 통한 분석과 추론을 통한 이해인 것으로 나타났다. 그리고 산출 방법은 말하기와 쓰기 중심의 언어지능 요소를 활용하였다. 이러한 분석 결과를 토대로 사서 교사가 사회과 탐구 활동을 위하여 제공할 수 있는 교육정보서비스를 정보처리 단계별로 교육과정 지도 제작, 탐구 절차와 탐구 기술의 지도 그리고 다중지능별 교수 학습전략과 그래픽 조직자를 활용한 학습지 개발 측면에서 제안하였다.

잡색의 몸짓과 그 의미 - 잡색놀음과 마임의 대비적 고찰 - (A Contrastive Study of Japsaeknorum and Mime)

  • 이영배
    • 공연문화연구
    • /
    • 제18호
    • /
    • pp.103-136
    • /
    • 2009
  • 이 글은 잡색들의 행동 양상과 의미를 분석하여, 마임 특히 서구 모던 마임과 대비해 봄으로써 풍물굿 잡색놀음에서 몸짓언어의 특징이 무엇인지를 추출하고자 하였다. 그런데 즉흥성과 상황성이 강한 잡색들의 행동을 분석하기 위해서는 일정 정도 고정되고 구체적인 양상이 담겨 있는 공연-텍스트가 필요하였다. 따라서 그러한 공연-텍스트로서 1980년 8월 15일에서 16일에 임실군 강진면 필봉리에서 공연된 필봉농악을 담은 영상 기록물을 택하고, 그 영상에 기록된 잡색의 행위와 의미를 굿 절차와 결부시켜 분석하였다. 이를 통해 얻은 결과는 아래와 같다. 잡색들의 행위는 첫째 가락과 진법에 종속되어 있는 행위들로 나타나는데, 기굿에서는 용기의 깃대에 올리는 헌주례로 잡색들의 행위가 계열화되고, 당산제에서는 당산신에게 드리는 제사에 종속된다. 둘째 당산제에서 쇠치배와 잡색들의 위치는 그들의 행위가 대응되는 구도로 나타나고 이는 적대적인 의미를 띠는 것으로 분석된다. 셋째 샘굿에서 잡색들의 행위는 인간 친화적인 성격을 띠며 문화적인 공간에서 의미화되거나 통제된 것으로 해석된다. 넷째 대포수의 일상적인 행위는 샘굿의 의식이 진행되는 상황에 부적합한 것으로 재현되기 때문에 희극성이 표출된다. 다섯째 마당밟이에서 잡색들의 행위는 상쇠의 지휘를 보강하는 성격이 강하기 때문에 상쇠, 가락, 진에 더욱 종속된 행위들로 분석된다. 여섯째 걸궁맞이에서 잡색들의 행위는 정치적 목적과 경제적 목적을 달성하기 위한 문화적 행위로 의미화된다. 일곱째 판굿에서 잡색들의 행위는 종속과 일탈의 변주 속에 놓이는데, 도둑잽이를 거쳐 탈머리굿에서 조정되거나 종결된다. 한국 마임의 극 형식과 방법/기술 등이 서구 연극의 유산이라는 점은 분명해 보인다. 그럼에도 불구하고 한국 마임의 역사 속에서 중요하게 인식되는 점은 마임 형식과 내용의 원천을 우리나라 전통 연극에서 찾으려고 노력해온 점이다. 이는 한국 마임의 정체성에 대한 모색이라고 할 수 있겠다. 따라서 마임이란 서구적 형식에 한국적인 정서와 마음을 담아내기 위한 한 방법으로 풍물굿의 잡색놀음에서 보이는 무언극적 요소와 그 의미들을 검토하는 작업은 매우 유용하다 할 것이다.