• Journal of KIISE:Software and Applications
• /
• v.33 no.1
• /
• pp.1-16
• /
• 2006

As the size of software is getting huge, it has been impossible for testers to test all of source coed. Therefore, the method which uses information of requirements for testing has been researched and accepted. Although there are a lot of test methods based on requirement specification, each method has a different approach and coverage. So we should consider their various approach and coverage in the stage of test planning. This paper presents the empirical comparison and the result by applying various black-box testing methods to software system. For this experiment we studied five black-box testing methods including UML based specification technique. We applied the five testing methods to application system and evaluated the coverage of extracted test case.

• Journal of the Korean Association of Geographic Information Studies
• /
• v.3 no.3
• /
• pp.31-44
• /
• 2000

The purpose of this study is to show how could GIS along with digital maps and census data be used for scientific urban analysis and location analysis for a proposed project. Results are summarized as follows. First. after digital maps being completed, the census tract system being adopted, and major urban data being inputted in the computer file, GIS could be used intensively for various reliable urban analysis. With graphic statistical, and overlay functions of GIS, various physical and socio-economic characteristics of urban areas could be presented for analysis in the form of thematic and datapoint maps on the computer screen. Second, the locational analysis for a proposed project is a major part in the building permit review process, which tends to become disputable and time consuming as society become pluralized. Along with various GIS functions scientific decision-making methods could be developed, and the methods could play an important role for faster and scientific location analysis. As such, GIS would play an important role for faster and reliable urban analysis and location analysis and these functions finally would play important roles to improve public services and administration of local governments.

• KIPS Transactions on Software and Data Engineering
• /
• v.2 no.12
• /
• pp.873-880
• /
• 2013

This paper approaches the problem of resolving Korean zero pronouns using Centering Theory modeling local coherence. Centering Theory has been widely used to resolve English pronouns. However, it is much difficult to apply the centering framework for zero pronoun resolution in languages such as Japanese and Korean. Since in particular the use of non-anaphoric zero pronouns without explicit antecedents is not considered in the Centering Theory of Grosz et al., the presence of non-anaphoric cases negatively affects the performance of the resolution system based on Centering Theory. To overcome this, this paper presents a method which determines the intra-sentential anaphoricity of zero pronouns in subject position by using relationships between clauses, and then identifies antecedents of zero subjects. In our experiments, the proposed method outperforms the baseline method relying solely on Centering Theory.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.37C no.9
• /
• pp.791-801
• /
• 2012

Currently, SEAMCAT has been widely used as a tool to evaluate the effects of interference among a variety of wireless communication systems. This supports various channel propagation models, all of which are based on some statistical models for the channel propagation and do not exploit any specific terrain characteristics. Thus it is not appropriate for assessing the effects of interference between wireless systems, given some specific terrain features. In order to overcome this limit in its use, it is necessary to extend the capability of SEAMCAT to support a channel propagation model which takes into account terrain informations. The ITU-R P.526 is a familiar channel propagation model which calculates the path loss considering the terrain features. In this paper, we present an enhanced version of SEAMCAT which supports the ITU-R P.526 and provide a few examples of interference evaluation using it.

• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.28 no.2
• /
• pp.177-185
• /
• 2015

City-based Lifeline is expected to cause significant social and economic loss accompanied the secondary damage such as paralysis of urban functions and a large fire as well as the collapse caused by earthquake. Earthquake Disaster Response System of Korea is being operated with preparation, calculates the probability of failure of the facility through Seismic Fragility Model and evaluates the degree of earthquake disaster. In this paper, the time history analysis of buried gas pipeline in city-based lifeline was performed with consideration for ground characteristics and also seismic fragility model was developed by maximum likelihood estimation method. Analysis model was selected as the high-pressure pipe and the normal-pressure pipe buried in the city of Seoul, Korea's representative, modeling of soil was used for Winkler foundation model. Also, method to apply developed fragility model at GIS is presented.

• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.29 no.2
• /
• pp.201-208
• /
• 2016

