International Journal of Systems Applications, Engineering & Development

E-ISSN: 2074-1308
Volume 7, 2013

Main Page

Submit a paper | Submission terms | Paper format


Issue 1, Volume 7, 2013 

Title of the Paper: Optimized Production-Ready Source Code Generation Based on UML


Authors: Michal Bližnák, Tomáš Dulík, Roman Jašek, Pavel Varacha

Pages: 1-12

Abstract: Automated source code generation is often an integral part of modern CASE tools. Unfortunately, the generated code usually covers a basic application functionality/structure only. This paper shows principles and algorithms used in open-source cross-platform CASE tool called CodeDesigner RAD developed at Tomas Bata University suitable for production-ready source code generation of complete C/C++ or Python applications from formal visual description based on UML diagrams. It shows how source state charts are preprocessed as well principles used for generation of optimized source code from the preprocessed diagrams.

Title of the Paper: On Picking up Method of Expectable Customers in Recommendation


Authors: T. Takayama, M. Etsumori, N. Sato, Y. Murata

Pages: 13-21

Abstract: Recently, researches on recommendation are attracting a great deal of attention as an effective technique by which to increase sales. Recommendation is a technique whereby stores precisely recommend to customers products of relatively high purchase potential by considering the characteristics of both products and customers. We have ever proposed a technique for product recommendation by considering the context of product purchases. We have ever also verified its effectiveness experimentally by a simulation using product purchase history data obtained from the questionnaire survey. Based on them, we now try to obtain an effective result by recommending some products from some real purchase history data in a department store. In case of making recommendation to a customer, we can consider to apply a knowledge of sequential pattern mining. That is, if a pattern ‘A->B’ often appears, we recommend a product B to Cust(A), a set of customers who had purchased product A. However, it is not yet clarified that which customer of Cust(A) we should recommend. In Cust(A), there exist both two types of customers: one is Cust_Y(A->B), a set of customers who can be easily leaded to ‘A->B’ recommendation, and the other is Cust_N(A->B), a set of customers who cannot be easily leaded to it. Although they are relative in actual, we assume that there exists a boundary between them, and we divide Cust(A) into two sets: Cust_Y(A->B) and Cust_N(A->B). If we can pick up Cust_Y(A->B) from Cust (A) before making a recommendation, it is effective for improvement of recommendation precision. In the present study, we propose a picking up method of expectable customers Cust_Y(A->B) who can be easily leaded to a certain recommendation ‘A->B’. More specifically, we propose a measure: ‘chance sign level’. The results of an evaluation experiment have revealed that the proposed technique would be effective and could improve the recommendation precision. Based on the experiment results, we have also analyzed whether it is possible to sort customers in an order that is easily leaded to a recommendation, by relative comparison among four methods. As a result, we have obtained the following knowledge as a customers sorting method to a stable recommendation hit ratio. Concerning the proposed ‘chance sign level’, we should adopt the following two policies: - We adopt ranking order of ‘chance sign level’ than the value of itself. The value range of the former does not violate than the latter depending upon a certain pattern, and - We adopt a policy not taking into account ‘non-chance sign’. Its policy treats as positive sign than negative one, even if a purchase history contains an element whose chance sign level is not high.

Title of the Paper: Improvement of Recommendation List Effectiveness Using Familiarity


Authors: J. Wu, T. Takayama, N. Sato, Y. Murata

Pages: 22-32

