• Bulletin of the Korean Mathematical Society
• /
• v.50 no.5
• /
• pp.1753-1763
• /
• 2013

In this paper, we show that tree products of certain subgroup separable groups amalgamating normal subgroups are cyclic subgroup separable. We then extend this result to certain graph product of certain subgroup separable groups amalgamating normal subgroups, that is we show that if the graph has exactly one cycle and the cycle is of length at least four, then the graph product is cyclic subgroup separable.

• 한국정보디스플레이학회:학술대회논문집
• /
• 2007.08b
• /
• pp.1319-1322
• /
• 2007

Planar PIN photodiode is compatible with LTPS process, and its fabrication requires no additional manufacturing process. In this study we design the optimum dimension of PIN diodes with two nitride layers to improve the efficiency of PIN diodes. The PIN photo sensor shows very good sensitivity to ambient light illuminance.

• KIEE International Transaction on Electrical Machinery and Energy Conversion Systems
• /
• v.5B no.1
• /
• pp.6-12
• /
• 2005

This paper presents Z-source inverters, their controls,, and their systems for motor drives. System configurations, analysis, controls, and unique features of the new Z-source motor drive systems will be summarized and given. Simulation and experimental results demonstrate advantageous features over the traditional voltage- and current-source inverter systems.

• 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.

• Bulletin of the Korean Chemical Society
• /
• v.34 no.12
• /
• pp.3867-3870
• /
• 2013

• Bulletin of the Korean Chemical Society
• /
• v.32 no.9
• /
• pp.3473-3476
• /
• 2011

• Proceedings of the Korean Ceranic Society Conference
• /
• 2003.04a
• /
• pp.98.2-98
• /
• 2003

• Proceedings of the Korean Aquaculture Society Conference
• /
• 2004.05a
• /
• pp.278-279
• /
• 2004

• Proceedings of the Korean Aquaculture Society Conference
• /
• 2004.05a
• /
• pp.280-281
• /
• 2004

• 제어로봇시스템학회:학술대회논문집
• /
• 1991.10a
• /
• pp.55-59
• /
• 1991

This paper presents a method for designing a full state feedback linear static control law. This will stabilize a given linear uncertain system and also guarantee the performance of the system. The uncertain systems are described by state equation which contains uncertain parameters in system and input distribution matrices. The method is based on the guaranteed cost control of Chang and Peng(1972). The controller gain can be obtained by the solution of a algebraic Riccati equation in which the input weighting matrices depend on the uncertainty bounds. The algebraic Riecati equation in this paper is same as that of weighted LQ regulator problem.