• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04a
• /
• pp.607-609
• /
• 2001

본 논문은 ATM(Abstract Time Machine)으로 명세된 실시간 시스템에 대한 재/역공학 측면에서의 검증을 위한 Ada 코드로의 변환 과정에서 요구되는 DoME/ATM 파스트리 생성과정과 이를 통해 추출되는 정보를 이용하여 ATM을 SRL/ATM으로의 변환방법을 설계 구현한다. 임무 위급 시스템 같은 실시간 시스템을 명세, 분석, 검증하기 위한 정형기법인 ATM은 순환공학에서의 실시간 시스템 속성은 물론 특정 환경과 동적 정보 등을 명세하기 위한 정형기법이다. 본 논문에서는 DoME을 이용하여 실시간 시스템에서의 특정 요구사항에 대한 DoME/ATM을 생성하고, DoME의 기능을 이용하여 ATM을 스크립트 코드로 저장한 후, DoME/ATM 파스트리 생성기를 통해 명세 정보를 추출하여 SRL/ATM으로의 변환기를 설계 구현한다. 변환기에 의해 생성된 매개언어인 SRL은 명시적인 정의와 효율적 분석 정보를 제공함으로써 Ada, COBOL, C 등과 같은 실행코드를 생성할 수 있도록 하는 기반을 제공한다.

• Smart Structures and Systems
• /
• v.24 no.5
• /
• pp.641-648
• /
• 2019

The authors investigate the feasibility of applying a vision-based displacement-measurement technique in the characterization of a SMA damper recently introduced in the literature. The experimental campaign tests a steel frame on a uni-axial shaking table driven by sinusoidal signals in the frequency range from 1Hz to 5Hz. Three different cameras are used to collect the images, namely an industrial camera and two commercial smartphones. The achieved results are compared. The camera showing the better performance is then used to test the same frame after its base isolation. U-shaped, shape-memory-alloy (SMA) elements are installed as dampers at the isolation level. The accelerations of the shaking table and those of the frame basement are measured by accelerometers. A system of markers is glued on these system components, as well as along the U-shaped elements serving as dampers. The different phases of the test are discussed, in the attempt to obtain as much possible information on the behavior of the SMA elements. Several tests were carried out until the thinner U-shaped element went to failure.

• The Journal of the Korea Contents Association
• /
• v.17 no.2
• /
• pp.13-25
• /
• 2017

This study aims to analyze the impacts on self-regulated learning (SRL) and problem-solving (PS) competencies rather than learning achievement through the use of digital textbooks in the SMART learning environment. To achieve the objective, $3^{rd}$ and $4^{th}$ grade elementary and $1^{st}$ year middle school students were selected from 29 schools where the digital textbooks were utilized in the subjects of science in pilot schools in 2014. In this, One-Group Pretest-Posttest Designs were applied as a research method to analyze SRL and PS competencies. Additionally, the effect size of Cohen's d was presented in order to display the practical significance. The results showed the positive impacts on SRL and PS competencies, in spite of a small effect size of about 0.2 through the use of digital textbooks. ANCOVA was conducted to determine the difference in the impacts according to demographic variables. The results demonstrated that the difference in the impacts on both SRL and PS were statistically significant according to the grade and level. For SRL, both the elementary grade 4 and middle school students showed more significant differences than elementary grade 3. Moreover, for PS, the elementary grade 4 students showed the most significant difference.

• 한국초전도학회:학술대회논문집
• /
• v.16
• /
• pp.3-4
• /
• 2006

• 한국초전도학회:학술대회논문집
• /
• v.13
• /
• pp.5-5
• /
• 2003

• Proceedings of the Korean Society of Postharvest Science and Technology of Agricultural Products Conference
• /
• 1992.11a
• /
• pp.1-7
• /
• 1992

• The Transactions of the Korea Information Processing Society
• /
• v.1 no.2
• /
• pp.272-278
• /
• 1994

The paper proposes a test pattern generator and a signature analyzer for pseudoexhaustive testing of the combinational circuit part within a sequential circuit when performing built-in self test of the circuit. The test pattern generator can scan in the seed test pattern and generate exhaustive test patterns. The signature analyzer can perform the analysis of the circuit response and scan out the result. Such test pattern generator and signature analyzer have been developed using SRL(shift register latch) and LFSR(linear feedback shift register).

• Journal of the Korea Institute of Military Science and Technology
• /
• v.12 no.1
• /
• pp.60-69
• /
• 2009

Recently, request far application of advanced commercial technology to the defense acquisition process, to reduce the budget and shorten development time, has been increased. To accomplish these goals, the Advanced Concept Technology Demonstration(ACTD) is used for the defense acquisition process in Korea. And User Utility Assessment is tested to make a decision for transition to acquisition process. But this process does not include measurement of technology maturity and impacts of interface and interaction among the technologies. In this research, we propose the needs of measurement of TRL and IRL and application of SRL to reduce the risk during development phase, to understand the relations of technologies, and to fulfill the requirement far transition of the ACTD project to system development and demonstration process.

• International Journal of Computer Science & Network Security
• /
• v.21 no.9
• /
• pp.103-108
• /
• 2021

The emergence of new technologies and their implementation by different manufacturers of electronic devices are experiencing an ascending trend. Most of the time, these protocols are expected to reach a certain degree of maturity, and electronic equipment manufacturers use simplified communication standards and interfaces that have already reached maturity in terms of their development such as ModBUS, KNX or CAN. This paper proposes an IoT solution of the Smart Home type based on an Analysis and Prediction System. A data acquisition component was implemented and there was defined an algorithm for the analysis and prediction of actions based on the values collected from the data update component and the data logger records.

• Proceedings of the Materials Research Society of Korea Conference
• /
• 1998.08a
• /
• pp.50.3-50
• /
• 1998