• Journal of the Korea Society of Computer and Information
• /
• v.4 no.3
• /
• pp.13-19
• /
• 1999

In this paper, we suggests a WIP (Work In Process) of FMC (Flexible Manufacturing Cell) analysis methods based on the TPN (Time Petri Nets) unfolding. Unfolding of PN is a partial order-based method for the verification of concurrent system without the state space explosion. The aim of this work is to formulate the general cyclic state scheduling problem to minimize the WIP to satisfy economical constraints. The method is based on unfolding of the original net into the equivalent acyclic description.

• Journal of the Society of Disaster Information
• /
• v.6 no.1
• /
• pp.92-119
• /
• 2010

As the necessity to utilize deep-placed underground spaces is increasing, we have to seriously consider the safety problems arising from the U/G spaces which is a restricted environment. Due to the higher cost of land compensation for above ground area and environmental issues, the plan to utilize deep-placed U/G spaces is currently only being established for the construction of U/G road network and GTX. However it is also expected that the U/G spaces are to be used as a living space because of the growing desires to change the above ground areas into the environmentally green spaces. Accordingly it is necessary to protect the U/G environments which is vulnerable against desasters caused by fire, explosion, flooding, terrorism, electric power failure, etc. properly. We want to introduce the principles of the Quantitative Risk Assessment(QRA) method for preparedness against the desasters arising from U/G environments, and also want to introduce an example of QRA which was implemented for the GOTTHARD tunnel which is the longest one in Europe.

• Proceedings of the Korean Society of Disaster Information Conference
• /
• 2022.10a
• /
• pp.385-386
• /
• 2022

본 연구는 방폭지역에서 정전기를 측정하는 설비 (EST:Electrostatic Transmitter), 측정 된 정전기를 저감시키는 설비(EES:Electrostatic Elimination System), 방폭지역에서 인체 정전기를 제거시키는 설비(방폭 디지털 제전봉)를 통한 비방폭구역에서 사용되는 정전기 측정장비와의 비교를 통하여 극히 제한적인 Basic Design(온도/압력/속 도/유량)으로 인한 설계나 장치 등 변경 등을 반영하여 방폭지역에대한 근본적인 문제점을 도출 제거할수 있는 방안을 마련했으며 기존 사용되었던 비방폭지역의 정전기 제거 시스템을 보완한 방폭지역의 정전기 화재폭발 예방 기술을 적용하였다.

• Asia pacific journal of information systems
• /
• v.28 no.4
• /
• pp.290-307
• /
• 2018

In this research, we study the impact of the factors that predict consumer loyalty of mobile payments and mobile wallets usage in Thailand. We developed a research model based upon previous findings where we propose and examine four constructs of personal innovativeness, consumer attitudes, consumer satisfaction and loyalty. In general, all of the hypotheses were supported by variables related to consumer loyalty with mobile wallet usage. Personal innovativeness analyzed due to its potential mediation effect on loyalty, both from attitudes and from satisfaction. It was found that personal innovativeness was a mediator construct in predicting consumer loyalty. The overall model provides value to the mobile payment and mobile wallet application providers in term of improving service efficiency and business strategies to secure Thai consumer loyalty.

• Journal of Information Science Theory and Practice
• /
• v.3 no.4
• /
• pp.6-18
• /
• 2015

There has been an explosion of new research and writing about all aspects of the information disciplines. Nevertheless, both academics and practitioners often find it difficult to engage in successful writing strategies. Indeed, writing is hard work, and doing it in a way that leads to publication is an even harder task. Since reading is essential to good writing, the challenges of learning to write are obvious. In this essay, I am drawing on many years of experience in writing and publishing, as well as considerable reading of writers’ memoirs, advice books on writing, literary studies, and other perspectives on the experience of writing in order to offer a set of approaches that can be pursued over a lifetime of scholarship and practice. Writing is a craft or art to be learned, and learning demands paying attention to the audience, having clear objectives, being an avid reader, and possessing the ability to accept and learn from criticism. While information professionals and scholars incessantly write for each other, there are large segments of the public and other disciplines who they ignore. Fortunately, the tools and resources for improving one’s writing are both broad and deep; discipline and realistic strategies are all that are required to improve one’s writing and, ultimately, to achieve success in publishing.

• Journal of the Korea Society of Computer and Information
• /
• v.13 no.6
• /
• pp.325-332
• /
• 2008

