• Title/Summary/Keyword: 실행수준

Search Result 1,021, Processing Time 0.038 seconds

Assessment of children's rights by children and adolescents -Comparison of elementary, middle and high school students- (아동·청소년의 아동권리인식 -초등학생, 중학생, 고등학생 비교-)

  • Kim, Jin Sook;Jang, Yeon Jin
    • Journal of Digital Convergence
    • /
    • v.15 no.6
    • /
    • pp.83-96
    • /
    • 2017
  • This study aims to explore how to improve students' rights based on their age and development stages. To this end, we analyzed a survey that had been carried out with 1,065 students from elementary, middle and high schools in 2 most populated counties in Korea, focusing on the differences in their perception with regard to the right to survive, develop, be protected and participate. The result of the analysis showed that high school students' sense of rights was at the lowest in general, while being particularly low in their sense of participation rights. However, when it comes to the development rights and protection rights, the level of recognition of middle school students were as low as those of high school students. Based on the results, we suggested that a proactive effort to guarantee adolescents' participation rights is required, and that education of human rights should be emphasized not only for children but also for their supporters. In the follow-up study, it is required to investigate the differences between development stages and regions by including participants with diverse ages and residential areas.

SystemVerilog-based Verification Environment using SystemC Constructs (SystemC 구성요소를 이용한 SystemVerilog 기반 검증환경)

  • Oh, Young-Jin;Song, Gi-Yong
    • Journal of the Institute of Convergence Signal Processing
    • /
    • v.12 no.4
    • /
    • pp.309-314
    • /
    • 2011
  • As a system becomes more complex, a design relies more heavily on a methodology based on high-level abstraction and functional verification. SystemVerilog includes characteristics of hardware design language and verification language in the form of extensions to the Verilog HDL. However, the OOP of System Veri log does not allow multiple inheritance. In this paper, we propose adoption of SystemC to introduce multiple inheritance. After being created, a SystemC unit is combined with a SystemVerilog-based verification environment using SystemVerilog DPI and ModelSim macro. Employing multiple inheritance of SystemC makes a design of a verification environment simple and easy through source code reuse. Moreover, a verification environment including SysemC unit has a benefit of reconfigurability due to OOP.

Performance Improvement of Prediction-Based Parallel Gate-Level Timing Simulation Using Prediction Accuracy Enhancement Strategy (예측정확도 향상 전략을 통한 예측기반 병렬 게이트수준 타이밍 시뮬레이션의 성능 개선)

  • Yang, Seiyang
    • KIPS Transactions on Computer and Communication Systems
    • /
    • v.5 no.12
    • /
    • pp.439-446
    • /
    • 2016
  • In this paper, an efficient prediction accuracy enhancement strategy is proposed for improving the performance of the prediction-based parallel event-driven gate-level timing simulation. The proposed new strategy adopts the static double prediction and the dynamic prediction for input and output values of local simulations. The double prediction utilizes another static prediction data for the secondary prediction once the first prediction fails, and the dynamic prediction tries to use the on-going simulation result accumulated dynamically during the actual parallel simulation execution as prediction data. Therefore, the communication overhead and synchronization overhead, which are the main bottleneck of parallel simulation, are maximally reduced. Throughout the proposed two prediction enhancement techniques, we have observed about 5x simulation performance improvement over the commercial parallel multi-core simulation for six test designs.

