• Journal of Navigation and Port Research
• /
• v.39 no.6
• /
• pp.465-472
• /
• 2015

SEEMP (Ship Energy Efficiency Management Plan) guidelines for a ship's GHG reduction include a machinery modification of hull, an installation of energy efficiency enhanced attachment in hardware methods. It is also possible to bring a ship energy efficiency improvement by fuel-efficient operations or in other software methods. Hardware modification or installation on ship can bring financial burdens to a ship company compared to its improvement expectation. On the other hand, Software based energy-saving technology can be applicable on various ship types, and it is also expected high efficiency of ship energy use compared to hardware based technology in perspective of the investment costs and efficiency. In this paper, it is described that the ship handling simulator based evaluation was carried out using representative ship model of bulk, container and VLCC. Simulation environments were separated into 6 conditions according to the sea-state and weather condition, and the operation results were compared with those before and after energy saving system applied The container ship showed the largest FOC save rate after energy saving system applied although the others also showed energy save rate after using the system.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.38 no.2
• /
• pp.211-218
• /
• 2014

Recently, software-based programmable logic controller (PLC) systems, which are implemented in standard PLC languages on general hardware, are gaining popularity because they overcome the limitations of classical hardware PLC systems. Another noticeable trend is that the use of integrated development environment (IDE) is becoming important. IDEs can help developers to easily manage the growing complexity of modern control systems. Furthermore, industrial Ethernet, e.g. EtherCAT, is becoming widely accepted as a replacement for conventional fieldbuses in the distributed control domain because it offers favorable features such as short transmission delay, high bandwidth, and low cost. In this paper, we implemented the extension of open source IDE, called Beremiz, for developing EtherCAT-based real-time, synchronized motion control applications. We validated the EtherCAT system management features and the real-time responsiveness of the control function by using commercial EtherCAT drives and evaluation boards.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.31 no.2
• /
• pp.263-277
• /
• 2021

Taint analysis techniques are popularly used to detect web vulnerabilities originating from unverified user input data, such as Cross-Site Scripting (XSS) and SQL Injection, in web applications written in JavaScript. To detect such vulnerabilities, it would be necessary to trace variables affected by user-submitted inputs. However, because of the dynamic nature of JavaScript, it has been a challenging issue to identify those variables without running the web application code. Therefore, most existing taint analysis tools have been developed based on dynamic taint analysis, which requires the overhead of running the target application. In this paper, we propose a novel static taint analysis technique using symbol information obtained from the TypeScript (a superset of JavaScript) compiler to accurately track data flow and detect security vulnerabilities in TypeScript code. Our proposed technique allows developers to annotate variables that can contain unverified user input data, and uses the annotation information to trace variables and data affected by user input data. Since our proposed technique can seamlessly be incorporated into the TypeScript compiler, developers can find vulnerabilities during the development process, unlike existing analysis tools performed as a separate tool. To show the feasibility of the proposed method, we implemented a prototype and evaluated its performance with 8 web applications with known security vulnerabilities. We found that our prototype implementation could detect all known security vulnerabilities correctly.

• Journal of The Korean Association of Information Education
• /
• v.23 no.1
• /
• pp.73-84
• /
• 2019

Maker movement is emerging as one of the key areas of the fourth industrial revolution in recent years. The maker movement is to create and share what users need using a variety of inexpensive production tools such as open source software and hardware, 3D printers and laser cutters. We think that the effect would be enhanced if design thinking is applied to elementary and middle school (K-12) class. The purpose of this study is to develop a design thinking-based maker education program and to apply it to classroom for clarify the effect on the creative problem solving ability of elementary school students. In order to verify the purpose of the research, students in the 5th-6th grades of elementary school were divided into a controlled group and an experimental group. The general lecture maker class was applied in the controlled group, and our developed design thinking-based maker class was simultaneously applied in the experimental group. The creative problem solving ability test was conducted before and after the test, and its effectiveness was verified using statistical t-test. In conclusion, this study suggests that design thinking-based maker education program has a positive effect on elementary school students' creative problem solving ability.

