• Nuclear Medicine and Molecular Imaging
• /
• v.42 no.2
• /
• pp.127-136
• /
• 2008

Monte Carlo simulation methods are especially useful in studying a variety of problems difficult to calculate by experimental or analytical approaches. Nowadays, they are extensively applied to simulate nuclear medicine instrumentations such as single photon emission computed tomography (SPECT) and positron emission tomography (PET) for assisting system design and optimizing imaging and processing protocols. The goal of this paper is to address the practical issues, a potential user of Monte Carlo simulations for nuclear medicine can encounter, to help them to choose a code. This review introduces the different types of Monte Carlo codes currently available for nuclear medicine, comments main features and properties for a code to be proper for a given purpose, and discusses current research trends in Monte Carlo codes.

• Nuclear Engineering and Technology
• /
• v.47 no.2
• /
• pp.212-218
• /
• 2015

We describe a comparative analysis of different tools used to assess safety-critical software used in nuclear power plants. To enhance the credibility of safety assessments and to optimize safety justification costs, $Electricit{\acute{e}}$ de France (EDF) investigates the use of methods and tools for source code semantic analysis, to obtain indisputable evidence and help assessors focus on the most critical issues. EDF has been using the PolySpace tool for more than 10 years. Currently, new industrial tools based on the same formal approach, Abstract Interpretation, are available. Practical experimentation with these new tools shows that the precision obtained on one of our shutdown systems software packages is substantially improved. In the first part of this article, we present the analysis principles of the tools used in our experimentation. In the second part, we present the main characteristics of protection-system software, and why these characteristics are well adapted for the new analysis tools. In the last part, we present an overview of the results and the limitations of the tools.

• Journal of The Korean Astronomical Society
• /
• v.34 no.4
• /
• pp.275-279
• /
• 2001

The study of incompressible magnetohydrodynamic (MHD) turbulence gives useful insights on many astrophysical problems. We describe a pseudo-spectral MHD code suitable for the study of incompressible turbulence. We review our recent' works on direct three-dimensional numerical simulations for MHD turbulence in a periodic box. In those works, we use a pseudo-spectral code to solve the incompressible MHD equations. We first discuss the structure and properties of turbulence as functions of scale. The results are consistent with the scaling law recently proposed by Goldreich & Sridhar. The scaling law is based on the concept of scale-dependent isotropy: smaller eddies are more elongated than larger ones along magnetic field lines. This scaling law substantially changes our views on MHD turbulence. For example, as noted by Lazarian & Vishniac, the scaling law can provide a fast reconnection rate. We further discuss how the study of incompressible MHD turbulence can help us to understand physical processes in interstellar medium (ISM) by considering imbalanced cascade and viscous damped turbulence.

• KOREAN JOURNAL OF PACKAGING SCIENCE & TECHNOLOGY
• /
• v.14 no.2
• /
• pp.53-56
• /
• 2008

Polyvinylchloride(PVC) is variously used to produce food packaging, wrap film, sealing compound of drinking bottle cap. Safety of these PVC food package is controlled by Food Code, PVC regulation. This study was carried out researches on manufacture process, physical, chemical properties and monomer(CAS No., common name, molecular structure) of PVC to help the understanding of PVC material. Also, this study helps us the understanding of regulation through researches on the foundation of PVC regulation, the purpose of test and the comment of test method. It is considered that these informations of material properties and explanations of test method are very useful to PVC producers, users and analyzers of them.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.33 no.2A
• /
• pp.115-120
• /
• 2008

We propose a cooperative transmission scheme that uses Hurwitz-Radon space-time code for the relays which help the source to transmit signals to the destination, the full utilization here is that the destination utilizes the broadcast symbols from the source. We present the 2 transmit antennas case in detail because of its simplicity and high data rate. Analysis and simulations show that the proposed scheme achieves full diversity order of 3. The maximum likelihood receiver is also derived and the combining scheme is shown to be very simple.

• The Journal of Fisheries Business Administration
• /
• v.39 no.3
• /
• pp.91-109
• /
• 2008

The worldwide proliferation of regional trade agreements combined with rising interests of 37countries has led to the emergence of a possible GSTP between each country. Although there are many obstacles to GSTP, its effect, if a realized, will go beyond trade related issues. This study was to specify and estimate a model of Korea-GSTP Ground in Korea that can be used to evaluate and improve management decisions. The development of the model relied on several submodels. On the trade negotiation side, a import demand function was estimated in order to account for the increasing amount of import. In terms of margin of preference(MOP)s, they were used to estimate values after decreasing tax based on scenarios I, II, and III. The results showed that the highest effects for increasing value and amount of import are a freezing crab(HS code 0306143000) and freezing hairtail(HS code 0303793000). This paper will be provide to help policy makers understand the Korea-GSTP Ground in the Korea fishery.

• Proceedings of the Korean Society of Propulsion Engineers Conference
• /
• 2004.03a
• /
• pp.550-559
• /
• 2004

Theoretical studies have been carried out to examine the influence of the grain geometry-dependent driving forces, which control the internal flow pattern of solid rockets. Numerical studies have been executed with the help of a two-dimensional code. This code solves standard k-omega turbulence equations using the coupled second order implicit unsteady formulation. It has been concluded that the grain port divergence angles have significant leverage on the formation of recirculation bubbles leading for pressure oscillations, flow separation and reattachment. In solid rockets flow reattachment will favour secondary ignition and that will add to the complexity of the starting transient prediction.

• Journal of Information Processing Systems
• /
• v.14 no.3
• /
• pp.600-606
• /
• 2018

Smart city is currently the main direction of development. The automatic management of instrumentation is one task of the smart city. Because there are a lot of old instrumentation in the city that cannot be replaced promptly, how to makes low-cost transformation with Internet of Thing (IoT) becomes a problem. This article gives a low-cost method that can identify code wheel instrument information. This method can effectively identify the information of image as the digital information. Because this method does not require a lot of memory or complicated calculation, it can be deployed on a cheap microcontroller unit (MCU) with low read-only memory (ROM). At the end of this article, test result is given. Using this method to modify the old instrumentation can achieve the automatic management of instrumentation and can help build a smart city.

• International journal of advanced smart convergence
• /
• v.12 no.1
• /
• pp.149-156
• /
• 2023

OOXML-based MS-Office digital files are extensively utilized by businesses and organizations worldwide. However, OOXML-based MS-Office digital files are vulnerable to forgery and corruption attack by including hidden suspicious information, which can lead to activating malware or shell code being hidden in the file. Such malicious code can cause a computer system to malfunction or become infected with ransomware. To prevent such attacks, it is necessary to analyze and detect the corruption of OOXML-based MS-Office files. In this paper, we examine the weaknesses of the existing OOXML-based MS-Office file structure and analyzes how concealment and forgery are performed on MS-Office digital files. As a result, we propose a system to detect hidden data effectively and proactively respond to ransomware attacks exploiting MS-Office security vulnerabilities. Proposed system is designed to provide reliable and efficient detection of hidden data in OOXML-based MS-Office files, which can help organizations protect against potential security threats.

• Journal of Internet Computing and Services
• /
• v.17 no.4
• /
• pp.79-86
• /
• 2016

Under the influence of software security-enhanced development guidelines announced in 2012, secure coding practices become widely applicable in developing information systems aiming to enhance security capabilities. Although continuous enhancement activities for code security is important, management issues for code security have been less addressed in the guidelines. This paper analyses limitation of secure coding practices from the viewpoint of quality management. In particular this paper suggests structures and the use of software metrics from coding to maintenance phases so that it can be of help in the future by extending the use of security metrics.