• Title/Summary/Keyword: instruction program

Search Result 744, Processing Time 0.031 seconds

Development of simulation-based testing environment for safety-critical software

  • Lee, Sang Hun;Lee, Seung Jun;Park, Jinkyun;Lee, Eun-chan;Kang, Hyun Gook
    • Nuclear Engineering and Technology
    • /
    • v.50 no.4
    • /
    • pp.570-581
    • /
    • 2018
  • Recently, a software program has been used in nuclear power plants (NPPs) to digitalize many instrumentation and control systems. To guarantee NPP safety, the reliability of the software used in safetycritical instrumentation and control systems must be quantified and verified with proper test cases and test environment. In this study, a software testing method using a simulation-based software test bed is proposed. The test bed is developed by emulating the microprocessor architecture of the programmable logic controller used in NPP safety-critical applications and capturing its behavior at each machine instruction. The effectiveness of the proposed method is demonstrated via a case study. To represent the possible states of software input and the internal variables that contribute to generating a dedicated safety signal, the software test cases are developed in consideration of the digital characteristics of the target system and the plant dynamics. The method provides a practical way to conduct exhaustive software testing, which can prove the software to be error free and minimize the uncertainty in software reliability quantification. Compared with existing testing methods, it can effectively reduce the software testing effort by emulating the programmable logic controller behavior at the machine level.

A Study on the Relationship Between Perceived Social Support and Nursing Students' Satisfaction of Clinical Practice (간호학생의 지각된 사회적 지지와 임상실습만족도와의 관계연구)

  • Kim Myoung-Sook
    • Journal of Korean Public Health Nursing
    • /
    • v.7 no.2
    • /
    • pp.77-88
    • /
    • 1993
  • The purpose of this study is to identify the relationship between perceived social support and nursing students. satisfaction of clinical practice. The subject consisted of 216 students of department of nursing in D. Junior College. The students were surveyed by means of a questionnaire during the period of Oct. 26 to Sep. 30, 1992. The data are analyzed by descriptive statistics. t-test, ANOVA, Pearson Correlation Coefficient, using the SPSS program. The results were summarized as follows: 1. Generally perceived social support level of nursing student was to high score 176 from low score 69. mean score was 137.005. 2. The total average mark satisfaction of clinical practice of nursing students is 2.944, which is unsatisfactory mark. According to each item rank, content (3. 162), time (2.983). environment (2.979). instruction (2.801), evaluation (2.758). 3. The result which was not correlated with the relation between generally perceived social support and satisfaction of clinical practice of nursing students. 4. The variables which is influenced generally perceived social support level were grade (t=­2.181. p<.05). order of entrance (t= 2.04, p<.05) and the variables which is satisfaction of clinical practice level was condition of health (r=-0.282. p<.05). satisfaction of school life (r=-0.232. p<.05).

  • PDF

A study on the relationship between difficulty in learning to program and Computational Thinking (프로그래밍이 어려운 이유와 컴퓨팅사고력간의 관계성 연구)

  • Oh, Kyungsun;Ahn, Seongjin
    • The Journal of Korean Association of Computer Education
    • /
    • v.18 no.5
    • /
    • pp.55-62
    • /
    • 2015
  • Today, living in a software-centered global community. lots of countries are putting most efforts on breeding a creative manpower well equipped with problem-solving abilities based on computational thinking. Upon this colleges and universities where most strongly related to job activities are proceeding instruction related to programming for the IT majors realizing the importance of the software education. Hereby we intend to be of a proper help for every colleges and universities students who are working on educational programming design for the first time performing a research probing the relationship with the full gamut of computational thinking based on the result acquired through a phased survey showing the amount of difficulties at their beginning stages.

