• Journal of KIISE:Computer Systems and Theory
• /
• v.28 no.5
• /
• pp.259-267
• /
• 2001

칩의 집적도에 비례하여 설계검증 및 칩 제작 후의 결함점검은 갈수록 어려워지며 이러한 테스트 문제의 원초적 해결을 위하여 다양한 테스트설계 기술이 널리 개발되고 있다. 상위 수준의 테스트설계에서는 회로의 기능에 대해서는 알 수 있으나 구조에 대해서는 알 수 없고, 하위 수준의 테스트설계에서는 회로의 구조를 알 수 있으나 기능은 알 수 없다. 따라서 테스트 설계는 기능을 기술하는 상위 수준에서부터 고려되어 하위 게이트수준에서 스캔플립플롭을 선택하여야 최적화된 성능을 얻을 수 있다. 본 논문에서는 테스트용이도를 증진시키기 위해, 상위수준의 기능정보에 대해서는 테스트점을 삽입하여 제어흐름(control flow)을 변경하고, 상위 수준의 합성 후에 하위 수준에서 스캔플립플롭을 선택하여 다시 합성하는 상위.하위 수준에서 통합된 테스트 합성 기술을 제안한다. 실험결과 통합된 테스트 합성 기술이 대부분의 벤치마크 회로에서 높은 고장검출율을 보여주고 있다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2013.01a
• /
• pp.259-260
• /
• 2013

본 논문에서는 1년 과정의 컴퓨터 프로그래밍 수업에 참여한 상위 수준 학습자들을 대상으로 맞춤형 학습을 위한 다양한 학습공동체를 운영하였을때 어떤 유형이 상위 학습자들에게 효과적인지를 분석하였다. 분석 결과, 동일한 상위 학습자가 튜터로 참여했을 때와 그렇지 않았을 때 성적 변화가 눈에 띄게 나타났으며 이것은 가르치는 활동이 본인의 학습 이해도를 높이는데 얼마나 영향을 미치는지를 보여주고 있다.

• Journal of the Korean Society of Industry Convergence
• /
• v.3 no.4
• /
• pp.299-306
• /
• 2000

이 논문은 파이프라인 함성을 위한 상위수준 데이터 경로 하성과 콘트롤 합성의 통합에 관한 연구이다. 현재 대부분의 상위수준 합성 방법은 콘트롤 영역의 영향을 무시하는데 보다 나은 설계를 위하여 데이터 경로디자인 영역과 콘트롤 디자인 영역을 통합하여 탐색하는 파이프라인 상위수준함성 도구를 구현했다. 이 도구는 비용 제한 하에서 최고 성능의 파이프라인을 합성하는 비용재한합성과 성능 제한 하에서 최서 비용의 파이프라인을 합성하는 성능 제한합성의 두 가지 방식을 제공한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10a
• /
• pp.499-501
• /
• 2004

본 논문에서는 네트워크의 구성 정보를 바탕으로 상위 수준에서 하위 수준으로 정책을 변환할 때 나타나는 기존 정책과의 충돌을 탐지하고 순응시키는 메커니즘을 소개한다. 대규모 네트워크는 라우터, 스위치, 방화벽 침임 탐지 시스템, 일반 호스트 등과 같은 다양한 종류의 장비로 구성되어 있으며. 이러한 것들은 각기 다른 접근 일 제어 형식을 가지고 있다. 따라서 트래픽에 대한 일괄적인 통제가 어렵고, 외부의 공격에 대한 신속하고 효과적인 대응이 불가능하다. 또한 대규모 네트워크를 구성하고 있는 장비들을 제어하기 위해서는 그러한 장비들이 포함되어 있는 서브 네트워크의 세부 점보와 각 장비의 고유한 설정 규칙을 필요로 한다. 이러한 점은 대규모 네트워크를 상위 수준의 계층에서 관리를 어렵게 한다. 때문에 하부 계층의 구조나 정보와는 독립적으로 추상화된 고수주의 보안 정책 설정을 위한 도구가 요구된다 이것은 상위 수준의 보안 정책 표현 기법, 하위 수준의 보안 정책 기법, 상위 수준의 보안 정책과 네트워크 구성 정보를 바탕으로 하위 수준의 보안 정책을 도출하는 기법 하위 수준의 보안 정책을 실제 네트워크 구성 요소에 적용하는 기법 등의 네 가지 연구로 구분된다. 본 논문에서는 이 네 가지의 연구와 기법을 바탕으로 관리 네트워크에 새로운 정책이 전달될 때 기존의 단순한 정책 선택을 벗어난 서로의 정책을 변환한 ACL을 최대한 순응시키는 메커니즘을 제안한다

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2012.01a
• /
• pp.245-246
• /
• 2012

본 논문에서는 컴퓨터 프로그래밍 수업에서 상위 수준 학습자들을 위한 맞춤형 학습 모형 사례들을 살펴본다. 동일한 학습자들에게 여러 가지 학습 모형들을 적용하였을 때 보다 효과적인 학습 유형이 어떤 것인지 탐색해보고 그 학습 효과를 검증하기 위해 이들의 성적 변화를 분석해봄으로써 상위 수준 학습자에 적합한 맞춤형 학습 모형을 탐구해가는데 본 연구의 목적이 있다.

• Electronics and Telecommunications Trends
• /
• v.5 no.2
• /
• pp.156-169
• /
• 1990