Abstract: This paper proposes to improve the effectiveness of recommendation items list by taking into account familiarity among customers. Recently, many shops are attracted to push type information provision that recommends their items to a customer. Collaborative filtering is one of the representative techniques for such purpose. However, it has mainly discussed recommendation precision, and satisfaction for an active user who is a customer who receives a recommendation has been not always sufficient. In general, it has possibility for a customer to be interested by themself in the item which a familiar person likes. Explicit example includes the case that a customer would like to try an item since their familiar person likes it. Implicit example includes the case that a customer has similar taste to their familiar friend and these two persons are attracted to similar item unconsciously. In the present paper, we propose to introduce familiarity among customers into the conventional collaborative filtering in order to improve the effectiveness of recommendation list. More specifically, we propose the following two recommendation methods: method 1): to use only the data of customers who are familiar with the active user, and method 2): to provide each customer’s data with adequate weight based on the familiarity to the active user. We have conducted an evaluation experiment using our pilot system by relative comparison among the following three recommendations based on i) the method 1, ii) the method 2, and iii) general collaborative filtering. Its results have revealed that our proposition would be more effective than the general collaborative filtering. In the present paper, we also describe our consideration based on the ANOVA (ANalysis Of VAriance) to the result data in our experiment in order to enlarge the effectiveness.

Title of the Paper: Using System Dynamics and GIS to Overcome Decrease in Number of Regular Children Cyclists


Authors: Hana Kopackova, Eva Kuchtikova

Pages: 33-41

Abstract: Today situation in active children transport is much different than a few years ago. Nearly half of the children are transported to schools and sport facilities by parent’s car. This situation is caused mainly by parents fear of rush traffic on the streets. This article deals with identification of factors that can make the situation better. The main emphasis is placed on ensuring safety on route. System dynamic model was prepared to study the impact of different policies on safety route. Authors of this article believe that only improvement in cycling infrastructure is insufficient if the infrastructure is not mapped and this information is not published. Therefore, we propose the creation of such geoinformation portal that will contain information about the type of bikeway, so that parents can plan a route merely on safe roads.

Title of the Paper: Teseo: A Multi-Agent Tracking Application in Wireless Sensor Networks


Authors: Filippo Zanella, Angelo Cenedese

Pages: 42-55

Abstract: In this work the design and implementation of an application to track multiple agents in a indoor Wireless Sensor Actor Network (WSAN) is proposed. We developed a tracking algorithm that falls into the category of the radio frequency localization/tracking methods, that exploit the strength of the wireless communications among fixed and mobile agents to establish the position of the mobile ones. The algorithm resorts to an Extended Kalman Filter to process the agents measurements and reach a desired level of tracking performance. The tracking application, namely Teseo, is composed by a low-level NesC management software for the agents side and a Java graphical interface provided to users connected to mobile agents. A detailed description of the operations performed by Teseo is given, accompanied both by simulations to validate the tracking algorithm and experiments on a real testbed to test Teseo.

Title of the Paper: Applying Innovation Theory in Observing Emerging Technology Acceptance


Authors: Lung-Hsing Kuo, Huei-Mei Wei, Wen-Chen Hu, Hung-Jen Yang

Pages: 56-65

Abstract: Technology always leads people toward the future through the way of accepting technology for resolving problems. It is important for us to understand the emerging technology acceptance behavior in order to promoting technology innovation. The core of promoting emerging technology such as solar energy and cloud computing is empowering people with the acceptance belief, intention, and behavior. There is a need to identify expected behavior for the emerging technology acceptance. In the education world, learning should be carried out with personal construct and performing certain behavior. Innovation theory provides well organized examination on behavior observation in people using technology to extend their ability to gain control and innovation. The purpose of this study was to identify the expected behavior based upon innovation theory. The expected behaviors of each key-component of innovation were identified and evaluated by invited experts.

Issue 2, Volume 7, 2013

Title of the Paper: Preparing Innovation of Emerging Technology through Technology Education


Authors: Jui-Chen Yu, Hsieh-Hua Yang, Lung-Hsing Kuo, Hung-Jen Yang

Pages: 67-76

Abstract: The core of technological method is peoples’ mind. This core activates recognition of problem solving and promotes the use of resource and technology process to create innovation. Technology expanding people’s ability to gain control of their work.. With technology, people could do new thing for tracing better results. It is the root of innovation. There is a need to find a focal point in our general education to lead this innovating eager society. The purpose of this study was to identify the structural connection between technology education and innovation based upon technological method model.

Title of the Paper: Overlapping Control System for Water Distribution Network


