• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제11권11호
• /
• pp.5625-5641
• /
• 2017

Certificateless public key cryptography resolves the certificate management problem in traditional public key cryptography and the key escrow problem in identity-based cryptography. In recent years, some good results have been achieved in speeding up the computation of bilinear pairing. However, the computation cost of the pairing is much higher than that of the scalar multiplication over the elliptic curve group. Therefore, it is still significant to design cryptosystem without pairing operations. A multi-signer universal designated multi-verifier signature scheme allows a set of signers to cooperatively generate a public verifiable signature, the signature holder then can propose a new signature such that only the designated set of verifiers can verify it. Multi-signer universal designated multi-verifier signatures are suitable in many different practical applications such as electronic tenders, electronic voting and electronic auctions. In this paper, we propose a certificateless multi-signer universal designated multi-verifier signature scheme and prove the security in the random oracle model. Our scheme does not use pairing operation. To the best of our knowledge, our scheme is the first certificateless multi-signer universal designated multi-verifier signature scheme.

• 대한전기학회논문지:전력기술부문A
• /
• 제51권7호
• /
• pp.349-361
• /
• 2002

Occasionally, equipment in a distribution system fails due to damage from weather, vandalism, or other causes. Failures and unexpected events do not always occur as and where expected. Therefore, a good contingency plan, multi-zone or otherwise, provides flexibility by locating switches at various strategic locations so that parts of a feeder can be picked up in the event of line outages at various places. It is possible to create feeder system layout that achieve remarkable contingency support economics, even as their normal peak loading levels approach thermal capacity, by utilizing six, seven, or even nine switchable zones per feeder. But many switchable zones per feeder are of questionable practicality and effectiveness, because of the complexity and time required for the switching operation. In practice, a zonal scheme with between three and four zones will usually provide complete contingency backup for all feeders. Line switches have both capital and maintenance costs, the planning for multi-zonal schemes is considerably more difficult than or loop or single-zone systems, and the required switching operations required during contingencies take more time. But multi-zonal schemes are used because these costs come to far less than the cost of additional capacity required for loop or single-zone. In this paper, we present the optimal number of switchable zones per feeder in Kora distribution system.

• 제어로봇시스템학회논문지
• /
• 제6권1호
• /
• pp.104-111
• /
• 2000

A fuzzy logic Run-by-Run(RbR) controller and an in -line wafer characteristics prediction scheme for the rapid thermal processing system have been developed for the study of process repeatability. The fuzzy logic RbR controller provides a framework for controlling a process which is subject to disturbances such as shifts and drifts as a normal part of its operation. The fuzzy logic RbR controller combines the advantages of both fuzzy logic and feedback control. It has two components : fuzzy logic diagnostic system and model modification system. At first, a neural network model is constructed with the I/O data collected during the designed experiments. The wafer state after each run is assessed by the fuzzy logic diagnostic system with featuring step. The model modification system updates the existing neural network process model in case of process shift or drift, and then select a new recipe based on the updated model using genetic algorithm. After this procedure, wafer characteristics are predicted from the in-line wafer characteristics prediction model with principal component analysis. The fuzzy logic RbR controller has been applied to the control of Titanium SALICIDE process. After completing all of the above, it follows that: 1) the fuzzy logic RbR controller can compensate the process draft, and 2) the in-line wafer characteristics prediction scheme can reduce the measurement cost and time.

• 정보처리학회논문지A
• /
• 제13A권3호
• /
• pp.199-204
• /
• 2006

리눅스 운영체제에서 커널 개발자의 오류로 인하여 발생되는 시스템 정지 현상을 줄이기 위해서 커널 하드닝이 필요하다. 그러나 기존의 커널 하드닝 방식은 고장 감내 기능을 통하여 제공되고 있기 때문에 구현이 어려울 뿐만 아니라 많은 비용이 소요된다. 본 논문에서 제안하는 커널 하드닝 방식은 패닉이 발생한 커널 주소에 대한 커널 스택 내의 값들을 정상적인 값으로 복구하기 위해서 커널 내의 panic() 함수 등 커널의 일부분을 수정하므로, 적은 비용으로 시스템 가용성을 높일 수 있다. 제안한 방식의 실험을 위하여 네트워크 모듈에 강제적인 패닉 현상 유발시키고, 잘못된 스택 값을 정상적인 값으로 복구하는 동작을 확인하였다.

• 전기학회논문지
• /
• 제57권8호
• /
• pp.1392-1397
• /
• 2008

The mechanical integrity of generator stator windings is one of the critical point because the electric power is generated and conducted to power system through these windings. De-mineralized water is used to cool stator bars during the normal operation of generator in large power plants because the water cooled method has highest cooling efficient. Water absorption of bar insulation is progressed by several causes such as generation of water leak path by corrosion, delamination of insulation by vibration, and inadequate water treatment, etc.. Reliable water absorption diagnostics of generator stator bar is important to ensure the availability of power plant and to reduce maintenance cost by generator accident. It is described that the water absorption characteristics for generator stator bar insulation used in 500MW capacity standard fossil power plant by cooling water temperature. It is verified that the management of stator cooling water temperature is one of the important factors to decrease water absorption rate of generator stator bars.

• 전기학회논문지
• /
• 제66권6호
• /
• pp.981-987
• /
• 2017

