• 한국산업정보학회:학술대회논문집
• /
• 한국산업정보학회 1997년도 추계학술대회 발표논문집:21세기를 향한 정보통신 기술의 전망
• /
• pp.79-89
• /
• 1997

Logic programming has many advantages as a paradigm for parallel programming because it offers ease of programming while retaining high expressive power due to its declarative semantics. In parallel logic programming, one of the important issues is the compile-time parallelism detection. Static data-dependency analysis has been widely used to gather some information needed for the detection of AND-parallelism. However, the static data-dependency analysis cannot fully detect AND-parallelism because it does not provide some necessary functions such as the propagation of groundness. As an alternative approach, abstract interpretation provides a promising way to deal with AND-parallelism detection, while a full-blown abstract interpretation is not efficient in terms of computation since it inherently employs some complex operations not necessary for gathering the information on AND-parallelism. In this paper, we propose an abstract domain which can provide a precise and efficient way to use the abstract interpretation for the detection of AND-parallelism of logic programs.

• International Journal of Control, Automation, and Systems
• /
• 제6권4호
• /
• pp.495-505
• /
• 2008

This paper describes modeling Voltage Sourced Inverter (VSI) type Flexible AC Transmission System (FACTS) controllers and control methods for power system dynamic stability studies. The considered FACTS controllers are the Static Compensator (STATCOM), the Static Synchronous Series Compensator (SSSC), and the Unified Power Flow Controller (UPFC). In this paper, these FACTS controllers are derived in the current injection model, and it is applied to the linear and nonlinear analysis algorithm for power system dynamics studies. The parameters of the FACTS controllers are set to damp the inter-area oscillations, and the supplementary damping controllers and its control schemes are proposed to increase damping abilities of the FACTS controllers. For these works, the linear analysis for each FACTS controller with or without damping controller is executed, and the dynamic characteristics of each FACTS controller are analyzed. The results are verified by the nonlinear analysis using the time-domain simulation.

• 한국전산구조공학회:학술대회논문집
• /
• 한국전산구조공학회 2007년도 정기 학술대회 논문집
• /
• pp.603-606
• /
• 2007

Wind induced vibration of a stay cable with a nonlinear friction damper is investigated. Stay cables are likely to vibrate under several wind-related environments, and cable dampers can be used to suppress the excessive vibrations of stay cables. Conventional design of cable dampers are based on the equivalent modal damping achieved by the cable damper. However, the equivalent modal damping achieved by nonlinear dampers are depend on the vibration characteristics like the amplitude of the vibration. In this paper, not only the achieved equivalent modal damping, but also the vibration levels under gust wind are analyzed through the time domain buffeting analysis. Numerical simulation results show the efficacy of a nonlinear friction damper for suppressing the excessive vibration of a stay cable.

• 한국전기전자재료학회:학술대회논문집
• /
• 한국전기전자재료학회 1999년도 춘계학술대회 논문집
• /
• pp.169-172
• /
• 1999

Recently, the wavelet transform has been a new and powerful tool for signal processing. It is more suitable specially for the feature extraction and detection of non-stationary signals than traditional methods such as, the Fourier Transform(FT), the Fast Fourier Transform(FFT) and the Least Square Method etc. because of the characteristic of the multi-scale analysis and time-frequency domain localization. The wavelet transform has been developed for the analysis of PD pulse signal to raise in the progress of insulation degradation. In this paper, the wavelet transform was applied to one foundational method for feature extraction. For the obtain experimental data, a computer-aided partial discharge measurement system with a single acoustic sensor was used. If we are applying to the neural network method the accumulated data through the extracted feature, it is expected that we can detect the PD pulse signal in the insulation materials on the on-line.

• KIEE International Transactions on Power Engineering
• /
• 제4A권4호
• /
• pp.178-191
• /
• 2004

This paper presents a new approach to HVDC system control for damping subsynchronous oscillation (SSO) involving HVDC converters and turbine generator shaft systems. This requires a novel eigenvalue analysis (NEA) program, derivation of HVDC system modeling considering steady-state conditions and dynamic conditions in the combined AC/DC system, and an appropriate control scheme. The method suggested makes possible the design of a subsynchronous oscillation damping controller (SODC) to provide positive damping torque for the range of torsional modes in combined AC/DC systems. There are three steps involved in the design of a SODC； first the worst torsional mode is determined using the NEA program, next the SODC parameters are designed for the range of that torsional mode, and then finally an off-line simultaneous time domain program such as PSCAD/EMTDC is used to verify the parameters of the SODC. The suggested SODC design method is applied to two AC/DC systems, and its practicality is verified using the PSCAD/EMTDC simulation program.

