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 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 and its programming language Maude. Rewriting
logic is considered as one of very powerful logics in terms of
description, verification and programming of concurrent systems We
proposed previously a method for translating Ada-95 tasking
programs to ECATNets formalism (Ada-ECATNet) and we showed
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. We showed also previously how the
ECATNet formalism offers to Ada many validation and verification
tools like simulation, Model Checking, accessibility analysis and
static analysis. In this paper, we describe the implementation of our
translation of the Ada programs into ECATNets.
Abstract: Environmental contamination is a common problem in ex-industrial and industrial sites. This article gives a brief description of general applied environmental investigation methodologies and possible remediation applications in Latvia. Most of contaminated areas are situated in former and active industrial, military areas and ports. Industrial and logistic activities very often have been with great impact for more than hundred years thus the contamination level with heavy metals, hydrocarbons, pesticides, persistent organic pollutants is high and is threatening health and environment in general. 242 territories now are numbered as contaminated and fixed in the National Register of contaminated territories in Latvia. Research and remediation of contamination in densely populated areas are of important environmental policy domain. Four different investigation case studies of contaminated areas are given describing the history of use, environmental quality assessment as well as planned environmental management actions. All four case study locations are situated in Riga - the capital of the Republic of Latvia. The aim of this paper is to analyze the situation and problems with management of contaminated areas in Latvia, give description of field research methods and recommendations for remediation industry based on scientific data and innovations.
Abstract: Electronic nose (array of chemical sensors) are widely
used in food industry and pollution control. Also it could be used to
locate or detect the direction of the source of emission odors. Usually
this task is performed by electronic nose (ENose) cooperated with
mobile vehicles, but when a source is instantaneous or surrounding is
hard for vehicles to reach, problem occurs. Thus a method for
stationary ENose to detect the direction of the source and locate the
source will be required. A novel method which uses the ratio between
the responses of different sensors as a discriminant to determine the
direction of source in natural wind surroundings is presented in this
paper. The result shows that the method is accurate and easily to be
implemented. This method could be also used in movably, as an
optimized algorithm for robot tracking source location.
Abstract: It is important for an autonomous mobile robot to know
where it is in any time in an indoor environment. In this paper, we
design a relative self-localization algorithm. The algorithm compare
the interest point in two images and compute the relative displacement
and orientation to determent the posture. Firstly, we use the SURF
algorithm to extract the interest points of the ceiling. Second, in order
to reduce amount of calculation, a replacement SURF is used to extract
orientation and description of the interest points. At last, according to
the transformation of the interest points in two images, the relative
self-localization of the mobile robot will be estimated greatly.
Abstract: We present a novel scheme to recognize isolated speech
signals using certain statistical parameters derived from those signals.
The determination of the statistical estimates is based on extracted
signal information rather than the original signal information in
order to reduce the computational complexity. Subtle details of
these estimates, after extracting the speech signal from ambience
noise, are first exploited to segregate the polysyllabic words from
the monosyllabic ones. Precise recognition of each distinct word is
then carried out by analyzing the histogram, obtained from these
information.
Abstract: In this study the elastic-plastic stress distribution in
weld-bonded joint, fabricated from austenitic stainless steel (AISI
304) sheet of 1.00 mm thickness and Epoxy adhesive Araldite 2011,
subjected to axial loading is investigated. This is needed to improve
design procedures and welding codes, and saving efforts in the
cumbersome experiments and analysis. Therefore, a complete 3-D
finite element modelling and analysis of spot welded, bonded and
weld-bonded joints under axial loading conditions is carried out. A
comprehensive systematic experimental program is conducted to
determine many properties and quantities, of the base metals and the
adhesive, needed for FE modelling, such like the elastic – plastic
properties, modulus of elasticity, fracture limit, the nugget and heat
affected zones (HAZ) properties, etc. Consequently, the finite
element models developed, for each case, are used to evaluate
stresses distributions across the entire joint, in both the elastic and
plastic regions. The stress distribution curves are obtained,
particularly in the elastic regions and found to be consistent and in
excellent agreement with the published data. Furthermore, the
stresses distributions are obtained in the weld-bonded joint and
display the best results with almost uniform smooth distribution
compared to spot and bonded cases. The stress concentration peaks at
the edges of the weld-bonded region, are almost eliminated resulting
in achieving the strongest joint of all processes.
Abstract: In this paper a polymer electrolyte membrane (PEM)
fuel cell power system including burner, steam reformer, heat
exchanger and water heater has been considered to meet the
electrical, heating, cooling and domestic hot water loads of
residential building which in Tehran. The system uses natural gas as
fuel and works in CHP mode. Design and operating conditions of a
PEM fuel cell system is considered in this study. The energy
requirements of residential building and the number of fuel cell
stacks to meet them have been estimated. The method involved
exergy analysis and entropy generation thorough the months of the
year. Results show that all the energy needs of the building can be
met with 12 fuel cell stacks at a nominal capacity of 8.5 kW. Exergy
analysis of the CHP system shows that the increase in the ambient air
temperature from 1oC to 40oC, will have an increase of entropy
generation by 5.73%.Maximum entropy generates for 15 hour in 15th
of June and 15th of July is estimated to amount at 12624 (kW/K).
Entropy generation of this system through a year is estimated to
amount to 1004.54 GJ/k.year.
Abstract: The main objective of this study was to demonstrate that differentiation of infected and vaccinated animals (DIVA) strategy using different ELISA tests is possible when a subunit vaccine (Haemagglutinin protein) is used to prevent Avian influenza. Special emphasis was placed on the differentiation in the serological response to different components of the AIV (Nucleoprotein, Neuraminidase, Haemagglutinin, Nucleocapsid) between chickens that were vaccinated with a whole virus kill vaccine and recombinant vaccine. Furthermore, the potential use of this DIVA strategy using ELISA assays to detect Neuraminidase 1 (N1) was analyzed as strategy in countries where the field virus is H5N1 and the vaccine used is formulated with H5N2. Detection of AIV-s antibodies to any component in serum was negative for all animals on the study days 0-13. At study day 14 the titers of antibodies against Nucleoprotein (NP) and Nucleocapsid (NC) rose in the experimental groups vaccinated with Volvac® AI KV and were negatives during all the trial in the experimental groups vaccinated with a subunit H5; significant statistically differences were observed between these groups (p < 0.05). The seroconversion either Haemagglutinin or Neuraminidase was evident after 21 days post-vaccination in the experimental groups vaccinated with the respective viral fraction. Regarding the main aim of this study and according with the results that were obtained, use a combination of different ELISA test as a DIVA strategy is feasible when the vaccination is carry out with a subunit H5 vaccine. Also is possible to use the ELISA kit to detect Neuraminidase (either N1 or N2) as a DIVA concept in countries where H5N1 is present and the vaccination programs are done with H5N2 vaccine.
Abstract: This paper proposes a solution to the motion planning
and control problem of car-like mobile robots which is required to
move safely to a designated target in a priori known workspace
cluttered with swarm of boids exhibiting collective emergent
behaviors. A generalized algorithm for target convergence and
swarm avoidance is proposed that will work for any number of
swarms. The control laws proposed in this paper also ensures
practical stability of the system. The effectiveness of the proposed
control laws are demonstrated via computer simulations of an
emergent behavior.
Abstract: Recently, the health of retired National Football
League players, particularly lineman has been investigated. A number of studies have reported increased cardiometabolic risk, premature ardiovascular disease and incidence of type 2 diabetes. Rugby union players have somatotypes very similar
to National Football league players which suggest that rugby players may have similar health risks. The International Golden Oldies World Rugby Festival (GORF) provided a
unique opportunity to investigate the demographics of veteran rugby players. METHODOLOGIES: A cross-sectional, observational study was completed using an online web-based
questionnaire that consisted of medical history and
physiological measures. Data analysis was completed using a one sample t-test (50yrs) and Chi-square test. RESULTS: A total of 216 veteran rugby competitors
(response rate = 6.8%) representing 10 countries, aged 35-72 yrs (mean 51.2, S.D. ±8.0), participated in the online survey. As a group, the incidence of current smokers was low at 8.8%
(avg 72.4 cigs/wk) whilst the percentage consuming alcohol
was high (93.1% (avg 11.2 drinks/wk). Competitors reported
the following top six chronic diseases/disorders; hypertension
(18.6%), arthritis (OA/RA, 11.5%), asthma (9.3%),
hyperlipidemia (8.2%), diabetes (all types, 7.5%) and gout (6%), there were significant differences between groups with
regard to cancer (all types) and migraines. When compared to
the Australian general population (Australian Bureau of Statistics data, n=18,000), GORF competitors had a
Climstein Mike, Walsh Joe (corresponding author) and Burke Stephen
School of Exercise Science, Australian Catholic University, 25A Barker Road,
Strathfield, Sydney, NSW, 2016, Australia (e-mail:
[email protected], [email protected],
[email protected]).
John Best is with Orthosports, 160 Belmore Rd., Randwick, Sydney,NSW
2031, Australia (e-mail: [email protected]).
Heazlewood, Ian Timothy is with School of Environmental and Life
Sciences, Faculty Education, Health and Science, Charles Darwin University,
Precinct Yellow Building 2, Charles Darwin University, NT 0909, Australia
(e-mail: [email protected]).
Kettunen Jyrki Arcada University of Applied Sciences, Jan-Magnus
Janssonin aukio 1, FI-00550, Helsinki, Finland (e-mail:
[email protected]).
Adams Kent is with California State University Monterey Bay, Kinesiology Department, 100 Campus Center, Seaside, CA., 93955, USA (email: [email protected]).
DeBeliso Mark is with Department of Physical Education and Human
Performance, Southern Utah University, 351 West University Blvd, Cedar
City, Utah, USA (e-mail: [email protected]).
significantly lower incidence of anxiety (p
Abstract: This paper describes a platform that faces the main
research areas for e-learning educational contents. Reusability tackles
the possibility to use contents in different courses reducing costs and
exploiting available data from repositories. In our approach the
production of educational material is based on templates to reuse
learning objects. In terms of interoperability the main challenge lays
on reaching the audience through different platforms. E-learning
solution must track social consumption evolution where nowadays
lots of multimedia contents are accessed through the social networks.
Our work faces it by implementing a platform for generation of
multimedia presentations focused on the new paradigm related to
social media. The system produces videos-courses on top of web
standard SMIL (Synchronized Multimedia Integration Language)
ready to be published and shared. Regarding interfaces it is
mandatory to satisfy user needs and ease communication. To
overcome it the platform deploys virtual teachers that provide natural
interfaces while multimodal features remove barriers to pupils with
disabilities.
Abstract: Subdivision surfaces were applied to the entire
meshes in order to produce smooth surfaces refinement from coarse
mesh. Several schemes had been introduced in this area to provide a
set of rules to converge smooth surfaces. However, to compute and
render all the vertices are really inconvenient in terms of memory
consumption and runtime during the subdivision process. It will lead
to a heavy computational load especially at a higher level of
subdivision. Adaptive subdivision is a method that subdivides only at
certain areas of the meshes while the rest were maintained less
polygons. Although adaptive subdivision occurs at the selected areas,
the quality of produced surfaces which is their smoothness can be
preserved similar as well as regular subdivision. Nevertheless,
adaptive subdivision process burdened from two causes; calculations
need to be done to define areas that are required to be subdivided and
to remove cracks created from the subdivision depth difference
between the selected and unselected areas. Unfortunately, the result
of adaptive subdivision when it reaches to the higher level of
subdivision, it still brings the problem with memory consumption.
This research brings to iterative process of adaptive subdivision to
improve the previous adaptive method that will reduce memory
consumption applied on triangular mesh. The result of this iterative
process was acceptable better in memory and appearance in order to
produce fewer polygons while it preserves smooth surfaces.
Abstract: Inventory decisional environment of short life-cycle
products is full of uncertainties arising from randomness and
fuzziness of input parameters like customer demand requiring
modeling under hybrid uncertainty. Prior inventory models
incorporating fuzzy demand have unfortunately ignored stochastic
variation of demand. This paper determines an unambiguous optimal
order quantity from a set of n fuzzy observations in a newsvendor
inventory setting in presence of fuzzy random variable demand
capturing both fuzzy perception and randomness of customer
demand. The stress of this paper is in providing solution procedure
that attains optimality in two steps with demand information
availability in linguistic phrases leading to fuzziness along with
stochastic variation. The first step of solution procedure identifies
and prefers one best fuzzy opinion out of all expert opinions and the
second step determines optimal order quantity from the selected
event that maximizes profit. The model and solution procedure is
illustrated with a numerical example.
Abstract: This paper describes the design and development of pico-hydro generation system using consuming water distributed to houses. Water flow in the domestic pipes has kinetic energy that potential to generate electricity for energy storage purposes in addition to the routine activities such as laundry, cook and bathe. The inherent water pressure and flow inside the pipe from utility-s main tank that used for those usual activities is also used to rotate small scale hydro turbine to drive a generator for electrical power generation. Hence, this project is conducted to develop a small scale hydro generation system using consuming water distributed to houses as an alternative electrical energy source for residential use.
Abstract: The purpose of this study attempts to emphasize the factors relating to intra-family relationships (order point of view) on violence against the women, For this purpose a survey technique on the sample size amounted 100 women of married of city of Ilam in country of Iran were considered. For measurement of violence against the women , the CTS scaled has been used .violence against the women be measured in four dimension ( emotional violence, psycho violence, physical violence, neglect violence). highest violence was related to emotional violence and after are as follow respectively : physical violence and neglect violence. The results showed that women have experienced the violence more than once during the last year, degree of order in family is high. Explanation result indicated that the order variables in family including collective thinking, empathy and communal co-circumstance have significant effects on violence against the women. Via multiple regression analysis variables of empathy, religious tenet and education of husband had significant effect on violence against women. In other words relationships among family effect on violence in family.
Abstract: This paper proposes an alternative control mechanism
for an interactive Pan/Tilt/Zoom (PTZ) camera control system.
Instead of using a mouse or a joystick, the proposed mechanism
utilizes a Nintendo Wii remote and infrared (IR) sensor bar. The Wii
remote has buttons that allows the user to control the movement of a
PTZ camera through Bluetooth connectivity. In addition, the Wii
remote has a built-in motion sensor that allows the user to give
control signals to the PTZ camera through pitch and roll movement.
A stationary IR sensor bar, placed at some distance away opposite the
Wii remote, enables the detection of yaw movement. In addition, the
Wii remote-s built-in IR camera has the ability to detect its spatial
position, and thus generates a control signal when the user moves the
Wii remote. Some experiments are carried out and their performances
are compared with an industry-standard PTZ joystick.
Abstract: Clustering algorithms are attractive for the task of class identification in spatial databases. However, the application to large spatial databases rises the following requirements for clustering algorithms: minimal requirements of domain knowledge to determine the input parameters, discovery of clusters with arbitrary shape and good efficiency on large databases. The well-known clustering algorithms offer no solution to the combination of these requirements. In this paper, a density based clustering algorithm (DCBRD) is presented, relying on a knowledge acquired from the data by dividing the data space into overlapped regions. The proposed algorithm discovers arbitrary shaped clusters, requires no input parameters and uses the same definitions of DBSCAN algorithm. We performed an experimental evaluation of the effectiveness and efficiency of it, and compared this results with that of DBSCAN. The results of our experiments demonstrate that the proposed algorithm is significantly efficient in discovering clusters of arbitrary shape and size.
Abstract: Theobjective of this study was to evaluate the optimal
treatment condition of Fenton oxidation process to removal
contaminant in soil slurry contaminated by petroleum hydrocarbons.
This research studied somefactors that affect the removal efficiency
of petroleum hydrocarbons in soil slurry including molar ratio of
hydrogen peroxide (H2O2) to ferrous ion(Fe2+), pH condition and
reaction time.The resultsdemonstrated that the optimum condition
was that the molar ratio of H2O2:Fe3+ was 200:1,the pHwas 4.0and
the rate of reaction was increasing rapidly from starting point to 7th
hour and destruction kinetic rate (k) was 0.24 h-1. Approximately
96% of petroleum hydrocarbon was observed(initialtotal petroleum
hydrocarbon (TPH) concentration = 70±7gkg-1)
Abstract: The quality of a machined surface is becoming more and more important to justify the increasing demands of sophisticated component performance, longevity, and reliability. Usually, any machining operation leaves its own characteristic evidence on the machined surface in the form of finely spaced micro irregularities (surface roughness) left by the associated indeterministic characteristics of the different elements of the system: tool-machineworkpart- cutting parameters. However, one of the most influential sources in machining affecting surface roughness is the instantaneous state of tool edge. The main objective of the current work is to relate the in-process immeasurable cutting edge deformation and surface roughness to a more reliable easy-to-measure force signals using a robust non-linear time-dependent modeling regression techniques. Time-dependent modeling is beneficial when modern machining systems, such as adaptive control techniques are considered, where the state of the machined surface and the health of the cutting edge are monitored, assessed and controlled online using realtime information provided by the variability encountered in the measured force signals. Correlation between wear propagation and roughness variation is developed throughout the different edge lifetimes. The surface roughness is further evaluated in the light of the variation in both the static and the dynamic force signals. Consistent correlation is found between surface roughness variation and tool wear progress within its initial and constant regions. At the first few seconds of cutting, expected and well known trend of the effect of the cutting parameters is observed. Surface roughness is positively influenced by the level of the feed rate and negatively by the cutting speed. As cutting continues, roughness is affected, to different extents, by the rather localized wear modes either on the tool nose or on its flank areas. Moreover, it seems that roughness varies as wear attitude transfers from one mode to another and, in general, it is shown that it is improved as wear increases but with possible corresponding workpart dimensional inaccuracy. The dynamic force signals are found reasonably sensitive to simulate either the progressive or the random modes of tool edge deformation. While the frictional force components, feeding and radial, are found informative regarding progressive wear modes, the vertical (power) components is found more representative carrier to system instability resulting from the edge-s random deformation.
Abstract: Statistical selection procedures are used to select the
best simulated system from a finite set of alternatives. In this paper,
we present a procedure that can be used to select the best system
when the number of alternatives is large. The proposed procedure
consists a combination between Ranking and Selection, and Ordinal
Optimization procedures. In order to improve the performance of Ordinal
Optimization, Optimal Computing Budget Allocation technique
is used to determine the best simulation lengths for all simulation
systems and to reduce the total computation time. We also argue
the effect of increment in simulation samples for the combined
procedure. The results of numerical illustration show clearly the effect
of increment in simulation samples on the proposed combination of
selection procedure.