Recently, extensive research on crack analysis using extended finite element method(XFEM) which has main advantages in element re-meshing and visualization of cracks has been conducted. However, its application was restricted to the members of a single material. In this study, the applicability and feasibility of the XFEM to the multiple crack analysis of reinforced concrete beams were demonstrated. ABAQUS which has implemented XFEM was used for the crack analysis and its results were compared with test results. Enriched degree-of-freedom locking phenomenon was discovered and its causes and the ways to prevent it were suggested. The locking occurs when cracks in the adjacent elements simultaneously develop. A modelling technique for multiple cracking similar to test results was also proposed. The analysis with XFEM showed similar results to the tests in terms of crack patterns, spacing of cracks, and load-deflection relationship.

• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.24 no.6
• /
• pp.655-662
• /
• 2011

For analyzing seismic performance of long-span bridge for multi-support excitation and preparing technically and efficiently for a variety of design demands, the new module on multiple excitation was built in a reliable non-linear analysis program(RCAHEST) by using Influence Line Method, and the study on structures was performed previously. Also, the result of the analysis through RCAHEST was compared and verified with commercial finite element analysis program SAP2000 by using the feature of Multi-Support Excitation. From these results, nonlinear time history analysis considering multi-support excitation was studied after designing FE model of Incheon cable-stayed bridge. It was proved that the maximum response of horizontal displacement decreased as the time delay was increasing at all nodes of bridge. And then the serviceability of analysis model was evaluated by performing ultimate analysis under changes in maximum acceleration of seismic load data.

• Journal of the Korean Institute of Telematics and Electronics D
• /
• v.35D no.11
• /
• pp.10-22
• /
• 1998

In this paper, as a way of improving the availability and spectral efficiency of radio relay system, a co-channel radio relay system based upon the synchronous digital hierarchy is developed and its performance measured by 64-QAM with a never-seen multi-purpose ASIC chip is illustrated. This system provides a couple of transmission capacity compared with alternative channel arrangement. By adopting a powerful complex 13-tap adaptive time domain equalizer and cross-pol interference canceller, improvement of more than 1.5 ~ 2.0 dB in signature is obtained in comparison to 9 or 11-tap adaptive time domain equalizer, and about 22.5 dB in improvement factor of cross-pol interference canceller is achieved at C/N of 24.5 dB. In addition, digital filter makes it possible to optimize the occupied bandwidth by selecting an appropriate roll-off factor externally. It is expected that co-channel radio relay system with the powerful multi-purpose ASIC chip plays a key role in creating a value-added product, reliability, and reducing the outage time.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.42 no.12
• /
• pp.35-44
• /
• 2005

SoC(systnn-on-a-chip) requires high bandwidth system bus for performing multiple functions. Performance of the system is affected by bandwidth of the system bus. In this paper, for efficient management of the bus resource on a SoC platform, we present a latency model of the shared bus organized by multiple layers. Using the latency model, we can analyze latencies of the shared bus on a SoC. Moreover we evaluate a throughput of the bus and compare with needed throughput of the SoC platform including IPs such as MPEG or USB 2.0. And we can use the results as a criteria to find out an optimal bus architecture for the specific SoC design. For verifying accuracy of the proposed model, we compared the latencies with the simulation result from MaxSim tools. As the result of simulation, the accuracy of the IS model for a single layer and multiple layer are over $96\%\;and\;85\%$ respectively.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.42 no.12
• /
• pp.91-102
• /
• 2005

Recently, concurrent error detection for the processor becomes important. But it imposes too much overhead to adopt concurrent error detection capability on the system. In this paper, a new approach to resolve the problems of concurrent error detection is proposed. A loop detection scheme is introduced to reduce the repetitive loop iteration and memory access. To reduce the memory overheat an offset to calculate the target address of branching node is proposed. Performance evaluation shows that the new architecture has lower memory overhead and frequency of memory access than previous works. In addition, the new architecture provides the same error coverage and requires nearly constant memory size regardless of the size of the application program. Consequently, the proposed architecture can be used as an cost effective method to detect control flow errors in the commercial on the shelf products.