• 대한전기학회논문지:전력기술부문A
• /
• 제52권9호
• /
• pp.487-492
• /
• 2003

This paper analyzes an eigenvalue distribution and enhancement of the small signal stabiligy when an Unified Power Flow Controller (UPFC) modeling is connected into the multi-machine power system. Recently a lot of attention has been paid to the subject of dynamic stability. It deals with analysis of eigenvalue sensitivities with respect to parameters of UPFC Controller and damping of interarea and local electromechanical oscillation modes using UPFC Controller. It provides an insight and understanding in the basic characteristics of damping effects of UPFC Controller and shows a very stable frequency response via UPFC in test model. The series branch of the UPFC is designed to damp the power oscillation during transients, while the shunt branch aims at maintaining the bus voltage and angle. Comprehensive time-domain simulation studies using PSS/E show that the proposed robost UPFC controller can enhance the small signal stability efficiently in spite of the variations of power system operating conditions.

• 한국통신학회논문지
• /
• 제22권12호
• /
• pp.2736-2743
• /
• 1997

본 논문에서는 확장된 시간 영역 유한 차분 알고리듬을 적용해서 초고주파 증폭기를 전파 해석하였다. 증폭기에 포함된 능동 소자는 등가 전류원을 이용해서 모델링하였다. 등가 전류원은 전자기파와 능동 소자와의 상호 작용을 특정지어 주고 시간 영역 유한 차분 알고리듬에 적용할 수 있게 해준다. 이를 확인하기 위하여 실제로 증폭기를 제작하고, 측정한 결과와 시간 영역 유한 차분법으로 해석한 결과가 잘 일치함을 보였다.

• 한국산학기술학회:학술대회논문집
• /
• 한국산학기술학회 2003년도 Proceeding
• /
• pp.3-9
• /
• 2003

The task for chromosome analysis and diagnosis by experienced cytogenetists are being concerned as repetitive, time consuming job and expensive. For that reason, intelligent agent based on chromosome knowledge base has been established to be able to analyze chromosomes and obtain necessary advises from the knowledge base instead of human experts. That is to say, knowledge base by IF THEN production rule was implemented to a knowledge domain with normal and abnormal chromosomes, and then the inference results by knowledge base could enter the inference data into the database. Experimental data were composed of normal chromosomes of 2,736 patients 'cases and abnormal chromosomes of 259 patients' cases that have been obtained from GTG-banding metaphase peripheral blood and amniotic fluid samples. The completed intelligent agent for chromosome knowledge base provides variously morphological information by analysis of normal or abnormal chromosomes and it also has the advantage of being able to consult with user on chromosome analysis and diagnosis.

• 한국멀티미디어학회논문지
• /
• 제25권2호
• /
• pp.157-165
• /
• 2022

As the stock market is affected by various circumstances including economic and political variables, predicting the stock market is considered a still open problem. When combined with corporate financial statement data analysis, which is used as fundamental analysis, and technical analysis with a short data generation cycle, there is a problem that the time domain does not match. Our proposed method, LSTE the operating profit and market outlook of a petrochemical company and estimates the sales and operating profit of the company, it was possible to solve the above-mentioned problems and improve the accuracy of stock price prediction. Extensive experiments on real-world stock data show that our method outperforms the 8.58% relative improvements on average w.r.t. accuracy.

• 한국정밀공학회지
• /
• 제14권2호
• /
• pp.48-57
• /
• 1997

A computer aided analysis and design system is developed for analyzing the driveline torsional vibration of a vehicle. Torsional vibration characteristics of driveline component are investigated and 10 types of module are developed. They can be connected together to represent any driveline configuration. During assembly process simulation program is generated. It is implemented using C++language. A driveline tor- sional vibration system at full load driving condition and idle rattle system are modeled and simulated with this system. Their responses for engine torque excitation are evaluated on time and frequency domain, and the results are compared with test results favorably. This system makes it simpler and easier for design and analysis engineer to model and analyse the driveline system.