Abstract: The importance of the formal specification in the
software life cycle is barely concealing to anyone. Formal
specifications use mathematical notation to describe the properties of
information system precisely, without unduly constraining the way in
how these properties are achieved. Having a correct and quality
software specification is not easy task. This study concerns with how
a group of rectifiers can communicate with each other and work to
prepare and produce a correct formal software specification. WBCS
has been implemented based mainly in the proposed supported
cooperative work model and a survey conducted on the existing Webbased
collaborative writing tools. This paper aims to assess the
feasibility of executing the web-based collaboration process using
WBCS. The purpose of conducting this test is to test the system as a
whole for functionality and fitness for use based on the evaluation
test plan.
Abstract: Among all FACTS devices, the unified power flow
controller (UPFC) is considered to be the most versatile device.
This is due to its capability to control all the transmission system
parameters (impedance, voltage magnitude, and phase angle). With
the growing interest in UPFC, the attention to develop a mathematical
model has increased. Several models were introduced for UPFC in
literature for different type of studies in power systems. In this paper
a novel comparison study between two dynamic models of UPFC
with their proposed control strategies.
Abstract: Researches and concerns in power quality gained
significant momentum in the field of power electronics systems over
the last two decades globally. This sudden increase in the number of
concerns over power quality problems is a result of the huge increase
in the use of non-linear loads. In this paper, power quality evaluation
of some distribution networks at Misurata - Libya has been done
using a power quality and energy analyzer (Fluke 437 Series II). The
results of this evaluation are used to minimize the problems of power
quality. The analysis shows the main power quality problems that
exist and the level of awareness of power quality issues with the aim
of generating a start point which can be used as guidelines for
researchers and end users in the field of power systems.
Abstract: This work proposes a fuzzy methodology to support
the investment decisions. While choosing among competitive
investment projects, the methodology makes ranking of projects
using the new aggregation OWA operator – AsPOWA, presented in
the environment of possibility uncertainty. For numerical evaluation
of the weighting vector associated with the AsPOWA operator the
mathematical programming problem is constructed. On the basis of
the AsPOWA operator the projects’ group ranking maximum criteria
is constructed. The methodology also allows making the most
profitable investments into several of the project using the method
developed by the authors for discrete possibilistic bicriteria problems.
The article provides an example of the investment decision-making
that explains the work of the proposed methodology.
Abstract: Recent perceived climate variability raises concerns
with unprecedented hydrological phenomena and extremes.
Distribution and circulation of the waters of the Earth become
increasingly difficult to determine because of additional uncertainty
related to anthropogenic emissions. The world wide observed
changes in the large-scale hydrological cycle have been related to an
increase in the observed temperature over several decades. Although
the effect of change in climate on hydrology provides a general
picture of possible hydrological global change, new tools and
frameworks for modelling hydrological series with nonstationary
characteristics at finer scales, are required for assessing climate
change impacts. Of the downscaling techniques, dynamic
downscaling is usually based on the use of Regional Climate Models
(RCMs), which generate finer resolution output based on atmospheric
physics over a region using General Circulation Model (GCM) fields
as boundary conditions. However, RCMs are not expected to capture
the observed spatial precipitation extremes at a fine cell scale or at a
basin scale. Statistical downscaling derives a statistical or empirical
relationship between the variables simulated by the GCMs, called
predictors, and station-scale hydrologic variables, called predictands.
The main focus of the paper is on the need for using statistical
downscaling techniques for projection of local hydrometeorological
variables under climate change scenarios. The projections can be then
served as a means of input source to various hydrologic models to
obtain streamflow, evapotranspiration, soil moisture and other
hydrological variables of interest.
Abstract: As an entity of the tourism system, local communities
were considered have better understanding of their region as well as
influenced positively or negatively by the tourism activities in the
region. This paper aimed to study role of community involvement in
the development of ecotourism at Kintamani Bali from two
perspectives of view, i.e. participation in the process of initiatives and
participation in the utilizing the economic benefits of tourism.
Thorough participation as an antecedent of social capital form, the
sustainability of ecotourism at Kintamani could be expected.
Abstract: The work proposes a decision support methodology
for the credit risk minimization in selection of investment projects.
The methodology provides two stages of projects’ evaluation.
Preliminary selection of projects with minor credit risks is made
using the Expertons Method. The second stage makes ranking of
chosen projects using the Possibilistic Discrimination Analysis
Method. The latter is a new modification of a well-known Method of
Fuzzy Discrimination Analysis.
Abstract: A generalized vortex lattice method for complex
lifting surfaces with flap and aileron deflection is formulated. The
method is not restricted by the linearized theory assumption and
accounts for all standard geometric lifting surface parameters:
camber, taper, sweep, washout, dihedral, in addition to flap and
aileron deflection. Thickness is not accounted for since the physical
lifting body is replaced by a lattice of panels located on the mean
camber surface. This panel lattice setup and the treatment of different
wake geometries is what distinguish the present work form the
overwhelming majority of previous solutions based on the vortex
lattice method. A MATLAB code implementing the proposed
formulation is developed and validated by comparing our results to
existing experimental and numerical ones and good agreement is
demonstrated. It is then used to study the accuracy of the widely used
classical vortex-lattice method. It is shown that the classical approach
gives good agreement in the clean configuration but is off by as much
as 30% when a flap or aileron deflection of 30° is imposed. This
discrepancy is mainly due the linearized theory assumption
associated with the conventional method. A comparison of the effect
of four different wake geometries on the values of aerodynamic
coefficients was also carried out and it is found that the choice of the
wake shape had very little effect on the results.
Abstract: Sudoku is a logic-based combinatorial puzzle game
which people in different ages enjoy playing it. The challenging and
addictive nature of this game has made it a ubiquitous game. Most
magazines, newspapers, puzzle books, etc. publish lots of Sudoku
puzzles every day. These puzzles often come in different levels of
difficulty so that all people, from beginner to expert, can play the
game and enjoy it. Generating puzzles with different levels of
difficulty is a major concern of Sudoku designers. There are several
works in the literature which propose ways of generating puzzles
having a desirable level of difficulty. In this paper, we propose a
method based on constraint satisfaction problems to evaluate the
difficulty of the Sudoku puzzles. Then we propose a hill climbing
method to generate puzzles with different levels of difficulty.
Whereas other methods are usually capable of generating puzzles
with only few number of difficulty levels, our method can be used to
generate puzzles with arbitrary number of different difficulty levels.
We test our method by generating puzzles with different levels of
difficulty and having a group of 15 people solve all the puzzles and
recording the time they spend for each puzzle.
Abstract: A method is proposed for stable detection of
seismoacoustic sources in C-OTDR systems that guarantee given
upper bounds for probabilities of type I and type II errors. Properties
of the proposed method are rigorously proved. The results of
practical applications of the proposed method in a real C-OTDRsystem
are presented.
Abstract: An analysis of the Australian Diabetes Screening
Study estimated undiagnosed diabetes mellitus [DM] prevalence in a
high risk general practice based cohort. DM prevalence varied from
9.4% to 18.1% depending upon the diagnostic criteria utilised with
age being a highly significant risk factor. Utilising the gold standard
oral glucose tolerance test, the prevalence of DM was 22-23% in
those aged >= 70 years and
Abstract: The generalized wave equation models various
problems in sciences and engineering. In this paper, a new three-time
level implicit approach based on cubic trigonometric B-spline for the
approximate solution of wave equation is developed. The usual finite
difference approach is used to discretize the time derivative while
cubic trigonometric B-spline is applied as an interpolating function in
the space dimension. Von Neumann stability analysis is used to
analyze the proposed method. Two problems are discussed to exhibit
the feasibility and capability of the method. The absolute errors and
maximum error are computed to assess the performance of the
proposed method. The results were found to be in good agreement
with known solutions and with existing schemes in literature.
Abstract: From an organizational perspective, leaders are a
variation of the same talent pool in that they all score a larger than
average value on the bell curve that maps leadership behaviors and
characteristics, namely competence, vision, communication,
confidence, cultural sensibility, stewardship, empowerment,
authenticity, reinforcement, and creativity. The question that remains
unanswered and essentially unresolved is how to explain the irony
that leaders are so much alike yet their organizations diverge so
noticeably in their ability to innovate. Leadership intersects with
innovation at the point where human interactions get exceedingly
complex and where certain paradoxical forces cohabit: conflict with
conciliation, sovereignty with interdependence, and imagination with
realism. Rather than accepting that leadership is without context, we
argue that leaders are specialists of their domain and that those
effective at leading for innovation are distinct within the broader pool
of leaders. Keeping in view the extensive literature on leadership and
innovation, we carried out a quantitative study with data collected
over a five-year period involving 240 participants from across five
dissimilar companies based in the United States. We found that while
innovation and leadership are, in general, strongly interrelated (r =
.89, p = 0.0), there are five qualities that set leaders apart on
innovation. These qualities include a large radius of trust, a restless
curiosity with a low need for acceptance, an honest sense of self and
other, a sense for knowledge and creativity as the yin and yang of
innovation, and an ability to use multiple senses in the engagement
with followers. When these particular behaviors and characteristics
are present in leaders, organizations out-innovate their rivals by a
margin of 29.3 per cent to gain an unassailable edge in a business
environment that is regularly disruptive. A strategic outcome of this
study is a psychometric scale named iLeadership, proposed with the
underlying evidence, limitations, and potential for leadership and
innovation in organizations.c
Abstract: One of the major goals of Spoken Dialog Systems
(SDS) is to understand what the user utters.
In the SDS domain, the Spoken Language Understanding (SLU)
Module classifies user utterances by means of a pre-definite
conceptual knowledge. The SLU module is able to recognize only the
meaning previously included in its knowledge base. Due the vastity
of that knowledge, the information storing is a very expensive
process.
Updating and managing the knowledge base are time-consuming
and error-prone processes because of the rapidly growing number of
entities like proper nouns and domain-specific nouns. This paper
proposes a solution to the problem of Name Entity Recognition
(NER) applied to a SDS domain. The proposed solution attempts to
automatically recognize the meaning associated with an utterance by
using the PANKOW (Pattern based Annotation through Knowledge
On the Web) method at runtime.
The method being proposed extracts information from the Web to
increase the SLU knowledge module and reduces the development
effort. In particular, the Google Search Engine is used to extract
information from the Facebook social network.
Abstract: The objectives of this study are to find out the
approaches to promote healthy recreation activities for elderly
tourists and develop Bang Nam Phueng Floating Market to be a
health tourism attraction. The research methodology was to analyze
internal and external situations according to MP-MF and the MCSTEPS
principles.
As for the results of this study the researcher found that the
healthy recreational activities for elderly tourists could be divided in
7 groups; travelling Bang Nam Phueng Floating Market activity,
homestay relaxation, arts center platform activity, healthy massage
activity, paying homage to a Buddha image activity, herbal joss-stick
home activity, making local desserts and food activity.
Abstract: This paper presents a new meta-heuristic bio-inspired
optimization algorithm which is called Cuttlefish Algorithm (CFA).
The algorithm mimics the mechanism of color changing behavior of
the cuttlefish to solve numerical global optimization problems. The
colors and patterns of the cuttlefish are produced by reflected light
from three different layers of cells. The proposed algorithm considers
mainly two processes: reflection and visibility. Reflection process
simulates light reflection mechanism used by these layers, while
visibility process simulates visibility of matching patterns of the
cuttlefish. To show the effectiveness of the algorithm, it is tested with
some other popular bio-inspired optimization algorithms such as
Genetic Algorithms (GA), Particle Swarm Optimization (PSO) and
Bees Algorithm (BA) that have been previously proposed in the
literature. Simulations and obtained results indicate that the proposed
CFA is superior when compared with these algorithms.
Abstract: Three dimensional non-Interlaced carbon fibre
reinforced silicon carbide (3-D-Cf/SiC) composites with pyrocarbon
interphase were fabricated using isothermal chemical vapor
infiltration (ICVI) combined with polymer impregnation pyrolysis
(PIP) process. Polysilazane (PSZ) is used as a preceramic polymer to
obtain silicon carbide matrix. Thermo gravimetric analysis (TGA),
Infrared spectroscopic analysis (IR) and X-ray diffraction (XRD)
analysis were carried out on PSZ pyrolysed at different temperatures
to understand the pyrolysis and obtaining the optimum pyrolysing
condition to yield β-SiC phase. The density of the composites was
1.94 g cm-3 after the 3-D carbon preform was SiC infiltrated for 280 h
with one intermediate polysilazane pre-ceramic PIP process.
Mechanical properties of the composite materials were investigated
under tensile, flexural, shear and impact loading. The values of
tensile strength were 200 MPa at room temperature (RT) and 195
MPa at 500°C in air. The average RT flexural strength was 243 MPa.
The lower flexural strength of these composites is because of the
porosity. The fracture toughness obtained from single edge notched
beam (SENB) technique was 39 MPa.m1/2. The work of fracture
obtained from the load-displacement curve of SENB test was 22.8
kJ.m-2. The composites exhibited excellent impact resistance and the
dynamic fracture toughness of 44.8 kJ.m-2 is achieved as determined
from instrumented Charpy impact test. The shear strength of the
composite was 93 MPa, which is significantly higher compared 2-D
Cf/SiC composites. Microstructure evaluation of fracture surfaces
revealed the signatures of fracture processes and showed good
support for the higher toughness obtained.
Abstract: This study aimed at designing and developing a
mechanical force gauge for the square watermelon mold for the first
time. It also tried to introduce the square watermelon characteristics
and its production limitations. The mechanical force gauge
performance and the product itself were also described. There are
three main designable gauge models: a. hydraulic gauge, b. strain
gauge, and c. mechanical gauge. The advantage of the hydraulic
model is that it instantly displays the pressure and thus the force
exerted by the melon. However, considering the inability to measure
forces at all directions, complicated development, high cost, possible
hydraulic fluid leak into the fruit chamber and the possible influence
of increased ambient temperature on the fluid pressure, the
development of this gauge was overruled. The second choice was to
calculate pressure using the direct force a strain gauge. The main
advantage of these strain gauges over spring types is their high
precision in measurements; but with regard to the lack of conformity
of strain gauge working range with water melon growth, calculations
were faced with problems. Finally the mechanical pressure gauge has
advantages, including the ability to measured forces and pressures on
the mold surface during melon growth; the ability to display the peak
forces; the ability to produce melon growth graph thanks to its
continuous force measurements; the conformity of its manufacturing
materials with the required physical conditions of melon growth; high
air conditioning capability; the ability to permit sunlight reaches the
melon rind (no yellowish skin and quality loss); fast and
straightforward calibration; no damages to the product during
assembling and disassembling; visual check capability of the product
within the mold; applicable to all growth environments (field,
greenhouses, etc.); simple process; low costs and so forth.
Abstract: Web search engines are designed to retrieve and
extract the information in the web databases and to return dynamic
web pages. The Semantic Web is an extension of the current web in
which it includes semantic content in web pages. The main goal of
semantic web is to promote the quality of the current web by
changing its contents into machine understandable form. Therefore,
the milestone of semantic web is to have semantic level information
in the web. Nowadays, people use different keyword- based search
engines to find the relevant information they need from the web.
But many of the words are polysemous. When these words are
used to query a search engine, it displays the Search Result Records
(SRRs) with different meanings. The SRRs with similar meanings are
grouped together based on Word Sense Disambiguation (WSD). In
addition to that semantic annotation is also performed to improve the
efficiency of search result records. Semantic Annotation is the
process of adding the semantic metadata to web resources. Thus the
grouped SRRs are annotated and generate a summary which
describes the information in SRRs. But the automatic semantic
annotation is a significant challenge in the semantic web. Here
ontology and knowledge based representation are used to annotate
the web pages.
Abstract: Male factor infertility due to endocrine disturbances
such as abnormalities in prolactin levels are encountered in a
significant proportion. This case control study was carried out to
determine the effects of prolactin on the male reproductive tract,
using 200 male white rats. The rats were maintained as the control
group (G1), hypoprolactinaemic group (G2), 3 hyperprolactinaemic
groups induced using oral largactil (G3), low dose fluphenazine (G4)
and high dose fluphenazine (G5). After 100 days, rats were subjected
to serum prolactin (PRL) level measurements and for basic seminal
fluid analysis (BSA). The difference between serum PRL
concentrations of rats in G2, G3, G4 and G5 as compared to the
control group were highly significant by Student’s t-test (p