• KIPS Transactions on Software and Data Engineering
• /
• v.10 no.1
• /
• pp.29-34
• /
• 2021

The real-time video education is used as an effective method of operating classes that replaces face-to-face education of instructors and learners in remote areas. However, the existing video call and video conferences system is mainly used, and this is effective in linguistic education because it focuses on lecture through video, but it is not utilized in other education. In this paper, we propose a design model of real-time video system that can improve the effectiveness of science curriculum and mathematics education by providing the functions that can be utilized during class by improving limitations of image - oriented image education.

• Journal of the Korea Safety Management & Science
• /
• v.22 no.1
• /
• pp.9-14
• /
• 2020

Artificial intelligence (AI) has been applied to most industries by enhancing automation and contributing greatly to efficient processes and high-quality production. This research analyzes the applications of AI-based automobile accident prevention systems. It deals with AI-based collision prevention systems that learn information from various sensors attached to cars and AI-based accident detection systems that automatically report accidents to the control center in the event of a collision. Based on the literature review, technological and institutional changes are taking place at the national levels, which recognize the effectiveness of the systems. In addition, start-ups at home and abroad as well as major car manufacturers are in the process of commercializing auto parts equipped with AI-based collision prevention technology.

• Asia pacific journal of information systems
• /
• v.29 no.3
• /
• pp.503-523
• /
• 2019

Many cities in the world have increased initiative to realize smart tourism. There are unexplored challenges for the people which lead and manage smart tourism projects and realize its value in tourism (we call them as 'Smart tourism initiatives'), such as orchestrating of tourism complexity, developing and sharing tourism strategy, sustaining tourism projects and innovation. Concerning these challenges, we aim to design a holistic capability maturity model for sustainable and smart tourism governance enabling sustainable tourism innovations via tackling the challenges above. We adopted Dynamic capability theory as a theoretical lens and introduced Design science research methodology in order to develop a new capability maturity governance model as a design artifact. As a result of the study, we could synthesize findings from iterations of the design research cycle based on the IT Capability Maturity Model. Our result proposes a potential capability maturity model supporting effective communication and strategic alignment for the initiatives with illuminating future paths with evaluation methods on tourism capabilities for the initiatives. Throughout this study, we contribute to the body of knowledge as well as practice by proposing a new tourism capability governance model.

• International conference on construction engineering and project management
• /
• 2024.07a
• /
• pp.1096-1102
• /
• 2024

Construction hoists are essential equipment for vertical lifting of workers and materials on construction sites, and their efficient operation significantly impacts the success of construction projects. To optimize hoist operation, it is crucial to accurately understand the call situation on each floor (i.e., the external waiting state) and the internal state of the hoist. This study aims to use object detection technology to monitor the status of workers and materials waiting on each floor, as well as the boarding state inside the hoist in real-time. Subsequently, by utilizing the real-time gathered information, a model was developed to reduce the number of stops, thereby demonstrating the potential of object detection technology in reducing the hoist's transportation time. The research results show that it is possible to determine the number of workers, the types of materials, and the quantity of materials to board the hoist using object detection, and to derive an optimized route. Consequently, it demonstrates that the use of object detection can reduce the transportation time of the hoist, thereby improving its operational efficiency.

• Bulletin of the Korean Mathematical Society
• /
• v.25 no.2
• /
• pp.203-209
• /
• 1988

In this paper, we define a g-regular semigroup which is a generalization of a regular semigroup. And we want to find some properties of g-regular semigroup. G-regular semigroups contains the variety of all regular semigroup and the variety of all periodic semigroup. If a is an element of a semigroup S, the smallest left ideal containing a is Sa.cup.{a}, which we may conveniently write as $S^{I}$a, and which we shall call the principal left ideal generated by a. An equivalence relation l on S is then defined by the rule alb if and only if a and b generate the same principal left ideal, i.e. if and only if $S^{I}$a= $S^{I}$b. Similarly, we can define the relation R. The equivalence relation D is R.L and the principal two sided ideal generated by an element a of S is $S^{1}$a $S^{1}$. We write aqb if $S^{1}$a $S^{1}$= $S^{1}$b $S^{1}$, i.e. if there exist x,y,u,v in $S^{1}$ for which xay=b, ubv=a. It is immediate that D.contnd.q. A semigroup S is called periodic if all its elements are of finite order. A finite semigroup is necessarily periodic semigroup. It is well known that in a periodic semigroup, D=q. An element a of a semigroup S is called regular if there exists x in S such that axa=a. The semigroup S is called regular if all its elements are regular. The following is the property of D-classes of regular semigroup.group.

• Journal of KIISE:Databases
• /
• v.35 no.3
• /
• pp.218-230
• /
• 2008

