• KEPCO Journal on Electric Power and Energy
• /
• v.7 no.2
• /
• pp.277-283
• /
• 2021

Power plant simulators have been used for operator training, control verification and engineering verification. In general, simulators can be used in the place where they are installed by only single user group at a time. Considering high cost of simulator development, a lot of available scenarios, the diversity of user level and accessibility based on users' work location, development of simulator system that can be used by multiple user groups regardless of location is required in order to enhance utilization of simulators. In this paper, the simulator system that can be used by multiple user group simultaneously without location limitation is proposed. The simulator system is composed of simulator servers, database servers, HMI servers, a web server, web clients. Simulator server consists of control model, process model that are developed for Circulating Fluidized Bed power plant located overseas. A web server manages user accounts, operation procedures, multiple server access between web client group and simulator server group. In other words, a web server makes a user group select a simulator server at a time. The developed simulator system is integrated after implementing process model, control model, HMI, and web server. Web client systems are installed on local site where power plant is located, while simulator servers, HMI servers, database servers, and a web server are located in KEPCO RI. The developed simulator system is verified by steady-state test, malfunction test and so on via remote access.

• Journal of Intelligence and Information Systems
• /
• v.7 no.2
• /
• pp.143-151
• /
• 2001

This paper investigates the development of a neural network based system for automated signature authentication that relies on an autoregressive characterization for the segments of a signature. The primary contributions of this work are tow-fold: a) the development of the neural network architecture and the modalities of training it, b) adaptation of the dynamic time warping algorithm to fomulate a new method for enabling consistent segmentation of multiple signatures from the same writer. The performance of the signature verification system has been tested using a sizable database that includes a comprehensive set of simulated and realistic forgeries. False Acceptance and False Rejection error rates of 0.78% and 1.6% respectively were obtained in tests conducted using 1920 skilled forgeries.

• Journal of Yeungnam Medical Science
• /
• v.39 no.2
• /
• pp.98-107
• /
• 2022

Background: Stroke patients usually experience damage to multiple functions and a long rehabilitation period. Hence, there is a large volume of patient clinical information. It thus takes a long time for clinicians to identify the patient's information and essential pieces of information may be overlooked. To solve this, we stored the essential clinical information of stroke patients in a blockchain and implemented the blockchain technology using the Java programming language. Methods: We created a mini blockchain to store the medical information of patients using the Java programming language. Results: After generating a unique pair of public/private keys for identity verification, a patient's identity is verified by applying the Elliptic Curve Digital Signature Algorithm based on the generated keys. When the identity verification is complete, new medical data are stored in the transaction list and the generated transaction is verified. When verification is completed normally, the block hash value is derived using the transaction value and the hash value of the previous block. The hash value of the previous block is then stored in the generated block to interconnect the blocks. Conclusion: We demonstrated that blockchain can be used to store and deliver the patient information of stroke patients. It may be difficult to directly implement the code that we developed in the medical field, but it can serve as a starting point for the creation of a blockchain system to be used in the field.

• International Journal of Computer Science & Network Security
• /
• v.24 no.3
• /
• pp.151-159
• /
• 2024

Twin clutch model enables the power-shifts as conventional planetary automatic transmission and eradicates the disadvantages of single clutch trans- mission. The automatic control of the dual clutches is a problem. Particularly to control the clutching component that engages when running in one direction of revolution and disengages when running the other direction, which exchange the torque smoothly during torque phase of the gearshifts on planetary-type automatic transmissions, seemed for quite a while hard to compensate through clutch control. Another problem is to skip gears during multiple gearshifts. However, the twin clutch gear control described in ["M Goetz, M C Levesley and D A Crolla. Dynamics and control of gearshifts on twin clutch transmissions, Proceedings of the Institution of Mechanical Engineers, Part D: Journal of Automobile Engineering 2005"], a significant improvement in twin clutch gear control system is discussed. In this research our objective is to formally specify the twin clutch gear control system and verify it with the help of formal methods. Formal methods have a high potential to give correctness estimating techniques. We use UPPAAL for formal specification and verification. Our results show that the twin clutch gear control model partially fulfills its functional requirements.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.12 no.6
• /
• pp.2429-2449
• /
• 2018

