• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.10 no.10
• /
• pp.4825-4847
• /
• 2016

In this paper, we focus on the per-flow throughput analysis of IEEE 802.11 multi-hop ad hoc networks. The importance of an accurate saturation throughput model lies in establishing the theoretical foundation for effective protocol performance improvements. We argue that the challenge in modeling the per-flow throughput in IEEE 802.11 multi-hop ad hoc networks lies in the analysis of the freezing process and probability of collisions. We first classify collisions occurring in the whole transmission process into instantaneous collisions and persistent collisions. Then we present a four-dimensional Markov chain model based on the notion of the fixed length channel slot to model the Binary Exponential Backoff (BEB) algorithm performed by a tagged node. We further adopt a continuous time Markov model to analyze the freezing process. Through an iterative way, we derive the per-flow throughput of the network. Finally, we validate the accuracy of our model by comparing the analytical results with that obtained by simulations.

• Journal of the Korea Society of Computer and Information
• /
• v.16 no.2
• /
• pp.279-288
• /
• 2011

The purpose of this research is to develop a standardization model for available stock management process among the entire Enterprise Resource Planning System modules of Automobile Parts Manufacturing Industry. The standardization model system is constructed through the phased method based on the development methodology of information establishment suggested by the Small and Medium Business Administration and Korea Technology and Information Promotion Agency for Small & Medium Enterprises. The standardization model is to develop the process modules of ordering management, storing management, delivering management, and stock management for available stock management process. The study will help the manufacturing business and related IT business which want to construct available stock management process under the ERP system to establish the system more effectively by applying the standardization model and also will provide them with construction availability and reliability. By application of this study results, the businesses will not only prevent the excessive possession of raw materials and products and reserve adequate and steady stock but also will check real-time stock, observe customer due date, decrease over-production and reduce stock cost.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.15 no.4
• /
• pp.1293-1316
• /
• 2021

Using directional antennas in wireless Ad hoc networks has many superiorities, including reducing interference, extending transmission range, and increasing space division multiplexing. However, directional transmission introduces two problems: deafness and directional hidden terminals problems. We observe that these problems result in saturation throughput disparity among the competing flows in directional CSMA/CA based Ad hoc networks and bring challenges for modeling the saturation throughput of the flows. In this article, we concentrate on how to model and analyze the saturation throughput disparity of different flows in directional CSMA/CA based Ad hoc networks. We first divide the collisions occurring in the transmission process into directional instantaneous collisions and directional persistent collisions. Then we propose a four-dimensional Markov chain to analyze the transmission state for a specific node. Our model has three different kinds of processes, namely back-off process, transmission process and freezing process. Each process contains a certain amount of continuous time slots which is defined as the basic time unit of the directional CSMA/CA protocols and the time length of each slot is fixed. We characterize the collision probabilities of the node by the one-step transition probability matrix in our Markov chain model. Accordingly, we can finally deduce the saturation throughput for each directional data stream and evaluate saturation throughput disparity for a given network topology. Finally, we verify the accuracy of our model by comparing the deviation of analytical results and simulation results.

• International Journal of Reliability and Applications
• /
• v.8 no.1
• /
• pp.53-66
• /
• 2007

This paper proposes a new non-homogeneous Poisson process software reliability growth model based on the coverage information. The new model incorporates the coverage information in the fault detection process by assuming that only the faults in the covered constructs are detectable. Since the coverage growth behavior depends on the testing strategy, the fault detection process is first modeled for the general testing strategy and then realized for the uniform testing. Finally the model for the uniform testing is empirically evaluated by applying it to real data sets.

• Journal of the Korean Data and Information Science Society
• /
• v.20 no.1
• /
• pp.225-235
• /
• 2009

