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: During the last few years, several sheet hydroforming
processes have been introduced. Despite the advantages of these
methods, they have some limitations. Of the processes, the two main
ones are the standard hydroforming and hydromechanical deep
drawing. A new sheet hydroforming die set was proposed that has the
advantages of both processes and eliminates their limitations. In this
method, a polyurethane plate was used as a part of the die-set to
control the blank holder force. This paper outlines the Taguchi
optimization methodology, which is applied to optimize the effective
parameters in forming cylindrical cups by the new die set of sheet
hydroforming process. The process parameters evaluated in this
research are polyurethane hardness, polyurethane thickness, forming
pressure path and polyurethane hole diameter. The design of
experiments based upon L9 orthogonal arrays by Taguchi was used
and analysis of variance (ANOVA) was employed to analyze the
effect of these parameters on the forming pressure. The analysis of
the results showed that the optimal combination for low forming
pressure is harder polyurethane, bigger diameter of polyurethane hole
and thinner polyurethane. Finally, the confirmation test was derived
based on the optimal combination of parameters and it was shown
that the Taguchi method is suitable to examine the optimization
process.
Abstract: In this paper, we study the knapsack sharing problem, a variant of the well-known NP-Hard single knapsack problem. We investigate the use of a tree search for optimally solving the problem. The used method combines two complementary phases: a reduction interval search phase and a branch and bound procedure one. First, the reduction phase applies a polynomial reduction strategy; that is used for decomposing the problem into a series of knapsack problems. Second, the tree search procedure is applied in order to attain a set of optimal capacities characterizing the knapsack problems. Finally, the performance of the proposed optimal algorithm is evaluated on a set of instances of the literature and its runtime is compared to the best exact algorithm of the literature.
Abstract: In this paper, we propose a side-peak cancellation
scheme for code acquisition of composite binary offset carrier
(CBOC) signals. We first model the family of CBOC signals in a
generic form, and then, propose a side-peak cancellation scheme
by combining correlation functions between the divided sub-carrier
and received signals. From numerical results, it is shown that the
proposed scheme removes the side-peak completely, and moreover,
the resulting correlation function demonstrates the better power ratio
performance than the CBOC autocorrelation.
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: In this paper we propose a robust adaptive fuzzy
controller for a class of nonlinear system with unknown dynamic.
The method is based on type-2 fuzzy logic system to approximate
unknown non-linear function. The design of the on-line adaptive
scheme of the proposed controller is based on Lyapunov technique.
Simulation results are given to illustrate the effectiveness of the
proposed approach.
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: 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: 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: This paper proposes a dual tree complex wavelet transform (DT-CWT) based directional interpolation scheme for noisy images. The problems of denoising and interpolation are modelled as to estimate the noiseless and missing samples under the same framework of optimal estimation. Initially, DT-CWT is used to decompose an input low-resolution noisy image into low and high frequency subbands. The high-frequency subband images are interpolated by linear minimum mean square estimation (LMMSE) based interpolation, which preserves the edges of the interpolated images. For each noisy LR image sample, we compute multiple estimates of it along different directions and then fuse those directional estimates for a more accurate denoised LR image. The estimation parameters calculated in the denoising processing can be readily used to interpolate the missing samples. The inverse DT-CWT is applied on the denoised input and interpolated high frequency subband images to obtain the high resolution image. Compared with the conventional schemes that perform denoising and interpolation in tandem, the proposed DT-CWT based noisy image interpolation method can reduce many noise-caused interpolation artifacts and preserve well the image edge structures. The visual and quantitative results show that the proposed technique outperforms many of the existing denoising and interpolation methods.
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: This study, focusing on the importance of encouraging
outdoor activities for children, aims to propose and implement a
Web-GIS based outdoor education program for elementary schools,
which will then be evaluated by users. Specifically, for the purpose of
improved outdoor activities in the elementary school education, the
outdoor education program, with chiefly using the Web-GIS that
provides a good information provision and sharing tool, is proposed
and implemented before being evaluated by users. Conclusions of the
study boil down to:
(1) An eight-staged outdoor education program based on the Web-GIS
was proposed for a “second school" of an elementary school that
was then implemented before being evaluated by users (teachers,
instructors, students, and their parents).
(2) The program generally received a good evaluation, while a lot of
students and their parents evaluated negatively for the degree of
discovery and for the degree of interest, respectively, in the
questionnaire survey of students and their parents conducted after
the “second school". The surveys clearly show that an issue to be
solved, from the viewpoint of teachers in particular, is the
establishment of the GIS that will easily represent teaching materials
developed by teachers and of Web-GIS, and improved significance
of the use of GIS and Web-GIS for their widespread.
Abstract: Feature-based registration is an effective technique for clinical use, because it can greatly reduce computational costs. However, this technique, which estimates the transformation by using feature points extracted from two images, may cause misalignments. To handle with this limitation, we propose to extract the salient edges and extracted control points (CP) of medical images by using efficiency of multiresolution representation of data nonsubsampled contourlet transform (NSCT) that finds the best feature points. The MR images were first decomposed using the NSCT, and then Edge and CP were extracted from bandpass directional subband of NSCT coefficients and some proposed rules. After edge and CP extraction, mutual information was adopted for the registration of feature points and translation parameters are calculated by using particle swarm optimization (PSO). The experimental results showed that the proposed method produces totally accurate performance for registration medical CT-MR images.
Abstract: Moral decisions are considered as an intuitive process,
while conscious reasoning is mostly used only to justify those
intuitions. This problem is described in few different dual-process
theories of mind, that are being developed e.g. by Frederick and
Kahneman, Stanovich and Evans. Those theories recently evolved
into tri-process theories with a proposed process that makes ultimate
decision or allows to paraformal processing with focal bias..
Presented experiment compares the decision patterns to the
implications of those models.
In presented study participants (n=179) considered different
aspects of trolley dilemma or its footbridge version and decided after
that.
Results show that in the control group 70% of people decided to
use the lever to change tracks for the running trolley, and 20% chose
to push the fat man down the tracks. In contrast, after experimental
manipulation almost no one decided to act. Also the decision time
difference between dilemmas disappeared after experimental
manipulation.
The result supports the idea of three co-working processes:
intuitive (TASS), paraformal (reflective mind) and algorithmic
process.
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: Image registration plays an important role in the
diagnosis of dental pathologies such as dental caries, alveolar bone
loss and periapical lesions etc. This paper presents a new wavelet
based algorithm for registering noisy and poor contrast dental x-rays.
Proposed algorithm has two stages. First stage is a preprocessing
stage, removes the noise from the x-ray images. Gaussian filter has
been used. Second stage is a geometric transformation stage.
Proposed work uses two levels of affine transformation. Wavelet
coefficients are correlated instead of gray values. Algorithm has been
applied on number of pre and post RCT (Root canal treatment)
periapical radiographs. Root Mean Square Error (RMSE) and
Correlation coefficients (CC) are used for quantitative evaluation.
Proposed technique outperforms conventional Multiresolution
strategy based image registration technique and manual registration
technique.
Abstract: This paper presents a possibilistic (fuzzy) model in optimal siting and sizing of Distributed Generation (DG) for loss reduction and improve voltage profile in power distribution system. Multi-objective problem is developed in two phases. In the first one, the set of non-dominated planning solutions is obtained (with respect to the objective functions of fuzzy economic cost, and exposure) using genetic algorithm. In the second phase, one solution of the set of non-dominated solutions is selected as optimal solution, using a suitable max-min approach. This method can be determined operation-mode (PV or PQ) of DG. Because of considering load uncertainty in this paper, it can be obtained realistic results. The whole process of this method has been implemented in the MATLAB7 environment with technical and economic consideration for loss reduction and voltage profile improvement. Through numerical example the validity of the proposed method is verified.