• The Journal of Korean Medicine
• /
• v.45 no.1
• /
• pp.225-232
• /
• 2024

Objectives: The purpose of this case study was to report the effect of Chuna therapy include Space Spinal Conduction Exercise and Manipulation Treatment for Functional dyspepsia patients. Methods: A 32-years-old male patients with functional dyspepsia visited the clinic ten times from March 17th 2023 to April 22th 2023. To assess the treatment outcomes, we used the Standard tool for pattern identification of Functional dyspepsia and Nepean Dyspepsia Index-Korean version (NDI-K) symptom score. Result: After treatment, Standard tool for pattern identification of Functional dyspepsia and Nepean Dyspepsia Index-Korean version (NDI-K) score decreased. Conclusion: Chuna therapy include Space Spinal Conduction Exercise and Manipulation Treatment was effective in the treatment of patient with Functional dyspepsia.

• 한국경영정보학회:학술대회논문집
• /
• 2008.06a
• /
• pp.454-471
• /
• 2008

This study suggests the dynamic pricing model which reveals the organic relationship between ASP (Application Service Provider) price and the related factors, using system dynamics methodology. Basically, we applied the law of supply and demand for analyzing price changes. Then, we deducted ASP price, focusing on fixed cost and variable cost. We also researched the customer's buying behavior according to version differentiation policy. In the version policy, we set up the proposition about customer's satisfaction and willingness-to-pay, using option system. As a result, this research designed the simulation model which analyzes the changes of the sales according to version differentiations and customer's willingness-to-pay. Through this research, we can find effective version differentiation strategies. This paper also found that the larger the number of package, the greater the demand and customer's willingness-to-pay. The increase of the number of package causes the increase of the sales. The increase of the sale is not exactly relative to the number of package. Drawing S-curve, the sales was increased. This dynamic pricing model suggests the ground that the ASP price changes based on the existing version differentiation theory and the demand of customers can affect the changes of the sales. We expect that this model suggests a clear standard of ASP pricing by combining real cases.

• THE INTERNATIONAL COMMERCE & LAW REVIEW
• /
• v.13
• /
• pp.495-513
• /
• 2000

In this paper, I examined the terms of letter of credit and standard for examination of documents. In connection with the test of standard, I reviewed the bank's reasonable care, inconsistence and linkage between documents, non-documentary conditions and the treatment of discrepant documents. Traditionally credit law is founded on two principles such as the standards of strict of compliance and substantial compliance, but these standards are not consistency. Moreover although the Uniform Customs and Practice for Documentary Credits(UCP) introduces a new standard for examination of documents by incorporating international banking practice, the standards for documentary compliance have created ambiguity. Accordingly, I suggest that the standard requires strict compliance between party concerned in letter of credit transactions but only requires international standard banking practice in customer relationship. Therefore the standard and the specific guideline should be prescribed in the next version of the UCP.

• Proceedings of the KSPS conference
• /
• 1996.02a
• /
• pp.79-84
• /
• 1996

The two existing romanization systems in Korea, namely the recently promulgated Ministry of Education version sponsored by the National Academy of Sciences incorporating for the most part the McCune-Reischauer system and the Hangeul Haghoe or the Korean Language Society's version, must be judged as failures: He fennel for its disregard of Korean orthography and pronunciation, use of Latin-oriented pronunciation despite its assertion that English is the standard used, and the greatest weakness of all, its use of phonetic symbols neither found in regular typewriters, teleprinters, word processors and telex machines nor understood by laymen, sometimes not even by specialists. And the latter suffers from its undue emphasis on Korean orthography, Latin-oriented pronunciation being only partly capable of representing Korean pronunciation, among other shortcomings. Since the two existing romanization systems of Korean in South Korea, and romanization system of Japanese with Latin-oriented pronunciation are woefully inadequate, in today's world where English is used as if it were the international language almost all over the world, the present writer has invented a completely new system of romanizing Korean and Japanese by the so-called pseudo-phonetic method. This method employs the roman letters only and uses thorn in place of phonetic symbols as long as the letters thus applied are believed to have constant sound value. The English pronunciation is the standard used for this system.

• Korean Journal of Computational Design and Engineering
• /
• v.7 no.4
• /
• pp.240-247
• /
• 2002

Most commercial CAD systems provide parametric modeling functions, and by using these capabilities designers can edit a CAD model in order to create design variants. It is necessary to transfer parametric information during a CAD model exchange to modify the model inside the receiving system. However, it is not possible to exchange parametric information of CAD models based on the cur-rent version of STEP. The designer intents which are contained in the parametric information can be lost during the STEP transfer of CAD models. This paper introduces a hybrid CAB model translator, which also uses the feature tree of commercial CAD systems in addition to the macro file to allow transfer of parametric information. The macro-parametric approach is to exchange CAD models by using the macro file, which contains the history of user commands. To exchange CAD models using the macro-parametric approach, the modeling commands of several commercial CAD systems are analyzed. Those commands are classified and a set of standard modeling commands has been defined. As a neutral fie format, a set of standard modeling commands has been defined. Mapping relations between the standard modeling commands set and the native modeling commands set of commercial CAD systems are defined. The scope of the current version is limited to parts modeling and assemblies are excluded.