Internet explosion has revolutionized the way the industries, including that of the hospitality industry have conducted their businesses. With any new technology, there is a need to explore, define, develop and refine practices in its usage. The main purpose of this study was to examine how internet information influence employees job satisfaction and organizational performance. Employees were asked through surveys to evaluate four specific factors: format, accuracy, content and timeliness (FACT) in terms of their importance when making a restaurant choice. The findings of this study were as follows: internet information quality influenced business performance and employees job satisfaction.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.18 no.1
• /
• pp.64-88
• /
• 2024

Security and reliability are the utmost importance facts in intelligent networked vehicles. Stochastic Petri Net and Z (SPZN) as an excellent formal verification tool for modeling concurrent systems, can effectively handles concurrent operations within a system, establishes relationships among components, and conducts verification and reasoning to ensure the system's safety and reliability in practical applications. However, the application of a system with numerous nodes to Petri Net often leads to the issue of state explosion. To tackle these challenges, a refinement and abstraction method based on SPZN is proposed in this paper. This approach can not only refine and abstract the Stochastic Petri Net but also establish a corresponding relationship with the Z language. In determining the implementation rate of transitions in Stochastic Petri Net, we employ the interval average and weighted average method, which significantly reduces the time and space complexity compared to alternative techniques and is suitable for expert systems at various levels. This reduction facilitates subsequent comprehensive system analysis and module analysis. Furthermore, by analyzing the properties of Markov Chain isomorphism in the case study, recommendations for minimizing system risks in the application of intelligent parking within the intelligent networked vehicle system can be put forward.

• Journal of Korea Society of Digital Industry and Information Management
• /
• v.6 no.1
• /
• pp.211-223
• /
• 2010

Since its conception, the Internet has been exponentially growing and recent forecasts state that by the year 2011 almost one-quarter of the world's population will have internet access and few places have seen the radical effects of this new technology as strongly as south Korea which currently has the highest percentage of broadband users in the world with over 70% of its homes running at over 2Mbit/s. This explosion has revolutionized the way the industries, including that of the hospitality industry have conducted their businesses. The main challenge of this study was to explore how customers are currently using the Internet when developing purchase intentions. Customers were asked, through surveys, to evaluate four specific factors: format, accuracy, content and timeliness (FACT) in terms of their importance when making a restaurant choice. The findings of this study were as follows: content influenced the customer satisfaction, as well as timeliness influenced the customer satisfaction. But the other factor of the information didn't have interaction with the customer satisfaction. Customer satisfaction influenced the loyalty.

• Proceedings of the IEEK Conference
• /
• 2003.11b
• /
• pp.133-136
• /
• 2003

Due to recent explosion of information available online, question- answering (Q&A) systems are becoming a compelling framework for finding relevant information in a variety of domains. Question-answering system is one of the best ways to introduce a novice customer to a new domain without making him/her to obtain prior knowledge of its overall structure improving search request with specific answer. However, the current web poses serious problem for finding specific answer for many overlapped meanings for the same questions or duplicate questions also retrieved answer for many overlapped meanings fer the same questions or duplicate questions also retrieved answer is slow due to enhanced network traffic, which leads to wastage of resource. In order to avoid wrong answer which occur due to above-mentioned problem we propose the system using ontology by RDF, RDFS and mobile agent based on JAVA. We also choose wireless internet based embedded device as our test bed for the system and apply the system in E-commerce information domain. The mobile agent provides agent routing with reduced network traffic, consequently helps us to minimize the elapsed time for answers and structured ontology based on our proposed algorithms sorts out the similarity between current and past question by comparing properties of classes.

• Journal of KIISE:Software and Applications
• /
• v.27 no.3
• /
• pp.210-216
• /
• 2000

Place/Transition(P/T) nets has been used in protocol verification and concurrent system verification since it is suitable for describing concurrency and provides several well-established verification techniques. And it has been used as a base formalism for such high-level Petri nets as colored Petri nets, object-oriented Petri nets and etc. However, when analyzing complex models using P/T nets and P/T nets-based high-level Petri nets, there may be state explosion in reachability analysis due to improper handling of concurrency. In this paper, we define a structural concurrency in P/T nets, propose a partitioning algorithm based on the detected structural concurrency, and provide analysis techniques for such properties as boundedness of places and liveness of transitions, which are performed on compositional reachability graphs. The analysis techniques based on Petri net slices can be used in efficiently analyzing P/T nets-based high-level Petri net models as well as P/T net models.