• Korean Journal of Construction Engineering and Management
• /
• v.15 no.4
• /
• pp.119-127
• /
• 2014

This study aims to determine whether or not the input output life cycle assessment (I-O LCA) model can be used to assess the carbon dioxide (CO2) emission of buildings in initial planning phase. To ensure this end, this study proposed I-O LCA model which is the simplified LCA model and Hybrid LCA model which is the detailed LCA model, and then assessed and compared the CO2 emission of six case projects (three apartment complexes and three educational facilities) using the two LCA model. The results of the case study showed that the CO2 emissions assessed by the I-O LCA is significantly similar to the CO2 emission assessed by the Hybrid LCA model. The similarity of results from both LCA models was 78.2-86.3% in apartment complexes and 59.9-84.8% in educational facilities. However, the CO2 emissions from I-O LCA model were smaller than the CO2 emissions from Hybrid LCA model in case study. Nevertheless, the case study showed that the I-O LCA model was capable of assessing the CO2 emission of buildings quite appropriately although the I-O LCA model is the simplified LCA model which considers only the construction cost. The I-O LCA model is expected to be a useful tool for assessing the CO2 emission of buildings in initial planning phase.

• Proceedings of the IEEK Conference
• /
• 2000.11b
• /
• pp.345-348
• /
• 2000

In this paper, We described the procedures to generate an input-output buffer information specification (IBIS) model in digital IC circuits. We gives the method to describe IBIS standard I/O for the characteristics of I/O buffer and to represent its electrical characteristics. The parameters of I/O structure for I/O buffer modelling are also referred, and an IBIS model for CMOS, TTL IC, ROM and RAM constructed amounts about 216. This IBIS model can be used to the simulation of signal integrity of high speed circuits in a PCB level.

• Journal of Korea Game Society
• /
• v.20 no.6
• /
• pp.31-42
• /
• 2020

To accept more than thousands of concurrent players, MMO Game servers should use high performance I/O APIs provided by the OS. Despite the continuous improvement of the I/O models, these new I/O APIs are not applied on the applications immediately. In this study, we proposed a new MMO game server architecture using io_uring, Linux's new I/O model. We implemented the proposed architecture and achieved performance improvements of the server on a stress test benchmark with high concurrent connections.

• Korean Medical Education Review
• /
• v.24 no.2
• /
• pp.156-171
• /
• 2022

The purpose of this study was to establish a model for constructing longitudinal data for medical school, and to structure cohort and longitudinal data using data from Yonsei University College of Medicine (YUCM) according to the established input-environment-output (I-E-O) model. The study was conducted according to the following procedure. First, the data that YUCM has collected was reviewed through data analysis and interviews with the person in charge of each questionnaire. Second, the opinions of experts on the validity of the I-E-O model were collected through the first expert consultation, and as a result, a model was established for each stage of medical education based on the I-E-O model. Finally, in order to further materialize and refine the previously established model for each stage of medical education, secondary expert consultation was conducted. As a result, the survey areas and time period for collecting longitudinal data were organized according to the model for each stage of medical education, and an example of the YUCM cohort constructed according to the established model for each stage of medical education was presented. The results derived from this study constitute a basic step toward building data from universities in longitudinal form, and if longitudinal data are actually constructed through this method, they could be used as an important basis for determining major policies or reorganizing the curricula of universities. These research results have implications in terms of the management and utilization of existing survey data, the composition of cohorts, and longitudinal studies for many medical schools that are conducting surveys in various areas targeting students, such as lecture evaluation and satisfaction surveys.

• Proceedings of the KSR Conference
• /
• 2004.10a
• /
• pp.1241-1246
• /
• 2004

The verification confirms a correspondence between requirements and a specification before implementing. The problem in the formal method verifying a protocol specification using model checking is that the protocol behaviors must be always specified in L TS(Label Transition System). But if Region Automata is applied to the model checking, it is enable to verify whether properties are true on specification specified in I/O FSM(Input/Output Finite State Machine) as well as LTS. In this paper, we verify the correctness of rail signal control protocol type 1 specified in I/O FSM by using model checking method and region automata. This removes many errors and ambiguities of an informal method used in the past and saves down expenditures and times required in the protocol development. Therefore it is expected that there will be an increase in safety, reliability and efficiency in terms of the maintenance of the signaling system by using the proposed verification methods.

