• THE INTERNATIONAL COMMERCE & LAW REVIEW
• /
• v.55
• /
• pp.243-264
• /
• 2012

This study is aimed to analyze problems related to FTA country of origin of goods verification which is increasing from 2006 and thereby to grope for solution of such problems and seek adequate FTA performance administration. It is found, through comparative analysis and statistics of last 8 FTAs so far Korea has concluded that there are major problems such as excessive verification processing due to complicated country of origin regulation etc. This paper suggests following policies of country of origin administration ; (1) Simplification of FTA country of origin rules (2) reciprocal cooperation between each country's Customs Authorities based on trust (3) rational measurement against corresponding country's Customs Authorities' misbehavior (4) enhancement of transparency in relation to processing rule of country of origin verification (5) securing FTA country of origin verification experts. For these improvements, upcoming FTA shall rule country of origin reasonably, simplification and transparency of rule is needed for established FTAs in relation to FTA performance administration with corresponding countries. Also it is necessary to revise FTA preferential tariff law and its related laws, and carry forward policies in accordance with medium and long term plan.

• Proceedings of the KOSOMBE Conference
• /
• v.1997 no.11
• /
• pp.164-167
• /
• 1997

The treatment setup of patients during irradiation is an important aspect in relation to the success of radiotherapy. Imaging with the treatment beam is a widely used method or verification of the radiation field position relative to the target area, prior to or during irradiation. In this paper, Real time digital radiography system was implemented or verification of local error between simulation plan and radiation therapy machine. Portal image can be acquired by CCD camera, image board and pentium PC after therapy Radiation was converted into light by a metal/fluorescent Screen. The resulting image quality is comparable to film, so the imaging system represents a promising alternative to film as a method of verifying patient positioning in radiotherapy. Edge detection and field size measurement were also implemented and detected automatically for verification of treatment position. Field edge was added to the original image or checking the anatomical treatment verification by therapy technicians. By means of therapy efficiency improvement and decrease of Radiation side effects with these techniques, Exact Radiation treatments are expected.

• Journal of Korea Multimedia Society
• /
• v.10 no.9
• /
• pp.1220-1228
• /
• 2007

This paper presents a new system for online signature verification, approaching for finding gaps between a point-to-point matching and a segment-to-segment matching. Each matching algorithm has been separately used in previous studies. Various features with respect to each matching algorithm have been extracted for solving two-class classification problem. We combined advantages of the two algorithms to implement an efficient system for online signature verification. In the proposed method, extreme feints are used to extract writer-dependent features. In addition, using the writer-dependent features proves to be more adaptive than using writer-independent features in terms of efficiency of classification and verification in this paper.

• Nuclear Engineering and Technology
• /
• v.55 no.10
• /
• pp.3700-3708
• /
• 2023

The stochastic origin ensembles method with resolution recovery (SOE-RR) has been proposed to reconstruct proton-induced prompt gammas (PGs), and the reconstructed PG image was used for range verification. However, due to low detection efficiency, the number of valid events is low. Such a low-count condition can degrade the accuracy of the SOE-RR method for proton range verification. In this study, we proposed two strategies to improve the reconstruction of the SOE-RR algorithm for low-count PG imaging. We also studied the number of iterations and repetitions required to achieve reliable range verification. We simulated a proton beam (10⁸ protons) irradiated on a water phantom and used a two-layer Compton camera to detect 4.44-MeV PGs. Our simulated results show that combining the SOE-RR algorithm with restricted volume (SOE-RR-RV) can reduce the error of the estimation of the Bragg peak position from 5.0 mm to 2.5 mm. We also found that the SOE-RR-RV algorithm initialized using a back-projection image could improve the convergence rate while maintaining accurate range verification. Finally, we observed that the improved SOE-RR algorithm set for 60,000 iterations and 25 repetitions could provide reliable PG images. Based on the proposed reconstruction strategies, the SOE-RR algorithm has the potential to achieve a positioning error of 2.5 mm for low-count PG imaging.

• Journal of the Korean Society for Precision Engineering
• /
• v.32 no.5
• /
• pp.455-461
• /
• 2015