A Study on the Consumer Consciousness and Behavior on environmental problems -A survey of college Women Students in Kwangyu- (환경문제에 대한 소비자의 의식과 행동에 관한 연구-광주시여대생을 중심으로-)

  • 노채영;신효식;조혜정
    • Journal of Families and Better Life
    • /
    • v.9 no.2
    • /
    • pp.49-62
    • /
    • 1991
  • The purpose of this study is to measure the overall level of consumer consciousness and behavior environmental problems of college women students and to analyze influencial factors. Five hundred and sixteen college women students were selected randomly, in Kwangju area. The methods of data analysis were Frequency Distribution, Mean , Percentile, one-Way ANOVA , Scheffe-test . Pearson's Correlation, and Stepwise Multiple Regression Analysis. Major finding are as follows; 1) The consumer consciousness and behavior an environmental problems of college women student showed significant differences according to the grade, age, major, socio-economic status, consumer education experience environmental problems, and frequencies of contacting mass media. 2) The consumer behavior on environmental problems of college women students had a positive relationship with consumer consciousness on environmental problems. Based on the above findings , this study suggests the followings; first the consumer education as a formal program is needed for the improvement of the consumer consciousness and behavior of college women student. Second. The content of the consumer education must emphasize more clearly the consumer rights in order to improve consumer's consciousness and behavior of environmental problems. Third. mass media of TV, radio, newspaper, magazine must be more active publicity and instruction in order to improve consumer's consciousness and behavior on environmental problems.

  • PDF

The Effects of Web-Contents Learning for Adult-Care Practice (성인간호학 실습지원 웹 콘텐츠의 학습효과)

  • Kim, Young-Ock;Bae, Yeong-Suk;Kim, Su-Mi;Yang, Jin-Ju
    • The Journal of Korean Academic Society of Nursing Education
    • /
    • v.16 no.1
    • /
    • pp.5-13
    • /
    • 2010
  • Purpose: This study investigated the effects of Web-Contents Learning by nursing students on nursing knowledge, self-directed learning and clinical competence. Method: This study was a quasi-experimental, nonequivalent control group pre-post test. For the study, 146 nursing students were selected from three colleges. Seventy-six were experimental subjects and 70 were control subjects. The subjects in the experimental group studied Web-Contents along with four weeks of clinical practice. Data were collected by structured questionnaires and analyzed using the SPSS program. Result: The experimental group showed significant increase in their nursing knowledge (t=-3.866, p=.001). However, no significant differences were observed between the two groups in self-directed learning (t=-.759, p=.449) and clinical competence (F=.891, p=.347). Conclusion: From our investigation, the present study suggests some implication for learner-related variables. Elaboration of experimental design to validate the effects of Web-Contents Learning should be carried out.

Icefex: Protocol Format Extraction from IL-based Concolic Execution

  • Pan, Fan;Wu, Li-Fa;Hong, Zheng;Li, Hua-Bo;Lai, Hai-Guang;Zheng, Chen-Hui
    • KSII Transactions on Internet and Information Systems (TIIS)
    • /
    • v.7 no.3
    • /
    • pp.576-599
    • /
    • 2013
  • Protocol reverse engineering is useful for many security applications, including intelligent fuzzing, intrusion detection and fingerprint generation. Since manual reverse engineering is a time-consuming and tedious process, a number of automatic techniques have been proposed. However, the accuracy of these techniques is limited due to the complexity of binary instructions, and the derived formats have missed constraints that are critical for security applications. In this paper, we propose a new approach for protocol format extraction. Our approach reasons about only the evaluation behavior of a program on the input message from concolic execution, and enables field identification and constraint inference with high accuracy. Moreover, it performs binary analysis with low complexity by reducing modern instruction sets to BIL, a small, well-specified and architecture-independent language. We have implemented our approach into a system called Icefex and evaluated it over real-world implementations of DNS, eDonkey, FTP, HTTP and McAfee ePO protocols. Experimental results show that our approach is more accurate and effective at extracting protocol formats than other approaches.

An Assignment Motion to Suppress the Unnecessary Code Motion (불필요한 코드 모션 억제를 위한 배정문 모션)

  • Shin, Hyun-Deok;Lee, Dae-Sik;Ahn, Heui-Hak
    • Journal of Internet Computing and Services
    • /
    • v.9 no.1
    • /
    • pp.55-67
    • /
    • 2008
  • This paper presents the assignment motion algorithm unrestricted for code optimization computationally. So, this algorithm is suppressed the unnecessary code motion in order to avoid the superfluous register pressure, we propose the assignment motion algorithm added to the final optimization phase. This paper improves an ambiguous meaning of the predicate. For mixing the basic block level analysis with the instruction level analysis, an ambiguity occurred in Knoop's algorithm. Also, we eliminate an ambiguity of it. Our proposal algorithm improves the runtime efficiency of a program by avoiding the unnecessary recomputations and reexecutions of expressions and assignment statements.

  • PDF

