Abstract: The UML modeling of complex distributed systems often is a great challenge due to the large amount of parallel real-time operating components. In this paper the problems of verification of such systems are discussed. ECPN, an Extended Colored Petri Net is defined to formally describe state transitions of components and interactions among components. The relationship between sequence diagrams and Free Choice Petri Nets is investigated. Free Choice Petri Net theory helps verifying the liveness of sequence diagrams. By converting sequence diagrams to ECPNs and then comparing behaviors of sequence diagram ECPNs and statecharts, the consistency among models is analyzed. Finally, a verification process for an example model is demonstrated.
Abstract: Large scale systems such as computational Grid is
a distributed computing infrastructure that can provide globally
available network resources. The evolution of information processing
systems in Data Grid is characterized by a strong decentralization of
data in several fields whose objective is to ensure the availability and
the reliability of the data in the reason to provide a fault tolerance
and scalability, which cannot be possible only with the use of the
techniques of replication. Unfortunately the use of these techniques
has a height cost, because it is necessary to maintain consistency
between the distributed data. Nevertheless, to agree to live with
certain imperfections can improve the performance of the system by
improving competition. In this paper, we propose a multi-layer protocol
combining the pessimistic and optimistic approaches conceived
for the data consistency maintenance in large scale systems. Our
approach is based on a hierarchical representation model with tree
layers, whose objective is with double vocation, because it initially
makes it possible to reduce response times compared to completely
pessimistic approach and it the second time to improve the quality
of service compared to an optimistic approach.
Abstract: Power Spectral Density (PSD) of quasi-stationary processes can be efficiently estimated using the short time Fourier series (STFT). In this paper, an algorithm has been proposed that computes the PSD of quasi-stationary process efficiently using offline autoregressive model order estimation algorithm, recursive parameter estimation technique and modified sliding window discrete Fourier Transform algorithm. The main difference in this algorithm and STFT is that the sliding window (SW) and window for spectral estimation (WSA) are separately defined. WSA is updated and its PSD is computed only when change in statistics is detected in the SW. The computational complexity of the proposed algorithm is found to be lesser than that for standard STFT technique.
Abstract: This paper presents the idea of a rough controller with application to control the overhead traveling crane system. The structure of such a controller is based on a suggested concept of a fuzzy logic controller. A measure of fuzziness in rough sets is introduced. A comparison between fuzzy logic controller and rough controller has been demonstrated. The results of a simulation comparing the performance of both controllers are shown. From these results we infer that the performance of the proposed rough controller is satisfactory.
Abstract: The purpose of the study is to determine the primary mathematics student teachers- views related to use instructional technology tools in course of the learning process and to reveal how the sample presentations towards different mathematical concepts affect their views. This is a qualitative study involving twelve mathematics students from a public university. The data gathered from two semi-structural interviews. The first one was realized in the beginning of the study. After that the representations prepared by the researchers were showed to the participants. These representations contain animations, Geometer-s Sketchpad activities, video-clips, spreadsheets, and power-point presentations. The last interview was realized at the end of these representations. The data from the interviews and content analyses were transcribed and read and reread to explore the major themes. Findings revealed that the views of the students changed in this process and they believed that the instructional technology tools should be used in their classroom.
Abstract: In this paper, we analyzed the pattern of urban spatial structure of Siheung City that had been divided into two parts and presented alternative plans in order to get rid of these phenomena. Concerning patterns of urban spatial structure, we examined it through means of analyzing status of land use, population density and distribution of residence, status of distribution of main facilities, medical facilities, status of distribution of cultural facilities, distribution of land prices and traffic volume trends. The results of study revealed that status of facilities distribution and distribution of land prices, etc. were bisected by the surrounding area of former municipal office and the district of Sihwa, which were both regarded as one apex of the city divide, forming a duo-centric city. In order to get rid of this problem concerned with urban spatial structure that has been bisected, it is required that measures in order to expand facilities in Siheung City should be taken.
Abstract: NFκB is a transcription factor regulating many
function of the vessel wall. In the normal condition , NFκB is
revealed diffuse cytoplasmic expressionsuggesting that the system is
inactive. The presence of activation NFκB provide a potential
pathway for the rapid transcriptional of a variety of genes encoding
cytokines, growth factors, adhesion molecules and procoagulatory
factors. It is likely to play an important role in chronic inflamatory
disease involved atherosclerosis. There are many stimuli with the
potential to active NFκB, including hyperlipidemia. We used 24 mice
which was divided in 6 groups. The HFD given by et libitum
procedure during 2, 4, and 6 months. The parameters in this study
were the amount of NFKB activation ,H2O2 as ROS and VCAM-1 as
a product of NFKB activation. H2O2 colorimetryc assay performed
directly using Anti Rat H2O2 ELISA Kit. The NFKB and VCAM-1
detection obtained from aorta mice, measured by ELISA kit and
imunohistochemistry. There was a significant difference activation of
H2O2, NFKB and VCAM-1 level at induce HFD after 2, 4 and 6
months. It suggest that HFD induce ROS formation and increase the
activation of NFKB as one of atherosclerosis marker that caused by
hyperlipidemia as classical atheroschlerosis risk factor.
Abstract: This study was conducted to evaluate factors
regulating groundwater quality in an area with agriculture as main
use. Under this study twelve groundwater samples have been
collected from Padra taluka, Dabhoi taluka and Savli taluka of
Vadodara district. Groundwater samples were chemically analyzed
for major physicochemical parameter in order to understand the
different geochemical processes affecting the groundwater quality.
The analytical results shows higher concentration of total dissolved
solids (16.67%), electrical conductivity (25%) and magnesium
(8.33%) for pre monsoon and total dissolved solids (16.67%),
electrical conductivity (33.3%) and magnesium (8.33%) for post
monsoon which indicates signs of deterioration as per WHO and BIS
standards. On the other hand, 50% groundwater sample is unsuitable
for irrigation purposes based on irrigation quality parameters. The
study revealed that application of fertilizer for agricultural
contributing the higher concentration of ions in aquifer of Vadodara
district.
Abstract: Not with standing the importance of foreign highly
skilled professionals for host economies, there is a paucity of
research studies investigating the role of the corporate social context
during the integration process. This research aims to address this
paucity by exploring the role of social capital in the integration of
foreign health professionals. It does so by using a qualitative research
approach. In this pilot study the hospital sector forms this study-s
sample and interviews were conducted with HR managers, foreign
health professionals and external HR consultants. It was found that
most of the participating hospitals had not established specific HR
practices and had only partly linked the development of
organisational social capital with a successful integration process.
This research contributes, for example, to the HR literature on the
integration of self-initiated expatriates by analysing the role of HRM
in generating organisational social capital needed for a successful
integration process.
Abstract: Fecal coliform bacteria are widely used as indicators of
sewage contamination in surface water. However, there are some
disadvantages in these microbial techniques including time consuming
(18-48h) and inability in discriminating between human and animal
fecal material sources. Therefore, it is necessary to seek a more
specific indicator of human sanitary waste. In this study, the feasibility
was investigated to apply caffeine and human pharmaceutical
compounds to identify the human-source contamination. The
correlation between caffeine and fecal coliform was also explored.
Surface water samples were collected from upstream, middle-stream
and downstream points respectively, along Rochor Canal, as well as 8
locations of Marina Bay. Results indicate that caffeine is a suitable
chemical tracer in Singapore because of its easy detection (in the range
of 0.30-2.0 ng/mL), compared with other chemicals monitored.
Relative low concentrations of human pharmaceutical compounds (<
0.07 ng/mL) in Rochor Canal and Marina Bay water samples make
them hard to be detected and difficult to be chemical tracer. However,
their existence can help to validate sewage contamination. In addition,
it was discovered the high correlation exists between caffeine
concentration and fecal coliform density in the Rochor Canal water
samples, demonstrating that caffeine is highly related to the
human-source contamination.
Abstract: Ensemble learning algorithms such as AdaBoost and
Bagging have been in active research and shown improvements in
classification results for several benchmarking data sets with mainly
decision trees as their base classifiers. In this paper we experiment to
apply these Meta learning techniques with classifiers such as random
forests, neural networks and support vector machines. The data sets
are from MAGIC, a Cherenkov telescope experiment. The task is to
classify gamma signals from overwhelmingly hadron and muon
signals representing a rare class classification problem. We compare
the individual classifiers with their ensemble counterparts and
discuss the results. WEKA a wonderful tool for machine learning has
been used for making the experiments.
Abstract: In developing a text-to-speech system, it is well
known that the accuracy of information extracted from a text is
crucial to produce high quality synthesized speech. In this paper, a
new scheme for converting text into its equivalent phonetic spelling
is introduced and developed. This method is applicable to many
applications in text to speech converting systems and has many
advantages over other methods. The proposed method can also
complement the other methods with a purpose of improving their
performance. The proposed method is a probabilistic model and is
based on Smooth Ergodic Hidden Markov Model. This model can be
considered as an extension to HMM. The proposed method is applied
to Persian language and its accuracy in converting text to speech
phonetics is evaluated using simulations.
Abstract: The wide increase and diffusion on telecommunication
technologies have caused a huge spread of electromagnetic sources
in most European Countries. Since the public is continuously being
exposed to electromagnetic radiation the possible health effects have
become the focus of population concerns. As a result, electromagnetic
field monitoring stations which control field strength in commercial
frequency bands are being placed on the flat roof of many buildings.
However there is no guidance on where to place them. This paper
presents an analysis of frequency, polarization and angles of incidence
of a plane wave which impinges on a flat roof security wall and its
dependence on electromagnetic field strength meters placement.
Abstract: In this paper, in addition to introducing good urban planning and its effects on globalization, some new methodologies in urban management and another urban aspects has been presented. Some new concerns in increasing of urban population , metropolitans and its relations on big problems has been focused in this paper. It is very important matter that future urban planning with based on globalization will be with full of basically changes in its management and perspectives.
Abstract: The aim of the research is to understand whether the accuracy of customer detection of employee emotional labor strategy would influence the overall service satisfaction. From path analysis, it was found that employee-s positive emotions positively influenced service quality. Service quality in turn influenced Customer detection of employee emotional deep action strategy and Customer detection of employee emotional surface action strategy. Lastly, Customer detection of employee emotional deep action strategy and Customer detection of employee emotional surface action strategy positively influenced service satisfaction. Based on the analysis results, suggestions are proposed to provide reference for human resource management and use in relative fields.
Abstract: Dual phase steels (DPS)s have a microstructure
consisting of a hard second phase called Martensite in the soft Ferrite
matrix. In recent years, there has been interest in dual-phase steels,
because the application of these materials has made significant usage;
particularly in the automotive sector Composite microstructure of
(DPS)s exhibit interesting characteristic mechanical properties such
as continuous yielding, low yield stress to tensile strength
ratios(YS/UTS), and relatively high formability; which offer
advantages compared with conventional high strength low alloy
steels(HSLAS). The research dealt with the characterization of
damage in (DPS)s. In this study by review the mechanisms of failure
due to volume fraction of martensite second phase; a new method is
introduced to identifying the mechanisms of failure in the various
phases of these types of steels. In this method the acoustic emission
(AE) technique was used to detect damage progression. These failure
mechanisms consist of Ferrite-Martensite interface decohesion and/or
martensite phase fracture. For this aim, dual phase steels with
different volume fraction of martensite second phase has provided by
various heat treatment methods on a low carbon steel (0.1% C), and
then AE monitoring is used during tensile test of these DPSs. From
AE measurements and an energy ratio curve elaborated from the
value of AE energy (it was obtained as the ratio between the strain
energy to the acoustic energy), that allows detecting important
events, corresponding to the sudden drops. These AE signals events
associated with various failure mechanisms are classified for ferrite
and (DPS)s with various amount of Vm and different martensite
morphology. It is found that AE energy increase with increasing Vm.
This increasing of AE energy is because of more contribution of
martensite fracture in the failure of samples with higher Vm. Final
results show a good relationship between the AE signals and the
mechanisms of failure.
Abstract: The hot deformation behavior of high strength low
alloy (HSLA) steels with different chemical compositions under hot
working conditions in the temperature range of 900 to 1100℃ and
strain rate range from 0.1 to 10 s-1 has been studied by performing a
series of hot compression tests. The dynamic materials model has been
employed for developing the processing maps, which show variation
of the efficiency of power dissipation with temperature and strain rate.
Also the Kumar-s model has been used for developing the instability
map, which shows variation of the instability for plastic deformation
with temperature and strain rate. The efficiency of power dissipation
increased with decreasing strain rate and increasing temperature in the
steel with higher Cr and Ti content. High efficiency of power
dissipation over 20 % was obtained at a finite strain level of 0.1 under
the conditions of strain rate lower than 1 s-1 and temperature higher
than 1050 ℃ . Plastic instability was expected in the regime of
temperatures lower than 1000 ℃ and strain rate lower than 0.3 s-1. Steel
with lower Cr and Ti contents showed high efficiency of power
dissipation at higher strain rate and lower temperature conditions.
Abstract: Injection forging is a Nett-shape manufacturing
process in which one or two punches move axially causing a radial
flow into a die cavity in a form which is prescribed by the exitgeometry,
such as pulley, flanges, gears and splines on a shaft. This
paper presents an experimental and numerical study of the injection
forging of splines in terms of load requirement and material flow.
Three dimensional finite element analyses are used to investigate the
effect of some important parameters in this process. The experiment
has been carried out using solid commercial lead billets with two
different billet diameters and four different dies.
Abstract: Road signs are the elements of roads with a lot of
influence in driver-s behavior. So that signals can fulfill its function,
they must overcome visibility and durability requirements,
particularly needed at night, when the coefficient of retroreflection
becomes a decisive factor in ensuring road safety. Accepting that the
visibility of the signage has implications for people-s safety, we
understand the importance to fulfill its function: to foster the highest
standards of service and safety in drivers. The usual conditions of
perception of any sign are determined by: age of the driver, reflective
material, luminosity, vehicle speed and emplacement. In this way,
this paper evaluates the different signals to increase the safety road.
Abstract: The main objective of this project is to build an
autonomous microcontroller-based mobile robot for a local robot
soccer competition. The black competition field is equipped with
white lines to serve as the guidance path for competing robots. Two
prototypes of soccer robot embedded with the Basic Stamp II
microcontroller have been developed. Two servo motors are used as
the drive train for the first prototype whereas the second prototype
uses two DC motors as its drive train. To sense the lines, lightdependent
resistors (LDRs) supply the analog inputs for the
microcontroller. The performances of both prototypes are evaluated.
The DC motor-driven robot has produced better trajectory control
over the one using servo motors and has brought the team into the
final round.