• 한국건설관리학회논문집
• /
• 제15권4호
• /
• pp.119-127
• /
• 2014

본 연구는 기획단계에서 건축물의 이산화탄소 배출량 평가에 개략평가모델인 I-O LCA 모델의 활용 가능성을 파악하는 것을 목적으로 한다. 이를 위하여, I-O LCA 모델과 Hybrid LCA 모델을 정의하고, 두 LCA 모델을 이용하여 아파트 3개 단지와 3개 교육시설물에 대한 이산화탄소 배출량을 평가하고, 결과를 비교하였다. 사례분석 결과, I-O LCA 모델을 통해 산출된 이산화탄소 배출량은 Hybrid LCA 모델을 통해 산출된 이산화탄소 배출량과 상당히 유사하였다. 아파트 단지의 경우 78.2-86.3%의 유사도를 나타내었고, 학교 건축물의 경우 59.9-84.8%의 유사도를 나타내었다. 하지만, 전반적으로 I-O LCA 모델에 의해 산출된 이산화탄소 배출량은 Hybrid LCA 모델의 결과에 비해 작았다. 그럼에도 불구하고, 사례분석 결과는 총공사비를 유일한 입력요소로 하는 간단한 모델인, I-O LCA 모델이 상당히 높은 정확도를 가진다는 사실을 보여주었다. I-O LCA모델은 프로젝트의 초기 기획단계에 건축물의 이산화탄소 배출량을 예측하는데 활용될 수 있을 것으로 기대된다.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2000년도 추계종합학술대회 논문집(2)
• /
• 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.

• 한국게임학회 논문지
• /
• 제20권6호
• /
• pp.31-42
• /
• 2020

MMO 게임 서버는 수천 명 이상의 대량 동시접속 시 성능저하를 막기 위해 운영체제에서 제공하는 고성능 I/O 모델을 사용해 구현해야한다. 하지만 운영체제에서 제공하는 I/O 모델들이 계속 발전하고 있음에도 불구하고 기존 어플리케이션들에 대한 적용은 즉각적으로 이루어지지 않고 있다. 이에 본 연구에서는 Linux의 새로운 I/O 모델인 io_uring을 MMO 게임 서버에 적용하였고, 이를 위해 기존의 서버 구조를 io_uring에 맞추어 최적화하였다. 이를 통해 개선된 성능을 대용량 접속 벤치마크 프로그램을 통해 확인하였다.

• 의학교육논단
• /
• 제24권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.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2004년도 추계학술대회 논문집
• /
• 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.

• 한국세라믹학회지
• /
• 제24권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.

• 한국수학사학회지
• /
• 제27권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.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2003년도 하계종합학술대회 논문집 II
• /
• 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.

• 경영과정보연구
• /
• 제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
• /
• 제20권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.