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: 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: 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: Natural antimicrobials are used to preserve foods that
can be found in plants, animals, and microorganisms. Antimicrobial
substances are natural or artificial agents that produced by
microorganisms or obtained semi/total chemical synthesis are used at
low concentrations to inhibit the growth of other microorganisms.
Food borne pathogens and spoilage microorganisms are inactivated
by the use of antagonistic microorganisms and their metabolites.
Yeasts can produce toxic proteins or glycoproteins (toxins) that cause
inhibition of sensitive bacteria and yeast species. Antimicrobial
substance producing phenotypes belonging different yeast genus
were isolated from different sources. Toxins secreted by many yeast
strains inhibiting the growth of other yeast strains. These strains show
antimicrobial activity, inhibiting the growth of mold and bacteria.
The effect of antimicrobial agents produced by yeasts can be
extremely fast, and therefore may be used in various treatment
procedures. Rapid inhibition of microorganisms is possibly caused by
microbial cell membrane lipopolysaccharide binding and in
activation (neutralization) effect. Antimicrobial agents inhibit the
target cells via different mechanisms of action.
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: This paper clarifies the role of ICT capital in economic
growth. Albeit ICT remarkably contributes to economic growth, there
are few studies on ICT capital in ICT sector from theoretical point of
view. In this paper, production function of ICT which is used as input
of intermediate good in final good and ICT sectors is incorporated
into our model. In this setting, we analyze the role of ICT on balance
growth path and show the possibility of general equilibrium solutions
for this model. Through the simulation of the equilibrium solutions,
we find that when ICT impacts on economy and economic growth
increases, it is necessary that increases of efficiency at ICT sector and
of accumulation of non-ICT and ICT capitals occur simultaneously.
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: 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: 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: 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 paper presents the performance state analysis of
Self-Excited Induction Generator (SEIG) using Artificial Bee Colony
(ABC) optimization technique. The total admittance of the induction
machine is minimized to calculate the frequency and magnetizing
reactance corresponding to any rotor speed, load impedance and
excitation capacitance. The performance of SEIG is calculated using
the optimized parameter found. The results obtained by ABC
algorithm are compared with results from numerical method. The
results obtained coincide with the numerical method results. This
technique proves to be efficient in solving nonlinear constrained
optimization problems and analyzing the performance of SEIG.
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: This paper is concerned with the stability problem
with two additive time-varying delay components. By choosing one
augmented Lyapunov-Krasovskii functional, using some new zero
equalities, and combining linear matrix inequalities (LMI)
techniques, two new sufficient criteria ensuring the global stability
asymptotic stability of DNNs is obtained. These stability criteria are
present in terms of linear matrix inequalities and can be easily
checked. Finally, some examples are showed to demonstrate the
effectiveness and less conservatism of the proposed method.
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
Abstract: With the rapid progress of modern cities, the railway
construction must be developing quickly in China.As a typical
high-density country, shopping center on the subway should be one
important factor during the process of urban development. The paper
discusses the influence of the layout of shopping center on the subway,
and put it in the time and space’s axis of Shanghai urban development.
We usethe digital technology to establish the database of relevant
information. And then get the change role about shopping center on
subway in Shanghaiby the Kernel density estimate.The result shows
the development of shopping center on subway has a relationship with
local economic strength, population size, policysupport, and city
construction. And the suburbanization trend of shopping center would
be increasingly significant.By this case research, we could see the
Kernel density estimate is an efficient analysis method on the spatial
layout. It could reveal the characters of layout form of shopping center
on subway in essence. And it can also be applied to the other research
of space form.
Abstract: Concerns on corrosion and effective coating
protection of double hull tankers and bulk carriers in service have
been raised especially in water ballast tanks (WBTs). Test
protocols/methodologies specifically that which is incorporated in the
International Maritime Organisation (IMO), Performance Standard
for Protective Coatings for Dedicated Sea Water ballast tanks (PSPC)
are being used to assess and evaluate the performance of the coatings
for type approval prior to their application in WBTs. However, some
of the type approved coatings may be applied as very thick films to
less than ideally prepared steel substrates in the WBT. As such films
experience hygrothermal cycling from operating and environmental
conditions, they become embrittled which may ultimately result in
cracking. This embrittlement of the coatings is identified as an
undesirable feature in the PSPC but is not mentioned in the test
protocols within it. There is therefore renewed industrial research
aimed at understanding this issue in order to eliminate cracking and
achieve the intended coating lifespan of 15 years in good condition.
This paper will critically review test protocols currently used for
assessing and evaluating coating performance, particularly the IMO
PSPC.
Abstract: This paper presents the voltage problem location
classification using performance of Least Squares Support Vector
Machine (LS-SVM) and Learning Vector Quantization (LVQ) in
electrical power system for proper voltage problem location
implemented by IEEE 39 bus New- England. The data was collected
from the time domain simulation by using Power System Analysis
Toolbox (PSAT). Outputs from simulation data such as voltage, phase
angle, real power and reactive power were taken as input to estimate
voltage stability at particular buses based on Power Transfer Stability
Index (PTSI).The simulation data was carried out on the IEEE 39 bus
test system by considering load bus increased on the system. To verify
of the proposed LS-SVM its performance was compared to Learning
Vector Quantization (LVQ). The results showed that LS-SVM is faster
and better as compared to LVQ. The results also demonstrated that the
LS-SVM was estimated by 0% misclassification whereas LVQ had
7.69% misclassification.
Abstract: In Egypt, girls have traditionally been educationally
disadvantaged. This disadvantage, however, has been focused on the
failure to enter school. Increasingly it is recognized that girls who
ever-enroll are at least as likely to complete primary and secondary
education as boys. Still the belief persists that girls, especially those
from poor families, will be disadvantaged in terms of school
expenditures and the transitions to secondary and higher education.
We examine expenditures on tutoring during the final year of
preparatory school, and the transition to specific tracks of secondary
education. Tests during the last year of preparatory largely determine
a student’s educational future. Results show that girls, even girls from
poor families, are not disadvantaged in terms of expenditures,
whether for tutoring, fees or general expenses. Moreover, girls are
more likely than boys to advance to general secondary education, the
track that leads to higher education.
Abstract: Recently, to cope with the rapidly changing
construction trend with aging infrastructures, modular bridge
technology has been studied actively. Modular bridge is easily
constructed by assembling standardized precast structure members in
the field. It will be possible to construct rapidly and reduce
construction cost efficiently. However, the shape of the transverse
connection of T-type girder newly developed between the segmented
modules is not verified. Therefore, the verification of the connection
shape is needed. In this study, shape of the modular T-girder bridge
transverse connection was analyzed by finite element model that was
verified in study which was verified model of transverse connection
using Abaqus. Connection angle was chosen as the parameter. The
result of analyses showed that optimal value of angle is 130 degree.