• Journal of The Korean Radiological Technologist Association
• /
• v.25 no.1
• /
• pp.63.1-63.1
• /
• 1999

• Journal of the Korea Society for Simulation
• /
• v.19 no.2
• /
• pp.157-164
• /
• 2010

While both functional verification and performance evaluation of a system are necessary for the development of effective and reliable communication systems, they have been usually performed individually through functional modeling with formal language tools and performance modeling with professional network performance evaluation tools, respectively. However, separate and duplicated modeling of a system may cause increase of the cost and inconsistency between the models. In order to overcome this problem, this paper proposes an integrated design technique that estimates the performance of a communication protocol designed in SDL with SDL-OPNET co-simulation. The proposed technique presents how to design a co-simulation system with the environment functions of Tau and the external system module of OPNET. InRes protocol was used as an example to show the applicability and usefulness of the proposed technique.

• Journal of the Korea institute for structural maintenance and inspection
• /
• v.13 no.5 s.57
• /
• pp.121-132
• /
• 2009

This paper introduces an experimental verification and a field application of the proposed technique using the combination of FEM and HGA about the loss prestressing force of an exteranl tendon by above same authors. The vibration tests have been conducted by using a laboratory models and the externally prestressed tendon at the field and the natural frequencies are extracted from the vibration tests. The proposed technique based on the extracted natural frequencies is applied. It is seen that the errors in the tension and lost prestressing force by proposed technique are about 4% from a laboratory model test. For the model verification at field, exact modeling has beem made with Rayleigh damping. It is seen that the error in the tension by proposed technique is less than 1% and the estimated lost prestressing force converges less than the exact value.

• Journal of Korean Neurosurgical Society
• /
• v.53 no.2
• /
• pp.102-107
• /
• 2013

Objective : The Leksell Gamma Knife$^{(R)}$ (LGK) is based on a single-fraction high dose treatment strategy. Therefore, independent verification of the Leksell GammaPlan$^{(R)}$ (LGP) is important for ensuring patient safety and minimizing the risk of treatment errors. Although several verification techniques have been previously developed and reported, no method has ever been tested statistically on multiple LGK target treatments. The purpose of this study was to perform and to evaluate the accuracy of a verification method (modified variable ellipsoid modeling technique, MVEMT) for multiple target treatments. Methods : A total of 500 locations in 10 consecutive patients with multiple brain tumor targets were included in this study. We compared the data from an LGP planning system and MVEMT in terms of dose at random points, maximal dose points, and target volumes. All data was analyzed by t-test and the Bland-Altman plot, which are statistical methods used to compare two different measurement techniques. Results : No statistical difference in dose at the 500 random points was observed between LGP and MVEMT. Differences in maximal dose ranged from -2.4% to 6.1%. An average distance of 1.6 mm between the maximal dose points was observed when comparing the two methods. Conclusion : Statistical analyses demonstrated that MVEMT was in excellent agreement with LGP when planning for radiosurgery involving multiple target treatments. MVEMT is a useful, independent tool for planning multiple target treatment that provides statistically identical data to that produced by LGP. Findings from the present study indicate that MVEMT can be used as a reference dose verification system for multiple tumors.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.4 no.2
• /
• pp.87-95
• /
• 2003

Dynamic Programming Matching (DPM) is a mathematical optimization technique for sequentially structured problems, which has, over the years, played a major role in providing primary algorithms in pattern recognition fields. Most practical applications of this method in signature verification have been based on the practical implementational version proposed by Sakoe and Chiba [9], and il usually applied as a case of slope constraint p = 0. We found, in this case, a modified version of DPM by applying a heuristic (forward seeking) implementation is more efficient, offering significantly reduced processing complexity as well as slightly improved verification performance.

• Journal of Information Technology Services
• /
• v.10 no.3
• /
• pp.189-201
• /
• 2011

Feature models are widely used to model commonalities and variabilities among products during software product line development. Feature configurations are generated by selecting the features to be included in individual products. Automated tools to identify errors or inconsistencies in the feature models and configurations are essential to successful software product line engineering. This paper proposes a verification technique and tool based on semantic web technologies such as OWL, SWRL and Protege API. This approach checks the feature model and configuration based on predefined rules and provides information on existence of errors as well as the kinds of those errors. This approach is extensible due to ease of rule modification and may be easily applied to other environments because semantic web technologies can be easily integrated with other programming environments. This paper demonstrates how various semantic web-related technologies can support automatic verification of one kind of software development artifact, the feature model.

• The KIPS Transactions:PartB
• /
• v.10B no.4
• /
• pp.451-458
• /
• 2003

Dynamic Programming Matching (DPM) is a mathematical optimization technique for sequentially structured problems, which has, over the years, played a major role in providing primary algorithms in pattern recognition fields. Most practical applications of this method in signature verification have been based on the practical implementational version proposed by Sakoe and Chiba [9], and is usually applied as a case of slope constraint p = 0. We found, in this case, a modified version of DPM by applying a heuristic (forward seeking) implementation is more efficient, offering significantly reduced processing complexity as well as slightly improved verification performance.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2006.05a
• /
• pp.453-454
• /
• 2006

This paper describes a processing verification technique for developing about end-milling cutters. Developed software is processing verification module for manufacturing. By using cutting simulation method, we can obtain center points of finding wheel via Boolean operation between a grinding wheel and a cylindrical workpiece. The obtained CL data can be used for calculating NC data. After then, we can simulate by using designed grinding machine and NC data. This research has been implemented on a commercial CAD system by using the API function programming. The operator can evaluate the cutting simulation process and reduce the time of design and manufacturing.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.43 no.2 s.344
• /
• pp.96-104
• /
• 2006

This paper presents design methodology, encient verification and implementation of a CAN protocol controller. The design methodology uses a heuristic technique to make the design flexible and cost effective. Using the design methodology, we created architecture for a CAN controller which has flexible and low cost features. For faster time-to-market and reliable operation of the designed CAN protocol controller, we p개posed a three-step verification process which uses three different kinds of verification techniques. The goal of this three-step verification is to reduce the number of test sequences in order to rapidly implement the design without loss of reliability for faster time-to-market. The designed CAN protocol controller was fabricated using a 0.35 micrometer CMOS technology.

• Journal of Korea Multimedia Society
• /
• v.3 no.1
• /
• pp.77-90
• /
• 2000

Real-Time verification is a procedure that verifies the correctness of specification related to requirement in time as well as in logic. One serious problem encountered in the verification task is that the state space grows exponentially owing to the unboundedness of time, which is termed the state space explosion problem. In this paper, we propose a real-time verification technique checking the correctness of specification by showing that a system model described in timed automata is equivalent to the characteristic of system property specified in timed modal-mu calculus. For this, we propose a local model checking method based on the value of the formula in initial state with constructing product graph concerned to only the nodes needed for verification process. Since this method does not search for every state of system model, the state space is reduced drastically so that the proposed method can be applied effectively to real-time system verification.