• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2003년도 컴퓨터소사이어티 추계학술대회논문집
• /
• pp.167-170
• /
• 2003

In this paper, a design and experiment of PCI Express Core verification Model is described. The model targeting Endpoint core verification is designed by using newly-emerging SystemC which is a system design language based on a new C++ class library and simulation engine. In the verification model, we developed a SystemC Host System model which act as a Root Complex and Device Driver dedicated to the PCI Express Endpoint RTL Core. The test of Host System Model is guided by scenarios which implements and acts point of Device Driver and Root Complex and shows the result of simulation. Also, We present the full structure of verification model and Host model.

• Nuclear Engineering and Technology
• /
• 제51권2호
• /
• pp.463-478
• /
• 2019

The most important non-functional requirements for dependability of any Embedded Real-Time Safety Systems are safety, availability and reliability requirements. System architecture plays the primary role in achieving these requirements. Compliance with these non-functional requirements should be ensured early in the development cycle with appropriate considerations during architectural design. In this paper, we present an application of system architecture modeling for quantitative assessment of system dependability. We use probabilistic model checker (PRISM), for dependability analysis of the DTMC model derived from system architecture model. In general, the model checking techniques do not scale well for analyzing large systems, because of prohibitively large state space. It limits the use of model checking techniques in analyzing the systems of practical interest. We propose abstraction based compositional analysis methodology to circumvent this limitation. The effectiveness of the proposed methodology has been demonstrated using the case study involving the dependability analysis of safety system of a large Pressurized Water Reactor (PWR).

• 한국IT서비스학회:학술대회논문집
• /
• 한국IT서비스학회 2006년도 추계학술대회
• /
• pp.593-599
• /
• 2006

Including technical device and general information system, the information-technical(IT) system is defined as the technical system for acquiring, processing, storing and transferring information to a person. This paper presents Knowledge-based Heuristic Evolution Model for creating the advanced information-technical system. This Evolution Model is derived from the historical review on definition of evolution, the research on the architecture of the general IT system, history of IT system, technology innovation theory and multi-case study research. The evolution model is applicable to the conceptual creation of the advanced product in R&D organization requiring development methodologies like rapid-prototyping to develop next generation product. For the detailed theoretical construction and practical application of Evolution Model, the case study research based on action research is performed. the object of the case study is mobile device, especially mobile hand-held phone. Thus, we obtain the Evolution Model for creating the advanced information-technical system.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2004년도 ICEIC The International Conference on Electronics Informations and Communications
• /
• pp.285-288
• /
• 2004

In this paper, we present a design and experiment of PCI Express core verification model. The model targeting Endpoint core based on Verilog HDL is designed by newly-emerging SystemC, which is a new C++ class library based system design approach. In the verification model, we designed and implemented a SystemC host system model which acted as Root Complex and device driver dedicated to the PCI Express Endpoint RTL core. The verification process is scheduled by scenarios which are implemented in host model. We show that the model is useful especially for verifying the RTL model which has dependencies on system software.

• 한국물환경학회지
• /
• 제24권6호
• /
• pp.784-792
• /
• 2008

Greater focus must be placed on ensuring that the water quality model (WQM) reflects the objective of its application and the characteristics of the water environment properly before it is selected. In the development or application of WQM, various factors influencing the model predictions should be reviewed so that it can perform more properly and reasonably based on scientific theory. This study reviewed the characteristic of existing WQM and the domestic river environment to find the requirements of the model application for TMDLs management in Korea. In this study, a water quality model, QUAL-NIER, was developed based on the USEPA's QUAL2E. The core structure and reaction scheme of the model was established followed by the formulation of equations according to the scheme with some supplements on the reaction mechanisms which are necessary for domestic rivers. Algorithms on the equations were set up and programmed to form a computer-based model. The developed model, QUAL-NIER was applied to the main stem of the Nakdong river. The model was calibrated and verified to data measured in 2004. The model results displayed good agrement with the field measurements for both calibration and verification. From this study, it was concluded that the developed QUAL-NIER model was very powerful with regard to the water quality simulation in domestic rivers.

• ETRI Journal
• /
• 제36권6호
• /
• pp.1016-1022
• /
• 2014

This paper presents a hybrid model solution for user motion recognition. The use of a single classifier in motion recognition models does not guarantee a high recognition rate. To enhance the motion recognition rate, a hybrid model consisting of decision trees and artificial neural networks is proposed. We define six user motions commonly performed in an indoor environment. To demonstrate the performance of the proposed model, we conduct a real field test with ten subjects (five males and five females). Experimental results show that the proposed model provides a more accurate recognition rate compared to that of other single classifiers.

• 국제학술발표논문집
• /
• The 3th International Conference on Construction Engineering and Project Management
• /
• pp.1570-1575
• /
• 2009

The purpose of this research is to propose the conceptual model of Scenario-based Project Planning Expert System which has not been used in domestic LNG plant industry. This research examines data on the plant project planning expert system of domestic and oversea, analyzes the components of project planning expert systems and benchmark excellent cases. The conceptual model of LNG plant project planning expert system is established through the procedure as has been noted above. The results of this research are as follows: First, this research draws out such components of LNG plant project planning expert system as feasibility, cost control, contract management and risk management. Second, this research proposes the conceptual model of LNG plant project planning expert system which core module is consist of feasibility evaluation, life cycle cost evaluation and decision making. Finally, each module of LNG plant project planning expert system would be integrated into the Scenario-based Project Planning Expert System.

• ETRI Journal
• /
• 제43권3호
• /
• pp.524-537
• /
• 2021

High-performance Linpack (HPL) is among the most popular benchmarks for evaluating the capabilities of computing systems and has been used as a standard to compare the performance of computing systems since the early 1980s. In the initial system-design stage, it is critical to estimate the capabilities of a system quickly and accurately. However, the original HPL mathematical model based on a single core and single communication layer yields varying accuracy for modern processors and accelerators comprising large numbers of cores. To reduce the performance-estimation gap between the HPL model and an actual system, we propose a mathematical model for multi-communication layered HPL. The effectiveness of the proposed model is evaluated by applying it to a GPU cluster and well-known systems. The results reveal performance differences of 1.1% on a single GPU. The GPU cluster and well-known large system show 5.5% and 4.1% differences on average, respectively. Compared to the original HPL model, the proposed multi-communication layered HPL model provides performance estimates within a few seconds and a smaller error range from the processor/accelerator level to the large system level.

• 한국경영과학회지
• /
• 제10권1호
• /
• pp.79-83
• /
• 1985

This purpose of this study is to suggest a tentative model for project selection of information system. In constructing a mathematical model, quantification of decision criteria is tried to lessen difficulties of measuring benefits of information system project. Suggested model enables us to select projects in the context of portfolio and information system policy.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2001년도 제14회 신호처리 합동 학술대회 논문집
• /
• pp.305-308
• /
• 2001

We analyze mathematically a VSB (vestigial side-band) transceiver system for the Advanced Television Systems Committee (ATSC) digital television standard and extract a near-baseband equivalent VSB channel model. This model shows the multi-path fading effect of the quadrature component on the in-phase component. Also, we obtain a simplified model of the VSB transceiver system, which is represented by convolution of the transmission signal (before modulation) and the VSB channel. This simplified model is efficiently used for simulation of VSB systems to improve its performances, especially in an equalization part. Applying the DTV channel specifications tested by the Advanced Television Test Conter (ATTC) to the channel model, we obtain an equivalent VSB channel and show the equalization result by using the conventional derision-feedback equalize (DFE).