• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10a
• /
• pp.403-405
• /
• 1999

실시간 시스템에서 프로그램의 실행시간을 예측하는 것은 중요한 일이다. 기존의 언어에서는 실행시간은 예측하기에 힘든 요소들이 있다. Timing-C는 이러한 요소를 제거하고 사용자로부터 시간 제약을 입력받을 수 있도록 하였다. Timing-C언어를 이용하여 실시간 프로그램밍을 하기 위해 작성한 프로그램이 시간제약을 준수하고 있는지 알기 위해 시간 분석 도구가 필요하다. 시간 분석 도구는 작성된 프로그램의 실행시간을 제한하여 사용자에게예측된 결과를 알려주는 도구이다. 개발자는 이러한 도구를 이용하여 작성하고 있는 프로그램의 수행시간을 더욱 정확하게 예측할 수 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.06a
• /
• pp.376-378
• /
• 2006

실시간 시스템은 논리적 정확성뿐만 아니라 시간적 정확성을 요구한다. 시간적 정확성을 만족시키기 위해 실시간 시스템의 설계자는 작업들의 스케줄 가능성에 대한 연구를 선행해야만 한다. 그리고 스케줄 가능성 분석을 위해 프로그램들에 대한 실행 시간의 예측이 필요하다. 프로그램 또는 작업들의 실행 시간 예측을 위한 방법으로 측정과 정적 분석이 연구되었다. 측정 및 정적 분석은 비용 및 확장성에 문제점을 지니고 있고 실시간 시스템의 발전을 따라가지 못하여 분석 결과의 정확성 및 신뢰성이 만족스럽지 못한 경우가 발생한다. 본 논문에서는 정적 분석을 단일 실시간 시스템이 아닌 분산 실시간 시스템에 적용할 수 있는 확장된 정적 분석 도구의 개발에 초점을 둔다. 특히, 확장된 정적 분석 도구의 개발을 위해 운영체제에서 발생되는 작업 실행 영향 요소 분석 과정을 설계한다 실시간 시스템에서 시간적 정확성을 만족하기 위해 스케줄링 기법이 가장 중요하고 이러한 스케줄링 기법은 운영체제 영향 요소 분석 대상 중 가장 중용한 요소이다. 이에 따라 스케줄러의 동작 과정의 정적 분석 및 우선 순위에 따른 작업의 큐 대기 시간예측을 통해 원시 프로그램에서 자동적으로 예측된 실행 시간의 정확도와 신뢰도를 높인다.

• Korean Journal of Childcare and Education
• /
• v.11 no.5
• /
• pp.153-171
• /
• 2015

This study was to examine the analysis level of implementation of the Nuri Curriculum of age 3 ~ 4 child-care teachers. It recognized general tendencies about the perception and satisfaction and the relation among level of implementation and perception, satisfaction of the Nuri Curriculum of age 3~4 Child-care teachers. And it also recognized the effect of level of implementation on perception and satisfaction. A survey was therefore administered to 264 child care teachers in Seoul and Gyoung-gi do. The collected data were by mean, standard deviation for recognize general tendency about perception and satisfaction, other data were by pearson relation, multiple regression analysis. Results were as follows: Firstly, general perception on Nuri Curriculum of age 3~4 Child-care teachers were a little above average, and there were positive relationships between perception and teachers' the level of implementation. Specially perception of practice and support had a significant positive correlation with theoretical basis and character. Secondly, general tendency of satisfaction were above average, and there were positive relationships between Satisfaction and teachers' the level of implementation. Specially satisfaction of curriculum had a significant positive correlation with assessment and practice and support had a significant positive correlation with teaching material. Thirdly, the practice and support perception exerted the largest influence on the teachers' the level of implementation, and satisfaction of curriculum exerted influence on the teachers' evaluation of the level of implementation.

• Journal of the Korea Construction Safety Engineering Association
• /
• s.33
• /
• pp.62-75
• /
• 2005