Dynamic data possession verification is a common requirement in cloud storage systems. After the client outsources its data to the cloud, it needs to not only check the integrity of its data but also verify whether the update is executed correctly. Previous researches have proposed various schemes based on Merkle Hash Tree (MHT) and implemented some initial improvements to prevent the tree imbalance. This paper tries to take one step further: Is there still any problems remained for optimization? In this paper, we study how to raise the efficiency of data dynamics by improving the parts of query and rebalancing, using a new data structure called Rank-Based Merkle AVL Tree (RB-MAT). Furthermore, we fill the gap of verifying multiple update operations at the same time, which is the novel batch updating scheme. The experimental results show that our efficient scheme has better efficiency than those of existing methods.

• Journal of the Korean Society of Safety
• /
• v.30 no.3
• /
• pp.114-122
• /
• 2015

In a fire hazard analysis (FHA) for nuclear power plant, various electrical circuit analyses are performed in the parts of fire loading analysis, fire modeling analysis, separation criteria analysis, associated circuit analysis, and multiple spurious operation analysis. Thus, electrical circuit analyses are very important areas so that reliability of the analysis results should be assured. This study is to establish essential electrical elements for each analysis for verification of the reliability of the electrical circuit analyses in the fire hazard analysis for nuclear power plants. Applying the results derived by the study to domestic nuclear power plants, it is expected to determine the adequacy of the fire hazard analysis report and contribute to the reliability of the fire hazard analysis of those plants.

• Transactions of the Korean Society for Noise and Vibration Engineering
• /
• v.16 no.2 s.107
• /
• pp.176-182
• /
• 2006

Modeling and verification for stability analysis of axially oscillating cantilever beams are investigated in this paper Equations of motion for the axially oscillating beams are derived and transformed into dimensionless forms. The equations include harmonically oscillating parameters which are related to the motion-induced stiffness variation. stability diagram is obtained by using the multiple scale perturbation method. To verify the accuracy of the modeling method, several points in the plane of the stability diagram are presented and solved. The present modeling method proves to be as accurate as a nonlinear finite element modeling method.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2005.11a
• /
• pp.708-713
• /
• 2005

Modeling and verification for stability analysis of axially oscillating cantilever beams are investigated in this paper. Equations of motion for the axially oscillating beams are derived and transformed into dimensionless forms. The equations include harmonically oscillating parameters which are related to the motion-induced stiffness variation. Stability diagram is obtained by using the multiple scale perturbation method. To verify the accuracy of the modeling method, several points in the plane of the stability diagram are presented and solved. The present modeling method proves to be as accurate as a nonlinear finite element modeling method.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.31 no.6A
• /
• pp.563-574
• /
• 2006

This paper implements SCM(Spatial Channel Model), a kind of ray-tracing method which has characteristics similar to realistic wave propagation environments, for link-level performance analysis of OFDM(Orthogonal Frequency Division Multiplexing) based multiple antenna systems. The SCM is proposed by 3GPP & 3GPP2 Spatial Channel AHG(Ad-hoc Group) for system-level performance validation. In this paper, we modify the system level parameters and channel coefficient of SCM to compare the link-level performances of OFDM based multiple antenna systems. Through computer simulations, we manifest the implemented SCM channel characteristics. We analyze a realistic link-level performance of OFDM based conventional MIMO(Multiple Input Multiple Output) system and smart antenna system in the implemented channel. We also include the link-level performance of OFDM based multiple antenna systems in I-METRA(Intelligent Multi Element Transmit and Receive Antenna) and independent channel environments with the same system parameters. We suggest appropriate multiple antenna system in the given environment by comparing the link-level performance in the spatial channels that have different channel correlation values.

• Journal of the Korean Society for Precision Engineering
• /
• v.18 no.12
• /
• pp.116-123
• /
• 2001

An automated injection molding design methodology has been developed to optimize multiple quality attributes, which are usually in conflict with each other, in injection molded parts. For the optimization, commercial CAE simulation tools and optimization techniques are integrated into the methodology. To decal with the multiple objective problem the relative closeness computed in TOPSIS(Technique for Order Preference by Similarity to Ideal Solution) is used as a performance measurement index for optimization multiple part defects. To attain robustness against process variation, Taguchi's quadratic loss function is introduced in the TOPSIS. Also, the modified complex method is used as an optimization tool to optimize objective function. The verification of the developed design methodology was carried out on simulation software with an actual model. Applied to production this methodology will be useful to companies in reducing their product development time and enhancing their product quality.