• Korean Journal of Radiology
• /
• v.22 no.8
• /
• pp.1279-1288
• /
• 2021

Objective: To assess the diagnostic performance of the Liver Imaging Reporting and Data System (LI-RADS) version 2018 treatment response algorithm (TRA) for the evaluation of hepatocellular carcinoma (HCC) treated with transarterial radioembolization. Materials and Methods: This retrospective study included patients who underwent transarterial radioembolization for HCC followed by hepatic surgery between January 2011 and December 2019. The resected lesions were determined to have either complete (100%) or incomplete (< 100%) necrosis based on histopathology. Three radiologists independently reviewed the CT or MR images of pre- and post-treatment lesions and assigned categories based on the LI-RADS version 2018 and the TRA, respectively. Diagnostic performances of LI-RADS treatment response (LR-TR) viable and nonviable categories were assessed for each reader, using histopathology from hepatic surgeries as a reference standard. Inter-reader agreements were evaluated using Fleiss κ. Results: A total of 27 patients (mean age ± standard deviation, 55.9 ± 9.1 years; 24 male) with 34 lesions (15 with complete necrosis and 19 with incomplete necrosis on histopathology) were included. To predict complete necrosis, the LR-TR nonviable category had a sensitivity of 73.3-80.0% and a specificity of 78.9-89.5%. For predicting incomplete necrosis, the LR-TR viable category had a sensitivity of 73.7-79.0% and a specificity of 93.3-100%. Five (14.7%) of 34 treated lesions were categorized as LR-TR equivocal by consensus, with two of the five lesions demonstrating incomplete necrosis. Interreader agreement for the LR-TR category was 0.81 (95% confidence interval: 0.66-0.96). Conclusion: The LI-RADS version 2018 TRA can be used to predict the histopathologic viability of HCCs treated with transarterial radioembolization.

• Korean Journal of Computational Design and Engineering
• /
• v.9 no.1
• /
• pp.19-26
• /
• 2004

It is not possible to exchange parametric information of CAD models based on the current version of STEP (Standard for the Exchange of Product model data). The designer intents are lost during the transfer of CAD models. To resolve this problem, the macro-parametric approach had been proposed. To enable this approach, a set of standard modeling commands has been defined. Errors or missing elements of the standard modeling commands can be discovered by implementing macro-parametric translators. But there is a limit to discover problems only by using translators. This paper proposes a method to verify the standard modeling commands by implementing a geometric modeler. First, each argument of a modeling command is verified. Second, the set of the standard modeling commands is applied to geometric modeling of commercially available product parts. For the geometric modeling, nine test models have been selected.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.29 no.3B
• /
• pp.360-374
• /
• 2004

The OSPF protocol is the most widely used Interior Gateway Routing Protocol. Therefore, for the reliability of behavior of gigabit swiching routers, it is essential to guarantee the interoperability and the safety of the OSPF protocol. In this paper, we analyze the standard document of the OSPF protocol, so that we provide a formal specification that specifies the protocol behaviors by detailed design level using the algebraic formal method. By referring available source codes of the OSPF protocol, we supplement the formal specification to express more detailed behaviors that is not specified definitely in the standard. We also formally verify the interoperability and the safety of the protocol state machine of the specification. By showing that the formal specification specify all of the states and the transition events that appear in the standard document of the OSPF protocol, we prove that the state machine has the completeness, and prove it has the interoperability. To prove that the specification of the protocol has the safety, we formally verify the reachability, the liveness, the livelock-free property, and the deadlock-free property. As a result, we prove the protocol has the consistency. The specification and the validation are also effective to the OSPF Version 3 that inherit the protocol mechanism of the OSPF Version 2.

• Journal of Korean Institute of Industrial Engineers
• /
• v.27 no.4
• /
• pp.374-378
• /
• 2001

We present a discrete-time version of the distributional Little's law, of which the continuous-time version is well known. Then we extend it to the queue in which two or more customers may depart at the same time. As a demonstration, we apply this law to various discrete-time queues such as the standard Geom/G/1 queue, the Geom/G/1 queue with vacations, the multi-server Geom/D/c queue, and the bulk-service Geom/$G^b$/1 queue. As a result, we obtain the probability generating functions of the numbers in system/queue and the waiting times in system/queue for those queues.

• Language and Information
• /
• v.7 no.2
• /
• pp.81-101
• /
• 2003

This paper introduces a computerized version of the Korean Standard Pronunciation Rules that can be used in speech engineering systems such as Korean speech synthesis and recognition systems. For this purpose, we build Petri net models for each item of the Standard Pronunciation Rules, and then integrate them into the sound conversion table. The reversion of the Korean Standard Pronunciation Rules regulates the way of matching sounds into grammatically correct written characters. This paper presents not only the sound conversion table but also the character conversion table obtained by reversely converting the sound conversion table. Malting use of these tables, we have implemented a Korean character into a sound system and a Korean sound into the character conversion system, and tested them with various data sets reflecting all the items of the Standard Pronunciation Rules to verify the soundness and completeness of our tables. The test results show that the tables improve the process speed in addition to the soundness and completeness.