• Journal of Electrical Engineering and information Science
• /
• v.2 no.6
• /
• pp.43-47
• /
• 1997

A procedure presented in this paper generates test sequences to check the conformity of an implementation with a protocol specification, which is modeled as a deterministic finite state machine (FSM). Given a FSM, a common procedure of test sequence generation, first, constructs a directed graph which edges include the state check after each transition, and produces a symmetric graph G* from and, finally, finds a Euler tour of G*. We propose a technique to determine a minimum-cost tour of the transition graph of the FSM. The proposed technique using Multiple Unique State Signature (MUSS) solves an open issue that one MUIO sequence assignment may lead to two more edges of unit cost being replicated to from G* while an optimal assignment may lead to the replication of a single edge of high cost. In this paper, randomly generated FSMs have been studied as test cases. The result shows that the proposed technique saves the cost 4∼28% and 2∼21% over the previous approach using MUIO and MUSP, respectively.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.40 no.9
• /
• pp.702-713
• /
• 2003

The importance of protection for data and information is increasing by the rapid development of information communication and network. And the concern for protecting private information is also growing due to the increasing demand for lots of services by users. Asymmetric cryptosystem is the mainstream in encryption system rather than symmetric cryptosystem by above reasons. But asymmetric cryptosystem is restricted in applying fields by the reason it takes more times to process than symmetric cryptosystem. In this paper, encryption system which executes authentication works of asymmetric cryptosystem by means of symmetric cryptosystem. The proposed cryptosystem uses an algorithms combines that combines block cipherment with stream cipherment and has a high stability in aspect of secret rate by means of transition of key sequence according to the information of plaintext while symmetric/asymmetric cryptosystem conducts encipherment/deciphermeent using a fixed key. Consequently, it is very difficult to crack although unauthenticator acquires the key information. So, the proposed encryption system which has a certification function of asymmetric cryptosystem and a processing time equivalent to symmetric cryptosystems will be highly useful to authorize data or exchange important information.

• Molecules and Cells
• /
• v.43 no.8
• /
• pp.694-704
• /
• 2020

HslUV is a bacterial heat shock protein complex consisting of the AAA+ ATPase component HslU and the protease component HslV. HslV is a threonine (Thr) protease employing the N-terminal Thr residue in the mature protein as the catalytic residue. To date, HslUV from Gram-negative bacteria has been extensively studied. However, the mechanisms of action and activation of HslUV from Gram-positive bacteria, which have an additional N-terminal sequence before the catalytic Thr residue, remain to be revealed. In this study, we determined the crystal structures of HslV from the Gram-positive bacterium Staphylococcus aureus with and without HslU in the crystallization conditions. The structural comparison suggested that a structural transition to the symmetric form of HslV was triggered by ATP-bound HslU. More importantly, the additional N-terminal sequence was cleaved in the presence of HslU and ATP, exposing the Thr9 residue at the N-terminus and activating the ATP-dependent protease activity. Further biochemical studies demonstrated that the exposed N-terminal Thr residue is critical for catalysis with binding to the symmetric HslU hexamer. Since eukaryotic proteasomes have a similar additional N-terminal sequence, our results will improve our understanding of the common molecular mechanisms for the activation of proteasomes.

• Journal of Korea Multimedia Society
• /
• v.7 no.12
• /
• pp.1719-1728
• /
• 2004

The fusion of Internet technology and applications with wireless communication provides a new business model and promises to extend the possibilities of commerce to what is popularly called mobile commerce, or m-commerce. In mobile Internet banking service through wireless local area network, security is a most important factor to consider. We describe the development of security service for mobile Internet banking on Personal Digital Assistants (PDAs). Banking Server and Authentication Server were developed to simulate banking business and to support certificate management of authorized clients, respectively. To increase security, we took hybrid approach in implementation: symmetric block encryption and public-key encryption. Hash function and random number generation were exploited to generate a secret key. The data regarding banking service were encrypted with symmetric block encryption, RC4, and the random number sequence was done with public-key encryption. PDAs communicate through IEEE 802.IIb wireless LAN (Local Area Network) to access banking service. Several banking services and graphic user interfaces, which emulatedthe services of real bank, were developed to verity the working of each security service in PDA, the Banking Server, and the Authentication Server.

• Journal of the Institute of Electronics and Information Engineers
• /
• v.50 no.8
• /
• pp.3-14
• /
• 2013

We demonstrate a fashion of quantum channel combining and splitting, called polar quantum channel coding, to generate a quantum bit (qubit) sequence that achieves the symmetric capacity for any given binary input discrete quantum channels. The present capacity is achievable subject to input of arbitrary qubits with equal probability. The polarizing quantum channels can be well-conditioned for quantum error-correction coding, which transmits partially quantum data through some channels at rate one with the symmetric capacity near one but at rate zero through others.

