• Journal of Information Processing Systems
• /
• v.7 no.3
• /
• pp.549-560
• /
• 2011

Vote validity proof and verification is an efficiency bottleneck and privacy drawback in homomorphic e-voting. The existing vote validity proof technique is inefficient and only achieves honest-verifier zero knowledge. In this paper, an efficient proof and verification technique is proposed to guarantee vote validity in homomorphic e-voting. The new proof technique is mainly based on hash function operations that only need a very small number of costly public key cryptographic operations. It can handle untrusted verifiers and achieve stronger zero knowledge privacy. As a result, the efficiency and privacy of homomorphic e-voting applications will be significantly improved.

• 제어로봇시스템학회:학술대회논문집
• /
• 1993.10a
• /
• pp.975-980
• /
• 1993

In accordance with increase, if electronic power demanded, more efficient supervisory control of distribution system will be required. This study contains development of MMI(man-machine-interface) system with GUI(graphic-user-interface), for the automatic power distribution system. The main function of MMI system is to edit network of power distribution and to management of data base for network. The GUI function of MMI system enables more efficient management of power distribution system.

• Journal of Industrial Technology
• /
• v.22 no.B
• /
• pp.71-78
• /
• 2002

The objective of this paper is to develop an efficient genetic algorithm (GA) to find a channel assignment method for minimum interference among the channels within reasonable time. The series of specific channel number is used as a representation of chromosome. We use minimum-channel-distance encoding scheme within the same cell to consider cosite channel interference (CSI) when chromosomes are generated. The cell base crossover is also used. This proposed method improves solution quality within limited time.

• 제어로봇시스템학회:학술대회논문집
• /
• 2001.10a
• /
• pp.121.5-121
• /
• 2001

For the last decade, remarkable progress in the coating weight uniformity of hot dip galvanized product has been made to overcome the tightening quality constraints and produce cost-effective galvanized products. This progress results from research and development works for more efficient air knife, more accurate model of coating process, more precise measurement of coating weight and more efficient control logics. The activities for an efficient mathematical model to predict coating weight and several control logics which has been implemented on the No.1 CGL, No. 2 CGL, and PGL at KwangYang Steel Works are reviewed in this article.

• Proceedings of the IEEK Conference
• /
• 2003.07b
• /
• pp.1177-1180
• /
• 2003

Recently, SystemC is one among the language observed. In Industry, there are many the languages that use Verilog. But, unskillful SystemC users must learn SystemC for conversion that from Verilog to SystemC and need time and effort for this. By these reason, feel necessity of easy and efficient conversion. This paper argues efficient methodology to change Verilog to SystemC. Abstract concepts of Verilog are proposed fittingly each one by one in SystemC.

• Proceedings of the IEEK Conference
• /
• 1999.06a
• /
• pp.1033-1036
• /
• 1999

This paper proposes an efficient fault diagnosis for digital circuits using multilayer neural networks. The efficient learning algorithm is also proposed for the multilayer neural network, which is combined the steepest descent for high-speed optimization and the dynamic tunneling for global optimization. The fault-diagnosis system using the multilayer neural network of the proposed algorithm has been applied to the parity generator circuit. The simulation results shows that the proposed system is higher convergence speed and rate, in comparision with system using the backpropagation algorithm based on the gradient descent.

• Proceedings of the IEEK Conference
• /
• 1999.11a
• /
• pp.79-82
• /
• 1999

In this paper, it was studied that the performance of OFDM transmission scheme was improved in fading channel by applying TCM, which has advantages of error correction and bandwidth efficiency. Simulation was carried out for two TCM models with different code efficient length. By mapping two models to square 16QAM, the model with the code efficient length of 2 achieved 3㏈ better than the other for the BER of 10$^{-3}$ . In conclusion, if we want to achieve a better performance with TCM in OFDM applications, we should select a TCM with langer code efficient length.

• Proceedings of the IEEK Conference
• /
• 1999.11a
• /
• pp.1053-1056
• /
• 1999

Video On Demand servers generally require massive disk storages for storing many video data. Many researches have been done on the topics of efficient allocation of movies in disks. This paper, We describe efficient disk placement techniques and implement storage system with SCSI and PCI Bus interface for efficient data handling. This paper also proposes a logical zone reconstruction method for the SCAN data placement technique. The proposed method reconstructs physical zones into logical zones by split and merge operations.

• Proceedings of the IEEK Conference
• /
• 2000.11c
• /
• pp.81-84
• /
• 2000

In this paper, we propose an efficient method to extract a goal area which may be closely related to the scoring highlight. In our method, the boundary between the ground and the non-ground area is used. An efficient methods for a rapid detection of both the boundary and then the goal area are proposed. Our simulation results show that our method is very reliable and takes less processing time compared with previous methods. This performance improvements may be caused by the use of a general simple feature.

• Journal of the military operations research society of Korea
• /
• v.24 no.1
• /
• pp.146-156
• /
• 1998

Cholesky factorization is known to be inefficient to problems with dense column and network problems in interior point methods. We use the conjugate gradient method and preconditioners to improve the convergence rate of the conjugate gradient method. Several preconditioners were applied to LPABO 5.1 and the results were compared with those of CPLEX 3.0. The conjugate gradient method shows to be more efficient than Cholesky factorization to problems with dense columns and network problems. The incomplete Cholesky factorization preconditioner shows to be the most efficient among the preconditioners.