• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.7 no.1
• /
• pp.119-131
• /
• 2013

With the explosive growth of computer networks, many remote service providing servers and multi-server network architecture are provided and it is extremely inconvenient for users to remember numerous different identities and passwords. Therefore, it is important to provide a mechanism for a remote user to use single identity and password to access multi-server network architecture without repetitive registration and various multi-server authentication schemes have been proposed in recent years. Recently, Tsaur et al. proposed an efficient and secure smart card based user authentication and key agreement scheme for multi-server environments. They claimed that their scheme satisfies all of the requirements needed for achieving secure password authentication in multi-server environments and gives the formal proof on the execution of the proposed authenticated key agreement scheme. However, we find that Tsaur et al.'s scheme is still vulnerable to impersonation attack and many logged-in users' attack. We propose an extended scheme that not only removes the aforementioned weaknesses on their scheme but also achieves user anonymity for hiding login user's real identity. Compared with other previous related schemes, our proposed scheme keeps the efficiency and security and is more suitable for the practical applications.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.13 no.3
• /
• pp.25-31
• /
• 2013

The AVC System which has operated in Highways has two-piezo sensors. In this system the piezo sensors are installed on parally each other this configuration has a defect about diversion driving and sensor damage. In this reserch, 3-Sensor AVC algorithm has been proposed which is supported enhance accuracy of the vehicle classification rate compare with usual 2-Sensor systems. This algorithm is allowed to calculate wheel tread, wheel width. The third inclinded piezo sensor can detec twheel tread, wheel width using signal processing. 3-Sensor AVC has been installed in real highway and the outcome performance has been proof.

• 제어로봇시스템학회:학술대회논문집
• /
• 1996.10a
• /
• pp.259-262
• /
• 1996

This paper proposes an approach in modeling a 4x60inch Allis Chalmers Hydrocone Crusher [1] hydroset and presents some numerical simulation results. The mining and quarry industry is one of the industries which extensively use hydrocone crushers, which are a family of cone crushers, for rock size reduction. Field studies have proved that if proper control and management of these machines is undertaken, they can yield an increased production output of more than 30%, in addition substantial savings in both energy consumption per unit ton produced and manpower can be easily realized. In order to achieve these economic benefits, high performance from these machines is expected. Implementing automatic control for such machines would be a great leap towards achieving both economic benefits and more effective fool-proof predictive maintenance. But, unfortunately, for such a control system to be designed, it necessary to make a mechatronical model of this plant. The plant model is able to give us an insight into variations of both the plant gap setting (displacement) and system pressure due to variable loading arising from the crushing process.

• Journal of the Institute of Electronics Engineers of Korea SC
• /
• v.39 no.2
• /
• pp.85-94
• /
• 2002

In this paper, we show that the 2nd-order iterative learning control algorithm with CITE is more effective and has better convergence performance than the algorithm without CITE in the case of the existence of initialization errors, for the trajectory-tracking control of dynamic systems with unidentified parameters. In contrast to other known methods, the proposed learning control scheme utilize more than one past error history contained in the trajectories generated at prior iterations, and a CITE term is added in the learning control scheme for the enhancement of convergence speed and robustness to disturbances and initialization errors. And the convergence proof of the proposed algorithm in the case of the existence of initialization error is given in detail, and the effectiveness of the proposed algorithm is shown by simulation results.

• Journal of the Institute of Electronics and Information Engineers
• /
• v.49 no.9
• /
• pp.145-154
• /
• 2012

This paper proves that multi-port junction-based direct receivers (MPDRs) can regenerate I- and Q-channel signals accurately by using conventional I/Q mismatch compensation. This proof enables MPDRs to be integrated into existing RFIC based systems without additional digital signal processing. This paper analyzes the relationship between accuracy of I/Q regeneration parameters and degree of I/Q mismatch, and shows that the estimation results and the simulation results are almost the same.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.9 no.2
• /
• pp.811-829
• /
• 2015

One-way authenticated key agreement protocols, aiming at solving the problems to establish secure communications over public insecure networks, can achieve one-way authentication of communicating entities for giving a specific user strong anonymity and confidentiality of transmitted data. Public Key Infrastructure can design one-way authenticated key agreement protocols, but it will consume a large amount of computation. Because one-way authenticated key agreement protocols mainly concern on authentication and key agreement, we adopt multi-server architecture to realize these goals. About multi-server architecture, which allow the user to register at the registration center (RC) once and can access all the permitted services provided by the eligible servers. The combination of above-mentioned ideas can lead to a high-practical scheme in the universal client/server architecture. Based on these motivations, the paper firstly proposed a new one-way authenticated key agreement scheme based on multi-server architecture. Compared with the related literatures recently, our proposed scheme can not only own high efficiency and unique functionality, but is also robust to various attacks and achieves perfect forward secrecy. Finally, we give the security proof and the efficiency analysis of our proposed scheme.

