Abstract: In this paper, we describe the use of formal methods
to model malware behaviour. The modelling of harmful behaviour
rests upon syntactic structures that represent malicious procedures
inside malware. The malicious activities are modelled by a formal
grammar, where API calls’ components are the terminals and the set
of API calls used in combination to achieve a goal are designated
non-terminals. The combination of different non-terminals in various
ways and tiers make up the attack vectors that are used by harmful
software. Based on these syntactic structures a parser can be
generated which takes execution traces as input for pattern
recognition.
Abstract: The work reported through this paper is an
experimental work conducted on High Performance Concrete (HPC)
with super plasticizer with the aim to develop some models suitable
for prediction of compressive strength of HPC mixes. In this study,
the effect of varying proportions of fly ash (0% to 50% @ 10%
increment) on compressive strength of high performance concrete has
been evaluated. The mix designs studied were M30, M40 and M50 to
compare the effect of fly ash addition on the properties of these
concrete mixes. In all eighteen concrete mixes that have been
designed, three were conventional concretes for three grades under
discussion and fifteen were HPC with fly ash with varying
percentages of fly ash. The concrete mix designing has been done in
accordance with Indian standard recommended guidelines. All the
concrete mixes have been studied in terms of compressive strength at
7 days, 28 days, 90 days, and 365 days. All the materials used have
been kept same throughout the study to get a perfect comparison of
values of results. The models for compressive strength prediction
have been developed using Linear Regression method (LR), Artificial
Neural Network (ANN) and Leave-One-Out Validation (LOOV)
methods.
Abstract: The current-voltage (I-V) characteristics of Pd/n-GaN Schottky barrier were studied at temperatures over room temperature (300-470K). The values of ideality factor (n), zero-bias barrier height (φB0), flat barrier height (φBF) and series resistance (Rs) obtained from I-V-T measurements were found to be strongly temperature dependent while (φBo) increase, (n), (φBF) and (Rs) decrease with increasing temperature. The apparent Richardson constant was found to be 2.1x10-9 Acm-2K-2 and mean barrier height of 0.19 eV. After barrier height inhomogeneities correction, by assuming a Gaussian distribution (GD) of the barrier heights, the Richardson constant and the mean barrier height were obtained as 23 Acm-2K-2 and 1.78eV, respectively. The corrected Richardson constant was very closer to theoretical value of 26 Acm-2K-2.
Abstract: This paper describes a sliding mode controller for
autonomous underwater vehicles (AUVs). The dynamic of AUV
model is highly nonlinear because of many factors, such as
hydrodynamic drag, damping, and lift forces, Coriolis and centripetal
forces, gravity and buoyancy forces, as well as forces from thruster.
To address these difficulties, a nonlinear sliding mode controller is
designed to approximate the nonlinear dynamics of AUV and
improve trajectory tracking. Moreover, the proposed controller can
profoundly attenuate the effects of uncertainties and external
disturbances in the closed-loop system. Using the Lyapunov theory
the boundedness of AUV tracking errors and the stability of the
proposed control system are also guaranteed. Numerical simulation
studies of an AUV are included to illustrate the effectiveness of the
presented approach.
Abstract: Radiative heat transfer in participating medium was
carried out using the finite volume method. The radiative transfer
equations are formulated for absorbing and anisotropically scattering
and emitting medium. The solution strategy is discussed and the
conditions for computational stability are conferred. The equations
have been solved for transient radiative medium and transient
radiation incorporated with transient conduction. Results have been
obtained for irradiation and corresponding heat fluxes for both the
cases. The solutions can be used to conclude incident energy and
surface heat flux. Transient solutions were obtained for a slab of heat
conducting in slab and by thermal radiation. The effect of heat
conduction during the transient phase is to partially equalize the
internal temperature distribution. The solution procedure provides
accurate temperature distributions in these regions. A finite volume
procedure with variable space and time increments is used to solve
the transient radiation equation. The medium in the enclosure
absorbs, emits, and anisotropically scatters radiative energy. The
incident radiations and the radiative heat fluxes are presented in
graphical forms. The phase function anisotropy plays a significant
role in the radiation heat transfer when the boundary condition is
non-symmetric.
Abstract: Target of this study was the analysis of the impact of
crude glycerol on canine spermatozoa motility, morphology,
viability, and membrane integrity. Experiments were realized in vitro.
In the study, semen from 5 large dog breeds was used. They were
typical representatives of large breeds, coming from healthy rearing,
regularly vaccinated and integrated to the further breeding. Semen
collections were realized at the owners of animals and in the
veterinary clinic. Subsequently the experiments were realized at the
Department of Animal Physiology of the SUA in Nitra. The
spermatozoa motility was evaluated using CASA analyzer
(SpermVisionTM, Minitub, Germany) at the temperature 5 and 37°C
for 5 hours. In the study, 13 motility parameters were evaluated.
Generally, crude glycerol has generally negative effect on
spermatozoa motility. Morphological analysis was realized using
Hancock staining and the preparations were evaluated at
magnification 1000x using classification tables of morphologically
changed spermatozoa. Data clearly detected the highest number of
morphologically changed spermatozoa in the experimental groups
(know twisted tails, tail torso and tail coiling). For acrosome
alterations swelled acrosomes, removed acrosomes and acrosomes
with undulated membrane were detected. In this study also the effect
of crude glycerol on spermatozoa membrane integrity were analyzed.
The highest crude glycerol concentration significantly affects
spermatozoa integrity. Results of this study show that crude glycerol
has effect of spermatozoa motility, viability, and membrane integrity.
Detected changes are related to crude glycerol concentration,
temperature, as well as time of incubation.
Abstract: Digital reference service is when a traditional library
reference service is provided electronically. In most cases users do
not get full satisfaction from using digital reference service due to
variety of reasons. This paper discusses the formal specification of
web services applications for digital reference services (WSDRS).
WSDRS is an informal model that claims to reduce the problems of
digital reference services in libraries. It uses web services technology
to provide efficient digital way of satisfying users’ need in the
reference section of libraries. Informal model is in natural language
which is inconsistent and ambiguous that may cause difficulties to the
developers of the system. In order to solve this problem we decided
to convert the informal specifications into formal specifications. This
is supposed to reduce the overall development time and cost. We use
Z language to develop the formal model and verify it with Z/EVES
theorem prover tool.
Abstract: Piezoelectric actuator is treated as RC load when it is
modeled electrically. For some piezoelectric actuator applications,
arbitrary voltage is required to actuate. Especially for unidirectional
arbitrary voltage driving like as sine wave, some special inverter with
circuit that can charge and discharge the capacitive energy can be
used. In this case, the difference between power supply level and the
object voltage level for RC load is varied. Because the control gain is
constant, the controlled output is not uniform according to the voltage
difference. In this paper, for charge and discharge circuit for
unidirectional arbitrary voltage driving for piezoelectric actuator, the
controller gain is controlled according to the voltage difference. With
the proposed simple idea, the load voltage can have controlled
smoothly although the voltage difference is varied. The
appropriateness is proved from the simulation of the proposed circuit.
Abstract: Food supply chain is one of the most complex supply
chain networks due to its perishable nature and customer oriented
products, and food safety is the major concern for this industry. IT
system could help to minimize the production and consumption of
unsafe food by controlling and monitoring the entire system.
However, there have been many issues in adoption of IT system in
this industry specifically within SMEs sector. With this regard, this
study presents a novel approach to use IT and tractability systems in
the food supply chain, using application of RFID and central
database.
Abstract: This paper addresses the issue of resource allocation
in the emerging cognitive technology. Focusing the Quality of
Service (QoS) of Primary Users (PU), a novel method is proposed for
the resource allocation of Secondary Users (SU). In this paper, we
propose the unique Utility Function in the game theoretic model of
Cognitive Radio which can be maximized to increase the capacity of
the Cognitive Radio Network (CRN) and to minimize the
interference scenario. Utility function is formulated to cater the need
of PUs by observing Signal to Noise ratio. Existence of Nash
Equilibrium for the postulated game is established.
Abstract: The shielding ability of a shielding cavity with an
aperture will be greatly degraded at resonance frequencies, and the
resonance modes and frequencies are affected by aperture resonances
and aperture-cavity coupling, which are closely related with aperture
sizes. The equivalent circuit method and numerical method of
Transmission Line Matrix (TLM) are used to analyze the effects of
aperture resonances and aperture-cavity coupling on the
electromagnetic resonances of a cavity with an aperture in this paper.
Both analytical and numerical results show that the resonance modes
of a shielding cavity with an aperture consist of cavity resonance
modes and aperture resonance modes, and the resonance frequencies
will shift with the change of the aperture sizes because of the aperture
resonances and aperture-cavity coupling. Variation rules of
electromagnetic resonances with aperture sizes for a cavity with an
aperture are given, which will be useful for design of shielding
cavities.
Abstract: This paper describes I²C Slave implementation using
I²C master obtained from the OpenCores website. This website
provides free Verilog and VHDL Codes to users. The design
implementation for the I²C slave is in Verilog Language and uses
EDA tools for ASIC design known as ModelSim from Mentor
Graphic. This tool is used for simulation and verification purposes.
Common application for this I²C Master-Slave integration is also
included. This paper also addresses the advantages and limitations of
the said design.
Abstract: Thermal enhancement of a single mini channel in
Proton Exchange Membrane Fuel Cell (PEMFC) cooling plate is
numerically investigated. In this study, low concentration of Al2O3 in
Water - Ethylene Glycol mixtures is used as coolant in single channel
of carbon graphite plate to mimic the mini channels in PEMFC
cooling plate. A steady and incompressible flow with constant heat
flux is assumed in the channel of 1mm x 5mm x 100mm. Nano
particle of Al2O3 used ranges from 0.1, 0.3 and 0.5 vol %
concentration and then dispersed in 60:40 (water: Ethylene Glycol)
mixture. The effect of different flow rates to fluid flow and heat
transfer enhancement in Re number range of 20 to 140 was observed.
The result showed that heat transfer coefficient was improved by
18.11%, 9.86% and 5.37% for 0.5, 0.3 and 0.1 vol. % Al2O3 in 60:40
(water: EG) as compared to base fluid of 60:40 (water: EG). It is also
showed that the higher vol. % concentration of Al2O3 performed
better in term of thermal enhancement but at the expense of higher
pumping power required due to increase in pressure drop
experienced. Maximum additional pumping power of 0.0012W was
required for 0.5 vol % Al2O3 in 60:40 (water: EG) at Re number 140.
Abstract: In this numerical work, mixed convection and entropy
generation of Cu–water nanofluid in a lid-driven square cavity have
been investigated numerically using the Lattice Boltzmann Method.
Horizontal walls of the cavity are adiabatic and vertical walls have
constant temperature but different values. The top wall has been
considered as moving from left to right at a constant speed, U0. The
effects of different parameters such as nanoparticle volume
concentration (0–0.05), Rayleigh number (104–106) and Reynolds
numbers (1, 10 and 100) on the entropy generation, flow and
temperature fields are studied. The results have shown that addition
of nanoparticles to the base fluid affects the entropy generation, flow
pattern and thermal behavior especially at higher Rayleigh and low
Reynolds numbers. For pure fluid as well as nanofluid, the increase
of Reynolds number increases the average Nusselt number and the
total entropy generation, linearly. The maximum entropy generation
occurs in nanofluid at low Rayleigh number and at high Reynolds
number. The minimum entropy generation occurs in pure fluid at low
Rayleigh and Reynolds numbers. Also at higher Reynolds number,
the effect of Cu nanoparticles on enhancement of heat transfer was
decreased because the effect of lid-driven cavity was increased. The
present results are validated by favorable comparisons with
previously published results. The results of the problem are presented
in graphical and tabular forms and discussed.
Abstract: Operation enhancement in an air cooler depends on
rate of heat transfer, and pressure drop. In this paper for a given heat
duty, study of the effects of FPI (Fin Per Inch) and fin type (circular
and hexagonal fins) on heat transfer, and pressure drop in an air
cooler in Iran, Arvand petrochemical. A program in EES
(Engineering Equations Solver) software moreover, Aspen B-JAC
and HTFS+ softwares are used for this purpose to solve governing
equations. At first the simulated results obtained from this program is
compared to the experimental data for two cases of FPI. The effects
of FPI from 3 to 15 over heat transfer (Q) to pressure drop ratio
(Q/Δp ratio). This ratio is one of the main parameters in design, and
simulation heat exchangers. The results show that heat transfer (Q)
and pressure drop increase with increasing FPI steadily, and the Q/Δp
ratio increases to FPI=12 and then decreased gradually to FPI=15,
and Q/Δp ratio is maximum at FPI=12. The FPI value selection
between 8 and 12 obtained as a result to optimum heat transfer to
pressure drop ratio. Also by contrast, between circular and hexagonal
fins results, the Q/Δp ratio of hexagonal fins more than Q/Δp ratio of
circular fins for FPI between 8 and 12 (optimum FPI)
Abstract: The latest years the number of immigrants at Greece
has increased dramatically. Their impact on the National Health
System (NHS) has not been yet thoroughly investigated. This paper
analyses the cost of immigrants to the NHS hospitals of the region of
Eastern Macedonia and Thrace. The data are collected from 2005 to
2011 from five different hospitals and are analysed using linear
mixed effects models in order to investigate the effects of nationality
and year on the cost of hospitalization and treatment. The results
show that generally the Greek nationality patients have a higher mean
cost of hospitalization compared to the immigrants and that there is
an increasing trend for the cost except for the year 2010.
Abstract: The paper aims to evaluate the effect of online
advertising on consumer purchase behavior in Malaysian
organizations. The paper has potential to extend and refine theory. A
survey was distributed among Students of UTM university during the
winter 2014 and 160 responses were collected. Regression analysis
was used to test the hypothesized relationships of the model. Result
shows that the predictors (cost saving factor, convenience factor and
customized product or services) have positive impact on intention to
continue seeking online advertising.
Abstract: This paper reports the viability of developing Zn-27Al
alloy matrix hybrid composites reinforced with alumina, graphite and
fly ash (solid waste bye product of coal in thermal power plants).
This research work was aimed at developing low cost-high
performance Zn-27Al matrix composite with low density. Alumina
particulates (Al2O3), graphite added with 0, 2, 3, 4 and 5 wt% fly ash
were utilized to prepare 10wt% reinforcing phase with Zn-27Al alloy
as matrix using two-step stir casting method. Density measurement,
estimated percentage porosity, tensile testing, micro hardness
measurement and optical microscopy were used to assess the
performance of the composites produced. The results show that the
hardness, ultimate tensile strength, and percent elongation of the
hybrid composites decrease with increase in fly ash content. The
maximum decrease in hardness and ultimate tensile strength of
13.72% and 15.25% respectively were observed for composite grade
containing 5wt% fly ash. The percentage elongation of composite
sample without fly ash is 8.9% which is comparable with that of the
sample containing 2wt% fly ash with percentage elongation of 8.8%.
The fracture toughness of the fly ash containing composites was
however superior to those of composites without fly ash with 5wt%
fly ash containing composite exhibiting the highest fracture
toughness. The results show that fly ash can be utilized as
complementary reinforcement in ZA-27 alloy matrix composite to
reduce cost.
Abstract: This work explores the inter-region investment
behaviors of Integrated Circuit (IC) design industry from Taiwan to
China using the amount of foreign direct investment (FDI). According
to the mutual dependence among different IC design industrial
locations, Lotka-Volterra model is utilized to explore the FDI
interactions between South and East China. Effects of inter-regional
collaborations on FDI flows into China are considered. The analysis
results show that FDIs into South China for IC design industry
significantly inspire the subsequent FDIs into East China, while FDIs
into East China for Taiwan’s IC design industry significantly hinder
the subsequent FDIs into South China. Because the supply chain along
IC industry includes upstream IC design, midstream manufacturing, as
well as downstream packing and testing enterprises, IC design industry
has to cooperate with IC manufacturing, packaging and testing
industries in the same area to form a strong IC industrial cluster.
Taiwan’s IC design industry implement the largest FDI amount into
East China and the second largest FDI amount into South China
among the four regions: North, East, Mid-West and South China. If IC
design houses undertake more FDIs in South China, those in East
China are urged to incrementally implement more FDIs into East
China to maintain the competitive advantages of the IC supply chain in
East China. On the other hand, as the FDIs in East China rise, the FDIs
in South China will successively decline since capitals have
concentrated in East China. In addition, this investigation proves that
the prediction of Lotka-Volterra model in FDI trends is accurate
because the industrial interactions between the two regions are
included. Finally, this work confirms that the FDI flows cannot reach a
stable equilibrium point, so the FDI inflows into East and South China
will expand in the future.
Abstract: Rapid population growth, urbanization and
industrialization are known as the most important factors of
environment problems. Elimination and management of solid wastes
are also within the most important environment problems. One of the
main problems in solid waste management is the selection of the best
site for elimination of solid wastes. Lately, Geographical Information
System (GIS) has been used for easing selection of landfill area. GIS
has the ability of imitating necessary economic, environmental and
political limitations. They play an important role for the site selection
of landfill area as a decision support tool. In this study; map layers will be studied for minimum effect of
environmental, social and cultural factors and maximum effect for
engineering/economic factors for site selection of landfill areas and
using GIS for a decision support mechanism in solid waste landfill
areas site selection will be presented in Aksaray/Turkey city,
Güzelyurt district practice.