• Journal of the Korean Society of Marine Environment & Safety
• /
• v.28 no.4
• /
• pp.594-600
• /
• 2022

When a large liquefied natural gas (LNG) carrier is anchored at a coastal terminal, calculations on mooring forces of mooring cables induced by environmental loads such as strong winds and currents are needed to secure mooring safety. The advantages and disadvantages of several existing mooring force calculation methods are compared and analyzed with their application conditions. Resultingly, mooring equipment guidelines of the Oil Companies International Marine Forum (OCIMF) are chosen as the computational method for this study. In this paper, the mooring forces of a large LNG carrier with spectrum was calculated using the OCIMF mooring equipment guidelines. The calculation shows similar maximum forces resulted from the calculation using experiment data of a wind tunnel test. To verify the results, OPTIMOOR, a dedicated mooring force calculation software, is used to calculate the same mooring conditions. The results of both calculations show that the computational method recommended by OCIMF is safe and reliable. OPTIMOOR calculates more detailed tensile force of each mooring cable. Thus, the calculation on mooring forces of mooring cables of a large LNG carrier using OCIMF mooring equipment guidelines is verified as an applicable and safe method.

• The Korean Journal of Nuclear Medicine
• /
• v.37 no.2
• /
• pp.73-82
• /
• 2003

Objectives: A new software (Cardiac SPECT Analyzer: CSA) was developed for quantification of volumes and election fraction on gated myocardial SPECT. Volumes and ejection fraction by CSA were validated by comparing with those quantified by Quantitative Gated SPECT (QGS) software. Materials and Methods: Gated myocardial SPECT was peformed in 40 patients with ejection fraction from 15% to 85%. In 26 patients, gated myocardial SPECT was acquired again with the patients in situ. A cylinder model was used to eliminate noise semi-automatically and profile data was extracted using Gaussian fitting after smoothing. The boundary points of endo- and epicardium were found using an iterative learning algorithm. Enddiastolic (EDV) and endsystolic volumes (ESV) and election fraction (EF) were calculated. These values were compared with those calculated by QGS and the same gated SPECT data was repeatedly quantified by CSA and variation of the values on sequential measurements of the same patients on the repeated acquisition. Results: From the 40 patient data, EF, EDV and ESV by CSA were correlated with those by QGS with the correlation coefficients of 0.97, 0.92, 0.96. Two standard deviation (SD) of EF on Bland Altman plot was 10.1%. Repeated measurements of EF, EDV, and ESV by CSA were correlated with each other with the coefficients of 0.96, 0.99, and 0.99 for EF, EDV and ESV respectively. On repeated acquisition, reproducibility was also excellent with correlation coefficients of 0.89, 0.97, 0.98, and coefficient of variation of 8.2%, 5.4mL, 8.5mL and 2SD of 10.6%, 21.2mL, and 16.4mL on Bland Altman plot for EF, EDV and ESV. Conclusion: We developed the software of CSA for quantification of volumes and ejection fraction on gated myocardial SPECT. Volumes and ejection fraction quantified using this software was found valid for its correctness and precision.

• Progress in Medical Physics
• /
• v.15 no.2
• /
• pp.63-69
• /
• 2004

HDR brachytherapy administers a large dose of radiation in a short time compare with LDR, and its optimization for treatment is related to several complex factors, such as physical, radiation and optimization algorithms, so there is a need for these to be verified for accurate dose delivery. In our approach, a previous study concerning the phantom for dose verification has been modified, and a new pelvic phantom fabricated for the purpose of localization, including a structure enabling the use of a CT or MRI system. In addition, a comparison study was performed to verify an orthogonal method that is commonly used for brachytherapy localization by comparing target coordinates from a CT system. Since the developed phantom was designed to simulate the clinical setups of cervix cancer, it included an air-filled bladder and a rectum structure shaped sphere and cylinder An N-shaped localizer was used to obtain precision coordinates from both CT and films. Moreover, the IDL 5.5 software program for Windows was used to perform coordinates analysis based on an orthogonal algorithm. The film results showed differences within 1.0 mm of the selected target points compare with the CT coordinates. For these results, a Plato planning system (Nucletron, Netherlands) could be independently verified using this phantom and software. Furthermore, the new phantom and software will be efficient and powerful qualify assurance (QA) tools in the field of brachytherapy QA.

