• International Journal of Computer Science & Network Security
• /
• v.23 no.12
• /
• pp.115-122
• /
• 2023

Makkah Al-Mukarramah is the capital of Islamic world. It receives special attention from the Saudi government's rulers to transform it into a smart city for the benefit of millions of pilgrims. One of the 2030 vision objectives is to transform specific cities to smart ones with advanced technological facilitation, Makkah is one of these cities. The history of Makkah is not well known for some Muslims. As a result, we built the concepts of our application "Ain Makkah" to enable visitors of Makkah to know the history of Makkah by using technology. In particular "Ain Makkah" uses Augmented Reality to view the history of Al-Kaaba. A 3D model will overlay Al-Kaaba to show it in the last years. Our project will use Augmented Reality to build a 3D model to overlay Al-Kaaba. Future work will expand the number of historical landmarks of Makkah.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2003.09a
• /
• pp.664-667
• /
• 2003

We propose a frizzy traffic controller of Sugeno's fuzzy model so as to model the nonlinear characteristics of controlling the traffic light. It uses a degree of the traffic congestion of the preceding roads as an input so that it can cope with traffic congestion appropriately, which causes the loss of fuel and our discomfort. In order to construct fuzzy traffic controller of Sugeno's fuzzy model we first model the control process of the traffic light by using Mamdani's fuzzy model, which has the uniform membership functions of the same size and shape. Next we make Mamdani's fuzzy model with the non-uniform membership functions so that it can exactly reflect the knowledge of experts and operators. Lastly, we construct the fuzzy traffic controller of Sugeno's fuzzy model by learning from the input/output data, which is retrieved from Mamdani's fuzzy model with the non-uniform membership functions. We compared and analyzed the service level of the traffic light controllers by using the delay time. As a result of comparison, the fuzzy traffic controller of Sugeno's fuzzy model shows the best service level of them.

• Journal of Information Processing Systems
• /
• v.15 no.3
• /
• pp.570-592
• /
• 2019

The Event-B design pattern is an excellent way to quickly develop a formal model of the system. Researchers have proposed a number of Event-B design patterns, but they all lack formal behavior semantics. This makes the analysis, verification, and simulation of the behavior of the Event-B model very difficult, especially for the control-intensive systems. In this paper, we propose a novel method to transform the Event-B synchronous control flow design pattern into the labeled transition system (LTS) behavior model. Then we map the design pattern instantiation process of Event-B to the instantiation process of LTS model and get the LTS behavior semantic model of Event-B model of a multi-level complex control system. Finally, we verify the linear temporal logic behavior properties of the LTS model. The experimental results show that the analysis and simulation of system behavior become easier and the verification of the behavior properties of the system become convenient after the Event-B model is converted to the LTS model.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.33 no.8
• /
• pp.813-818
• /
• 2009

Design analysis and computer experiments (DACE) model is widely used to express efficiently nonlinear responses in the field of engineering design. As a DACE model, kriging model can approximately replace a simulation model that is very expensive or highly nonlinear. The kriging model is composed of the summation of a global model and a local model representing deviation from the global model. The local model is determined by correlation coefficient with the pre-sampled points, where the accuracy and robustness of the kriging model depends on the selection of proper correlation coefficients. Therefore, to achieve the robust kriging model, the range of the correlation coefficients is explored with respect to the degrees of the global model. Based on this study we propose the proper orders of the global model and range of parameters to make accurate and robust kriging model.

• International Journal of Computer Science & Network Security
• /
• v.22 no.6
• /
• pp.127-130
• /
• 2022

The number of published journals, conferences, and research papers in computer science is increasing rapidly, which has led to a challenge in coming up with new and unique ideas for research. To alleviate the issue, this paper uses artificial neural networks (ANNs) to generate new computer science research ideas. It does so by using a dataset collected from IEEE published journals and conferences to train an ANN model. The results reveal that the model has a 14% success rate in generating usable ideas. The outcome of this paper has implications for helping both new and experienced researchers come up with novel research topics.

• Journal of the Korea Society of Computer and Information
• /
• v.27 no.5
• /
• pp.109-116
• /
• 2022

