Abstract: In this paper, by using Mawhin-s continuation theorem of coincidence degree theory, we establish the existence of multiple positive periodic solutions of a competitor-competitor-mutualist Lotka-Volterra system with harvesting terms. Finally, an example is given to illustrate our results.
Abstract: This paper presents unified theory for local (Savitzky-
Golay) and global polynomial smoothing. The algebraic framework
can represent any polynomial approximation and is seamless from
low degree local, to high degree global approximations. The representation
of the smoothing operator as a projection onto orthonormal
basis functions enables the computation of: the covariance matrix
for noise propagation through the filter; the noise gain and; the
frequency response of the polynomial filters. A virtually perfect Gram
polynomial basis is synthesized, whereby polynomials of degree
d = 1000 can be synthesized without significant errors. The perfect
basis ensures that the filters are strictly polynomial preserving. Given
n points and a support length ls = 2m + 1 then the smoothing
operator is strictly linear phase for the points xi, i = m+1. . . n-m.
The method is demonstrated on geometric surfaces data lying on an
invariant 2D lattice.
Abstract: The theory of Groebner Bases, which has recently been
honored with the ACM Paris Kanellakis Theory and Practice Award,
has become a crucial building block to computer algebra, and is
widely used in science, engineering, and computer science. It is wellknown
that Groebner bases computation is EXP-SPACE in a general
polynomial ring setting.
However, for many important applications in computer science
such as satisfiability and automated verification of hardware and
software, computations are performed in a Boolean ring. In this paper,
we give an algorithm to show that Groebner bases computation is PSPACE
in Boolean rings. We also show that with this discovery,
the Groebner bases method can theoretically be as efficient as
other methods for automated verification of hardware and software.
Additionally, many useful and interesting properties of Groebner
bases including the ability to efficiently convert the bases for different
orders of variables making Groebner bases a promising method in
automated verification.
Abstract: The purpose of this study is to derive optimal shapes of
a body located in viscous flows by the finite element method using the
acoustic velocity and the four-step explicit scheme. The formulation
is based on an optimal control theory in which a performance function
of the fluid force is introduced. The performance function should be
minimized satisfying the state equation. This problem can be transformed
into the minimization problem without constraint conditions
by using the adjoint equation with adjoint variables corresponding to
the state equation. The performance function is defined by the drag
and lift forces acting on the body. The weighted gradient method
is applied as a minimization technique, the Galerkin finite element
method is used as a spatial discretization and the four-step explicit
scheme is used as a temporal discretization to solve the state equation
and the adjoint equation. As the interpolation, the orthogonal basis
bubble function for velocity and the linear function for pressure
are employed. In case that the orthogonal basis bubble function is
used, the mass matrix can be diagonalized without any artificial
centralization. The shape optimization is performed by the presented
method.
Abstract: One of the robust fault detection filter (RFDF)
designing method is based on sliding-mode theory. The main purpose
of our study is to introduce an innovative simplified reference
residual model generator to formulate the RFDF as a sliding-mode
observer without any manipulation package or transformation matrix,
through which the generated residual signals can be evaluated. So the
proposed design is more explicit and requires less design parameters
in comparison with approaches requiring changing coordinates. To
the best author's knowledge, this is the first time that the sliding
mode technique is applied to detect actuator and sensor faults in a
real boiler. The designing procedure is proposed in a drum boiler in
Synvendska Kraft AB Plant in Malmo, Sweden as a multivariable
and strongly coupled system. It is demonstrated that both sensor and
actuator faults can robustly be detected. Also sensor faults can be
diagnosed and isolated through this method.
Abstract: This paper presents a new approach for the prob-ability density function estimation using the Support Vector Ma-chines (SVM) and the Expectation Maximization (EM) algorithms.In the proposed approach, an advanced algorithm for the SVM den-sity estimation which incorporates the Mean Field theory in the learning process is used. Instead of using ad-hoc values for the para-meters of the kernel function which is used by the SVM algorithm,the proposed approach uses the EM algorithm for an automatic optimization of the kernel. Experimental evaluation using simulated data set shows encouraging results.
Abstract: Dynamic location referencing method is an important technology to shield map differences. These method references objects of the road network by utilizing condensed selection of its real-world geographic properties stored in a digital map database, which overcomes the defections existing in pre-coded location referencing methods. The high attributes completeness requirements and complicated reference point selection algorithm are the main problems of recent researches. Therefore, a dynamic location referencing algorithm combining intersection points selected at the extremities compulsively and road link points selected according to link partition principle was proposed. An experimental system based on this theory was implemented. The tests using Beijing digital map database showed satisfied results and thus verified the feasibility and practicability of this method.
Abstract: In the traditional buckling analysis of rectangular
plates the classical thin plate theory is generally applied, so
neglecting the plating shear deformation. It seems quite clear that this
method is not totally appropriate for the analysis of thick plates, so
that in the following the two variable refined plate theory proposed
by Shimpi (2006), that permits to take into account the transverse
shear effects, is applied for the buckling analysis of simply supported
isotropic rectangular plates, compressed in one and two orthogonal
directions.
The relevant results are compared with the classical ones and, for
rectangular plates under uniaxial compression, a new direct
expression, similar to the classical Bryan-s formula, is proposed for
the Euler buckling stress.
As the buckling analysis is a widely diffused topic for a variety of
structures, such as ship ones, some applications for plates uniformly
compressed in one and two orthogonal directions are presented and
the relevant theoretical results are compared with those ones obtained
by a FEM analysis, carried out by ANSYS, to show the feasibility of
the presented method.
Abstract: An accurate procedure to determine free vibrations of
beams and plates is presented.
The natural frequencies are exact solutions of governing vibration
equations witch load to a nonlinear homogeny system.
The bilinear and linear structures considered simulate a bridge.
The dynamic behavior of this one is analyzed by using the theory of
the orthotropic plate simply supported on two sides and free on the
two others. The plate can be excited by a convoy of constant or
harmonic loads. The determination of the dynamic response of the
structures considered requires knowledge of the free frequencies and
the shape modes of vibrations. Our work is in this context. Indeed,
we are interested to develop a self-consistent calculation of the Eigen
frequencies.
The formulation is based on the determination of the solution of
the differential equations of vibrations. The boundary conditions
corresponding to the shape modes permit to lead to a homogeneous
system. Determination of the noncommonplace solutions of this
system led to a nonlinear problem in Eigen frequencies.
We thus, develop a computer code for the determination of the
eigenvalues. It is based on a method of bisection with interpolation
whose precision reaches 10 -12. Moreover, to determine the
corresponding modes, the calculation algorithm that we develop uses
the method of Gauss with a partial optimization of the "pivots"
combined with an inverse power procedure. The Eigen frequencies
of a plate simply supported along two opposite sides while
considering the two other free sides are thus analyzed. The results
could be generalized with the case of a beam by regarding it as a
plate with low width.
We give, in this paper, some examples of treated cases. The
comparison with results presented in the literature is completely
satisfactory.
Abstract: In this paper, four carbazole-based D-D-π-A organic
dyes code as CCT2A, CCT3A, CCT1PA and CCT2PA were reported.
A series of these organic dyes containing identical donor and
acceptor group but different π-system. The effect of replacing of
thiophene by phenyl thiophene as π-system on the physical
properties has been focused. The structural, energetic properties and
absorption spectra were theoretically investigated by means of
Density Functional Theory (DFT) and Time-Dependent Density
Functional Theory (TD-DFT). The results show that nonplanar
conformation due to steric hindrance in donor part (cabazolecarbazole
unit) of dye molecule can prevent unfavorable dye
aggregation. By means of the TD-DFT method, the absorption
spectra were calculated by B3LYP and BHandHLYP to study the
affect of hybrid functional on the excitation energy (Eg). The results
revealed the increasing of thiophene units not only resulted in
decreasing of Eg, but also found the shifting of absorption spectra to
higher wavelength. TD-DFT/BHandHLYP calculated results are
more strongly agreed with the experimental data than B3LYP
functions. Furthermore, the adsorptions of CCT2A and CCT3A on the
TiO2 anatase (101) surface were carried out by mean of the chemical
periodic calculation. The result exhibit the strong adsorption energy.
The calculated results provide our new organic dyes can be
effectively used as dye for Dye Sensitized Solar Cell (DSC).
Abstract: The aim of this study is to identify the conditions of
implementation for reconfigurability in summarizing past flexible
manufacturing systems (FMS) research by drawing overall
conclusions from many separate High Performance Manufacturing
(HPM) studies. Meta-analysis will be applied to links between HPM
programs and their practices related to FMS and manufacturing
performance with particular reference to responsiveness performance.
More specifically, an application of meta-analysis will be made with
reference to two of the main steps towards the development of an
empirically-tested theory: testing the adequacy of the measurement of
variables and testing the linkages between the variables.
Abstract: An inverse problem of doubly center matrices is discussed. By translating the constrained problem into unconstrained problem, two iterative methods are proposed. A numerical example illustrate our algorithms.
Abstract: This study was conducted in Malaysia to discover how
meaning and appreciation were construed among 35 Form Five
students. Panofsky-s theory was employed to discover the levels of
reasoning among students when various types of posters were
displayed. The independent variables used were posters that carried
explicit and implicit meanings; the moderating variable was students-
visual literacy levels while the dependent variable was the implicit
interpretation level. One-way ANOVA was applied for the data
analysis. The data showed that before students were exposed to
Panofsky-s theory, there were differences in thinking between boys,
who did not think abstractly or implicit in comparison to girls. The
study showed that students- visual literacy in posters depended on the
use of visual texts and illustration. This paper discuss further on
posters with text only have a tendency to be too abstract as opposed
to posters with visuals plus text.
Abstract: Increasing number of vehicles and lack of awareness among road users may lead to road accidents. However no specific literature was found to rank vehicles involved in accidents based on fuzzy variables of road users. This paper proposes a ranking of four selected motor vehicles involved in road accidents. Human and non-human factors that normally linked with road accidents are considered for ranking. The imprecision or vagueness inherent in the subjective assessment of the experts has led the application of fuzzy sets theory to deal with ranking problems. Data in form of linguistic variables were collected from three authorised personnel of three Malaysian Government agencies. The Multi Criteria Decision Making, fuzzy TOPSIS was applied in computational procedures. From the analysis, it shows that motorcycles vehicles yielded the highest closeness coefficient at 0.6225. A ranking can be drawn using the magnitude of closeness coefficient. It was indicated that the motorcycles recorded the first rank.
Abstract: A mammal-s body can be seen as a blood vessel with
complex tunnels. When heart pumps blood periodically, blood runs
through blood vessels and rebounds from walls of blood vessels.
Blood pressure signals can be measured with complex but periodic
patterns. When an artery is clamped during a surgical operation, the
spectrum of blood pressure signals will be different from that of
normal situation. In this investigation, intestinal artery clamping
operations were conducted to a pig for simulating the situation of
intestinal blocking during a surgical operation. Similarity theory is a
convenient and easy tool to prove that patterns of blood pressure
signals of intestinal artery blocking and unblocking are surely
different. And, the algorithm of Hilbert Huang Transform can be
applied to extract the character parameters of blood pressure pattern.
In conclusion, the patterns of blood pressure signals of two different
situations, intestinal artery blocking and unblocking, can be
distinguished by these character parameters defined in this paper.
Abstract: A stack with a small critical temperature gradient is
desirable for a standing wave thermoacoustic engine to obtain a low
onset temperature difference (the minimum temperature difference to
start engine-s self-oscillation). The viscous and heat relaxation loss in
the stack determines the critical temperature gradient. In this work, a
dimensionless critical temperature gradient factor is obtained based
on the linear thermoacoustic theory. It is indicated that the
impedance determines the proportion between the viscous loss, heat
relaxation losses and the power production from the heat energy. It
reveals the effects of the channel dimensions, geometrical
configuration and the local acoustic impedance on the critical
temperature gradient in stacks. The numerical analysis shows that
there exists a possible optimum combination of these parameters
which leads to the lowest critical temperature gradient. Furthermore,
several different geometries have been tested and compared
numerically.
Abstract: Multi criteria decision making (MCDM) methods like analytic hierarchy process, ELECTRE and multi-attribute utility theory are critically studied. They have irregularities in terms of the reliability of ranking of the best alternatives. The Routing Decision Support (RDS) algorithm is trying to improve some of their deficiencies. This paper gives a mathematical verification that the RDS algorithm conforms to the test criteria for an effective MCDM method when a linear preference function is considered.
Abstract: The main purpose of this paper is to investigate a discrete time three–species food chain system with ratio dependence. By employing coincidence degree theory and analysis techniques, sufficient conditions for existence of periodic solutions are established.
Abstract: This paper discusses the causal explanation capability
of QRIOM, a tool aimed at supporting learning of organic chemistry
reactions. The development of the tool is based on the hybrid use of
Qualitative Reasoning (QR) technique and Qualitative Process
Theory (QPT) ontology. Our simulation combines symbolic,
qualitative description of relations with quantity analysis to generate
causal graphs. The pedagogy embedded in the simulator is to both
simulate and explain organic reactions. Qualitative reasoning through
a causal chain will be presented to explain the overall changes made
on the substrate; from initial substrate until the production of final
outputs. Several uses of the QPT modeling constructs in supporting
behavioral and causal explanation during run-time will also be
demonstrated. Explaining organic reactions through causal graph
trace can help improve the reasoning ability of learners in that their
conceptual understanding of the subject is nurtured.
Abstract: In many applications, it is a priori known that the
target function should satisfy certain constraints imposed by, for
example, economic theory or a human-decision maker. Here we
consider partially monotone problems, where the target variable
depends monotonically on some of the predictor variables but not all.
We propose an approach to build partially monotone models based
on the convolution of monotone neural networks and kernel
functions. The results from simulations and a real case study on
house pricing show that our approach has significantly better
performance than partially monotone linear models. Furthermore, the
incorporation of partial monotonicity constraints not only leads to
models that are in accordance with the decision maker's expertise,
but also reduces considerably the model variance in comparison to
standard neural networks with weight decay.