• 제목/요약/키워드: System Abstraction

검색결과 264건 처리시간 0.03초

KVM 기반 가상화 환경에서 CPU 스케줄링 관점으로 본 Network I/O 성능간섭 현상 분석 (Analysis of Performance Interference in a KVM-virtualized Environment in the Aspect of CPU Scheduling)

  • 강동화;이경운;박현찬;유혁
    • 정보과학회 컴퓨팅의 실제 논문지
    • /
    • 제22권9호
    • /
    • pp.473-478
    • /
    • 2016
  • 가상화 기술은 한정된 물리자원을 추상화하여 다수의 가상 자원 형태로 사용자에게 제공하는 기술로써 자원 활용률을 높이고 유동적으로 서비스를 제공할 수 있다는 장점이 있다. 하지만 한정된 물리자원을 다수의 가상머신이 공유하는 가상화 기술의 특성상, 자원 공유로 인한 성능 간섭 현상이 발생하는 문제가 있다. 이는 호스트 운영체제의 CPU 스케줄러가 가상머신에서 실행중인 프로세스의 특성을 고려하지 않고 스케줄링 하기 때문이다. 이러한 문제를 해결하기 위해 다양한 연구들이 진행되었지만 실제 근본적인 성능 간섭의 원인 분석에 대해서는 다루고 있지 않다. 본 논문에서는 KVM 기반 가상화 환경에서 가상머신의 성능 간섭의 원인을 분석하기 위해 다양한 시나리오에서의 프로파일링을 수행하고, 그 결과를 분석하여 CPU 스케줄링 관점에서 성능 간섭 현상의 원인과 그 해결 방안을 제시한다.

대만과 우리나라의 수학 교육체계 및 대수 교육과정과 교과서 비교 -TIMSS 2007 결과를 중심으로- (The analysis for mathematics education system, algebra curriculum and textbooks of Chinese Taipei and Korea by TIMSS 2007 results)

  • 김선희;김경희
    • 한국수학사학회지
    • /
    • 제23권4호
    • /
    • pp.101-122
    • /
    • 2010
  • TIMSS 2007 결과에서 국저l 성취 순위 1위를 차지한 대만에 비해 우리나라는 대수 영역에서 통계적으로 유의하게 낮은 정답률을 보였다. 이에 본 연구에서는 대만의 목표, 수학 수업 환경, 수학 수업 활동을 우리나라와 비교하고, 대수 영역의 교육과정을 구체적으로 살펴보았다. 특히, 우리나라의 정답률이 대만의 정답률에 비해 낮은 대수 영역의 '패턴'과 '대수식'의 주제의 개념 도입 순서, 교과서 내용 전개에 대하여 TIMSS의 평가목표별로 분석하였다. 일반적으로 대만의 수학교육은 학생 특성으로 연해 교사들이 수업에 제약을 많이 받고 있었고 우리나라보다 숙제와 시험을 강조하는 경향이 있었다. 대만의 교과서는 정의, 성질 위주로 제시되는 다소 형식적인 모습이었으며 다소 성급한 유도하고 있었다. 그리고 수의 연산 법칙 문자, 방정식, 부등식, 곱셈공식, 이차 방정식, 피타고라스의 정리 등의 내용이 우리나라보다 이른 시기에 도입되고 여러 학년에 걸쳐 중복하여 다루어지는 경향을 보였다.

원발성 월경곤란증에 대한 침구치료 관련 무작위배정 임상시험의 체계적 고찰: 한국 문헌을 중심으로 (Acupuncture and Moxibustion for Primary Dysmenorrhea in Korean Literatures: A Systematic Review of Randomized Controlled Trials)

  • 김정완;박봉기;전종익;임윤경
    • Journal of Acupuncture Research
    • /
    • 제32권2호
    • /
    • pp.123-130
    • /
    • 2015
  • Objectives : Primary dysmenorrhea is one of the most common female gynecological diseases. Acupuncture and moxibustion therapy have been used to treat dysmenorrhea in Korea. The aim of this review was to examine the effectiveness of acupuncture and moxibustion therapy for primary dysmenorrhea as described in studies in Korea. Methods : A total of 8 databases were searched, with the search concluding February 15, 2015. These were the Oriental Medicine Advanced Searching Integrated System, DBpia, Korean Studies Information Service System, National Digital Science Library, Korean Traditional Knowledge Portal, Research Information Sharing Service, and Pubmed. Randomized controlled Trails(RCTs) comparing acupuncture or moxibustion therapy with non acupoints stimulation or medication were selected. Data abstraction and assessment of methodology was conducted by authors and disagreements were resolved by discussion. Results : 7 trials were included in this review, with a total of 308 participants. 4 trials reported on acupuncture, 1 trial reported on acupress by magnet, 1 trial reported on pharmacopuncture, and the other trial reported on moxibustion. Quality of methodology was low. 2 trials showed that experimental therapy was effective for pain relief compared to the controlled group. However, 5 trials did not show a significant difference in pain relief. Conclusions : Acupuncture and moxibustion therapy may reduce period pain, however, it is needed for well designed RCTs in Korea.