Authors: Teruji Sekozawa

Pages: 77-86

Abstract: In order to allow practical control of distribution in real time, this paper analyzes a sensitivity matrix that can be created using piecewise linearization and proposes a method for implementing decentralized distribution control using control systems decomposed from this sensitivity matrix. Implementing decentralized distribution control, the following two problems must be solved. The first problem is into what type of control ranges should be decomposed. The second problem is how to select control laws for each decentralized subsystem. In regard to the first problem, the present paper proposes an overlapping control structure based on a sensitivity matrix. Convergence of control is evaluated from a mathematical perspective for a centralized control structure, an overlapping control structure, and a separated control structure. The results show that convergence of control using an overlapping structure is superior to a separated structure. In regard to the second problem, adaptive control laws are derived based on an object characteristic model assuming a linear input-output relationship that includes unknown parameters.

Title of the Paper: Evaluation of the Video Content Analysis Applicability by Risk Level


Authors: J. Sevcik

Pages: 87-94

Abstract: Main contribution of this research paper is the systemic implementation of the latest digital functions used by surveillance cameras such as digital signal processor (DSP) functions and several tools of video content analysis (VCA). Functions of the particular tools are described in detail and the qualitative analysis of them has been executed in order to extend current form of the EN 50 132 appendixes, where the specific monitored locations are defined. On the basis of qualitative assessment of these locations the particular tools are assigned to locations in order to increase the efficiency of the whole surveillance system. Moreover, the semi-quantitative evaluation of the Video content analysis is accomplished in order to provide exact specification and evaluation of particular Video content analysis tool for each model scene.

Title of the Paper: From Model to Case Study on Digital Convergence Maturity


Authors: Seung-Jun Yeon, Sung-Hyun Hwang, Hee-Kyung Kong

Pages: 95-102

Abstract: This study was conducted with the larger goal of designing a maturity model for digital convergence services, needed to set a policy for their promotion. Its primary objective is to determine the relative importance of maturity indicators related to digital convergence readiness, the level of use of, and the level of satisfaction with, services and performance in four major fields in which digital convergence services are currently used: education, healthcare, transportation and public administration. The data for this study were obtained by surveying a panel of 80 experts from the four fields, and the experts were sampled based on a list, using both the purposive sampling and snowball sampling methods. Analysis was performed using the AHP technique. The results show that in education, healthcare and public administration, convergence readiness is the most important factor, followed by the level of use and level of satisfaction and performance, in this order. Meanwhile, in the field of transportation, the level of use and satisfaction proved the most important, followed by convergence readiness and performance. To measure the current levels of IT use in the healthcare and education fields, this study used an expert 'Delphi' survey. The IT field was classified into network and contents for the purpose of measurement. The research findings revealed that the healthcare field has lower levels of use of both IT networks and contents. IT utilization in the education field did not show a very satisfactory level either, being somewhat lower than the ideal level, although it was higher than in the healthcare field. In order to raise the levels of IT use in the healthcare and education field sectors, the government should carry out the appropriate investment, education and training.

Title of the Paper: Two-Stage Optimum Design Method For Surface AcousticWave Duplexers Using Differential Evolution Algorithms


Authors: Kiyoharu Tagawa

Pages: 103-111

Abstract: This paper proposes a novel computer-aided design method to decide on optimal structures of Surface Acoustic Wave (SAW) duplexers, which are used widely in the radio circuits of mobile communication systems. By using the proposed design method, engineers’ knowledge can be easily reflected in the structure of SAW duplexer. The proposed design method is based on the computer simulation of SAW duplexer and composed of two stages: exploration and exploitation. In the first or exploration stage, the structural design of a target SAW duplexer is formulated as a constraint satisfaction problem. Then, by using an extended version of a recently-developed evolutionary algorithm, namely Differential Evolution (DE), various feasible solutions are obtained for the constraint satisfaction problem. In the second or exploitation stage, for deciding on an optimal structure of the SAW duplexer by considering the feasible solutions obtained in the first stage and the knowledge of engineers, the structural design of the SAW duplexer is reformulated again as a constrained optimization problem. Besides, for solving the constrained optimization problem effectively, another version of DE is contrived. The usefulness of the two-stage design method is also demonstrated through the structural design of a practical SAW duplexer that consists of four SAW resonators and two SAW filters.

