• Journal of the Korea Computer Industry Society
• /
• v.5 no.5
• /
• pp.721-728
• /
• 2004

OCSP (Online Certificate Status Protocol) server which checks the certificate status provides the real time status verification in the PKI (Public Key Infrastructure) system which is the essential system of certificate. However, OCSP server need the message authentication with the server and client, so it has some shortcomings that has slow response time for the demands of many clients concurrently and has complexity of the mathematical process in the public encryption system. In this research, simulation model of the certificate status vertification server is constructed of the DEVS (Discrete EVent system Specification) formalism. This sever model is constructed to practice the authentication with hash function when certificate is checked. Simulation results shows the results of increase of the certificate status verification speed and decrease of the response time to the client.

• Journal of the Korea Society for Simulation
• /
• v.24 no.3
• /
• pp.1-8
• /
• 2015

Verification, Validation & Accreditation (VV&A) process is widely applied in various disciplines as a method of acquiring the credibility for M&S tools. The guideline of VV&A states that the detailed process can be established flexibly according to the needs and the availability of resources. For example, DAPA (Defense Acquisition Program Administration) guideline suggests that the accreditation process in the VV&A can be omitted if necessary. On this study, we first introduce and describe V&V process. Accreditation process is omitted due to limited time and resources. However, the proposed V&V is sufficient for our needs. Finally, we apply the proposed process of V&V to the System-Integrated Simulator of "Raybolt", Medium-Range Infantry Missile System, for the acquisition of the M&S credibility.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.16 no.12
• /
• pp.8753-8759
• /
• 2015

Establishment of analysis procedures and validated performance measurements for generator output is required to maintain stable management of generator output in turbine power generation cycle. We developed turbine expansion model and measurement validation model for the performance calculation of generator using turbine output based on ASME (American Society of Mechanical Engineers) PTC (Performance Test Code). We also developed verification model for uncertain measurement data related to the turbine and generator output. Although the model in previous researches was developed using artificial neural network and kernel regression, the verification model in this paper was based on algorithms through Support Vector Machine (SVM) model to overcome the problems of unmeasured data. The selection procedures of related variables and data window for verification learning was also developed. The model reveals suitability in the estimation procss as the learning error was in the range of about 1%. The learning model can provide validated estimations for corrective performance analysis of turbine cycle output using the predictions of measurement data loss.

• Journal of Digital Convergence
• /
• v.19 no.6
• /
• pp.233-238
• /
• 2021

Recently, blockchain technology accumulates and stores all transactions. Therefore, in order to verify the contents of all transactions, the data itself is compressed, but the scalability is limited. In addition, since a separate verification algorithm is used for each type of transaction, the verification burden increases as the size of the transaction increases. Existing blockchain cannot participate in the network because it does not become a block sink by using a server with a low specification. Due to this problem, as the time passes, the data size of the blockchain network becomes larger and it becomes impossible to participate in the network except for users with abundant resources. Therefore, in this paper, we are improved transaction as studied the zero knowledge proof algorithm for general operation verification. In this system, the design of zero-knowledge circuit generator capable of general operation verification and optimization of verifier and prover were also conducted.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.16 no.9
• /
• pp.5802-5809
• /
• 2015

Railway signaling system is the vital control system in charge of the core for safely train operation, its functional safety must be checked through sufficient verification. Until now, to verify the interoperability of developed railway signaling system, the on-site testing approaches have been applied after testing in laboratory with simulator. This approaches are some limited range of interoperable verification, so more systematic verification interoperability is required. In this paper, the three phases of interoperability verification for railway signaling system was proposed, and methodology for each phases are represented. And also The interoperability validation methodology and supported testing tool for railway signaling system is represented in this paper

• Journal of Korean Academy of Nursing
• /
• v.50 no.1
• /
• pp.132-146
• /
• 2020

