Abstract: Petri Net (PN) has proven to be effective graphical, mathematical, simulation, and control tool for Discrete Event Systems (DES). But, with the growth in the complexity of modern industrial, and communication systems, PN found themselves inadequate to address the problems of uncertainty, and imprecision in data. This gave rise to amalgamation of Fuzzy logic with Petri nets and a new tool emerged with the name of Fuzzy Petri Nets (FPN). Although there had been a lot of research done on FPN and a number of their applications have been anticipated, but their basic types and structure are still ambiguous. Therefore, in this research, an effort is made to categorize FPN according to their structure and algorithms Further, literature review of the applications of FPN in the light of their classifications has been done.
Abstract: Segmentation is an important step in medical image
analysis and classification for radiological evaluation or computer
aided diagnosis. This paper presents the problem of inaccurate lung
segmentation as observed in algorithms presented by researchers
working in the area of medical image analysis. The different lung
segmentation techniques have been tested using the dataset of 19
patients consisting of a total of 917 images. We obtained datasets of
11 patients from Ackron University, USA and of 8 patients from
AGA Khan Medical University, Pakistan. After testing the algorithms
against datasets, the deficiencies of each algorithm have been
highlighted.
Abstract: This paper explores steady-state characteristics of
grid-connected doubly fed induction motor (DFIM) in case of unity
power factor operation. Based on the synchronized mathematical
model, analytic determination of the control laws is presented and
illustrated by various figures to understand the effect of the applied
rotor voltage on the speed and the active power. On other hand,
unlike previous works where the stator resistance was neglected, in
this work, stator resistance is included such that the equations can be
applied to small wind turbine generators which are becoming more
popular. Finally the work is crowned by integration of the studied
induction generator in a wind system where an open loop control is
proposed confers a remarkable simplicity of implementation
compared to the known methods.
Abstract: Incompressible Navier-Stokes equations are reviewed
in this work. Three-dimensional Navier-Stokes equations are solved
analytically. The Mathematical derivation shows that the solutions
for the zero and constant pressure gradients are similar. Descriptions
of the proposed formulation and validation against two laminar
experiments and three different turbulent flow cases are reported in
this paper. Even though, the analytical solution is derived for nonreacting
flows, it could reproduce trends for cases including
combustion.
Abstract: The design of technological procedures for
manufacturing certain products demands the definition and
optimization of technological process parameters. Their
determination depends on the model of the process itself and its
complexity. Certain processes do not have an adequate mathematical
model, thus they are modeled using heuristic methods. First part of
this paper presents a state of the art of using soft computing
techniques in manufacturing processes from the perspective of
applicability in modern CAx systems. Methods of artificial
intelligence which can be used for this purpose are analyzed. The
second part of this paper shows some of the developed models of
certain processes, as well as their applicability in the actual
calculation of parameters of some technological processes within the
design system from the viewpoint of productivity.
Abstract: In theoretical computer science, the Turing machine has played a number of important roles in understanding and exploiting basic concepts and mechanisms in computing and information processing [20]. It is a simple mathematical model of computers [9]. After that, M.Blum and C.Hewitt first proposed two-dimensional automata as a computational model of two-dimensional pattern processing, and investigated their pattern recognition abilities in 1967 [7]. Since then, a lot of researchers in this field have been investigating many properties about automata on a two- or three-dimensional tape. On the other hand, the question of whether processing fourdimensional digital patterns is much more difficult than two- or threedimensional ones is of great interest from the theoretical and practical standpoints. Thus, the study of four-dimensional automata as a computasional model of four-dimensional pattern processing has been meaningful [8]-[19],[21]. This paper introduces a cooperating system of four-dimensional finite automata as one model of four-dimensional automata. A cooperating system of four-dimensional finite automata consists of a finite number of four-dimensional finite automata and a four-dimensional input tape where these finite automata work independently (in parallel). Those finite automata whose input heads scan the same cell of the input tape can communicate with each other, that is, every finite automaton is allowed to know the internal states of other finite automata on the same cell it is scanning at the moment. In this paper, we mainly investigate some accepting powers of a cooperating system of eight- or seven-way four-dimensional finite automata. The seven-way four-dimensional finite automaton is an eight-way four-dimensional finite automaton whose input head can move east, west, south, north, up, down, or in the fu-ture, but not in the past on a four-dimensional input tape.
Abstract: The mathematical modeling of storm surge in sea and
coastal regions such as the South China Sea (SCS) and the Gulf of
Thailand (GoT) are important to study the typhoon characteristics.
The storm surge causes an inundation at a lateral boundary exhibiting
in the coastal zones particularly in the GoT and some part of the SCS.
The model simulations in the three dimensional primitive equations
with a high resolution model are important to protect local properties
and human life from the typhoon surges. In the present study, the
mathematical modeling is used to simulate the typhoon–induced
surges in three case studies of Typhoon Linda 1997. The results
of model simulations at the tide gauge stations can describe the
characteristics of storm surges at the coastal zones.
Abstract: In this article, a high vacuum system for the evaporation of organic semiconductors is introduced and a mathematical model is given. Based on the exact input output linearization a deposition rate controller is designed and tested with different evaporation materials.
Abstract: Subcritical water extraction was investigated as a
novel and alternative technology in the food and pharmaceutical
industry for the separation of Mannitol from olive leaves and its
results was compared with those of Soxhlet extraction. The effects of
temperature, pressure, and flow rate of water and also momentum
and mass transfer dimensionless variables such as Reynolds and
Peclet Numbers on extraction yield and equilibrium partition
coefficient were investigated. The 30-110 bars, 60-150°C, and flow
rates of 0.2-2 mL/min were the water operating conditions. The
results revealed that the highest Mannitol yield was obtained at
100°C and 50 bars. However, extraction of Mannitol was not
influenced by the variations of flow rate. The mathematical modeling
of experimental measurements was also investigated and the model is
capable of predicting the experimental measurements very well. In
addition, the results indicated higher extraction yield for the
subcritical water extraction in contrast to Soxhlet method.
Abstract: Molodstov-s soft sets theory was originally proposed
as general mathematical tool for dealing with uncertainty problems. The matrix form has been introduced in soft set and some of its
properties have been discussed. However, the formulation of soft
matrix in group decision making problem only with equal importance
weights of criteria, which does not show the true opinion of decision maker on each criteria. The aim of this paper is to propose a method
for solving group decision making problem incorporating the importance of criteria by using soft matrices in a more objective manner. The weight of each criterion is calculated by using the Analytic Hierarchy Process (AHP) method. An example of house
selection process is given to illustrate the effectiveness of the proposed method.
Abstract: This paper describes the development of a WLAN
propagation model, using Spectral Analyzer measurements. The
signal is generated by two Access Points (APs) on the base floor at
the administrative Communication School of ESPOL building. In
general, users do not have a Q&S reference about a wireless network;
however, this depends on the level signal as a function of frequency,
distance and other path conditions between receiver and transmitter.
Then, power density of the signal decrease as it propagates through
space and data transfer rate is affected. This document evaluates and
implements empirical mathematical formulation for the
characterization of WLAN radio wave propagation on two aisles of
the building base floor.
Abstract: A transient heat transfer mathematical model for the
prediction of temperature distribution in the car body during primer
baking has been developed by considering the thermal radiation and
convection in the furnace chamber and transient heat conduction
governing equations in the car framework. The car cockpit is
considered like a structure with six flat plates, four vertical plates
representing the car doors and the rear and front panels. The other
two flat plates are the car roof and floor. The transient heat
conduction in each flat plate is modeled by the lumped capacitance
method. Comparison with the experimental data shows that the heat
transfer model works well for the prediction of thermal behavior of
the car body in the curing furnace, with deviations below 5%.
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: Environmental awareness and the recent
environmental policies have forced many electric utilities to
restructure their operational practices to account for their emission
impacts. One way to accomplish this is by reformulating the
traditional economic dispatch problem such that emission effects are
included in the mathematical model. This paper presents a Particle
Swarm Optimization (PSO) algorithm to solve the Economic-
Emission Dispatch problem (EED) which gained recent attention due
to the deregulation of the power industry and strict environmental
regulations. The problem is formulated as a multi-objective one with
two competing functions, namely economic cost and emission
functions, subject to different constraints. The inequality constraints
considered are the generating unit capacity limits while the equality
constraint is generation-demand balance. A novel equality constraint
handling mechanism is proposed in this paper. PSO algorithm is
tested on a 30-bus standard test system. Results obtained show that
PSO algorithm has a great potential in handling multi-objective
optimization problems and is capable of capturing Pareto optimal
solution set under different loading conditions.
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: 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 presents a new adaptive impedance control
strategy, based on Function Approximation Technique (FAT) to
compensate for unknown non-flat environment shape or time-varying
environment location. The target impedance in the force controllable
direction is modified by incorporating adaptive compensators and the
uncertainties are represented by FAT, allowing the update law to be
derived easily. The force error feedback is utilized in the estimation
and the accurate knowledge of the environment parameters are not
required by the algorithm. It is shown mathematically that the
stability of the controller is guaranteed based on Lyapunov theory.
Simulation results presented to demonstrate the validity of the
proposed controller.
Abstract: Thin linear-elastic cylindrical circular shells having a
micro-periodic structure along two directions tangent to the shell
midsurface (biperiodic shells) are object of considerations. The aim
of this paper is twofold. First, we formulate an averaged nonasymptotic
model for the analysis of parametric vibrations or dynamical
stability of periodic shells under consideration, which has constant
coefficients and takes into account the effect of a cell size on the
overall shell behavior (a length-scale effect). This model is derived
employing the tolerance modeling procedure. Second we apply the
obtained model to derivation of frequency equation being a starting
point in the analysis of parametric vibrations. The effect of the microstructure
length oh this frequency equation is discussed.
Abstract: Chemical reaction and diffusion are important phenomena in quantitative neurobiology and biophysics. The knowledge of the dynamics of calcium Ca2+ is very important in cellular physiology because Ca2+ binds to many proteins and regulates their activity and interactions Calcium waves propagate inside cells due to a regenerative mechanism known as calcium-induced calcium release. Buffer-mediated calcium diffusion in the cytosol plays a crucial role in the process. A mathematical model has been developed for calcium waves by assuming the buffers are in equilibrium with calcium i.e., the rapid buffering approximation for a one dimensional unsteady state case. This model incorporates important physical and physiological parameters like dissociation rate, diffusion rate, total buffer concentration and influx. The finite difference method has been employed to predict [Ca2+] and buffer concentration time course regardless of the calcium influx. The comparative studies of the effect of the rapid buffered diffusion and kinetic parameters of the model on the concentration time course have been performed.
Abstract: In the paper the mathematical model of tumor
growth is considered. New capillary network formation,
which supply cancer cells with the nutrients, is taken into the
account. A formula estimating a tumor growth in connection
with the number of capillaries is obtained.