• 제어로봇시스템학회:학술대회논문집
• /
• 1993.10b
• /
• pp.534-540
• /
• 1993

In this paper, we present an iterative learning method of compensating for position sensor error. The previously known compensation algrithms need a special perfect position sensor or a priori information about error sources, while ours does not. To our best knowledge, any iterative learning approach has not been taken for sensor error compensation. Furthermore, our iterative learning algorithm does not have the drawbacks of the existing iterative learning control theories. To be more specific, our algorithm learns a uncertain function inself rather than its special time-trajectory and does not request the derivatives of measurement signals. Moreover, it does not require the learning system to start with the same initial condition for all iterations. To illuminate the generality and practical use of our algorithm, we give the rigorous proof for its convergence and some experimental results.

• Korean Journal of Clinical Pharmacy
• /
• v.11 no.2
• /
• pp.68-77
• /
• 2001

Herbal medicines have been used since ancient times as medicines to treat and relieve the symptoms of many different human diseases. However, so far, relatively few herbal medicines have been evaluated scientifically to prove their safety, potential benefits and effectiveness. This study was conducted to provide the groundwork for improving the current registration regulations for herbal medicines in distinction from synthetic medicines. The study was performed based on the literature research and individual interviews with 5 experts who had extensive experience in registration of herbal medicines. When compared with synthetic drugs, herbal medicines exhibit some marked differences, namely the active principles are frequently unknown, standardization, stability and quality control are not easy, they are usually mixtures of complex compounds. Second, the current regulations for herbal medicines are reviewed by comparison of foreign regulation systems like the one in China. The regulation requirements of herbal medicine in China are in distinction from synthetic drugs. The authors conclude that new registration requirements for the herbal medicines should be changed as follows; the toxicity and efficacy data should be submitted as mixed herbal preparation and the documents and other research on the reproduction and generation toxicity need to be shown for the proof of reproduction and generation toxicity, if needed.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.26 no.6
• /
• pp.1092-1098
• /
• 2002

This paper discusses the composition of the theory of reinforcement teaming, which is applied in real-time teaming, and evolutionary strategy, which proves its the superiority in the finding of the optimal solution at the off-line teaming method. The individuals are reduced in order to team the evolutionary strategy in real-time, and new method that guarantee the convergence of evolutionary mutations are proposed. It is possible to control the control object varied as time changes. As the state value of the control object is generated, applied evolutionary strategy each sampling time because of the teaming process of an estimation, selection, mutation in real-time. These algorithms can be applied, the people who do not have knowledge about the technical tuning of dynamic systems could design the controller or problems in which the characteristics of the system dynamics are slightly varied as time changes. In the future, studies are needed on the proof of the theory through experiments and the characteristic considerations of the robustness against the outside disturbances.

• Smart Structures and Systems
• /
• v.6 no.2
• /
• pp.91-100
• /
• 2010

An experimental study was carried out to investigate the shape control of plates via embedded shape memory alloy (SMA) wires. An extensive body of literature proposes the use of SMA wires to actively modify the shape or stiffness of a structure; in most cases, however, the study focuses on modeling and little experimental data is available. In this work, a simple proof of concept specimen was built by attaching four prestrained SMA wires to one side of a carbon fiber laminate plate strip. The specimen was clamped at one end and tested in an environmental chamber, measuring the tip displacement and the SMA temperature. At heating, actuation of the SMA wires bends the plate; at cooling deformation is partially recovered. The specimen was actuated a few times between two fixed temperatures $T_c$ and $T_h$, whereas in the last actuation a temperature $T_f$ > $T_h$ was reached. Contrary to most model predictions, in the first actuation the transformation temperatures are significantly higher than in the following cycles, which are stable. Moreover, if the temperature $T_h$ is exceeded, two separate actuations occur during heating: the first follows the path of the stable cycles; the second, starting at $T_h$, is similar to the first cycle. An interpretation of the phenomenon is given using some differential scanning calorimeter (DSC) measurements. The observed behavior emphasizes the need to build a more comprehensive constitutive model able to include these effects.