• Journal of the Korean Society for Precision Engineering
• /
• v.19 no.9
• /
• pp.118-124
• /
• 2002

The use of ceramic inserts in hot extrusion dies offers significant technical and economic advantages over other forms of manufacture. In this paper, process simulation and stress analysis are thus combined during the design, and a data exchange program has been developed that enables optimal design of the dies taking into account the elastic deflections generated in shrink fitting the die inserts and that caused by the stresses generated in the process. The shrink fit analysis has been performed that enables optimal design of the dies taking into account the elastic deflections which generated in shrink fitting the die inserts and that caused by the stresses generated in the process and by using DEFORM software for process analysis. This data can be processed as load input data for a finite element die-stress analysis. Process simulation and stress analysis are thus combined during the die design. The stress analysis of the dies is used to determine the stress conditions on the ceramic insert by considering contact and interference effects under both mechanical and thermal loads. The results are compared with the experimental ones for verification.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.10 no.7
• /
• pp.3319-3338
• /
• 2016

Cloud storage is becoming more and more popular because of its elasticity and pay-as-you-go storage service manner. In some cloud storage scenarios, the data that are stored in the cloud may be shared by a group of users. To verify the integrity of cloud data in this kind of applications, many auditing schemes for shared cloud data have been proposed. However, all of these schemes do not consider the access authorization problem for users, which makes the revoked users still able to access the shared cloud data belonging to the group. In order to deal with this problem, we propose a novel public auditing scheme for shared cloud data in this paper. Different from previous work, in our scheme, the user in a group cannot any longer access the shared cloud data belonging to this group once this user is revoked. In addition, we propose a new random masking technique to make our scheme preserve both data privacy and identity privacy. Furthermore, our scheme supports to enroll a new user in a group and revoke an old user from a group. We analyze the security of the proposed scheme and justify its performance by concrete implementations.

• Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
• /
• v.27 no.4
• /
• pp.461-467
• /
• 2009

Relative positioning technique by GPS that can obtain the high positioning accuracy has been used for generation of high precision positioning with elimination or the reduction of the common errors. This paper gives some algorithms for RTK and considers the filter to estimate the positioning information and integer ambiguities at each epoch in the whole algorithms. The extended kalman filter has been employed to estimate the state parameters and the modified LAMBDA to resolve the integer ambiguities. The data processing was performed by GPS single frequency and dual frequency in short baseline. The verification procedure of these positioning compared with results from Bernese 5.0 software. We presented some statistic values on positioning errors and the rates of integer ambiguity resolution.

• Journal of the Korean Society of Clothing and Textiles
• /
• v.32 no.8
• /
• pp.1226-1232
• /
• 2008

Tight fitting glove pattern is necessary to convey oscillation to the skin from the sensors attached on the hands as found in the haptic device. However, it has been difficult to provide customized glove pattern for haptic device so far. The objective of the paper is to develop a 2D pattern that fit tightly to hands by adopting the recent 3D technology to the clothing science. In this study, the user graphic interface application software(2C-AN) for the semi-automatic garment pattern generation has been utilized to develop the methodology of construct tight-fitting glove pattern for the hand in natural position. A basic pattern was developed directly from the 3D images of hand and the verification of the proposed pattern was also provided.

• Mass Spectrometry Letters
• /
• v.1 no.1
• /
• pp.21-24
• /
• 2010

The development of clinical biomarkers involves discovery, verification, and validation. Recently, multiple reaction monitoring (MRM) coupled with stable isotope dilution mass spectrometry (IDMS) has shown considerable promise for the direct quantification of proteins in clinical samples. In particular, multiple biomarkers have been tracked in a single experiment using MRM-based MS approaches combined with liquid chromatography. We report here a highly reproducible, quantitative, and dynamic MRM system for validating multi-biomarker proteins using Nanoflow HPLC-Microfluidics Chip/Triple-Quadrupole MS. In this system, transitions were acquired only during the retention window of each eluting peptide. Transitions with the highest MRM-MS intensities for the five target peptides from colon cancer biomarker candidates were automatically selected using Optimizer software. Relative to the corresponding non-dynamic system, the dynamic MRM provided significantly improved coefficients of variation in experiments with large numbers of transitions. Linear responses were obtained with concentrations ranging from fmol to pmol for five target peptides.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.6 no.9
• /
• pp.2405-2423
• /
• 2012

