• Title/Summary/Keyword: Program module

Search Result 961, Processing Time 0.238 seconds

Development of a Testing Environment for Parallel Programs based on MSC Specifications (MSC 명세를 기반으로 한 병렬 프로그램 테스팅 환경의 개발)

  • Kim, Hyeon-Soo;Bae, Hyun-Seop;Chung, In-Sang;Kwon, Yong-Rae;Chung, Young-Sik;Lee, Byung-Sun;Lee, Dong-Gil
    • Journal of KIISE:Computing Practices and Letters
    • /
    • v.6 no.2
    • /
    • pp.135-149
    • /
    • 2000
  • Most of prior works on testing parallel programs have concentrated on how to guarantee the reproducibility by employing event traces exercised during executions of a program. Consequently, little work has been done to generate test cases, especially, from specifications produced from software development process. In this research work, we devise the techniques for deriving test cases automatically from the specifications written in Message Sequence Charts(MSCs) which are widely used in telecommunication areas and develop the testing environment for performing module testing of parallel programs with derived test cases. For deriving test cases from MSCs, we have to uncover the causality relations among events embedded implicitly in MSCs. For this, we devise the methods for adapting vector time stamping to MSCs, Then, valid event sequences, satisfying the causality relations, are generated and these are used as test cases. The generated test cases, written in TTCN, are translated into CHILL source codes, which interact with a target module to be tested and test the validity of behaviors of the module. Since the testing method developed in this research work extracts test cases from the MSC specifications produced front telecommunications software development process, it is not necessary to describe auxiliary specifications for testing. In audition adapting vector time stamping generates automatically the event sequences, the generated event sequences that are ones for whole system can be used for individual testing purpose.

  • PDF

Simulation of Asymmetric Fuel Thermal Behavior Using 3D Gap Conductance Model (3 차원 간극 열전도도 모델을 이용한 핵연료봉의 열적 비대칭 거동 해석)

  • Kang, Chang Hak;Lee, Sung Uk;Yang, Dong Yol;Kim, Hyo Chan;Yang, Yong Sik
    • Transactions of the Korean Society of Mechanical Engineers A
    • /
    • v.39 no.3
    • /
    • pp.249-257
    • /
    • 2015
  • A fuel assembly consists of fuel rods composed of pellets (UO2) and a cladding tube (Zircaloy). The role of the fuel rods in the reactor is to generate heat by nuclear fission, as well as to retain fission products during operation. A simulation method using a computer program was used to evaluate the safety of the nuclear fuel rods. This computer program has been called the fuel performance code. In the analysis of a light water reactor fuel rod, the gap conductance, which depended on the distance between the pellets and cladding tube, mainly influenced the thermomechanical behavior of the fuel rod. In this work, a 3D gap element was proposed to simulate the thermo-mechanical behavior of the nuclear fuel rod, considering the gap conductance. To implement the proposed 3D gap element, a 3D thermo-mechanical module was also developed using FORTRAN90. The asymmetric characteristics of the nuclear fuel rod, such as the MPS (missing pellet surface) and eccentricity, were simulated to evaluate the proposed 3D gap element.

A Study on the Safety Characterization Grounding Design of the Inner Photovoltaic System (태양광 발전단지 내부 그리드의 안전 특성화 접지 설계에 관한 연구)

  • Kim, Hong-Yong;Yoon, Suk-Ho
    • Journal of the Society of Disaster Information
    • /
    • v.14 no.2
    • /
    • pp.130-140
    • /
    • 2018
  • Purpose: In this paper, we propose a design technique for the safety characterization grounding in the construction of the photovoltaic power generation complex which can be useful and useful as an alternative power energy source in our society. In other words, we will introduce the application of safety grounding for each application, which can improve and optimize the reliability of the internal grid from the cell module to the electric room in the photovoltaic power generation complex. Method: We analyze the earth resistivity of the soil in the solar power plant and use the computer program (CDEGS) to analyze the contact voltage and stratospheric voltage causing the electric shock, and propose the calculation and calculation method of the safety ground. In addition, we will discuss the importance of semi-permanent ground electrode selection in consideration of soil environment. Results: We could obtain the maximum and minimum value of ground resistivity for each of the three areas of the data measured by the Wenner 4 - electrode method. The measured data was substituted into the basic equation and calculated with a MATLAB computer program. That is, it can be determined that the thickness of the minimum resistance value is the most favorable soil environment for installing the ground electrode. Conclusion: Through this study, we propose a grounding system design method that can suppress the potential rise on the ground surface in the inner grid of solar power plant according to each case. However, the development of smart devices capable of accumulating big data and a monitoring system capable of real-time monitoring of seismic changes in earth resistances and grounding systems should be further studied.

