• Korean Journal of Clinical Pharmacy
• /
• v.24 no.2
• /
• pp.126-134
• /
• 2014

Purpose: This study was aimed to examine the financial effect of 2-tiered copayment system on annual expenditure of pharmacy benefit in the National Health Insurance (NHI) of Korea, focusing on oral antidiabetic medications. Methods: 284 oral antidiabetic products with 14 different active single ingredients listed in the National Formulary of NHI (August 2009) were assigned to tier 1 or tier 2 according to the selected criteria. 10 different combinations of coinsurance rates were selected to estimate the changes in drug expenditure cost of NHI. Results: The annual drug cost was estimated based on the drug price per unit listed in the National Formulary and the used amount of products in 2009 from the IMS Health data of Korea. In the combinations of coinsurance rate of 20% for tier 1 and 40% for tier 2, the total annual drug cost was estimated to be reduced by 1.3% in the case of no change of generic and original drug consumptions, and to be reduced by 4.3% in the case of 10% increased generic drug consumptions. Conclusion: The tiered copayment system with optimal coinsurance rates appears to be a potential strategy to reduce the financial burden of NHI in Korea by promoting the use of generic products.

• Journal of the Korea Society of Computer and Information
• /
• v.10 no.3 s.35
• /
• pp.19-34
• /
• 2005

The difficulties in implementing of image processing algorithms are a major reason for the lack of research into algorithm comparison. This fact makes an image processing research with difficult. We conclude that it is important to represent algorithms in form of reusable code. Since current image processing systems do not fulfill all requirements we must pose on reusable implementations, we propose to solve the reuse problem by applying generic programming. We define two dimensional iterators, which mediate between image processing algorithms and their underlying data structures, so that the same algorithm implementation can be applied to any number of different image formats. The elegance and efficiency of this approach is illustrated by a number of useful examples and demonstrated by porting in existing image processing algorithm IDE(Integrated Development Environment).

• Journal of the Korean Society of Safety
• /
• v.35 no.5
• /
• pp.15-21
• /
• 2020

Quantitative risk assessment (QRA) is used as a legal or voluntary safety management tool for the hazardous material industry and the utilization of the method is gradually increasing. Therefore, a leak frequency analysis based on reliable generic data is a critical element in the evolution of QRA and safety technologies. The aim of this paper is to derive the leak frequency function that can be applied more flexibly in QRA based on OGP report with high reliability and global utilization. For the purpose, we first reviewed the data on the 16 equipments included in the OGP report and selected the predictors. And then we found good equations to fit the OGP data using non-linear regression analysis. The various expectation functions were applied to search for suitable parameter to serve as a meaningful reference in the future. The results of this analysis show that the best fitting parameter is found in the form of DNV function and connection function in natural logarithm. In conclusion, the average percentage error between the fitted and the original value is very small as 3 %, so the derived prediction function can be applicable in the quantitative frequency analysis. This study is to contribute to expand the applicability of QRA and advance safety engineering as providing the generic equations for practical leak frequency analysis.

• Mass Spectrometry Letters
• /
• v.4 no.3
• /
• pp.47-50
• /
• 2013

An ultra-fast generic LC-MS/MS method was developed for high-throughput quantification of discovery pharmacokinetic (PK) samples and its reliability was verified. The method involves a simple protein precipitation for sample preparation and the analysis by ultra-fast generic LC-MS/MS with the ballistic gradient program and selected reaction monitoring (SRM) mode. Approximately 290 new chemical entities (NCEs) (over 10,000 samples) from 5 therapeutic programs were analyzed. The calibration curves showed good linearity in the concentration range of 1, 2 or 5 to 2000 ng/mL. No significant ion suppression was observed in the elution region of all the NCEs. When approximately 300 plasma samples were continuously analyzed, the peak area of internal standard was constant and reproducible. In the repeated analysis of samples, the plasma concentrations and the area under the curve (AUC) were consistent with the results from the first analysis. These results showed that the present ultra-fast generic LC-MS/MS method is reliable in terms of selectivity, sensitivity, and reproducibility and could be useful for high-throughput quantification and other bioanalysis in drug discovery.

• Journal of the Korea Society of Computer and Information
• /
• v.26 no.2
• /
• pp.1-9
• /
• 2021

In this paper, we extend a generic library framework based on the state monad to exploit deterministic parallelism in a purely functional language Haskell and provide benchmarks for the extended features on a multicore machine. Although purely functional programs are known to be well-suited to exploit parallelism, unintended squential data dependencies could prohibit effective parallelism. Symbolic execution programs usually implement fresh name generation in order to prevent confusion between variables in different scope with the same name. Such implementations are often based on squential state management, working against parallelism. We provide reusable primitives to help developing parallel symbolic execution programs with unbound-genercis, a generic name-binding library for Haskell, avoiding sequential dependencies in fresh name generation. Our parallel extension does not modify the internal implementation of the unbound-generics library, having zero possibility of degrading existing serial implementations of symbolic execution based on unbound-genecrics. Therefore, our extension can be applied only to the parts of source code that need parallel speedup.

• Journal of Aerospace System Engineering
• /
• v.18 no.4
• /
• pp.18-26
• /
• 2024

