Abstract: IEEE has designed 802.11i protocol to address the
security issues in wireless local area networks. Formal analysis is
important to ensure that the protocols work properly without having
to resort to tedious testing and debugging which can only show the
presence of errors, never their absence. In this paper, we present
the formal verification of an abstract protocol model of 802.11i.
We translate the 802.11i protocol into the Strand Space Model and
then prove the authentication property of the resulting model using
the Strand Space formalism. The intruder in our model is imbued
with powerful capabilities and repercussions to possible attacks are
evaluated. Our analysis proves that the authentication of 802.11i is
not compromised in the presented model. We further demonstrate
how changes in our model will yield a successful man-in-the-middle
attack.
Abstract: Hemorrhage Disease of Grass Carp (HDGC) is a kind
of commonly occurring illnesses in summer, and the extremely high
death rate result in colossal losses to aquaculture. As the complex
connections among each factor which influences aquiculture diseases,
there-s no quit reasonable mathematical model to solve the problem at
present.A BP neural network which with excellent nonlinear mapping
coherence was adopted to establish mathematical model;
Environmental factor, which can easily detected, such as breeding
density, water temperature, pH and light intensity was set as the main
analyzing object. 25 groups of experimental data were used for
training and test, and the accuracy of using the model to predict the
trend of HDGC was above 80%. It is demonstrated that BP neural
network for predicating diseases in HDGC has a particularly
objectivity and practicality, thus it can be spread to other aquiculture
disease.
Abstract: In this paper we develop an efficient numerical method for the finite-element model updating of damped gyroscopic systems based on incomplete complex modal measured data. It is assumed that the analytical mass and stiffness matrices are correct and only the damping and gyroscopic matrices need to be updated. By solving a constrained optimization problem, the optimal corrected symmetric damping matrix and skew-symmetric gyroscopic matrix complied with the required eigenvalue equation are found under a weighted Frobenius norm sense.
Abstract: This paper proposes an effective adaptation learning
algorithm based on artificial neural networks for speed control of an
induction motor assumed to operate in a high-performance drives
environment. The structure scheme consists of a neural network
controller and an algorithm for changing the NN weights in order that
the motor speed can accurately track of the reference command. This
paper also makes uses a very realistic and practical scheme to
estimate and adaptively learn the noise content in the speed load
torque characteristic of the motor. The availability of the proposed
controller is verified by through a laboratory implementation and
under computation simulations with Matlab-software. The process is
also tested for the tracking property using different types of reference
signals. The performance and robustness of the proposed control
scheme have evaluated under a variety of operating conditions of the
induction motor drives. The obtained results demonstrate the
effectiveness of the proposed control scheme system performances,
both in steady state error in speed and dynamic conditions, was found
to be excellent and those is not overshoot.
Abstract: This paper presents the solution of power economic dispatch (PED) problem of generating units with valve point effects and multiple fuel options using Self-Adaptive Differential Evolution (SDE) algorithm. The global optimal solution by mathematical approaches becomes difficult for the realistic PED problem in power systems. The Differential Evolution (DE) algorithm is found to be a powerful evolutionary algorithm for global optimization in many real problems. In this paper the key parameters of control in DE algorithm such as the crossover constant CR and weight applied to random differential F are self-adapted. The PED problem formulation takes into consideration of nonsmooth fuel cost function due to valve point effects and multi fuel options of generator. The proposed approach has been examined and tested with the numerical results of PED problems with thirteen-generation units including valve-point effects, ten-generation units with multiple fuel options neglecting valve-point effects and ten-generation units including valve-point effects and multiple fuel options. The test results are promising and show the effectiveness of proposed approach for solving PED problems.
Abstract: New lead-free ferroelectric relaxor ceramics were
prepared by conventional solid-state synthesis in the BaTiO3-Bi2O3-
Y2O3 systems. Some of these ceramics present a ferroelectric relaxor
with transition temperature close to room temperature. These new
materials are very interesting for applications and can replace leadbased
ceramic to prevent the toxic pollutions during the preparation
state. In the other hand, the energy band diagram shows the
potentiality of these compounds for the solar energy conversion.
Thus, some compositions have been tested successfully for H2
production upon visible light. The best activity occurs in alkaline
media with a rate evolution of about 0.15 mL g-1 mn-1 and a quantum
yield of 1% under polychromatic light.
Abstract: In this work a dynamic model of a new quadrotor aerial
vehicle that is equipped with a tilt-wing mechanism is presented.
The vehicle has the capabilities of vertical take-off/landing (VTOL)
like a helicopter and flying horizontal like an airplane. Dynamic
model of the vehicle is derived both for vertical and horizontal flight
modes using Newton-Euler formulation. An LQR controller for the
vertical flight mode has also been developed and its performance
has been tested with several simulations.
Abstract: The purpose of this research was to demonstrate
prevalence of post-exposure preventive measures (PEP) after needlestick
injuries and its relationship with locus of control beliefs in a
sample of medical students. In this cross-sectional study, 300 medical
students with history of having experienced needle stick injuries
(NSI) for at least once filled in a questionnaire to determine if they
perceived themselves to be responsible and effective in preventing
blood born infections after NSI. About 38% of students did not seek
any professional consult or PEP after NSI due to lack of enough time
or access, anxiety about tests results, belief in uselessness of followup
and not being able to change destiny. These 114 students were not
different from others regarding their scores on NSI specific scale of
locus of health control. Thus, the potentiality of NSI locus of control
beliefs in predicting PEP was not seen in this study.
Abstract: The study of proteomics reached unexpected levels of
interest, as a direct consequence of its discovered influence over
some complex biological phenomena, such as problematic diseases
like cancer. This paper presents a new technique that allows for an
accurate analysis of the human interactome network. It is basically
a two-step analysis process that involves, at first, the detection of
each protein-s absolute importance through the betweenness centrality
computation. Then, the second step determines the functionallyrelated
communities of proteins. For this purpose, we use a community
detection technique that is based on the edge betweenness
calculation. The new technique was thoroughly tested on real biological
data and the results prove some interesting properties of those proteins that are involved in the carcinogenesis process. Apart from its
experimental usefulness, the novel technique is also computationally
effective in terms of execution times. Based on the analysis- results, some topological features of cancer mutated proteins are presented
and a possible optimization solution for cancer drugs design is suggested.
Abstract: In this paper real money demand function is analyzed
within multivariate time-series framework. Cointegration approach is
used (Johansen procedure) assuming interdependence between
money demand determinants, which are nonstationary variables. This
will help us to understand the behavior of money demand in Croatia,
revealing the significant influence between endogenous variables in
vector autoregrression system (VAR), i.e. vector error correction
model (VECM). Exogeneity of the explanatory variables is tested.
Long-run money demand function is estimated indicating slow speed
of adjustment of removing the disequilibrium. Empirical results
provide the evidence that real industrial production and exchange
rate explains the most variations of money demand in the long-run,
while interest rate is significant only in short-run.
Abstract: Despite the fact that Arabic language is currently one
of the most common languages worldwide, there has been only a
little research on Arabic speech recognition relative to other
languages such as English and Japanese. Generally, digital speech
processing and voice recognition algorithms are of special
importance for designing efficient, accurate, as well as fast automatic
speech recognition systems. However, the speech recognition process
carried out in this paper is divided into three stages as follows: firstly,
the signal is preprocessed to reduce noise effects. After that, the
signal is digitized and hearingized. Consequently, the voice activity
regions are segmented using voice activity detection (VAD)
algorithm. Secondly, features are extracted from the speech signal
using Mel-frequency cepstral coefficients (MFCC) algorithm.
Moreover, delta and acceleration (delta-delta) coefficients have been
added for the reason of improving the recognition accuracy. Finally,
each test word-s features are compared to the training database using
dynamic time warping (DTW) algorithm. Utilizing the best set up
made for all affected parameters to the aforementioned techniques,
the proposed system achieved a recognition rate of about 98.5%
which outperformed other HMM and ANN-based approaches
available in the literature.
Abstract: In this paper we present a modification to existed model of threshold for shot cut detection, which is able to adapt itself to the sequence statistics and operate in real time, because it use for calculation only previously evaluated frames. The efficiency of proposed modified adaptive threshold scheme was verified through extensive test experiment with several similarity metrics and achieved results were compared to the results reached by the original model. According to results proposed threshold scheme reached higher accuracy than existed original model.
Abstract: A computational platform is presented in this
contribution. It has been designed as a virtual laboratory to be used
for exploring optimization algorithms in biological problems. This
platform is built on a blackboard-based agent architecture. As a test
case, the version of the platform presented here is devoted to the
study of protein folding, initially with a bead-like description of the
chain and with the widely used model of hydrophobic and polar
residues (HP model). Some details of the platform design are
presented along with its capabilities and also are revised some
explorations of the protein folding problems with different types of
discrete space. It is also shown the capability of the platform to
incorporate specific tools for the structural analysis of the runs in
order to understand and improve the optimization process.
Accordingly, the results obtained demonstrate that the ensemble of
computational tools into a single platform is worthwhile by itself,
since experiments developed on it can be designed to fulfill different
levels of information in a self-consistent fashion. By now, it is being
explored how an experiment design can be useful to create a
computational agent to be included within the platform. These
inclusions of designed agents –or software pieces– are useful for the
better accomplishment of the tasks to be developed by the platform.
Clearly, while the number of agents increases the new version of the
virtual laboratory thus enhances in robustness and functionality.
Abstract: In this paper, two centrifugal model tests (case 1: raft
foundation, case 2: 2x2 piled raft foundation) were conducted in
order to evaluate the effect of ground subsidence on load sharing
among piles and raft and settlement of raft and piled raft
foundations. For each case, two conditions consisting of undrained
(without groundwater pumping) and drained (with groundwater
pumping) conditions were considered. Vertical loads were applied
to the models after the foundations were completely consolidated by
selfweight at 50g. The results show that load sharing by the piles in
piled raft foundation (piled load share) for drained condition
decreases faster than that for undrained condition. Settlement of
both raft and piled raft foundations for drained condition increases
more quickly than that for undrained condition. In addition, the
settlement of raft foundation increases more largely than the
settlement of piled raft foundation for drained condition.
Abstract: The polyfunctional and highly reactive bio-polymer,
the chitosan was first regioselectively converted into dialkylated
chitosan using dimsyl anionic solution(NaH in DMSO) and
bromodecane after protecting amino groups by phthalic anhydride.
The dibenzo-18-crown-6-ether, on the other hand, was converted into
its carbonyl derivatives via Duff reaction prior to incorporate into
chitosan by Schiff base formation. Thus formed diformylated
dibenzo-18-crown-6-ether was condensed with lipophilic chitosan to
prepare the novel solvent extraction reagent. The products were
characterized mainly by IR and 1H-NMR. Hence, the multidentate
crown ether-embedded polyfunctional bio-material was tested for
extraction of Pd(II) and Pt(IV) in aqueous solution.
Abstract: A personal estimate of a health risk may not
correspond to a scientific assessment of the health risk. Hence, there
is a need to investigate perceived health risks in the public. In this
study, a young, educated and healthy group of people from a tertiary
institute were questioned about their health concerns. Ethics
clearance was obtained and data was collected by means of a
questionnaire. 362 students participated in the study. Tobacco use,
heavy alcohol drinking, illicit drugs, unsafe sex and potential
carcinogens were perceived to be the five greatest threats to health in
this cohort. On the other hand natural health products,
unemployment, unmet contraceptive needs, family violence and
homelessness were felt to be the least perceived health risks.
Nutrition-related health risks as well as health risks due to physical
inactivity and obesity were not perceived as major health threats.
Such a study of health perceptions may guide health promotion
campaigns.
Abstract: This work involved the use of phytoremediation to
remediate an aged soil contaminated with polychlorinated biphenyls
(PCBs). At microcosm scale, tests were prepared using soil samples
that have been collected in an industrial area with a total PCBs
concentration of about 250 μg kg-1. Medicago sativa and Lolium
italicum were the species selected in this study that is used as
“feasibility test" for full scale remediation. The experiment was
carried out with the addition of a mixture of randomly methylatedbeta-
cyclodextrins (RAMEB). At the end of the experiment analysis
of soil samples showed that in general the presence of plants has led
to a higher degradation of most congeners with respect to not
vegetated soil. The two plant species efficiencies were comparable
and improved by RAMEB addition with a final reduction of total
PCBs near to 50%. With increasing the chlorination of the congeners
the removal percentage of PCBs progressively decreased.
Abstract: This paper proposes a new performance characterization for the test strategy intended for second order filters denominated Transient Analysis Method (TRAM). We evaluate the ability of the addressed test strategy for detecting deviation faults under simultaneous statistical fluctuation of the non-faulty parameters. For this purpose, we use Monte Carlo simulations and a fault model that considers as faulty only one component of the filter under test while the others components adopt random values (within their tolerance band) obtained from their statistical distributions. The new data reported here show (for the filters under study) the presence of hard-to-test components and relatively low fault coverage values for small deviation faults. These results suggest that the fault coverage value obtained using only nominal values for the non-faulty components (the traditional evaluation of TRAM) seem to be a poor predictor of the test performance.
Abstract: Automatic detection of syllable repetition is one of the
important parameter in assessing the stuttered speech objectively.
The existing method which uses artificial neural network (ANN)
requires high levels of agreement as prerequisite before attempting to
train and test ANNs to separate fluent and nonfluent. We propose
automatic detection method for syllable repetition in read speech for
objective assessment of stuttered disfluencies which uses a novel
approach and has four stages comprising of segmentation, feature
extraction, score matching and decision logic. Feature extraction is
implemented using well know Mel frequency Cepstra coefficient
(MFCC). Score matching is done using Dynamic Time Warping
(DTW) between the syllables. The Decision logic is implemented by
Perceptron based on the score given by score matching. Although
many methods are available for segmentation, in this paper it is done
manually. Here the assessment by human judges on the read speech
of 10 adults who stutter are described using corresponding method
and the result was 83%.
Abstract: Computer game industry has experienced exponential
growth in recent years. A game is a recreational activity involving
one or more players. Game input is information such as data,
commands, etc., which is passed to the game system at run time from
an external source. Conversely, game outputs are information which
are generated by the game system and passed to an external target,
but which is not used internally by the game. This paper identifies a
new classification scheme for game input and output, which is based
on player-s input and output. Using this, relationship table for game
input classifier and output classifier is developed.