• Title/Summary/Keyword: 실행체계

Search Result 816, Processing Time 0.024 seconds

Analytical Study on Software Static/Dynamic Verification Methods for Deriving Enhancement of the Software Reliability Test of Weapon System (무기체계 소프트웨어 신뢰성 시험 개선점 도출을 위한 소프트웨어 정적/동적 검증 분석 사례연구)

  • Park, Jihyun;Choi, Byoungju
    • KIPS Transactions on Software and Data Engineering
    • /
    • v.8 no.7
    • /
    • pp.265-274
    • /
    • 2019
  • The reliability test performed when developing the weapon system software is classified into static test and dynamic test. In static test, checking the coding rules, vulnerabilities and source code metric are performed without executing the software. In dynamic test, its functions are verified by executing the actual software based on requirements and the code coverage is measured. The purpose of this static/dynamic test is to find out defects that exist in the software. However, there still exist defects that can't be detected only by the current reliability test on the weapon system software. In this paper, whether defects that may occur in the software can be detected by static test and dynamic test of the current reliability test on the weapon system is analyzed through experiments. As a result, we provide guidance on improving the reliability test of weapon system software, especially the dynamic test.

어항시설물 안전점검 정책방향

  • Seo, Jae-Yeon
    • 어항어장
    • /
    • s.78
    • /
    • pp.30-34
    • /
    • 2007
  • 자연환경의 변화에 따라 어항시설물에 대한 안전 및 유지관리에 대한 관심과 수요가 점차 증가할 것이다. ‘시설물 안전 및 유지관리의 선진화를 기본 모토로 체계적인 기반을 조성하고 실행력을 높여간다면 어항시설은 국민들에게 보다 안전하고 질 좋은 서비스를 제공하는 곳으로 변모해 갈 것이다.

  • PDF

On Mathematics Teachers' Recognition about Problem-Based Learning(PBL) Implementation : Taxonomic Analysis & Componential Analysis by using cards (문제중심학습(PBL)의 실행에 관한 수학교사의 인식 조사 : 카드 활용 면담을 이용한 분류체계 및 성분 분석을 중심으로)

  • Huh, Nan;Ha, Young-Hwa
    • Journal of the Korean School Mathematics Society
    • /
    • v.14 no.2
    • /
    • pp.143-161
    • /
    • 2011
  • Mathematics PBL, which has recently attracted much attention, is a teaching and learning method to increase mathematical ability and help learning mathematical concepts and principles through problem solving using mathematical knowledge the students have. In spite of the attention, however, the implementations are yet significant. In this study, we worked to find the needs of mathematics teachers for mathematics PBL implementation. The methods of this study are taxonomic analysis and componential analysis by using cards depth interviewing. As a result, mathematics teachers' needs are to consider how to develop the mathematics PBL problems and how to make progress.

  • PDF

Development of forest carbon optimization program using simulated annealing heuristic algorithm (Simulated Annealing 휴리스틱 기법을 이용한 임분탄소 최적화 프로그램의 개발)

  • Jeon, Eo-Jin;Kim, Young-Hwan
    • Proceedings of the Korean Society of Computer Information Conference
    • /
    • 2013.07a
    • /
    • pp.423-426
    • /
    • 2013
  • 본 연구에서는 임분 단위에서 산림의 이산화탄소 흡수 및 저장 기능을 최적화 할 수 있는 최적의 산림시업체계를 도출하고자하였고, 이를 위해 임분 생장모델과 Simulated Annealing 휴리스틱 기법을 적용하여 임분탄소 최적화 프로그램을 개발하였다. 휴리스틱 알고리즘에서 최적해를 찾기 위해 반복 실행 되는 과정에서 더 이상 최적해을 찾지 못하고 목표 값이 어떤 일정한 값(Local Optimum)에 계속 머무는 현상을 해결하기 위해 임계치를 적용하며, SA 휴리스틱 기법에서는 열균형테스트를 이용하고 있다. 개발된 프로그램을 이용하여 3가지 산림 시업 시나리오에 대한 비교 분석을 실시하기 위해 프로그램을 실행한 결과, 목재수확량의 경우 목재수확량을 최대를 목표로 한 대안이 3개 시나리오 가운데 목재수확량이 가장 높은 것으로 나타났으며, 또한 탄소저장량에서도 탄소저장량을 최적화한 대안이가 탄소저장량이 가장 높은 것으로 나타나 프로그램이 목적에 맞게 개발된 것으로 판단됐다. 또한 열균형 테스트의 온도저감율을 조정하여 프로그램을 반복실행하여 온도저감율이 프로그램 실행 시에 미치는 영향을 분석한 결과 온도저감율에 따라 출력되는 목적함수의 최적값과 프로그램 반복횟수가 영향을 받는 것으로 나타나 프로그램 실행을 최적으로 하기위해 온도 저감율의 파라미터 값을 0.1로 설정하였다.

  • PDF