• Journal of the Korean Ceramic Society
• /
• v.24 no.6
• /
• pp.593-601
• /
• 1987

A thermodynamic model to predict the stability of the water-in-oil type emulsion and the size of the droplets in stable emulsions was developed. Using this model, the effects of various factors government the droplet size in the metal salt solution-kerosene-span 80 system for the preparation of Al2O3-ZrO2 composite powders were investigated. It was shown that the given emulsion systems were thermodynamically unstable in every case but could be kinetically meta stable. When radius ofthe droplet was below nm, the increase in entropy change due to the configurational contribution of small droplets dominated the total free energy change for emulsification. The optimum conditions under which smaller deoplet was obtained were proposed and the validity of the model was proved with diameters of the droplet and composite powders experimentally determined.

• Journal for History of Mathematics
• /
• v.27 no.1
• /
• pp.47-57
• /
• 2014

This paper aims to evaluate works of Frege and G$\ddot{o}$del, who play the trigger role in development of logic, by Knowledge Change Model. It identifies where their positions are in the model respectively. For this purpose I suggest types of knowledge change and their criteria for the evaluation. Knowledge change are classified into five types according to the degree of its change: improvement, weak glorious revolution, glorious revolution, strong glorious revolution, and total revolution. Criteria to evaluate the change are its contents, influence, pervasive effects, and so forth. The Knowledge Change Model consists of the types and the criteria. I argue that in the model Frege belongs to the total revolution and G$\ddot{o}$del to the weak glorious revolution. If we accept that the revolution in logic initiated by Frege was completed by G$\ddot{o}$del, it is a natural conclusion.

• Proceedings of the IEEK Conference
• /
• 2003.07b
• /
• pp.811-814
• /
• 2003

Today's and tomorrow's processors and I/O devices are demanding much higher I/O bandwidth than PCI 2.3 or PCI-X can deliver and it is time to engineer a new generation of PCI to serve as a standard I/O bus for future generation platforms. According to this demand the PCI SIG proposed PCI Express. This paper describes about the design of PCI Express Behavioral Model. A Behavioral Model enables the designers to test whether the design specifications are met by performing computer simulations rather than experiments on the physical prototype. In the proposed Model, we can verify whether our design concept satisfies the PCI Express functional protocol.

• Management & Information Systems Review
• /
• v.20
• /
• pp.137-156
• /
• 2007

This study had an objective to obtain a result of the economic impacts of lodging industry on the Koran economy. Using the input-output model(I-O model), lodging industry sectoral multipliers were derived from the effects of output, income, employment, value added. indirect tax, and import. According to results of this study, estimated economic impacts of the convention industry were $2,950 million in output, $712 million in income, 92,257persons in employment, $1,590 million in value added, $12 million in indirect tax, and $226 million in import sectors.

• ETRI Journal
• /
• v.20 no.4
• /
• pp.301-326
• /
• 1998

In this paper, we have modeled and evaluated a new parallel processing system called Scalable Parallel computer Architecture based on Xbar (SPAX) for commercial applications. SMP systems are widely used as servers for commercial applications; however, they have very limited scalability. SPAX cost-effectively overcomes the SMP limitation by providing both scalability and application portability. To investigate whether the new architecture satisfies the requirements of commercial applications, we have built a system model and a workload model. The results of the simulation study show that the I/O subsystem becomes the major bottleneck. We found that SPAX can still meet the I/O requirement of the OLTP workload as it supports flexible I/O subsystem. We also investigated what will be the next most important bottleneck in SPAX and how to remove it. We found that the newly developed system network called Xcent-Net will not be a bottleneck in the I/O data path. We also show the optimal configuration that is to be considered for system tuning.