Abstract: This paper deals with the problem of constructing
constraints in non safe Petri Nets and then reducing the number of the
constructed constraints. In a system, assigning some linear constraints
to forbidden states is possible. Enforcing these constraints on the
system prevents it from entering these states. But there is no a
systematic method for assigning constraints to forbidden states in non
safe Petri Nets. In this paper a useful method is proposed for
constructing constraints in non safe Petri Nets. But when the number of these constraints is large enforcing them on the system may complicate the Petri Net model. So, another method is proposed for reducing the number of constructed constraints.
Abstract: This paper present an effective method to accurately reconstruct and measure the 3D curve edges of small industrial parts based on stereo vision. To effectively fit the curve of the measured parts using a series of line segments in the images, a strategy from coarse to fine is employed based on multi-scale curve fitting. After reconstructing the 3D curve of a hole through a curved surface, its axis is adjusted so that it is parallel to the Z axis with least squares error and the dimensions of the hole can be calculated on the XY plane easily. Experimental results show that the presented method can accurately measure the dimensions of round holes through a curved surface.
Abstract: Teaching and learning about sustainability is a pedagogical endeavour with various innate difficulties and increased demands. Higher education has a dual role to play in addressing this challenge: to identify and explore innovative approaches and tools for addressing the complex and value-laden nature of sustainability in more meaningful ways, and to help teachers to integrate these approaches into their practice through appropriate professional development programs. The study reported here was designed and carried out within the context of a Masters course in Environmental Education. Eight teachers were collaboratively engaged in reconstructing a digital game microworld which was deliberately designed by the researchers to be questioned and evoke critical discussion on the idea of ‘sustainable city’. The study was based on the design-based research method. The findings indicate that the teachers’ involvement in processes of co-constructing the microworld initiated discussion and reflection upon the concepts of sustainability and sustainable lifestyles.
Abstract: A two dimensional three segments coupled pendulum system that mathematically models human arm configuration was developed along with constructing and solving the equations of motions for this model using the energy (work) based approach of Lagrange. The equations of motion of the model were solved iteratively both as an initial value problem and as a two point boundary value problem. In the initial value problem solutions, both the initial system configuration (segment angles) and initial system velocity (segment angular velocities) were used as inputs, whereas, in the two point boundary value problem solutions initial and final configurations and time were used as inputs to solve for the trajectory of motion. The results suggest that the model solutions are sensitive to small changes in the dynamic forces applied to the system as well as to the initial and boundary conditions used. To overcome the system sensitivity a new approach is suggested.
Abstract: In this paper, delay-dependent stability analysis for
neutral type neural networks with uncertain paramters and
time-varying delay is studied. By constructing new
Lyapunov-Krasovskii functional and dividing the delay interval into
multiple segments, a novel sufficient condition is established to
guarantee the globally asymptotically stability of the considered
system. Finally, a numerical example is provided to illustrate the
usefulness of the proposed main results.
Abstract: In DMVC, we have more than one options of sources available for construction of side information. The newer techniques make use of both the techniques simultaneously by constructing a bitmask that determines the source of every block or pixel of the side information. A lot of computation is done to determine each bit in the bitmask. In this paper, we have tried to define areas that can only be well predicted by temporal interpolation and not by multiview interpolation or synthesis. We predict that all such areas that are not covered by two cameras cannot be appropriately predicted by multiview synthesis and if we can identify such areas in the first place, we don-t need to go through the script of computations for all the pixels that lie in those areas. Moreover, this paper also defines a technique based on KLT to mark the above mentioned areas before any other processing is done on the side view.
Abstract: The main purpose of the dam is to control the surface
streams and rivers across the country. Dam construction and
formation of river and big water reservoirs and resources happen in
the glen is a big incident which would change its surrounding area
considerably. In fact, constructing a dam the glen width is close and
fishes don't migrate from upstream to downstream and ultimately it
would led to their death. To resolve this, it seems necessity to create a
passage for fishes during the construction of dam. It is provided
establishing a set of stepped pools overlooking each other as a fish
way or fish ladder a proper pathway for moving fishes. In this article
we first examine the surrounding environment and then Ghazal Ozon
River and preserving the aquatics.
Abstract: Based on the homotopy perturbation method (HPM)
and Padé approximants (PA), approximate and exact solutions are
obtained for cubic Boussinesq and modified Boussinesq equations.
The obtained solutions contain solitary waves, rational solutions.
HPM is used for analytic treatment to those equations and PA for
increasing the convergence region of the HPM analytical solution.
The results reveal that the HPM with the enhancement of PA is a
very effective, convenient and quite accurate to such types of partial
differential equations.
Abstract: Realistic 3D face model is desired in various
applications such as face recognition, games, avatars, animations, and
etc. Construction of 3D face model is composed of 1) building a face
shape model and 2) rendering the face shape model. Thus, building a
realistic 3D face shape model is an essential step for realistic 3D face
model. Recently, 3D morphable model is successfully introduced to
deal with the various human face shapes. 3D dense correspondence
problem should be precedently resolved for constructing a realistic 3D
dense morphable face shape model. Several approaches to 3D dense
correspondence problem in 3D face modeling have been proposed
previously, and among them optical flow based algorithms and TPS
(Thin Plate Spline) based algorithms are representative. Optical flow
based algorithms require texture information of faces, which is
sensitive to variation of illumination. In TPS based algorithms
proposed so far, TPS process is performed on the 2D projection
representation in cylindrical coordinates of the 3D face data, not
directly on the 3D face data and thus errors due to distortion in data
during 2D TPS process may be inevitable.
In this paper, we propose a new 3D dense correspondence algorithm
for 3D dense morphable face shape modeling. The proposed algorithm
does not need texture information and applies TPS directly on 3D face
data. Through construction procedures, it is observed that the proposed
algorithm constructs realistic 3D face morphable model reliably and
fast.
Abstract: One of object oriented software developing problem
is the difficulty of searching the appropriate and suitable objects for
starting the system. In this work, ontologies appear in the part of
supporting the object discovering in the initial of object oriented
software developing. There are many researches try to demonstrate
that there is a great potential between object model and ontologies.
Constructing ontology from object model is called ontology
engineering can be done; On the other hand, this research is aiming to
support the idea of building object model from ontology is also
promising and practical. Ontology classes are available online in any
specific areas, which can be searched by semantic search engine.
There are also many helping tools to do so; one of them which are
used in this research is Protégé ontology editor and Visual Paradigm.
To put them together give a great outcome. This research will be
shown how it works efficiently with the real case study by using
ontology classes in travel/tourism domain area. It needs to combine
classes, properties, and relationships from more than two ontologies
in order to generate the object model. In this paper presents a simple
methodology framework which explains the process of discovering
objects. The results show that this framework has great value while
there is possible for expansion. Reusing of existing ontologies offers
a much cheaper alternative than building new ones from scratch.
More ontologies are becoming available on the web, and online
ontologies libraries for storing and indexing ontologies are increasing
in number and demand. Semantic and Ontologies search engines have
also started to appear, to facilitate search and retrieval of online
ontologies.
Abstract: This paper presents a simple and sensitive kinetic
spectrophotometric method for the determination of ramipril in
commercial dosage forms. The method is based on the reaction of the
drug with 1-chloro-2,4-dinitrobenzene (CDNB) in dimethylsulfoxide
(DMSO) at 100 ± 1ºC. The reaction is followed
spectrophotometrically by measuring the rate of change of the
absorbance at 420 nm. Fixed-time (ΔA) and equilibrium methods are
adopted for constructing the calibration curves. Both the calibration
curves were found to be linear over the concentration ranges 20 - 220
μg/ml. The regression analysis of calibration data yielded the linear
equations: Δ A = 6.30 × 10-4 + 1.54 × 10-3 C and A = 3.62 × 10-4 +
6.35 × 10-3 C for fixed time (Δ A) and equilibrium methods,
respectively. The limits of detection (LOD) for fixed time and
equilibrium methods are 1.47 and 1.05 μg/ml, respectively. The
method has been successfully applied to the determination of ramipril
in commercial dosage forms. Statistical comparison of the results
shows that there is no significant difference between the proposed
methods and Abdellatef-s spectrophotometric method.
Abstract: In this paper, we consider a food-limited population model with delay and feedback control. By applying the comparison theorem of the differential equation and constructing a suitable Lyapunov functional, sufficient conditions which guarantee the permanence and existence of a unique globally attractive positive almost periodic solution of the system are obtained.
Abstract: Testing accounts for the major percentage of technical
contribution in the software development process. Typically, it
consumes more than 50 percent of the total cost of developing a
piece of software. The selection of software tests is a very important
activity within this process to ensure the software reliability
requirements are met. Generally tests are run to achieve maximum
coverage of the software code and very little attention is given to the
achieved reliability of the software. Using an existing methodology,
this paper describes how to use Bayesian Belief Networks (BBNs) to
select unit tests based on their contribution to the reliability of the
module under consideration. In particular the work examines how the
approach can enhance test-first development by assessing the quality
of test suites resulting from this development methodology and
providing insight into additional tests that can significantly reduce
the achieved reliability. In this way the method can produce an
optimal selection of inputs and the order in which the tests are
executed to maximize the software reliability. To illustrate this
approach, a belief network is constructed for a modern software
system incorporating the expert opinion, expressed through
probabilities of the relative quality of the elements of the software,
and the potential effectiveness of the software tests. The steps
involved in constructing the Bayesian Network are explained as is a
method to allow for the test suite resulting from test-driven
development.
Abstract: When reconstructing a scenario, it is necessary to
know the structure of the elements present on the scene to have an
interpretation. In this work we link 3D scenes reconstruction to
evolutionary algorithms through the vision stereo theory. We
consider vision stereo as a method that provides the reconstruction of
a scene using only a couple of images of the scene and performing
some computation. Through several images of a scene, captured from
different positions, vision stereo can give us an idea about the threedimensional
characteristics of the world. Vision stereo usually
requires of two cameras, making an analogy to the mammalian vision
system. In this work we employ only a camera, which is translated
along a path, capturing images every certain distance. As we can not
perform all computations required for an exhaustive reconstruction,
we employ an evolutionary algorithm to partially reconstruct the
scene in real time. The algorithm employed is the fly algorithm,
which employ “flies" to reconstruct the principal characteristics of
the world following certain evolutionary rules.
Abstract: The objective of this paper is to construct a creativity
composite index designed to capture the growing role of creativity in
driving economic and social development for the 27 European Union
countries.
The paper proposes a new approach for the measurement of EU-27
creative potential and for determining its capacity to attract and
develop creative human capital. We apply a modified version of the
3T model developed by Richard Florida and Irene Tinagli for
constructing a Euro-Creativity Index. The resulting indexes establish
a quantitative base for policy makers, supporting their efforts to
determine the contribution of creativity to economic development.
Abstract: It-s known that incorporating prior knowledge into support
vector regression (SVR) can help to improve the approximation
performance. Most of researches are concerned with the incorporation
of knowledge in the form of numerical relationships. Little work,
however, has been done to incorporate the prior knowledge on the
structural relationships among the variables (referred as to Structural
Prior Knowledge, SPK). This paper explores the incorporation of SPK
in SVR by constructing appropriate admissible support vector kernel
(SV kernel) based on the properties of reproducing kernel (R.K).
Three-levels specifications of SPK are studied with the corresponding
sub-levels of prior knowledge that can be considered for the method.
These include Hierarchical SPK (HSPK), Interactional SPK (ISPK)
consisting of independence, global and local interaction, Functional
SPK (FSPK) composed of exterior-FSPK and interior-FSPK. A
convenient tool for describing the SPK, namely Description Matrix
of SPK is introduced. Subsequently, a new SVR, namely Motivated
Support Vector Regression (MSVR) whose structure is motivated
in part by SPK, is proposed. Synthetic examples show that it is
possible to incorporate a wide variety of SPK and helpful to improve
the approximation performance in complex cases. The benefits of
MSVR are finally shown on a real-life military application, Air-toground
battle simulation, which shows great potential for MSVR to
the complex military applications.
Abstract: Recently, as information industry and mobile
communication technology are developing, this study is conducted on
the new concept of intelligent structures and maintenance techniques
that applied wireless sensor network, USN (Ubiquitous Sensor
Network), to social infrastructures such as civil and architectural
structures on the basis of the concept of Ubiquitous Computing that
invisibly provides human life with computing, along with mutually
cooperating, compromising and connecting networks each other by
having computers within all objects around us.
Therefore, the purpose of this study is to investigate the capability
of wireless communication of sensor node embedded in reinforced
concrete structure with a basic experiment on an electric wave
permeability of sensor node by fabricating molding with variables of
concrete thickness and steel bars that are mostly used in constructing
structures to determine the feasibility of application to constructing
structures with USN.
At this time, with putting the pitches of steel bars, the thickness of
concrete placed, and the intensity of RF signal of a
transmitter-receiver as variables and when wireless communication
module was installed inside, the possible communication distance of
plain concrete and the possible communication distance by the pitches
of steel bars was measured in the horizontal and vertical direction
respectively. Besides, for the precise measurement of diminution of an
electric wave, the magnitude of an electric wave in the range of used
frequencies was measured by using Spectrum Analyzer. The
phenomenon of diminution of an electric wave was numerically
analyzed and the effect of the length of wavelength of frequencies was
analyzed by the properties of a frequency band area.
As a result of studying the feasibility of an application to
constructing structures with wireless sensor, in case of plain concrete,
it shows 45cm for the depth of permeability and in case of reinforced
concrete with the pitches of 5cm, it shows 37cm and 45cm for the
pitches of 15cm.