Temperature Analysis for the Point-Cell Source in the Vapor Deposition Process

  • Park, Jong-Wook;Kim, Sung-Cho;Hun Jung
    • Journal of Mechanical Science and Technology
    • /
    • v.18 no.9
    • /
    • pp.1680-1688
    • /
    • 2004
  • The information indicating device plays an important part in the information times. Recently, the classical CRT (Cathod Ray Tube) display is getting transferred to the LCD (Liquid Crystal Display) one which is a kind of the FPDs (Flat Panel Displays). The OLED (Organic Light Emitting Diodes) display of the FPDs has many advantages for the low power consumption, the luminescence in itself, the light weight, the thin thickness, the wide view angle, the fast response and so on as compared with the LCD one. The OLED has lately attracted considerable attention as the next generation device for the information indicators. And also it has already been applied for the outside panel of a mobile phone, and its demand will be gradually increased in the various fields. It is manufactured by the vapor deposition method in the vacuum state, and the uniformity of thin film on the substrate depends on the temperature distribution in the point-cell source. This paper describes the basic concepts that are obtained to design the point-cell source using the computational temperature analysis. The grids are generated using the module of AUTOHEXA in the ICEM CFD program and the temperature distributions are numerically obtained using the STAR-CD program. The temperature profiles are calculated for four cases, i.e., the charge rate for the source in the crucible, the ratio of diameter to height of the crucible, the ratio of interval to height of the heating bands, and the geometry modification for the basic crucible. As a result, the blowout phenomenon can be shown when the charge rate for the source increases. The temperature variation in the radial direction is decreased as the ratio of diameter to height is decreased and it is suggested that the thin film thickness can be uniformed. In case of using one heating band, the blowout can be shown as the higher temperature distribution in the center part of the source, and the clogging can appear in the top end of the crucible in the lower temperature. The phenomena of both the blowout and the clogging in the modified crucible with the nozzle-diffuser can be prevented because the temperature in the upper part of the crucible is higher than that of other parts and the temperature variation in the radial direction becomes small.

Developing a Curriculum of English Storytelling in a Global Corporation's Context: Focus on Proficiency Building (글로벌 기업에서 스토리텔링 영어교육 콘텐츠 개발과 적용: 능숙도 향상을 목표로)

  • Shin, Dongil;Kim, Keumsun;Shim, Woojin;Kim, Na-Hee;Jeon, Jongwoon;Kim, Sehee;Kim, Joo-Yun;Jeong, Taeyoung
    • The Journal of the Korea Contents Association
    • /
    • v.18 no.3
    • /
    • pp.265-278
    • /
    • 2018
  • This study aims to understand how a global corporation's storytelling-based curriculum is developed for improving English proficiency. Little research has been done from the perspectives of global corporation, and a curriculum of storytelling on Stein and Glenn (1979)'s model was implemented inside English Language Education Program of Samsung Display. 10 participants employed at the global corporation were taught by two instructors during the first semester of 2017 language learning program. The curriculum consisted of three modules: event focused, structure focused, character focused. Storytelling elements of each module were explicitly planned and taught by two instructors. All classes were audio-recorded and observed by the other researchers. It was found that there is a need for improving storytelling proficiency in the global corporation, and that storytelling skills can be teachable, learnable, and assessable.

The Effectiveness of School Based Short-Term Social Skills Training in Children with Attention-Deficit/Hyperactivity Disorder(ADHD) (ADHD 초등학생을 위한 학교 중심 사회성기술 훈련 프로그램의 효과에 대한 연구)

  • Paek, Myung-Jae;Ahn, Jung-Kwang;Lim, So-Yun;Kim, Yang-Ryul;Park, Min-Hyeon;Kim, Boong-Nyun;Cho, Soo-Churl;Shin, Min-Sup;Kim, Jae-Won;Kim, Hyo-Won
    • Journal of the Korean Academy of Child and Adolescent Psychiatry
    • /
    • v.20 no.2
    • /
    • pp.82-89
    • /
    • 2009
  • Objectives: Children with attention-deficit hyperactivity disorder(ADHD) often have difficulties in social behavior. The aim of this study was to evaluate the effectiveness of a short-term training program for improving social skills, self-perception and attention deficits. Methods: The subjects were nine children diagnosed with ADHD with(or without) other mental disorders using the Diagnostic Interview Schedule for Children(DISC-ADHD) module. Children were given eight sessions of a social skills training program. Parents of children simultaneously participated in their own training which was designed to support their children's generalization of skills. Assessments included child, parent and teacher ratings of social skills, self-perception and attention deficit at baseline and post-treatment. Results: Social skills training led to significant improvements in child-reported measures of self-esteem, in teacher reported measures of social skills, and in parent-reported measures of attention deficit. Conclusion: This study suggests that short-term social skills training programs for children with ADHD may improve their social skills, self-perception and attention deficits.

  • PDF