• Structural Engineering and Mechanics
• /
• v.58 no.6
• /
• pp.1001-1020
• /
• 2016

The study is to investigate the free vibration of antisymmetric angle-ply conical shells having non-uniform sinusoidal thickness variation. The arbitrarily varying thickness is considered in the axial direction of the shell. The vibrational behavior of shear deformable conical shells is analyzed for three different support conditions. The coupled differential equations in terms displacement and rotational functions are obtained. These displacement and rotational functions are invariantly approximated using cubic spline. A generalized eigenvalue problem is obtained and solved numerically for an eigenfrequency parameter and an associated eigenvector of spline coefficients. The vibration characteristic of the shells is examined for cone angle, aspect ratio, sinusoidal thickness variation, layer number, stacking sequence, and boundary conditions.

• Journal of the Korean Society for Precision Engineering
• /
• v.6 no.4
• /
• pp.84-93
• /
• 1989

This paper describes some development of Computer-Aided Process Planning System for cold-forging of rotationally symmetric parts(soild shape and solid-can combined shape) produced by the presses or formers. Using the developed system, forming sequences for producing final product are generated as graphic forms and process names, preform dimensions and process parameters(load, punch pressure, die pressure) are generated as routing sheets. Konwledges for forming sequence and process parameters are extracted from process limitations, plasticity theories, handbooks, relevent refferences and empirical know-how of experts in cold forging companies. Among extracted knowldeges, general and consistent knowledges are represented as design rules and are constructed as knowledge base. The developed system provides more powerful tool for through checking the producibilities of design, conformation of appropriate forming sequences and discoveries of new possibility. The results of the developed system are in good agreement with the practical data.

• Structural Engineering and Mechanics
• /
• v.4 no.5
• /
• pp.485-496
• /
• 1996

This paper describes a numerical and experimental study on the stability and failure behaviour of rectangular symmetric laminated composite plates. The plates are simply supported along the unloaded edges and clamped along the loaded ends, and they are subjected to uniaxial in-plane compression. The finite element method was employed for the theoretical study. The study examines the effect of the plate's stacking sequence and aspect ratio on the stability and failure response of rectangular symmetric laminated carbon fibre reinforced plastics composite plates. The study also includes the effect of the unloaded edge support conditions on the postbuckling response and failure of the plates. Extensive experimental investigation were also carried out to supplement the finite element study. A comprehensive comparison between theory and experimental data are presented and discussed in this contribution.

• Journal of the Korean Mathematical Society
• /
• v.58 no.2
• /
• pp.351-381
• /
• 2021

In this paper we introduce the notion of strong Galois H-progenerator object for a finite cocommutative Hopf quasigroup H in a symmetric monoidal category C. We prove that the set of isomorphism classes of strong Galois H-progenerator objects is a subgroup of the group of strong Galois H-objects introduced in [3]. Moreover, we show that strong Galois H-progenerator objects are preserved by strong symmetric monoidal functors and, as a consequence, we obtain an exact sequence involving the associated Galois groups. Finally, to the previous functors, if H is finite, we find exact sequences of Picard groups related with invertible left H-(quasi)modules and an isomorphism Pic(HMod) ≅ Pic(C)⊕G(H∗) where Pic(HMod) is the Picard group of the category of left H-modules, Pic(C) the Picard group of C, and G(H∗) the group of group-like morphisms of the dual of H.

• Journal of Electrical Engineering and Technology
• /
• v.8 no.3
• /
• pp.499-506
• /
• 2013

The accurate estimation of a fault location is desired in distance protection schemes for transmission lines in order to selectively deactivate a faulted line. However, a typical method to estimate a fault location by calculating impedances with voltages and currents at relaying points may have errors due to various factors such as the mutual impedances of lines, fault impedances, or effects of parallel circuits. The proposed algorithm in this paper begins by extracting the fundamental phasor of the positive sequence currents from the three phase currents. The second-order difference of the phasor is then calculated based on the fundamental phasor of positive sequence currents. The traveling times of the waves generated by a fault are derived from the second-order difference of the phasor. Finally, the distance from the relaying point to the fault is estimated using the traveling times. To analyze the performance of the algorithm, a power system with EHV(Extra High Voltage) untransposed double-circuit transmission lines is modeled and simulated under various fault conditions, such as several fault types, fault locations, and fault inception angles. The results of the simulations show that the proposed algorithm has the capability to estimate the fault locations with high speed and accuracy.