• Journal of Platform Technology
• /
• v.11 no.5
• /
• pp.3-15
• /
• 2023

Requirements traceability link information is the basis for determining whether requirement change requested throughout the software development life cycle should be reflected in the system. Setting up complete requirements traceability links requires considerable effort. However, the commensurate benefits can be obtained in later development or further maintenance phases. For this reason, setting up and managing requirements traceability links in the software development phase are tasks that cause considerable resistance to developers. This study proposes a method for generating requirement traceability links in business applications. The key feature of the proposed method is that the traceability link from the requirements element, which is the basis of the corresponding element to the analysis element, is automatically established at the same time the elements of the analysis model are identified. This can be a way to reduce developer effort while increasing the efficiency of the traceability model. A case study on a Course Registration System demonstrates the feasibility of applying the proposed requirements traceability management method to actual software development.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2007.05a
• /
• pp.1263-1267
• /
• 2007

A more complete two-dimensional vertical numerical model has been developed to describe the saltwater intrusion in an estuary. The model is based on the previous studies in order to obtain a better accuracy. The non-linear terms of the governing equations are analyzed and the $\sigma$-coordinate system is employed in the vertical direction with full transformation which is recently issued in several studies because numerical errors can be generated during the coordinate transformation of the diffusion term. The advection terms of the governing equations are discretized by an upwind scheme in second-order of accuracy. By employing an explicit scheme for the longitudinal direction and an implicit scheme for the vertical direction, the numerical model is free from the restriction of temporal step size caused by a relatively small grid ratio. In previous researches, some terms induced from the transformation have been intentionally excluded since they are asked the complicate discretization of the numerical model. However, the lack of these terms introduces significant errors during the numerical simulation of scalar transport problems, such as saltwater intrusion and sediment transport in an estuary. The numerical accuracy attributable to the full transformation is verified by comparing results with a previous model in a simply sloped topography. The numerical model is applied to the Han River estuary. Very reasonable agreements for salinity intrusion are observed.

• Geomechanics and Engineering
• /
• v.2 no.1
• /
• pp.1-18
• /
• 2010

The analysis of structure response and design of buried structures subjected to dynamic destructive loads have been receiving increasing interest due to recent severe damage caused by strong earthquakes and terrorist attacks. For a comprehensive design of buried structures subjected to blast loads to be conducted, the whole system behaviour including simulation of the explosion, propagation of shock waves through the soil medium, the interaction of the soil with the buried structure and the structure response needs to be simulated in a single model. Such a model will enable more realistic simulation of the fundamental physical behaviour. This paper presents a complete model simulating the whole system using the finite element package ABAQUS/Explicit. The Arbitrary Lagrange Euler Coupling formulation is used to model the explosive charge and the soil region near the explosion to eliminate the distortion of the mesh under high deformation, while the conventional finite element method is used to model the rest of the system. The elasto-plastic Drucker-Prager Cap model is used to model the soil behaviour. The explosion process is simulated using the Jones-Wilkens-Lee equation of state. The Concrete Damage Plasticity model is used to simulate the behaviour of concrete with the reinforcement considered as an elasto-plastic material. The contact interface between soil and structure is simulated using the general Mohr-Coulomb friction concept, which allows for sliding, separation and rebound between the buried structure surface and the surrounding soil. The behaviour of the whole system is evaluated using a numerical example which shows that the proposed model is capable of producing a realistic simulation of the physical system behaviour in a smooth numerical process.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.9 no.2
• /
• pp.680-699
• /
• 2015

The use of web service has been increased rapidly, with an increase in the number of available services, finding the exact service is the challenging task. Service discovery is the most significant job to complete the service discoverers needs. In order to achieve the efficient service discovery, we focus on designing a cluster based service discovery model for service registering and service provisioning among all mobile nodes in a mobile ad hoc network (MANETs). A dynamic backbone of nodes (i.e. cluster heads) that forms a service repository to which MANET nodes can publish their services and/or send their service queries. The designed model is based on storing services with their service description on cluster head nodes that are found in accordance with the proposed cluster head election model. In addition to identifying and analyzing the system parameters for finding the effectiveness of our model, this paper studies the stability analysis of the network, overhead of the cluster, and bandwidth utilization and network traffic is evaluated using analytic derivations and experimental evaluation has been done.

• Proceedings of the KSRS Conference
• /
• 2002.10a
• /
• pp.860-879
• /
• 2002

Traditionally, Geographical Information Systems can only process spatial data in a procedure-oriented way, and the data can't be treated integrally. This method limits the development of spatial data applications. A new and promising method to solve this problem is the spatial structural query language, which extends SQL and provides integrated accessing to spatial data. In this paper, the theory of spatial structural query language is discussed, and a new geographical data model based on the concepts and data model in OGIS is introduced. According to this model, we implemented a spatial structural query language G/SQL. Through the studies of the 9-Intersection Model, G/SQL provides a set of topological relational predicates and spatial functions for GIS application development. We have successfully developed a Web-based GIS system-WebGIS-using G/SQL. Experiences show that the spatial operators G/SQL offered are complete and easy-to-use. The BNF representation of G/SQL syntax is included in this paper.

