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: 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: 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: 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: 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: 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: 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: 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: 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: 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: The purposes of this research were to study concepts
and strategies of human resource development in the automotive
manufacturers and to articulate the proposals against the government
about the human resource development for automotive industry. In
the present study, qualitative study was an in-depth interview in
which the qualitative data were collected from the executive or the
executive of human resource division from five automotive
companies - Toyota Motor (Thailand) Co., Ltd., Nissan Motor
(Thailand) Co., Ltd., Mitsubishi Motors (Thailand) Co., Ltd., Honda
Automobile (Thailand) Co., Ltd., and Suzuki Motor (Thailand) Co.,
Ltd. Qualitative data analysis was performed by using inter-coder
agreement technique. The research findings were as follows:
The external factors included the current conditions of the
automotive industry, government’s policy related to the automotive
industry, technology, labor market and human resource development
systems of the country. The internal factors included management,
productive management, organizational strategies, leadership,
organizational culture and philosophy of human resource
development. These factors were affected to the different concept of
human resources development -the traditional human resource
development and the strategies of human resource development. The
organization focuses on human resources as intellectual capital and
uses the strategies of human resource development in all
development processes. The strategies of human resource
development will enhance the ability of human resources in the
organization and the country.
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: 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: 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.
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: Phase equilibria of AZ91D Mg alloys for
nonflammable use, containing Ca and Y, were carried out by using
FactSage® and FTLite database, which revealed that solid solution
treatment could be performed at temperatures from 400 to 450oC.
Solid solution treatment of AZ91D Mg alloy without Ca and Y was
successfully conducted at 420oC and supersaturated microstructure
with all beta phase resolved into matrix was obtained. In the case of
AZ91D Mg alloy with some Ca and Y; however, a little amount of
intermetallic particles were observed after solid solution treatment.
After solid solution treatment, each alloy was annealed at temperatures
of 180 and 200oC for time intervals from 1 min to 48 hrs and hardness
of each condition was measured by micro-Vickers method. Peak aging
conditions were deduced as at the temperature of 200oC for 10 hrs.
Abstract: The construction of a new airport or the extension of
an existing one requires massive investments and many times public
private partnerships were considered in order to make feasible such
projects. One characteristic of these projects is uncertainty with
respect to financial and environmental impacts on the medium to long
term. Another one is the multistage nature of these types of projects.
While many airport development projects have been a success, some
others have turned into a nightmare for their promoters.
This communication puts forward a new approach for airport
investment risk assessment. The approach takes explicitly into
account the degree of uncertainty in activity levels prediction and
proposes milestones for the different stages of the project for
minimizing risk. Uncertainty is represented through fuzzy dual theory
and risk management is performed using dynamic programming. An
illustration of the proposed approach is provided.