• Journal of the Korean BIBLIA Society for library and Information Science
• /
• v.32 no.1
• /
• pp.443-467
• /
• 2021

The purpose of this study was to conduct interviews with librarians who have experience in establishing local authority data by participating in the national authority sharing system of the National Library of Korea and to understand librarians' recognition and support for the joint utilization of national authority data. For this purpose, a total of 10 librarians who participated in the national authority sharing system project were interviewed by telephone using semi-structured questionnaires. Through this, it was possible to investigate the benefits, difficulties, utilization plans, revision plans of headings, and opinions on necessary support. The results of this study showed that the participants recognized that the joint utilization of national authority data provides the basis for the authority work of the local library and brings about the efficiency of the authority work, but they recognized the difficulty of modifying, selecting, creating new data, lacking knowledge, and lacking support system. The necessary support for the joint utilization of national authority data was provided with education and manuals related to authority, provision of rules related to authority that fully consider the position of the institution, budget and manpower support for system development and maintenance, establishment of communication channel and council, system and data advancement, and incentive to participating libraries. Based on the results of the study, the method and direction for the future operation of the joint utilization of national authority data were presented.

• Proceedings of the KSR Conference
• /
• 2011.10a
• /
• pp.2493-2502
• /
• 2011

For Static analysis of software code, an experienced tester prefer detecting defects with using selective static technique. Many cases of static method have been reported such as coding rules, software metrics, defect data, etc. However, many of analysis case only present effectiveness of static analysis, not enough description for how the tester judged to classify code defects used in code analysis and removed them properly for ensure high quality. Occasionally, there are materials to show the effect of through some examples through some examples. But difficult to gain trust, because of not enough detail for application process. In this paper, introduced the static technique commonly used in railway and applied to the real development challenges. And the each of results were compared and analyzed. It is hard to generalize the results of this parer. But can be used and referenced as a case of study.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.42 no.5
• /
• pp.398-405
• /
• 2014

Recently the embedded software has been widely applied to the safety-critical systems in aviation and defense industries, therefore, the higher level of reliability, availability and fault tolerance has become a key factor for its implementation into the systems. The integrity of the software can be verified using the static analysis tools. And recent developed static analysis tool can evaluate code integrity through the mathematical analysis method. In this paper we detect the autocode error and violation of coding rules using the formal verification tool, Polyspace(R). And the fundamental errors on the flight control law model have been detected and corrected using the formal verification results. As a result of verification process, FBW helicopter control law autocode can ensure code integrity.

• The Journal of the Korea Contents Association
• /
• v.9 no.12
• /
• pp.556-565
• /
• 2009

In this paper, we propose a CAD software framework to automatically generate a shop drawing. Shop drawing is to draw the geometric figures representing an arrangement of steel bars for a concrete building on its structural design, based on its construction specifications and the design rules, and its well-formed process lead to be automated. A key point of the design automation is to minimize the user interactions by automatically recognizing the design specifications and to finally generate the shape of the geometric figures. The graphic pipeline of the proposed framework consists of four stages; a specification DB, specification extraction, binding, and rendering. To effectively extract all specifications only for a figure from the DB and bind them to its shape, we use a hierarchical approach; the specifications are classified into three common, structural, and figure classes, and each attribute is extracted in design phases. Based on our framework, we implemented a specialized CAD for shop drawing using AutoCAD and could easily update it according to user's demands.

• Journal of Korean Society of Disaster and Security
• /
• v.9 no.1
• /
• pp.39-45
• /
• 2016

The disasters in Korea, such as the Sewol Ferry Ship sinking disaster has had problems related to the medical response system, with the problems of emergency medical support team in the site, the cooperation between medical staff and fire department officer at disaster site, field medical support and hospital acceptance of the wounded in trouble, the lack of specific systematic medical response manual. Therefore, from May 2014, when the disaster emergency information center in Central Emergency Medical Center starts, collection, modification and education of scattered preexisting disaster emergency medical manual had appeared as important issues. So, it was necessary to develop the early medical response system to disaster. The correction planning of disaster emergency medical response system by Central Emergency Medical Center included quick response system with the fast medical team operation, but the practical application was not enough. So the researcher and his team developed the first Korean disaster emergency medical response manual and the process of development was documented and arranged with the application by education and training.

• KIPS Transactions on Software and Data Engineering
• /
• v.2 no.7
• /
• pp.495-502
• /
• 2013

