Abstract: Sudoku is a kind of logic puzzles. Each puzzle consists
of a board, which is a 9×9 cells, divided into nine 3×3 subblocks
and a set of numbers from 1 to 9. The aim of this puzzle is to
fill in every cell of the board with a number from 1 to 9 such
that in every row, every column, and every subblock contains each
number exactly one. Sudoku puzzles belong to combinatorial problem
(NP complete). Sudoku puzzles can be solved by using a variety of
techniques/algorithms such as genetic algorithms, heuristics, integer
programming, and so on. In this paper, we propose a new approach for
solving Sudoku which is by modelling them as block-world problems.
In block-world problems, there are a number of boxes on the table
with a particular order or arrangement. The objective of this problem
is to change this arrangement into the targeted arrangement with the
help of two types of robots. In this paper, we present three models
for Sudoku. We modellized Sudoku as parameterized multi-agent
systems. A parameterized multi-agent system is a multi-agent system
which consists of several uniform/similar agents and the number of
the agents in the system is stated as the parameter of this system. We
use Temporal Logic of Actions (TLA) for formalizing our models.
Abstract: This paper study the high-level modelling and design
of delta-sigma (ΔΣ) noise shapers for audio Digital-to-Analog
Converter (DAC) so as to eliminate the in-band Signal-to-Noise-
Ratio (SNR) degradation that accompany one channel mismatch in
audio signal. The converter combines a cascaded digital signal
interpolation, a noise-shaping single loop delta-sigma modulator with
a 5-bit quantizer resolution in the final stage. To reduce sensitivity of
Digital-to-Analog Converter (DAC) nonlinearities of the last stage, a
high pass second order Data Weighted Averaging (R2DWA) is
introduced. This paper presents a MATLAB description modelling
approach of the proposed DAC architecture with low distortion and
swing suppression integrator designs. The ΔΣ Modulator design can
be configured as a 3rd-order and allows 24-bit PCM at sampling rate
of 64 kHz for Digital Video Disc (DVD) audio application. The
modeling approach provides 139.38 dB of dynamic range for a 32
kHz signal band at -1.6 dBFS input signal level.
Abstract: Supply chain management has become more
challenging with the emerging trend of globalization and
sustainability. Lately, research related to perishable products supply
chains, in particular agricultural food products, has emerged. This is
attributed to the additional complexity of managing this type of
supply chains with the recently increased concern of public health,
food quality, food safety, demand and price variability, and the
limited lifetime of these products. Inventory management for agrifood
supply chains is of vital importance due to the product
perishability and customers- strive for quality. This paper
concentrates on developing a simulation model of a real life case
study of a two echelon production-distribution system for agri-food
products. The objective is to improve a set of performance measures
by developing a simulation model that helps in evaluating and
analysing the performance of these supply chains. Simulation results
showed that it can help in improving overall system performance.
Abstract: Extreme temperature of several stations in Malaysia is
modelled by fitting the monthly maximum to the Generalized
Extreme Value (GEV) distribution. The Mann-Kendall (MK) test
suggests a non-stationary model. Two models are considered for
stations with trend and the Likelihood Ratio test is used to determine
the best-fitting model. Results show that half of the stations favour a
model which is linear for the location parameters. The return level is
the level of events (maximum temperature) which is expected to be
exceeded once, on average, in a given number of years, is obtained.
Abstract: In this paper, a data mining model to SMEs for detecting financial and operational risk indicators by data mining is presenting. The identification of the risk factors by clarifying the relationship between the variables defines the discovery of knowledge from the financial and operational variables. Automatic and estimation oriented information discovery process coincides the definition of data mining. During the formation of model; an easy to understand, easy to interpret and easy to apply utilitarian model that is far from the requirement of theoretical background is targeted by the discovery of the implicit relationships between the data and the identification of effect level of every factor. In addition, this paper is based on a project which was funded by The Scientific and Technological Research Council of Turkey (TUBITAK).
Abstract: For many industrial applications plate heat
exchangers are demonstrating a large superiority over the
other types of heat exchangers. The efficiency of such a
device depends on numerous factors the effect of which needs
to be analysed and accurately evaluated.
In this paper we present a theoretical analysis of a cocurrent
plate heat exchanger and the results of its numerical
simulation.
Knowing the hot and the cold fluid streams inlet temperatures,
the respective heat capacities mCp
and the value of the
overall heat transfer coefficient, a 1-D mathematical model
based on the steady flow energy balance for a differential
length of the device is developed resulting in a set of N first
order differential equations with boundary conditions where N
is the number of channels.For specific heat exchanger
geometry and operational parameters, the problem is
numerically solved using the shooting method.
The simulation allows the prediction of the temperature
map in the heat exchanger and hence, the evaluation of its
performances. A parametric analysis is performed to evaluate
the influence of the R-parameter on the e-NTU values. For
practical purposes effectiveness-NTU graphs are elaborated
for specific heat exchanger geometry and different operating
conditions.
Abstract: Malaria is a serious, acute and chronic relapsing
infection to humans. It is characterized by periodic attacks of chills,
fever, nausea, vomiting, back pain, increased sweating anemia,
splenomegaly (enlargement of the spleen) and often-fatal
complications.The malaria disease is caused by the multiplication of
protozoa parasite of the genus Plasmodium. Malaria in humans is due
to 4 types of malaria parasites such that Plasmodium falciparum,
Plasmodium vivax, Plasmodium malariae and Plasmodium ovale.
P.vivax malaria differs from P. falciparum malaria in that a person
suffering from P. vivax malaria can experience relapses of the
disease. Between the relapses, the malaria parasite will remain
dormant in the liver of the patient, leading to the patient being
classified as being in the dormant class. A mathematical model for
the transmission of P. vivax is developed in which the human
population is divided into four classes, the susceptible, the infected,
the dormant and the recovered. In this paper, we formulate the
dynamical model of P. vivax malaria to see the distribution of this
disease at the district level.
Abstract: In this paper, we extend the compound binomial model to the case where the premium income process, based on a binomial process, is no longer a linear function. First, a mathematically recursive formula is derived for non ruin probability, and then, we examine the expected discounted penalty function, satisfy a defect renewal equation. Third, the asymptotic estimate for the expected discounted penalty function is then given. Finally, we give two examples of ruin quantities to illustrate applications of the recursive formula and the asymptotic estimate for penalty function.
Abstract: We study the dynamic response of a wind turbine
structure subjected to theoretical seismic motions, taking into account
the rotational component of ground shaking. Models are generated
for a shallow moderate crustal earthquake in the Madrid Region
(Spain). Synthetic translational and rotational time histories are
computed using the Discrete Wavenumber Method, assuming a point
source and a horizontal layered earth structure. These are used to
analyze the dynamic response of a wind turbine, represented by a
simple finite element model. Von Mises stress values at different
heights of the tower are used to study the dynamical structural
response to a set of synthetic ground motion time histories
Abstract: New Zealand-s product markets experienced a surge in
import competition beginning from the late 1970-s when its
government began to promote a policy of more open markets. This
study considers how the trade liberalization aspect of the policy may
have influenced unionization and union-organizing success. For
describing the trade liberalization, a model shows how the removal of
import tariffs can lead to countervailing influences upon the union
membership of a domestic firm. The evidence supports the prediction
that union membership has been decreased rather than increased. In
the context of debates concerning globalization, it can be said that the
power of unions has been diminished.
Abstract: Among the various cooling processes in industrial
applications such as: electronic devices, heat exchangers, gas
turbines, etc. Gas turbine blades cooling is the most challenging one.
One of the most common practices is using ribbed wall because of
the boundary layer excitation and therefore making the ultimate
cooling. Vortex formation between rib and channel wall will result in
a complicated behavior of flow regime. At the other hand, selecting
the most efficient method for capturing the best results comparing to
experimental works would be a fascinating issue. In this paper 4
common methods in turbulence modeling: standard k-e, rationalized
k-e with enhanced wall boundary layer treatment, k-w and RSM
(Reynolds stress model) are employed to a square ribbed channel to
investigate the separation and thermal behavior of the flow in the
channel. Finally all results from different methods which are used in
this paper will be compared with experimental data available in
literature to ensure the numerical method accuracy.
Abstract: This work presents a study on the abrasive water jet
(AWJ) machining. An explicit finite element analysis (FEA) of
single abrasive particle impact on stainless steel 1.4304 (AISI 304) is
conducted. The abrasive water jet machining is modeled by FEA
software ABAQUS/CAE. Shapes of craters in FEM simulation
results were used and compared with the previous experimental and
FEM works by means of crater sphericity. The influence of impact
angle and particle velocity was observed. Adaptive mesh domain is
used to model the impact zone. Results are in good agreement with
those obtained from the experimental and FEM simulation. The
crater-s depth is also obtained for different impact angle and abrasive
particle velocities.
Abstract: The effect of muscle loss due to transfemoral
amputation, on energy expenditure of hip joint and individual
residual muscles was simulated. During swing phase of gait, with
each muscle as an ideal force generator, the lower extremity was
modeled as a two-degree of freedom linkage, for which hip and knee
were joints. According to results, muscle loss will not lead to higher
energy expenditure of hip joint, as long as other parameters of limb
remain unaffected. This finding maybe due to the role of biarticular
muscles in hip and knee joints motion. Moreover, if hip flexors are
removed from the residual limb, residual flexors, and if hip extensors
are removed, residual extensors will do more work. In line with the
common practice in transfemoral amputation, this result demonstrates
during transfemoral amputation, it is important to maintain the length
of residual limb as much as possible.
Abstract: In this paper presents a technique for developing the
computational efficiency in simulating double output induction
generators (DOIG) with two rotor circuits where stator transients are
to be included. Iterative decomposition is used to separate the flux–
Linkage equations into decoupled fast and slow subsystems, after
which the model order of the fast subsystems is reduced by
neglecting the heavily damped fast transients caused by the second
rotor circuit using integral manifolds theory. The two decoupled
subsystems along with the equation for the very slowly changing slip
constitute a three time-scale model for the machine which resulted in
increasing computational speed. Finally, the proposed method of
reduced order in this paper is compared with the other conventional
methods in linear and nonlinear modes and it is shown that this
method is better than the other methods regarding simulation
accuracy and speed.
Abstract: This paper addresses the problem of how one can
improve the performance of a non-optimal filter. First the theoretical question on dynamical representation for a given time correlated
random process is studied. It will be demonstrated that for a wide class of random processes, having a canonical form, there exists
a dynamical system equivalent in the sense that its output has the
same covariance function. It is shown that the dynamical approach is more effective for simulating and estimating a Markov and non-
Markovian random processes, computationally is less demanding,
especially with increasing of the dimension of simulated processes.
Numerical examples and estimation problems in low dimensional
systems are given to illustrate the advantages of the approach. A very useful application of the proposed approach is shown for the
problem of state estimation in very high dimensional systems. Here a modified filter for data assimilation in an oceanic numerical model
is presented which is proved to be very efficient due to introducing
a simple Markovian structure for the output prediction error process
and adaptive tuning some parameters of the Markov equation.
Abstract: To calculate the temperature distribution of the slab in
a hot rolled reheating furnace a mathematical model has been
developed by considering the thermal radiation in the furnace and
transient conduction in the slab. The furnace is modeled as radiating
medium with spatially varying temperature. Radiative heat flux within
the furnace including the effect of furnace walls, combustion gases,
skid beams and buttons is calculated using the FVM and is applied as
the boundary condition of the transient conduction equation of the
slab. After determining the slab emissivity by comparison between
simulation and experimental work, variation of heating characteristics
in the slab is investigated in the case of changing furnace temperature
with various time and the slab residence time is optimized with this
evaluation.
Abstract: In this work, propagation of uncertainty during calibration
process of TRANUS, an integrated land use and transport model
(ILUTM), has been investigated. It has also been examined, through a
sensitivity analysis, which input parameters affect the variation of the
outputs the most. Moreover, a probabilistic verification methodology
of calibration process, which equates the observed and calculated
production, has been proposed. The model chosen as an application is
the model of the city of Grenoble, France. For sensitivity analysis and
uncertainty propagation, Monte Carlo method was employed, and a
statistical hypothesis test was used for verification. The parameters of
the induced demand function in TRANUS, were assumed as uncertain
in the present case. It was found that, if during calibration, TRANUS
converges, then with a high probability the calibration process is
verified. Moreover, a weak correlation was found between the inputs
and the outputs of the calibration process. The total effect of the
inputs on outputs was investigated, and the output variation was found
to be dictated by only a few input parameters.
Abstract: The purposes of this paper are to (1) promote
excellence in computer science by suggesting a cohesive innovative
approach to fill well documented deficiencies in current computer
science education, (2) justify (using the authors- and others anecdotal
evidence from both the classroom and the real world) why this
approach holds great potential to successfully eliminate the
deficiencies, (3) invite other professionals to join the authors in proof
of concept research. The authors- experiences, though anecdotal,
strongly suggest that a new approach involving visual modeling
technologies should allow computer science programs to retain a
greater percentage of prospective and declared majors as students
become more engaged learners, more successful problem-solvers,
and better prepared as programmers. In addition, the graduates of
such computer science programs will make greater contributions to
the profession as skilled problem-solvers. Instead of wearily
rememorizing code as they move to the next course, students will
have the problem-solving skills to think and work in more
sophisticated and creative ways.
Abstract: Evolution of one-dimensional electron system under
high-energy-density (HED) conditions is investigated, using the
principle of least-action and variational method. In a single-mode
modulation model, the amplitude and spatial wavelength of the
modulation are chosen to be general coordinates. Equations of motion
are derived by considering energy conservation and force balance.
Numerical results show that under HED conditions, electron density
modulation could exist. Time dependences of amplitude and
wavelength are both positively related to the rate of energy input.
Besides, initial loading speed has a significant effect on modulation
amplitude, while wavelength relies more on loading duration.
Abstract: In this study, we are interested in the economic lot
scheduling problem (ELSP) that considers manufacturing of the
serviceable products and remanufacturing of the reworked products. In
this paper, we formulate a mathematical model for the ELSP with
reworks using the basic period approach. In order to solve this
problem, we propose a search algorithm to find the cyclic multiplier ki
of each product that can be cyclically produced for every ki basic
periods. This research also uses two heuristics to search for the optimal
production sequence of all lots and the optimal time length of the basic
period so as to minimize the average total cost. This research uses a
numerical example to show the effectiveness of our approach.