Abstract: Probabilistic techniques in computer programs are becoming
more and more widely used. Therefore, there is a big
interest in the formal specification, verification, and development
of probabilistic programs. In our work-in-progress project, we are
attempting to make a constructive framework for developing probabilistic
programs formally. The main contribution of this paper
is to introduce an intermediate artifact of our work, a Z-based
formalism called PZ, by which one can build set theoretical models of
probabilistic programs. We propose to use a constructive set theory,
called CZ set theory, to interpret the specifications written in PZ.
Since CZ has an interpretation in Martin-L¨of-s theory of types, this
idea enables us to derive probabilistic programs from correctness
proofs of their PZ specifications.
Abstract: This paper presents a comparative study on
Vanadyl Phthalocyanine (VOPc) thin films deposited by thermal
evaporation and spin coating techniques. The samples
were prepared on cleaned glass substrates and annealed at
various temperatures ranging form 95oC to 155oC. To obtain
the morphological and structural properties of VOPc thin
films, X-ray diffraction (XRD) technique and atomic force
microscopy (AFM) have been implied. The AFM topographic
images show a very slight difference in the thermally grown
films, before and after annealing, however best results are
achieved for the spin-cast film annealed at 125oC. The XRD
spectra show no existence of the sharp peaks, suggesting the
material to be amorphous. The humps in the XRD patterns
indicate the presence of some crystallites.
Abstract: Hot tear cracking and residual stress are two different consequences of thermal stress both of which can be considered as casting problem. The purpose of the present study is simulation of the effect of casting shape characteristic on hot tearing and residual stress. This study shows that the temperature range for simulation of hot tearing and residual stress are different. In this study, in order to study the development of thermal stress and to predict the hot tearing and residual stress of shaped casting, MAGMASOFT simulation program was used. The strategy of this research was the prediction of hot tear location using pinpointing hot spot and thermal stress concentration zones. The results shows that existing of stress concentration zone increases the hot tearing probability and consequently reduces the amount of remaining residual stress in casting parts.
Abstract: This paper discusses a method for improving accuracy
of fuzzy-rule-based classifiers using particle swarm optimization
(PSO). Two different fuzzy classifiers are considered and optimized.
The first classifier is based on Mamdani fuzzy inference system
(M_PSO fuzzy classifier). The second classifier is based on Takagi-
Sugeno fuzzy inference system (TS_PSO fuzzy classifier). The
parameters of the proposed fuzzy classifiers including premise
(antecedent) parameters, consequent parameters and structure of
fuzzy rules are optimized using PSO. Experimental results show that
higher classification accuracy can be obtained with a lower number
of fuzzy rules by using the proposed PSO fuzzy classifiers. The
performances of M_PSO and TS_PSO fuzzy classifiers are compared
to other fuzzy based classifiers
Abstract: Iris localization is a very important approach in
biometric identification systems. Identification process usually is
implemented in three levels: iris localization, feature extraction, and
pattern matching finally. Accuracy of iris localization as the first step
affects all other levels and this shows the importance of iris
localization in an iris based biometric system. In this paper, we
consider Daugman iris localization method as a standard method,
propose a new method in this field and then analyze and compare the
results of them on a standard set of iris images. The proposed method
is based on the detection of circular edge of iris, and improved by
fuzzy circles and surface energy difference contexts. Implementation
of this method is so easy and compared to the other methods, have a
rather high accuracy and speed. Test results show that the accuracy of
our proposed method is about Daugman method and computation
speed of it is 10 times faster.
Abstract: In this paper, a fragile watermarking scheme is proposed for color image specified object-s authentication. The color image is first transformed from RGB to YST color space, suitable for watermarking the color media. The T channel corresponds to the chrominance component of a color image andYS ÔèÑ T , therefore selected for embedding the watermark. The T channel is first divided into 2×2 non-overlapping blocks and the two LSBs are set to zero. The object that is to be authenticated is also divided into 2×2 nonoverlapping blocks and each block-s intensity mean is computed followed by eight bit encoding. The generated watermark is then embedded into T channel randomly selected 2×2 block-s LSBs using 2D-Torus Automorphism. Selection of block size is paramount for exact localization and recovery of work. The proposed scheme is blind, efficient and secure with ability to detect and locate even minor tampering applied to the image with full recovery of original work. The quality of watermarked media is quite high both subjectively and objectively. The technique is suitable for class of images with format such as gif, tif or bitmap.
Abstract: Early detection of dementia by testing the spatial
memory can be applied using a virtual environment. This paper
presents guidelines on how to design a virtual environment
specifically for elderly in early detection of dementia. The specific
design needs to be considered because the effectiveness of the
technology relies on the ability of the end user to use it. The primary
goal of these guidelines is to promote accessibility. Based on these
guidelines, a virtual simulation was developed and evaluated. The
results on usability of acceptance and satisfaction that are tested on
young (control group) and elderly participants indicate that these
guidelines are reliable and useful for use with elderly people.
Abstract: Changing technology and increased constituent
demand for government services derive the need for governmental
responsiveness. The government organisations in the developing
countries will be under increased pressure to change their
bureaucratic systems to be able to respond rapidly to changing and
increasing requirements and rapid technology advancements. This
paper aims to present a conceptual framework for explaining the
main barriers and drivers of public e-service development. Therefore,
the framework provides a basic context within which the process and
practice of E-Service can be implemented successfully in the public
sector organisations. The framework is flexible enough to be adopted
by governments at different levels; national or local by developing
countries around the world.
Abstract: Clustering is one of an interesting data mining topics
that can be applied in many fields. Recently, the problem of cluster
analysis is formulated as a problem of nonsmooth, nonconvex optimization,
and an algorithm for solving the cluster analysis problem
based on nonsmooth optimization techniques is developed. This
optimization problem has a number of characteristics that make it
challenging: it has many local minimum, the optimization variables
can be either continuous or categorical, and there are no exact
analytical derivatives. In this study we show how to apply a particular
class of optimization methods known as pattern search methods
to address these challenges. These methods do not explicitly use
derivatives, an important feature that has not been addressed in
previous studies. Results of numerical experiments are presented
which demonstrate the effectiveness of the proposed method.
Abstract: III-nitride quaternary InxAlyGa1-x-yN alloys have experienced considerable interest as potential materials for optoelectronic applications. Despite these interesting applications and the extensive efforts to understand their fundamental properties, research on its fundamental surface property, i.e., surface phonon polariton (SPP) has not yet been reported. In fact, the SPP properties have been shown to provide application for some photonic devices. Hence, there is an absolute need for thorough studies on the SPP properties of this material. In this work, theoretical study on the SPP modes in InAlGaN quaternary alloys are reported. Attention is focus on the wurtzite (α-) structure InxAlyGa1-x-yN semi-crystal with different In composition, x ranging from 0 to 0.10 and constant Al composition, y = 0.06. The SPP modes are obtained through the theoretical simulation by means of anisotropy model. The characteristics of SP dispersion curves are discussed. Accessible results in terms of the experimental point of view are also given. Finally, the results revealed that the SPP mode of α-InxAlyGa1-x-yN semiconductors exhibits two-mode behavior.
Abstract: One of the important steps in a safety and risk management system is the economical evaluation of occupational accident and diseases costs in order to decrease accidents from reoccurring in the workplace. This study proposed a plausible method for calculating occupational accident costs and illnesses in work place. This method design for cost estimation takes into account both the personnel, organizational level as well as the community level especially intended for an Iranian work place. The research indicates that a using systematic method for calculating costs which also provides risk evaluation can help managers to plan correctly the investment in health and safety measures. Using this method is that not only is it comprehensive, easy and practical and could be applied in practice by a manager within a short period of time but it also shows the importance of accident costs as well as calculates the real cost of an accident and illnesses.
Abstract: Information Retrieval has the objective of studying
models and the realization of systems allowing a user to find the
relevant documents adapted to his need of information. The
information search is a problem which remains difficult because the
difficulty in the representing and to treat the natural languages such
as polysemia. Intentional Structures promise to be a new paradigm to
extend the existing documents structures and to enhance the different
phases of documents process such as creation, editing, search and
retrieval. The intention recognition of the author-s of texts can reduce
the largeness of this problem. In this article, we present intentions
recognition system is based on a semi-automatic method of
extraction the intentional information starting from a corpus of text.
This system is also able to update the ontology of intentions for the
enrichment of the knowledge base containing all possible intentions
of a domain. This approach uses the construction of a semi-formal
ontology which considered as the conceptualization of the intentional
information contained in a text. An experiments on scientific
publications in the field of computer science was considered to
validate this approach.
Abstract: A wireless sensor network with a large number of tiny sensor nodes can be used as an effective tool for gathering data in various situations. One of the major issues in wireless sensor networks is developing an energy-efficient routing protocol which has a significant impact on the overall lifetime of the sensor network. In this paper, we propose a novel hierarchical with static clustering routing protocol called Energy-Efficient Protocol with Static Clustering (EEPSC). EEPSC, partitions the network into static clusters, eliminates the overhead of dynamic clustering and utilizes temporary-cluster-heads to distribute the energy load among high-power sensor nodes; thus extends network lifetime. We have conducted simulation-based evaluations to compare the performance of EEPSC against Low-Energy Adaptive Clustering Hierarchy (LEACH). Our experiment results show that EEPSC outperforms LEACH in terms of network lifetime and power consumption minimization.
Abstract: In this paper, we present a comparative study between two computer vision systems for objects recognition and tracking, these algorithms describe two different approach based on regions constituted by a set of pixels which parameterized objects in shot sequences. For the image segmentation and objects detection, the FCM technique is used, the overlapping between cluster's distribution is minimized by the use of suitable color space (other that the RGB one). The first technique takes into account a priori probabilities governing the computation of various clusters to track objects. A Parzen kernel method is described and allows identifying the players in each frame, we also show the importance of standard deviation value research of the Gaussian probability density function. Region matching is carried out by an algorithm that operates on the Mahalanobis distance between region descriptors in two subsequent frames and uses singular value decomposition to compute a set of correspondences satisfying both the principle of proximity and the principle of exclusion.
Abstract: This paper reviews the objectives, methods and results of previous studies on biodrying of solid waste in several countries. Biodrying of solid waste is a novel technology in developing countries such as in Malaysia where high moisture content in organic waste makes the segregation process for recycling purposes complicated and diminishes the calorific value for the use of fuel source. In addition, the high moisture content also encourages the breeding of vectors and disease-bearing animals. From the laboratory results, the average moisture content of organic waste, paper, plastics and metals are 58.17%, 37.93%, 29.79% and 1.03% respectively for UKM campus. Biodrying of solid waste is a simple method of waste treatment as well as a cost-efficient technology to dry the solid waste. The process depends on temperature monitoring and air flow control along with the natural biodegradable process of organic waste. This review shows that the biodrying of solid waste method has high potential in treatment and recycling of solid waste, be useful for biodrying study and implementation in Malaysia.
Abstract: Characteristics and sonocatalytic activity of zeolite
Y catalysts loaded with TiO2 using impregnation and ion exchange
methods for the degradation of amaranth dye were investigated.
The Ion-exchange method was used to encapsulate the TiO2 into
the internal pores of the zeolite while the incorporation of TiO2
mostly on the external surface of zeolite was carried out using the
impregnation method. Different characterization techniques were
used to elucidate the physicochemical properties of the produced
catalysts. The framework of zeolite Y remained virtually
unchanged after the encapsulation of TiO2 while the crystallinity of
zeolite decreased significantly after the incorporation of 15 wt% of
TiO2. The sonocatalytic activity was enhanced by TiO2
incorporation with maximum degradation efficiencies of 50% and
68% for the encapsulated titanium and titanium loaded onto the
zeolite, respectively after 120min of reaction. Catalysts
characteristics and sonocatalytic behaviors were significantly
affected by the preparation method and the location of TiO2
introduced with zeolite structure. Behaviors in the sonocatalytic
process were successfully correlated with the characteristics of the
catalysts used.
Abstract: One of the most important aspects expected from ERP systems is to integrate various operations existing in administrative, financial, commercial, human resources, and production departments of the consumer organization. Also, it is often needed to integrate the new ERP system with the organization legacy systems when implementing the ERP package in the organization. Without relying on an appropriate software architecture to realize the required integration, ERP implementation processes become error prone and time consuming; in some cases, the ERP implementation may even encounters serious risks. In this paper, we propose a new architecture that is based on the agent oriented vision and supplies the integration expected from ERP systems using several independent but cooperator agents. Besides integration which is the main issue of this paper, the presented architecture will address some aspects of intelligence and learning capabilities existing in ERP systems
Abstract: In this paper we will introduce a brief introduction to
theory of Gr¨obner bases and some applications of Gr¨obner bases to
graph coloring problem, automatic geometric theorem proving and
cryptography.
Abstract: Subsurface erosion in river banks and its details, in
spite of its occurrence in various parts of the world has rarely been
paid attention by researchers. In this paper, quantitative concept of
the subsurface bank erosion has been investigated for vertical banks.
Vertical banks were simulated experimentally by considering a sandy
erodible layer overlaid by clayey one under uniformly distributed
constant overhead pressure. Results of the experiments are indicated
that rate of sandy layer erosion is decreased by an increase in
overburden; likewise, substituting 20% of coarse (3.5 mm) sand layer
bed material by fine material (1.4 mm) may lead to a decrease in
erosion rate by one-third. This signifies the importance of the bed
material composition effect on sandy layers erosion due to subsurface
erosion in river banks.