• The Transactions of the Korean Institute of Electrical Engineers P
• /
• v.63 no.4
• /
• pp.226-235
• /
• 2014

Nowadays, railroads are considered the most efficient form of mass transportation. Furthermore, it is necessary that railroads be paired with state-of-the-art safety equipment. Unfortunately, it is impossible to prevent 100% of accidents that may be caused by system or human errors. In order to prevent future accidents, RAMS activity and Functional Safety Certification are required for new systems that are under development. In this paper we evaluate the necessity of the application of RAMS and the performance of RAMS in the system development process. We also explore the Safety Evaluation Procedure required for RAMS certification.

• Composites Research
• /
• v.34 no.2
• /
• pp.96-100
• /
• 2021

The lightweight industry continuously demands reliable near-net-shape fabrication where the preform just out-of-machine is close to the final shape. In this study, different half-finished preforms are made π-beams. Then the preforms are unfolded to make a 3D shape with integrated structure of fibers, providing easier handling in the further processing of composites. Several 3D textile preforms are made using weaving technique and are examined after resin infusion for mechanical properties such as inter-laminar shear strength, compressive strength and tensile strength. Considering that the time and labor are important parameters in modern production, 3D weaving technique reduces the manufacturing steps and therefore the costs, such as hand-lay up of textile layers, cutting, and converting into preform shape. Hence this 3D weaving technique offers many possibilities for new applications with efficient composite production.

• Journal of the Korean Society of Industry Convergence
• /
• v.26 no.2_1
• /
• pp.239-248
• /
• 2023

In this paper, we conduct a study on the design that can secure the safety of the EPLA system by performing safety activities based on the ISO 26262 standard for vehicle functional safety. In the case of a company developing a detailed system, it is responsible for verification through hardware design and safety analysis in the overall flow of safety activities, and safety analysis according to the ASIL safety level must be properly performed. At this time, there are cases where the safety goal quantitative metric value suggested by the ISO 26262 standard cannot be satisfied only by the hardware design of the basic function, so it is necessary to design and install the safety mechanism. Based on ISO 26262 safety activities, it is possible to derive an effective design plan through hardware safety analysis.

• Journal of the Korea Society of Computer and Information
• /
• v.10 no.4 s.36
• /
• pp.385-396
• /
• 2005

In this paper, a new structural approach to on-line signature verification is presented. A primitive pattern is defined as a part segmented by a local minimal position of speed. And a structural description of signature is composed of subpatterns which are defined as such forms as rotation shape, cusp shape and bell shape, acquired by composition of the primitives regarding the directional changes. As the matching method to find identical parts between two signatures, a modified DP(dynamic programming) matching algorithm is presented. And also, variation and complexity of local parts are computed from the training samples, and reference model and decision boundary are derived from these. Error rate, execution time and memory usage are compared among the functional approach, the parametric approach and the proposed structural approach. It is found that the average error rate can be reduced from 14.2% to 4.05% when the local parts of a signature are weighted and the complexity is used as a factor of decision threshold. Though the error rate is similar to that of functional approaches. time consumption and memory usage of the proposed structural approach are shown to be very effective.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.21 no.3
• /
• pp.165-176
• /
• 2011

In this paper, we examine the reliability verification procedure of evidence analysis tools for computer forensics and test the famous tools for their functional requirements using the verification items proposed by standard document, TIAK.KO-12.0112. Also, we carry out performance evaluation based on test results and suggest the way of performance improvement for evidence analysis tools. To achieve this, we first investigate functions that test subjects can perform, and then we set up a specific test plan and create evidence image files which contain the contents of a verification items. We finally verify and analyze the test results. In this process, we can discover some weaknesses of most of analysis tools, such as the restoration for deleted & fragmented files, the identification of the file format which is widely used in the country and the processing of the strings composed of Korean alphabet.

• The Korean Journal of Physiology and Pharmacology
• /
• v.28 no.1
• /
• pp.59-72
• /
• 2024

