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: 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: The effect of various humidities on process yields and
degrees of crystallinity for spray-dried powders from spray drying of
lactose with humid air in a straight-through system have been
studied. It has been suggested by Williams–Landel–Ferry kinetics
(WLF) that a higher particle temperature and lower glass-transition
temperature would increase the crystallization rate of the particles
during the spray-drying process. Freshly humidified air produced by
a Buchi-B290 spray dryer as a humidifier attached to the main spray
dryer decreased the particle glass-transition temperature (Tg), while
allowing the particle temperature (Tp) to reach higher values by using
an insulated drying chamber. Differential scanning calorimetry
(DSC) and moisture sorption analysis were used to measure the
degree of crystallinity for the spray-dried lactose powders. The
results showed that higher Tp-Tg, as a result of applying humid air,
improved the process yield from 21 ± 4 to 26 ± 2% and crystallinity
of the particles by decreasing the latent heat of crystallization from
43 ± 1 to 30 ± 11 J/g and the sorption peak height from 7.3 ± 0.7% to
6 ± 0.7%.
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: 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: 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: 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: The growth of wireless devices affects the availability
of limited frequencies or spectrum bands as it has been known that
spectrum bands are a natural resource that cannot be added.
Meanwhile, the licensed frequencies are idle most of the time.
Cognitive radio is one of the solutions to solve those problems.
Cognitive radio is a promising technology that allows the unlicensed
users known as secondary users (SUs) to access licensed bands
without making interference to licensed users or primary users (PUs).
As cloud computing has become popular in recent years, cognitive
radio networks (CRNs) can be integrated with cloud platform. One of
the important issues in CRNs is security. It becomes a problem since
CRNs use radio frequencies as a medium for transmitting and CRNs
share the same issues with wireless communication systems. Another
critical issue in CRNs is performance. Security has adverse effect to
performance and there are trade-offs between them. The goal of this
paper is to investigate the performance related to security trade-off in
CRNs with supporting cloud platforms. Furthermore, Queuing
Network Models with preemptive resume and preemptive repeat
identical priority are applied in this project to measure the impact of
security to performance in CRNs with or without cloud platform. The
generalized exponential (GE) type distribution is used to reflect the
bursty inter-arrival and service times at the servers. The results show
that the best performance is obtained when security is disabled and
cloud platform is enabled.