• East Asian mathematical journal
• /
• v.21 no.2
• /
• pp.249-260
• /
• 2005

Experimentation using computer plays an important part in education and research in graph theory. The purpose of this paper is to develop the CAS techniques for the hands-on approach in graph theory specifically on the topic of constructing the spanning tree. This paper discusses the advantages of CAS as the software system for doing graph theory and introduces the software solutions integrating multimedia user interface developed by the author, which extend the functionality of the existing CAS-based graph theory software package.

• Proceedings of the Korean Institute of Communication Sciences Conference
• /
• 1986.04a
• /
• pp.113-118
• /
• 1986

Nowdays switching software designs are based on the concept of maximizing efficiency. This idea is to put through the most call, in the fastest time, using the fewest possible resources. So the memory usages are embossed one of the most important part to be considered in the switching software. This paper discusses the general concepts of switching software at first, then describes the switching data base from the view point of the access time, memory efficiency, and call processing environment.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2005.05a
• /
• pp.391-397
• /
• 2005

Power Flow Analysis(PFA) is used as the promising tools for the vibration and noise predictions of complex structures in medium-to-high frequency ranges. When the noise and vibration of a complex structure are analyzed, Power Flow finite Element Method combining PFA with FEM is efficient in vibration analysis, and Power Flow Boundary element Method combining PFA with BEM is usful in noise analysis. PFFEM software, PFADS has been developed for the vibration analysis of coupled system structures. Also, NASPFA, the noise analysis software based on PFBEM, has been developed. Through the several upgrades, the current version PFADS R3 and NASPFA R2 are used for the vibration and noise analysis of system structures in medium-to-high frequency ranges. In this paper, the structure and function of each software are explained, and the vibration and noise levels of vehicle structures predicted by each software are shown.

• The KIPS Transactions:PartD
• /
• v.10D no.6
• /
• pp.999-1010
• /
• 2003

Program slicing is s method to extract the statements from the program which have an influence on the value of a variable at a paricular point of the program. Program slicing is applied for many applications, such as program degugging, program testing, program integration, parallel program execution, software metrics, reverse engineering, and software maintenance, etc. This paper is the study to create the exact slice in the presence of Object Reference State Graph to generate more exactly static analysis information of objects in the program of the presence of complicated data structure.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.4
• /
• pp.904-914
• /
• 1998

BPR(Business Process Reengineering), a radical improvement approach of business process, has been paying attention, and work-flow management and automation has been concentrated on progress velocity of business process and productivity of engineers. In software engineering, software process engineering which focus to process begin to be watched, and for the purpose of software productivity and quality progress and reduction of development term, study on SPR(Software Process Reengineering) is being progressed. In this paper, made workflow analysis and design method for construction of work-flow management system of software process to stand firm process reengineering methodology. In other words, we studied modeling process methods for SPR process, and software process structure and workflow analysis method which construct software process workflow model and specification definition method of workflow software.

• Journal of the Korea Society of Computer and Information
• /
• v.21 no.10
• /
• pp.115-123
• /
• 2016

In this paper, we propose a Model Driven Development using UML(Unified Modeling Language) in an efficient Combat System Software development methods. UML is managed by the OMG (Object Management Group) as a Unified Modeling Language. Recently, In developing the software for the system, development time is contrary to a short, while it must meet a number of requirements of our customers. If you develop a non-efficient software early, the structure of the software become more complex in proportion to the number of requirements. As a result, a serious problem in the system, such as an increase in defective products due to the lowering of the reliability and communication problems between the developer has occurred. To overcome those problems, the aim of this paper is to develop a reusable high efficient Combat System Software by applying Model-Centric Development (Not Code-Centric Development). If Combat System Software development method using the UML proposed in this paper is used, easy communication among developers can help reduce the serious errors in systems. Also, it has the advantage that the future needs of software maintenance/repair become easy by using high readability object Model.

• Journal of Software Assessment and Valuation
• /
• v.13 no.1
• /
• pp.15-21
• /
• 2017

Analyzing a software package which is consisted of big numbers of files takes enormous costs and time. Therefore, SPDX (Software Package Data Exchange) working group collaborate with Linux Foundation published a software information(metadata) specification: SPDX. On the first half of 2017, the specification contains seven chapters and 66 items, according to Ver 2.1 of SPDX spec. It prefers Tag/Value or RDF forms but also supports spreadsheet form. In this paper, we introduce SPDX parsing & validation tools to check the validity of SPDX document. We'll develop SPDX document generator to manage software package more efficiently for our next target.

• Coupled systems mechanics
• /
• v.5 no.2
• /
• pp.145-156
• /
• 2016

An efficient and general numerical strategy for fluid-structure interaction problems is presented where either the fluid or the structure part are represented by nonlinear models. This partitioned strategy is implemented under the form of code coupling that allows to (re)-use previous made developments in a more general multi-physics context. This strategy and its numerical implementation is verified on classical fluid-structure interaction benchmarks, and then applied to the impact of tsunamis waves on submerged structures.

• Korean Journal of Computational Design and Engineering
• /
• v.17 no.6
• /
• pp.436-442
• /
• 2012

Traumatic loading during car accidents or sports activities can lead to cervical spinal cord injury. Experiments in spinal cord injury research are mainly carried out on rabbit or rat. Finite element models that include the rat cervical spinal cord and adjacent soft tissues should be developed for efficient studies of mechanisms of spinal cord injury. Images of a rat were obtained from high resolution MRI scanner. Polygonal surfaces were extracted structure by structure from the MRI data using the ITK-SNAP volume segmentation software. These surfaces were converted to Non-uniform Rational B-spline surfaces by the INUS Rapidform rapid prototyping software. Rapidform was also used to generate a thin shell surface model for the dura mater which sheathes the spinal cord. Altair's Hypermesh pre-processor was used to generate finite element meshes for each structure. These processes in this study can be utilized in modeling of other biomedical tissues and can be one of examples for reverse engineering on biomechanics.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.20 no.41
• /
• pp.203-212
• /
• 1997

The interface of computer software has to promote human-computer interaction. The one quality of interface to promote HCI should be evaluted with regard to user's information processing. The usability of interface is one of the main components of it's quality, and it is straightforwardly concerned with learnability, especially when users want to use a software at the first stage. In this paper, word processors, wide spreadly used in OA environments is studied in respect to menu structure on the interface. An cognitive menu structure is suggested by user's conceptual network of the main functions of word processor. Two word processors is selected to compare with the cognitive menu structure and to evalute learnabilities by teaming model.