Recently, a model-based development method centered on highly readable and standardized UML (Unified Modeling Language) models has been applied to solve unclear communications in large-scale software development. However, it is difficult to apply consistent UML models depending on software developers' proficiency, understanding of models and modeling tools. In this paper, we propose a method for developing a Model Verification System to apply an consistent UML model to software development. Then, the developed Model Verification System is partially applied to the Naval Combat System Software development to prove its function. The Model Verification System provides automatic verification of models created by developers according to domain characteristics. If the Model Verification System proposed in this paper is used, It has the advantage of being able to apply the consistent UML model more easily to Naval Combat System Software Development.

• Journal of the Korea Society of Computer and Information
• /
• v.24 no.1
• /
• pp.57-65
• /
• 2019

In this paper, we propose a Rights Management Information(RMI) expression systems for individual sites are integrated and the performance evaluation is performed to find out an efficient comparing and updating method of RMI through various image feature point search techniques. In addition, we proposed a weighted scoring model for both public domain sites and posts in order to use the most latest RMI based on reliable data. To solve problem that most public domain sites are exposed to copyright infringement by providing inconsistent RMI(Rights Management Information) expression system and non-up-to-date RMI information. The weighted scoring model proposed in this paper makes it possible to use the latest RMI for duplicated images that have been verified through the performance evaluation experiments of SIFT and CNN techniques and to improve the accuracy when applied to search engines. In addition, there is an advantage in providing users with accurate original public domain images and their RMI from the search engine even when some modified public domain images are searched by users.

• International Journal of Computer Science & Network Security
• /
• v.23 no.8
• /
• pp.146-158
• /
• 2023

Smart City is gaining attention with the advancement of Information and Communication Technology (ICT). ICT provides the basis for smart city foundation; enables us to interconnect all the actors of a smart city by supporting the provision of seamless ubiquitous services and Internet of Things. On the other hand, Crowdsourcing has the ability to enable citizens to participate in social and economic development of the city and share their contribution and knowledge while increasing their socio-economic welfare. This paper proposed a hybrid model which is a compound of human computation, machine computation and citizen crowds. This proposed hybrid model uses knowledge-based crowdsourcing that captures collaborative and collective intelligence from the citizen crowds to form democratic knowledge space, which provision solutions in areas of civic innovations. This paper also proposed knowledge-based crowdsourcing framework which manages knowledge activities in the form of human computation tasks and eliminates the complexity of human computation task creation, execution, refinement, quality control and manage knowledge space. The knowledge activities in the form of human computation tasks provide support to existing crowdsourcing system to align their task execution order optimally.

• Proceedings of the KSME Conference
• /
• 2008.11a
• /
• pp.701-705
• /
• 2008

Design analysis and computer experiments (DACE) model is widely used to express efficiently the nonlinear responses in the field of engineering design. Kriging model, a DACE model, can approximately replace a simulation model that is very expensive or highly nonlinear. The kriging model is composed of the summation of a global model and a local model representing deviation from global model. The local model is determined by correlation coefficient of the pre-sampled points, where determination of the correct correlation coefficient has an effect on accuracy and robustness of the kriging model. Therefore, robustness of the correlation coefficient is explored with respect to degrees of the global model. Then we propose the range of correlation coefficient to make correct and robust kriging model and the influence of the correlation coefficients on the degrees of global model with respect to the nonlinearity of the pre-sampled responses.

• Journal of Electrical Engineering and Technology
• /
• v.1 no.2
• /
• pp.161-169
• /
• 2006

Load representation has a significant impact on power system analysis and control results. In this paper, composite load models are developed based on on-line measurement data from a practical power system. Three types of static-dynamic load models are derived: general ZIP-induction motor model, Exponential-induction motor model and Z-induction motor model. For the dynamic induction motor model, two different third-order induction motor models are studied. The performances in modeling real and reactive power behaviors by composite load models are compared with other dynamic load models in terms of relative mismatch error. In addition, numerical consideration of ill-conditioned parameters is addressed based on trajectory sensitivity. Numerical studies indicate that the developed composite load models can accurately capture the dynamic behaviors of loads during disturbance.