• Journal of the Korea Society of Computer and Information
• /
• v.16 no.12
• /
• pp.1-10
• /
• 2011

As requirements of embedded system get complicated, the tool for analyzing the reliability of embedded software is being needed. A probabilistic modeling is used as the way of analyzing the reliability of a software and to apply it to embedded software controlling multiple devices. So, it is necessary to specialize that to embedded software. Also, existing reliability analyzers should measure the transition probability of each condition in different ways and doesn't consider reusing the model once used. In this paper, we suggest a reliability analyzer for embedded software using embedded software Markov chin model and a unit testing tool. Embedded software Markov chain model is model specializing Markov chain model which is used for analyzing reliability to an embedded software. And a unit testing tool has host-target structure which is appropriate to development environment of embedded software. This tool can analyze the reliability more easily than existing tool by automatically measuring the transition probability between units for analyzing reliability from the result of unit testing. It can also directly apply the test result updated by unit testing tool by representing software model as a XML oriented document and has the advantage that many developers can access easily using the web oriented interface and SVN store. In this paper, we show reliability analyzing of a example by so doing show usefulness of reliability analyzer.

• Environmental and Resource Economics Review
• /
• v.14 no.1
• /
• pp.135-166
• /
• 2005

This paper measures integrated pollution intensities and changes in pollution intensity, and figure out environmental performance. We introduce a new definition of pollution intensity and its method measuring integrated pollution intensities. We distinguish 24 manufacturing industries into light industry and heavy industry, and divide heavy industry into pollution industry and the other residual heavy industry to measure the integrated pollution intensities and their changes. While the pollution industry within heavy industry, based on the integrated pollution intensity, was the most pollution-intensive, the other residual heavy industry within the heavy industry was the most successive in reducing pollutants. The annualized average index of the integrated pollution intensities grew as much as 9.1 percent, of which the annualized change in the index of pollution emission increased 13.3 percent, but the improvement of 3.9 percent in the change of output quantity offset the increase in the index of pollution emission. The changes in the integrated pollution intensity for the light and heavy industries were 1.125 and 1.042, respectively. The reason the heavy industry showed the lower change in the index of pollution intensity, while the change in the pollution industry was very high, was because the average change in the other heavy industry decreased around 9 percent.

• Journal of The Korean Association For Science Education
• /
• v.27 no.5
• /
• pp.421-431
• /
• 2007

The purpose of this study was to examine the characteristics of observation and measurement inquiry process in the Korean science textbooks. For the inquiry process of observation, the higher grade textbooks contained more 'comparative observation' rather than 'simple observation'. Students should express their observation results in written words rather than verbal descriptions in the higher grade. For the inquiry process of measurement, the temperature measurement was the most frequent measurement activity. 'Measurement design' was found more frequently in the lower grade textbooks. The uses of measurement tools were not presented systematically and were presented restrictively when the relevant experiment wanted to use these tools. The higher grade textbooks include 'quantitative measurements' rather than 'qualitative measurements' and 'operation measurement' rather than 'simple measurement'. In the application of measurement results, we had difficulty in finding the activities related with the usage of unit, unit conversion, significant figure, error and uncertainty.

• Journal of the Institute of Electronics Engineers of Korea CI
• /
• v.42 no.5
• /
• pp.31-40
• /
• 2005

In this study, we study measurement of wafer processing throughput and sequence simulation of single wafer type for wafer cleaning equipments that were used for etching, cleaning and polishing of wafer. Based on finite state machine, simulation model was built with identification of robot's status according to scheduling algorithm. Moreover, through performance of simulation as above, throughput per hour of cleaning equipment was measured. By the simulation method that are proposed in this paper, we could measure the wafer throughput per hour according to recipe and robot motion speed, and find optimal recipe and moving sequence of robot that maximize the throughput.

• Proceedings of the Korea Electromagnetic Engineering Society Conference
• /
• 2002.11a
• /
• pp.315-318
• /
• 2002

본 논문은 도플러 레이다의 원리를 이용하여 인체 호흡수 측정기술에 관하여 기술하였다. 주파수 1.59㎓ 대역의 전자파를 이용한 인체 호흡수 측정의 역사적 배경과 함께 자세한 측정원리 및 방법을 제시하였다. 인체의 흉곽 운동에 의해 반사된 신호의 도플러 주파수 차이만큼의 변이량을 오실로스코프 상에서 단위시간 당 호흡수를 나타내었다. 헤테로다인 방식의 시스템으로 측정하였으며, 폴디드 슬롯 안테나를 자체 제작하여 사용하였다. 이와 같은 인체 호흡수 측정기는 생명체 탐지 장치나 수면 무호흡증 측정기로 사용될 수 있으며 동작 감지 레벨을 높이면 그 적용 범위는 더욱더 늘어날 것으로 예상된다.

• Journal of the Korean Electrochemical Society
• /
• v.15 no.3
• /
• pp.115-123
• /
• 2012

As the market of lithium secondary batteries moves from mobile IT devices to large-format electric vehicles or energy storage systems, the strengthened battery specifications such as long-term reliability longer than 10 years, pack-level safety and tough competitive price have been required. Moreover, even though high power properties should also be achieved for hybrid electric vehicles, it is not easy to measure accurate power values at various conditions. Because it is difficult to choose a proper measurement method and its experimental condition is more complex comparing to capacity measurement. In addition, the power values are very sensitive to power duration time, state-of-charge (SOC) of cells, cut-off voltages, and temperatures, whereas capacity values are not. In this paper, we introduce three kinds of power measurement methods, hybrid pulse power characterization (HPPC) suggested by US FreedomCar, so-called J-pulse by Japan electric vehicle association standards (JEVS) and constant power measurement, respectively. Moreover, with pouch-type unit cells for HEV, experimental power data are discussed in order to compare each power measurement.

• Cement Symposium
• /
• s.35
• /
• pp.177-186
• /
• 2008

• Magazine of the Korean Society of Agricultural Engineers
• /
• v.25 no.4
• /
• pp.20-25
• /
• 1983

• Cement
• /
• s.181
• /
• pp.42-55
• /
• 2009

• Journal of Educational Research in Mathematics
• /
• v.24 no.1
• /
• pp.83-102
• /
• 2014

The purpose of this study was to explore students' understanding on units embedded in multiple interpretations of fractions: (a) part-whole relationships, (b) measures, (c) quotients, (d) ratios, and (e) operators. A total of 150 sixth graders in elementary schools were surveyed by a questionnaire comprised of 20 tasks in relation to multiple interpretations of fractions. As results, students' performance on units varied depending on the interpretations of fractions. Students had a tendency to regard the given whole as the unit, which led to incorrect answers. This study suggests that students should have rich experience to identify and operate various units in the context of multiple fractions.