In this paper, we describe the LPM structure with a two-phase, which is not used previously, and explain its operation principle. In order to predict the accurate performance of LPM reduction model, finite element model was derived and the back EMF of LPM reduction model was measured and compared. In order to investigate the thrust and normal force of the LPM reduction model, a driving circuit capable of applying two-phase pulse currents was constructed and the performance was predicted in conjunction with the finite element analysis model. Finally, the design considering actual LPM size was performed. Since the size of the reduction model is small, the field could be made of a permanent magnet. However, it is almost impossible to manufacture a permanent magnet to match the size and capacity of a real LPM for a vehicle, in terms of cost and writing. Therefore, the actual vehicle LPM was replaced by wound type that generates a magnetic field by applying current to the field winding, and the final model was derived using the reaction surface method.

• Nuclear Engineering and Technology
• /
• 제53권3호
• /
• pp.741-751
• /
• 2021

There has been a deep interest in trying to find better-performing fuel clad motivated by the desire to decrease the likelihood of the reactor barrier failure like what happened in Fukushima in recent years. In this study, the effect of move towards accident tolerant fuel (ATF) cladding as the most attracting concept for improving reactor safety is investigated for SMART modular reactor. These reactors have less production cost, short construction time, better safety and higher power density. The SiC and FeCrAl materials are considered as the most potential candidate for ATF cladding, and the results are compared with Zircaloy cladding material from reactor physics point of view. In this paper, the calculations are performed by generating PMAX library by DRAGON lattice physics code to be used for further reactor core analysis by PARCS code. The differential and integral worth of control and safety rods, reactivity coefficient, power and temperature distributions, and boric acid concentration during the cycle are analyzed and compared from the conventional fuel cladding. The rod ejection accident (REA) is also performed to study how the power changed in response to presence of the ATF cladding in the reactor core. The key quantitative finding can be summarized as: 20 ℃ (3%) decrease in average fuel temperature, 33 pcm (3%) increase in integral rod worth and cycle length, 1.26 pcm/℃ (50%) and 1.05 pcm/℃ (16%) increase in reactivity coefficient of fuel and moderator, respectively.

• 시스템엔지니어링학술지
• /
• 제16권2호
• /
• pp.67-77
• /
• 2020

Traditionally nuclear thermal hydraulic and nuclear safety has relied on numerical simulations to predict the system response of a nuclear power plant either under normal operation or accident condition. However, this approach may sometimes be rather time consuming particularly for design and optimization problems. To expedite the decision-making process data-driven models can be used to deduce the statistical relationships between inputs and outputs rather than solving physics-based models. Compared to the traditional approach, data driven models can provide a fast and cost-effective framework to predict the behavior of highly complex and non-linear systems where otherwise great computational efforts would be required. The objective of this work is to develop an AI algorithm to predict the peak fuel cladding temperature as a metric for the successful implementation of FLEX strategies under extended station black out. To achieve this, the model requires to be conditioned using pre-existing database created using the thermal-hydraulic analysis code, MARS-KS. In the development stage, the model hyper-parameters are tuned and optimized using the talos tool.

• 대한설비공학회지:설비저널
• /
• 제12권4호
• /
• pp.240-251
• /
• 1983

The municipal government of Daejeon, Korea set up a plan to retrofit solar energy to the existing swimming pool. The pool was constructed in 1980, and meets the requirements of International standard. It will be used for the 1986 Asian Games and the 1988 Seoul Olymipics. The roof structure of the existing pool is to be modified to accomodate trickle solar collectors. In addition, various energy conserving ideas will be applied to the existing building structure. For the prevention of over heating of collectors on the roof, natural air convection scheme will be adopted within the collector system. Natural convection of passive type heating would be also adopted for the space heating of the pool when the system is idle. At present, the pool can be utilized only for two months a year without auxilairy heating. With oil heating, the energy cost would be too high for the normal operation. When this project completed in March 1984, it would be expected to be openable for seven months a year without a significan amount of auxiliary heating. In this project, two dimensional numerical analysis technic have been used to analyse the characterisitics of thermal performance of the swimming pool system. An experimental tat verification of the theoretical analysis have been also attempted.

• 한국통신학회논문지
• /
• 제40권9호
• /
• pp.1846-1855
• /
• 2015

본 논문에서는 저비용 단일 GNSS(Global Navigation Satellite System) 수신기를 이용하여 정밀한 위치를 추정하는 방법으로 반송파 위상 TD(Time Differenced) 측정치를 이용한 상대위치 결정기법을 제안하고 성능을 분석하였다. 제안하는 상대위치 결정기법은 반송파 위상 측정치를 활용하지만 시각 간 차분을 사용하므로 하나의 GNSS 수신기로 동작하며, 미지정수 결정 문제를 고려하지 않아도 된다. 또한 차분 간격이 짧은 시간일 경우 공간적 공통오차 및 위성시계 오차를 효율적으로 제거할 수 있다. 제안하는 위치결정 알고리즘은 오차해석을 통해 코드측정치를 이용한 절대위치 결정기법보다 성능이 우수함을 증명하고 실차 실험으로 구현된 알고리즘 및 오차해석 결과를 검증하였다. 그 결과, 위치추정 성능은 약 10분 동안 3m이내에 수렴하여 코드기반의 절대위치기법에 비하여 약 4배 이상 향상된 정확도 및 정밀도를 확인할 수 있었다.