Development of QGIS plugin GUI for the GRM Model and Free Open (GRM 모형의 QGIS Plugin GUI 개발 및 모형 공개)

  • Choi, Yun Seok;Park, Sang Hoon;Kim, Kyung Tak
    • Proceedings of the Korea Water Resources Association Conference
    • /
    • 2018.05a
    • /
    • pp.38-38
    • /
    • 2018
  • 본 논문에서는 분포형 강우-유출 모형인 GRM(Grid based Rainfall-runoff Model)의 확장성과 편의성 향상을 위한 소프트웨어 개발에 대해서 기술하였다. 본 연구에서는 크게 3가지를 수행하였다. 첫 번째는 기존의 GRM은 HyGIS, MapWindow GIS 등과 같은 GIS 소프트웨어 및 Microsoft MDB와 코드 수준에서 통합된 형태로 개발되었으며, 이러한 특성은 GRM을 이용한 다양한 응용시스템 개발시 제약 조건으로 작용하였다. 본 연구에서는 GRM 모형을 GIS 및 데이터베스와 코드 수준에서 분리하여 GRMCore.dll을 개발하였다. GRMCore.dll은 콘솔 모드 및 GUI에서 유출해석을 실행할 수 있는 소프트웨어와 실시간 유출해석시스템 등과 같이 유출 해석을 위한 다양한 응용 소프트웨어 개발에 공통적으로 활용될 수 있다. 두 번째는 최근 들어 세계적으로 가장 많이 사용되고 있는 오픈소스 GIS 인 QGIS의 plugin으로 GRM 모형의 GUI(QGIS-GRM)를 개발하였으며, GRM 모형의 입력자료 구축을 위해 TauDEM을 이용해서 Drainage Tool을 개발하였다. Drainage Tool에서는 격자별 흐름방향, 하천망, 유역 등과 같은 수문학적 공간정보를 DEM을 이용하여 구축할 수 있다. 세 번째는 개발된 소프트웨어를 오픈소스로 공개하였다. 공개 대상은 GRM 모형, QGIS-GRM, Drainage Tool 등이며, 각 소프트웨어에 대한 매뉴얼을 포함하고 있다. 소스코드의 공개는 세계적으로 널리 이용되고 있는 오픈소스 플랫폼인 Github(https://github.com/floodmodel/)를 이용하였다. 본 연구를 통해서 기존에는 특정 소프트웨어에 코드 수준에서 의존적이던 GRM 모형의 독립성을 향상시켰으며, 이를 통해 다양한 응용 소프트웨어 개발에 대한 적용성을 높일 수 있었다. 또한 QGIS 기반의 GUI 개발, 모형 입력자료 구축 도구의 개발, 개발된 소프트웨어의 오픈소스화 등을 통해서 사용자들이 좀 더 쉽게 GRM 모형을 활용할 수 있게 하였다.

  • PDF

Determinants of Housing Cost Burden among Public Housing Residents in Seoul: A Comparative Study between Purchased Rental Housing and Permanent Rental Housing (서울시 공공임대주택 거주자의 주거비 부담수준과 결정요인 - 영구임대주택과 다가구 매입임대주택 비교연구 -)

  • Kang, Seung Yeoup;Jun, Hee-Jung
    • Journal of the Korean Regional Science Association
    • /
    • v.36 no.4
    • /
    • pp.25-42
    • /
    • 2020
  • This study aims to examine the difference in the level of housing cost burden and the factors affecting housing cost burden between permanent rental housing and purchased rental housing residents in Seoul. We used the 2017 SH Public Housing Resident Survey and employed t-test and multiple regression analyses. The empirical analysis shows that the level of housing cost burden is greater for permanent rental housing residents than purchased rental housing residents. Also, income level, age, and whether receiving housing benefits are the factors affecting housing cost burden among permanent rental housing residents while income level and housing size are the factors affecting housing cost burden among purchased rental housing residents. The findings suggest that there should be a more systematic review regarding housing affordability among those living in different types of public housing toward housing welfare. In addition, there should be differential approach to enhance housing affordability between permanent and purchased rental housing residents.

A Study on Action Plans for Maintaining and Improving Service Quality Levels in Public Fields (공공영역의 서비스 품질 유지 및 수준 향상을 위한 실행 방안에 관한 연구)

  • Pyun, Jebum
    • Journal of Korea Society of Industrial Information Systems
    • /
    • v.27 no.2
    • /
    • pp.101-113
    • /
    • 2022
  • The intensification and acceleration of severe competition among companies due to the advancement of the service industry have raised the quality level of services required by consumers, and these circumstances also have a significant impact on the public fields' service provision environment, which has to take into account the rapidly changing technologies along with the special situation of COVID-19. Thus, this study examines the applicability of the educational material based on the framework for public service quality management in accordance with 『ISO18091:2019』 developed by MOIS(the ministry of interior and safety), through a survey after training workers in public institutions. This study also provides some implications and guidelines that should be considered to increase the level of public service quality from the following three perspectives: i) data utilization and verification, ii) broadness of public services, and iii) the size and capability of service provider according to the results of field studies conducted with public sector employees who participated in actual improvement activities.

Study on the quality of instruction of two beginning mathematics teachers: Toward the above criteria (두 초임 수학교사의 수업의 질에 대한 연구)

  • Park, Mimi;Kim, Yeon
    • The Mathematical Education
    • /
    • v.61 no.1
    • /
    • pp.179-198
    • /
    • 2022
  • Teaching is delicate, complicated, and demanding work, and especially beginning teachers set forth their difficulties in preparing and implementing mathematics instruction. It is important to ensure the quality of beginning mathematics teachers' instruction above a consistent level because such affirmation justifies the national policy on teacher education as well as the individual efforts of preservice teachers in South Korea. The current study collected mathematics lessons of the two beginning teachers who graduated from the same teacher training institute and worked at the same high school. The findings reported what features their lessons have with regard to the learning environment, engaging students in learning, deepening student learning, and using representations of the edTPA in order to identify what can or cannot be expected in their mathematics instruction. The instruction of the one teacher was assessed middle or more than middle scores throughout the rubrics, but the other one had lower scores. Based on these findings, this study suggested the implications for teacher education in ways of improving the quality of instruction of beginning mathematics teachers.

컴포넌트 워크플로우 커스터마이제이션 기법

  • 김철진;김수동
    • Journal of Software Engineering Society
    • /
    • v.13 no.3
    • /
    • pp.31-44
    • /
    • 2000
  • 소프트웨어를 개발하는데 미리 구현된 블록을 사용하여 소프트웨어 개발비용과 시간을 단축할 수 있다. 이와 같이 미리 구현된 블록을 컴포넌트(Component)라고 하며 컴포넌트를 실행 단위로 개발자에게 인터페이스만을 제공하여 내부 상세한 부분을 숨기므로 쉽고 바르게 대행 어플리케이션을 개발할 수 있다. 개발자는 완전히 내부를 볼 수 없는 블랙 박스(Black Box) 형태의 컴포넌트를 사용한다. 그러나 개발자들은 개발 도메인의 특성에 맞게 속성 및 워크플로우(Workflow)의 변경을 원하기 때문에 커스터마이즈(Customize)할 수 있는 방법이 있어야 한다. 기존의 커스터마이즈 기법은 컴포넌트의 속성을 변경하는 것에 국한되어 있다. 본 논문에서는 비즈니스 측면에서 속성 뿐만이 아니라 컴포넌트 내부의 워크플로우도 변경할 수 있는 기법을 제시한다. 기존에 워크플로우를 변경한다는 것은 컴포넌트 내부를 개발자가 이해하고 코드 수준에서 수정해야 하는 화이트 박스(White Box)이지만, 본 논문에서는 워크플로우의 변경을 화이트 박스가 아니라 블랙 박스 형태로 컴포넌트 인터페이스 만을 이용해 커스터마이즈 할 수 있다. 본 논문에서 제시하는 컴포넌트 커스터마이즈 기법은 특정 비즈니스 측면에서 도메인에 종속적인 특성을 가지며 컴포넌트를 좀더 범용적으로 사용할 수 있는 향상된 커스터마이즈 기법을 제시한다.

A Performance Analysis of Just-in-Time Compiler for Dynamic instrumentation (동적 코드 분석을 위한 동적 컴파일 성능 분석)

  • Kim, Jee-Hong;Eom, Young-Ik
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2012.06a
    • /
    • pp.268-270
    • /
    • 2012
  • 동적 코드 분석 도구는 동적 컴파일(Just-in-Time Compile)을 통한 코드 변환 기술을 이용하여 응용프로그램 실행 중 기계어 수준의 코드를 분석한다. 기존의 동적 코드 분석 도구는 변환과정에서의 부하가 크기 때문에 리얼타임 프로그램에 적용하기 어렵다. 본 논문에서는 기존 동적 코드 분석 도구의 동적 컴파일 기법과 컴파일 프레임워크인 LLVM의 동적 컴파일 기법의 성능을 비교, 분석하였다. 이를 통해 LLVM의 동적 컴파일 기법을 이용한 높은 수행 성능을 가진 동적 코드 분석 도구의 설계 방안을 모색한다.

Multi-Aspect Model based Self-Adaptive System (다중 모델 기반의 자가 적응형 시스템)

  • Lee, Sang-Hee;Jung, Chul-Ho;Lee, Eun-Seok
    • 한국HCI학회:학술대회논문집
    • /
    • 2006.02a
    • /
    • pp.1161-1167
    • /
    • 2006
  • 본 논문에서는 구조, 행위, 리소스, 환경의 여러 관점을 적용한 다양한 모델들을 이용하는 적응 프레임워크를 제안한다. 또한, 대상 시스템에 대해 앞에서 언급한 4 가지 모델을 위한 모델링 방법론과 각 모델링 요소들에 대한 효과적인 표기법을 제시하였다. 다양한 모델들을 통해 시스템의 구성 요소들 간의 관계 구조와 시스템의 계층적 상태와 행위 정보, 실행 환경을 구성하는 시스템 의존적인 요소 및 독립적인 요소까지의 정보들이 표현된다. 이들 모델간의 유기적인 상호 운용으로 통합적인 추론과 보다 정확한 평가가 가능하다. 이를 통해 시스템은 예상치 못한 변화에 대해 통합된 관점의 더욱 정확한 진단과 반영할 수 있다. 이를 기반으로 다양한 수준에서 적응 동작의 조절을 수행함으로써 하이브리드하고 보다 확장된 적응이 가능해진다. 논문에서 정의한 모델과 제안 프레임워크는 다른 도메인으로 재사용이 가능하다. 제안 시스템은 평가를 위해 프로토타입을 구현하여 원격 화상 회의 시스템에 적용하였으며, 그 기능과 유효성을 확인하였다.

  • PDF