Formal Specification Validation For SIDIF Using Theorem Proven [ Full-Text ]
Man. M, Jusoh. JA, Rahim. MMS, and Zakaria. MZ.
This paper discusses the formal validation for Spatial Information Databases Integration Framework (SIDIF). A SIDIF database is a large, organized body of persistent data, usually associated with computerized software designed to update, query, and retrieve components of the data stored within the system. One of the common difficulties faced by the developer is in designing a robust database system. Even so, in order to solve this matter, developers have to focus their efforts on the formal specifications. This is supposed to reduce the overall development time. Formal specifications can be use to provide an unambiguous and precise supplement to natural language descriptions. Besides, it can be rigorously validate, and verified leading to the early detection of specification errors. Consequently, to validate this problem formally, we specify the SIDIF database framework using Z language and prove by using Z/EVES theorem proven tool. By using this kind of tools, it may helps to reduce time, energy and mistake compared to manual theorem proving which can be error task and tedious.
——————————————————————————————————————————————————————————————————–
A novel channel equalizer using Large Margin Algebraic Perceptron network [ Full-Text ]
Archana Sarangi, Sasmita K. Padhy, SOA University Umesh C. Mishra, P.K. Nayak and Siba P. Panigrahi
This paper proposes a novel control scheme for channel equalization for wireless communication system. The proposed scheme considers channel equalization as a classification problem. For efficient solution of the problem, this paper makes use of a neural network working on Algebraic Perceptron (AP) algorithm as a classifier. Novelty of the proposed scheme is evidenced by its simulation results.
——————————————————————————————————————————————————————————————————–
An Efficient Weight-Based Clustering Algorithm for Mobile Ad-hoc Networks [ Full-Text ]
Mohammad Reza Monsef, Sam Jabbehdari and Farshad Safaei
Many clustering algorithms have been proposed to partition mobile devices into clusters to support routing and network management. In this paper, we proposed an efficient weight-based clustering algorithm (EWBCA) for mobile ad hoc networks (MANETs). It aimes to improve the usage of scarce resources such as bandwidth and energy, preserve current cluster structure as much as possible, minimize routing overhead, and increase end-to-end throughput. In our algorithm, each node has a quality that indicates its suitability as a cluster head. This quality is calculated according to following four parameters: Number of Neighbors, Residual Power of Battery, Stability and Variance of distance with all neighbors. Through simulations, we compared our proposed algorithm with WCA algorithm in terms of the number of clusters, number of re-affiliations, routing overhead, end-to-end throughput and average consumed energy in various number of nodes. The simulation results showed that the proposed algorithm has superior performance than WCA.
——————————————————————————————————————————————————————————————————–
Neutrosophic Logic – Generalization of Vague Relation [ Full-Text ]
Ashit Kumar Dutta, Ranjit Biswas and Nasser Saad AL-Arifi
In this paper, we present a generalization of the Neutrosophic logic [2] over Vague Relation[1]. Our objective is capable of manipulating incomplete as well as inconsistent information. Fuzzy relation or vague relation can only handle incomplete information. Each relation is Associated with two membership functions one is called truth-membership function T which keeps track of the “evidence for you” to which we believe the tuple is in the relation, another is called falsity-membership function F which keeps track of the “evidence against you” to which we believe the tuple is not in the relation. A neutrosophic logic is inconsistent if there exists one tuple _ such that T(α) + F(α) > 1 . In order to handle inconsistent situation, we define the neutrosophic relational model using algebraic operators that are generalizations of the usual operators such as intersection, union, differentiation, complement on vague relations. Our data model can underlie any database and knowledge-base management system that deals with incomplete and inconsistent information.
——————————————————————————————————————————————————————————————————–
SIDIF: Heterogeneous Spatial Databases Integration Framework [ Full-Text ]
Man. M, Rahim.MMS. and Zakaria. MZ.
This paper presents framework call Spatial Information Databases Integration Framework (SIDIF) for integrating two different types of Spatial Databases in fishery industry. In SIDIF, the data of fish catches will be mapped with data on location coordinate of Artificial Reefs (AR) as a whole via mapping and integration of these two different databases. Using this methodology, the effectiveness and efficiency of AR development will be achieved as well as the evaluation will be measured.
——————————————————————————————————————————————————————————————————–
A Tool to Query GIS Based on Figurative Approach [ Full-Text ]
Fatiha Meddah Guerroudji, Hafida Belbachir and Robert Laurini
The querying is one of the most important activities in a GIS as a support for decision making and problem solving. However, traditional SQL-like database query languages are inappropriate for GIS applications. GIS users are generally non-computer scientists. It thus appears that a particular interest must be taken to the interfaces and the effectiveness of the means of querying offered to the GIS user. In this area this paper presents the spatial query tool prototype for GIS with strong visual context. We first present a brief state of the art of languages dedicated to GIS and then formally define our visual tool.
——————————————————————————————————————————————————————————————————–
Dynamic Bandwidth management in Multimedia Applications [ Full-Text ]
Monalisa Panda, S. P. Panigrahi, R. R. Mohanty, S. Swain and P. K. Nayak
This paper has presents a middleware framework based on microeconomic principles of supply and demand that deals with bandwidth issues inside a multimedia application. The key design principle that has been proposed is to view bandwidth as a universal commodity that can be consumed and produced by different components in the application. The advantage of this approach is that the system becomes more modular as each component can contribute to the equilibrium separately in the market.
——————————————————————————————————————————————————————————————————–
A Survey of Routing Attacks and Security Measures in Mobile Ad-Hoc Networks [ Full-Text ]
Sudhir Agrawal, Sanjeev Jain and Sanjeev Sharma
Mobile ad hoc networks (MANETs) are a set of mobile nodes which are self-configuring and connected by wireless links automatically as per the defined routing protocol. The absence of a central management agency or a fixed infrastructure is a key feature of MANETs. These nodes communicate with each other by interchange of packets, which for those nodes not in wireless range goes hop by hop. Due to lack of a defined central authority, securitizing the routing process becomes a challenging task thereby leaving MANETs vulnerable to attacks, which results in deterioration in the performance characteristics as well as raises a serious question mark about the reliability of such networks. In this paper we have attempted to present an overview of the routing protocols, the known routing attacks and the proposed countermeasures to these attacks in various works.
——————————————————————————————————————————————————————————————————–
Design and Implementation of Barcoded RFID tags for modern abattoirs [ Full-Text ]
S. Thangalakshmi and M. K. Muju
RFID is the next generation wireless communication technology applicable to various areas. We have implemented a passive Radio frequency identification system at Ghazipur Slaughter House, Delhi , India for automatic identification of animal parts. The goal of this RFID project is to understand the limitations and benefits of the deployed RFID technology especially with regard to assessment of how the technology could be used to improve the identification system. There were certain technical limitations with the deployed RFID technology, 1D barcode technology was used to overcome these. This system is used to track more than 5000 animals in the abattoirs from the entry point upto the dispatch point and it also reduces the operational costs .In this paper we examine the RFID technology including the rational for selecting the specific technology for this project , the installation process and the benefits and limitations of the technology as well as the role of barcode technology to overcome the limitations of the chosen RFID system.
——————————————————————————————————————————————————————————————————–
Using Feature Selection for Speed up Hybrid PSO/ACO [ Full-Text ]
H. Dallaki, A. Sami, A. Hamzeh and S. Hashemi
Recently, hybrid Particle Swarm Optimisation/Ant Colony Optimisation (PSO/ACO) has proposed for the discovery of classification rules. This algorithm with using advantages of both algorithms, which include experience of each particles and their neighbours –from PSO- and using pheromone and update them –from ACO- has good result for nominal data set, but has not enough speed. In addition, PSO/ACO2 algorithm can directly cope with nominal attributes, without converting nominal values into numbers in a pre-processing phase. In this paper, we use two algorithms of feature selection to speed it up.
——————————————————————————————————————————————————————————————————–
Single-point Interaction for 3D Object Handling in Augmented Reality [ Full-Text ]
Ajune Wanis, Mohd Shahrizal Sunar and Cik Suhaimi Yusof
Augmented Reality (AR) is a combination of two different worlds, between motions of real and virtual elements are merging in single display. AR brings a lot of advantages to provide naturally and intuitively interaction. This paper will discuss the single-point interaction in AR that allows user to handle and manipulate the 3D object in real-time. The interaction has discovered in AR environment due to the limitation in vision-based tracking technique since tracking are most fundamental issues in developing AR application.We will explore the implementation of single-point interaction for robustness of tracking which is required to ensure both elements of real and virtual can be combined relative to the user’s viewpoints. Besides reduce system lag and increase the speed in tracking for 3D object drawn on the marker ground without delay.
——————————————————————————————————————————————————————————————————–
Network Transition from WiMAX to LTE [ Full-Text ]
Shyam S. Wagle, Minesh Ade, and M. Ghazanfar Ullah
LTE and WiMAX are the key fundamental technologies of 4G wireless technology. Both technologies use the same fundamental wireless standard known as OFDM (Orthogonal Frequency Division Multiplexing). Peak data rate of currently using WiMAX 802.16e is less than the LTE relelease 8 but comapritively WiMAX 802.16m is similar to the LTE-Advanced (Release 10). In present scenario, LTE is supported by big telecommunication companies and international standard bodies whereas WiMAX is supported by IEEE and computer companies but the important thing WiMAX is waning support from the telecommunication companies. Different surveyes and view of the telecommunication operators show that most of the telecom operators are interested towards the LTE. In this paper we are suggesting some technical issues to all the WiMAX operators who are interested towards the LTE. Network transition from one technology to the another technology depends on the operator’s future plan, interest, subscriber’s needs and capacity of operator’s investment for the network but we refer towards the TD-LTE for existing WiMAX operators to compete in future 4G wireless technology.
——————————————————————————————————————————————————————————————————–
Flexible, Secure and Fault-Tolerant Data Transfer using Distributed Publisher/Subscriber Cluster Model
[ Full-Text ]
Latha Sadanandam and Swetha M Rao
Integration of systems in heterogeneous environment is one of the most pressing issues for organizations. Reliable messaging is critical in this context. A messaging framework that guarantees message delivery even in the presence of software and network failures is in high need. In this paper, we discuss the available options and implications of employing Message Oriented Middleware to implement reliable messaging for distributed architectures. In this paper we investigate the capacity of publisher/subscriber cluster model.In doing so, we contribute to the understanding in framing an architecture for heterogeneous data transfer which is flexible, scalable and secured.
——————————————————————————————————————————————————————————————————–
Using RFID Technology for Chronic Care Management and Improvement in Jordanian Public Hospitals
[ Full-Text ]
Bassam Al-Mahadeen
There is no precise statistics of people with chronic illnesses in Jordan. As a result, the current delivery system of the monthly medications for chronic conditions has many deficiencies in current management of diseases such as diabetes, heart disease, depression, asthma and others. Lack of active follow-up to ensure the best service for patients with chronic diseases is the main problem. An RFID model for managing the monthly medications for chronic conditions in Jordanian public hospitals was proposed. This research, which is based on an observational study of mediations for chronic conditions given to patients with chronic diseases in four public hospitals located in southern part of Jordan, extended over a period of 20 months, and is expected to help the decision makers to draw the right policies regarding the request of these medicines. The statistics yielded from the proposed RFID model is of particular importance to help fulfill this need. The proposed chronic disease management system is expected to control the health care cost, improve the chronic illness care quality, and provide a comprehensive strategy for restructuring chronic illness care delivery system.