This paper describes the results of a study on Generic Quad Tilt Rotor UAM aircraft, focusing on nonlinear mathematical modeling and the development of real-time simulation software. In this research, we designed a configuration for a Generic Quad Tilt Rotor eVTOL UAM aircraft based on NASA's UAM mission requirements. We modeled the aerodynamics using a database, the prop-rotor dynamics with a thrust database, and included a ground reaction and atmospheric model in the flight model. We defined the control concept for various modes(helicopter mode, transition mode, and airplane mode), derived tilt angle corridors, and formulated flight control requirements. The resultant real-time flight simulation software not only performs trim analysis for Tilt Rotor UAM aircraft but also predicts handling qualities, optimizes tilt angle scheduling based on dynamic characteristics, designs and validates flight control laws for helicopter, transition, and airplane modes, and facilitates flight training through simulator integration.

• Journal of the Institute of Electronics Engineers of Korea CI
• /
• v.44 no.1
• /
• pp.26-32
• /
• 2007

In sequential speaker classification, the lack of prior information about the speakers poses a challenge for model initialization. To address the challenge, a predetermined generic model set, called Sample Speaker Models, was previously proposed. This approach can be useful for accurate speaker modeling without requiring initial speaker data. However, an optimal method for sampling the models from a generic model pool is still required. To solve this problem, the Speaker Quantization method, motivated by vector quantization, is proposed. Experimental results showed that the new approach outperformed the random sampling approach with 25% relative improvement in error rate on switchboard telephone conversations.

• Korean Journal of Clinical Pharmacy
• /
• v.16 no.2
• /
• pp.139-146
• /
• 2006

Objectives: Bio-equivalence(BE) test is important not only to ensure the quality of generic drugs, but also to promote drug substitution under the separation of prescribing and dispensing practice(SPD). This study was intended to investigate the perception of consumers, doctors, and pharmacists on the confidence of bio-equivalence(BE) assured drugs. Methods: Nation-wide telephone interview survey was conducted for 1,018 consumers, 800 doctors, and 806 pharmacists from September to October in 2003. Descriptive analysis and ${\chi}^2$ analysis were conducted. Results: Even though people showed higher confidence level for the Bioequivalent drugs compared with Bio-inequivalent drugs, the confidence was generally low. Among those asked about the therapeutic substitutability of original drugs by BE versions, 95.78% of pharmacists responded "positive", while only 39.33% of consumers and 31.13% of doctors said so. The elderly, the less educated, who takes chronic disease medicine, pays high cost of prescription drugs, and are in the low income responded less aware of that. Also most consumers got information such as effect of drugs from either media or doctors. Conclusions: In order for people to believe that BE drugs and original drugs are equivalent, we need to strengthen health education, and to clarify any misunderstanding. It is also necessary for the national policy to provide accurate information about drugs to the public.

• The Journal of Asian Finance, Economics and Business
• /
• v.5 no.2
• /
• pp.105-118
• /
• 2018

Generic medicine (GM), which is an alternative drug product for branded medicine (BM), is used less in Japan than in other OECD countries. Therefore, we investigate why the medical consumers of Japan avoid the use of GMs even though the efficacy and safety of the medicines have already been proven. We theorize that effectiveness or risk of GMs are related to the consumer attitude toward GMs is affected by the behavioral approach/activation system (BAS) which promotes actions to reach the desired state, and the behavioral inhibition system (BIS) which suppresses behaviors to avoid negative outcomes. To see which of the BAS and BIS dimensions are related to GM usage, we surveyed 374 Japanese consumers and found that Quality, Efficacy, Safety, & Cost-effectiveness with the BAS, and Functional Risk, Financial Risk, Social Risk, Physical Risk, Psychological Risk, & Time Risk with the BIS had a significant effect on consumer attitude to GMs. These results are important in that they 1), confirm the role of BAS/BIS in attitudes to GMs, 2), provide guidelines when marketing GMs, 3), help governments promote the use of GMs as a cost-saving measure, and 4), guide future surveys regarding consumer attitudes to GMs.

• Journal of Communications and Networks
• /
• v.2 no.1
• /
• pp.35-45
• /
• 2000

this paper presents the concept of "mobile ATM', a proposal for third-generation (3G) mobile communication network infrastructure capable of supporting flexible evolution of radio technologies from today's cellular and data services towards future wireless multimedia services. Mobile ATM provides generic mobility management and QoS-based transport capabilities suitable for integration of multiple radio access technologies including cellular voice. wireless data, and future broadband wireless services. The architecture of a mobile ATM network is outlined in terms of the newly-defined "W-UNI" interface at the radio link and "M-UNI"and "M-UNI" interface which supports unified access for WATM and non-ATM mobile terminals through corresponding interworking functions (IWF) is explained. leading to an understanding of how different radio access technologies are supported by the same ATM-based core network infrastructure. Generic mechanisms for handoff and location management within the core mobile network are discussed. and related protocol extensions over the "W-UNI" and "M-UNI/NNI"interfaces are proposed. the issue of "crossover switch (COS)" selection in mobile ATM is considered, and a unified handoff signaling syntax which supports flexibility in COS selection is described. Typical signaling sequences for call connection and handoff using the proposed protocols are outlined. Experimental results form a proof-of-concept mobile ATM network prototype are presented in conclusion.