This paper deals with an experimental verification of a temperature-dependent power loss model of a DC/DC converter in severe temperature conditions. The power loss of a DC/DC converter is obtained by summing the losses by the components constituting the converter including switching elements, diodes, inductors, and capacitors. MIL-STD-810F stipulates that any electronic devices must be operable in the temperature ranging from $-50^{\circ}C$ to $70^{\circ}C$. We summarized the temperature-dependent loss models for the converter components. A SEPIC-type converter is designed and built as a target. Using a constant-temperature chamber, a test rig is set up to measure the power loss of the converter. The experimental results confirm the validity of the loss model within 4.5% error. The model can be useful to predict the efficiency of the converter at the operating temperature, and to provide guidelines in order to improve the efficiency.

• Proceedings of the KSR Conference
• /
• 2004.06a
• /
• pp.1452-1455
• /
• 2004

In this paper, we develope a protocol verification tool that verifies the correctness of rail signal control protocol type 2 specified in LTS(Labeled Transition System) by using model checking method. This tool automatically checks several properties for deadlock, livelock and reachability of states and actions on LTS. and removes many errors and ambiguities of an informal method used in the past, so saves down expenditures and times required in the protocol development. Therefore it is expected that there will be an increase in safety, reliability and efficiency in terms of the maintenance of the signaling system by using the developed verification tool.

• Transactions of the Korean Society of Mechanical Engineers
• /
• v.19 no.7
• /
• pp.1555-1562
• /
• 1995

This study represents the non-dimensional cutting force model. With the non-dimensional cutting force model it is possible to estimate efficiently the maximum cutting force during one revolution of cutter. Using the non-dimensional cutting force model, the feed rate and spindle speed are adjusted so as to satisfy the maximum cutting force and maximum machining error. To verify the accuracy and efficiency of the non-dimensional cutting force model, a series of experiments were conducted, and experimental results proved and verified the non-dimensional cutting force model. The NC toolpath verification system developed in this paper uses the non-dimensional cutting force model, so that it is effective for calculating the cutting force and adjusting the cutting conditions.

• Korean Journal of Air-Conditioning and Refrigeration Engineering
• /
• v.16 no.2
• /
• pp.128-134
• /
• 2004

In order to verify and take measures against a variety of troubles which cannot be predicted in a well-controlled laboratory, it is necessary that solar system should be experimented in an actual situation during a long period. Through this experiment it can be also understood how the load pattern and operational conditions expected in a design process become different to those in the actual running, which can be applied to a new system design. We installed 6 kW solar hot water heating system with a shower facility and operated during 7 months. As a result, average 8.3 persons took a shower a day； solar fraction is 71％ and total collector efficiency is 40％ during the periods from March to September. We confirmed several troubles encountered in the actual situation and considered practical center-measures.

• Proceedings of the KSR Conference
• /
• 2004.10a
• /
• pp.1241-1246
• /
• 2004

The verification confirms a correspondence between requirements and a specification before implementing. The problem in the formal method verifying a protocol specification using model checking is that the protocol behaviors must be always specified in L TS(Label Transition System). But if Region Automata is applied to the model checking, it is enable to verify whether properties are true on specification specified in I/O FSM(Input/Output Finite State Machine) as well as LTS. In this paper, we verify the correctness of rail signal control protocol type 1 specified in I/O FSM by using model checking method and region automata. This removes many errors and ambiguities of an informal method used in the past and saves down expenditures and times required in the protocol development. Therefore it is expected that there will be an increase in safety, reliability and efficiency in terms of the maintenance of the signaling system by using the proposed verification methods.

• International Journal of Aerospace System Engineering
• /
• v.2 no.2
• /
• pp.15-18
• /
• 2015

In general, most of the function and using of building is for single purpose. However, current buildings combine several functions that causes a lot of problems not on firefighting only but also on environment engineering. Because of hard integration on different fields that causes a lot of conflict. That wastes cost and time. That also threaten the safety of firefighting. This search focuses on the drawing verification and field inspection on firefighting. These two items both remain paper work. To complete the current work, it needs to bring a great amount of drawing papers in the field. By BIM, integrated data can be extracted. It makes the drawing verification and field inspection easier and increases the efficiency. That is the main point of this research.