본 기술동향에서는 시스템에서 요구되는 동작에 관한 기술을 레지스터 전송 수준의 구조에 관한 기술로 바꾸는 상위 수준 합성에 대하여 그 현황을 분석하였다. 현황 분석은 스케줄링과 할당으로 나누어 진행하였으며, 상위 수준 합성의 필요성, 내용, 기법 분석 및 시스템 분석을 행하였다. 현재의 연구가 갖는 문제점을 검토하였으며, 앞으로의 전망을 예측하였다.

• Journal of Educational Research in Mathematics
• /
• v.26 no.2
• /
• pp.189-204
• /
• 2016

As compared with the gender differences in the achievement of mathematics of the PISA 2009, the results of this study on the PISA 2012 show that the achievement of male students sharply increased, while that of female students maintained the status quo. Based on the premise that this result is derived from the ratio differences between male and female students of high level, this study analyzed the educational context variable effects on the achievements of gender differences observed between male and female students of high level. In particular, this study inquired into the factors which influence the gender difference, by analyzing the identical variables regarding Singapore and Finland of which the achievement of female students registers high among other top high-ranking countries of the PISA 2012. Hence, the binominal logistic multi-level analysis was conducted in order to consider the characteristics of hierarchical structure of PISA, and to compare the features of the educational context variable effects between the high level (above level 5) by country and the highest level (above level 6) by group. The analysis results are as follows: in terms of after-school learning time realized either in private lessons and private institutes, no significant effects were shown in any of the students of these three countries. In terms of after-school homework time, the students of Korea and Singapore gave significant influences on the probability which would be included in the group of high level or the highest level. In particular, regarding the variables which influence the probability of inclusion of Korean female students in the group of high level or the highest level, they correspond to "Homework set by teacher", "Attitude toward school: learning activities", "ESCS of School" and "Teacher-student relations". And "Cultural possessions at home" gave main influences on the probability of inclusion of the female students of Korea, Singapore and Finland in the group of the highest level.

• 한국사회복지학회:학술대회논문집
• /
• 2005.04a
• /
• pp.515-532
• /
• 2005

본 연구는 경제관련 수준이 생활만족도에 미치는 영향을 분석하였다. 이를 위해 한국노동패널조사(KLIPS)자료 중 4,294가구 10,553명을 대상으로 지역에 따른 경제관련 변인들의 차이를 분산분석을 통해 알아보았고, 단순한 경제수준 변인이 생활만족도에 미치는 영향과 경제수준을 지역에 따라 표준점수(Z-score)로 환산한 변인이 생활만족도에 미치는 영향을 회귀분석을 통해 비교하였다. 연구 결과 단순한 경제수준보다는 표준점수로 환산된 상대적 경제수준이 더 큰 설명력을 갖는 것으로 확인되었다. 또한 일정부분 생활만족도에 정적 영향을 줄 것으로 기대되었던 소득과 지출, 저축 둥 경제수준 관련 변인들이 일관되게 부적 영향을 갖는 것으로 나타났다. 이러한 결과는 가구지출 기준 상위집단과 하위집단에서 동일하게 나타났다. 한 편 상위집단과 하위집단에서의 소득 관련 변인들의 영향력이 일부 상이하게 나타났는데, 상위집단에서는 전년도의 소득이 부적으로 더 근 영향력을 갖는 반면에 하위집단에서는 전월의 소득이 부적으로 더 큰 영향력을 갖는 것으로 나타나 하위집단의 소득 불안정이 생활만족도에 영향을 주고 있음을 시사하였다.

• Journal of KIISE:Computing Practices and Letters
• /
• v.15 no.10
• /
• pp.781-785
• /
• 2009

We can constantly gather personal life log from developed mobile device. However, gathered personal life log in mobile environment have a large amount log and uncertainty such as uncertainty of mobile environment, limited capacity and battery of mobile device. Tagging task using a landmark such as a key word should be required to overcome the above problem and to manage personal life log. In this paper, we propose new tagging method and a life log tagging interface using high level context recognizer based on probability. The new tagging method extract high level context such as landmark of life log using recognizer which is modeled from bayesian network and recommend recognized high level context to user using tagging interface. Finally user can directly do tagging task to life log. This task is a special feature in our process. As the result of experiments in task support level which include usability, level of a goal, function and leading, we achieved a feeling of satisfaction of 81%.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10d
• /
• pp.22-24
• /
• 2002

아키텍쳐 기술 언어(ADL : Architecture Description Language)는 상위 추상화 수준에서의 소프트웨어 시스템의 구조와 행위를 기술하는데 필요한 아키텍쳐 모델 요소들에 대한 직접적인 표현 수단을 제공한다. ADL온 특히 명세 수준의 논리적인 아키텍처를 모델링, 분석하는데 유용하다. 그렇지만 ADL로 기술된 상위 수준의 아키텍쳐 명세가 하위 수준의 구현 시스템으로 어떻게 상세화 되는지 알기가 쉽지 않다. 즉, 상위 수준의 아키텍쳐 명세와 하위 수준의 아키텍쳐 구현 사이에 의미적 차이가 존재한다. 본 논문은 이러한 의미적 차이를 효율적으로 줄일 수 있는 방법을 찾기 위한 일차적인 연구 결과로서, C2 스타일 기반의 ADL로 기술된 아키텍쳐 모델을 Java 구현 코드로 자동 변환하는 방법을 제안한다.