Purpose: The purpose of this study was to develop a new version of Spirituality Assessment Scale (N-SAS) and verify its reliability and validity. Methods: The total of 59 preliminary items for the N-SAS were selected through a literature review, two rounds of experts' content validation, cognitive interviews, and pre-tests. Verification of its reliability and validity was divided into two phases. In Phase I, questionnaires were collected from 219 adults. Reliability was tested using Cronbach's alpha, validity with item analysis, and exploratory factor analysis. In Phase II, questionnaires developed based on the results of Phase I were collected from 225 adults. Reliability was tested using Cronbach's alpha, validity with confirmatory factor analysis, and criterion validity. Results: The final version of the N-SAS comprised two dimensions (vertical and horizontal), four domains (relationship with God; meaning of life and self-integration; self-transcendence; and relationship with others, neighborhoods, and nature), and 44 items were identified. Total Cronbach's α was .97; those of each subscale ranged from .79 to .98. N-SAS scores were positively correlated with the scores of Howden's Spiritual Assessment Scale (r=.81, p<.001). Conclusion: Findings suggest that the N-SAS can be used to measure spirituality in adults. The use of N-SAS is expected to facilitate perceiving patient's spiritual needs and providing spiritual care.

• Nuclear Engineering and Technology
• /
• v.54 no.9
• /
• pp.3429-3439
• /
• 2022

The MCS code is a computer code developed by the Ulsan National Institute of Science and Technology (UNIST) for simulation and calculation of nuclear reactor systems based on the Monte Carlo method. The code is currently used to solve two main types of reactor physics problems, namely, criticality problems and radiation shielding problems. In this paper, the radiation shielding capability of the MCS code is validated by simulating some selected SINBAD (Shielding Integral Benchmark Archive and Database) experiments. The whole validation was performed in two ways. Firstly, the functionality and computational rationality of the MCS code was verified by comparing the simulation results with those of MCNP code. Secondly, the validity and computational accuracy of the MCS code was confirmed by comparing the simulation results with the experimental results of SINBAD. The simulation results of the MCS code are highly consistent with the those of the MCNP code, and they are within the 2σ error bound of the experiment results. It shows that the calculation results of the MCS code are reliable when simulating the radiation shielding problems.

• Korean Journal of Pharmacognosy
• /
• v.39 no.4
• /
• pp.316-323
• /
• 2008

In this study, we have investigated the HPLC analysis methods and quantitative analysis of standard compounds for quality standardization of a medicinal crude drug GCSB-5, a herbal formulation consisting of 6 medicinal plants (Acanthopanacis Cortex, Achyranthis Radix, Ledebouriellae Radix, Cibotii Rhizoma, Glycine Semen, Eucommiae Cortex) which are used in traditional medicine to treat various bone disorders. HPLC analysis methods of acanthoside D(Acanthopanacis Cortex), 20-hydroxyecdysone(Achyranthis Radix) which were known standard compounds among 6 medicinal plants were developed on crude material and product. And validation of HPLC analysis methods were conformed for verification of HPLC methods by check to specificity, linearity, intra-day precision, inter-day precision and accuracy following ICH guideline. Content of acanthoside D and 20-hydroxyecdysone on raw material of GCSB-5 were decided at 0.577-0.578 mg/g and 0.311-0.312 mg/g. And we confirmed that content of acanthoside D and 20-hydroxyecdysone on GCSB-5 preparation were 0.302-0.303 mg/capsule and 0.113-0.115 mg/capsule.

• Korean Journal of Pharmacognosy
• /
• v.40 no.1
• /
• pp.18-24
• /
• 2009

GCSB-5 preparation is a purified extract from a mixture six herbal medicines (Acanthopanacis Cortex, Achyranthis Radix, Saposhnikoviae Radix, Cibotii Rhizoma, Glycine Semen Nigra, Eucommiae Cortex) that have been widely used in traditional medicine to treat various bone disorders. This study was carried out to obtain the HPLC analysis method that can be used to establish quantitative analysis of Glycine Semen Nigra and Eucommiae Cortex for standardization of GCSB-5 preparation. HPLC analysis methods for the simultaneous determination of genistin (Glycine Semen Nigra) and geniposide (Eucommiae Cortex) were established for the quality control of herbal medicinal raw material and preparation. And validation of HPLC analysis methods were conformed for verification of HPLC methods by check to specificity, linearity, intra-day precision, inter-day precision and accuracy following ICH guideline. As the result of quantitative analysis, the contents of genistin and geniposide in the raw material of GCSB-5 preparation were 0.0426-0.0427 mg/g and 0.431-0.432 mg/g. And GCSB-5 preparation contained genistin of 0.0202-0.0203 mg/capsule and geniposide of 0.211-0.212 mg/capsule, respectively.

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