Motion estimation (ME) that limits the performance of image quality and encoding speed has been developed to reduce temporal redundancy in video sequences and plays an important role in digital video compression. But it is computational demanding part of the encoder. Multi-view video is obtained by capturing one three-dimensional scene with many cameras at different positions. ME for Multi-view video requires high computational complexity. To reduce computational complexity and maintain the image quality, a fast motion estimation method is proposed in this paper. The proposed method uses a hierarchical search strategy. This strategy method consists of modified diamond search patten, multi gird diamond search pattern, and raster search pattern. These search patterns place search points symmetrically and evenly that can cover the overall search area not to fall into the local minimum or exploits the characteristics of the distribution of motion vectors to place the search points. Experiment results show that the speedup improvement of the proposed method over TZ search method (JMVC) can be up to 1.2 ~3 times faster while maintaining similar video quality and bit rates.

• KIPS Transactions on Software and Data Engineering
• /
• v.2 no.7
• /
• pp.443-450
• /
• 2013

The high portability and mobility of mobile devices have given rise to critical concerns with regard to mobile situation-aware services that utilize user situation information in the mobile domain. Mobile situation-aware services for mobile devices are provided by collecting and analyzing data, from which the user situation is inferred through an inference system. However, the high mobility of the mobile domain has made it difficult to infer the required results. In addition, previous studies have not identified a systematic approach to modifying and adapting. In this paper, we propose a systematic feedback process model based on software cybernetics in order to address the abovementioned problems. Further, we propose a MADA(Monitoring, Analysis, Determinating, Adaptation) framework for the feedback process model. Thus, the proposed approach supports the development of self-adaptive mobile situation-aware services that can infer appropriate results and manage the inferred results systematically.

• The Journal of the Korea Contents Association
• /
• v.12 no.4
• /
• pp.76-85
• /
• 2012

Through opinion mining, we can analyze the degree of positive or negative sentiments that customers feel about important entities or attributes in online customer reviews. But, the limit of the opinion mining techniques is to provide only simple functions in analyzing the reviews. In this paper, we proposed novel techniques that can analyze the online customer reviews multi-dimensionally. The novel technique is to modify the existing OLAP techniques so that they can be applied to text data. The novel technique, that is, multi-dimensional analytic model consists of noun, adjective and document axes which are converted into four relational tables in relational database. The multi-dimensional analysis model would be new framework which can converge the existing opinion mining, information summarization and clustering algorithms. In this paper, we implemented the multi-dimensional analysis model and algorithms. we recognized that the system would enable us to analyze the online customer reviews more complexly.

• Journal of Advanced Navigation Technology
• /
• v.19 no.5
• /
• pp.379-388
• /
• 2015

In the end of 1990's, future free flight technology had been developed and tested in America and government established the plan for free flight until 2017. Aircraft separation assurance must be secured essentially to avoid collision between aircrafts before Free Flight comes true. Now, Civil aircraft has rules about avoidance activity with traffic collision avoidance system (TCAS) but it can't apply to light aircraft. So there is a need about alternative method to apply light-aircraft because it has space and price problem to use TCAS. In this paper, TCAS algorithm has been modified and verified by simulating with LABVIEW program under ADS-B condition to get miniaturization and weight lighting cheaply. By simulating, collision alert algorithm is analyzed and verified with collision situation proposed by ICAO, and 100% checked for performing the alert announciation on all cases by TCAS standards.

• Journal of KIISE:Databases
• /
• v.31 no.1
• /
• pp.1-12
• /
• 2004

As network systems are developed rapidly and network architectures are more complex than before, it needs to use PBNM(Policy-Based Network Management) in network system. Generally, architecture of the PBNM consists of two hierarchical layers: management layer and enforcement layer. A security policy server in the management layer should be able to generate new policy, delete, update the existing policy and decide the policy when security policy is requested. And the security policy server should be able to analyze and manage the alert messages received from Policy enforcement system in the enforcement layer for the available information. In this paper, we propose an alert analyzer using data mining. First, in the framework of the policy-based network security management, we design and implement an alert analyzes that analyzes alert data stored in DBMS. The alert analyzer is a helpful system to manage the fault users or hosts. Second, we implement a data mining system for analyzing alert data. The implemented mining system can support alert analyzer and the high level analyzer efficiently for the security policy management. Finally, the proposed system is evaluated with performance parameter, and is able to find out new alert sequences and similar alert patterns.