Abstract: One major difficulty that faces developers of
concurrent and distributed software is analysis for concurrency based
faults like deadlocks. Petri nets are used extensively in the
verification of correctness of concurrent programs. ECATNets [2] are
a category of algebraic Petri nets based on a sound combination of
algebraic abstract types and high-level Petri nets. ECATNets have
'sound' and 'complete' semantics because of their integration in
rewriting logic [12] and its programming language Maude [13].
Rewriting logic is considered as one of very powerful logics in terms
of description, verification and programming of concurrent systems.
We proposed in [4] a method for translating Ada-95 tasking
programs to ECATNets formalism (Ada-ECATNet). In this paper,
we show that ECATNets formalism provides a more compact
translation for Ada programs compared to the other approaches based
on simple Petri nets or Colored Petri nets (CPNs). Such translation
doesn-t reduce only the size of program, but reduces also the number
of program states. We show also, how this compact Ada-ECATNet
may be reduced again by applying reduction rules on it. This double
reduction of Ada-ECATNet permits a considerable minimization of
the memory space and run time of corresponding Maude program.
Abstract: The objective of the research was to evaluate the
quality of milk pomade sweet – sherbet packed in different packaging
materials (Multibarrier 60, met.BOPET/PE, Aluthen), by several
packaging technologies – active and modified atmosphere (MAP)
(consisting of 100% CO2), and control – in air ambiance.
Experiments were carried out at the Faculty of Food Technology of
Latvia University of Agriculture. Samples were stored at the room
temperature +21±1 °C. The physiochemical properties – weight
losses, moisture, hardening, colour and changes in headspace
atmosphere concentration (CO2 and O2) of packs were analysed
before packaging and after 2, 4, 6, 8, 10 and 12 storage weeks.
Abstract: Abrasive waterjet is a novel machining process capable of processing wide range of hard-to-machine materials. This research addresses modeling and optimization of the process parameters for this machining technique. To model the process a set of experimental data has been used to evaluate the effects of various parameter settings in cutting 6063-T6 aluminum alloy. The process variables considered here include nozzle diameter, jet traverse rate, jet pressure and abrasive flow rate. Depth of cut, as one of the most important output characteristics, has been evaluated based on different parameter settings. The Taguchi method and regression modeling are used in order to establish the relationships between input and output parameters. The adequacy of the model is evaluated using analysis of variance (ANOVA) technique. The pairwise effects of process parameters settings on process response outputs are also shown graphically. The proposed model is then embedded into a Simulated Annealing algorithm to optimize the process parameters. The optimization is carried out for any desired values of depth of cut. The objective is to determine proper levels of process parameters in order to obtain a certain level of depth of cut. Computational results demonstrate that the proposed solution procedure is quite effective in solving such multi-variable problems.
Abstract: This paper shows how we can integrate
communication modeling into the design modeling at early stages of
the design flow. We consider effect of incorporating noise such as
impulsive noise on system stability. We show that with change of the
system model and investigate the system performance under the
different communication effects. We modeled a unmanned aerial
vehicle (UAV) as a demonstration using SystemC methodology.
Moreover the system is modeled by joining the capabilities of UML
and SystemC to operate at system level.
Abstract: The research was conducted with three replications as
“Randomized Block Design” in Konya-Turkey ecological conditions.
In the study, 16 of promising safflower lines (A8, E1, F4, F6, G16,
H14, I1), and 1 cultivar (Dinçer) were evaluated in 2008-09 growing
season. Some of the yield components such as plant height (cm), first
branch height (cm), number of branches per plant, 1000 seed weight
(g), seed yield (kg ha-1), oil content (%), oil yield (kg ha-1) were
determined. Winter sowing showed higher values than spring sowing.
The highest values were taken from Dinçer for plant height (86.7
cm), E1 (37.5 cm) for first branch height, F6 for number of branch
(11.6 per plant), I1 for number of head (24.9 per plant), A8 for 1000
seed weight (51.75 g), Dinçer for seed yield (2927.1 kg ha-1), oil
content (28.79 %) and also for oil yield (87.44 kg ha-1) respectively.
Abstract: Due to the coexistence of different Radio Access
Technologies (RATs), Next Generation Wireless Networks (NGWN)
are predicted to be heterogeneous in nature. The coexistence of
different RATs requires a need for Common Radio Resource
Management (CRRM) to support the provision of Quality of Service
(QoS) and the efficient utilization of radio resources. RAT selection
algorithms are part of the CRRM algorithms. Simply, their role is to
verify if an incoming call will be suitable to fit into a heterogeneous
wireless network, and to decide which of the available RATs is most
suitable to fit the need of the incoming call and admit it.
Guaranteeing the requirements of QoS for all accepted calls and at
the same time being able to provide the most efficient utilization of
the available radio resources is the goal of RAT selection algorithm.
The normal call admission control algorithms are designed for
homogeneous wireless networks and they do not provide a solution
to fit a heterogeneous wireless network which represents the NGWN.
Therefore, there is a need to develop RAT selection algorithm for
heterogeneous wireless network. In this paper, we propose an
approach for RAT selection which includes receiving different
criteria, assessing and making decisions, then selecting the most
suitable RAT for incoming calls. A comprehensive survey of
different RAT selection algorithms for a heterogeneous wireless
network is studied.
Abstract: Visual inputs are one of the key sources from which
humans perceive the environment and 'understand' what is
happening. Artificial systems perceive the visual inputs as digital
images. The images need to be processed and analysed. Within the
human brain, processing of visual inputs and subsequent
development of perception is one of its major functionalities. In this
paper we present part of our research project, which aims at the
development of an artificial model for visual perception (or
'understanding') based on the human perceptive and cognitive
systems. We propose a new model for perception from visual inputs
and a way of understaning or interpreting images using the model.
We demonstrate the implementation and use of the model with a real
image data set.
Abstract: Dynamic shear test on simulated phantom can be used
to validate magnetic resonance elastography (MRE) measurements.
Phantom gel has been usually utilized for the cell culture of cartilage
and soft tissue and also been used for mechanical property
characterization using imaging systems. The viscoelastic property of
the phantom would be important for dynamic experiments and
analyses. In this study, An axisymmetric FE model is presented for
determining the dynamic shear behaviour of brain simulated phantom
using ABAQUS. The main objective of this study was to investigate
the effect of excitation frequencies and boundary conditions on shear
modulus and shear viscosity in viscoelastic media.
Abstract: Now a days, a significant part of commercial and governmental organisations like museums, cultural organizations, libraries, commercial enterprises, etc. invest intensively in new technologies for image digitization, digital libraries, image archiving and retrieval. Hence image authorization, authentication and security has become prime need. In this paper, we present a semi-fragile watermarking scheme for color images. The method converts the host image into YIQ color space followed by application of orthogonal dual domains of DCT and DWT transforms. The DCT helps to separate relevant from irrelevant image content to generate silent image features. DWT has excellent spatial localisation to help aid in spatial tamper characterisation. Thus image adaptive watermark is generated based of image features which allows the sharp detection of microscopic changes to locate modifications in the image. Further, the scheme utilises the multipurpose watermark consisting of soft authenticator watermark and chrominance watermark. Which has been proved fragile to some predefined processing like intentinal fabrication of the image or forgery and robust to other incidental attacks caused in the communication channel.
Abstract: The aim of this study was to establish the relationship between the principles of Educational Sport and the objectives of Physical Education in two brasilian laws: National Curriculum Guidelines (PCNs) for the Elementary and Middle School Levels and the Guidelines and Basis Legislation (LDB). The method used was the survey analysis in order to determine the practices present in, or the opinions of, a specific population. The instrument used in this research was a questionnaire. After a broad review of the bibliography and according to the methodological procedures, the aim was to set the relationships between the Principles of Educational Sport and the objectives of Physical Education, according to the Brazilian Law (LDB) and National Curriculum Guidelines (PCNs) in a table made under the analysis of a group of specialists. As the relation between the principles of Educational Sport and the objectives of School Physical Education have shown, we can state that School Physical Education has gained pedagogical security for the potential use of Educational Sport as part of its contents.
Abstract: In this paper, a multi-branch power line is modeled using ABCD matrix to show its worth as a communication channel. The model is simulated using MATLAB in an effort to investigate the effects of multiple loading, multipath, and those as a result of load mismatching. The channel transfer function is obtained and investigated using different cable lengths, and different number of bridge taps under given loading conditions.
Abstract: This paper presents the experimental results of the
investigation of various properties related to the durability and longterm
performance of mortars made of Fly Ash blended cement, FA
and Ordinary Portland cement, OPC. The properties that were
investigated in an experimental program include; equilibration of
specimen in different relative humidity, determination of total
porosity, compressive strength, chloride permeability index, and
electrical resistivity. Fly Ash blended cement mortar specimens
exhibited 10% to 15% lower porosity when measured at equilibrium
conditions in different relative humidities as compared to the
specimens made of OPC mortar, which resulted in 6% to 8% higher
compressive strength of FA blended cement mortar specimens. The
effects of ambient relative humidity during sample equilibration on
porosity and strength development were also studied. For specimens
equilibrated in higher relative humidity conditions, such as 75%, the
total porosity of different mortar specimens was between 35% to 50%
less than the porosity of samples equilibrated in 12% relative
humidity, consequently leading to higher compressive strengths of
these specimens.A valid statistical correlation between values of
compressive strength, porosity and the degree of saturation was
obtained. Measured values of chloride permeability index of fly ash
blended cement mortar were obtained as one fourth to one sixth of
those measured for OPC mortar specimens, which indicates high
resistance against chloride ion penetration in FA blended cement
specimens, hence resulting in a highly durable mortar.
Abstract: Bacterial molecular chaperone DnaK plays an essential role in protein folding, stress response and transmembrane targeting of proteins. DnaKs from many bacterial species, including Escherichia coli, Salmonella typhimurium and Haemophilus infleunzae are the molecular targets for the insect-derived antimicrobial peptide pyrrhocoricin. Pyrrhocoricin-like peptides bind in the substrate recognition tunnel. Despite the high degree of crossspecies sequence conservation in the substrate-binding tunnel, some bacteria are not sensitive to pyrrhocoricin. This work addresses the molecular mechanism of resistance of Helicobacter pylori DnaK to pyrrhocoricin. Homology modelling, structural and sequence analysis identify a single aminoacid substitution at the interface between the lid and the β-sandwich subdomains of the DnaK substrate-binding domain as the major determinant for its resistance.
Abstract: Calcium [Ca2+] is an important second messenger
which plays an important role in signal transduction. There are
several parameters that affect its concentration profile like buffer
source etc. The effect of stationary immobile buffer on Ca2+
concentration has been incorporated which is a very important
parameter needed to be taken into account in order to make the
model more realistic. Interdependence of all the important parameters
like diffusion coefficient and influx over [Ca2+] profile has been
studied. Model is developed in the form of advection diffusion
equation together with buffer concentration. A program has been
developed using finite volume method for the entire problem and
simulated on an AMD-Turion 32-bit machine to compute the
numerical results.
Abstract: The way music is interpreted by the human brain is a very interesting topic, but also an intricate one. Although this domain has been studied for over a century, many gray areas remain in the understanding of music. Recent advances have enabled us to perform accurate measurements of the time taken by the human brain to interpret and assimilate a sound. Cognitive computing provides tools and development environments that facilitate human cognition simulation. ACT-R is a cognitive architecture which offers an environment for implementing human cognitive tasks. This project combines our understanding of the music interpretation by a human listener and the ACT-R cognitive architecture to build SINGER, a computerized simulation for listening and recalling songs. The results are similar to human experimental data. Simulation results also show how it is easier to remember short melodies than long melodies which require more trials to be recalled correctly.
Abstract: Simulation accuracy by recent dynamic vehicle
simulation multidimensional expression significantly has progressed
and acceptable results not only for passive vehicles but also for
active vehicles normally equipped with advanced electronic
components is also provided. Recently, one of the subjects that has it
been considered, is increasing the safety car in design. Therefore,
many efforts have been done to increase vehicle stability especially
in the turn. One of the most important efforts is adjusting the camber
angle in the car suspension system. Optimum control camber angle in
addition to the vehicle stability is effective in the wheel adhesion on
road, reducing rubber abrasion and acceleration and braking. Since
the increase or decrease in the camber angle impacts on the stability
of vehicles, in this paper, a car suspension system mechanism is
introduced that could be adjust camber angle and the mechanism is
application and also inexpensive. In order to reach this purpose, in
this paper, a passive double wishbone suspension system with
variable camber angle is introduced and then variable camber
mechanism designed and analyzed for study the designed system
performance, this mechanism is modeled in Visual Nastran software
and kinematic analysis is revealed.
Abstract: Rough set theory is a very effective tool to deal with granularity and vagueness in information systems. Covering-based rough set theory is an extension of classical rough set theory. In this paper, firstly we present the characteristics of the reducible element and the minimal description covering-based rough sets through downsets. Then we establish lattices and topological spaces in coveringbased rough sets through down-sets and up-sets. In this way, one can investigate covering-based rough sets from algebraic and topological points of view.
Abstract: It has been proven that early establishment of
microbial flora in digestive tract of ruminants, has a beneficial effect
on their health condition and productivity. A probiotic compound,
made from five bacteria isolated from adult bovine cattle, was dosed
to 15 Holstein newborn calves in order to measure its capacity of
improving body weight gain and reduce diarrhea incidence. The test
was performed in the municipality of Cajicá (Colombia), at 2580
m.a.s.l., throughout rainy season, with environmental temperature
that oscillated between 4 to 25 °C. Five calves were allotted to
control (no addition of probiotic). Treatments 1, and 2 (5 calves per
group) received 10 ml Probiotic mix 1 and 2, respectively. Probiotic
mixes 1 and 2 where similar in microbial composition but different in
production process. Probiotics were added to the morning milk and
dosed on a daily basis by a month and then on a weekly basis for
three additional months. Diarrhea incidence was measured by
observance of number of animals affected in each group; each animal
was weighed up on a daily basis for obtaining weight gain and rumen
fluid samples were extracted with oro-esophageal catheter for
determining level of fiber and grain consumption.
Abstract: This paper presents the modeling and simulation of a hybrid proton exchange membrane fuel cell (PEMFC) with an energy storage system for use in a stand-alone distributed generation (DG) system. The simulation model consists of fuel cell DG, lead-acid battery, maximum power point tracking and power conditioning unit which is modeled in the MATLAB/Simulink platform. Poor loadfollowing characteristics and slow response to rapid load changes are some of the weaknesses of PEMFC because of the gas processing reaction and the fuel cell dynamics. To address the load-tracking issues in PEMFC, a hybrid PEMFC and battery storage system is considered and modelled. The model utilizes PEMFC as the main energy source whereas the battery functions as energy storage to compensate for the limitations of PEMFC.Simulation results are given to show the overall system performance under light and heavyloading conditions.
Abstract: The springs located in urban areas are the outpouring
of surface water, which can serve as water supply, effluent receptors
and important local macro-drainage elements. With unplanned
occupation, non-compliance with environmental legislation and the
importance of these water bodies, it is vital to analyze the springs
within urban areas, considering the Brazilian forest code. This paper
submits an analysis and discussion methodology proposal of
environmental compliance functions of urban springs, by means of
G.I.S. - Geographic Information System analysis - and in situ
analysis. The case study included two springs which exhibit a history
of occupation along its length, with different degrees of impact. The
proposed method is effective and easy to apply, representing a
powerful tool for analyzing the environmental conditions of springs
in urban areas.