• 조명전기설비학회논문지
• /
• 제27권2호
• /
• pp.45-53
• /
• 2013

In this paper, we analyze the typical phase voltage and line current waveform characteristics of the distribution system with 3 phase small synchronous generation source in case with load and non-load group, in order to investigate the power quality for end load connected of generation source. As demonstrated by our experimental results, the distortion and power quality of phase voltage and line current waveform were relatively good for low voltage 3 phase model grids connected of 3 phase small synchronous generation source in case with non-load group. However, distortion and power quality of voltage and current waveform was poor for low voltage 3 phase model grids connected to 3 phase small synchronous generation source in the load group with some phase voltage and frequency difference. From the above results, we conclude that the phase voltage and frequency of 3 phase generation source must be identical to that of distribution system source to maximize the power quality. Also, special attention is required in case of having load group or non-load group to 3 phase generation source.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 1998년도 추계종합학술대회 논문집
• /
• pp.723-726
• /
• 1998

Fault dropping is a very important part of test generation process. It is used to reduce test generation time. Test generation systems use fault simulation for the purpose of fault dropping by identifying detectable faults with generated test patterns. Two kinds of delay fault model is used in practice, path delay fault model and gate delay fault model. In this paper we propose an efficient method for gate delay test generation which shares second test vector.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2011년도 추계학술발표대회
• /
• pp.1342-1345
• /
• 2011

A valid scenario generation is essential for model checking software. This paper suggests an automated scenario generation technique through the analysis of function called-by graphs and call graphs of the program source code. We provide the verification process including the scenario generation and show application results on the Trampoline operating system using CBMC as a back-end model checker.

• KSTLE International Journal
• /
• 제1권1호
• /
• pp.63-68
• /
• 2000

Angular contact ball bearings are mainly used in the spindle, which requires high speed and stiffness. The heat generation is studied by experiments and simulations using a pair of angular contact ball bearings. The temperature variation of inner and outer races and the temperature increment distribution are measured by using thermocouples for the rotational speed, preload, viscosity of lubricant. The measured values from experiments are used to estimate the heat conduction rate. The method of oil-air lubrication is used for the experiment. The amount of conduction heat transfer to the test spindle and the convection heat transfer coefficients long the spindle are computed by using inverse method with temperature increment distribution. Total heat generation rate is estimated with the heat partition rate which is calculated from temperatures of inner and outer races. In addition, the empirical factor of oil-air lubrication method for Palmgren's heat generation model is suggested. The empirical friction coefficients, which are obtained from the experiments, depend on the preload condition, and can give us more accurate estimation of the heat generation in ball bearings.

• 한국지능시스템학회논문지
• /
• 제15권3호
• /
• pp.343-348
• /
• 2005

This paper describes an automatic finite element (FE) mesh generation for three-dimensional structures consisting of free-form surfaces. This mesh generation process consists of three subprocesses: (a) definition of geometric model, i.e. analysis model, (b) generation of nodes, and (c) generation of elements. One of commercial solid modelers is employed for three-dimensional solid structures. Node is generated if its distance from existing node points is similar to the node spacing function at the point. The node spacing function is well controlled by the fuzzy knowledge processing. The Delaunay method is introduced as a basic tool for element generation. Automatic generation of FE meshes for three-dimensional solid structures holds great benefits for analyses. Practical performances of the present system are demonstrated through several mesh generations for three-dimensional complex geometry.

• 한국멀티미디어학회논문지
• /
• 제25권11호
• /
• pp.1572-1581
• /
• 2022

Energy conversion to renewable energy is being promoted to solve the recently serious environmental pollution problem. Solar energy is one of the promising natural renewable energy sources. Compared to other energy sources, it is receiving great attention because it has less ecological impact and is sustainable. It is important to predict power generation at a future time in order to maximize the output of solar energy and ensure the stability and variability of power. In this paper, solar power generation data and sensor data were used. Using the PCC(Pearson Correlation Coefficient) analysis method, factors with a large correlation with power generation were derived and applied to the GAM(Generalized Additive Model). And the prediction accuracy of the power generation prediction model was judged. It aims to derive efficient solar power generation in the future and improve power generation performance.