In a traditional Single Sign-On (SSO) scheme, the user and the Service Providers (SPs) have given their trust to the Identity Provider (IdP) or Authentication Service Provider (ASP) for the authentication and correct assertion. However, we still need a better solution for the local/native true SSO to gain user confidence, whereby the trusted entity must play the role of the ASP between distinct SPs. This technical gap has been filled by Trusted Computing (TC), where the remote attestation approach introduced by the Trusted Computing Group (TCG) is to attest whether the remote platform integrity is indeed trusted or not. In this paper, we demonstrate a Trustworthy Mutual Attestation (TMutualA) protocol as a proof of concept implementation for a local true SSO using the Integrity Measurement Architecture (IMA) with the Trusted Platform Module (TPM). In our proposed protocol, firstly, the user and SP platform integrity are checked (i.e., hardware and software integrity state verification) before allowing access to a protected resource sited at the SP and releasing a user authentication token to the SP. We evaluated the performance of the proposed TMutualA protocol, in particular, the client and server attestation time and the round trip of the mutual attestation time.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.14 no.10
• /
• pp.5123-5129
• /
• 2013

In this paper, it is proposed that JTAG fault injection environment and the results of the classification techniques that the reliability of embedded systems can be tested. As applying these, this is possible to quantitative analysis of vulnerable factor for system. The quantitative analysis for the degree of vulnerability of system is evaluated by faults errors, and failures classification schemes. When applying these schemes, it is possible to verify process and classify for fault that might occur in the system.

• Journal of the Korean Society for Aviation and Aeronautics
• /
• v.16 no.2
• /
• pp.1-11
• /
• 2008

Increasing demand for improved reliability and survivability of mission-critical systems is driving the development of health monitoring and Automated Contingency Management (ACM) systems. An ACM system is expected to adapt autonomously to fault conditions with the goal of still achieving mission objectives by allowing some degradation in system performance within permissible limits. ACM performance depends on supporting technologies like sensors and anomaly detection, diagnostic/prognostic and reasoning algorithms. This paper presents the development of a generic prototype test bench software framework for developing and validating ACM systems for advanced propulsion systems called the Propulsion ACM (PACM) Test Bench. The architecture has been implemented for a Monopropellant Propulsion System (MPS) to demonstrate the validity of the approach. A Simulink model of the MPS has been developed along with a fault injection module. It has been shown that the ACM system is capable of mitigating the failures by searching for an optimal strategy. Furthermore, the concepts of Validation and Verification (V&V) of such systems are introduced with relevant examples.

• 건축구조
• /
• v.19 no.4
• /
• pp.51-60
• /
• 2012

In recent years, BIM has been applied to many building projects. However, IFC, which is the core technology of data exchange in BIM, has not been used widely. In particular, IFC has almost never been used to represent rebars in RC structures. This is because the lack of understanding and utilization strategy for data model of IFC on rebars. The purpose of this study is to store and manage the data on rebars using IFC at the schematic design stage. For this, we investigated the data to represent rebars for RC members, such as beam, column, wall, and slab at the schematic design stage. And, we analyzed the data model of IFC on rebars at the schematic design stage. Based on these investigation and analysis on data, we proposed the strategy for utilization of the data model of IFC on rebars. Finally, for verification, we generated a sample IFC file to represent the rebars of a simple RC structure according to the proposed strategy and imported the sample IFC file into the software, which we developed for this study. Based on the results of the import, we concluded that the data on rebars can be stored and managed using the proposed strategy for utilization of the data model of IFC on rebars.

• KIEE International Transactions on Power Engineering
• /
• v.4A no.3
• /
• pp.129-133
• /
• 2004

This paper deals with the design and implementation of a TCSC (Thyristor Controlled Series Capacitor) simulator, which is a module for an analog type power system simulator. Principally, it presents configuration of controller hardware/software and its experimental results. An analog type power system simulator consists of numerous power system components, such as various types of generator models, scale-downed transmission line modules, transformer models, switches and FACTS (Flexible AC Transmission System) devices. It has been utilized for the verification of the control algorithm and the study of system characteristics analysis. This TCSC simulator is designed for 50% line compensation rate and considered for damping resister characteristic analysis. Its power rate is three phase 380V 20kVA. For hardware extendibility, its controller is designed with VMEBUS and its main CPU is TMS320C32 DSP (Digital Signal Processor). For real time control and communications, its controller is applied to the RTOS (Real Time Operation System) for multi-tasking. This RTOS is uC/OS-II. The experimental results of capacitive mode and inductive mode operations verify the fundamental operations of the TCSC.