• KIPS Transactions on Software and Data Engineering
• /
• v.9 no.7
• /
• pp.221-228
• /
• 2020

Part-of-Speech (POS) tagged corpus is a collection of electronic text in which each word is annotated with a tag as the corresponding POS and is widely used for various training data for natural language processing. The training data generally assumes that there are no errors, but in reality they include various types of errors, which cause performance degradation of systems trained using the data. To alleviate this problem, we propose a novel method for detecting errors in the existing POS tagged corpus using the classifier of XGBoost and cross-validation as evaluation techniques. We first train a classifier of a POS tagger using the POS-tagged corpus with some errors and then detect errors from the POS-tagged corpus using cross-validation, but the classifier cannot detect errors because there is no training data for detecting POS tagged errors. We thus detect errors by comparing the outputs (probabilities of POS) of the classifier, adjusting hyperparameters. The hyperparameters is estimated by a small scale error-tagged corpus, in which text is sampled from a POS-tagged corpus and which is marked up POS errors by experts. In this paper, we use recall and precision as evaluation metrics which are widely used in information retrieval. We have shown that the proposed method is valid by comparing two distributions of the sample (the error-tagged corpus) and the population (the POS-tagged corpus) because all detected errors cannot be checked. In the near future, we will apply the proposed method to a dependency tree-tagged corpus and a semantic role tagged corpus.

• Korean Journal of Construction Engineering and Management
• /
• v.22 no.5
• /
• pp.86-98
• /
• 2021

In this study, we developed a simulation model for supply chain management of Precast Concrete (PC) based construction. To this end, information on the Factory Production/Site Construction system was collected through literature review and field research, and based on this information, a simulation model was defined by describing the supply chain, entities, resources, and processes. Next, using the Arena simulation software, a simulation model for the PC supply chain was developed by setting model frameworks, data modules, flowchart modules, and animation modules. Finally, verification and validation were performed using five review methodologies such as model check, animation check, extreme value test, average value test, and actual case test to the developed model. As a result, it was found that the model adequately represented the flows and characteristics of the PC supply chain without any logical errors and provided accurate performance evaluation values for the target supply chains. It is expected that the proposed simulation model will faithfully play a role as a performance evaluation platform in the future for developing management techniques in order to optimally operate the PC supply chain.

• Therapeutic Science for Rehabilitation
• /
• v.10 no.4
• /
• pp.53-63
• /
• 2021

Objective : This study aimed to develop a Korean version of the Flow State Scale for Occupational Task (K-FSSOT), to measure the level of a flow experience of a subject in occupational therapy activities. Methods : To develop a measure of K-FSSOT, validity and reliability were verified through a systematic development process. The validity was verified by calculating the content validity index (CVI) through the content validity of 10 occupational therapists and a question-and-answer survey of 20 patients. Reliability was verified by investigating the internal consistency and examination-re-test reliability of 33 patients. Results : The item-CVI for each question in the content feasibility study was .90 to 1.00, and the scale-CVI, which is the average of the whole item, was found to be appropriate at .97. The verification of reliability indicated that the intrinsic value of the entire question was high at .855, and the test-retest reliability value was high at .894 (p<.01), showing a high correlation, and very high reliability. Conclusion : K-FSSOT could be used as a useful tool to measure the level of a flow experience of the target in performing occupational therapy activities for occupational therapists concerned about the participation and flow experience of the target.