Abstract: Mobile Ad hoc networks (MANETs) are collections
of wireless mobile nodes dynamically reconfiguring and collectively
forming a temporary network. These types of networks assume
existence of no fixed infrastructure and are often useful in battle-field
tactical operations or emergency search-and-rescue type of
operations where fixed infrastructure is neither feasible nor practical.
They also find use in ad hoc conferences, campus networks and
commercial recreational applications carrying multimedia traffic. All
of the above applications of MANETs require guaranteed levels of
performance as experienced by the end-user. This paper focuses on
key challenges in provisioning predetermined levels of such Quality
of Service (QoS). It also identifies functional areas where QoS
models are currently defined and used. Evolving functional areas
where performance and QoS provisioning may be applied are also
identified and some suggestions are provided for further research in
this area. Although each of the above functional areas have been
discussed separately in recent research studies, since these QoS
functional areas are highly correlated and interdependent, a
comprehensive and comparative analysis of these areas and their
interrelationships is desired. In this paper we have attempted to
provide such an overview.
Abstract: Selective harmonic elimination-pulse width modulation techniques offer a tight control of the harmonic spectrum of a given voltage waveform generated by a power electronic converter along with a low number of switching transitions. Traditional optimization methods suffer from various drawbacks, such as prolonged and tedious computational steps and convergence to local optima; thus, the more the number of harmonics to be eliminated, the larger the computational complexity and time. This paper presents a novel method for output voltage harmonic elimination and voltage control of PWM AC/AC voltage converters using the principle of hybrid Real-Coded Genetic Algorithm-Pattern Search (RGA-PS) method. RGA is the primary optimizer exploiting its global search capabilities, PS is then employed to fine tune the best solution provided by RGA in each evolution. The proposed method enables linear control of the fundamental component of the output voltage and complete elimination of its harmonic contents up to a specified order. Theoretical studies have been carried out to show the effectiveness and robustness of the proposed method of selective harmonic elimination. Theoretical results are validated through simulation studies using PSIM software package.
Abstract: Ad hoc networks are characterized by multi-hop
wireless connectivity and frequently changing network topology.
Forming security association among a group of nodes in ad-hoc
networks is more challenging than in conventional networks due to the
lack of central authority, i.e. fixed infrastructure. With that view in
mind, group key management plays an important building block of
any secure group communication. The main contribution of this paper
is a low complexity key management scheme that is suitable for fully
self-organized ad-hoc networks. The protocol is also password
authenticated, making it resilient against active attacks. Unlike other
existing key agreement protocols, ours make no assumption about the
structure of the underlying wireless network, making it suitable for
“truly ad-hoc" networks. Finally, we will analyze our protocol to show
the computation and communication burden on individual nodes for
key establishment.
Abstract: Distance visualization of large datasets often takes the direction of remote viewing and zooming techniques of stored static images. However, the continuous increase in the size of datasets and visualization operation causes insufficient performance with traditional desktop computers. Additionally, the visualization techniques such as Isosurface depend on the available resources of the running machine and the size of datasets. Moreover, the continuous demand for powerful computing powers and continuous increase in the size of datasets results an urgent need for a grid computing infrastructure. However, some issues arise in current grid such as resources availability at the client machines which are not sufficient enough to process large datasets. On top of that, different output devices and different network bandwidth between the visualization pipeline components often result output suitable for one machine and not suitable for another. In this paper we investigate how the grid services could be used to support remote visualization of large datasets and to break the constraint of physical co-location of the resources by applying the grid computing technologies. We show our grid enabled architecture to visualize large medical datasets (circa 5 million polygons) for remote interactive visualization on modest resources clients.
Abstract: Flood zoning studies have become more efficient in
recent years because of the availability of advanced computational
facilities and use of Geographic Information Systems (GIS). In the
present study, flood inundated areas were mapped using GIS for the
Dikrong river basin of Arunachal Pradesh, India, corresponding to
different return periods (2, 5, 25, 50, and 100 years). Further, the developed inundation maps corresponding to 25, 50, and 100 year return period floods were compared to corresponding maps
developed by conventional methods as reported in the Brahmaputra Board Master Plan for Dikrong basin. It was found that, the average
deviation of modelled flood inundation areas from reported map
inundation areas is below 5% (4.52%). Therefore, it can be said that
the modelled flood inundation areas matched satisfactorily with
reported map inundation areas. Hence, GIS techniques were proved to be successful in extracting the flood inundation extent in a time and cost effective manner for the remotely located hilly basin of Dikrong, where conducting conventional surveys is very difficult.
Abstract: This study introduces a new method for detecting,
sorting, and localizing spikes from multiunit EEG recordings. The
method combines the wavelet transform, which localizes distinctive
spike features, with Super-Paramagnetic Clustering (SPC) algorithm,
which allows automatic classification of the data without assumptions
such as low variance or Gaussian distributions. Moreover, the method
is capable of setting amplitude thresholds for spike detection. The
method makes use of several real EEG data sets, and accordingly the
spikes are detected, clustered and their times were detected.
Abstract: Lectins have a good scope in current clinical
microbiology research. In the present study evaluated the
antimicrobial activities of a D-galactose binding lectin (PnL) was
purified from the annelid, Perinereis nuntia (polychaeta) by affinity
chromatography. The molecular mass of the lectin was determined to
be 32 kDa as a single polypeptide by SDS-PAGE under both reducing
and non-reducing conditions. The hemagglutinating activity of the
PnL showed against trypsinized and glutaraldehyde-fixed human
erythrocytes was specifically inhibited by D-Gal, GalNAc,
Galβ1-4Glc and Galα1-6Glc. PnL was evaluated for in vitro
antibacterial screening studies against 11 gram-positive and
gram-negative microorganisms. From the screening results, it was
revealed that PnL exhibited significant antibacterial activity against
gram-positive bacteria. Bacillus megaterium showed the highest
growth inhibition by the lectin (250 μg/disc). However, PnL did not
inhibit the growth of gram-negative bacteria such as Vibrio cholerae
and Pseudomonas sp. PnL was also examined for in vitro antifungal
activity against six fungal phytopathogens. PnL (100 μg/mL) inhibited
the mycelial growth of Alternaria alternata (24.4%). These results
indicate that future findings of lectin applications obtained from
annelids may be of importance to life sciences.
Abstract: According to the masonry standard the compressive
strength is basically dependent on factors such as the mortar strength
and the relative values of unit and mortar strength. However
interlocking brick has none or less use of mortar. Therefore there is a need to investigate the behavior of masonry walls using interlocking
bricks. In this study a series of tests have been conducted; physical
properties and compressive strength of brick units and masonry walls
were constructed from interlocking bricks and tested under constant
vertical load at different eccentricities. The purpose of the
experimental investigations is to obtain the force displacement curves, analyze the behavior of masonry walls. The results showed
that the brick is categorized as common brick (BS 3921:1985) and severe weathering grade (ASTM C62). The maximum compressive stress of interlocking brick wall is 3.6 N/mm2 and fulfilled the requirement of standard for residential building.
Abstract: Air bubbles have been detected in human circulation
of end-stage renal disease patients who are treated by hemodialysis.
The consequence of air embolism, air bubbles, is under recognized
and usually overlooked in daily practice. This paper shows results of
a capacitor based detection method that capable of detecting the
presence of air bubbles in the blood stream in different frequencies.
The method is based on a parallel plates capacitor made of platinum
with an area of 1.5 cm2 and a distance between the two plates is 1cm.
The dielectric material used in this capacitor is Dextran70 solution
which mimics blood rheology. Simulations were carried out using
RC circuit at two frequencies 30Hz and 3 kHz and results compared
with experiments and theory. It is observed that by injecting air
bubbles of different diameters into the device, there were significant
changes in the capacitance of the capacitor. Furthermore, it is
observed that the output voltage from the circuit increased with
increasing air bubble diameter. These results demonstrate the
feasibility of this approach in improving air bubble detection in
Hemodialysis.
Abstract: The direct discharge of palm oil mill effluent (POME) wastewater causes serious environmental pollution due to its high chemical oxygen demand (COD) and biochemical oxygen demand (BOD). Traditional ways for POME treatment have both economical and environmental disadvantages. In this study, a membrane anaerobic system (MAS) was used as an alternative, cost effective method for treating POME. Six steady states were attained as a part of a kinetic study that considered concentration ranges of 8,220 to 15,400 mg/l for mixed liquor suspended solids (MLSS) and 6,329 to 13,244 mg/l for mixed liquor volatile suspended solids (MLVSS). Kinetic equations from Monod, Contois and Chen & Hashimoto were employed to describe the kinetics of POME treatment at organic loading rates ranging from 2 to 13 kg COD/m3/d. throughout the experiment, the removal efficiency of COD was from 94.8 to 96.5% with hydraulic retention time, HRT from 400.6 to 5.7 days. The growth yield coefficient, Y was found to be 0.62gVSS/g COD the specific microorganism decay rate was 0.21 d-1 and the methane gas yield production rate was between 0.25 l/g COD/d and 0.58 l/g COD/d. Steady state influent COD concentrations increased from 18,302 mg/l in the first steady state to 43,500 mg/l in the sixth steady state. The minimum solids retention time, which was obtained from the three kinetic models ranged from 5 to 12.3 days. The k values were in the range of 0.35 – 0.519 g COD/ g VSS • d and values were between 0.26 and 0.379 d-1. The solids retention time (SRT) decreased from 800 days to 11.6 days. The complete treatment reduced the COD content to 2279 mg/l equivalent to a reduction of 94.8% reduction from the original.
Abstract: It is difficult to judge ripeness by outward
characteristics such as size or external color. In this paper a nondestructive
method was studied to determine watermelon (Crimson
Sweet) quality. Responses of samples to excitation vibrations were
detected using laser Doppler vibrometry (LDV) technology. Phase
shift between input and output vibrations were extracted overall
frequency range. First and second were derived using frequency
response spectrums. After nondestructive tests, watermelons were
sensory evaluated. So the samples were graded in a range of ripeness
based on overall acceptability (total desired traits consumers).
Regression models were developed to predict quality using obtained
results and sample mass. The determination coefficients of the
calibration and cross validation models were 0.89 and 0.71
respectively. This study demonstrated feasibility of information
which is derived vibration response curves for predicting fruit
quality. The vibration response of watermelon using the LDV method
is measured without direct contact; it is accurate and timely, which
could result in significant advantage for classifying watermelons
based on consumer opinions.
Abstract: In the present paper, a set of parametric FE stress
analyses is carried out for two-planar welded tubular DKT-joints
under two different axial load cases. Analysis results are used to
present general remarks on the effect of geometrical parameters on
the stress concentration factors (SCFs) at the inner saddle, outer
saddle, toe, and heel positions on the main (outer) brace. Then a new
set of SCF parametric equations is developed through nonlinear
regression analysis for the fatigue design of two-planar DKT-joints.
An assessment study of these equations is conducted against the
experimental data; and the satisfaction of the criteria regarding the
acceptance of parametric equations is checked. Significant effort has
been devoted by researchers to the study of SCFs in various uniplanar
tubular connections. Nevertheless, for multi-planar joints
covering the majority of practical applications, very few
investigations have been reported due to the complexity and high
cost involved.
Abstract: This paper investigates the control of a bouncing
ball using Model Predictive Control. Bouncing ball is a benchmark
problem for various rhythmic tasks such as juggling, walking,
hopping and running. Humans develop intentions which may be
perceived as our reference trajectory and tries to track it. The
human brain optimizes the control effort needed to track its
reference; this forms the central theme for control of bouncing ball
in our investigations.
Abstract: In many data mining applications, it is a priori known
that the target function should satisfy certain constraints imposed
by, for example, economic theory or a human-decision maker. In this
paper we consider partially monotone prediction problems, where the
target variable depends monotonically on some of the input variables
but not on all. We propose a novel method to construct prediction
models, where monotone dependences with respect to some of
the input variables are preserved by virtue of construction. Our
method belongs to the class of mixture models. The basic idea is to
convolute monotone neural networks with weight (kernel) functions
to make predictions. By using simulation and real case studies,
we demonstrate the application of our method. To obtain sound
assessment for the performance of our approach, we use standard
neural networks with weight decay and partially monotone linear
models as benchmark methods for comparison. The results show that
our approach outperforms partially monotone linear models in terms
of accuracy. Furthermore, the incorporation of partial monotonicity
constraints not only leads to models that are in accordance with the
decision maker's expertise, but also reduces considerably the model
variance in comparison to standard neural networks with weight
decay.
Abstract: Advancements in the field of artificial intelligence
(AI) made during this decade have forever changed the way we look
at automating spacecraft subsystems including the electrical power
system. AI have been used to solve complicated practical problems
in various areas and are becoming more and more popular nowadays.
In this paper, a mathematical modeling and MATLAB–SIMULINK
model for the different components of the spacecraft power system is
presented. Also, a control system, which includes either the Neural
Network Controller (NNC) or the Fuzzy Logic Controller (FLC) is
developed for achieving the coordination between the components of
spacecraft power system as well as control the energy flows. The
performance of the spacecraft power system is evaluated by
comparing two control systems using the NNC and the FLC.
Abstract: In this paper we explore the application of a formal proof system to verification problems in cryptography. Cryptographic properties concerning correctness or security of some cryptographic algorithms are of great interest. Beside some basic lemmata, we explore an implementation of a complex function that is used in cryptography. More precisely, we describe formal properties of this implementation that we computer prove. We describe formalized probability distributions (o--algebras, probability spaces and condi¬tional probabilities). These are given in the formal language of the formal proof system Isabelle/HOL. Moreover, we computer prove Bayes' Formula. Besides we describe an application of the presented formalized probability distributions to cryptography. Furthermore, this paper shows that computer proofs of complex cryptographic functions are possible by presenting an implementation of the Miller- Rabin primality test that admits formal verification. Our achievements are a step towards computer verification of cryptographic primitives. They describe a basis for computer verification in cryptography. Computer verification can be applied to further problems in crypto-graphic research, if the corresponding basic mathematical knowledge is available in a database.
Abstract: In the present paper, we obtain a sandwich-type theorem.
As applications of our main result, we discuss the univalence
and starlikeness of analytic functions in terms of certain differential
subordinations and differential inequalities.
Abstract: This paper presents the approximate analytical solution of a Zakharov-Kuznetsov ZK(m, n, k) equation with the help of the differential transform method (DTM). The DTM method is a powerful and efficient technique for finding solutions of nonlinear equations without the need of a linearization process. In this approach the solution is found in the form of a rapidly convergent series with easily computed components. The two special cases, ZK(2,2,2) and ZK(3,3,3), are chosen to illustrate the concrete scheme of the DTM method in ZK(m, n, k) equations. The results demonstrate reliability and efficiency of the proposed method.
Abstract: Removal of PCP by a system combining
biodegradation by biofilm and adsorption was investigated here.
Three studies were conducted employing batch tests, sequencing
batch reactor (SBR) and continuous biofilm activated carbon
column reactor (BACCOR). The combination of biofilm-GAC
batch process removed about 30% more PCP than GAC adsorption
alone. For the SBR processes, both the suspended and attached
biomass could remove more than 90% of the PCP after
acclimatisation. BACCOR was able to remove more than 98% of
PCP-Na at concentrations ranging from 10 to 100 mg/L, at empty
bed contact time (EBCT) ranging from 0.75 to 4 hours. Pure and
mixed cultures from BACCOR were tested for use of PCP as sole
carbon and energy source under aerobic conditions. The isolates
were able to degrade up to 42% of PCP under aerobic conditions in
pure cultures. However, mixed cultures were found able to degrade
more than 99% PCP indicating interdependence of species.
Abstract: In this paper, an analysis is presented, which
demonstrates the effect pre-logic factoring could have on an
automated combinational logic synthesis process succeeding it. The
impact of pre-logic factoring for some arbitrary combinatorial
circuits synthesized within a FPGA based logic design environment
has been analyzed previously. This paper explores a similar effect,
but with the non-regenerative logic synthesized using elements of a
commercial standard cell library. On an overall basis, the results
obtained pertaining to the analysis on a variety of MCNC/IWLS
combinational logic benchmark circuits indicate that pre-logic
factoring has the potential to facilitate simultaneous power, delay and
area optimized synthesis solutions in many cases.