The Effect of HIV/AIDS Education Program for Nursing Students by Video-Learning Methods (동영상 강의를 통한 간호대학생의 HIV/AIDS 교육의 효과)

  • Seo, Myoung Hee
    • Journal of the Korea Academia-Industrial cooperation Society
    • /
    • v.21 no.10
    • /
    • pp.187-196
    • /
    • 2020
  • This is a single group pre-post study conducted to confirm the effectiveness of HIV/AIDS education for nursing students, imparted via video-learning methods. Study participants enrolled were 93 students in the 4th grade of the Department of Nursing at J-City V University. Data were collected from May 26 to June 16, 2020, and were analyzed using descriptive statistics, paired t-test, independent t-test, ANOVA, and Pearson's correlation coefficient using the SPSS WIN 23.0 program. Results of this study confirm improvements in HIV/AIDS knowledge and attitude after attending video-learning modules. However, when assessing the details of attitude, insufficient data was obtained for difference in attitude toward social stigma recognition. Therefore, numerous attempts are required for imparting educational contents and methods that will positively alter social stigma recognition. The results of this study prove that video lectures are a useful teaching and learning method to transform the knowledge and attitude of nursing students towards HIV/AIDS. We believe that results obtained are meaningful, and provide a basis for imparting education by utilizing different media, such as a video-learning module.

Implementation of an operation module for an integrated network management system of ship-based and offshore plants (해양플랜트 및 선박의 네트워크 통합 관리 시스템 운용 모듈 개발)

  • Kang, Nam-Seon;Lee, Seon-Ho;Lee, Beom-Seok;Kim, Yong-Dae
    • Journal of Advanced Marine Engineering and Technology
    • /
    • v.40 no.7
    • /
    • pp.613-621
    • /
    • 2016
  • This research connected network equipment, including CCTV, PAGA, IP-PBX, and Legacy, in order to enable the operation and configuration of internal IP-based network equipment in maritime plants and vessels, both in the field and from remote places, and to allow for the support of remotely controlling such equipment. It also realized an operating program for the integrated network equipment management system to enable the monitoring and control of equipment status, operation condition, and notifications from distant places. By applying the operating program to satellite stations and vessels sailing on the sea, a performance test was conducted to evaluate data loss and transmission/reception delay in the communication section between the land and vessels. As a result, this research verified the normal operation of CCTV control and of real-time monitoring and control of the network equipment, including PAGA, IP-PBX, and Legacy under the FBB and MVSAT environments. It was observed that the transmission of CCTV video images with a large volume of data as well as the transmission and reception of voice data were found to be slightly delayed, indicating the need to develop technology to compress and convert data for real-time transmission and reception.

A Study on the Development of GIS Based Water Quality Simulation System using HSPF in Basin of Yeong-san River (HSPF 모델을 적용한 GIS기반의 영산강 유역 수질모의 시스템 개발에 관한 연구)

  • Lee, Sung Joo;Kim, Kye Hyun;Lee, Chol Young;Lee, Geon Hwi
    • Journal of Wetlands Research
    • /
    • v.14 no.4
    • /
    • pp.645-656
    • /
    • 2012
  • The basin environment has been seriously damaged by reckless development during the past half century. The demand for management in the basin has increased, but the system for prediction and management is not sufficient. Therefore, the aim of this study is to design a GIS-based water quality linkage system using the most suitable simulation, HSPF (Hydrological Simulation Program-Fortran) in this basin of South Korea. To achieve this, data of HSPF model for simulation and GIS data for spatial analysis is collected. And the system applied linkages of the water quality model and GIS such as Loose coupling. Also, the major function of the system was designed as a modular unit. Ultimately, the system is developed using development language of VB.NET from Microsoft and ArcObjects component from ESRI based on design for a module unit. The water quality simulation system can be supported to prediction and management for basin environment of Yeong-San River. In the future study, scenario will be established using the result of HSPF model And will be expected to support to situation of future basin and policy making.

Study on Research Method for Leading-in Public Bike Operation System -Focus on Public Bike System in NaJu City- (공공자전거 운영시스템 도입을 위한 적용방법에 관한 연구 -나주시 공공자전거 시스템을 중심으로-)

  • Hyoung, Sung-Eun;Cho, Un-Dae;Cho, Kwang-Su;Hong, Jung-Pyo
    • Science of Emotion and Sensibility
    • /
    • v.14 no.1
    • /
    • pp.7-16
    • /
    • 2011
  • This is a study on operation system's application method for leading-in public bike operation system through researching on case study at home and abroad, and situation research in Naju city. In the 1st research, studied about the main problems showed at application cases of public bike system at domestic and overseas, such as using time, danger for be stolen and damaged. 2nd research focuses on necessarily of leading-in operation system to be used easily by city residents and travelers of Naju City which is the scheduled city for leading-in public bike system. 3rd research is on the basis of the result showed in 1st and 2nd research, supplied some problems' solving method for France Veblib System, such as lending and rental process using mobile, system operation process, communication process. Also, supplied the application method for problems showed at 1st and 2nd research and civil service proposal. The leading-in method study on public bike operation system was done through above research, also case study at home and abroad, situation study, and rental program module development, and this operation system is worked as an model operation system in Naju City. The future study of leading-in operation system will be more effective by means of summing up test running result.

  • PDF