Analysis of Secondary Science Teachers' Needs for Education (중등 과학 교사의 교육 요구 분석)

  • Cha, Jeong-Ho;Kim, Kyoung-Eun;Kang, Suk-Jin;Noh, Tae-Hee
    • Journal of The Korean Association For Science Education
    • /
    • v.22 no.3
    • /
    • pp.517-524
    • /
    • 2002
  • The secondary science teachers' professional needs and their preference for training method between off-line and on-line education were investigated. A nation-wide survey was administered to 145 science teachers from 106 secondary schools. The respondents showed high demands on all items. The prominent need was to motivate students learning science. To the contrary. their need for learning more about history and philosophy of science was the lowest. Veteran teachers and high school teachers had higher demands on designing evaluation items, but nonveteran teachers on evaluating the effectiveness of their instruction and updating their scientific knowledge. Teachers preferred the online education as a training method for most items except laboratory activities.

The effects of Flipped Learning Method on a college student's self directed learning ability, critical thinking disposition, learning motivation, and learning satisfaction (플립러닝 학습법이 대학생의 자기 주도적 학습능력, 비판적 사고성향, 학습 동기, 학습 만족도에 미치는 효과)

  • Jung, Hyo-kyung;Lee, Seung-Hee
    • Journal of Technologic Dentistry
    • /
    • v.39 no.3
    • /
    • pp.171-177
    • /
    • 2017
  • Purpose: The purpose of the study is to analyze the effects that Flipped Learning Method has on a college student's self directed learning ability, critical thinking disposition, learning motivation, and learning satisfaction, and determine its effectiveness as a new pedagogical approach. Methods: The survey was conducted on dental technology students. The collected data was analyzed by the statistical program SPSS 21.0. The results were analyzed by reliability, frequency, t-test. To test for significance on each item, p<0.05 has been decided as a standard. Results: According to the analysis, the student who attended a class that utilized Flipped Learning Method was found to have higher levels of self directed learning ability, critical thinking disposition, learning motivation, and learning satisfaction than a student who attended a class that did not utilize such a method. Conclusion: The study results show that, in order to enhance students' self directed learning ability, critical thinking disposition, learning motivation, and learning satisfaction and to improve the quality of class instruction, it may be necessary that Flipped Learning Method be adopted more widely and recommended more strongly. Such changes will promote a long term improvement in educational environments and play a major role in strengthening students' abilities.

Investigation on the Instructional Content based on Problem Based Learning by the Subject of the theories of Mathematics Education in College (문제 중심 학습(PBL)에 기반한 수업 지도 내용 탐색 -대학에서의 수학교육 관련 이론을 대상으로-)

  • Hwang, Hye Jeang
    • East Asian mathematical journal
    • /
    • v.36 no.2
    • /
    • pp.229-251
    • /
    • 2020
  • Problem Based learning(PBL) is a teaching and learning method to increase mathematical ability and help achieving mathematical concepts and principles through problem solving using the learner's mathematical prerequisite knowledge. In addition, the recent instructional situations or environments have focused on the learner's self construction of his learning and its process. In spite of such a quite attention, it is not easy to apply and execute PBL program actually in class. Especially, there are some difficulties in actually applying and practicing PBL in the areas of mathematics education in not only secondary school but also in college. Its reason is that in order to conduct PBL instruction constantly in real or experimental class there is no more concrete and detailed instructional content during the consistent and long period. However, to whom is related to mathematics education including instructors called scaffolders, investigation and recognition on the degree of the learner's acquisition of mathematical thinking skills and strategies is an very important work. By the reason, in this study, the instructional content was to be explored and developed to be conducted during 15 weeks in one semester, which was based on Problem Based Learning environment by the subject of the theories relevant to mathematics education in the college of education.