C++ 프로그래밍을 위한 구체적 객체 모델의 작성법 (A Technique of Deriving Concrete Object Model for C++ Programming)

  • 김태균;임채덕;송영기;인소란
    • 한국정보처리학회논문지
    • /
    • 제4권3호
    • /
    • pp.731-746
    • /
    • 1997
  • 객체 지향 패러다임의 확산으로 인하여 소프트웨어 개발을 위한 객체 모델의 사용이 일반화되고 있다. 소프트웨어 요구사항의 분석 및 설계 결과로 생성되는 객체 모델은 소프트웨어의 구현 시에 많은 도움이 된다. 특히 작성된 객체 모델이 구체적인 경우에는 자동적인 원시 코드의 생성도 가능하다. 따라서 시스템 분석기나 설계자는 분석 단계 단계 초반기의 추상적인 객체 모델을 정제함으로써 구체적인 객체 모델을 유도하기 위해 많은 시간을 투입해야 한다. 그러나 추상적 객체 모델을 구체적 모델로 정제하는 과정은주 로 설계자의 비정형적인 경험에 의하여 이루어지는 것이 현실이다. 본 논문에서는 OMT(Object Modeling Technique)의 객체 모델을 대상으로 추상적 모델의 구체화 기법을 논한다. 따라서 본문에서 제시되는 주된 내용은 객체 모델의 추상화 정도에 대한 정희와 모델 의 변환 규칙에 대한 것이다. 이 변환 규칙은 정보 통신 서비스 개발 프로세스 모형화 개발 지원 도구의 일부분은 프로세스 모델러(Process Moedeler)의 설계시에 적용되고 있 으며 그 결과로 C++ 코드로 변환하기 쉬운 구체적 객체 모델을 얻을 수 있었다.

  • PDF

객체지향 페트리 넷을 이용한 계층적인 요구사항의 명세 및 검증 (Hierarchical Specification and Verification of Requirements using An Object-Oriented Petri Net)

  • 홍장의;윤일철;배두환
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제27권2호
    • /
    • pp.157-167
    • /
    • 2000
  • 요구사항이 복잡하고 다양해지면서 정형적인 방법을 이용한 시스템 명세가 방대해지고 이해하기 어려워진다는 문제들이 생겨났다. 따라서 요구사항의 명세를 위해 모듈화 및 객체화 개념 등을 도입하고 있으며, 특히 복잡한 시스템의 경우에 있어서는 요구사항을 하향식 접근 방법에 의해 분할하고, 이들을 각각 정형적으로 명세하여 합성하는 접근 방법을 사용하고 있다. 본 연구에서는 이러한 추세에 따라 요구사항을 계층적으로 모델링하고, 객체지향 개념을 충분히 표현할 수 있는 정형적인 방법을 제안한다. 제안된 객체지향 페트리 넷인 HOONet은 모듈화, 객체화, 추상화, 및 상세화 등의 개념을 지원하도록 설계되었으며, 복잡한 요구사항을 체계적으로 명세할 수 있는 방법을 제공한다. 특히 요구사항이 부분적으로 제시되었거나, 분석이 전체적으로 완료되지 않은 상황에서도 명세 및 검증이 가능하도록 하였으며, 점진적인 명세의 합성을 통해 시스템 모델링이 이루어지도록 하였다.

  • PDF