Issue 3, Volume 7, 2013

Title of the Paper: New Method Calculating Water Residence Time for Trihalomethane in a Water Supply Network


Authors: Teruji Sekozawa, Kazuaki Masuda, Tomohiro Murata

Pages: 113-121

Abstract: We present a valuation method for the purpose of including information systems in divestment value, something not considered heretofore, to reveal the potential value of information systems in corporate management. . We propose a method for calculating water residence time at each node of a complicated water supply network. Trihalomethanes, which are carcinogenic, are known to be formed in tap water in water supply networks, and there are calls for measures to maintain the safety of water supplies. Trihalomethane formation is known to be associated with the time chlorine, which is injected as a disinfectant at water purification plants, is in contact with organic substances trihalomethane precursors present in raw water. In this paper, because of its necessity for determining the state of trihalomethane formation, we propose a new solution algorithm for analytically determining water residence time in a water supply network in order to ascertain the time as represented by residence time that chlorine and organic matter are together, which is what determines trihalomethane formation. However, because the volumetric flow rate and velocity of water flowing in a water supply network fluctuate over time, the water residence time in the network cannot be obtained simply by determining the paths leading to a node in the network and adding up the pipe flow times along those paths. To get around this problem, we propose a method for calculating flow time and volume, path by path, for the flow of water from a supply point as water purification plant or distribution reservoir in a water supply network in unit time intervals.

Title of the Paper: PID Control of an Electro-Mechanical Friction Clutch System


Authors: M. S. Che Kob, B. Supriyo, K. B. Tawi, M. Hussein, Y. Zainal Abidin

Pages: 122-129

Abstract: The main contribution of control technology in automotive powertrain system is that, it enables the whole powertrain system to be precisely controlled; thereby, improving the overall vehicle powertrain performance and sustainability. This paper describes a proportional-integral-derivative (PID) controller development for an electro-mechanical friction clutch (EMFC) system for automotive applications especially, those using continuously variable transmission (CVT). Initially, a simulation study was carried out to determine the PID preliminary parameters values derived using the Astrom and Hagglund tuning method with Ziegler-Nichols formula; then, they are manually being fine- tuned experimentally to improve the clutch engagement and disengagement control performance until satisfying engagement and disengagement process are achieved. The results of this work show that the application of Astrom-Hagglund method and Ziegler-Nichols formula is capable of providing a practical solution for obtaining initial parameters of the PD controllers of engagement and disengagement control of the EMFC system. Through optimizing of P and D parameters, the system indicated excellent performances with improvement in terms of percentage overshoot, settling time and a very small steady state error for clutch engagement and disengagement processes.

Title of the Paper: Automotive Fuel Pump Fault Detection based on Current Ripple FFT and Changes in Magnetic Field


Authors: J. Vejlupek, R. Grepl, M. Matejasko, F. Zouhar

Pages: 130-138

Abstract: This paper presents the approach for the testing of the automotive fuel pump with DC motor. Several faults such as pump jamming, incorrect soldering and/or damage to the commutator can occur due to incorrect manufacture processes. The proposed methods are based on current and magnetic field measurements and subsequent signal processing. The range checking, FFT analysis of the current ripples and change detection are combined to reach the correct and robust fault detection. During the test, the pump is optionally loaded using air suction applied to pump outlet. The implementation of developed algorithms suitable for the production line is also presented.

Title of the Paper: Modeling Differential Protections of Power Transformers and Their Testing Using PSCAD/EMTDC Software


Authors: A. Smolarczyk, E. Bartosiewicz

Pages: 139-147