• Structural Engineering and Mechanics
• /
• v.27 no.5
• /
• pp.555-574
• /
• 2007

Static response of an elastic beam on a two-parameter tensionless foundation is investigated by assuming that the beam is symmetrically subjected to a uniformly distributed load and concentrated edge loads. Governing equations of the problem are obtained and solved by pointing out that a concentrated edge foundation reaction in addition to a continuous foundation reaction along the beam axis in the case of complete contact and a discontinuity in the foundation reactions in the case of partial contact come into being as a direct result of the two-parameter foundation model. The numerical solution of the complete contact problem is straightforward. However, it is shown that the problem displays a highly non-linear character when the beam lifts off from the foundation. Numerical treatment of the governing equations is accomplished by adopting an iterative process to establish the contact length. Results are presented in figures to demonstrate the linear and non-linear behavior of the beam-foundation system for various values of the parameters of the problem comparatively.

• Korean Management Science Review
• /
• v.29 no.2
• /
• pp.143-155
• /
• 2012

The purpose of this study is to formulate and solve the scheduling problem to heat-treatment process in forging process and apply it to industries. Heat-treatment is a common process in manufacturing heavy forged products in ship engines and wind power generators. Total complete time of the schedule depends on how to group parts and assign them into heat furnace. Efficient operation of heat-treatment process increases the productivity of whole production system while scheduling the parts into heat-treatment furnace is a combinatorial problem which is known as an NP-hard problem. So the scheduling, on manufacturing site, relies on engineers' experience. To improve heat-treatment process schedule, this study formulated it into an MIP mathematical model which minimizes total complete time. Three methods were applied to example problems and the results were compared to each other. In case of small problems, optimal solutions were easily found. In case of big problems, feasible solutions were found and that feasible solutions were very close to lower bound of the solutions. ILOG OPL Studio 5.5 was used in this study.

• Korean Journal of Computational Design and Engineering
• /
• v.13 no.2
• /
• pp.131-138
• /
• 2008

With the advancements of the Internet and CAD data translation techniques, more CAD models are transferred from a CAD system to another through the network and interoperability is getting a common word in the CAD industry. However, when a CAD model is translated for an incompatible system into a neutral format such as STEP or IGES, its precious feature information is lost. When this feature information is lost, the advantage of feature based modeling is not valid any longer, and modification for the model is purely dependent on geometric and topological manipulations. However, the capabilities of the existing methods to modify these feature-independent models are limited as the modification involves a topological change in the model. To address this issue, we present a volumetric method to modify the solid models in neutral format. First, this method selectively decomposes the solid model to separate the portion of interest called feature volume. Next, the designer modifies the feature volume without concerning a topological change. Finally, the feature volume is united with the original solid model to complete the modification process. The results of test cases are presented to attest the usefulness of the proposed method.

• Journal of Biomedical Engineering Research
• /
• v.9 no.2
• /
• pp.247-250
• /
• 1988

Laboratory information system (LIS) is a key tool to manage laboratory data in clinical pathology. Our department has developed an information system for routine hematology using down-sized computer system. We have used an IBM 486 compatible PC with 16MB main memory, 210 MB hard disk drive, 9 RS-232C port and 24 pin dot printer. The operating system and database management system were SCO UNIX and SCO foxbase, respectively. For program development, we used Xbase language provided by SCO foxbase. The C language was used for interface purpose. To make the system use friendly, pull-down menu was used. The system connected to our hospital information system via application program interface (API), so the information related to patient and request details is automatically transmitted to our computer. Our system interfaced with fwd complete blood count analyzers(Sysmex NE-8000 and Coulter STKS) for unidirectional data tansmission from analyzer to computer. The authors suggests that this system based on down-sized computer could provide a progressive approach to total LIS based on local area network, and the implemented system could serve as a model for other hospital's LIS for routine hematology.

• Asian-Australasian Journal of Animal Sciences
• /
• v.15 no.2
• /
• pp.166-171
• /
• 2002

The main objective of the present study is to estimate the crossbreeding parameters in respect to serum lysozyme level in broilers. The experiment involved a complete $4{\times}4$ diallel design using four synthetic broiler lines namely Coloured Synthetic Male Line (CSML), White Synthetic Male Line (WSML), Coloured Synthetic Female Line (CSFL) and Naked Neck Line (NNL). The lyophilised Micrococcus lysodeikticus suspension was used to detect the lysozyme level in the serum of birds. The data were analysed by least-squares method to find the effects of genetic and non-genetic factors using appropriate model. The crossbreeding parameters for this trait were estimated by complete diallel model assuming the effect of each synthetic line as fixed. The results indicated that additive and non-additive genetic variation attributed to minor genes at many loci is important for the genetic control of serum lysozyme level in chickens. Total non-additive components of variance also showed significant amount of heterosis in crossbred progenies, and therefore exploitation of non-additive component of variance is possible for improvement in serum lysozyme level in broilers. The overall results suggested that for commercial broiler production system, the selection for specialised line on the basis of serum lysozyme level and subsequent crossing of parent lines could enhance the immunocompetence status in relation to serum lysozyme level in crossbred chickens.