건설 프로젝트 관리의 주요한 목표는 계획된 시간 내에, 정해진 예산으로 규정된 목표(명세 또는 품질)를 확보하는 것이다. 국내 건설 산업은 타 산업 분야에 비하여 생산성이 매우 낮은 편이다. 이는 60년대 이후 급속한 개발 정책에 따른 부작용의 하나로, 하드웨어의 급속한 성장에 비하여 이를 관리하기 위한 소프트웨어의 개발이 부족했기 때문으로 풀이할 수 있다. 이에 본 연구에서는 건설 프로젝트의 생산성을 향상시키기 위한 노력의 일환으로 계획 단계에서의 실행과 완성 단계에서의 실행을 비교하여 이를 작업일보, 감독일지 등의 진도관리 자료를 활용하여 분석하여 건설 프로젝트의 실제적인 생산성 저하 요인을 도출하였다. 따라서 본 연구 결과는 현행 국내의 건설 프로젝트에 대한 사례분석을 통하여 실제적인 생산성 저하 요인을 분석한 것인 만큼 향후 건설 관리 기술의 향상에 많은 도움을 줄 수 있을 것으로 기대된다.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.18 no.5
• /
• pp.695-707
• /
• 1993

Marked Petri Net(MPN) is used to analyze communication complexity with respect to the maximum number of concurrently active rendezvous. But, because it cannot represent timed & probability characteristics explicitly, it is not used to analyze the new execution time of complexity with respect to the communication. Thus to effectively analyze that execution time complexity, we propose Ada Tasking Structure Nets (ATSN) introduced restrictive conditions : net reduction rules, execution time, and probability. Finally, we show the powers of analyze of communication complexity with ATSN.

• Annual Conference of KIPS
• /
• 2020.05a
• /
• pp.28-31
• /
• 2020

한정된 고성능 자원을 여러 사용자들에게 제공해야하는 슈퍼컴퓨터와 같은 시스템은 제한된 기간 내에 보다 많은 양의 작업이 실행되도록 시스템 활용률을 높이는 방안이 필요하다. 이를 위해 시스템 관리자가 수행할 응용 프로그램에 대한 사전 정보를 파악하는 것이 유용하다. 대부분의 고성능 컴퓨팅 시스템 운영에 있어 작업을 실행할 때 사용자로부터 실행 기간 자원 요구사항들에 대한 정보를 제공 받거나 시스템 사용 통계 값을 사용하여 필요한 정보를 생성하는 등의 프로파일링 기술을 바탕으로 시스템 활용률을 높이는데 활용하고 있다. 본 논문의 선행연구에서 하드웨어 성능 카운터를 이용하여 응용 특성 분석을 실행하고 이 결과를 바탕으로 작업 스케줄링을 최적화하는 기술을 개발한 바 있다. 본 논문에서는 슈퍼컴퓨터 최적 실행 지원을 위한 프로파일링 테스트베드를 구축하고 단일노드를 기반으로 분석한 응용 프로그램 특성 결과를 활용한 스케줄링 최적화 기법이 확장성 있게 동작함을 보이고자 하였다. 또한 중규모 클러스터에 개발한 스케줄링 최적화 기법을 적용한 결과 전체 응용 프로그램이 실행 시간을 단축함으로써 최대 33%의 성능 향상 효과를 얻었다.

• Journal of KIISE:Computing Practices and Letters
• /
• v.13 no.5
• /
• pp.271-281
• /
• 2007

Real-time support of embedded OS is not optional, but essential in contemporary embedded systems. In order to achieve these system#s real-time property, it is crucial that schedulability analysis for tasks having its property have been accomplished before system execution. Acquiring Worst-Case Execution Time(WCET) of task is a core part of schedulability analysis. Because traditional WCET tools analyze only its estimation of application task(i.e. program), it is not considered that application tasks are affected by scheduling primitives(e.g. scheduler, interrupt service routine, etc.) of OS when it schedules them. In this paper, we design and implement WCET analysis tool which deliberates on scheduling primitives of system using embedded Linux widely used in embedded OSes. This tool can estimate either WCET of normal application programs or corresponding primitives which have an influence on schduling property in embedded Linux kernel. Therefore, precision of estimation about schedulability analysis is improved. We develop this tool as Eclipse#s plug-in to work properly in any platform and support convenient interface or functionality for user.