Abstract: Differential protections are the main protections for large and great power transformers and against the effects of internal short circuit. They should act fast and sensitive during internal short-circuit single and multiphase, but during external short circuit, switching on the unloaded transformer and over-fluxing the differential protection function should not operate. Their proper operation should not depend on the saturation of current transformers to which they are connected. The paper describes the construction and principle of operation of power transformers' numerical differential protections against the effects of internal short circuit. On the basis of that description, in PSCAD/EMTDC software was modeled the differential protection of transformers with different: nominal powers, nominal voltages of the higher- and lower side, and vector groups. In the paper was described the selected and modeled in PSCAD/EMTDC software protection. In addition to that were described proposed and modelled in PSCAD/EMTDC software test systems for testing transformer differential protection. The proposed test systems can be used to test new transformer differential protection algorithms and the actual differential relays available on the market. Modeled transformer differential protection and test systems can also be used for educational purposes. At the end of the paper, the results of the selected action for modeled differential relay were presented.

Title of the Paper: Experimental Research of Intelligent Multivariable 2-DOF PID Control System for DCS


Authors: Dong Hwa Kim

Pages: 148-157

Abstract: Process systems such as the raw water and chemical injection line in purification, the flow line of the waste water system, and the feed water, or the circulation system of a power plant system must be controlled accurately, because the system's performance and the energy saving rate in the whole system depend on the control method and precision. Generally, a PI controller is used in these systems, but it is very difficult to find an optimum parameter for the controller, because of the coupling action among loops and the disturbance in the system loop. There are few experimental systems or educational courses for such processes. This paper introduces an experimental method and educational course into the curriculum, to build up effective instruction of this complicated multivariable porcess system. Also, this paper proposes a new control method that changes the fluid system of a multivariable control loop and applies a NN-Tuning 2-DOF PID controller to experimental equipment. The results could have an impact on the educational method used for experiments. The simulation and experimental results that are acquired in the parallel process represent a satisfactory response against a disturbance and a change of setpoint.

Title of the Paper: Study on Advanced Machining Conception on Numerically Controlled Milling Machines for Air-Craft Complex Component Parts


Authors: R. Malciu, M. Calbureanu, T.Malciu

Pages: 158-165

Abstract: The main purpose of the paper is to achieve an optimization of processing technology for a complex frame whose geometric configuration allowed the group technology approach and increasing the speed of batch processing by optimizing the total length of tool paths. Industrial requirements of concurrent engineering, standard product data models and an integrated manufacturing environment motivated the research work and its conclusions showed that the interaction between different types of models could provide a description of the products, how they should be manufactured and what manufacturing resources should be used. The machining process with advanced NC programs (SURFCAM Velocity 4.0) of a wing frame made of aluminum alloy for an air-craft represents the subject of this work. The frame is a representative part for a grouped technology, viewed in a computer integrated manufacturing system according the flexible manufacturing system principles. The manufacturing conception of the part was developed taking into account the dynamic, static and thermal transitory loads of the frame and optimizing the total length of tool paths with SURFCAM Velocity 4.0 program. The paper offers an interdisciplinary approach of the construction and technology design for important parts, which suppose supplementary safety measures and, implicitly, supplementary quality assurance measures.

Issue 4, Volume 7, 2013

Title of the Paper: An Approach for Applying Autonomous Production Control Methods with Central Production Planning


Authors: Sebastian Grundstein, Susanne Schukraft, Michael Görges, Bernd Scholz-Reiter

Pages: 167-174

Abstract: Manufacturing companies must face increasingly difficult production environments. External factors such as varying product variants and varying quantities as well as internal factors such as reworking and resource breakdowns pose a high challenge for production planning and control (PPC). Dealing with such aspects of dynamics and complexity in the PPC-process is crucial for the efficiency of modern production systems. However, common central planning methods in industrial application show deficits in complex and dynamic production environments. In contrast to prevailing central planning methods, approaches of autonomous control offer the chance to cope with these dynamic conditions more efficiently. Nevertheless, there is currently a lack of knowledge concerning the interlinking of central production planning with autonomous production control. This interlinking promises the advantages of both approaches. Therefore, the interdependencies between planning and control have to be analyzed in order to combine both approaches efficiently. A successful interlinking provides production planning instruments, which create a detailed and stable production plan and are able to cope with dynamic influences. In this context, the paper on hand describes the basic approach and potentials for the interlinking of central planning and autonomous control and gives an outlook on further research activities.