The temporal aggregate in temporal databases is an extension of the conventional aggregate to include the time on the range condition of aggregation. It is a useful operation for Historical Data Warehouses, Call Data Records, and so on. In this paper, we propose a structure for the temporal aggregation with multiple selection predicates, called the ITA-tree, and an aggregate processing method based on the structure. In the ITA-tree, we transform the time interval of a record into a single value, called the T-value. Then, we index records according to their T-values like a $B^+$-tree style. For possible hot-spot situations, we also propose an improvement of the ITA-tree, called the eITA-tree. Through analyses and experiments, we evaluate the performance of the proposed method.

• Journal of Biomedical Engineering Research
• /
• v.31 no.3
• /
• pp.187-193
• /
• 2010

In this study we have designed and fabricated an inexpensive micro electronic system that we call Alvitek. It can indirectly but accurately predict and display the partial pressures of alveolar oxygen and carbon dioxide for the patients in the ICU of a hospital. Alvitek consists of both hardware part and software part. Performance of the system is tested by animal experiment with pigs for various $F_{t}e_{2}$ and RR(Respiratory Rate) values under the mechanical ventilation. The predicted alveolar gas partial pressures are cprpared with the approximate alveolar oxygen partial pressures easily calculated by the physician’s bedside formula. As a result, we have concluded that the relative error of A-$aDe_2$ calculated by the bedside formula grows seriously for lower $F_{t}e_{2}$ values. The present prediction method of Alvitek is henceforth believed very meaningful to the physicians. The system hardware and software are described in the text.

• The Journal of Society for e-Business Studies
• /
• v.13 no.4
• /
• pp.49-69
• /
• 2008

Recently, ubiquitous computing technology becomes available to develop advanced electronic commerce：u-commerce. Hence, it is the very time to perform feasibility analysis in applying ubiquitous computing technology, especially estimating economical value of the on-going technology. Hence, the purpose of this paper is to propose a financial value estimating methodology in performing feasibility test on ubiquitous computing technology. To do so, Black and Scholes model is basically adopted. To show the feasibility if the idea proposed in this paper, actual case study through focused group interview with those who are actually performing on-going ubiquitous computing projects. As the result, we validated the possibility of applying Black-Sholes model to assessing feasibility analysis for ubiquitous technology development with the price of call option, volatility, and the comparison with other similar technologies.

• Smart Media Journal
• /
• v.9 no.3
• /
• pp.71-79
• /
• 2020

Mobile network is used by many users worldwide for diverse services, including phone-call, messaging and data transfer over the Internet. However, this network may experience massive damage if it is exposed to cyber-attacks or denial-of-service attacks via wireless communication interference. Because the mobile network is also used as an emergency network in cases of disaster, evaluation or verification for security and safety is necessary as an important nation-wide asset. However, it is not easy to analyze the mobile core network because it's built and serviced by private service providers, exclusively operated, and there is even no separate network for testing. Thus, in this paper, a virtual mobile network is built using OpenAirInterface, which is implemented based on 3GPP standards and provided as an open source software, and the structure and protocols of the core network are analyzed. In particular, the S1AP protocol messages captured on S1-MME, the interface between the base station eNodeB and the mobility manager MME, are analyzed to identify potential security threats by evaluating the effect of the messages sent from the user terminal UE to the mobile core network.

• Journal of Korea Society of Industrial Information Systems
• /
• v.22 no.6
• /
• pp.71-84
• /
• 2017

Over the past decade, we have witnessed Serious Debates in MISQ and Other Journals Between Two Camps that have Differing Views on the use of Causal Indicators to Measure Constructs. There is the Camp that advocates Causal Indicators (ADVOCATE) and the Camp that opposes Their Usage (OPPONENT). The Debates have been primarily centered on the OPPONENT's Argument that the Meaning of a Latent Variable is determined by its Outcome Variables. However, Little Effort has been made to Validate the ADVOCATE's Dispute (Against the OPPONENT's Arguments) that the Meaning of a Latent Variable is decided by its Causal Indicators if there is no Misspecification. Our Study precisely examines the Integrity of the Argument. For this, we empirically examine how the two Primary Psychometric Properties-Comprehensiveness and Interrelationship-of Causal Indicators Influence Theory Testing between Latent Variables through Three Different Tests (i.e., Comprehensive Test, Interrelationship Test, and Mixed Test). Conducted on Two Different Datasets, Our Analysis Consistently Reveals that Structural Path Coefficients are Hardly Sensitive to the Changes (i.e., Misspecification) in the Properties of Causal Indicators. The Discovery offers Important Evidence that the Sound Theoretical Logic of a Causal Model is not in Sync with the Empirical Mechanism of Parameter Estimation. This Underscores that a Latent Variable Formed by Causal Indicators is empirically an elusive notion that is Difficult to Operationalize. As Our Results have Significant Implications on the Integrity of Numerous IS studies which have conducted Theory or Hypothesis Testing Using Causal Indicators, we strongly advocate Open Discussions among Methodologists regarding Our Findings and Their Implications for Both Published IS Research and Future Practices.