• Journal of the Korea Institute of Information and Communication Engineering
• /
• 제13권5호
• /
• pp.868-876
• /
• 2009

This paper presents a design and implementation of Usecase modeling tool to support integrated usecase diagramming and description writing. It also suggests diagram maintaining based on relationship and it makes UML standard diagramming by providing connection verification between diagram elements. It results in not only user-friendly and effective usecase modeling but it also contributing to integrated and consistent usecase modeling.

• IEMEK Journal of Embedded Systems and Applications
• /
• 제4권4호
• /
• pp.156-163
• /
• 2009

Recently a standard software platform for automotive, AUTOSAR, has been developed to manage growing software complexity and improve software reuseability. However reuse of testing system and test data are difficult because they are dependant on implementation language and testing phases. In this paper, we suggest a automated testing approach for AUTOSAR software component using a standardized testing language, TTCN-3. AUTOSAR defines the AUTOSAR XML Schema for the data exchange format so that it is possible to automatically convert AUTOSAR model into TTCN-3 testing model. Therefore our approach is to present generation techniques for the TTCN-3 testing system from a AUTOSAR XML description. With the proposed testing techniques we can reduce time and effort to build the testing system and reuse testing environment.

• 유체기계공업학회:학술대회논문집
• /
• 유체기계공업학회 2001년도 유체기계 연구개발 발표회 논문집
• /
• pp.389-393
• /
• 2001

Korea Gas Corporation(KOGAS) have constructed a gas flowmeters' calibration facilities at Jungdong Bucheon. The facilities consisting of 6 reference turbine meters can perform calibrations of large capacity natural gas flowmeters up to $9,600 m^3/h$ at 95 kPa. This large capacity and high pressure natural gas facilities is traceable to the national standard of gas flow rate (KRISS). In this article the motive of construction and description of design are summarized.

• Journal of The Korean Astronomical Society
• /
• 제49권1호
• /
• pp.1-8
• /
• 2016

The aim of this study is to describe the physical processes taking place in the solar photosphere. Based on 3D hydrodynamic simulations including a detailed radiation transfer scheme, we investigate thermodynamic structures and radiation fields in solar surface convection. As a starting model, the initial stratification in the outer envelope calculated using the solar calibrations in the context of the standard stellar theory. When the numerical fluid becomes thermally relaxed, the thermodynamic structure of the steady-state turbulent flow was explicitly collected. Particularly, a non-grey radiative transfer incorporating the opacity distribution function was considered in our calculations. In addition, we evaluate the classical approximations that are usually adopted in the onedimensional stellar structure models. We numerically reconfirm that radiation fields are well represented by the asymptotic characteristics of the Eddington approximation (the diffusion limit and the streaming limit). However, this classical approximation underestimates radiation energy in the shallow layers near the surface, which implies that a reliable treatment of the non-grey line opacities is crucial for the accurate description of the photospheric convection phenomenon.

• Journal of the Korean Institute of Telematics and Electronics B
• /
• 제31B권10호
• /
• pp.11-20
• /
• 1994

We propose two architectures using two dimensional systolic arrays for the DCT/DST/DHT. One decomposes the N-point DCT/DST/DHT into even-and odd-numbered frequency samples, and then computes them independently at the same time. In addition, the proposed architecture can be used for the IDCT/IDST/IDHT. Anogher is the modified version for the DHT/IDHT. Two proposed architectures generate outputs sequentially using real multiplications and additions. As compared to the conventional methods the proposed systolic arrays exhibit many advantages in terms of simplicity of the processing element (PE), latency, and throughput. Teh simulation results using VHDL, international standard language for hardware description, show the effectiveness of the proposed architecture.

• Proceedings of the KSPS conference
• /
• 대한음성학회 1996년도 10월 학술대회지
• /
• pp.208-213
• /
• 1996

This paper reports a preliminary investigation on the time course of intersyllabic coarticulation in Standard Chinese. In this investigation, around 3800 phonetically compact C1V1-C2V2 type disyllabic structures 3re employed to observe the acoustic effect of coarticulation in general, and about 400 disyllabic words are designed as the materials to examine: (1) How the articulators move from one syllable to the next？ (2) What is the extent to which the syllables overlapped？ And (3) In what sense, the syllables are produced in parallel; and in what sense, they are in sequence？ For the convenience of description, we just take the offset transition of V1 end the onset transition of C2 os the rough representations for anticipatory and carryover effect respectively, durational measurements are made correspondingly. To evaluate the possible influence on the behavior of gestural overlap from stress contrast and constituent difference of the syllables, analysis of variance are counducted as well. Based on this study, Some impressions about general nature of coarticulation behined the intersyllabic gesture overlapping in this language are discussed.

• The Bulletin of The Korean Astronomical Society
• /
• 제43권1호
• /
• pp.35.3-35.3
• /
• 2018

Incorporating the fully quantum mechanical computation of scattering cross-section and statistical moment analysis of absorption profiles, we investigate the Lyman line asymmetry of extremely high column density systems. Recent high redshift observations detected strong damped Lyman alpha systems (DLAs) whose column density is larger than N_HI ~ [10]^21.3 cm^(-2). Absorption profiles of these DLAs are characterized by the broad and asymmetric damping wing. For accurate description of radiation damping, the second-order time-dependent perturbation theory is adopted. To quantitatively address line asymmetry, we define a distribution function for each Lyman line, and compute statistical moments (mean, standard deviation, skewness and kurtosis) regarding column densities N_HI > [10]^18 cm^(-2). In this work, we present statistical properties of the intrinsic line profiles, and compare them with the Lorentzian cases.

• Proceedings of the KIEE Conference
• /
• 대한전기학회 2008년도 제39회 하계학술대회
• /
• pp.1014-1015
• /
• 2008

Safety critical systems are those in which a failure can have serious and irreversible consequences. Nowadays digital technology has been rapidly applied to critical system such as railways, airplanes, nuclear power plants, and vehicles. The main difference between analog system and digital system is that the software is the key component of the digital system. The digital system performs more varying and highly complex functions efficiently compared to the existing analog system because software can be flexibly designed and implemented. The flexible design make it difficult to predict the software failures. This paper reviews safety standard and criteria for safety critical system such as railway system and suggests development process, ordering management and assessment process for railway software with more detail description.

• International Commerce and Information Review
• /
• 제10권4호
• /
• pp.81-96
• /
• 2008

uEFL is an open source solution to integrate general business/learning activities and processes. uEFL is originally developed to adopt LD (Learning Design) specification, which represents learning as various combination of learning activities with learning conditions and outcomes. Learning activities are described with participant's role, learning environment, and contextual sequence. This viewpoint resembles BPM (Business Process Modeling). uEFL can convert LD to BPM description. uEFL engine can run converted LD activity with other business activities. This paper presents 4 templates and 2 sample models for uEFL. The templates and models will show how learning activities can be integrated with business activities efficiently.

• Journal of the Korean Mathematical Society
• /
• 제37권3호
• /
• pp.491-502
• /
• 2000

The disjoint union of mapping class groups g,1 gives us a braided monoidal category so that it gives rise to a double loop space structure. We show that there exists a natural twist in this category, so it gives us a ribbon category. We show that there exists a natural twist in this category, so it gives us a ribbon category. We explicitly express this structure by showing how the twist acts on the fundamental group of the surface Sg,l. We also make an explicit description of this structure in terms of the standard Dehn twists, as well as in terms of Wajnryb's Dehn twists. We show that the inverse of the twist g for the genus g equals the Dehn twist along the fixed boundary of the surface Sg,l.