• Proceedings of the Korea Information Processing Society Conference
• /
• 2024.05a
• /
• pp.310-313
• /
• 2024

Rust has gained recognition for its emphasis on and commitment to providing memory safety. However, seamlessly integrating it with Foreign Function Interfaces (FFIs) written in unsafe languages remains a significant challenge towards achieving complete memory safety. To address this challenge, researchers have proposed Foreign Function Isolation as a potential solution, leading to emergence of various approaches in this domain. This paper critically evaluates existing solutions and illuminates the gaps that need to be addressed to realize practical foreign function isolation in Rust.

• Journal of the Korean BIBLIA Society for library and Information Science
• /
• v.18 no.2
• /
• pp.61-88
• /
• 2007

The purpose of this study is to provide an actual basic data and helps for arranging the next generation OPAC's interface and function through improving the existing OPAC's interface and improvement in the domestic library. In this study, factors to be importantly considered for improving the OPAC's interface and function were examined based on the preceding studies on OPAC concept & development process, user's library use style, user use style of OPAC, and recognition on library's crisis, and actual condition investigation result. Also, the case analysis on the existing OPAC's interface and function was focused on the search window, search item, search method, alignment function, search result display and search result feedback. Also, the search interface and search function of the next generation OPAC which is provided by the recently-developed domestic and foreign library utilization, and the detailed case were analyzed in the aspect of Library 2.0 service. Finally, the measures for improving the existing OPAC's interface and function in domestic library were suggested.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2021.05a
• /
• pp.151-154
• /
• 2021

Rust is a promising system programming language that made its debut in 2010. It was developed to address the security problems in C/C++. It features a property called ownership, on which it relies to mitigate memory attacks. For this and its many other features, the language has consistently gained popularity and many companies have begun to seriously consider it for production uses. However, Rust also supports safe and unsafe regions under which the foreign function interface (FFI), used to port to other languages, falls. In the unsafety region, Rust surrenders most of its safety features, allowing programmers to perform operations without check. In this study, we analyze the security issues that arise due to Rust's safety/unsafety property, especially those introduced by Rust FFI.

• Journal of the Korea Society for Simulation
• /
• v.28 no.4
• /
• pp.33-43
• /
• 2019

Link-16 is a data link that provides joint interoperability to the US Navy, Air Force and NATO. Currently, the military relies entirely on foreign SW and tools for test environment, tactical simulation training and interoperability verification test for Link-16 operation. Therefore, it is necessary to develop Link-16 based operation environment test tool. In this paper, Link-16 network operational performance analysis simulator was developed by analyzing the function of Link-16 foreign tools. It also implements the SIMPLE standard interface for interworking with foreign SW and tools. The functional model for Link-16 network operation performance analysis consists of pre-analysis, real-time operational analysis, and post-analysis functional model. Each functional model test was performed through SIMPLE interworking with foreign SW and tools. Link-16 network operation performance analysis If we replace foreign SW through simulator, we can perform tactical training, network design verification and operation (scenario) verification for our military.

• The Journal of Information Systems
• /
• v.18 no.3
• /
• pp.231-249
• /
• 2009

Recently, plant construction industries are enjoying a favorable business climate centering around developing countries and oil producing countries rich in oil money. This paper proposes a methodology of implementing case-based reasoning(CBR) system for managing knowledge like lessons learned and various documents accumulated in performing power plant construction projects which are receiving a lot of order from foreign countries such as the Middle East, etc. Our methodology is consisted of 10 steps : user requirement gathering, information modeling, case modeling, case base design, similarity function design, user interface design, case base building, CBR module development, user interface implementation, integration test. Also, to illustrate the effectiveness of proposed methodology, the real CBR system is implemented for the plant business division of 'H' company which has international competitiveness in the field of plant construction industry. At present, the implemented CBR system is successfully utilizing as storing, sharing, and reusing knowledge which is accumulated in performing power plant construction projects in the target enterprise.

• Journal of Korea Multimedia Society
• /
• v.24 no.7
• /
• pp.913-921
• /
• 2021

After arranging the general usability evaluation criteria of existing VUI researchers, this study verified how appropriate these criteria are for AI VUI specialized in navigation and the priority of their suitability. The VUI used in this study was analyzed through a survey from a total of 195 Chinese users after analyzing the navigation VUI used in China. As a result of the analysis, the usability evaluation criteria of the navigation VUI were extracted from three sub-factors of 'task accuracy', 'function satisfaction', and 'information reliability' in verifying conformance with general VUI evaluation criteria. With the recent advent of self-driving cars, safety and response speed are becoming very important, so Chinese users also ranked responsiveness as the top priority in VUI design, and the importance was also found to be high. Also, both men and women have the highest reactivity and the lowest multiplicity. VUI requires a convenient and natural interface to understand the intention between two objects through usability evaluation and verification in order to have effective interaction between humans and machines.