Title of the Paper: Testing of a Reliability of SRF02 Ultrasonic Detectors


Authors: Martin Pospisilik, Pavel Varacha, Pavel Bartonik, Josef Vorisek, Petr Neumann

Pages: 175-182

Abstract: In various applications the proximity measurement is employed, using different methods. One of the contactless proximity measurements is based on ultrasonic detectors that utilize a time difference between sending and receiving of ultrasonic burst that has been reflected from the obstacle. Because the proper operation of ultrasonic detectors depends on many physical issues, several measurement errors may occur. The purpose of this paper is to present how SRF02 detectors may be used in anti-collision system of a small airship and what quality of the data gained from these detectors can be expected. The authors of the paper made several measurements to prove the reliability of these detectors and summed the gained experience in the text of this paper.

Title of the Paper: Implementation of Evolutionary Optimization Techniques in Tuning PID Parameters for Tremor Patient Active Assistive Writing Device


Authors: Z. M. Yusop, M. Z. Md. Zain, M. Hussein, A. As’arry, A. R. Musa, M. S. Yaacob, M. S. Ammoo

Pages: 183-190

Abstract: Genetic Algorithm (GA) and Particle Swarm Optimization (PSO) are methods of the Evolutionary Optimization techniques and autonomously tuning method used in this study to tune the parameters of the Proportional-integral-derivative (PID) controller. PID controllers need to be tuned appropriately to establish the good performance of the Active Assistive Writing Device (AAWD). This AAWD device is used to help patients who face difficulties due to hand trembling while writing. The actual hand tremor data while writing was measured by attaching an accelerometer to the device. Based on the simulation results, it has been found that applying PID controller and GA optimization techniques to the assistive device has an enormous potential in helping tremor patients improve their quality of handwriting.

Title of the Paper: Fault Diagnosis in Dynamic Processes: A Data Mining and SVM Application


Authors: Addison Rios-Bolivar, Francisco Hidrobo, Pablo Guillen, Francklin Rivas

Pages: 191-199

Abstract: The major inconvenient for the fault detection and isolation (FDI) in technical processes based on analytical redundancy is the requirement of a very accurate model of the system. By contrary, in the methods based on data handling it is not required of a precise model, since they are based on the manipulation of the information by means of the measured data. Thus, in this work a set of statistical indices allowing quantifying the amount of information contained in the collected data is presented, in order to realize the FDI. These indices are used for the reconstruction of the fault patterns, and next for its classification is used the machine learning technique, in particular the support vector machines (SVM). For verification of the results, generated data by two nonlinear models are used; one of discreet time that simulates the Logistic Application, which is used under di erent types of dynamic states behavior that represent the occurrence of faults. The other model is a continuous time that represents the control of a magnetic levitation system. For the first model, the results show that by means of the obtained statistical indices the reconstruction of fault patterns is obtained, which allow separating the di erent dynamic behaviors (faults) and using a SVM considering di erent kernel, a classification between the faults is obtained (classes). For the second model, the classification of the faults by means of a SVM is realized, obtaining one diagnosis index.

Title of the Paper: An Economic Analysis of Security Investment in Information Systems with Security Threats: A Stochastic Approach


Authors: Won Seok Yang, Tae-Sung Kim, Eun Saem Yang

Pages: 200-207

Abstract: We present an economic analysis of an information system with security threats. We categorize the types of threats and introduce a stochastic model to describe the occurrence of threats and their damage. The results of the stochastic analysis are used for analyzing the revenue and the average costs such as the loss cost, the repair cost, the recovery cost, and the holding cost. We present the NPV (Net Present Value) considering the security investment and the discount rate. In addition, we propose a parameter estimation method of the stochastic model and show a numerical example. The approach in this paper can be useful for a security investment decision-making to determine the optimal investment portfolio.

