Abstract: Formal Specification languages are being widely used
for system specification and testing. Highly critical systems such as
real time systems, avionics, and medical systems are represented
using Formal specification languages. Formal specifications based
testing is mostly performed using black box testing approaches thus
testing only the set of inputs and outputs of the system. The formal
specification language such as VDMµ can be used for white box
testing as they provide enough constructs as any other high level
programming language. In this work, we perform data and control
flow analysis of VDMµ class specifications. The proposed work is
discussed with an example of SavingAccount.
Abstract: The ability to detect and classify the type of fault
plays a great role in the protection of power system. This procedure
is required to be precise with no time consumption. In this paper
detection of fault type has been implemented using wavelet analysis
together with wavelet entropy principle. The simulation of power
system is carried out using PSCAD/EMTDC. Different types of
faults were studied obtaining various current waveforms. These
current waveforms were decomposed using wavelet analysis into
different approximation and details. The wavelet entropy of such
decompositions is analyzed reaching a successful methodology for
fault classification. The suggested approach is tested using different
fault types and proven successful identification for the type of fault.
Abstract: Animated graph gives some good impressions in
presenting information. However, not many people are able to produce it because the process of generating an animated graph requires some technical skills. This work presents Content
Management System with Animated Graph (CMS-AG). It is a webbased system enabling users to produce an effective and interactive
graphical report in a short time period. It allows for three levels of user authentication, provides update profile, account management, template management, graph management, and track changes. The system development applies incremental development approach, object-oriented concepts and Web programming technologies. The design architecture promotes new technology of reporting. It also helps user cut off unnecessary expenses, save time and learn new things on different levels of users. In this paper, the developed system is described.
Abstract: A Cable-Driven Locomotion Interface provides a low
inertia haptic interface and is used as a way of enabling the user
to walk and interact with virtual surfaces. These surfaces generate
Cartesian wrenches which must be optimized for each motorized
reel in order to reproduce a haptic sensation in both feet. However,
the use of wrench control requires a measure of the cable tensions
applied to the moving platform. The latter measure may be inaccurate
if it is based on sensors located near the reel. Moreover, friction
hysteresis from the reel moving parts needs to be compensated
for with an evaluation of low angular velocity of the motor shaft.
Also, the pose of the platform is not known precisely due to cable
sagging and mechanical deformation. This paper presents a non-ideal
motorized reel design with its corresponding control strategy that
aims at overcoming the aforementioned issues. A transfert function
of the reel based on frequency responses in function of cable tension
and cable length is presented with an optimal adaptative PIDF
controller. Finally, an hybrid position/tension control is discussed with
an analysis of the stability for achieving a complete functionnality of
the haptic platform.
Abstract: Ontologies play an important role in semantic web applications and are often developed by different groups and continues to evolve over time. The knowledge in ontologies changes very rapidly that make the applications outdated if they continue to use old versions or unstable if they jump to new versions. Temporal frames using frame versioning and slot versioning are used to take care of dynamic nature of the ontologies. The paper proposes new tags and restructured OWL format enabling the applications to work with the old or new version of ontologies. Gene Ontology, a very dynamic ontology, has been used as a case study to explain the OWL Ontology with Temporal Tags.
Abstract: This paper proposes different methods for estimation
of the harmonic currents of the single-phase diode bridge rectifier. Both simple and advanced methods are compared and the models are
put into a context of practical use for calculating the harmonic distortion in a typical application. Finally, the different models are
compared to measurements of a real application and convincing results are achieved.
Abstract: Clustering unstructured text documents is an
important issue in data mining community and has a number of
applications such as document archive filtering, document
organization and topic detection and subject tracing. In the real
world, some of the already clustered documents may not be of
importance while new documents of more significance may evolve.
Most of the work done so far in clustering unstructured text
documents overlooks this aspect of clustering. This paper, addresses
this issue by using the Fading Function. The unstructured text
documents are clustered. And for each cluster a statistics structure
called Cluster Profile (CP) is implemented. The cluster profile
incorporates the Fading Function. This Fading Function keeps an
account of the time-dependent importance of the cluster. The work
proposes a novel algorithm Clustering n-ary Merge Algorithm
(CnMA) for unstructured text documents, that uses Cluster Profile
and Fading Function. Experimental results illustrating the
effectiveness of the proposed technique are also included.
Abstract: Horizontal wells are proven to be better producers
because they can be extended for a long distance in the pay zone.
Engineers have the technical means to forecast the well productivity
for a given horizontal length. However, experiences have shown that
the actual production rate is often significantly less than that of
forecasted. It is a difficult task, if not impossible to identify the real
reason why a horizontal well is not producing what was forecasted.
Often the source of problem lies in the drilling of horizontal section
such as permeability reduction in the pay zone due to mud invasion
or snaky well patterns created during drilling. Although drillers aim
to drill a constant inclination hole in the pay zone, the more frequent
outcome is a sinusoidal wellbore trajectory. The two factors, which
play an important role in wellbore tortuosity, are the inclination and
side force at bit. A constant inclination horizontal well can only be
drilled if the bit face is maintained perpendicular to longitudinal axis
of bottom hole assembly (BHA) while keeping the side force nil at
the bit. This approach assumes that there exists no formation force at
bit. Hence, an appropriate BHA can be designed if bit side force and
bit tilt are determined accurately. The Artificial Neural Network
(ANN) is superior to existing analytical techniques. In this study, the
neural networks have been employed as a general approximation tool
for estimation of the bit side forces. A number of samples are
analyzed with ANN for parameters of bit side force and the results
are compared with exact analysis. Back Propagation Neural network
(BPN) is used to approximation of bit side forces. Resultant low
relative error value of the test indicates the usability of the BPN in
this area.
Abstract: Building inspection is one of the key components of building maintenance. The primary purpose of performing a building inspection is to evaluate the building-s condition. Without inspection, it is difficult to determine a built asset-s current condition, so failure to inspect can contribute to the asset-s future failure. Traditionally, a longhand survey description has been widely used for property condition reports. Surveys that employ ratings instead of descriptions are gaining wide acceptance in the industry because they cater to the need for numerical analysis output. These kinds of surveys are also in keeping with the new RICS HomeBuyer Report 2009. In this paper, we propose a new assessment method, derived from the current rating systems, for assessing the specifically smart school building-s condition and rating the seriousness of each defect identified. These two assessment criteria are then multiplied to find the building-s score, which we called the Condition Survey Protocol (CSP) 1 Matrix. Instead of a longhand description of a building-s defects, this matrix requires concise explanations about the defects identified, thus saving on-site time during a smart school building inspection. The full score is used to give the building an overall rating: Good, Fair or Dilapidated.
Abstract: The purpose of this paper is to provide a practical
example to the Linear Quadratic Gaussian (LQG) controller. This
method includes a description and some discussion of the discrete
Kalman state estimator. One aspect of this optimality is that the
estimator incorporates all information that can be provided to it. It
processes all available measurements, regardless of their precision, to
estimate the current value of the variables of interest, with use of
knowledge of the system and measurement device dynamics, the
statistical description of the system noises, measurement errors, and
uncertainty in the dynamics models.
Since the time of its introduction, the Kalman filter has been the
subject of extensive research and application, particularly in the area
of autonomous or assisted navigation. For example, to determine the
velocity of an aircraft or sideslip angle, one could use a Doppler
radar, the velocity indications of an inertial navigation system, or the
relative wind information in the air data system. Rather than ignore
any of these outputs, a Kalman filter could be built to combine all of
this data and knowledge of the various systems- dynamics to
generate an overall best estimate of velocity and sideslip angle.
Abstract: Combining energy efficiency with renewable energy
sources constitutes a key strategy for a sustainable future. The wind
power sector stands out as a fundamental element for the
achievement of the European renewable objectives and Portugal is no
exception to the increase of the wind energy for the electricity
generation. This work proposes an optimization model for the long
range electricity power planning in a system similar to the
Portuguese one, where the expected impacts of the increasing
installed wind power on the operating performance of thermal power
plants are taken into account. The main results indicate that the
increasing penetration of wind power in the electricity system will
have significant effects on the combined cycle gas power plants
operation and on the theoretically expected cost reduction and
environmental gains. This research demonstrated the need to address
the impact that energy sources with variable output may have, not
only on the short-term operational planning, but especially on the
medium to long range planning activities, in order to meet the
strategic objectives for the energy sector.
Abstract: This paper proposes a novel approach that combines statistical models and support vector machines. A hybrid scheme which appropriately incorporates the advantages of both the generative and discriminant model paradigms is described and evaluated. Support vector machines (SVMs) are trained to divide the whole speakers' space into small subsets of speakers within a hierarchical tree structure. During testing a speech token is assigned to its corresponding group and evaluation using gaussian mixture models (GMMs) is then processed. Experimental results show that the proposed method can significantly improve the performance of text independent speaker identification task. We report improvements of up to 50% reduction in identification error rate compared to the baseline statistical model.
Abstract: In this paper, an approach to reduce the computation steps required by fast neural networksfor the searching process is presented. The principle ofdivide and conquer strategy is applied through imagedecomposition. Each image is divided into small in sizesub-images and then each one is tested separately usinga fast neural network. The operation of fast neuralnetworks based on applying cross correlation in thefrequency domain between the input image and theweights of the hidden neurons. Compared toconventional and fast neural networks, experimentalresults show that a speed up ratio is achieved whenapplying this technique to locate human facesautomatically in cluttered scenes. Furthermore, fasterface detection is obtained by using parallel processingtechniques to test the resulting sub-images at the sametime using the same number of fast neural networks. Incontrast to using only fast neural networks, the speed upratio is increased with the size of the input image whenusing fast neural networks and image decomposition.
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: The stability characteristics of water lubricated journal bearings having three axial grooves are obtained theoretically. In this lubricant (water) is fed under pressure from one end of the bearing, through the 3-axial grooves (groove angles may vary). These bearings can use the process fluid as the lubricant, as in the case of feed water pumps. The Reynolds equation is solved numerically by the finite difference method satisfying the boundary conditions. The stiffness and damping coefficient for various bearing number and eccentricity ratios, assuming linear pressure drop along the groove, shows that smaller groove angles better results.
Abstract: Mathematical models can be used to describe the
dynamics of the spread of infectious disease between susceptibles
and infectious populations. Dengue fever is a re-emerging disease in
the tropical and subtropical regions of the world. Its incidence has
increased fourfold since 1970 and outbreaks are now reported quite
frequently from many parts of the world. In dengue endemic regions,
more cases of dengue infection in pregnancy and infancy are being
found due to the increasing incidence. It has been reported that
dengue infection was vertically transmitted to the infants. Primary
dengue infection is associated with mild to high fever, headache,
muscle pain and skin rash. Immune response includes IgM antibodies
produced by the 5th day of symptoms and persist for 30-60 days. IgG
antibodies appear on the 14th day and persist for life. Secondary
infections often result in high fever and in many cases with
hemorrhagic events and circulatory failure. In the present paper, a
mathematical model is proposed to simulate the succession of dengue
disease transmission in pregnancy and infancy. Stability analysis of
the equilibrium points is carried out and a simulation is given for the
different sets of parameter. Moreover, the bifurcation diagrams of our
model are discussed. The controlling of this disease in infant cases is
introduced in the term of the threshold condition.
Abstract: There has been a growing interest in the oxygenation
by plunging water jets in the last few years due to their inherent
advantages, like energy-efficient, low operation cost, etc. Though a
lot of work has been reported on the oxygen-transfer by single
plunging water jets but very few studies have been carried out using
multiple plunging jets. In this paper, volumetric oxygen-transfer
coefficient and oxygen-transfer efficiency has been studied
experimentally for multiple inclined plunging jets (having jet plunge
angle of 60 0 ) in a pool of water for different configurations, in
terms of varying number of jets and jet diameters. This research
suggests that the volumetric oxygen-transfer coefficient and oxygentransfer
efficiency of the multiple inclined plunging jets for air-water
system are significantly higher than those of a single vertical as well
as inclined plunging jet for same flow area and other similar
conditions. The study also reveals that the oxygen-transfer increase
with increase in number of multiple jets under similar conditions,
which will be most advantageous and energy-efficient in practical
situations when large volumes of wastewaters are to be treated. A
relationship between volumetric oxygen-transfer coefficient and jet
parameters is also proposed. The suggested relationship predicts the
volumetric oxygen-transfer coefficient for multiple inclined plunging
jet(s) within a scatter of ±15 percent. The relationship will be quite
useful in scale-up and in deciding optimum configuration of multiple
inclined plunging jet aeration system.
Abstract: Two group of kids (“Safflower cake" and “Control") were fed ad libitum with pelleted total mixed rations. After a 7-days adaptation period, the diet of the “Safflower cake" group were supplemented with 20% of safflower cake. The kids were slaughtered at 96 days of age. Dietary safflower cake did not affect the growth traits of kids. In addition, kids fed experimental diet showed a lower feed intake and consequently a better feed conversion ratio in comparison to the “Control" group. The use of safflower decreased the level of SFA and increased the level of MUFA in kid meat. The level of PUFA was higher in lipid extracted from animals feeding “Control“ diet even if the UFA level was lower. Furthermore, lipid extracted from animals feeding control diet contained more ω6 fatty acids in comparison to kids feeding experimental diet while the opposite trend was observed for the level of ω3 fatty acids. The ω6 to ω3 ratio was significantly affected by diet and in particular this ratio decreased in meat of kids fed experimental diet. Our results indicate that intramuscular fatty acid composition of kid meat can be improved from a human health perspective by inclusion of safflower cake in the diet.
Abstract: Paddy being cultivated since about 10,000 years B.C in Ganga Valley in India, its production reached up to 99 million tons in the year 2012. BGA are of much ecological importance for maintaining the soil fertility and reclaiming the alkalinity. In present investigation attempts were made to identify the local cyanobacterial genera from the paddy fields, BGA application for green farming enabling the paddy to utilize more amount of nitrogen released and to examine its impact along with Urea upon growth and yield responses of the Paddy crop. It was observed that combined treatment of BGA with Urea proved better response in almost all growth parameters and yield attributes except number of tillers/ Plant and grains/ panicle as compared to application of either Urea or BGA alone. The Paddy growers should be encouraged to adopt BGA along with Urea as source of Nitrogen for Paddy cultivation.
Abstract: Decision support systems are usually based on
multidimensional structures which use the concept of hypercube.
Dimensions are the axes on which facts are analyzed and form a
space where a fact is located by a set of coordinates at the
intersections of members of dimensions. Conventional
multidimensional structures deal with discrete facts linked to discrete
dimensions. However, when dealing with natural continuous
phenomena the discrete representation is not adequate. There is a
need to integrate spatiotemporal continuity within multidimensional
structures to enable analysis and exploration of continuous field data.
Research issues that lead to the integration of spatiotemporal
continuity in multidimensional structures are numerous. In this paper,
we discuss research issues related to the integration of continuity in
multidimensional structures, present briefly a multidimensional
model for continuous field data. We also define new aggregation
operations. The model and the associated operations and measures
are validated by a prototype.