• 대한수학교육학회지:학교수학
• /
• 제19권2호
• /
• pp.289-317
• /
• 2017

이 연구에서는 우리나라 중학교 수학 교과서의 함수 단원에서 학생에게 어떠한 학습 기회를 제공하는지를 탐색한다. 구체적으로, 교과서가 제시하는 수학 내용과 실행, 수학 과제의 인지적 노력수준, 학생 응답의 유형, 문제 상황의 형태 및 특징 등의 측면을 탐구하여서 교과서가 학생들에게 어떠한 학습기회를 제안하며 구조화하는가를 살펴본다. 이를 위해서 2009 개정 교육과정에 따른 중학교 수학교과서 3종을 분석하였다. 그 결과로 교과서가 학생에게 제공하는 함수에 대한 학습기회는 다음과 같이 요약된다. 첫째, 절차적 지식과 개념 간의 연결성이 매우 약하며 함수의 내용 간의 의미를 연결하는 기회가 매우 제한되어 있다. 둘째, 학생들은 함수를 정의, 규칙, 법칙만으로 학습하게 되며 예제와 수학과제를 통해서 계산의 절차 수행을 반복적으로 경험하게 될 가능성이 크다. 셋째, 학생들은 문제를 해결하는 과정에 대해서 수학적으로 설명하거나 추론하는 과정을 경험할 가능성이 매우 적다. 넷째, 수학과제와 상황과제를 통해 학생의 인지적 사고 과정이 확장되거나 심화되기 보다는 분절적이고 파편화된 지식으로 받아들일 수 있는 여지가 많다.

• 한국건설관리학회논문집
• /
• 제8권1호
• /
• pp.116-123
• /
• 2007

최근 오일 가스 플랜트 분야는 국제 유가의 상승, 에너지 수요의 증가로 인하여 프로젝트 발주가 증가하고 있으며, 중동지역과 전 세계 지역으로 시장규모가 증대되고 있다. 오일 가스 플랜트는 제조 및 처리공정과 기술개발에 따른 라이센스 관리 및 기술관리가 프로젝트의 성패에 중요한 사항이다. 오일 가스 플랜트의 경우 다수의 해외공사 수행 형태를 가지며 해외 선진 업체와의 경쟁이 더욱 중요하다. 이러한 시장에서 기술 경쟁력과 기술 우위를 확보하기 위해서는 기술개발에 따른 체계적인 경영 방식을 도입하여야 한다. 하지만 국내 오일 가스 플랜트 업체의 경우 해외 선진 업체보다 라이센스, 설계단계의 기술 경쟁력이 부족하며 '기술 투자 비용 대 효과를 최대화' 하는 요소기술의 기술경영 도입이 어려운 현실이다. 이는 기술개발 및 관리의 인식 부족과 연구개발 인프라 구축에 따른 부담이 커서 장기적인 기술전략이 부족하기 때문이다. 따라서 본 연구에서는 오일 가스 플랜트 산업의 대외 경쟁력 확보를 위한 기술경영 도입방안을 분석함으로서 중장기적 기술개발 지원과 기술경영 도입방안을 제시하였다.

• 한국정보과학회논문지:시스템및이론
• /
• 제26권11호
• /
• pp.1333-1343
• /
• 1999

경성 실시간 시스템의 태스크들은 논리적으로 올바른 결과를 산출해야 하지만 또한 각자의 시간 제한 조건을 만족하여야 한다. 간격제한 스케줄링은 시간 제한 조건이 시간 간격 제한으로 주어지는 실시간 태스크들을 스케줄하기 위하여 도입되었다. 간격제한 스케줄링에서의 각 태스크들은 시간 간격 제한 조건을 갖는데, 이것은 태스크의 두 연속적인 수행의 종료시간에 대해 제한을 가한다. 다시 말해, 간격제한 스케줄링에서의 각 태스크 수행은 그 태스크의 직전 수행 완료 시간으로부터 발생하는 데드라인을 갖는다. 간격제한 태스크 스케줄링에 관한 많은 연구는 단순화 방법에 기초하고 있다. 그러나, 우리는 이 논문에서 단순화 방법을 사용하지 않고, 정적 우선순위 및 정적 분리 제한 정책을 채용한 새로운 간격제한 태스크 스케줄링 방법을 제안한다. 제안된 정적 할당 방법은 스케줄링 분석 및 구현을 매우 간단히 할 수 있으며, 또한 스케줄러의 실행시간 오버헤드를 줄일 수 있다.Abstract Tasks in hard real-time systems must not only be logically correct but also meet their timing constraints. The distance-constrained scheduling has been introduced to schedule real-time tasks whose timing constraints are characterized by temporal distance constraints. Each task in the distance-constrained scheduling has a temporal distance constraint which imposes restriction on the finishing times of two consecutive executions of the task. Thus, each execution of a task in the distance-constrained scheduling has a deadline relative to the finishing time of the previous execution of the task.Much work on the distance-constrained task scheduling has been based on the reduction technique. In this paper, we propose a new scheme for the distance-constrained task scheduling which does not use the reduction technique but adopts static priority and static separation constraint assignment policy. We show that our static assignment approach can simplify the scheduling analysis and its implementation, and can also reduce the run-time overhead of the scheduler.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제16권12호
• /
• pp.1177-1187
• /
• 2010

