Abstract: There are many virtual payment systems available to
conduct micropayments. It is essential that the protocols satisfy the
highest standards of correctness. This paper examines the Netpay
Protocol [3], provide its formalization as automata model, and prove
two important correctness properties, namely absence of deadlock
and validity of an ecoin during the execution of the protocol. This
paper assumes a cooperative customer and will prove that the
protocol is executing according to its description.
Abstract: Global competition is tightening and companies have
to think how to remain competitive. The main aim of this paper is to
discuss how Finnish foundries will remain competitive. To fulfil the
aim, we conducted interviews in nine companies using castings and
analysed buyer–supplier relationships, current competitive
advantages of Finnish foundries and customer perspectives on how
Finnish foundries remain competitive. We found that the customerfoundry
relationship is still closer to traditional subcontracting than
partnering and general image of foundries is negative. Current
competitive advantages of Finnish foundries include designing
cooperation, proximity and flexibility. Casting users state that
Finnish foundries should sell their know-how and services instead of
their capacity, concentrate on prototype, single and short series
castings and supply ready-to-install cast components directly to
customers- assembly lines.
Abstract: The development of aid's systems for the medical
diagnosis is not easy thing because of presence of inhomogeneities in
the MRI, the variability of the data from a sequence to the other as
well as of other different source distortions that accentuate this
difficulty. A new automatic, contextual, adaptive and robust
segmentation procedure by MRI brain tissue classification is
described in this article. A first phase consists in estimating the
density of probability of the data by the Parzen-Rozenblatt method.
The classification procedure is completely automatic and doesn't
make any assumptions nor on the clusters number nor on the
prototypes of these clusters since these last are detected in an
automatic manner by an operator of mathematical morphology called
skeleton by influence zones detection (SKIZ). The problem of
initialization of the prototypes as well as their number is transformed
in an optimization problem; in more the procedure is adaptive since it
takes in consideration the contextual information presents in every
voxel by an adaptive and robust non parametric model by the
Markov fields (MF). The number of bad classifications is reduced by
the use of the criteria of MPM minimization (Maximum Posterior
Marginal).
Abstract: Low silica type X (LSX) Zeolite is one of useful
material in many manufacturing due to the advantage properties
including high surface area, stability, microporous crystalline
aluminosilicates and positive ion in an extra–framework. The LSX
was used rice husk silica source which obtained by leaching with
hydrochloric acid and calcination at 500 C. To improve the
synthesis method, the LSX was crystallizated in Teflon–lined
autoclave will expedite deceasing of the amorphous particles. The
mixed gel with composition of 5.5 Na2O : 1.65 K2O : Al2O3 : 2.2
SiO2 : 122 H2O was crystallized in different container
(Polypropylene bottom and Teflon–lined autoclave). The obtained
powder was characterized by X–ray diffraction (XRD), X–ray
fluorescence spectrometry, N2 adsorption-desorption analysis BET
surface area Scanning electron microscopy (SEM) and Fourier
transform infrared spectroscopy to justify the quality of zeolite. The
results showed the crystallized zeolite in Teflon lined autoclave has
102.8 nm of crystal size, 286 m2/g of surface area and fewer amounts
of round amorphous particles when compared with the crystallized
zeolite in Polypropylene.
Abstract: The objective of this study was to develop safety practices which is suitable for Thai industrial operators from Incident and Injury Free, IIF to create safety behavior and reduce the un-safe records in the petroleum industry. A number of 310 technicians i.e., 295 males and 15 females, in service maintenance section participated in this program. The safety attitude level and safety behavior level for pre-attended and post-attended the developed safety practices of the technicians were evaluated using questionnaire procedure and on-site observation. After applied the developed practice program, both of the safety attitudes and safety behavior were increased to be at very good level and good level, respectively. Evaluating the follow-up unsafe records, it was found that the injury was reduced from 0.11 to 0 case/month, the medical treatment case was reduced from 0.22 to 0 case/month and the first aid case was reduced from 1 to 0.33 case/month. The developed safety working practice was successfully implemented to Thai industrial operators.
Abstract: Active Power Filters (APFs) are today the most
widely used systems to eliminate harmonics compensate power
factor and correct unbalanced problems in industrial power plants.
We propose to improve the performances of conventional APFs by
using artificial neural networks (ANNs) for harmonics estimation.
This new method combines both the strategies for extracting the
three-phase reference currents for active power filters and DC link
voltage control method. The ANNs learning capabilities to
adaptively choose the power system parameters for both to compute
the reference currents and to recharge the capacitor value requested
by VDC voltage in order to ensure suitable transit of powers to
supply the inverter. To investigate the performance of this
identification method, the study has been accomplished using
simulation with the MATLAB Simulink Power System Toolbox. The
simulation study results of the new (SAPF) identification technique
compared to other similar methods are found quite satisfactory by
assuring good filtering characteristics and high system stability.
Abstract: A subjectively influenced router for vehicles in a fourjunction
traffic system is presented. The router is based on a 3-layer
Backpropagation Neural Network (BPNN) and a greedy routing
procedure. The BPNN detects priorities of vehicles based on the
subjective criteria. The subjective criteria and the routing procedure
depend on the routing plan towards vehicles depending on the user.
The routing procedure selects vehicles from their junctions based on
their priorities and route them concurrently to the traffic system. That
is, when the router is provided with a desired vehicles selection
criteria and routing procedure, it routes vehicles with a reasonable
junction clearing time. The cost evaluation of the router determines
its efficiency. In the case of a routing conflict, the router will route
the vehicles in a consecutive order and quarantine faulty vehicles.
The simulations presented indicate that the presented approach is an
effective strategy of structuring a subjective vehicle router.
Abstract: The paper proposes a new concept in developing
collaborative design system. The concept framework involves
applying simulation of supply chain management to collaborative
design called – 'SCM–Based Design Tool'. The system is developed
particularly to support design activities and to integrate all facilities
together. The system is aimed to increase design productivity and
creativity. Therefore, designers and customers can collaborate by the
system since conceptual design. JAG: Jewelry Art Generator based
on artificial intelligence techniques is integrated into the system.
Moreover, the proposed system can support users as decision tool
and data propagation. The system covers since raw material supply
until product delivery. Data management and sharing information are
visually supported to designers and customers via user interface. The
system is developed on Web–assisted product development
environment. The prototype system is presented for Thai jewelry
industry as a system prototype demonstration, but applicable for
other industry.
Abstract: This paper provides an overview of auction theory
literature. We present a general review on literature of various
auctions and focus ourselves specifically on an English auction. We
are interested in modelling bidder-s behavior in an English auction
environment. And hence, we present an overview of the New Zealand
wool auction followed by a model that would describe a bidder-s
decision making behavior from the New Zealand wool auction. The
mathematical assumptions in an English auction environment are
demonstrated from the perspective of the New Zealand wool auction.
Abstract: This paper focuses on a novel method for semantic
searching and retrieval of information about learning materials.
Metametadata encapsulate metadata instances by using the properties
and attributes provided by ontologies rather than describing learning
objects. A novel metametadata taxonomy has been developed which
provides the basis for a semantic search engine to extract, match and
map queries to retrieve relevant results. The use of ontological views
is a foundation for viewing the pedagogical content of metadata
extracted from learning objects by using the pedagogical attributes
from the metametadata taxonomy. Using the ontological approach
and metametadata (based on the metametadata taxonomy) we present
a novel semantic searching mechanism.These three strands – the
taxonomy, the ontological views, and the search algorithm – are
incorporated into a novel architecture (OMESCOD) which has been
implemented.
Abstract: The purposes of researches - to estimate implicit ethnic attitudes by direct and indirect methods, to determine the accordance of two types measuring, to investigate influence of task type used in an experiment, on the results of measuring, as well as to determine a presence or communication between recent episodic events and chronologic correlations of ethnic attitudes. Method of the implicit measuring - an evaluative priming (EPT) carried out with the use of different SOA intervals, explicit methods of research are G.Soldatova-s types of ethnic identity, G.Soldatova-s index of tolerance, E.Bogardus scale of social distance. During five stages of researches received results open some aspects of implicit measuring, its correlation with the results of self-reports on different SOA intervals, connection of implicit measuring with emotional valence of episodic events of participants and other indexes, presenting a contribution to the decision of implicit measuring application problem for study of different social constructs
Abstract: In MPEG and H.26x standards, to eliminate the
temporal redundancy we use motion estimation. Given that the
motion estimation stage is very complex in terms of computational
effort, a hardware implementation on a re-configurable circuit is
crucial for the requirements of different real time multimedia
applications. In this paper, we present hardware architecture for
motion estimation based on "Full Search Block Matching" (FSBM)
algorithm. This architecture presents minimum latency, maximum
throughput, full utilization of hardware resources such as embedded
memory blocks, and combining both pipelining and parallel
processing techniques. Our design is described in VHDL language,
verified by simulation and implemented in a Stratix II
EP2S130F1020C4 FPGA circuit. The experiment result show that the
optimum operating clock frequency of the proposed design is 89MHz
which achieves 160M pixels/sec.
Abstract: In this note, the robust static output feedback
stabilisation of an induction machine is addressed. The machine is
described by a non homogenous bilinear model with structural
uncertainties, and the feedback gain is computed via an iterative LMI
(ILMI) algorithm.
Abstract: In this contribution a newly developed e-learning environment is presented, which incorporates Intelligent Agents and Computational Intelligence Techniques. The new e-learning environment is constituted by three parts, the E-learning platform Front-End, the Student Questioner Reasoning and the Student Model Agent. These parts are distributed geographically in dispersed computer servers, with main focus on the design and development of these subsystems through the use of new and emerging technologies. These parts are interconnected in an interoperable way, using web services for the integration of the subsystems, in order to enhance the user modelling procedure and achieve the goals of the learning process.
Abstract: Does the spatial perspective provide a common thread for rural sociology? Have rural sociologists succeeded in bringing order to their data using spatial analysis models and techniques? A trial answer to such questions, as touchstones of theoretical and applied sociological studies in rural areas, is the point at issue in the present paper. Spatial analyses have changed the way rural sociologists approach scientific problems. Rural sociology is spatial by nature because much, if not most, of its research topics has a spatial “awareness." However, such spatial awareness is not quite the same as spatial analysis because it is not typically associated with underlying theories and hypotheses about spatial patterns that are designed to be tested for their specific spatial content. This paper presents pressing issues for future research to reintroduce mainstream rural sociology to the concept of space.
Abstract: In this article an isotropic linear elastic half-space with
a cylindrical cavity of finite length is considered to be under the
effect of a ring shape time-harmonic torsion force applied at an
arbitrary depth on the surface of the cavity. The equation of
equilibrium has been written in a cylindrical coordinate system. By
means of Fourier cosine integral transform, the non-zero
displacement component is obtained in the transformed domain. With
the aid of the inversion theorem of the Fourier cosine integral
transform, the displacement is obtained in the real domain. With the
aid of boundary conditions, the involved boundary value problem for
the fundamental solution is reduced to a generalized Cauchy singular
integral equation. Integral representation of the stress and
displacement are obtained, and it is shown that their degenerated
form to the static problem coincides with existing solutions in the
literature.
Abstract: Public sector corruption has long-term and damaging
effects that are deep and broad. Addressing corruption relies on
understanding the drivers that precipitate acts of corruption and
developing educational programs that target areas of vulnerability.
This paper provides an innovative approach to explore the nature of
corruption by drawing on the perceptions and ideas of a group of
public servants who have been part of a corruption investigation. The
paper examines these reflections through the ideas of Pierre Bourdieu
and Alfred Schutz to point to some of the steps that can lead to
corrupt activity. The paper demonstrates that phenomenological
inquiry is useful in the exploration of corruption and, as a theoretical
framework, it highlights that corruption emerges through a
combination of conflict, doubt and uncertainty. The paper calls for
anti-corruption education programs to be attentive to way in which
these conditions can influence the steps into corruption.
Abstract: Green buildings have been commonly cited to be more
expensive than conventional buildings. However, limited research
has been conducted to clearly identify elements that contribute to this
cost differential. The construction cost of buildings can be typically
divided into “hard" costs and “soft" cost elements. Using a review
analysis of existing literature, the study identified six main elements
in green buildings that contribute to the general cost elements that are
“soft" in nature. The six elements found are insurance, developer-s
experience, design cost, certification, commissioning and energy
modeling. Out of the six elements, most literatures have highlighted
the increase in design cost for green design as compared to
conventional design due to additional architectural and engineering
costs, eco-charettes, extra design time, and the further need for a
green consultant. The study concluded that these elements of soft cost
contribute to the green premium or cost differential of green
buildings.
Abstract: Today, transport and logistic systems are often tightly
integrated in the production. Lean production and just-in-time delivering create multiple constraints that have to be fulfilled. As transport networks often have evolved over time they are very
expensive to change. This paper describes a discrete-event-simulation
system which simulates transportation models using real time
resource routing and collision avoidance. It allows for the
specification of own control algorithms and validation of new
strategies. The simulation is integrated into a virtual reality (VR)
environment and can be displayed in 3-D to show the progress.
Simulation elements can be selected through VR metaphors. All data
gathered during the simulation can be presented as a detailed summary afterwards. The included cost-benefit calculation can help to optimize the financial outcome. The operation of this approach is shown by the example of a timber harvest simulation.
Abstract: Magnetic and semiconductor nanomaterials exhibit
novel magnetic and optical properties owing to their unique size and
shape-dependent effects. With shrinking the size down to nanoscale
region, various anomalous properties that normally not present in bulk
start to dominate. Ability in harnessing of these anomalous properties
for the design of various advance electronic devices is strictly
dependent on synthetic strategies. Hence, current research has focused
on developing a rational synthetic control to produce high quality
nanocrystals by using organometallic approach to tune both size and
shape of the nanomaterials. In order to elucidate the growth
mechanism, transmission electron microscopy was employed as a
powerful tool in performing real time-resolved morphologies and
structural characterization of magnetic (Fe3O4) and semiconductor
(ZnO) nanocrystals. The current synthetic approach is found able to
produce nanostructures with well-defined shapes. We have found that
oleic acid is an effective capping ligand in preparing oxide-based
nanostructures without any agglomerations, even at high temperature.
The oleate-based precursors and capping ligands are fatty acid
compounds, which are respectively originated from natural palm oil
with low toxicity. In comparison with other synthetic approaches in
producing nanostructures, current synthetic method offers an effective
route to produce oxide-based nanomaterials with well-defined shapes
and good monodispersity. The nanocystals are well-separated with
each other without any stacking effect. In addition, the as-synthesized
nanopellets are stable in terms of chemically and physically if
compared to those nanomaterials that are previous reported. Further
development and extension of current synthetic strategy are being
pursued to combine both of these materials into nanocomposite form
that will be used as “smart magnetic nanophotocatalyst" for industry
waste water treatment.