상황인지 시스템에서 대용량의 데이터 처리결과를 컨텍스트 정보로 제공하기 위한 방법 (A Method to Provide Context from Massive Data Processing in Context-Aware System)

  • 박유상;최종선;최재영
    • 정보처리학회논문지:소프트웨어 및 데이터공학
    • /
    • 제8권4호
    • /
    • pp.145-152
    • /
    • 2019
  • 단일 센서기기로부터 수집된 데이터와는 다르게 대용량의 데이터는 입력데이터의 구성 및 크기가 가변적이고, 처리 완료시점을 예측할 수 없는 특징을 갖고 있다. 상황인지 시스템이 이러한 환경의 요구사항을 적용하게 되면 컨텍스트 표현방법과 처리모듈들이 개별로 구성되어 해당 입력자료에 대한 호출 및 처리루틴이 복잡하게 구현될 수 있는 문제점이 있다. 이러한 문제점을 해결하기 위해서 본 논문에서 제안하는 처리방법은 온톨로지 기반의 지식표현을 통해 컨텍스트를 표현하고, 대용량의 데이터 처리결과를 반환하는 모듈의 중복 실행을 방지하여 컨텍스트 정보를 제공하기 위한 동작순서를 함께 기술한다. 실험에서는 헬스케어 환경에서 발생하는 센싱데이터 중 대용량의 데이터 처리결과를 필요로 하는 서비스에 대해 기술하고, 기존의 센싱데이터를 바탕으로 서비스를 제공하는 처리과정과 함께 대용량의 데이터 처리결과를 컨텍스트 정보로 제공하는 과정을 보인다.

고지도 계통 연구를 활용한 기술요소에 관한 연구 - 프랑스국립도서관 소장 「영연도」를 중심으로 - (A Study on the Description Elements Using Genealogy Research of Old Maps: Focused on 「Yeongyeondo」 in National Library of France)

  • 유종연;정연경
    • 한국문헌정보학회지
    • /
    • 제58권1호
    • /
    • pp.199-224
    • /
    • 2024
  • 해외 소장 한국 고지도는 자료의 물리적 접근이 어려운 점과 고지도의 추상성 등으로 인해 연구하는데 제약이 있다. 따라서 서지사항이나 기술요소에 좀 더 자세하고 전문적인 특성이 반영되어 이를 통해 고지도 연구에 도움이 되는 정보가 제공되어야 한다. 본 연구는 한국고지도의 계통을 연구할 때 필요한 고지도의 요소를 해주신본 계통의 고지도를 바탕으로 분석하여 고지도 기술요소로 도출하였다. 그리고 이렇게 도출된 총 8개 영역의 56개 고지도 기술요소를 바탕으로 국내에 잘 알려지지 않은 해외 소재 주요 고지도인 프랑스국립도서관 소장 「영연도」에 적용한 후, 고지도 연구의 접근성과 활용성에 도움이 되는 고지도 기술요소 최종안을 제안하였다.

하드웨어 설계 교육에서의 TOP-DOWN 접근방법 : 논리설계 과목을 중심으로 (A Top-Down Approach to the Hardware Design Education Focusing on the Logic Design Courses)

  • 이강;정경훈;한윤식
    • 공학교육연구
    • /
    • 제6권2호
    • /
    • pp.22-29
    • /
    • 2003
  • 하드웨어 설계 교육의 궁극적인 목표는 학생들로 하여금 시스템 설계능력을 갖추도록 배양하는 데에 있다. 그러나 상당수의 기존 교과과정은 설계 자체보다는 개별적인 빌딩 블록의 내부동작 원리의 이해를 중심으로 운영되는 것이 현실이다. 따라서, 학생들의 학습동기 유발에 실패할 뿐만 아니라 정작 현장에서 필요로 하는 시스템적 관점에서의 설계를 충분히 경험하지 못하는 것이 문제점으로 지적된다. 이러한 문제점들을 극복하기 위한 대안으로, 과목의 초기 도입부에 추상화의 수준을 높여서 시스템의 전체 설계를 조망할 수 있도록 하고, 점차로 추상화의 단계를 낮추어서 결국 소자의 동작 원리를 탐구하는데 이르도록 강의의 순서를 역전시킬 필요성이 있다. 본 논문에서는 하드웨어 설계의 입문 과목인 논리설계 교과목을 대상으로 하여, 시스템 수준의 설계표현 및 검증방식을 먼저 소개하고 소자에 대한 세부지식은 후반부에 소개하는 새로운 교육방식을 제안하고 이의 타당성을 검증하기 위해 교내의 동아리를 활용한 비정규 교육과정에 이를 도입한 사례를 소개한다.