To investigate the mechanism of Wenshen Xuanbi Decoction (WSXB) in treating osteoarthritis (OA) via network pharmacology, bioinformatics analysis, and experimental verification. The active components and prediction targets of WSXB were obtained from the TCMSP database and Swiss Target Prediction website, respectively. OA-related genes were retrieved from GeneCards and OMIM databases. Protein-protein interaction and functional enrichment analyses were performed, resulting in the construction of the Herb-Component-Target network. In addition, differential genes of OA were obtained from the GEO database to verify the potential mechanism of WSXB in OA treatment. Subsequently, potential active components were subjected to molecular verification with the hub targets. Finally, we selected the most crucial hub targets and pathways for experimental verification in vitro. The active components in the study included quercetin, linolenic acid, methyl linoleate, isobergapten, and beta-sitosterol. AKT1, tumor necrosis factor (TNF), interleukin (IL)-6, GAPDH, and CTNNB1 were identified as the most crucial hub targets. Molecular docking revealed that the active components and hub targets exhibited strong binding energy. Experimental verification demonstrated that the mRNA and protein expression levels of IL-6, IL-17, and TNF in the WSXB group were lower than those in the KOA group (p < 0.05). WSXB exhibits a chondroprotective effect on OA and delays disease progression. The mechanism is potentially related to the suppression of IL-17 and TNF signaling pathways and the down-regulation of IL-6.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.38 no.10
• /
• pp.735-745
• /
• 2001

Processors require both intensive and extensive functional verification in their design phase due to their general purpose. The proposed random vector verification method for embedded control RISC cores meets this goal by contributing assistance for conventional methods. The proposed method proved its effectiveness during the design of CalmRISCTM-32 developed by Yonsei Univ. and Samsung. It adopts a cycle-accurate instruction level simulator as a reference model, runs simulation in both the reference and the target HDL and reports errors if any difference is found between them. Consequently, it successfully covers errors designers easily pass over and establishes other new error check points.

• Journal of National Security and Military Science
• /
• s.5
• /
• pp.351-392
• /
• 2007

Combat Development is process of studying and developing concept, doctrine, weapon systems, organization and training for the improvement of combat capability to be ready present and future warfare. The combat development domain consists of 6 fields Doctrine, Organization, Material, Training, Personnel, and Facilities. The cornerstones of combat development are "How to prepare" and "How to fight" in the future warfare. ROK- TRADOC(Republic of Korea Army Training and Doctrine Command) has implemented combat development that applies CBRS (Concept-Based Requirements System) and "Vision - Capstone concept - operating and functional concept - FOC(Future Operational Capabilities) Requirements". To prepare for the possibility or new types or wars in the future, the creation of new concept and system is essential. Though verification with various instruments, combat power can be secured and exhibited. Combat development by empirical mind estimation means that is no longer relevant.To prepare combat development based on scientific analysis, there is a need for powerful engineering analysis and verification, in order to prepare for uncertain and diverse future battlefield environments. In this thesis, warfighting experiment is essential ways and means to pursue the scientific combat development ; investigated tendency of combat development environment, and analyzed diversification aspects of possible future warfare. In conclusion, concept of campaign experiment and role is the conerstone of scientific combat development; and lays out the roadmap of all affecting components to its development.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.39 no.2
• /
• pp.153-161
• /
• 2011

Korea Aerospace Research Institute (KARI) has implemented an integrity monitor testbed (IMT) to provide archived GPS data and test results for integrity monitoring algorithm development. To verify that the system is implemented based on international standard requirements, this paper represents the basic functional verification test results of the implemented testbed as a GBAS reference station. It compares the IMT generated GBAS message fields with those of PEGASUS, which is a baseline toolset accepted by international GBAS experts, to show the validity of the correction information. It also verifies the integrity and availability of the system through analysis on GBAS user data in the range and position domain.

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