Issue 5, Volume 7, 2013

Title of the Paper: Scenario Analysis based on Simulation Models to Determine the Efficency of an Aircraft Industry


Authors: Daniela Chiocca, Teresa Murino, Liberatina C. Santillo, Elpidio Romano

Pages: 209-218

Abstract: The aim of this paper is to set up a simulation model of the production process of an aircraft company in order to obtain a tool for process analysis and decision support. To achieve this object has been used ProModel as simulation software. The advantages of all tools used in a correct and efficient internal movement, the different layouts and the possible usable materials handling system.

Title of the Paper: Numerical Method for Nozzle Airflow Problem


Authors: Zamri Omar, Fatimah Yusop, Badrul Aisham Md Zain

Pages: 219-226

Abstract: The divergent and convergent-divergent nozzles are discussed. The airflow problem inside the duct has a high degree of complexity, and is modeled by using Partial Differential Equation, which is then solved by using numerical approach. Finite Volume Method is used to solve the equation because its suitability for complex geometry problems. The study of airflow inside the nozzle is important in order to have a good nozzle configuration design that suits the intended applications.

Title of the Paper: Optimized Production-Ready Source Code Generation Based on UML


Authors: Michal Bližnák, Tomáš Dulík, Roman Jašek, Pavel Varacha

Pages: 227-238

Abstract: Automated source code generation is often an integral part of modern CASE tools. Unfortunately, the generated code usually covers a basic application functionality/structure only. This paper shows principlesandalgorithmsusedinopen-sourcecross-platformCASEtool called CodeDesigner RAD developed at Tomas Bata University suit- able for production-ready source code generation of complete C/C++ or Python applications from formal visual description based on UML diagrams. It shows how source state charts are preprocessed as well principles used for generation of optimized source code from the pre- processed diagrams.

Title of the Paper: Code Merging Analysis for Different Procedure Types


Authors: Sanja Candrlic, Mile Pavlic, Martina Asenbrener

Pages: 239-246

Abstract: This paper presents the results of a research on code merging in a specific development environment. The research data was collected during a timeframe of 5 years of software development and maintenance. Four different software products were monitored. During that time 49.572 procedure mergings occurred and 498 of them were recognized as conflicts. A merge conflict occurs when two programmers make changes at the same time on the same source code block (procedure or program module, for example) and then try to merge their changes into a central server repository. In this paper merge conflicts, source code merging and their relationship with procedure types were analyzed. The collected data is organized according to the procedure type. The research goal was to establish if there is a connection between merge conflicts and procedure types and to analyze the differences in code merging for different procedure types.

Title of the Paper: FO2L – A First-Order Logic Language for Knowledge Base System Implementation


Authors: C. Kara-Mohamed, N. I. Al-Osily, R. A. Al-Marshad, M. S. Al-Twijary, J. Al-Robe’an, A. Hamdi-Cherif

Pages: 247-254

Abstract: FO2L is a novel First-Order Logic programming Language. Although FO2L can be used as a traditional logic programming language, such as Prolog, it represents an initial step towards the development of a complete environment for knowledge-based system (KBS) design and implementation. The choice of predicate calculus is dictated by the fact that it allows the use of variables in the definition of rules, and represents one of the keys to powerful knowledge bases development, i.e. the most important component of any KBS. Parsing is done using recursive descent for easy implementation. Additionally, a friendly graphical user interface (GUI) is provided allowing both the user and the expert to easily interact with the system by introducing and/or modifying their knowledge bases.

Issue 6, Volume 7, 2013

Title of the Paper: Simulation Environment for Development of Automated Process Control System in Coal Mining


Authors: Victor Okolnishnikov, Sergey Rudometov, Sergey Zhuravlev

Pages: 255-262

