Abstract: Cryptographic protocols are widely used in various
applications to provide secure communications. They are usually
represented as communicating agents that send and receive messages.
These agents use their knowledge to exchange information and
communicate with other agents involved in the protocol. An agent
knowledge can be partitioned into explicit knowledge and procedural
knowledge. The explicit knowledge refers to the set of information
which is either proper to the agent or directly obtained from other
agents through communication. The procedural knowledge relates to
the set of mechanisms used to get new information from what is
already available to the agent.
In this paper, we propose a mathematical framework which specifies
the explicit knowledge of an agent involved in a cryptographic
protocol. Modelling this knowledge is crucial for the specification,
analysis, and implementation of cryptographic protocols. We also,
report on a prototype tool that allows the representation and the
manipulation of the explicit knowledge.
Abstract: Cancer becomes one of the leading cause of death in
many countries over the world. Fourier-transform infrared (FTIR)
spectra of human lung cancer cells (A549) treated with PMF (natural
product extracted from PM 701) for different time intervals were
examined. Second derivative and difference method were taken in
comparison studies. Cesium (Cs) and Rubidium (Rb) nanoparticles in
PMF were detected by Energy Dispersive X-ray attached to Scanning
Electron Microscope SEM-EDX. Characteristic changes in protein
secondary structure, lipid profile and changes in the intensities of
DNA bands were identified in treated A549 cells spectra. A
characteristic internucleosomal ladder of DNA fragmentation was
also observed after 30 min of treatment. Moreover, the pH values
were significantly increases upon treatment due to the presence of Cs
and Rb nanoparticles in the PMF fraction. These results support the
previous findings that PMF is selective anticancer agent and can
produce apoptosis to A549 cells.
Abstract: This paper proposes a new approach to offer a private
cloud service in HPC clusters. In particular, our approach relies on
automatically scheduling users- customized environment request as a
normal job in batch system. After finishing virtualization request jobs,
those guest operating systems will dismiss so that compute nodes will
be released again for computing. We present initial work on the
innovative integration of HPC batch system and virtualization tools
that aims at coexistence such that they suffice for meeting the
minimizing interference required by a traditional HPC cluster. Given
the design of initial infrastructure, the proposed effort has the potential
to positively impact on synergy model. The results from the
experiment concluded that goal for provisioning customized cluster
environment indeed can be fulfilled by using virtual machines, and
efficiency can be improved with proper setup and arrangements.
Abstract: Quality of 2D and 3D cross-sectional images produce
by Computed Tomography primarily depend upon the degree of
precision of primary and secondary X-Ray intensity detection.
Traditional method of primary intensity detection is apt to errors.
Recently the X-Ray intensity measurement system along with smart
X-Ray sensors is developed by our group which is able to detect
primary X-Ray intensity unerringly. In this study a new smart X-Ray
sensor is developed using Light-to-Frequency converter TSL230
from Texas Instruments which has numerous advantages in terms of
noiseless data acquisition and transmission. TSL230 construction is
based on a silicon photodiode which converts incoming X-Ray
radiation into the proportional current signal. A current to frequency
converter is attached to this photodiode on a single monolithic CMOS
integrated circuit which provides proportional frequency count to
incoming current signal in the form of the pulse train. The frequency
count is delivered to the center of PICDEM FS USB board with
PIC18F4550 microcontroller mounted on it. With highly compact
electronic hardware, this Demo Board efficiently read the smart
sensor output data. The frequency output approaches overcome
nonlinear behavior of sensors with analog output thus un-attenuated
X-Ray intensities could be measured precisely and better
normalization could be acquired in order to attain high resolution.
Abstract: Concrete performance is strongly affected by the
particle packing degree since it determines the distribution of the
cementitious component and the interaction of mineral particles. By
using packing theory designers will be able to select optimal
aggregate materials for preparing concrete with low cement content,
which is beneficial from the point of cost. Optimum particle packing
implies minimizing porosity and thereby reducing the amount of
cement paste needed to fill the voids between the aggregate particles,
taking also the rheology of the concrete into consideration. For
reaching good fluidity superplasticizers are required. The results from
pilot tests at Luleå University of Technology (LTU) show various
forms of the proposed theoretical models, and the empirical approach
taken in the study seems to provide a safer basis for developing new,
improved packing models.
Abstract: Many well-known interconnection networks, such as kary n-cubes, recursive circulant graphs, generalized recursive circulant graphs, circulant graphs and so on, are shown to belong to the family of cycle composition networks. Recently, various studies about mutually independent hamiltonian cycles, abbreviated as MIHC-s, on interconnection networks are published. In this paper, using an improved construction method, we obtain MIHC-s on cycle composition networks with a much weaker condition than the known result. In fact, we established the existence of MIHC-s in the cycle composition networks and the result is optimal in the sense that the number of MIHC-s we constructed is maximal.
Abstract: The purpose of this study was to explore the complex
flow structure a novel active-type micromixer that based on concept of
Wankle-type rotor. The characteristics of this micromixer are two
folds; a rapid mixing of reagents in a limited space due to the
generation of multiple vortices and a graduate increment in dynamic
pressure as the mixed reagents is delivered to the output ports.
Present micro-mixer is consisted of a rotor with shape of triangle
column, a blending chamber and several inlet and outlet ports. The
geometry of blending chamber is designed to make the rotor can be
freely internal rotated with a constant eccentricity ratio. When the
shape of the blending chamber and the rotor are fixed, the effects of
rotating speed of rotor and the relative locations of ports on the mixing
efficiency are numerical studied. The governing equations are
unsteady, two-dimensional incompressible Navier-Stokes equation
and the working fluid is the water. The species concentration equation
is also solved to reveal the mass transfer process of reagents in various
regions then to evaluate the mixing efficiency.
The dynamic mesh technique was implemented to model the
dynamic volume shrinkage and expansion of three individual
sub-regions of blending chamber when the rotor conducted a complete
rotating cycle. Six types of ports configuration on the mixing
efficiency are considered in a range of Reynolds number from 10 to
300. The rapid mixing process was accomplished with the multiple
vortex structures within a tiny space due to the equilibrium of shear
force, viscous force and inertial force. Results showed that the highest
mixing efficiency could be attained in the following conditions: two
inlet and two outlet ports configuration, that is an included angle of 60
degrees between two inlets and an included angle of 120 degrees
between inlet and outlet ports when Re=10.
Abstract: The aim of current study was to investigate the
changes in the quality parameters of Holstein bull semen during the
heat stress and the effect of feeding a source of omega-3 fatty acids
in this period. Samples were obtained from 19 Holstein bulls during
the expected time of heat stress in Iran (June to September 2009).
Control group (n=10) were fed a standard concentrate feed while
treatment group (n=9) had this feed top dressed with 100 g of an
omega-3 enriched nutriceutical. Semen quality was assessed on
ejaculates collected after 1, 5, 9 and 12 weeks of supplementation.
Computer-assisted assessment of sperm motility, viability (eosinnigrosin)
and hypo-osmotic swelling test (HOST) were conducted.
Heat stress affected sperm quality parameters by week 5 and 9
(p
Abstract: This paper argues that networks, such as the ECN and the American network, are affected by certain small events which are inherent to path dependence and preclude the full evolution towards efficiency. It is advocated that the American network is superior to the ECN in many respects due to its greater flexibility and longer history. This stems in particular from the creation of the American network, which was based on a small number of cases. Such a structure encourages further changes and modifications which are not necessarily radical. The ECN, by contrast, was established by legislative action, which explains its rigid structure and resistance to change. This paper is an attempt to transpose the superiority of the American network on to the ECN. It looks at concepts such as judicial cooperation, harmonisation of procedure, peer review and regulatory impact assessments (RIAs), and dispute resolution procedures.
Abstract: Recently, a great amount of interest has been shown
in the field of modeling and controlling hybrid systems. One of the
efficient and common methods in this area utilizes the mixed logicaldynamical
(MLD) systems in the modeling. In this method, the
system constraints are transformed into mixed-integer inequalities by
defining some logic statements. In this paper, a system containing
three tanks is modeled as a nonlinear switched system by using the
MLD framework. Comparing the model size of the three-tank system
with that of a two-tank system, it is deduced that the number of
binary variables, the size of the system and its complexity
tremendously increases with the number of tanks, which makes the
control of the system more difficult. Therefore, methods should be
found which result in fewer mixed-integer inequalities.
Abstract: The present paper considers the steady free convection
boundary layer flow of a viscoelastic fluid on solid sphere with
Newtonian heating. The boundary layer equations are an order higher
than those for the Newtonian (viscous) fluid and the adherence
boundary conditions are insufficient to determine the solution of
these equations completely. Thus, the augmentation an extra
boundary condition is needed to perform the numerical
computational. The governing boundary layer equations are first
transformed into non-dimensional form by using special
dimensionless group and then solved by using an implicit finite
difference scheme. The results are displayed graphically to illustrate
the influence of viscoelastic K and Prandtl Number Pr parameters on
skin friction, heat transfer, velocity profiles and temperature profiles.
Present results are compared with the published papers and are found
to concur very well.
Abstract: This paper presents an effective traffic lights
recognition method at the daytime. First, Potential Traffic Lights
Detector (PTLD) use whole color source of YCbCr channel image and
make each binary image of green and red traffic lights. After PTLD
step, Shape Filter (SF) use to remove noise such as traffic sign, street
tree, vehicle, and building. At this time, noise removal properties
consist of information of blobs of binary image; length, area, area of
boundary box, etc. Finally, after an intermediate association step witch
goal is to define relevant candidates region from the previously
detected traffic lights, Adaptive Multi-class Classifier (AMC) is
executed. The classification method uses Haar-like feature and
Adaboost algorithm. For simulation, we are implemented through Intel
Core CPU with 2.80 GHz and 4 GB RAM and tested in the urban and
rural roads. Through the test, we are compared with our method and
standard object-recognition learning processes and proved that it
reached up to 94 % of detection rate which is better than the results
achieved with cascade classifiers. Computation time of our proposed
method is 15 ms.
Abstract: The crop rice is the staple food of most Sierra Leone
with no close substitute. However, its cultivation has been on its last
legs over the years. The decline in the domestic rice cultivation has
had vicious socio-economic implications such as hiking consumer
prices, balance of payment dilemmas with debt burden. The objective
of this study is thus, to assess the effect of the shift of rural labour
towards non-agricultural sectors on rice cultivation. The tools utilized
for analyzing the problem under consideration involved a thorough
descriptive statistics and generalized linear model using OLS
technique. Increased rural population was established positive and
significant in affecting rice cultivation. Fertilizer utilization was
insignificant in rice cultivation. For reducing the shift of rural labor
force towards nonagricultural sectors, the government should make
the agricultural sector very lucrative.
Abstract: In this paper, the full state feedback controllers
capable of regulating and tracking the speed trajectory are presented.
A fourth order nonlinear mean value model of a 448 kW turbocharged
diesel engine published earlier is used for the purpose.
For designing controllers, the nonlinear model is linearized and
represented in state-space form. Full state feedback controllers
capable of meeting varying speed demands of drivers are presented.
Main focus here is to investigate sensitivity of the controller to the
perturbations in the parameters of the original nonlinear model.
Suggested controller is shown to be highly insensitive to the
parameter variations. This indicates that the controller is likely
perform with same accuracy even after significant wear and tear of
engine due to its use for years.
Abstract: In this paper, an adaptive radio resource allocation
(RRA) algorithm applying to multiple traffic OFDMA system is
proposed, which distributes sub-carrier and loading bits among users
according to their different QoS requirements and traffic class. By
classifying and prioritizing the users based on their traffic
characteristic and ensuring resource for higher priority users, the
scheme decreases tremendously the outage probability of the users
requiring a real time transmission without impact on the spectrum
efficiency of system, as well as the outage probability of data users is
not increased compared with the RRA methods published.
Abstract: This study compares three meta heuristics to minimize makespan (Cmax) for Hybrid Flow Shop (HFS) Scheduling Problem with Parallel Machines. This problem is known to be NP-Hard. This study proposes three algorithms among improvement heuristic searches which are: Genetic Algorithm (GA), Simulated Annealing (SA), and Tabu Search (TS). SA and TS are known as deterministic improvement heuristic search. GA is known as stochastic improvement heuristic search. A comprehensive comparison from these three improvement heuristic searches is presented. The results for the experiments conducted show that TS is effective and efficient to solve HFS scheduling problems.
Abstract: In this paper, first, a characterization of spherical
Pseudo null curves in Semi-Euclidean space is given. Then, to
investigate position vector of a pseudo null curve, a system of
differential equation whose solution gives the components of the
position vector of a pseudo null curve on the Frenet axis is
established by means of Frenet equations. Additionally, in view of
some special solutions of mentioned system, characterizations of
some special pseudo null curves are presented.
Abstract: The ability of UML to handle the modeling process of complex industrial software applications has increased its popularity to the extent of becoming the de-facto language in serving the design purpose. Although, its rich graphical notation naturally oriented towards the object-oriented concept, facilitates the understandability, it hardly successes to report all domainspecific aspects in a satisfactory way. OCL, as the standard language for expressing additional constraints on UML models, has great potential to help improve expressiveness. Unfortunately, it suffers from a weak formalism due to its poor semantic resulting in many obstacles towards the build of tools support and thus its application in the industry field. For this reason, many researches were established to formalize OCL expressions using a more rigorous approach. Our contribution join this work in a complementary way since it focuses specifically on OCL predefined properties which constitute an important part in the construction of OCL expressions. Using formal methods, we mainly succeed in expressing rigorously OCL predefined functions.
Abstract: Modelling techniques for a fluid coupling taken from
published literature have been extended to include the effects of the
filling and emptying of the coupling with oil and the variation in
losses when the coupling is partially full. In the model, the fluid flow
inside the coupling is considered to have two principal velocity
components; one circumferentially about the coupling axis
(centrifugal head) and the other representing the secondary vortex
within the coupling itself (vortex head). The calculation of liquid
mass flow rate circulating between the two halves of the coupling is
based on: the assumption of a linear velocity variation in the
circulating vortex flow; the head differential in the fluid due to the
speed difference between the two shafts; and the losses in the
circulating vortex flow as a result of the impingement of the flow
with the blades in the coupling and friction within the passages
between the blades.
Abstract: Since injection engines have a considerable portion, in
consumption of energy and environmental pollution, using an
alternative source of energy with lower pollutant effects in this
regard is necessary.
Biodiesel fuel is a suitable alternative for gasoline in diesel
engines.
In this research the property of biodiesel, the function and the
pollution effects of diesel engine, when using 100% biodiesel, using
100% gasoline and mixing ratio of both fuels for comparing them,
have been investigated.
The researches have shown, using biodiesel fuel in prevalent
diesel engine, will reduce the pollutants such as Co, half burned
carbohydrate and suspended particles and a little increase in
oxidation will achieve while power consumption, particularly fuel
and thermal efficiency of diesel fuel has the same.