• Proceedings of the KSR Conference
• /
• 2008.11b
• /
• pp.518-523
• /
• 2008

Using network communication, KTX OBCS is KTX's core device which inspects operation status of various electric equipments and supports driving command, train control, train's maintenance, train crew's driving. Since this device is manufactured as specialized system, being dependent on TGV manufacture specification and France's high speed train operation method, actual technic transfer is difficult. Therefore, there are many difficulties, since most of interface signals are connected with OBCS when function improvement, maintenance, various electric equipments(propulsion control device, auxiliary power supply device, door control device etc.) are replaced with localized ones, which are required in operational view after introduction of KTX. Ergo, this study would like to contribute to function improvement and maintenance's efficiency, furthermore to realize technical independence, escaping from dependency of developed foreign technology in high speed train and electric equipments, through KTX OBCS' function analysis and mutual interface information analysis with peripheral device(driver console, PID system, fault display device, various electric equipments).

• Journal of the Institute of Electronics Engineers of Korea TC
• /
• v.47 no.6
• /
• pp.49-57
• /
• 2010

In the near future IPTV services will be emerged the various types through Internet, but IMS based IPTV service is one of the very attractive IPTV services. This paper describes the interconnecting architectures of Web based IPTV contents provider to IMS(IP Multimedia System) network and describes the three difference architectures as method to find its IP address. One is the architecture using DNS or HSS to find IP address of Web based IPTV contents provider and connecting gateway function to I-CSCF in IMS. The other is the architecture connecting gateway AS to ISC interface of S-CSCF in IMS. This paper describes the characteristics of traffic generating due to interconnect the Web contents provider, and the traffic model of each architectures. The proposed each architecture is emulated the session establishment delay characteristics in CoD service of IPTV by the simulation. This paper shows that the architecture connecting gateway AS to ISC interface of S-CSCF is the excellent method compare to other two methods in view of the session establishment delay.

• Korean Institute of Interior Design Journal
• /
• v.16 no.5
• /
• pp.81-88
• /
• 2007

Energy consumption has been increased world widely, and the energy retain is one of the most important economic alternatives. These tendencies expand the nuclear power plants not only quantitatively but also qualitatively. Despite of the increasing construction of nuclear power plants and related facilities, every system in main control room(MCR) has been designed and administered solely based on the safety-first principles because of the specificity of nuclear industry. However, recent main control rooms started with the concept that the operators' performance could be optimized though the organic interrelation between human, machine, and environments. Now, it has been recognised in the scope of Ergonomics and Space Design which acknowledge our living spaces as Man-Environment Interface and this change connotes the MCR spaces should be special spaces rather than ordinary spaces. This research investigated domestic and foreign nuclear power plants' MCRs to suggest basic alternatives which can be applied to future MCR. With the review of characteristics of MCR, an integration of interior design, lighting and Ergonomics was explored and classified as types. Futhermore, the classification of environmental characteristics within the relationships between human, machine, and environments was developed through the case analysis of nuclear power plants. The results of this study will provide a basis of space design for system environments that the high level of safety and function are extremely important.

• Journal of the Korean Magnetic Resonance Society
• /
• v.25 no.3
• /
• pp.39-44
• /
• 2021

The CRISPR-Cas system provides adaptive immunity for bacteria and archaea against invading phages and foreign plasmids. In the Class 1 CRISPR-Cas system, multi-subunit Cas proteins assemble with crRNA to bind to DNA targets. To disarm the bacterial defense system, bacteriophages evolved anti-CRISPR (Acr) proteins that actively inhibit the host CRISPR-Cas function. Here we report the backbone resonance assignments of AcrIF7 protein that inhibits the type I-F CRISPR-Cas system of Pseudomonas aeruginosa using triple-resonance nuclear magnetic resonance spectroscopy. We employed various computational methods to predict the structure and binding interface of AcrIF7, and assessed the model with experimental data. AcrIF7 binds to Cas8f protein via flexible loop regions to inhibit target DNA binding, suggesting that conformational heterogeneity is important for the Cas-Acr interaction.