기후변화에 따른 작물의 수량 예측을 위한 시스템 요구도 분석 (Requirement Analysis of a System to Predict Crop Yield under Climate Change)

  • 김준환;이충근;김현애;이변우;김광수
    • 한국농림기상학회지
    • /
    • 제17권1호
    • /
    • pp.1-14
    • /
    • 2015
  • 온실가스 증가로 인한 기후변화는 농업 생태계에 다양한 경로로 영향을 미쳐 작물 생산에 영향을 미칠 수 있다. 또한, 농업 생태계는 생물, 기후, 토양 및 경제 환경이 서로 복잡하게 연결되어 있어 개별 분야에 초점을 맞춘 적응 대책들은 농업 부문 내 다른 영역에 의도하지 않은 파급 효과를 초래할 수 있다. 기후변화 조건에서 복잡한 농업 생태계의 상호작용을 고려하면서 최적의 작물 생산성을 유지하기 위해 개별분야별 모델을 연계한 통합 예측 시스템 구축이 요구된다. 이러한 통합시스템을 구축하기 위해서는 단계적 접근이 필요하다. 국내에서 사용되고 있는 모델들은 통합시스템에 적합하도록 설계된 것이 아니기 때문에, 이를 위한 모델의 재개발이 필요하다. 농업생태계 감시를 위한 수퍼사이트와 위성사이트의 구축을 통해 장기간 작물 생육 자료를 확보하고 이를 개별 분야 모델의 개선에 활용할 수 있다. 모델 대상의 추상화와 상속과정을 통해 보다 유연한 형태의 통합 모델의 모듈 개발이 가능할 것이다. 마지막으로, 농업분야는 사회경제적인 요인에 지대한 영향을 받기 때문에, 농업생산과 경제분야가 연계될 수 있는 통합 시스템 구축이 바람직 할 것 이다.

Effects of Representation Forms on Analysts' Identification of Systems Development Problems - An Empirical Study -

  • 김종욱
    • Asia pacific journal of information systems
    • /
    • 제10권2호
    • /
    • pp.71-95
    • /
    • 2000
  • Despite repeated exhortation about the importance of social and human dimensions of systems development, socio-organizational issues continue to be neglected and ignored in the current information systems practice. A review of the human information processing literature suggests that the reasons for this continuing lack of attention to social issues may be found in the limitations of human cognition and information processing capacities. Bostrom and Heinen(1978) and Kumar and Bjorn-Anderson(1990) also suggest that the inadequate attention to social problems and issues by the analyst could originate from the analysts limited problem perception. This research explores how the representation forms of information systems(IS) methodology used in understanding and modeling the problem situation affect such systems development problem perception. Typically, a system development methodology prescribes the use of system models(i.e., system representations) to understand, analyze, evaluate, and design the information system. Given the size and complexity of information systems, and the abstraction and simplification underlying the modeling process, system representations usually depict only a limited set of aspects of the system. Thus, a methodology whose representations are limited to technical aspects will tend to limit the analyst's perspective to a technical one only(Kumar & Welke, 1990). Following the same line of argument, in contrast, it is the conjecture of this study that a methodology which specifies both social and technical aspects of IS development will help the analyst develop a more comprehensive view of the IS problem domain. Based on the above concept, a theoretical model was first developed which explained the systems analysts cognitive process. Drawing on this model, a research model was developed hypothesizing the impacts of representation forms on problem identification. The model was tested using a laboratory experiment with 70 individual subjects. A special computer software was developed with a hypermedia authoring tool to conduct the experiments in order to avoid experimenter biases and to maintain consistency in administrating repeated experiments. The program, designed to replace the experimenter, consisted of functions such as presenting the subjects with problem material, asking the subjects questions, and saving the typed answers of the subjects. The results indicate that representation forms strongly influence problem identification. It was found that the use of the socio-technical representation form led to the findings of more social problems than the use of technical representation form. The results imply significant effects of representation forms on problem findings and also suggest that the use of adequate representation forms may help overcome dysfunctional effects of our limited information processing capacity.

  • PDF