• 영어어문교육
• /
• 제17권3호
• /
• pp.57-71
• /
• 2011

The purpose of this study is to investigate the possibility of the use of reading aloud as a way of teaching English reading in a formal college-level English reading classroom. The study tried to examine the effects of reading aloud on the development of English reading ability in terms of comprehension and speed and the students' perceptions of the use of reading aloud in an English reading classroom. The participants of the study were 36 third year students at a college. The results of the cloze test and reading speed test showed that reading aloud had a positive effect on the improvement of English reading ability. The students received higher scores in the cloze test after the course and read a text faster than before the course. The analysis of the course evaluation questionnaire indicated that the students in the study showed positive attitudes toward the use of reading aloud in an English reading classroom. Most of the students reported that reading aloud was an effective way of improving their English reading comprehension and speed. However, the students were not fully satisfied with the reading materials used in the study. The results of the present study indicated that reading aloud may be incorporated into a formal English reading classroom effectively.

• 영어어문교육
• /
• 제3호
• /
• pp.95-122
• /
• 1997

The purpose of this research was to investigate the effects of content and formal schema on reading comprehension. Five hundred fiftynine subjects from high school were assigned to one of the following levels and treatment conditions : (1) Higher level & Schema Activation, (2) Higher level & Non-schema Activation, (3) Lower level & Schema Activation, and (4) Lower level & Non-schema Activation. To evaluate the effects of schema activation. two experiments were conducted : one was related to the content schema and the other to the formal schema. To evaluate the effects of content schema, three different types of tests were conducted : (1) cloze test, (2) guessing the meanings of nonsense words, and (3) immediate recall test. To evaluate the effects of formal schema instruction, four kinds of tests were conducted : (1) sorting the sentences according to the importance, (2) identifying the signal words, (3) immediate recall test, and (4) identifying the specific information. For content schema condition, results indicated that the subjects given the titles or pictures before reading in "Content Schema Activation" treatment had better grades than those of the other treatment in all types of tests. regardless of their levels. Schema activation helped the subjects to increase the cognitive predictability of missing words and to participate in the tasks more actively with risk-taking. And it was also shown that good readers tend to process the words meaningfully, while poor readers tend to process the words phonetically or morphologically. Formal schema activation through teaching the text organization also had a significant influence on three types of tests: sorting the sentences according to the importance, identifying the signal words, and immediate recall test, but not on identifying the specific information. The implications from this study can be briefly noted as follows : (l) In teaching reading, the student's background knowledge should be activated as a pre-reading activity. (2) In reading, it is more important to emphasize the student's schema than the features of the text. (3) Various educational interventions should be introduced, especially for the lower level students. (4) Teaching text structures can be a powerful method for the top-down processing strategy.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2005년도 가을 학술발표논문집 Vol.32 No.2 (2)
• /
• pp.337-339
• /
• 2005

본 논문에서는 임베디드 시스템의 제어를 위해 동기화 언어인 에스테렐로 개발된 소프트웨어가 소프트웨어 요구사항을 만족하는지 확인하기 위한 Model-based Test(MBT) 프레임 워크를 제안한다. 제안된 프레임 워크를 기반으로 작성한 프로토 타입의 테스트 도구는 요구사항 모델을 창조하여 On-the-fly 방법을 통해 테스트 케이스를 랜덤하게 자동으로 생성하여 소프트웨어에 대하 테스트를 자동으로 수행한다. 간단한 case study로 레고 마인드스톰 로봇 제어 소프트웨어에 MBT를 수행하고 그 결과를 확인한다.

• 한국의류학회지
• /
• 제26권1호
• /
• pp.62-73
• /
• 2002

The purpose of this study was to develop men's formal jacket pattern for the Korean males of age 25 to 34 age with an average physique. Through the survey on seven industries of the ready-made men's wear, we investigated size systems and jacket patters presently practiced. From the fitting test of four patterns (three for ready-made jacket patterns, one for educational pattern) the moat favorable and comfortable pattern was selected. New experimented jacket pattern was based on it. The findings were as followed. 1) Survey of the domestic ready-made garment industries showed that each company classified its own manufactured goods according to its own size systems. 2) Anthropometric measurments of forty males for the subjects of lilting test were agreed to the survey of National Anthropometric of Korean(1997). These were also compatible to the standard size (100-88-175) of investigated industries. 3) Experimental jacket pattern was completed through the three times rectification and it gained higher ratings.

• ETRI Journal
• /
• 제19권4호
• /
• pp.363-388
• /
• 1997

This paper describes a research result on automatic generation of abstract test cases from formal specifications by applying many related algorithms and techniques such as the testing framework, rural Chinese postman tour and unique input output sequence concepts. In addition, an efficient algorithm for verifying the strong connectivity of the reference finite state machine and the concept of unique event sequence are explained. We made use of several techniques to from an integrated framework for abstract test case generation from LOTOS and SDL specifications. A prototype of the proposed framework has been built with special attention to real protocol in order to generate the executable test cases in an automatic way. The abstract test cases in tree and tabular combined notation (TTCN) language will be applied to the TTCN compiler in order to obtain the executable test cases which re relevant to the industrial application.

• 대한안전경영과학회지
• /
• 제17권1호
• /
• pp.179-192
• /
• 2015

In an automated industry PLC plays a central role to control the automation system. Therefore, fault free operation of PLC controlled automation system is essential in order to maximize a firm's productivity. A prior test of control system is a practical way to check fault operations, but it is a time consuming job and can not check all possible fault operation. A formal verification of PLC program could be a best way to check all possible fault situation. Tracing the history of the study on formal verification, we found three problems, the first is that a formal representation of PLC control system is incomplete, the second is a state explosion problem and the third is that the verification result is difficult to use for the correction of control program. In this paper, we propose a transformation method to reproduce the control system correctly in formal model and efficient procedure to verify and correct the control program using verification result. To demonstrate the proposed method, we provided a suitable case study of an automation system.