• 한국시스템다이내믹스연구
• /
• 제4권1호
• /
• pp.33-53
• /
• 2003

How to maintain the optimal electric power generation mix is one of the important problems in electric power industry. The objective of this study is to develop a computer model which can be used to forecast the investment in power generation unit by the plant owners after restructuring of electric power industry. Restructuring of electric power industry will make difference in decision making process of investment in power generation unit. After Privatiazation of Power Industry, Gencos will think that profit is the most important factor among all others attracting the investment in the industry. Coal power generation is better than LNG CCGT in terms of profit. However, many studies show that LNG CCGT will be main electric power generation source because the rest of factors other than profit in LNG CCGT are superior than Coal power generation. Because the nst of factors other than profit in LNG CCGT are superior than Coal power generation. The impacts of the various government policies can be analyzed using the computer model, thus the government can formulate effective policies for achieving the desired electric power generation mix.

• 한국콘텐츠학회논문지
• /
• 제3권1호
• /
• pp.31-38
• /
• 2003

본 논문에서는 탐지 모델을 자동 생성하여 인력, 시간에서의 효율성과 오탐율을 향상시키는 학습을 통한 탐지 모델 생성 시스템을 제안한다. 제안된 탐지 모델 생성 시스템은 agent 시스템과 manager 시스템으로 구성되고 agent 시스템은 탐지 모델 데이터베이스를 기반으로 센서의 역활을 수행하고 manager 시스템에서는 탐지 모델 생성과 모델 분산의 역할을 수행한다. 모델 생성은 유전적 알고리즘에 의해 기존의 정형화된 포맷의 탐지 모델을 학습시켜 모델을 생성하고 새로운 탐지 모델로 적용할 수 있다. 실험 결과에 따라 제안된 데이터 마이닝 기반의 탐지 모델 생성 시스템은 기존의 침입 탐지 시스템보다 효율적으로 침입을 탐지하였다. 구현된 시스템으로 인하여 새로운 유형의 침입 시 탐지 모델 생성과, False-Positive율의 감소를 가져와 기존 침입 탐지 시스템의 성능을 개선하여 탐지모델 생성 시스템을 제안한다.

• 한국경영과학회지
• /
• 제29권1호
• /
• pp.87-99
• /
• 2004

In this paper, we have developed a technology-service relationship model which describes the diffusion process of a group of services and relevant technologies, and have applied the developed model to the prediction of the number of subscribers to the next generation mobile service. The technology-service relationship model developed in this paper incorporates the developing process of relevant technologies, a supply-side factor, into the diffusion process of specific services, while many diffusion models and multi-generation diffusion models in previous researches are mainly reflect the demand-side factors. So, the proposed model could effectively applied to the telecommunication services where the developing of the relevant technologies are very essential to the service Penetration. In our application, the Proposed model provides a competitive substitution between the next generation mobile service and the traditional mobile service.

• 전기학회논문지
• /
• 제56권3호
• /
• pp.481-490
• /
• 2007

WASP which is used to plan generation expansion has disadvantages that can't manage environmental factors and regional supply-demand planning. But with the effectuation of the United Nations Framework Convention on Climate Change (UNFCCC) and Kyoto Protocol, it is expected that reducing greenhouse gases affects power system in its long-term generation expansion planning. Therefore national countermeasures is needed. This paper formulates a mathematical model considering CO2 emission constraints and Emission Trading that will be enforced. This model is based on the MEFISET (Model for Economic Feasibility of Interstate Electrical Ties) which was made by Korea Energy Economics Institute and Hong-ik university and manages generation expansion planning. And this mathematical model is verified by studying a case system.