플래시 메모리는 휴대성, 저전력, 대용량의 특징을 갖고 있어 휴대용 기기에서의 사용이 증가하고 있다. 그러나 하드디스크와는 달리 플래시 메모리는 읽기 연산에 비해 쓰기 연산의 비용이 상대적으로 커서, 쓰기 연산 횟수 감소에 대한 연구가 요구된다. 본 논문에서는 데이터 쓰기 연산 횟수를 감소시키기 위해, 플래시 메모리에 저장된 데이터를 다루는 응용 프로그램을 재작성하여 저장될 데이터를 적절히 재배치하기 위한 정적 분석 기법을 제안하였다. 이 기법은 프로그램을 정적 분석해서 쓰기 연산 부분을 파악하고, 이들을 분리해내어 저장되도록 프로그램을 재작성 함으로써, 수행 시간에 전체 쓰기 영역이 줄어들도록 하는 것이다. 따라서 본 논문에서는 프로그램에서 다루어지는 데이터 중 쓰기 가능한 영역을 얻어내는 분석과 가능한 작은 개수의 페이지에 쓰기 대상 부분이 모여 있도록 재배치하기 위한 분석을 고안하였다. 정적 분석 결과는 자주 수행되는 프로그램 경로에 대한 프로파일링 결과와 조합되어 보다 실제적인 분석 결과를 얻고자 하였으며, 결과적으로, FAST 시뮬레이터 상에서 데이터 처리 성능을 향상시키는 데에 기여함을 보였다.

• 보존과학회지
• /
• 제22권
• /
• pp.109-120
• /
• 2008

도자기 보존담당자에 있어서 도자기의 전반적인 지식에 대한 이해는 그것들이 만들어진 방법이나 물리적인 특성이 손상과 밀접한 관련을 가지고 있으므로 필수적이라고 할 수 있다. 또한 도자기의 사용 중에 발생한 파손에 대처하는 여러 가지 수리복원 행위들 또한 반드시 규명되어야만 한다. 이렇게 파악된 지식은 도자기의 손상 원인을 파악하고, 적절한 보존처리방법의 선택에 매우 중요한 요소로 작용하며, 영구보존을 위해 매우 필요한 자료로 활용되기 때문이다. 이러한 수리복원 재료에 대한 규명의 일환으로 이번 연구에서는 도자기 구연에 부착된 금속 테두리의 제작목적과 제작시기, 사용된 재질의 성분 조사를 실시하였다. 연구대상 도자기 중 과학적인 분석이 가능한 금속 테두리에 대해서는 SEM-EDS 및 이동형 X-선 형광분석기를 사용하여 성분분석을 시행하였고, 반면에 분석이 어려운 도자기는 도록을 통한 육안조사로 재질의 성분을 추정하였다. 연구결과 다양한 재료를 사용하여 도자기 구연에 금속 테두리를 부착하였음을 확인할 수 있었다.

• 한국건설관리학회:학술대회논문집
• /
• 한국건설관리학회 2002년도 학술대회지
• /
• pp.265-270
• /
• 2002

국내 건설사업은 잘못된 관행, 졸속한 사업추진, 사전조사의 미흡 등으로 인하여 불필요한 사업을 추진하거나 잦은 설계변경을 함으로써 예산 낭비를 초래해 왔다. 1999년 건교부에서 '원가절감을 위한 공공건설효율화종합대책'을 발표한 이후 많은 정책적인 노력이 있었음에도 결구하고 사업비에 크게 영향을 미치는 시공 전 단계의 사업비관리 부문은 여전히 취약하다는 지적이다. 발주자 측면에서 적정공사비를 반영한 사업비가 산정되지 않고 건설사업이 단계별로 추진되는 과정에서 이를 고수하기 위한 관리도 수행되지 못하고 있다. 따라서, 본 연구에서는 선진 사업비관리 체계에 대해 조사하여 시사점을 도출하고, 국내의 실제 프로젝트 및 관련 제도에 있어 시공 전 단계 사업비관리의 문제점 및 현황을 사업비관리(Cost Management)의 관점에서 분석하여, 국내 사업비관리의 개선방안에 대해 제안하고자 한다.

• 한국정보과학회논문지:시스템및이론
• /
• 제30권3_4호
• /
• pp.194-204
• /
• 2003

공유메모리 다중프로세서 시스템의 성능은 하드웨어 구조 뿐 아니라 운영체제의 프로세서 스케줄링 정책 등과 같은 소프트웨어에 의해 큰 영향을 받는다. 하지만, 현재 말이 사용되는 대부분의 모의실험기들은 하나의 벤치마크 응용프로그램의 수행만을 지원하기 때문에 다중 프로그래밍 환경에 대한 모의실험이 불가능하다. 본 논문은 복수개의 응용프로그램들이 프로세서와 기타 시스템 자원을 공유하며 경쟁하는 다중 프로그래밍 환경에 대한 모의실험을 프로그램 구동형 모의실험 환경 하에서 구현하는 기법을 제안한다. 제안하는 기법은 실제 수행환경에 근접한 모의실험을 가능하게 하며, 이를 통해 제한된 시스템 자원에 대한 공유와 충돌의 영향을 자세하게 분석할 수 있다. 또한, 스케줄링 정책의 구현과 분석을 가능하게 함으로써 시스템 구조에 맞는 최적의 정책을 수립할 수 있도록 한다.