• Annual Conference of KIPS
• /
• 2017.11a
• /
• pp.279-280
• /
• 2017

최근 ARM, Intel 등의 주요 CPU 제조사에서는 운영체제 등 상위 레벨 소프트웨어에 대한 공격으로부터 어플리케이션의 보안상 민감한 부분을 보호하려는 목적으로 신뢰실행환경(Trusted Execution Environment, TEE)이라는 격리된 실행 환경을 자사의 칩에 제공하고 있다. TEE를 활용하기 위해서는 일반 실행 환경에서 수행될 코드와 TEE에서 수행될 코드를 각각 작성하여야 한다. 본 논문에서는 TEE 프로그램 개발의 편의를 위해, 기존에 작성된 C 프로그램을 분석하여 보안상 민감한 정보를 처리하는 부분을 분석하는 도구를 제시한다. 개발자가 기존 C 프로그램에서 보안상 민감한 정보가 유입되는 부분을 표시하면 본 도구는 민감한 정보가 처리되는 함수 목록을 분석하고, 개발자는 이를 바탕으로 일반 실행 환경과 TEE에서 수행될 코드를 작성할 수 있다.

• Journal of Digital Contents Society
• /
• v.13 no.2
• /
• pp.205-211
• /
• 2012

This paper presents research result of digital marketing model for improving enterprise marketing campaign performance. Recently, the enterprises which had completed projects such as ERP, CRM, and SCM for business value chain process transformation are working to improve enterprise marketing process. It is the trend for enterprises to use digital marketing tactics to overcome the limit of existing traditional marketing tactics. Especially, enterprises try to adopt digital marketing for marketing campaign performance. In this paper, digital marketing research model and hypothesis were established and statistically analyzed by marketing expert survey research. The research finding is that Web Analytics, Social Analytics, Personalized CRM, Campaign execution automation, Real-Time campaign management can be core influencers for marketing campaign performance improvement.

• Journal of KIISE:Computer Systems and Theory
• /
• v.28 no.3
• /
• pp.144-154
• /
• 2001

다중 결합 질의에 포함된 다수의 결합 연산지를 효율적으로 처리하기 위해 서는 효율적인 병렬 알고리즘이 필요하다. 최근 다중 해쉬 결합 질의의 처리를 위해 할당 트리를 이용한 방법이 가장 우수한 것으로 알려져 있다. 그러나 이 방법은 실제 결합 시에 할당 트리의 각 노드에서 필연적인 지연이 발생되는 데 이는 튜플-시험 단계에서 외부 릴레이션을 디스크로부터 페이지 단위로 읽는 비용과 이미 읽는 페이지에 대한 해쉬 결합 비용간의 차이에 의해 발생하게 된다. 이들 사이의 실행시간을 가급적 일치시키기 위한 '페이지 실행시간 동기화'기법이 제안되었고 이를 통해 할당 트리 한 노드 실행에 있어서의 지연 시간을 줄일 수 있었다. 하지만 지연 시간을 최소화하기 위해 할당되어질 프로세서의 수 즉, 페이지 실행시간 동기화 계수(k)는 실제 결합 시의 결합률에 따라 상당한 차이를 보이게 되고 결국, 이 차이를 고려하지 않은 다중 해쉬 결합은 성능 면에서 크게 저하될 수밖에 없다. 본 논문에서는 결합 이전에 어느 정도의 결합률을 예측할 수 있다는 전제하에 다중 해쉬 결합 실행 시에 발생할 수 있는 지연 시간을 최소화 할 수 있도록 결합률에 따라 최적의 프로세서들을 노드에 할당함으로서 다중 해쉬 결합의 실행 성능을 개선하였다. 그리고 분석적 비용 모형을 세워 기존 방식과의 다양한 성능 분석을 통해 비용 모형의 타당성을 입증하였다.