Abstract: A set of simulation models was developed with the goal to be used as a quality and reliability assurance tool for new automated process control systems in coal mining. This set of simulation models of various subsystems of a mine was developed with the help of a new visual interactive simulation system. The paper contains a brief description of the simulation system and its characteristics. Main possibilities that are provided by the simulation system are: the quick construction of models from library elements, 3D representation, and the communication of models with actual control systems. These models united to create simulation environment. Simulation environment is visually interactive, include emulation models of technological equipment and allow simulating complex situations in mines and working faces visually as well as to check the response of automated process control system developed for these situations. Simulation environment was used for testing of control programs executed in programmable logic controllers as a part of automated process control systems prior to commissioning. Simulation environment can be used not only for existing coal mining techniques but also for perspective (robotized) techniques. The strategies of underground mines without having actual miners are simulated: replacement of miners by remote-controlled manipulators, robotics-based mining, and control of mobile machines from surface.

Title of the Paper: Time Specification, Modeling and Measurement in frame of Cyber-Physical System Applications Design


Authors: Miroslav Sveda

Pages: 263-270

Abstract: This paper addresses the role, interpretation and the deployment of the notion “time” in distributed cyber-physical systems. Stemming from a brief state-of-the-art review, it discusses various possibilities how to specify, model and measure miscellaneous features of real time in the domain applications. The manuscript brings a simple, timing-oriented formal semantics of an example specification language and demonstrates the developed approach using case studies. The aim of the article is to select the fitting methods that enable to utilize the related specification and design approach for distributed cyber-physical systems applications.

Title of the Paper: Enhanced Artificial Bee Colony Algorithm to Optimize PID-AVR Controller


Authors: Abdul Ghani Abro, Junita Mohamad-Saleh

Pages: 271-278

Abstract: A controller generates suitable control signals for exhibiting desired response of any physical system. Control of electrical power generators has always remained very critical in power systems’ operation and control. The continuously changing load demand at the generators terminals and restructuring of power systems have immensely increased the need of an optimally tuned controllers. Automatic Voltage Regulator (AVR), mounted on the generators plays pivotal role in power systems’ smooth operation during steady-state and transient mode as well. Proportional integral and derivative (PID) controller is the most commonly used controller for AVR. Bio-inspired optimization algorithms have been reported to give revolutionary results in field of power systems operation and control. This research work has used Enhanced Artificial bee colony (EABC) optimization algorithm to optimally tune PID-AVR. EABC capitalizes on three different mutation equations simultaneously to yield the optimal solution of an optimization problem. This research work has compared the performance of EABC with other ABC variants for optimizing PID-AVR using five different fitness functions. The results show the best convergence of EABC algorithm.

Title of the Paper: Global Navigation Systems for Mobile Robots


Authors: J. Hanzel, F. Duchoň, J. Rodina, P. Pázstó

Pages: 279-286

Abstract: The article deals with global navigation satellite systems in mobile robotics. The attention is devoted to experimental property evaluation of miniature GPS receivers suitable for navigation of outdoor mobile robots. Modern GPS receivers are characterized by small size, weight, energy consumption and relatively high precision of measured position. The aim is to determine the error of measured position of two GPS sensors. The precision identification is done in defined local coordinate frame on the base of position data gathered throughout three experiments. The procedure used to transform measured position data from WGS84 to the local coordinate system is given. The high precision GPS receiver Leica GPS1200 was used as the reference system.

Title of the Paper: Time and Frequency Analysis of the Vehicle Suspension Dynamics


Authors: Rosen Miletiev, Ivaylo Simeonov, Emil Iontchev, Rumen Yordanov

Pages: 287-294

Abstract: The current paper describes MEMS inertial data acquisition system which is installed on the vibration stand to analyze the static vehicle suspension dynamics. The analysis is accomplished in the time and frequency domain using STFT. Also the STFT parameters are analyzed to obtain the optimal time and frequency resolution of the spectrum response. The time attenuation and total frequency range of the oscillations are established.