Abstract: Functionalities and control behavior are both primary
requirements in design of a complex system. Automata theory plays
an important role in modeling behavior of a system. Z is an ideal
notation which is used for describing state space of a system and then
defining operations over it. Consequently, an integration of automata
and Z will be an effective tool for increasing modeling power for a
complex system. Further, nondeterministic finite automata (NFA)
may have different implementations and therefore it is needed to
verify the transformation from diagrams to a code. If we describe
formal specification of an NFA before implementing it, then
confidence over transformation can be increased. In this paper, we
have given a procedure for integrating NFA and Z. Complement of a
special type of NFA is defined. Then union of two NFAs is
formalized after defining their complements. Finally, formal
construction of intersection of NFAs is described. The specification
of this relationship is analyzed and validated using Z/EVES tool.
Abstract: Avionics software is safe-critical embedded software
and its architecture is evolving from traditional federated architectures
to Integrated Modular Avionics (IMA) to improve resource usability.
ARINC 653 (Avionics Application Standard Software Interface) is a
software specification for space and time partitioning in Safety-critical
avionics Real-time operating systems. Arinc653 uses two-level
scheduling strategies, but current modeling tools only apply to simple
problems of Arinc653 two-level scheduling, which only contain time
property. In avionics industry, we are always manually allocating
tasks and calculating the timing table of a real-time system to ensure
it-s running as we design. In this paper we represent an automatically
generating strategy which applies to the two scheduling problems with
dependent constraints in Arinc653 partition run-time environment. It
provides the functionality of automatic generation from the task and partition models to scheduling policy through allocating the tasks to the partitions while following the constraints, and then we design a simulating mechanism to check whether our policy is schedulable or
not
Abstract: Airbag deployment has been known to be responsible
for huge death, incidental injuries and broken bones due to low crash
severity and wrong deployment decisions. Therefore, the authorities
and industries have been looking for more innovative and intelligent
products to be realized for future enhancements in the vehicle safety
systems (VSSs). Although the VSSs technologies have advanced
considerably, they still face challenges such as how to avoid
unnecessary and untimely airbag deployments that can be hazardous
and fatal. Currently, most of the existing airbag systems deploy
without regard to occupant size and position. As such, this paper will
focus on the occupant and crash sensing performances due to frontal
collisions for the new breed of so called smart airbag systems. It
intends to provide a thorough discussion relating to the occupancy
detection, occupant size classification, occupant off-position
detection to determine safe distance zone for airbag deployment,
crash-severity analysis and airbag decision algorithms via a computer
modeling. The proposed system model consists of three main
modules namely, occupant sensing, crash severity analysis and
decision fusion. The occupant sensing system module utilizes the
weight sensor to determine occupancy, classify the occupant size,
and determine occupant off-position condition to compute safe
distance for airbag deployment. The crash severity analysis module is
used to generate relevant information pertinent to airbag deployment
decision. Outputs from these two modules are fused to the decision
module for correct and efficient airbag deployment action. Computer
modeling work is carried out using Simulink, Stateflow,
SimMechanics and Virtual Reality toolboxes.
Abstract: Temperature is one of the most principle factors affects aquaculture system. It can cause stress and mortality or superior environment for growth and reproduction. This paper presents the control of pond water temperature using artificial intelligence technique. The water temperature is very important parameter for shrimp growth. The required temperature for optimal growth is 34oC, if temperature increase up to 38oC it cause death of the shrimp, so it is important to control water temperature. Solar thermal water heating system is designed to supply an aquaculture pond with the required hot water in Mersa Matruh in Egypt. Neural networks are massively parallel processors that have the ability to learn patterns through a training experience. Because of this feature, they are often well suited for modeling complex and non-linear processes such as those commonly found in the heating system. Artificial neural network is proposed to control water temperature due to Artificial intelligence (AI) techniques are becoming useful as alternate approaches to conventional techniques. They have been used to solve complicated practical problems. Moreover this paper introduces a complete mathematical modeling and MATLAB SIMULINK model for the aquaculture system. The simulation results indicate that, the control unit success in keeping water temperature constant at the desired temperature by controlling the hot water flow rate.
Abstract: Downward turbulent bubbly flows in pipes were
modeled using computational fluid dynamics tools. The
Hydrodynamics, phase distribution and turbulent structure of twophase
air-water flow in a 57.15 mm diameter and 3.06 m length
vertical pipe was modeled by using the 3-D Eulerian-Eulerian
multiphase flow approach. Void fraction, liquid velocity and
turbulent fluctuations profiles were calculated and compared against
experimental data. CFD results are in good agreement with
experimental data.
Abstract: Tuberculosis (TB) is a bacterial infectious disease caused by the obligate human pathogen, Mycobacterium tuberculosis. Multidrug-resistant tuberculosis (MDR-TB) is a global reality that threatens tuberculosis control. Resistance to antibiotic Rifampicin, occurs in 95% of cases through nucleotide substitutions in an 81-bp core region of the rpoB i.e; beta subunit of DNA dependant RNA polymerase. In this paper, we studied the Rifampicin-rpoB receptor interactions In silico. First, homology modeling was performed to obtain the three dimensional structure of Mycobacterium rpoB. Sixty analogs of Rifampicin were prepared using Marvin sketch software. Both original Rifampicin and the analogs were docked with rpoB and energy values were obtained. Out of sixty analogs, 43 analogs had lesser energy values than conventional Rifampicin and hence are predicted to have greater binding affinity to rpoB. Thus, this study offers a route for the development of Rifampicin analogs against multi drug resistant Mycobacterium rpoB.
Abstract: Since the last two decades, container transportation
system has been faced under increasing development. This fact
shows the importance of container transportation system as a key role
of container terminals to link between sea and land. Therefore, there
is a continuous need for the optimal use of equipment and facilities in
the ports. Regarding the complex structure of container ports, this
paper presents a simulation model that compares tow storage
strategies for storing containers in the yard. For this purpose, we
considered loading and unloading norm as an important criterion to
evaluate the performance of Shahid Rajaee container port. By
analysing the results of the model, it will be shown that using
marshalling yard policy instead of current storage system has a
significant effect on the performance level of the port and can
increase the loading and unloading norm up to 14%.
Abstract: In this paper, a two-dimensional (2D) numerical
model for the tidal currents simulation in Persian Gulf is presented.
The model is based on the depth averaged equations of shallow water
which consider hydrostatic pressure distribution. The continuity
equation and two momentum equations including the effects of bed
friction, the Coriolis effects and wind stress have been solved. To
integrate the 2D equations, the Alternative Direction Implicit (ADI)
technique has been used. The base of equations discritization was
finite volume method applied on rectangular mesh. To evaluate the
model validation, a dam break case study including analytical
solution is selected and the comparison is done. After that, the
capability of the model in simulation of tidal current in a real field is
represented by modeling the current behavior in Persian Gulf. The
tidal fluctuations in Hormuz Strait have caused the tidal currents in
the area of study. Therefore, the water surface oscillations data at
Hengam Island on Hormoz Strait are used as the model input data.
The check point of the model is measured water surface elevations at
Assaluye port. The comparison between the results and the
acceptable agreement of them showed the model ability for modeling
marine hydrodynamic.
Abstract: Cylindrical concrete reservoirs are appropriate choice
for storing liquids as water, oil and etc. By using of the pre-cast
concrete reservoirs instead of the in-situ constructed reservoirs, the
speed and precision of the construction would considerably increase.
In this construction method, wall and roof panels would make in
factory with high quality materials and precise controlling. Then,
pre-cast wall and roof panels would carry out to the construction site
for assembling. This method has a few faults such as: the existing
weeks in connection of wall panels together and wall panels to
foundation. Therefore, these have to be resisted under applied loads
such as seismic load. One of the innovative methods which was
successfully applied for seismic retrofitting of numerous pre-cast
cylindrical water reservoirs in New Zealand, using of the high tensile
cables around the reservoirs and post-tensioning them. In this paper,
analytical modeling of wall and roof panels and post-tensioned
cables are carried out with finite element method and the effect of
height to diameter ratio, post-tensioning force value, liquid level in
reservoir, installing position of tendons on seismic response of
reservoirs are investigated.
Abstract: Channel junctions can be analyzed in two ways of
division (lateral intake) and combined flows (confluence). The
present paper investigates 3D flow pattern at lateral intake using
Navier-Stokes equation and κ -ε (RNG) turbulent model. The
equations are solved by Finite-Volume Method (FVM) and results
are compared with the experimental data of (Barkdoll, B.D., 1997)
to test the validity of the findings. Comparison of the results with
the experimental data indicated a close proximity between the two
sets of data which suggest a very close simulation. Results further
indicated an inverse relation between the effects of discharge ratio
( r Q ) on the length and width of the separation zone. In other words,
as the discharge ration increases, the length and width of separation
zone decreases.
Abstract: The rate of nitrate adsorption by a nitrate selective ion
exchange resin was investigated in a well-stirred batch experiments.
The kinetic experimental data were simulated with diffusion models including external mass transfer, particle diffusion and chemical
adsorption. Particle pore volume diffusion and particle surface diffusion were taken into consideration separately and simultaneously
in the modeling. The model equations were solved numerically using the Crank-Nicholson scheme. An optimization technique was
employed to optimize the model parameters. All nitrate concentration
decay data were well described with the all diffusion models. The
results indicated that the kinetic process is initially controlled by external mass transfer and then by particle diffusion. The external
mass transfer coefficient and the coefficients of pore volume diffusion and surface diffusion in all experiments were close to each
other with the average value of 8.3×10-3 cm/S for external mass
transfer coefficient. In addition, the models are more sensitive to the
mass transfer coefficient in comparison with particle diffusion. Moreover, it seems that surface diffusion is the dominant particle
diffusion in comparison with pore volume diffusion.
Abstract: This paper presents a novel method for prediction of
the mechanical behavior of proximal femur using the general
framework of the quantitative computed tomography (QCT)-based
finite element Analysis (FEA). A systematic imaging and modeling
procedure was developed for reliable correspondence between the
QCT-based FEA and the in-vitro mechanical testing. A speciallydesigned
holding frame was used to define and maintain a unique
geometrical reference system during the analysis and testing. The
QCT images were directly converted into voxel-based 3D finite
element models for linear and nonlinear analyses. The equivalent
plastic strain and the strain energy density measures were used to
identify the critical elements and predict the failure patterns. The
samples were destructively tested using a specially-designed gripping
fixture (with five degrees of freedom) mounted within a universal
mechanical testing machine. Very good agreements were found
between the experimental and the predicted failure patterns and the
associated load levels.
Abstract: Cast metal inlays can be used on molars requiring a
class II restoration instead amalgam and offer a durable alternative.
Because it is known that class II inlays may increase the
susceptibility to fracture, it is important to ensure optimal
performance in selection of the adequate preparation design to reduce
stresses in teeth structures and also in the restorations. The aim of the
study was to investigate the influence of preparation design on stress
distribution in molars with different class II preparations and in cast
metal inlays. The first step of the study was to achieve 3D models in
order to analyze teeth and cast metal class II inlays. The geometry of
the intact tooth was obtained by 3D scanning using a manufactured
device. With a NURBS modeling program the preparations and the
appropriately inlays were designed. 3D models of first upper molars
of the same shape and size were created. Inlay cavities designs were
created using literature data. The geometrical model was exported
and the mesh structure of the solid 3D model was created for
structural simulations. Stresses were located around the occlusal
contact areas. For the studied cases, the stress values were not
significant influenced by the taper of the preparation. it was
demonstrated stresses are higher in the cast metal restorations and
therefore the strength of the teeth is not affected.
Abstract: EEG signal is one of the oldest measures of brain
activity that has been used vastly for clinical diagnoses and
biomedical researches. However, EEG signals are highly
contaminated with various artifacts, both from the subject and from
equipment interferences. Among these various kinds of artifacts,
ocular noise is the most important one. Since many applications such
as BCI require online and real-time processing of EEG signal, it is
ideal if the removal of artifacts is performed in an online fashion.
Recently, some methods for online ocular artifact removing have
been proposed. One of these methods is ARMAX modeling of EEG
signal. This method assumes that the recorded EEG signal is a
combination of EOG artifacts and the background EEG. Then the
background EEG is estimated via estimation of ARMAX parameters.
The other recently proposed method is based on adaptive filtering.
This method uses EOG signal as the reference input and subtracts
EOG artifacts from recorded EEG signals. In this paper we
investigate the efficiency of each method for removing of EOG
artifacts. A comparison is made between these two methods. Our
undertaken conclusion from this comparison is that adaptive filtering
method has better results compared with the results achieved by
ARMAX modeling.
Abstract: Transportation authorities need to provide the services
and facilities that are critical to every country-s well-being and
development. Management of the road network is becoming
increasingly challenging as demands increase and resources are
limited. Public sector institutions are integrating performance
information into budgeting, managing and reporting via
implementing performance measurement systems. In the face of
growing challenges, performance measurement of road networks is
attracting growing interest in many countries. The large scale of
public investments makes the maintenance and development of road
networks an area where such systems are an important assessment
tool. Transportation agencies have been using performance
measurement and modeling as part of pavement and bridge
management systems. Recently the focus has been on extending the
process to applications in road construction and maintenance
systems, operations and safety programs, and administrative
structures and procedures. To eliminate failure and dysfunctional
consequences the importance of obtaining objective data and
implementing evaluation instrument where necessary is presented in
this paper
Abstract: Studies on gas solid mass transfer using Supercritical fluid CO2 (SC-CO2) in a packed bed of palm kernels was investigated at operating conditions of temperature 50 °C and 70 °C and pressures ranges from 27.6 MPa, 34.5 MPa, 41.4 MPa and 48.3 MPa. The development of mass transfer models requires knowledge of three properties: the diffusion coefficient of the solute, the viscosity and density of the Supercritical fluids (SCF). Matematical model with respect to the dimensionless number of Sherwood (Sh), Schmidt (Sc) and Reynolds (Re) was developed. It was found that the model developed was found to be in good agreement with the experimental data within the system studied.
Abstract: This paper evaluates the performance of a novel
algorithm for tracking of a mobile node, interms of execution time
and root mean square error (RMSE). Particle Filter algorithm is used
to track the mobile node, however a new technique in particle filter
algorithm is also proposed to reduce the execution time. The
stationary points were calculated through trilateration and finally by
averaging the number of points collected for a specific time, whereas
tracking is done through trilateration as well as particle filter
algorithm. Wi-Fi signal is used to get initial guess of the position of
mobile node in x-y coordinates system. Commercially available
software “Wireless Mon" was used to read the WiFi signal strength
from the WiFi card. Visual Cµ version 6 was used to interact with
this software to read only the required data from the log-file
generated by “Wireless Mon" software. Results are evaluated through
mathematical modeling and MATLAB simulation.
Abstract: This paper covers various aspects of film piracy over the Internet. In order to successfully deal with this matter, it is needed to recognize motivational factors related to film piracy. Thus, this study discusses group factors that could motivate individuals to engage in pirate activities. Furthermore, the paper discusses the theoretical effect on box office revenues and explains it on a proposed scheme of solutions for decreasing revenues. The article also maps the scheme of incentive motivational anti-piracy campaigns. Moreover, the paper proposes the preliminary scheme for system dynamic modeling of the Internet film piracy. Scheme is developed as a model of behaviors, influences and relations among the elements pertaining to the Internet film piracy.
Abstract: This paper presents an online method that learns the
corresponding points of an object from un-annotated grayscale images
containing instances of the object. In the first image being
processed, an ensemble of node points is automatically selected
which is matched in the subsequent images. A Bayesian posterior
distribution for the locations of the nodes in the images is formed.
The likelihood is formed from Gabor responses and the prior assumes
the mean shape of the node ensemble to be similar in a translation
and scale free space. An association model is applied for separating
the object nodes and background nodes. The posterior distribution is
sampled with Sequential Monte Carlo method. The matched object
nodes are inferred to be the corresponding points of the object
instances. The results show that our system matches the object nodes
as accurately as other methods that train the model with annotated
training images.
Abstract: recurrent neural network (RNN) is an efficient tool for
modeling production control process as well as modeling services. In
this paper one RNN was combined with regression model and were
employed in order to be checked whether the obtained data by the
model in comparison with actual data, are valid for variable process
control chart. Therefore, one maintenance process in workshop of
Esfahan Oil Refining Co. (EORC) was taken for illustration of
models. First, the regression was made for predicting the response
time of process based upon determined factors, and then the error
between actual and predicted response time as output and also the
same factors as input were used in RNN. Finally, according to
predicted data from combined model, it is scrutinized for test values
in statistical process control whether forecasting efficiency is
acceptable. Meanwhile, in training process of RNN, design of
experiments was set so as to optimize the RNN.