• 한국의류학회지
• /
• 제14권2호
• /
• pp.137-151
• /
• 1990

Changes in male roles and lifestyle in recent years have brought about an increased interest in appearance and apparel for men. The purpose of this study was to classify consumers into categories based on style of men's business suits and describe the resulting categories in terms of lifestyle, clothing behavior, appearance and demographic variables. Data were obtained from questionnaires completed by 513 consumers 20-69 years of age living in Seoul, and analyzed by factor analysis, multiple discriminant analysis, one-way ANOVA, CROSSTAB, and S-N-K test. Resulting categories of consumers were labeled as formal, semi-formal and casual. Descrip-tive profiles of the three categories were developed differently by 2 lifestyle factors (positive opinion leadership, social participation), 1 clothing factor (conformity), 2 appearance factors (conservative, energetic), and 2 demographic variables (age, marital status). The semi-formal type of man is significantly different from the two other types in his group activities that require social participation and opinion leadership. The formal type is significantly different from the two other types in his conformity in clothing and conservative appearance. The majority of formal and semi-formal types of men were 25-39 years of age and married, while the casual type was younger and unmarried.

• 생물정신의학
• /
• 제28권2호
• /
• pp.70-77
• /
• 2021

Objectives Our study aimed to present the distinctive correlates of formal thought disorder in patients with schizophrenia, using the Clinical Language Disorder Rating Scale (CLANG). Methods We compared clinical characteristics between schizophrenia patients with (n = 84) and without (n = 82) formal thought disorder. Psychometric scales including the CLANG, the Brief Psychiatric Rating Scale (BPRS), the Young Mania Rating Scale (YMRS), the Calgery Depression Scale for Schizophrenia (CDSS) and the Word Fluency Test (WFT) were used. Results After adjusting the effects of age, sex and total scores on the BPRS, YMRS and WFT, the subjects with disorganized speech presented significantly higher score on the abnormal syntax (p = 0.009), lack of semantic association (p = 0.005), discourse failure (p < 0.0001), pragmatics disorder (p = 0.001), dysarthria (p < 0.0001), and paraphasic error (p = 0.005) items than those without formal thought disorder. With defining the mentioned item scores as covariates, binary logistic regression model predicted that discourse failure (adjusted odds ratio [aOR] = 5.88, p < 0.0001) and pragmatics disorder (aOR = 2.17, p = 0.04) were distinctive correlates of formal thought disorder in patients with schizophrenia. Conclusions This study conducted Clinician Rated Dimensions of Psychosis Symptom Severity (CRDPSS) and CLANG scales on 166 hospitalized schizophrenia patients to explore the sub-items of the CLANG scale independently related to formal thought disorders in schizophrenia patients. Discourse failure and pragmatics disorder might be used as the distinctive indexes for formal thought disorder in patients with schizophrenia.

• International Journal of Railway
• /
• 제2권3호
• /
• pp.99-106
• /
• 2009

Checks and tests before putting safety facilities into service as well as the results of these tests are essential, time consuming and may show great variations between each other. Economic constraints and the increasing complexity associated with the development of computerized tools tend to limit the capacity of the classic approval process (manual or automatic). A reduction of the validation cover rate could result in practice. This is not compatible with the French national plan to renew the interlocking systems of the national network. The method and the tool presented in this paper makes it possible to formally validate new computerized systems or evolutions of existing French interlocking systems with real-time functional interpreted Petri nets. The aim of our project is to provide SNCF with a method for the formal validation of French interlocking systems. A formal proof method by assertion, which is applicable to industrial automation equipment such as interlocking systems, and which covers equally the specification and its real software implementation, is presented in this paper. With the proposed method we completely verify that the system follows all safety properties at all times and does not show superfluous conditions: it replaces all the indoor checks (not the outdoor checks). The advantages expected are a significant reduction of testing time and of the related costs, an increase of the test coverage rate, an answer to the new demand of railway infrastructure maintenance engineering to modify and validate computerized interlocking systems. Formal methods mastery by infrastructure engineers are surely a key to prove that more safety is not necessarily more expensive.

• 한국정보처리학회논문지
• /
• 제4권2호
• /
• pp.552-562
• /
• 1997

본 논문은 형식 기술 기법에 의한 차세대 지능망의 INAP(Intelligent Network Application Protocol) 프로토콜 적합성 시험 계열 생성을 위해 형식 기술 기법(formal Description Tehnique)을 사용하여 프로토콜을 명세화한후 이것으로부터 최소 길이의 최소 비용을 요구 하는 시험계열 생성을 위한 최적화 기술에 의한 방법을 제안한다. 제안된 방법을 구연하고 효율성을 증명하기 위해, INAP 프로토콜 SRF(Serivece Rexource Function)의 SRSM(SRF Call State Machine)을 형식 기술 기법 중의 하나인 SDL(System Description Language)로 명세화 하여 관련 도구로 I/O FSM(Input/Output Finite Machine)을 생성 하고, 이 참조 모델에 직접 적용하여 시험 개열을 생성하였다. 이렇게 생성 시험 개혈의 길이가 기존의 UIO(Unique Input Output)방법에 의한 31%나 개선된 짧고 효율적임을 보였고 또 오류 판단 능력면에서도 훨씬 효과가 있음을 실험적으로 증명하였다.