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: We propose a new perspective on speech
communication using blind source separation. The original speech is
mixed with key signals which consist of the mixing matrix, chaotic
signals and a random noise. However, parts of the keys (the mixing
matrix and the random noise) are not necessary in decryption. In
practice implement, one can encrypt the speech by changing the noise
signal every time. Hence, the present scheme obtains the advantages
of a One Time Pad encryption while avoiding its drawbacks in key
exchange. It is demonstrated that the proposed scheme is immune
against traditional attacks.
Abstract: This work deals with the design of the robotic assembly
system for the roller clamps. The task is characterized by high speed,
high yield and safety engagement. This paper describes the design of
different parts of an automated high speed machine to assemble the
parts of roller clamps. The roller clamp robotic assembly system
performs various processes in the assembly line which include clamp
body and roller feeding, inserting the roller into the clamp body, and
dividing the rejected clamp and successfully assembled clamp into
their own tray. The electrical/electronics design of the machine is
discussed. The target is to design a cost effective, minimum
maintenance and high speed machine for the industry applications.
Abstract: Text Mining is an important step of Knowledge
Discovery process. It is used to extract hidden information from notstructured
o semi-structured data. This aspect is fundamental because
much of the Web information is semi-structured due to the nested
structure of HTML code, much of the Web information is linked,
much of the Web information is redundant. Web Text Mining helps
whole knowledge mining process to mining, extraction and
integration of useful data, information and knowledge from Web
page contents.
In this paper, we present a Web Text Mining process able to
discover knowledge in a distributed and heterogeneous multiorganization
environment. The Web Text Mining process is based on
flexible architecture and is implemented by four steps able to
examine web content and to extract useful hidden information
through mining techniques. Our Web Text Mining prototype starts
from the recovery of Web job offers in which, through a Text Mining
process, useful information for fast classification of the same are
drawn out, these information are, essentially, job offer place and
skills.
Abstract: In this paper, we consider the problem of tracking
multiple maneuvering targets using switching multiple target motion
models. With this paper, we aim to contribute in solving the problem
of model-based body motion estimation by using data coming from
visual sensors. The Interacting Multiple Model (IMM) algorithm is
specially designed to track accurately targets whose state and/or
measurement (assumed to be linear) models changes during motion
transition. However, when these models are nonlinear, the IMM
algorithm must be modified in order to guarantee an accurate track.
In this paper we propose to avoid the Extended Kalman filter because
of its limitations and substitute it with the Unscented Kalman filter
which seems to be more efficient especially according to the
simulation results obtained with the nonlinear IMM algorithm (IMMUKF).
To resolve the problem of data association, the JPDA
approach is combined with the IMM-UKF algorithm, the derived
algorithm is noted JPDA-IMM-UKF.
Abstract: This study deals with the phenomena of reflection and transmission (refraction) of qSV-waves, for an incident of quasi transverse vertically waves, at a plane interface of two semi-infinite piezoelectric elastic media under the influence of the initial stresses. The relations governing the reflection and transmission coefficients of these reflected waves for various suitable boundary conditions are derived. We have shown analytically that reflection and transmission coefficients of (qP) and (qSV) waves depend upon the angle of incidence, the parameters of electric potential, the material constants of the medium as will as the initial stresses presented in the media. The numerical calculations of the reflection and transmission amplitude ratios for different values of initial stresses have been carried out by computer for different materials as examples and the results are given in the form of graphs. Finally, some of particular cases are considered.
Abstract: Block replacement algorithms to increase hit ratio
have been extensively used in cache memory management. Among
basic replacement schemes, LRU and FIFO have been shown to be
effective replacement algorithms in terms of hit rates. In this paper,
we introduce a flexible stack-based circuit which can be employed in
hardware implementation of both LRU and FIFO policies. We
propose a simple and efficient architecture such that stack-based
replacement algorithms can be implemented without the drawbacks
of the traditional architectures. The stack is modular and hence, a set
of stack rows can be cascaded depending on the number of blocks in
each cache set. Our circuit can be implemented in conjunction with
the cache controller and static/dynamic memories to form a cache
system. Experimental results exhibit that our proposed circuit
provides an average value of 26% improvement in storage bits and its
maximum operating frequency is increased by a factor of two
Abstract: Titanium alloys like the modern alloy Ti 6Al 2Sn 4Zr 6Mo (Ti-6246) combine excellent specific mechanical properties and corrosion resistance. On the other hand,due to their material characteristics, machining of these alloys is difficult to perform. The aim of the current study is the analyses of wear mechanisms of coated cemented carbide tools applied in orthogonal cutting experiments of Ti-6246 alloy. Round bars were machined with standard coated tools in dry conditions on a CNC latheusing a wide range of cutting speeds and cutting depths. Tool wear mechanisms were afterwards investigated by means of stereo microscopy, optical microscopy, confocal microscopy and scanning electron microscopy. Wear mechanisms included fracture of the tool tip (total failure) and abrasion. Specific wear features like crater wear, micro cracks and built-up edgeformation appeared depending of the mechanical and thermal conditions generated in the workpiece surface by the cutting action.
Abstract: For gamma radiation detection, assemblies having
scintillation crystals and a photomultiplier tube, also there is a
preamplifier connected to the detector because the signals from
photomultiplier tube are of small amplitude. After pre-amplification
the signals are sent to the amplifier and then to the multichannel
analyser. The multichannel analyser sorts all incoming electrical
signals according to their amplitudes and sorts the detected photons
in channels covering small energy intervals. The energy range of
each channel depends on the gain settings of the multichannel
analyser and the high voltage across the photomultiplier tube. The
exit spectrum data of the two main isotopes studied ,putting data in
biomass program ,process it by Matlab program to get the solid
holdup image (solid spherical nuclear fuel)
Abstract: The new semi-experimental method for simulation of
the turbine flow meters rotation in the transitional flow has been
developed. The method is based on the experimentally established
exponential low of changing of dimensionless relative turbine gas
meter rotation frequency and meter inertia time constant. For
experimental evaluation of the meter time constant special facility
has been developed. The facility ensures instant switching of turbine
meter under test from one channel to the other channel with different
flow rate and measuring the meter response. The developed method
can be used for evaluation and predication of the turbine meters
response and dynamic error in the transitional flow with any arbitrary
law of flow rate changing. The examples of the method application
are presented.
Abstract: This paper considers the integration of assembly
operations and product structure to Cellular Manufacturing System
(CMS) design so that to correct the drawbacks of previous researches
in the literature. For this purpose, a new mathematical model is
developed which dedicates machining and assembly operations to
manufacturing cells while the objective function is to minimize the
intercellular movements resulting due to both of them. A
linearization method is applied to achieve optimum solution through
solving aforementioned nonlinear model by common programming
language such as Lingo. Then, using different examples and
comparing the results, the importance of integrating assembly
considerations is demonstrated.
Abstract: Real-time embedded systems should benefit from
component-based software engineering to handle complexity and
deal with dependability. In these systems, applications should not
only be logically correct but also behave within time windows.
However, in the current component based software engineering
approaches, a few of component models handles time properties in
a manner that allows efficient analysis and checking at the
architectural level. In this paper, we present a meta-model for
component-based software description that integrates timing
issues. To achieve a complete functional model of software
components, our meta-model focuses on four functional aspects:
interface, static behavior, dynamic behavior, and interaction
protocol. With each aspect we have explicitly associated a time
model. Such a time model can be used to check a component-s
design against certain properties and to compute the timing
properties of component assemblies.
Abstract: One of the most used assumptions in logic programming
and deductive databases is the so-called Closed World Assumption
(CWA), according to which the atoms that cannot be inferred
from the programs are considered to be false (i.e. a pessimistic
assumption). One of the most successful semantics of conventional
logic programs based on the CWA is the well-founded semantics.
However, the CWA is not applicable in all circumstances when
information is handled. That is, the well-founded semantics, if
conventionally defined, would behave inadequately in different cases.
The solution we adopt in this paper is to extend the well-founded
semantics in order for it to be based also on other assumptions. The
basis of (default) negative information in the well-founded semantics
is given by the so-called unfounded sets. We extend this concept
by considering optimistic, pessimistic, skeptical and paraconsistent
assumptions, used to complete missing information from a program.
Our semantics, called extended well-founded semantics, expresses
also imperfect information considered to be missing/incomplete,
uncertain and/or inconsistent, by using bilattices as multivalued
logics. We provide a method of computing the extended well-founded
semantics and show that Kripke-Kleene semantics is captured by
considering a skeptical assumption. We show also that the complexity
of the computation of our semantics is polynomial time.
Abstract: In an effort to understand the preliminary effects of aerodynamic stress on alveolar epithelial cells, we developed a multifluidic cell culture platform capable of supporting alveolar cultures at an air-liquid interface under constant air flow and exposure to varying pressure stimuli on the apical side while providing nourishment on the basolateral plane. Our current study involved utilizing the platform to study the effect of basement membrane coating and addition of dexamethasone on cellular response to pressure in A549 and H441 alveolar epithelial cells.
Abstract: Titanium nitride (TiN) has been synthesized using the
sheet plasma negative ion source (SPNIS). The parameters used for
its effective synthesis has been determined from previous
experiments and studies. In this study, further enhancement of the
deposition rate of TiN synthesis and advancement of the SPNIS
operation is presented. This is primarily achieved by the addition of
Sm-Co permanent magnets and a modification of the configuration in
the TiN deposition process. The magnetic enhancement is aimed at
optimizing the sputtering rate and the sputtering yield of the process.
The Sm-Co permanent magnets are placed below the Ti target for
better sputtering by argon. The Ti target is biased from –250V to –
350V and is sputtered by Ar plasma produced at discharge current of
2.5–4A and discharge potential of 60–90V. Steel substrates of
dimensions 20x20x0.5mm3 were prepared with N2:Ar volumetric
ratios of 1:3, 1:5 and 1:10. Ocular inspection of samples exhibit
bright gold color associated with TiN. XRD characterization
confirmed the effective TiN synthesis as all samples exhibit the (200)
and (311) peaks of TiN and the non-stoichiometric Ti2N (220) facet.
Cross-sectional SEM results showed increase in the TiN deposition
rate of up to 0.35μm/min. This doubles what was previously obtained
[1]. Scanning electron micrograph results give a comparative
morphological picture of the samples. Vickers hardness results gave
the largest hardness value of 21.094GPa.
Abstract: Phrases has a long history in information retrieval, particularly in commercial systems. Implicit semantic relationship between words in a form of BaseNP have shown significant improvement in term of precision in many IR studies. Our research focuses on linguistic phrases which is language dependent. Our results show that using BaseNP can improve performance although above 62% of words formation in Malay Language based on derivational affixes and suffixes.
Abstract: Stair climbing is one of critical issues for field robots to
widen applicable areas. This paper presents optimal design on
kinematic parameters of a new robotic platform for stair climbing. The
robotic platform climbs various stairs by body flip locomotion with
caterpillar type main platform. Kinematic parameters such as platform
length, platform height, and caterpillar rotation speed are optimized to
maximize stair climbing stability. Three types of stairs are used to
simulate typical user conditions. The optimal design process is
conducted based on Taguchi methodology, and resulting parameters
with optimized objective function are presented. In near future, a
prototype is assembled for real environment testing.
Abstract: Product Data Management (PDM) systems for Computer
Aided Design (CAD) file management are widely established
in design processes. This management system is indispensable for
design collaboration or when design task distribution is present. It is
thus surprising that engineering design curricula has not paid much
attention in the education of PDM systems. This is also the case
for eduction of ecodesign and environmental evaluation of products.
With the rise of sustainability as a strategic aspect in companies,
environmental concerns are becoming a key issue in design. This
paper discusses the establishment of a PDM platform to be used
among technical and vocational schools in Austria. The PDM system
facilitates design collaboration among these schools. Further, it will
be discussed how the PDM system has been prepared in order to
facilitate environmental evaluation of parts, components and subassemblies
of a product. By integrating a Business Intelligence
solution, environmental Life Cycle Assessment and communication
of results is enabled.
Abstract: Response to the public health-related emergencies is analysed here for a rural university in South Africa. The structure of the designated emergency plan covers all the phases of the disaster management cycle. The plan contains elements of the vulnerability model and the technocratic model of emergency management. The response structures are vertically and horizontally integrated, while the planning contains elements of scenario-based and functional planning. The available number of medical professionals at the Rhodes University, along with the medical insurance rates, makes the staff and students potentially more medically vulnerable than the South African population. The main improvements of the emergency management are required in the tornado response and the information dissemination during health emergencies. The latter should involve the increased use of social media and e-mails, following the Taylor model of communication. Infrastructure must be improved in the telecommunication sector in the face of unpredictable electricity outages.
Abstract: The paper deals with cartographic visualisation of
results of transport accessibility monitoring with the use of a semiautomated
method of unipolar anamorphosis, developed by the
authors in the GIS environment. The method is based on
transformation of distance in the map to values of a geographical
phenomenon. In the case of time accessibility it is based on
transformation of isochrones converted into the form of concentric
circles, taking into account selected topographic and thematic
elements in the map. The method is most suitable for analyses of
accessibility to or from a centre and for modelling its long-term
context.
The paper provides a detailed analysis of the procedures and
functionality of the method, discussing the issues of coordinates,
transformation, scale and visualisation. It also offers a discussion of
possible problems and inaccuracies. A practical application of the
method is illustrated by previous research results by the authors in
the filed of accessibility in Czechia.