Abstract: Three-dimensional reconstruction of small objects has
been one of the most challenging problems over the last decade.
Computer graphics researchers and photography professionals have
been working on improving 3D reconstruction algorithms to fit the
high demands of various real life applications. Medical sciences,
animation industry, virtual reality, pattern recognition, tourism
industry, and reverse engineering are common fields where 3D
reconstruction of objects plays a vital role. Both lack of accuracy and
high computational cost are the major challenges facing successful
3D reconstruction. Fringe projection has emerged as a promising 3D
reconstruction direction that combines low computational cost to both
high precision and high resolution. It employs digital projection,
structured light systems and phase analysis on fringed pictures.
Research studies have shown that the system has acceptable
performance, and moreover it is insensitive to ambient light.
This paper presents an overview of fringe projection approaches. It
also presents an experimental study and implementation of a simple
fringe projection system. We tested our system using two objects
with different materials and levels of details. Experimental results
have shown that, while our system is simple, it produces acceptable
results.
Abstract: The performance of a sucrose-based H2 production in
a completely stirred tank reactor (CSTR) was modeled by neural
network back-propagation (BP) algorithm. The H2 production was
monitored over a period of 450 days at 35±1 ºC. The proposed model
predicts H2 production rates based on hydraulic retention time
(HRT), recycle ratio, sucrose concentration and degradation, biomass
concentrations, pH, alkalinity, oxidation-reduction potential (ORP),
acids and alcohols concentrations. Artificial neural networks (ANNs)
have an ability to capture non-linear information very efficiently. In
this study, a predictive controller was proposed for management and
operation of large scale H2-fermenting systems. The relevant control
strategies can be activated by this method. BP based ANNs modeling
results was very successful and an excellent match was obtained
between the measured and the predicted rates. The efficient H2
production and system control can be provided by predictive control
method combined with the robust BP based ANN modeling tool.
Abstract: Different forms of interaction are an integral part of
modern courses. Traditional courses held on-campus might focus on
teacher-student interaction, or student-student interaction, or both.
However when these traditional on-campus courses are to be held as
distance courses there is a risk that these well-designed interactions
will be difficult or impossible to uphold. For example, studentstudent
interaction in traditional project assignments might not work
well if the students are scattered across the world. Thus, even a welldesigned
traditional on-site course cannot without modification be
turned into a distance course. Traditional on-site courses simply have
to be redesigned to become true distance courses. This paper
describes a structured approach which facilitates the redesign of a
traditional course into a distance course. The approach is based on
that the desired forms of course flexibility are identified, and
thereafter that the course activities are redesigned to facilitate
interaction in a distance course. The approach is making use of
known patterns of pedagogic interaction and existing guidelines for
distance education design. The approach is illustrated with an
example course in the field of information systems design.
Abstract: In recent past, the Unified Modeling Language (UML) has become the de facto industry standard for object-oriented modeling of the software systems. The syntax and semantics rich UML has encouraged industry to develop several supporting tools including those capable of generating deployable product (code) from the UML models. As a consequence, ensuring the correctness of the model/design has become challenging and extremely important task. In this paper, we present an approach for automatic verification of protocol model/design. As a case study, Session Initiation Protocol (SIP) design is verified for the property, “the CALLER will not converse with the CALLEE before the connection is established between them ". The SIP is modeled using UML statechart diagrams and the desired properties are expressed in temporal logic. Our prototype verifier “UML-SMV" is used to carry out the verification. We subjected an erroneous SIP model to the UML-SMV, the verifier could successfully detect the error (in 76.26ms) and generate the error trace.
Abstract: Restarted GMRES methods augmented with approximate eigenvectors are widely used for solving large sparse linear systems. Recently a new scheme of augmenting with error approximations is proposed. The main aim of this paper is to develop a restarted GMRES method augmented with the combination of harmonic Ritz vectors and error approximations. We demonstrate that the resulted combination method can gain the advantages of two approaches: (i) effectively deflate the small eigenvalues in magnitude that may hamper the convergence of the method and (ii) partially recover the global optimality lost due to restarting. The effectiveness and efficiency of the new method are demonstrated through various numerical examples.
Abstract: The optimal control problem of a linear distributed
parameter system is studied via shifted Legendre polynomials (SLPs)
in this paper. The partial differential equation, representing the
linear distributed parameter system, is decomposed into an n - set
of ordinary differential equations, the optimal control problem is
transformed into a two-point boundary value problem, and the twopoint
boundary value problem is reduced to an initial value problem
by using SLPs. A recursive algorithm for evaluating optimal control
input and output trajectory is developed. The proposed algorithm is
computationally simple. An illustrative example is given to show the
simplicity of the proposed approach.
Abstract: Physiological control of a left ventricle assist device (LVAD) is generally a complicated task due to diverse operating environments and patient variability. In this work, a tracking control algorithm based on sliding mode and feed forward control for a class of discrete-time single input single output (SISO) nonlinear uncertain systems is presented. The controller was developed to track the reference trajectory to a set operating point without inducing suction in the ventricle. The controller regulates the estimated mean pulsatile flow Qp and mean pulsatility index of pump rotational speed PIω that was generated from a model of the assist device. We recall the principle of the sliding mode control theory then we combine the feed-forward control design with the sliding mode control technique to follow the reference trajectory. The uncertainty is replaced by its upper and lower boundary. The controller was tested in a computer simulation covering two scenarios (preload and ventricular contractility). The simulation results prove the effectiveness and the robustness of the proposed controller
Abstract: Every 2-3 years the influenza B virus serves
epidemics. Neuraminidase (NA) is an important target for influenza
drug design. Although, oseltamivir, an oral neuraminidase drug, has
been shown good inhibitory efficiency against wild-type of influenza
B virus, the lower susceptibility to the R152K mutation has been
reported. Better understanding of oseltamivir efficiency and
resistance toward the influenza B NA wild-type and R152K mutant,
respectively, could be useful for rational drug design. Here, two
complex systems of wild-type and R152K NAs with oseltamivir
bound were studied using molecular dynamics (MD) simulations.
Based on 5-ns MD simulation, the loss of notable hydrogen bond and
decrease in per-residue decomposition energy from the mutated
residue K152 contributed to drug compared to those of R152 in wildtype
were found to be a primary source of high-level of oseltamivir
resistance due to the R152K mutation.
Abstract: A model of a system concerning one species of demersal
(inshore) fish and one of pelagic (offshore) fish undergoing fishing
restricted by marine protected areas is proposed in this paper. This
setup was based on the FISH-BE model applied to the Tabina fishery
in Zamboanga del Sur, Philippines. The components of the model
equations have been adapted from widely-accepted mechanisms in
population dynamics. The model employs Gompertz-s law of growth
and interaction on each type of protected and unprotected subpopulation.
Exchange coefficients between protected and unprotected
areas were assumed to be proportional to the relative area of the
entry region. Fishing harvests were assumed to be proportional to
both the number of fishers and the number of unprotected fish. An
extra term was included for the pelagic population to allow for the
exchange between the unprotected area and the outside environment.
The systems were found to be bounded for all parameter values. The
equations for the steady state were unsolvable analytically but the
existence and uniqueness of non-zero steady states can be proven.
Plots also show that an MPA size yielding the maximum steady state
of the unprotected population can be found. All steady states were
found to be globally asymptotically stable for the entire range of
parameter values.
Abstract: The problem discussed in this paper involves packing fresh fish fileet of the northern Cod into a standard square container. The fish is first cleaned and split and then collected on a belt ready to be stacked in a container. The aim of our work is to pack the fish into the container with constraints on the amount of overlap allowed for the fileets. The current focus is to design a packing cell that can be real-time and of practical use, while finding the optimal solution to the degree of overlap and minimise the unused space of the container.
Abstract: Degradation of polymeric insulation systems of
electrical equipments increases the space charge density and the
concentration of electrical dipoles. By consequence, the maximum
values and the slopes of absorption/resorption (A/R) currents can
change with insulation systems ageing. In this paper, an analysis of
the nature of the A/R currents and the importance of their
components, especially the polarization current and the current given
by the space charge, is presented. The experimental study concerns
the A/R currents measurements of plane samples (made from
CALMICAGLAS tapes), virgin and thermally accelerated aged. The
obtained results show that the ageing process produces an increase of
the values and a decrease of shapes of the A/R currents. Finally, the
possibility of estimating insulations ageing state and lifetime from
A/R currents measurements is discussed.
Abstract: Distributed Computing Systems are usually considered the most suitable model for practical solutions of many parallel algorithms. In this paper an enhanced distributed system is presented to improve the time complexity of Binary Indexed Trees (BIT). The proposed system uses multi-uniform processors with identical architectures and a specially designed distributed memory system. The analysis of this system has shown that it has reduced the time complexity of the read query to O(Log(Log(N))), and the update query to constant complexity, while the naive solution has a time complexity of O(Log(N)) for both queries. The system was implemented and simulated using VHDL and Verilog Hardware Description Languages, with xilinx ISE 10.1, as the development environment and ModelSim 6.1c, similarly as the simulation tool. The simulation has shown that the overhead resulting by the wiring and communication between the system fragments could be fairly neglected, which makes it applicable to practically reach the maximum speed up offered by the proposed model.
Abstract: The enthusiasm for gluten avoidance in a growing
market is met by improvements in sensitive detection methods for
analysing gluten content. Paradoxically, manufacturers employ no
such systems in the production process but continue to market their
product as gluten free, a significant risk posed to an undetermined
coeliac population. This paper resonates with an immunological
response that causes gastrointestinal scarring and villous atrophy with
the conventional description of personal injury. This thesis divulges
into evaluating potential inadequacies of gluten labelling laws which
not only present a diagnostic challenge for general practitioners in the
UK but it also exposes a less than adequate form of available legal
protection to those who suffer adverse reactions as a result of gluten
digestion. Central to this discussion is whether a claim brought in
misrepresentation, negligence and/or under the Consumer Protection
Act 1987 could be sustained. An interesting comparison is then made
with the legal regimes of neighboring jurisdictions furthering the
theme of a legally un-catered for gluten kingdom.
Abstract: There have been significant improvements in automatic
voice recognition technology. However, existing systems still face difficulties,
particularly when used by non-native speakers with accents.
In this paper we address a problem of identifying the English accented
speech of speakers from different backgrounds. Once an accent is
identified the speech recognition software can utilise training set from
appropriate accent and therefore improve the efficiency and accuracy
of the speech recognition system. We introduced the Q factor, which
is defined by the sum of relationships between frequencies of the
formants. Four different accents were considered and experimented
for this research. A scoring method was introduced in order to
effectively analyse accents. The proposed concept indicates that the
accent could be identified by analysing their formants.
Abstract: Control of complex systems is one of important files in complex systems, that not only relies on the essence of complex systems which is denoted by the core concept – emergence, but also embodies the elementary concept in control theory. Aiming at giving a clear and self-contained description of emergence, the paper introduces a formal way to completely describe the formation and dynamics of emergence in complex systems. Consequently, this paper indicates the Emergence-Oriented Control methodology that contains three kinds of basic control schemes: the direct control, the system re-structuring and the system calibration. As a universal ontology, the Emergence-Oriented Control provides a powerful tool for identifying and resolving control problems in specific systems.
Abstract: In this paper, a post processing scheme is suggested
for improvement of Bit Error-Rate (BER) in optical fiber
transmission receivers. The developed scheme has been tested on
optical fiber systems operating with a non-return-to-zero (NRZ)
format at transmission rates of up to 10Gbps. The transmission
system considered is based on well known transmitters and receivers
blocks operating at wavelengths in the region of 1550 nm using a
standard single mode fiber. Performance of improved detected
signals has been evaluated via the analysis of quality factor and
computed bit error rates. Numerical simulations have shown a
noticeable improvement of the system BER after implementation of
the suggested post processing operation on the detected electrical
signals.
Abstract: In this paper, we discuss convergence of the extrapolated iterative methods for linear systems with the coefficient matrices are singular H-matrices. And we present the sufficient and necessary conditions for convergence of the extrapolated iterative methods. Moreover, we apply the results to the GMAOR methods. Finally, we give one numerical example.
Abstract: The paper presents the virtual model of the active
suspension system used for improving the dynamic behavior of a
motor vehicle. The study is focused on the design of the control
system, the purpose being to minimize the effect of the road
disturbances (which are considered as perturbations for the control
system). The analysis is performed for a quarter-car model, which
corresponds to the suspension system of the front wheel, by using the
DFC (Design for Control) software solution EASY5 (Engineering
Analysis Systems) of MSC Software. The controller, which is a PIDbased
device, is designed through a parametric optimization with the
Matrix Algebra Tool (MAT), considering the gain factors as design
variables, while the design objective is to minimize the overshoot of
the indicial response.
Abstract: In this paper smooth trajectories are computed in the Lie group SO(2, 1) as a motion planning problem by assigning a Frenet frame to the rigid body system to optimize the cost function of the elastic energy which is spent to track a timelike curve in Minkowski space. A method is proposed to solve a motion planning problem that minimize the integral of the square norm of Darboux vector of a timelike curve. This method uses the coordinate free Maximum Principle of Optimal control and results in the theory of integrable Hamiltonian systems. The presence of several conversed quantities inherent in these Hamiltonian systems aids in the explicit computation of the rigid body motions.
Abstract: Due to important issues, such as deadlock, starvation,
communication, non-deterministic behavior and synchronization,
concurrent systems are very complex, sensitive, and error-prone.
Thus ensuring reliability and accuracy of these systems is very
essential. Therefore, there has been a big interest in the formal
specification of concurrent programs in recent years. Nevertheless,
some features of concurrent systems, such as dynamic process
creation, scheduling and starvation have not been specified formally
yet. Also, some other features have been specified partially and/or
have been described using a combination of several different
formalisms and methods whose integration needs too much effort. In
other words, a comprehensive and integrated specification that could
cover all aspects of concurrent systems has not been provided yet.
Thus, this paper makes two major contributions: firstly, it provides a
comprehensive formal framework to specify all well-known features
of concurrent systems. Secondly, it provides an integrated
specification of these features by using just a single formal notation,
i.e., the Z language.