A Case Study on the Practice of 'Science Inquiry Experiment' in the 2015 Revised National Curriculum: An Understanding in the Perspective of Cultural-Historical Activity Theory(CHAT) (2015 개정 교육과정의 '과학탐구실험' 실행에 대한 사례연구 -문화역사적 활동이론(CHAT) 측면에서의 이해-)

  • Shin, Soyeon;Park, Chulkyu;Lee, Chang Youn;Hong, Hun-Gi
    • Journal of The Korean Association For Science Education
    • /
    • v.38 no.6
    • /
    • pp.885-899
    • /
    • 2018
  • As 'Science Inquiry Experiment' is newly introduced in the high school curriculum, where inquiry and experiment oriented education is insufficient, this study aims to analyze teacher's practice of 'Science Inquiry Experiment' in depth and identify contradictions during its process in the perspective of Cultural Historical Activity Theory. The research participant is teacher SHIN who is exclusively responsible for Science Inquiry Experiment. Starting with reflection on the practice of Science Inquiry Experiment class conducted in the first semester, interviews with participants, participatory observation and local materials were used during the 2nd semester's Science Inquiry Experiment class. A descriptive analysis of the teacher SHIN's practice of Science Inquiry Experiment was carried out and the contradictions in the activity system of the teacher SHIN were identified. The result reveals that in the overall practice of teaching Integrated Science and Science Inquiry Experiment, there were contradictions between teacher SHIN's recognition about cooperation(subject) and shared responsibility with other teachers(division of labor), and between teacher SHIN's recognition about the subjects(subject) and contrasting contents in teacher training courses(community). In the practice of teaching Science Inquiry Experiment, there were specific contradictions between teacher SHIN's recognition about the subject(subject) and time of job assignment(rule), between experimental activities(object) and experimental tools(tool), and between purpose of the subject(object) and directions about assessment(rule). These contradictions directly or indirectly influence the practice of teaching Science Inquiry Experiment. There needs to be support for constructing an activity system capable of supporting and promoting teachers' practice of Science Inquiry Experiment, and we made several suggestions to resolve the problems.

A Systematic Review of The Health Promotion for Workers; Participatory Action Research and Community Based participatory Research (근로자의 건강증진에 대한 체계적 문헌고찰 참여적 실행연구와 지역사회기반 참여연구 중심으로)

  • Hwang, Won Ju;Ha, Ji Sun;Jo, Hyun Hee
    • Journal of the Korea Convergence Society
    • /
    • v.9 no.12
    • /
    • pp.459-466
    • /
    • 2018
  • This study investigated a systematic literature review on local and international literatures focusing on Participatory Action Research(PAR), Community Based Participatory Research(CBPR) in workplace and community. Eighty percent of the 10 studies reviewed included research involving health professionals, community networks, workers, and university researchers. Health promotion programs varied from health and safety awareness, smoking cessation, diabetes management, physical activity, self-efficacy enhancement, cardiovascular disease, musculoskeletal disorders and mental health. PAR, CBPR are required to participate actively in research through community collaboration to promote health. We can solve problems at the community level. And identified sustainable effects when developing and implementing a health promotion program. PAR and CBPR are expected to continuously pursue change by adjusting the scope of individuals, organizations, communities, and institutional dimensions. They are also expected to be implemented for workers in the various workplace.

