• Korean Journal of Construction Engineering and Management
• /
• v.22 no.5
• /
• pp.86-98
• /
• 2021

In this study, we developed a simulation model for supply chain management of Precast Concrete (PC) based construction. To this end, information on the Factory Production/Site Construction system was collected through literature review and field research, and based on this information, a simulation model was defined by describing the supply chain, entities, resources, and processes. Next, using the Arena simulation software, a simulation model for the PC supply chain was developed by setting model frameworks, data modules, flowchart modules, and animation modules. Finally, verification and validation were performed using five review methodologies such as model check, animation check, extreme value test, average value test, and actual case test to the developed model. As a result, it was found that the model adequately represented the flows and characteristics of the PC supply chain without any logical errors and provided accurate performance evaluation values for the target supply chains. It is expected that the proposed simulation model will faithfully play a role as a performance evaluation platform in the future for developing management techniques in order to optimally operate the PC supply chain.

• Proceedings of the KIEE Conference
• /
• 2015.07a
• /
• pp.1525-1526
• /
• 2015

본 논문에서는 일반용 전기설비 안전점검으로 인한 전기화재 예방효과를 정량적으로 나타내기 위하여 전기화재 예방효과를 비용효과 분석방법을 통하여 정량적으로 제시하였다. 안전점검 실시유무에 따른 추상적인 분석모형을 개발하고, 개발된 분석모형을 정량적으로 나타내기 위한 수학적 논리를 이용한 수리모형으로 제안하고, 제안된 수리모형에 5년 동안에 일반용 전기설비 안전점검 실적과 화재 통계자료를 적용하여 전기안전점검에 대한 화재예방효과를 비용효과분석을 통하여 정량적으로 산출하였다.

• Journal for History of Mathematics
• /
• v.25 no.4
• /
• pp.21-36
• /
• 2012

It is commonly believed that the model-theoretic account of logical consequence is originated from Tarski' s 1936 paper. But Etchemendy has denied this. This paper discusses and evaluates the recent controversies over whether the definition of logical consequence presented in Tarski' s paper is based on the fixed-domain conception or the variable-domain conception.

• The Korean Journal of Applied Statistics
• /
• v.10 no.2
• /
• pp.261-274
• /
• 1997

Most of the data sets to which the conventional discriminant rules have been applied contain only those which belong to one and only one class among the classes of interest. However the extension of the bivalence to multivlaence like Fuzzy concepts strongly influence the traditional view that an object must belong to only class. Thus the goal of this paper is to develop new discriminant rules which can handle the data each object of which may belong to moer than two classes with certain degrees of belongings. A calibration model is used for the relationship between the feature vector of an object and the degree of belongings and a Bayesian inference is made with the Metropolis algorithm on the degree of belongings when a feature vector of an object whose membership is unknown is given. An evalution criterion is suggested for the rules developed in this paper and comparision study is carried using two training data sets.

• Journal of Korea Multimedia Society
• /
• v.3 no.1
• /
• pp.77-90
• /
• 2000

Real-Time verification is a procedure that verifies the correctness of specification related to requirement in time as well as in logic. One serious problem encountered in the verification task is that the state space grows exponentially owing to the unboundedness of time, which is termed the state space explosion problem. In this paper, we propose a real-time verification technique checking the correctness of specification by showing that a system model described in timed automata is equivalent to the characteristic of system property specified in timed modal-mu calculus. For this, we propose a local model checking method based on the value of the formula in initial state with constructing product graph concerned to only the nodes needed for verification process. Since this method does not search for every state of system model, the state space is reduced drastically so that the proposed method can be applied effectively to real-time system verification.

• Journal of Korean Society of Transportation
• /
• v.19 no.6
• /
• pp.19-31
• /
• 2001

In this paper, 3 layered architecture model and related design guidelines are proposed, which have been actually applied in our national ITS-Architecture design. The domain architecture as the 1st layer is to structure all ITS related domains for maximizing the co-operability in national level. The logical architecture as the 2nd layer is to structure all ITS related application-systems for minimizing duplications, conflicts and dead-zones in service level and maximizing the co-operability in application-system level. The physical architecture as the 3rd layer is to structure all IT(Information Technology) related physical resources for maximizing.

• Korean Journal of Legislative Studies
• /
• v.15 no.1
• /
• pp.177-207
• /
• 2009

This paper deals with the future role of Korean National Assembly in regulatory policy making, Implementation, and evaluation. For this purpose, the author developed the logic for NA's intervention to the regulatory policy making by the executive branch and presidency. Five models of regulatory initiative between National Assembly and the executive branch are also developed by the author. Lastly, new organizational alternatives for the National Assembly to initiate, to participate and to evaluate national regulatory reform policies.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.3 no.4
• /
• pp.304-312
• /
• 2008

In this study, the performance analysis was divided into the public sector and private business sector. The four perspectives of the BSC performance analysis for the private business sector can be applied to all of the enterprises as there are Logical Linkages between the four Perspectives. However, these can not be applied in the same way to the public sector. There is no Logical Linkage between public sector and private sectors. Therefore, since there is no Logical Linkage, the KIX project of the public sector has a constrained condition. With the internal and external perspective views, the BSC of the KIX identifies the quality(operation) factor, user(customer) satisfaction factor, and economic costs effects(finance) factor. Based on the linkage model in both the internal and external perspective views and the BSC performance analysis of these views, a performance analysis model was developed and then performance results were analyzed of the whole KIX project.

• Journal of Engineering Education Research
• /
• v.2 no.1
• /
• pp.10-16
• /
• 1999

In this paper, we developed the internet-based educational software package (DVLab) for design and virtual experiment of the digital logic circuits. The DVLab consists of the LogicSim module for design and simulation of digital combinational/sequantial logic circuits, micro-controller application circuits and the BreadBoard module for virtual experiment and the Theory module for lecture and the Report/ReportChecker module and some other utility modules. All developed modules can be run as application programs as well as applets in the Internet. The LogicSim and the BreadBoard support real time clock function, output verification function on the designed circuits, trace function of logic values, copy-protection function of designed circuits and provide various devices including logic gates, TTLs, LED, buzzer, and micro-controller. The educational model of digital logic circuit design and experiment using the DVLab is also presented in this paper.

• Communications for Statistical Applications and Methods
• /
• v.15 no.4
• /
• pp.517-530
• /
• 2008

In this paper we introduce a time series model using the triangle fuzzy numbers in order to construct a statistical relation for the data which is a sequence of observations which are ordered in time. To estimate the proposed fuzzy model we split of a universal set includes all observation into closed intervals and determine a number and length of the closed interval by the frequency of events belong to the interval. Also we forecast the data by using a difference between observations when the fuzzified numbers equal at successive times. To investigate the efficiency of the proposed model we compare the ordinal and the fuzzy time series model using examples.