Abstract: Morgan-s refinement calculus (MRC) is one of the
well-known methods allowing the formality presented in the program
specification to be continued all the way to code. On the other hand,
Object-Z (OZ) is an extension of Z adding support for classes and
objects. There are a number of methods for obtaining code from OZ
specifications that can be categorized into refinement and animation
methods. As far as we know, only one refinement method exists
which refines OZ specifications into code. However, this method
does not have fine-grained refinement rules and thus cannot be
automated. On the other hand, existing animation methods do not
present mapping rules formally and do not support the mapping of
several important constructs of OZ, such as all cases of operation
expressions and most of constructs in global paragraph. In this paper,
with the aim of providing an automatic path from OZ specifications
to code, we propose an approach to map OZ specifications into their
counterparts in MRC in order to use fine-grained refinement rules of
MRC. In this way, having counterparts of our specifications in MRC,
we can refine them into code automatically using MRC tools such as
RED. Other advantages of our work pertain to proposing mapping
rules formally, supporting the mapping of all important constructs of
Object-Z, and considering dynamic instantiation of objects while OZ
itself does not cover this facility.
Abstract: An aqueous methanol sensor for use in direct
methanol fuel cells (DMFCs) applications is demonstrated; the
methanol sensor is built using dispersed single-walled carbon
nanotubes (SWCNTs) with Nafion117 solution to detect the methanol
concentration in water. The study is aimed at the potential use of the
carbon nanotubes array as a methanol sensor for direct methanol fuel
cells (DMFCs). The concentration of methanol in the fuel circulation
loop of a DMFC system is an important operating parameter, because
it determines the electrical performance and efficiency of the fuel cell
system. The sensor is also operative even at ambient temperatures
and responds quickly to changes in the concentration levels of the
methanol. Such a sensor can be easily incorporated into the methanol
fuel solution flow loop in the DMFC system.
Abstract: Simultaneous recovery of copper and DCA from
simulated MEUF concentrated stream was investigated. Effects of
surfactant (DCA) and metal (copper) concentrations, surfactant to
metal molar ratio (S/M ratio), electroplating voltage, EDTA
concentration, solution pH, and salt concentration on metal recovery
and current efficiency were studied. Electric voltage of -0.5 V was
shown to be optimum operation condition in terms of Cu recovery,
current efficiency, and surfactant recovery. Increasing Cu recovery and
current efficiency were observed with increases of Cu concentration
while keeping concentration of DCA constant. However, increasing
both Cu and DCA concentration while keeping S/M ratio constant at
2.5 showed detrimental effect on Cu recovery at DCA concentration
higher than 15 mM. Cu recovery decreases with increasing pH while
current efficiency showed an opposite trend. It is believed that
conductivity is the main cause for discrepancy of Cu recovery and
current efficiency observed at different pH. Finally, it was shown that
EDTA had adverse effect on both Cu recovery and current efficiency
while addition of NaCl salt had negative impact on current efficiency
at concentration higher than 8000 mg/L.
Abstract: A new digital watermarking technique for images that
are sensitive to blocking artifacts is presented. Experimental results
show that the proposed MDCT based approach produces highly
imperceptible watermarked images and is robust to attacks such as
compression, noise, filtering and geometric transformations. The
proposed MDCT watermarking technique is applied to fingerprints
for ensuring security. The face image and demographic text data of
an individual are used as multiple watermarks. An AFIS system was
used to quantitatively evaluate the matching performance of the
MDCT-based watermarked fingerprint. The high fingerprint
matching scores show that the MDCT approach is resilient to
blocking artifacts. The quality of the extracted face and extracted text
images was computed using two human visual system metrics and
the results show that the image quality was high.
Abstract: We demonstrate single-photon interference over 10 km using a plug and play system for quantum key distribution. The quality of the interferometer is measured by using the interferometer
visibility. The coding of the signal is based on the phase coding and the value of visibility is based on the interference effect, which result a number of count. The setup gives full control of polarization inside
the interferometer. The quality measurement of the interferometer is based on number of count per second and the system produces 94 % visibility in one of the detectors.
Abstract: The architecture of Safavid Dynasty can be considered the epitome of Iranian architectural beauty. Safavid dynasty (1501- 1722 AC) along with Ottoman in Turkey and Mughal Empire in India were the three great Islamic nations of their time (1500 AC) often known as the last Islamic countries with international authority up to the 20th Century. This era approximately coincide with Renaissance in Europe. In this era, large European countries begin amassing power thanks to significant scientific, cultural and religious revolutions of that time and colonizing nations such as England, Spain and Portugal began to influence international trends with in an increasing while other non-industrial nations diminished. The main objective of this paper is to give a typological overview of the development of decoration and ornament in the architecture of Safafid Dynasty in Iran. It is expected that it can start a wider discussion to enrich this nation-s heritage and contribute to the development of Islamic ornament in general.
Abstract: The interrelationship between international stock
markets has been a key study area among the financial market
researchers for international portfolio management and risk
measurement. The characteristics of security returns and their
dynamics play a vital role in the financial market theory. This study
is an attempt to find out the dynamic linkages among the equity
market of USA and emerging markets of Pakistan and India using
daily data covering the period of January 2003–December 2009. The
study utilizes Johansen (Journal of Economic Dynamics and Control,
12, 1988) and Johansen and Juselius (Oxford Bulletin of Economics
and Statistics, 52, 1990) cointegration procedure for long run
relationship and Granger-causality tests based on Toda and
Yamamoto (Journal of Econometrics, 66, 1995) methodology.
No cointegration was found among stock markets of USA, Pakistan
and India, while Granger-causality test showed the evidence of
unidirectional causality running from New York stock exchange to
Bombay and Karachi stock exchanges.
Abstract: This paper attempts to model and design a simple
fuzzy logic controller with Variable Reference. The Variable
Reference (VR) is featured as an adaptability element which is
obtained from two known variables – desired system-input and actual
system-output. A simple fuzzy rule-based technique is simulated to
show how the actual system-input is gradually tuned in to a value
that closely matches the desired input. The designed controller is
implemented and verified on a simple heater which is controlled by
PIC Microcontroller harnessed by a code developed in embedded C.
The output response of the PIC-controlled heater is analyzed and
compared to the performances by conventional fuzzy logic
controllers. The novelty of this work lies in the fact that it gives
better performance by using less number of rules compared to
conventional fuzzy logic controllers.
Abstract: Mercury adsorption on soil was investigated at
different ionic strengths using Ca(NO3)2 as a background electrolyte.
Results fitted the Langmuir equation and the adsorption isotherms
reached a plateau at higher equilibrium concentrations. Increasing
ionic strength decreased the sorption of mercury, due to the
competition of Ca ions for the sorption sites in the soils. The
influence of ionic strength was related to the mechanisms of heavy
metal sorption by the soil. These results can be of practical
importance both in the agriculture and contaminated soils since the
solubility of mercury in soils are strictly dependent on the adsorption
and release process.
Abstract: In this paper a tuning fork type structure of Ultra
Wideband (UWB) antenna is proposed. The antenna offers excellent
performance for UWB system, ranging from 3.7 GHz to 13.8 GHz.
The antenna exhibits a 10 dB return loss bandwidth over the entire
frequency band. The rectangular patch antenna is designed on FR4
substrate and fed with 50 ohms microstrip line by optimizing the
width of partial ground, the width and position of the feedline to
operate in UWB. The rectangular patch is then modified to tuning
fork structure by maintaining UWB frequency range.
Abstract: Autoregressive Moving average (ARMA) is a parametric based method of signal representation. It is suitable for problems in which the signal can be modeled by explicit known source functions with a few adjustable parameters. Various methods have been suggested for the coefficients determination among which are Prony, Pade, Autocorrelation, Covariance and most recently, the use of Artificial Neural Network technique. In this paper, the method of using Artificial Neural network (ANN) technique is compared with some known and widely acceptable techniques. The comparisons is entirely based on the value of the coefficients obtained. Result obtained shows that the use of ANN also gives accurate in computing the coefficients of an ARMA system.
Abstract: A direct downconversion receiver implemented in 0.13 μm 1P8M process is presented. The circuit is formed by a single-end LNA, an active balun for conversion into balanced mode, a quadrature double-balanced passive switch mixer and a quadrature voltage-controlled oscillator. The receiver operates in the 2.4 GHz ISM band and complies with IEEE 802.15.4 (ZigBee) specifications. The circuit exhibits a very low noise figure of only 2.27 dB and dissipates only 14.6 mW with a 1.2 V supply voltage and is hence suitable for low-power applications.
Abstract: An efficient and green protocol for the synthesis of α-
aminonitriles derivatives by one-pot reaction of different aldehydes
with amines and trimethylsilyl cyanides has been developed using
natural alumina, alumina sulfuric acid (ASA), nano-γ-alumina, nanoalumina
sulfuric acid (nano-ASA) under microwave irradiation and
solvent-free conditions. The advantages of methods are short reaction
times, high yields, milder conditions and easy work up. The catalysts
can be recovered for the subsequent reactions and reused without any
appreciable loss of efficiency.
Abstract: The heterotrophic seedling growth can be defined as a
product of two components: (1) the weight of mobilized seed reserve,
and (2) conversion efficiency of utilized seed reserve to seedling
tissue. The first component can be further divided into (1) initial seed
weight, and (2) the fraction of seed reserve, which is mobilized. The
objective of this study was the identification of the sensitive seedling
growth component(s) in response to drought and salinity stresses.
Two experiments were separately conducted using various salinity
levels (osmotic pressure) of 0, 0.25, 0.50, 0.75, 1, 1.25 and 1.5 MPa
created using NaCl as first experiment and by polyethylene glycol
(drought stress) of 0, 0.2, 0.4, 0.6, 0.8, 1, 1.2 and 1.4 MPa in second
experiment. Seeds of five crops species (Hordeum vulgare, Brassica
napus, Zea mays, Medicago sativa and Medicago scutellata) were
used in each experiment. In both experiments, seedling growth,
fraction of seed reserve utilization and weight of mobilized seed
reserve decreased with increasing drought and salt intensity.
However, drought and salinity stresses had no effect on the
conversion efficiency. It was concluded that the sensitive component
of seedling growth is the weight of mobilized seed reserve.
Abstract: To achieve reliable solutions, today-s numerical and
experimental activities need developing more accurate methods and
utilizing expensive facilities, respectfully in microchannels. The analytical
study can be considered as an alternative approach to alleviate
the preceding difficulties. Among the analytical solutions, those with
high robustness and low complexities are certainly more attractive.
The perturbation theory has been used by many researchers to analyze
microflows. In present work, a compressible microflow with constant
heat flux boundary condition is analyzed. The flow is assumed to be
fully developed and steady. The Mach and Reynolds numbers are also
assumed to be very small. For this case, the creeping phenomenon
may have some effect on the velocity profile. To achieve robustness
solution it is assumed that the flow is quasi-isothermal. In this study,
the creeping term which appears in the slip boundary condition
is formulated by different mathematical formulas. The difference
between this work and the previous ones is that the creeping term
is taken into account and presented in non-dimensionalized form.
The results obtained from perturbation theory are presented based
on four non-dimensionalized parameters including the Reynolds,
Mach, Prandtl and Brinkman numbers. The axial velocity, normal
velocity and pressure profiles are obtained. Solutions for velocities
and pressure for two cases with different Br numbers are compared
with each other and the results show that the effect of creeping
phenomenon on the velocity profile becomes more important when
Br number is less than O(ε).
Abstract: An experiment of vented gas explosions involving two
different cylinder vessel volumes (0.2 and 0.0065 m3) was reported,
with equivalence ratio (Φ) ranged from 0.3 to 1.6. Both vessels were
closed at the rear end and fitted at the other side with a circular
orifice plate that gives a constant vent coefficient (K =Av/V2/3) of
16.4. It was shown that end ignition gives higher overpressures than
central ignition, even though most of the published work on venting
uses central ignition. For propane and ethylene, it is found that rich
mixtures gave the highest overpressures and these mixtures are not
considered in current vent design guidance; which the guideline is
based on mixtures giving the maximum flame temperature. A strong
influence of the vessel volume at constant K was found for methane,
propane, ethylene and hydrogen-air explosions. It can be concluded
that self- acceleration of the flame, which is dependent on the
distance of a flame from the ignition and the ‘suction’ at the vent
opening are significant factors affecting the vent flow during
explosion development in vented gas explosion. This additional
volume influence on vented explosions is not taken into account in
the current vent design guidance.
Abstract: This paper presents the first reflexions about Margaret Mascarenhas-s novel, “Skin", based on post-colonial critic perception of History and its agents. By doing so, this study will put light on a literary corpus of Indian Literatures: the Goan Literature whose cultural basis creates an unique historiographic metafiction conducted by different characters that one by one plays the narrator role.
Abstract: The role of the pollen grain, with to the reproductive
process of higher plants, is to deliver the spermatic cells to the
embryo sac for egg fertilization. The aim of this project was study
the effect of electromagnetic fields on structure and pollen grains
development in Chenopodium album. Anthers of Chenopodium
album L. were collected at different stages of development from
control (without electromagnetic field) and plants grown at 10m from
the field sources. Structure and development of pollen grains were
studied and compared. The studying pollen structure by Light and
Scanning electron microscopy showed that electromagnetic fields
reduction of pollen grains number and male sterility, thus , in some
anthers, pollen grains were attached together and deformed compared
to control ones. The data presented suggest that prolonged exposures
of plants to magnetic field may cause different biological effects at
the cellular tissue and organ levels.
Abstract: Robots- visual perception is a field that is gaining
increasing attention from researchers. This is partly due to emerging
trends in the commercial availability of 3D scanning systems or
devices that produce a high information accuracy level for a variety of
applications. In the history of mining, the mortality rate of mine workers
has been alarming and robots exhibit a great deal of potentials to
tackle safety issues in mines. However, an effective vision system
is crucial to safe autonomous navigation in underground terrains.
This work investigates robots- perception in underground terrains
(mines and tunnels) using statistical region merging (SRM) model.
SRM reconstructs the main structural components of an imagery
by a simple but effective statistical analysis. An investigation is
conducted on different regions of the mine, such as the shaft, stope
and gallery, using publicly available mine frames, with a stream of
locally captured mine images. An investigation is also conducted on a
stream of underground tunnel image frames, using the XBOX Kinect
3D sensors. The Kinect sensors produce streams of red, green and
blue (RGB) and depth images of 640 x 480 resolution at 30 frames per
second. Integrating the depth information to drivability gives a strong
cue to the analysis, which detects 3D results augmenting drivable and
non-drivable regions in 2D. The results of the 2D and 3D experiment
with different terrains, mines and tunnels, together with the qualitative
and quantitative evaluation, reveal that a good drivable region can be
detected in dynamic underground terrains.
Abstract: This paper presents a simple and sensitive kinetic
spectrophotometric method for the determination of ramipril in
commercial dosage forms. The method is based on the reaction of the
drug with 1-chloro-2,4-dinitrobenzene (CDNB) in dimethylsulfoxide
(DMSO) at 100 ± 1ºC. The reaction is followed
spectrophotometrically by measuring the rate of change of the
absorbance at 420 nm. Fixed-time (ΔA) and equilibrium methods are
adopted for constructing the calibration curves. Both the calibration
curves were found to be linear over the concentration ranges 20 - 220
μg/ml. The regression analysis of calibration data yielded the linear
equations: Δ A = 6.30 × 10-4 + 1.54 × 10-3 C and A = 3.62 × 10-4 +
6.35 × 10-3 C for fixed time (Δ A) and equilibrium methods,
respectively. The limits of detection (LOD) for fixed time and
equilibrium methods are 1.47 and 1.05 μg/ml, respectively. The
method has been successfully applied to the determination of ramipril
in commercial dosage forms. Statistical comparison of the results
shows that there is no significant difference between the proposed
methods and Abdellatef-s spectrophotometric method.