Lattice process models are used to explain phase transitions in statistical mechanics, a branch of physics. The Ising model, a specific form of lattice process model, was proposed by Ising in 1925. Since then, variants of the Ising model such as the Potts model and the unitary cell model have been proposed. Like the Ising model, it is believed that the more general models exhibit phase transitions on the critical surface, which is based on the mathematical equation. In statistical sense, phase transitions can be simulated through Markov Chain Monte Carlo (MCMC). We applied Swendsen-Wang algorithm, a block Gibbs algorithm, to a general lattice process models and we simulate phase transition phenomena of the unitary cell model.

• Journal of Computing Science and Engineering
• /
• v.3 no.4
• /
• pp.260-277
• /
• 2009

In this paper we propose a model for checking integrity constraints of mobile databases called Three-Level (3-L) model, wherein the process of constraint checking to maintain the consistent state of mobile databases is realized at three different levels. Sufficient and complete tests proposed in the previous works together with the idea of caching relevant data items for checking the integrity constraints are adopted. This has improved the checking mechanism by preventing delays during the process of checking constraints and performing the update. Also, the 3-L model reduces the amount of data accessed given that much of the tasks are performed at the mobile host, and hence speeds up the checking process.

• Journal of Information Technology Services
• /
• v.6 no.3
• /
• pp.87-110
• /
• 2007

Recently, researches on IT Service Management (ITSM) for improving information system operation service and information system outsourcing cost estimation model are proliferating. This study suggests a new cost model of IT operation service and optimizing method based upon the characteristics of operation service as a long-term and continuous business service for both user's and service provider's point of view. This study explains the cost optimization model of IT operation service by improving service request management process, such as adequate reception and control, proper valuation, process management using project management methodology, effective organization and time management of service personnel. Especially in this study, service ability improvement effect and fixed operation cost reduction effect are defined to prove the proposed new cost model.

• Proceedings of the Korean Institute Of Construction Engineering and Management
• /
• autumn
• /
• pp.151-158
• /
• 2003

Recently, the off-line processes in the construction industry are being changed to the electronic processes by several information technology (IT) tools including CALS. To improve the business processes to on-line processes, the business process reengineering (BPR) is a representative methodology for reviewing unnecessary and additional processes from the established business procedure. This study suggests a new process modeling method for construction BPR (CBPR) that consists of object-related process model (ORPM). In suggested modeling method, the connection with IT tools such as Workflow, enterprise resource planning (ERP), construction CALS, and business breakdown structure (BBS) was considered. The ORPM in the study is the main model for representing the detailed construction processes. It consists of nine relationship and six diagrams to represent the relationship between construction activities and the direction within the process model. Those models suggested from this study can be a useful tool for the CBPR because the researches and the practical applications related to the BPR of construction project are insufficient in our construction industry.

• Journal of Korea Multimedia Society
• /
• v.20 no.9
• /
• pp.1596-1605
• /
• 2017

This study recognizes the narrative of the movie as a semiotic system and proposes a structured storytelling analysis model through theoretical basis and empirical analysis. It classifies as 'Narrative 17 Process' which considers the narrative of successful 11 animations as a continuous process of formal structure. It extract the paradigmatic sub-narrative units(NU) centered on the act of the character in each process. The structural pattern of the story types are extracted by comparing and analyzing with 5 NU analysis elements presented in this study. As a result, the 4 story types were consistently classified by the SSD distance value. Therefore, this study propose a storytelling analysis model that can be effectively applied to scenarios and narrative composition stages of movie production.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2014.10a
• /
• pp.115-117
• /
• 2014

Recently, interesting of U-city with ubiquitous computing technologies has increased and u-city services can improve people's quality of life. Among the u-city services, traffice service is actively developed in our lives. In this paper, we propose the business model and business model process in u-car tracking service. To propose the research purpose, we examined the prior business model and investigated u-car tracking information. And also, we draw scenario and used it to identify business model. To efficiently understand proposed business model, we built business model process of u-car tracking service. The results of study, we proposed business model and business model process with stakeholder, benefiter and value model. This study concludes with implications of the study results as well as limitations and future research directions.