Abstract: This paper introduces a temporal epistemic logic
CBCTL that updates agent-s belief states through communications
in them, based on computational tree logic (CTL). In practical
environments, communication channels between agents may not be
secure, and in bad cases agents might suffer blackouts. In this study,
we provide inform* protocol based on ACL of FIPA, and declare the
presence of secure channels between two agents, dependent on time.
Thus, the belief state of each agent is updated along with the progress
of time. We show a prover, that is a reasoning system for a given
formula in a given a situation of an agent ; if it is directly provable
or if it could be validated through the chains of communications, the
system returns the proof.
Abstract: MinC plays an important role in bacterial cell division
system by inhibiting FtsZ assembly. However, the molecular
mechanism of the action is poorly understood. E. coli MinC Nterminus
domain was purified and crystallized using 1.4 M sodium
citrate pH 6.5 as a precipitant. X-ray diffraction data was collected
and processed to 2.3 Å from a native crystal. The crystal belonged to
space group P212121, with the unit cell parameters a = 52.7, b = 54.0,
c = 64.7 Å. Assuming the presence of two molecules in the
asymmetric unit, the Matthews coefficient value is 1.94 Å3 Da-1,
which corresponds to a solvent content of 36.5%. The overall
structure of MinCN is observed as a dimer form through anti-parallel
ß-strand interaction.
Abstract: This paper reports the fatigue crack growth behaviour
of gas tungsten arc, electron beam and laser beam welded Ti-6Al-4V
titanium alloy. Centre cracked tensile specimens were prepared to
evaluate the fatigue crack growth behaviour. A 100kN servo
hydraulic controlled fatigue testing machine was used under constant
amplitude uniaxial tensile load (stress ratio of 0.1 and frequency of
10 Hz). Crack growth curves were plotted and crack growth
parameters (exponent and intercept) were evaluated. Critical and
threshold stress intensity factor ranges were also evaluated. Fatigue
crack growth behaviour of welds was correlated with mechanical
properties and microstructural characteristics of welds. Of the three
joints, the joint fabricated by laser beam welding exhibited higher
fatigue crack growth resistance due to the presence of fine lamellar
microstructure in the weld metal.
Abstract: Coronary artery bypass grafts (CABG) are widely
studied with respect to hemodynamic conditions which play
important role in presence of a restenosis. However, papers which
concern with constitutive modeling of CABG are lacking in the
literature. The purpose of this study is to find a constitutive model for
CABG tissue. A sample of the CABG obtained within an autopsy
underwent an inflation–extension test. Displacements were
recoredered by CCD cameras and subsequently evaluated by digital
image correlation. Pressure – radius and axial force – elongation
data were used to fit material model. The tissue was modeled as onelayered
composite reinforced by two families of helical fibers. The
material is assumed to be locally orthotropic, nonlinear,
incompressible and hyperelastic. Material parameters are estimated
for two strain energy functions (SEF). The first is classical
exponential. The second SEF is logarithmic which allows
interpretation by means of limiting (finite) strain extensibility.
Presented material parameters are estimated by optimization based
on radial and axial equilibrium equation in a thick-walled tube. Both
material models fit experimental data successfully. The exponential
model fits significantly better relationship between axial force and
axial strain than logarithmic one.
Abstract: In this paper, acoustic techniques are used to detect hidden insect infestations of date palm tress (Phoenix dactylifera L.). In particular, we use an acoustic instrument for early discovery of the presence of a destructive insect pest commonly known as the Red Date Palm Weevil (RDPW) and scientifically as Rhynchophorus ferrugineus (Olivier). This type of insect attacks date palm tress and causes irreversible damages at late stages. As a result, the infected trees must be destroyed. Therefore, early presence detection is a major part in controlling the spread and economic damage caused by this type of infestation. Furthermore monitoring and early detection of the disease can asses in taking appropriate measures such as isolating or treating the infected trees. The acoustic system is evaluated in terms of its ability for early discovery of hidden bests inside the tested tree. When signal acquisitions is completed for a number of date palms, a signal processing technique known as time-frequency analysis is evaluated in terms of providing an estimate that can be visually used to recognize the acoustic signature of the RDPW. The testing instrument was tested in the laboratory first then; it was used on suspected or infested tress in the field. The final results indicate that the acoustic monitoring approach along with signal processing techniques are very promising for the early detection of presence of the larva as well as the adult pest in the date palms.
Abstract: The characterisation of agro-wastes fibres for composite applications from Nigeria using X-ray diffraction (XRD) and Scanning Electron Microscopy (SEM) has been done. Fibres extracted from groundnut shell, coconut husk, rice husk, palm fruit bunch and palm fruit stalk are processed using two novel cellulose fibre production methods developed by the authors. Cellulose apparent crystallinity calculated using the deconvolution of the diffractometer trace shows that the amorphous portion of cellulose was permeable to hydrolysis yielding high crystallinity after treatment. All diffratograms show typical cellulose structure with well-defined 110, 200 and 040 peaks. Palm fruit fibres had the highest 200 crystalline cellulose peaks compared to others and it is an indication of rich cellulose content. Surface examination of the resulting fibres using SEM indicates the presence of regular cellulose network structure with some agglomerated laminated layer of thin leaves of cellulose microfibrils. The surfaces were relatively smooth indicating the removal of hemicellulose, lignin and pectin.
Abstract: The Proton Exchange Membrane Fuel Cell (PEMFC)
control system has an important effect on operation of cell.
Traditional controllers couldn-t lead to acceptable responses because
of time- change, long- hysteresis, uncertainty, strong- coupling and
nonlinear characteristics of PEMFCs, so an intelligent or adaptive
controller is needed. In this paper a neural network predictive
controller have been designed to control the voltage of at the
presence of fluctuations of temperature. The results of
implementation of this designed NN Predictive controller on a
dynamic electrochemical model of a small size 5 KW, PEM fuel cell
have been simulated by MATLAB/SIMULINK.
Abstract: For relatively small particles of aluminum (5%) is observed to
corrode before passivation occurs at moderate temperatures (>50oC)
in de-ionized water within one hour. Physical contact with alumina
powder results in a significant increase in both the rate of corrosion
and the extent of corrosion before passivation. Whereas the resulting
release of hydrogen gas could be of commercial interest for portable
hydrogen supply systems, the fundamental aspects of Al corrosion
acceleration in presence of dispersed alumina particles are equally
important. This paper investigates the effects of various amounts of
alumina on the corrosion rate of aluminum powders in water and the
effect of multiple additions of aluminum into a single reactor.
Abstract: Characterization and evaluation of the activity of Vespa basalis DPP-IV, which expressed in Spodoptera frugiperda 21 cells. The expression of rDPP-IV was confirmed by SDS–PAGE, Western blot analyses, LC-MS/MS and measurement of its peptidase specificity. One-step purification by Ni-NTA affinity chromatography and the total amount of rDPP-IV recovered was approximately 6.4mg per liter from infected culture medium; an equivalent amount would be produced by 1x109 infected Sf21 insect cells. Through the affinity purification led to highly stable rDPP-IV enzyme was recovered and with significant peptidase activity. The rDPP-IV exhibited classical Michaelis–Menten kinetics, with kcat/Km in the range of 10-500 mM-1×S-1 for the five synthetic substrates and optimum substrate is Ala-Pro-pNA. As expected in inhibition assay, the enzymatic activity of rDPP-IV was significantly reduced by 80 or 60% in the presence of sitagliptin (a DPP-IV inhibitor) or PMSF (a serine protease inhibitor), but was not apparently affected by iodoacetamide (a cysteine protease inhibitor).
Abstract: We report the size dependence of 1D superconductivity in ultrathin (10-130 nm) nanowires produced by coating suspended carbon nanotubes with a superconducting NbN thin film. The resistance-temperature characteristic curves for samples with ≧25 nm wire width show the superconducting transition. On the other hand, for the samples with 10-nm width, the superconducting transition is not exhibited owing to the quantum size effect. The differential resistance vs. current density characteristic curves show some peak, indicating that Josephson junctions are formed in nanowires. The presence of the Josephson junctions is well explained by the measurement of the magnetic field dependence of the critical current. These understanding allow for the further expansion of the potential application of NbN, which is utilized for single photon detectors and so on.
Abstract: In this paper we use data mining techniques to investigate factors that contribute significantly to enhancing the risk of acute coronary syndrome. We assume that the dependent variable is diagnosis – with dichotomous values showing presence or absence of disease. We have applied binary regression to the factors affecting the dependent variable. The data set has been taken from two different cardiac hospitals of Karachi, Pakistan. We have total sixteen variables out of which one is assumed dependent and other 15 are independent variables. For better performance of the regression model in predicting acute coronary syndrome, data reduction techniques like principle component analysis is applied. Based on results of data reduction, we have considered only 14 out of sixteen factors.
Abstract: In this paper smooth trajectories are computed in the Lie group SO(2, 1) as a motion planning problem by assigning a Frenet frame to the rigid body system to optimize the cost function of the elastic energy which is spent to track a timelike curve in Minkowski space. A method is proposed to solve a motion planning problem that minimize the integral of the square norm of Darboux vector of a timelike curve. This method uses the coordinate free Maximum Principle of Optimal control and results in the theory of integrable Hamiltonian systems. The presence of several conversed quantities inherent in these Hamiltonian systems aids in the explicit computation of the rigid body motions.
Abstract: Copolymerization of ethylene with 1-hexene was
carried out using two ansa-fluorenyl titanium derivative complexes.
The substituent effect on the catalytic activity, monomer reactivity
ratio and polymer property was investigated. It was found that the
presence of t-Bu groups on fluorenyl ring exhibited remarkable
catalytic activity and produced polymer with high molecular weight.
However, these catalysts produce polymer with narrow molecular
weight distribution, indicating the characteristic of single-site
metallocene catalyst. Based on 13C NMR, we can observe that
monomer reactivity ratio was affected by catalyst structure. The rH
values of complex 2 were lower than that of complex 1 which might
be result from the higher steric hindrance leading to a reduction of 1-
hexene insertion step.
Abstract: In order to enhance the knowledge of certain
phytochemical Algerian plants that are widely used in traditional
medicine and to exploit their therapeutic potential in modern
medicine, we have done a specific extraction of terpenes and
alkaloids from the leaves of Euphorbia granulata to evaluate the
antioxidant and antibacterial activity of this extracts. After the
extraction it was found that the terpene extract gave the highest yield
59.72% compared with alkaloids extracts.
The disc diffusion method was used to determine the antibacterial
activity against different bacterial strains: Escherichia coli
(ATCC25922), Pseudomonas aeruginosa (ATCC27853) and
Staphylococcus aureus (ATCC25923). All extracts have shown
inhibition of growth bacteria. The different zones of inhibition have
varied from (7 -10 mm) according to the concentrations of extract
used.
Testing the antiradical activity on DPPH-TLC plates indicated the
presence of substances that have potent anti-free radical. As against,
the BC-TLC revealed that only terpenes extract which was reacted
positively. These results can validate the importance of Euphorbia
granulata in traditional medicine.
Abstract: The purpose of this paper is to investigate the
durability of cement mortar in presence of Rice Husk Ash (RHA).
The strength and durability of mortar with different replacement
level (0%, 10%, 15%, 20%, 25% and 30%) of Ordinary Portland
Cement (OPC) by RHA is investigated here. RHA was
manufactured from an uncontrolled burning process. Test samples
were prepared with river sand of FM 2.73. Samples were kept in
controlled environment up to test time. The results show that
addition of RHA was shown better results for 20% replacement
level than OPC at 90 days. In durability test all samples passed for
20 cycles except 25% and 30% replacement level.
Abstract: At any point of time, a power system operating
condition should be stable, meeting various operational criteria and it
should also be secure in the event of any credible contingency. Present
day power systems are being operated closer to their stability limits
due to economic and environmental constraints. Maintaining a stable
and secure operation of a power system is therefore a very important
and challenging issue. Voltage instability has been given much
attention by power system researchers and planners in recent years,
and is being regarded as one of the major sources of power system
insecurity. Voltage instability phenomena are the ones in which the
receiving end voltage decreases well below its normal value and does
not come back even after setting restoring mechanisms such as VAR
compensators, or continues to oscillate for lack of damping against the
disturbances. Reactive power limit of power system is one of the major
causes of voltage instability. This paper investigates the effects of
coordinated series capacitors (SC) with static VAR compensators
(SVC) on steady-state voltage stability of a power system. Also, the
influence of the presence of series capacitor on static VAR
compensator controller parameters and ratings required to stabilize
load voltages at certain values are highlighted.
Abstract: The aim of the study was to investigate phytochemical
properties, antimicrobial activity and cytotoxicity of Aloe vera. The
phytochemical screening of the extracts of leaves of A. vera revealed
the presence of bioactive compounds such as alkaloids, tannins,
flavonoids phenolic compounds, and etc. with absence of cyanogenic
glycosides. Three different solvents such as methanol, ethanol and
Di-Methyl sulfoxide were used to screen the antimicrobial activity of
A. vera leaves against four human clinical pathogens by agar well
diffusion method. The maximum antibacterial activities were
observed in methanol extract followed by ethanol and Di-Methyl
sulfoxide. It was also found that remarkable antibacterial activities
with methanolic and ethanolic extracts of A. vera compared with the
standard antibiotic, tetracycline that was not active against E. coli
and S. boydii and supported the view that A. vera is a potent
antimicrobial agent compared with the conventional antibiotic.
Moreover, the brine shrimps (Artemia salina) toxicity test exhibited
LC50 value was 569.52 ppm. The resulting data indicated that the A.
vera plant have less toxic effects on brine shrimp. Hence, it is
signified that Aloe vera plant extract is safe to be used as an
antimicrobial agent.
Abstract: Inter-symbol interference if not taken care off may cause severe error at the receiver and the detection of signal becomes difficult. An adaptive equalizer employing Recursive Least Squares algorithm can be a good compensation for the ISI problem. In this paper performance of communication link in presence of Least Mean Square and Recursive Least Squares equalizer algorithm is analyzed. A Model of communication system having Quadrature amplitude modulation and Rician fading channel is implemented using MATLAB communication block set. Bit error rate and number of errors is evaluated for RLS and LMS equalizer algorithm, due to change in Signal to Noise Ratio (SNR) and fading component gain in Rician fading Channel.
Abstract: In this study, we report the synthesis and
characterization of nanohydroxyapatite (nHAp) in gelatin-starch
matrix via biomimetic method. Characterization of the samples was
performed using X-ray diffraction (XRD) and Fourier Transform
infrared spectroscopy (FT-IR). The Size and morphology of the
nHAp samples were determined using scanning and transmission
electron microscopy (SEM and TEM). The results reveal that the
shape and morphology of nHAp is influenced by presence of
biopolymers as template. Carbonyl and amino groups from gelatin
and hydroxyl from starch play crucial roles in HAp formation on the
surface of gelatin-starch.
Abstract: This work proposes an accurate crosstalk noise estimation method in the presence of multiple RLC lines for the use in design automation tools. This method correctly models the loading effects of non switching aggressors and aggressor tree branches using resistive shielding effect and realistic exponential input waveforms. Noise peak and width expressions have been derived. The results obtained are at good agreement with SPICE results. Results show that average error for noise peak is 4.7% and for the width is 6.15% while allowing a very fast analysis.