• 정보과학회 논문지
• /
• 제41권12호
• /
• pp.1007-1012
• /
• 2014

소스코드가 없이 실행코드만으로 소프트웨어 간의 유사성을 비교하기위해 소프트웨어 버스마크를 이용한다. 소프트웨어 버스마크란 그 소프트웨어만의 고유한 특징으로 소프트웨어 식별에 사용된다. 본 논문에서는 정적 주요경로 상의 API 함수 시퀀스를 이용하여 소프트웨어 간의 유사성을 산정하는 방법을 제시한다. 바이너리코드에서 소프트웨어의 특성이 뚜렷하게 나타나는 API 함수만을 사용하여 소프트웨어 유사성 검사의 신뢰성을 높이고, 정적 분석 기법에 동적 분석 기법의 특징을 적용하여 강인성을 높이는 방법을 모색하였다. 정적 분석으로 바이너리코드의 주요경로를 추출하고, API 함수 시퀀스 간의 효과적인 유사성 측정을 위해 서열정렬 알고리즘인 Smith-Waterman 알고리즘을 이용한 유사성 척도를 제안한다. 버스마크의 신뢰성을 평가하기 위하여 같은 프로그램의 여러 버전을 대상으로 실험하였고, 강인성을 평가하기 위해 오픈소스 소프트웨어의 소스코드를 다양한 컴파일환경으로 바꾸어 실험하였다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제11권3호
• /
• pp.257-267
• /
• 2005

실시간 운영체제 개발 환경에서 제공하는 도구 중에 하나인 RTOS 시뮬레이터는 타겟 H/W가 호스트에 연결되어 있지 않은 상태에서도 호스트에서 응용 프로그램의 개발과 디버깅을 가능하게 해주는 타겟 시뮬레이션 환경을 제공해 줌으로써, 하드웨어 개발이 완료되기 전에도 응용 프로그램의 개발이 가능하도록 해준다. 그러한 이유로 현재 대부분의 상용 RTOS 개발환경에서는 RTOS 시뮬레이터를 제공하고 있다. 그러나 그들의 대부분은 RTOS의 기능적인 부분들만 호스트에서 시뮬레이션 하도록 구현되어 있어서, RTOS 및 응용 프로그램이 실제 타겟 UW에서 실행될 때의 실질적인 시간 추정이 불가능하다. 실시간 시스템은 정해진 시간 내에 프로그램 실행을 종료해야 하기 때문에, 실행시간 추정 기능도 가지는 RTOS 시뮬레이터가 필요하다. 본 연구에서는 RTOS 및 응용 프로그램이 실제 타겟 H/W에서 처리될 때의 실행시간 추정이 가능하고 구현도 용이한 기계명령어-레벨(machine instruction-level)의 RTOS 시뮬레이터를 개발하고, 실제 프로그램을 실행하여 기능과 정확도를 검증하였다.

• 한국정보과학회논문지:시스템및이론
• /
• 제34권5_6호
• /
• pp.214-227
• /
• 2007

유비쿼터스 컴퓨팅 환경에서의 상황인지 서비스는 동적으로 발생하는 사용자의 상황 정보에 따른 서비스 제공을 지향한다. FollowMe와 uFlow와 같은 상황인지 워크플로우 시스템은 사용자의 상황 정보를 서비스의 분기 조건으로 표현한 워크플로우 기반의 상황인지 웹 서비스를 제공한다. 그러나 그들은 워크플로우의 실행 중에도 동적으로 발생할 수 있는 사용자의 서비스 요구에 대해 진행 중인 워크플로우 시나리오에 즉각적으로 적용할 수 있는 방법을 제공하지 못한다. 본 논문에서는 실행 중인 워크플로우 서비스의 중단없이 사용자가 입력하는 새로운 서비스 요구를 초기 워크플로우 시나리오에 동적으로 반영할 수 있는 상황인지 워크플로우 시스템을 제안한다. 제안하는 시스템은 사용자의 새로운 서비스 요구에 대해 실행중인 시나리오에서의 변경 위치를 점진적 파싱(Incremental Parsing)을 통해 정확히 인식하고 초기 시나리오에서 영향을 받는 부분만을 신속히 재구성함으로써 동적으로 발생하는 사용자의 상황정보를 보다 빠르고 효율적으로 초기 시나리오에 적용할 수 있으며, 워크플로우 흐름의 중단없이 계속적인 서비스를 제공할 수 있다. 이를 통해 사용자는 시간과 공간에 관계없이 원하는 서비스를 상황인지 워크플로우 시나리오에 반영할 수 있으며, 기술된 사용자 컨텍스트에 따라 상황인지 서비스의 실행을 보장받을 수 있다.