• Journal of the Korean Institute of Telematics and Electronics A
• /
• v.32A no.4
• /
• pp.75-84
• /
• 1995

Fault simulators are used for accurate evaluation of fault coverages of digital circuits. But fault simulation becomes time and memory consuming job because computation time is proportional to wquare of size of circuits. Recently, several approximate algorithms for testability analysis have been published to cope with the problems. COP is very fast but cannot be used for sequential circuits, while STAFAN can ve used for sequential circuits but requires large amount of computation because it utilizes logic simulation results. In this paper EXTASEC(An Extension of Testability Analysis for Sequential Circuits) is proposed. It is an extension of COP in the sense that it is the same as COP for combinational circuits, but it can handle sequential circuits, Xicontrollability and backward line analysis are key concept for EXTASEC. Performance of EXTASEC is proven by comparing EXTASEC with a falut simulator, STAFAN, and COP for ISCAS circuits, and the result is demonstated.

• Journal of Information Technology Applications and Management
• /
• v.11 no.3
• /
• pp.117-135
• /
• 2004

The purpose of this research is to examination whether End-User Computing relative factors are ap-plied in Computer Assisted Reporting. Computer Assisted Reporting is closely related to End-User Computing, because IT and IS be used by reporting for data gathering and analysis. For the purpose, we've produced a survey, and then studied the effects of the use of Computer Assisted Reporting tools on the report's satisfaction and job performance. As a result, The degree of use of Computer Assisted Reporting significantly affects the degree of satisfaction and job performance. for this reason, this research can give an insight for the extension of End-User Computing relative research.

• Proceedings of the KIEE Conference
• /
• 2002.11b
• /
• pp.157-160
• /
• 2002

Power system stability assessment is a major requirement for safe operation of a power system. When the disturbance occurs, the power system transient stability is defined as the operating condition can return to steady state with getting over it. According to the system structure and the operating conditions. system instability is revealed in various shape. And as we know the result of transient stability analysis depends on the system load. In this paper, we've tried to know how much CCT is influenced as the system load changes. Therefore, comparing with CCT we can calculate the Pm that we can generate more in stable state.

• Proceedings of the Korean Society of Agricultural Engineers Conference
• /
• 2005.10a
• /
• pp.139-155
• /
• 2005

All these days, we achieved the result of our efforts on agricultural facilities by a huge budget for stable agricultural infrastructure development. But it is anticipated that the cost of maintenance is increased from now on since we've focused on installing facilities(agricultural infrastructures) in quantity more than in quality. Furthermore we are short of efficient management system(S/W) because of active and overall support for facilities expansion(H/W). This study is focus on how to improve our agricultural infrastructure for not only to maintain eco-friendly facilities but also to prepare water shortage era.

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• v.19 no.4
• /
• pp.387-407
• /
• 2015

This paper analyzes the $h{\times}p$ version of the finite element method for optimal control problems constrained by elliptic partial differential equations with random inputs. The main result is that the $h{\times}p$ error bound for the control problems subject to stochastic partial differential equations leads to an exponential rate of convergence with respect to p as for the corresponding direct problems. Numerical examples are used to confirm the theoretical results.

• 한국디지털정책학회:학술대회논문집
• /
• 2005.11a
• /
• pp.255-271
• /
• 2005

This paper aimed to exam core factors of the relationship factors and analyze their effects on structural bonds and social bonds. And this paper analysis structural bonds and social bonds effects on relationship commitment. To accomplish this purpose, this study examined previous studies and summarized core factors of the relationship making. The result of this study are as follow: First, we examined that 6 factors-tech-shared, product characteristic, transaction specific asset, reputation, trust, communication-were relationship factors of buyer-seller industrial market. Second, it is shown that tech-shared, product characteristic, transaction specific asset factors have a positi-ve influence on the structural bonding. Third, it is shown that reputation, trust, communication factors have a positive influence on the social bonding. Fourth, it is shown that structural bonding, social bonding have a positive influence on the relationship commitment.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.58 no.2
• /
• pp.369-372
• /
• 2009

When measuring the luminous flux of a light source at the integrating sphere photometer, it can know the luminous flux to compare the standard lamp with the specimen lamp at the same location. But in case of PLS(plasma lighting system, microwave discharged lamp), that two lamps are cannot be the same location. If the reference illuminant and specimen lamp are cannot measure identical location, we should measure the variation of the luminous flux. For the outcome we can turn out a correction factor to revise and reflect it. But the better way is calibrate the specimen lamp locate the identical location of reference illuminant measured. In this thesis, we've test to find the correction factor for consider that change the measuring location. And it turns out the correction factor. From this, it presents the result to make a select for the reference illuminant which is against the illuminant type for newly produce.

• Journal of Korean Medicine for Obesity Research
• /
• v.5 no.1
• /
• pp.147-155
• /
• 2005

Yak-ju treatment is regarded as a new way to give a medication, and used many parts of medical field such as musculo-skeletal, aesthetic and cosmetic part. Recently I've experienced a good result by Yak-ju treatment for managing obese patient who had failed to lose his weight by conventional existing treatments comprised of herbal medicine, electro-lypolysis, negative pressure, ear acupuncture, behavior modification therapy and education for diet and exercise. This method can be recommended as a new method for curing obesity that can make up for the weak point of existing ways.

• Proceedings of the PSK Conference
• /
• 2003.04a
• /
• pp.263.2-263.2
• /
• 2003

There is now increasing evidence that free radicals and active oxygen species are involved in a variety of pathological events. Free radical-mediated cell damage and free radical attack on polyunsaturated fatty acids result in the formation of lipid radicals. These lipid radicals react readily with molecular oxygen to produce peroxy radicals responsible for initiating lipid peroxidation. The peroxidation of cellular membrane lipid can lead to cell necrosis and considered to ve implicated in a number of pathophysiological conditions including liver disease. (omitted)

• Proceedings of the Korean Institute of Building Construction Conference
• /
• 2022.11a
• /
• pp.137-138
• /
• 2022

Construction work has potential risk factors in the process. Therefore, the safety management task is very important and requires continuous management. In particular, the importance of safety management in construction projects has been highlighted recently with the introduction of the act on punishment of serious disasters. In this perspective, this study intends to select and present high-risk construction types that requires safety management. The presented result is expected to present standards for systematically performing safety management of construction projects.