Systematic Review of Assessment Tools for Praxis Ability of Sensory Integrative Function : Provide Range of Assessment Tools in Foreign and Domestic Normal Children (실행능력 평가도구에 대한 체계적 고찰 : 정상아동에서 국내.외 평가도구별 수행범위 제시)

  • Hong, Eunkyoung;Kim, Kyeong-Mi
    • The Journal of Korean Academy of Sensory Integration
    • /
    • v.11 no.2
    • /
    • pp.41-56
    • /
    • 2013
  • Objective : The purpose of this study tried to present the performed average and range through systematic review about assessment tools that measures the praxis ability of sensory integrative function for foreign and domestic normal children. Methods: With making use of Medline, PubMed, Ovid, Eric, the Library of Congress, National Science and Technology Information Center, Kiss, RISS, and the Google search engine, we searched the name of assessment tool on the basis of the framework of the theory of sensory integration. Target paper was thesis and Journal published from January 2000 to April 2011. Results: Total of 24 papers were retrieved, used assessment tools were Bruininks-Oseretsky Test of Motor Proficiency (BOTMP), Bruininks-Oseretsky Test of Motor Proficiency, Short Form (BOTMP-SF), Bruininks-Oseretsky Test of Motor Proficiency, Second Edition (BOT-2), Bruininks-Oseretsky Test of Motor Proficiency, Second Edition, Short Form (BOT-2-SF), Clinical Observations of Motor and Postural Skills (COMPS), Motor Assessment Battery for Children (MABC), Clinical Test of Sensory Interaction with Balance (CTSIB), and subtest of Sensory Integration and Praxis Test (SIPT). We presented the average and range of assessment tools applied to normal children in each country. Conclusion: A performed result in other cultural and domestic normal children which this study presented will provide a standard in comparison with performance of children with disabilities who are the actual clinical evaluation.

  • PDF

A Systematic Review of Task-Oriented Training to Improve the Physical Function and Activities of Daily of Living of Children With Cerebral Palsy (뇌성마비 아동의 신체기능 및 일상생활 향상을 위해 적용된 과제 중심 훈련의 체계적 고찰)

  • Bak, Ah-Ream;Lee, Jae-Shin
    • The Journal of Korean Academy of Sensory Integration
    • /
    • v.19 no.1
    • /
    • pp.54-68
    • /
    • 2021
  • Objective : This study aimed to analyze and classify the task-oriented training methods used to improve the daily lives of children with cerebral palsy. Methods : The search period from January 2008 to August 2020, and the CINAHL, MEDLINE and PubMed was databases were used. A total of 18 studies was selected, and the PICO method was applied to conduct the systematic review. The training methods were then classified according to task, practice, and feedback as strategies to learn or to exercise control based on prior research. Results : Of the selected studies, 13 reported significant results in the area of motor skills, two of which related to Activities of Daily Living. Discrete and closed were the most common forms of task, and the most used types of practice were whole, part, and blocked, in that order. Finally, feedback was not specifically provided in most studies, followed by extrinsic feedback. Conclusion : Based on this review, task-oriented training for children with cerebral palsy can be made more effective in clinical practice in the future through the systematic selection of techniques that promote exercise control and the presentation of specific methods.

A Study on the cognition of Busan Port Container Terminal Operator's strategies and effective measures (부산항 컨테이너터미널 운영전략 효과의 인식에 관한 연구)

  • Yun, Eun-Ju;Ahn, Ki-Myung
    • Journal of Korea Port Economic Association
    • /
    • v.29 no.4
    • /
    • pp.175-199
    • /
    • 2013
  • The purpose of this paper is tthe first, diagnosing the effect of terminal operating strategy which Busan Port container operators established and executed by the strategy execution process (XPP) model, second, enhancing the competitiveness of Busan Port Container Terminal by presenting ways to improve the executive ability of strategies. In order to achieve the purpose, this study utilized XPP 6 steps diagnostic variables of Kaplan and Dr. Norton for problems of the strategy execution of Busan Port container operators and conducted the survey of 7-point scale targeting employees of Busan Port container operators for the variable measurement.