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: 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: 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: 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 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: 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: As currently various portable devices were launched,
smart business conducted using them became common. Since smart
business can use company-internal resources in an exlternal remote
place, user authentication that can identify authentic users is an
important factor. Commonly used user authentication is a method of
using user ID and Password. In the user authentication using ID and
Password, the user should see and enter authentication information
him or her. In this user authentication system depending on the user’s
vision, there is the threat of password leaks through snooping in the
process which the user enters his or her authentication information.
This study designed and produced a user authentication module
using an actuator to respond to the snooping threat.
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: Despite four years of study in the tourism industry, the
Bachelor’s graduates cannot perform their jobs as experienced tour
guides. This research aimed to develop French teaching and studying
for Tourism with two main purposes: to analyze ‘Moves’ used in oral
presentations at tourist attraction; and to study content in guiding
presentations or 'Guide Speak'. The study employed audio recording
of these presentations as an interview method in authentic situations,
having four tour guides as respondents and information providers.
The data was analyzed via moves and content analysis. The results
found that there were eight Moves used; namely, Welcoming,
Introducing oneself, Drawing someone’s attention, Giving
information, Explaining, Highlighting, Persuading and Saying
goodbye. In terms of content, the information being presented
covered the outstanding characteristics of the places and wellintegrated
with other related content. The findings were used as
guidelines for curriculum development; in particular, the core content
and the presentation forming the basis for students to meet the
standard requirements of the labor-market and professional schemes.
Abstract: A blood pressure monitor or sphygmomanometer can
be either manual or automatic, employing respectively either the
auscultatory method or the oscillometric method.
The manual version of the sphygmomanometer involves an
inflatable cuff with a stethoscope adopted to detect the sounds
generated by the arterial walls to measure blood pressure in an artery.
An automatic sphygmomanometer can be effectively used to
monitor blood pressure through a pressure sensor, which detects
vibrations provoked by oscillations of the arterial walls.
The pressure sensor implemented in this device improves the
accuracy of the measurements taken.
Abstract: Consumer-to-Consumer (C2C) E-commerce has been
growing at a very high speed in recent years. Since identical or
nearly-same kinds of products compete one another by relying on
keyword search in C2C E-commerce, some sellers describe their
products with spam keywords that are popular but are not related to
their products. Though such products get more chances to be retrieved
and selected by consumers than those without spam keywords,
the spam keywords mislead the consumers and waste their time.
This problem has been reported in many commercial services like
ebay and taobao, but there have been little research to solve this
problem. As a solution to this problem, this paper proposes a method
to classify whether keywords of a product are spam or not. The
proposed method assumes that a keyword for a given product is
more reliable if the keyword is observed commonly in specifications
of products which are the same or the same kind as the given
product. This is because that a hierarchical category of a product
in general determined precisely by a seller of the product and so is
the specification of the product. Since higher layers of the hierarchical
category represent more general kinds of products, a reliable degree
is differently determined according to the layers. Hence, reliable
degrees from different layers of a hierarchical category become
features for keywords and they are used together with features only
from specifications for classification of the keywords. Support Vector
Machines are adopted as a basic classifier using the features, since
it is powerful, and widely used in many classification tasks. In
the experiments, the proposed method is evaluated with a golden
standard dataset from Yi-han-wang, a Chinese C2C E-commerce,
and is compared with a baseline method that does not consider
the hierarchical category. The experimental results show that the
proposed method outperforms the baseline in F1-measure, which
proves that spam keywords are effectively identified by a hierarchical
category in C2C E-commerce.
Abstract: In the present study, M2 high speed steels were
fabricated by using electro-slag rapid remelting process. Carbide
structure was analysed and the fracture toughness and hardness were
also measured after austenitization treatment at 1190 and 1210oC
followed by tempering treatment at 535oC for billets with various
diameters from 16 to 60 mm. Electro-slag rapid remelting (ESRR)
process is an advanced ESR process combined by continuous casting
and successfully employed in this study to fabricate a sound M2 high
speed ingot. Three other kinds of commercial M2 high speed steels,
produced by traditional method, were also analysed for comparison.
Distribution and structure of eutectic carbides of the ESRR billet were
found to be comparable to those of commercial alloy and so was the
fracture toughness.