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: 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: 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: 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 ever increasing amount of solid waste (SW)
generated which is exacerbated by lack of proper waste management
system is of growing concern worldwide and in major cities in
developing countries due to its social, economic and environmental
implications. This study attempts to describe the aspects of solid
waste management (SWM) in Adama, one of the fast urbanizing
cities in Ethiopia, and highlights the challenges thereof. Data were
gathered through interview supplemented by field observation and
self-administered questionnaire. Then, the data were analyzed using
the Statistical Package for Social Science (SPSS) software. In
addition, secondary data were gathered from documents. Findings
revealed that the current SWM practice couldn’t cope with the fast
urbanizing needs and the rapid population growth exhibited by the
city. Besides, major factors contributing to the inefficient system
were identified. The study would provide practical insights to
decision makers in developing a sustainable SWM system leading to
minimized risk in the city.
Abstract: In order to evaluate the performance of a unified power
flow controller (UPFC), mathematical models for steady state and
dynamic analysis are to be developed. The steady state model is
mainly concerned with the incorporation of the UPFC in load flow
studies. Several load flow models for UPFC have been introduced
in literature, and one of the most reliable models is the decoupled
UPFC model. In spite of UPFC decoupled load flow model simplicity,
it is more robust compared to other UPFC load flow models and it
contains unique capabilities. Some shortcoming such as additional
set of nonlinear equations are to be solved separately after the load
flow solution is obtained. The aim of this study is to investigate the
different control strategies that can be realized in the decoupled load
flow model (individual control and combined control), and the impact
of the location of the UPFC in the network on its control parameters.
Abstract: The objectives of this research were to study the
influencing factors that contributed to the success of e-collaborative
in e-commerce of B2C (Business to Customer) business in Bangkok,
Thailand. The influencing factors included organization, people,
information technology and the process of e-collaborative. A
questionnaire was used to collect data from 200 small e-commerce
businesses and the path analysis was utilized as the tool for data
analysis.
By using the path analysis, it was revealed that the factors
concerning with organization, people and information technology
played an influence on e-collaborative process and the success of ecollaborative,
whereas the process of e-collaborative factor
manipulated its success. The findings suggested that B2C ecommerce
business in Thailand should opt in improvement approach
in terms of managerial structure, leaderships, staff’s skills and
knowledge, and investment of information technology in order to
capacitate higher efficiency of e-collaborative process that would
result in profit and competitive advantage.
Abstract: This paper presents circular polar coordinates
transformation of periodic fuzzy membership function. The purpose
is identification of domain of periodic membership functions in
consequent part of IF-THEN rules. Proposed methods in this paper
remove complicatedness concerning domain of periodic membership
function from defuzzification in fuzzy approximate reasoning.
Defuzzification on circular polar coordinates is also proposed.
Abstract: The biomass-based fuels have become great concern in order to replace the petroleum-based fuels. Biofuels are a wide range of fuels referred to liquid, gas and solid fuels produced from biomass. Recently, higher chain alcohols such as 3-methyl-1-butanol and isobutanol have become a better candidate compared to bioethanol in order to replace gasoline as transportation fuel. Therefore, in this study, 3-methyl-1-butanol was produced through a fermentation process by yeast. Several types of yeast involved in this research including Saccharomyces cerevisiae, Kluyveromyces lactis GG799 and Pichia pastoris (KM71H, GS115 and X33). The result obtained showed that K. lactis GG799 gave the highest concentration of 3-methyl-1-butanol at 274 mg/l followed by S. cerevisiae, P. pastoris GS115, P. pastoris KM71H and P. pastoris X33 at 265 mg/l, 190 mg/l, 182 mg/l and 174 mg/l respectively. Based on the result, it proved that yeast have a potential in producing 3-methyl-1-butanol naturally.
Abstract: In this study, we will touch upon the legal arrangements issued in Turkey for prevention of condensation and for ensuring pluralism in the media. We will mention the legal arrangements concerning the regulatory and supervisory authority, namely the Radio and Television Supreme Council, for the visual and auditory media. In this context; the legal arrangements, which have been introduced by the Law No 6112 on the Establishment of Radio and Television Enterprises and Their Media Services in relation to the media ownership, will be reviewed through comparison with the Article 29 of the repealed Law No 3984.
Abstract: The research about Formal Thai National Costume in the reign of King Bhumibol Adulyadej is an applied research that aimed to study the accurate knowledge concerning to Thai national costume in the reign of King Rama IX, also to study origin of all costumes in the reign of King Rama IX and to study the style, material used, and using accasion. This research methodology which are collect quanlitative data through observation, document, and photograph from key informant of costume in the reign of King Rama IX and from another who related to this field.
The formal Thai national costume of the reign of King Bhumibol Adulyadej originated from the visit of His Majesty the King to Europe and America in 1960. Since Thailand had no traditional national costume; Her Majesty the Queen initiated the idea to create formal Thai national costumes. In 1964, Her Majesty the Queen selected 8 styles of formal Thai national costume. Later, Her Majesty the Queen confered another 3 formal Thai national costume for men. There are 8 styles of formal Thai national costume for women: Thai Ruean Ton, Thai Chit Lada, Thai Amarin, Thai Borom Phiman, Thai Siwalia, Thai Chakkri, Thai Dusit, and Thai Chakkraphat. There are 3 styles of formal Thai national costume for men: short-sleeve shirt, long-sleeve shirt, and long-sleeve shirt with breechcloth. The costume is widely used in formal ceremony such as greeting ceremony for official foreign visitors, wedding ceremony, or other auspicious ceremonies. Now a day, they are always used as a bridal gown as well. The formal Thai national costume is valuable art that shows Thai identity and, should be preserved for the next generation.
Abstract: Sustainable tall buildings that provide comfortable,
healthy and efficient indoor environments are clearly desirable as the
densification of living and working space for the world’s increasing
population proceeds. For environmental concerns, these buildings
must also be energy efficient. One component of these tasks is the
provision of indoor air quality and thermal comfort, which can be
enhanced with natural ventilation by the supply of fresh air. Working
spaces can only be naturally ventilated with connections to the
outdoors utilizing operable windows, double facades, ventilation
stacks, balconies, patios, terraces and skygardens. Large amounts of
fresh air can be provided to the indoor spaces without mechanical
air-conditioning systems, which are widely employed in
contemporary tall buildings.
This paper tends to present the concept of natural ventilation for
sustainable tall office buildings in order to achieve healthy and
comfortable working spaces, as well as energy efficient
environments. Initially the historical evolution of ventilation
strategies for tall buildings is presented, beginning with natural
ventilation and continuing with the introduction of mechanical airconditioning
systems. Then the emergence of natural ventilation due
to the health and environmental concerns in tall buildings is handled,
and the strategies for implementing this strategy are revealed. In the
next section, a number of case studies that utilize this strategy are
investigated. Finally, how tall office buildings can benefit from this
strategy is discussed.
Abstract: Compost can influence soil fertility and plant health. At the same time compost can play an important role in the nitrogen cycle and it can influence leaching of mineral nitrogen from soil to underground water.
This paper deals with the influence of compost addition and mineral nitrogen fertilizer on leaching of mineral nitrogen, nitrogen availability in microbial biomass and plant biomass production in the lysimetric experiment. Twenty one lysimeters were filed with topsoil and subsoil collected in the area of protection zone of underground source of drinking water - Březová nad Svitavou. The highest leaching of mineral nitrogen was detected in the variant fertilized only mineral nitrogen fertilizer (624.58 mg m-2), the lowest leaching was recorded in the variant with high addition of compost (315.51 mg m-2). On the other hand, losses of mineral nitrogen are not in connection with the losses of available form of nitrogen in microbial biomass. Because lost of mineral nitrogen was detected in variant with the least change in the availability of N in microbial biomass.
The leaching of mineral nitrogen, yields as well as the results concerning nitrogen availability from the first year of long term experiment suggest that compost can positive influence the leaching of nitrogen into underground water.
Abstract: This paper presents a neural network based model predictive control (MPC) strategy to control a strongly exothermic reaction with complicated nonlinear kinetics given by Chylla-Haase polymerization reactor that requires a very precise temperature control to maintain product uniformity. In the benchmark scenario, the operation of the reactor must be guaranteed under various disturbing influences, e.g., changing ambient temperatures or impurity of the monomer. Such a process usually controlled by conventional cascade control, it provides a robust operation, but often lacks accuracy concerning the required strict temperature tolerances. The predictive control strategy based on the RBF neural model is applied to solve this problem to achieve set-point tracking of the reactor temperature against disturbances. The result shows that the RBF based model predictive control gives reliable result in the presence of some disturbances and keeps the reactor temperature within a tight tolerance range around the desired reaction temperature.
Abstract: This research aims to study tourism data and behavior
of foreign tourists visited Wat Phrachetuponwimolmangkalaram (Wat
Po) Sample groups are tourists who visited inside the temple, during
February, March, April and May 2013. Tools used in the research are
questionnaires constructed by the researcher, and samples are dawn
by Convenience sampling. There are 207 foreign tourists who are
willing to be respondents. Statistics used are percentage, average
mean and standard deviation.
The results of the research reveal that:
A. General Data of Respondents
The foreign tourists who visited the temple are mostly female
(57.5 %), most respondents are aged between 20-29 years (37.2%).
Most respondents live in Europe (62.3%), most of them got the
Bachelor’s degree (40.1%), British are mostly found (16.4%),
respondents who are students are also found (23.2%), and Christian
are mostly found (60.9%).
B. Tourists’ Behavior While Visiting the Temple Compound.
The result shows that the respondents came with family (46.4%),
have never visited the temples (40.6%), and visited once (42 %). It is
found that the foreign tourists’ inappropriate behavior are wearing
revealing attires (58.9%), touching or getting closed to the monks
(55.1%), and speaking loudly (46.9%) respectively.
The respondents’ outstanding objectives are to visit inside the
temple (57.5%), to pay respect to the Reclining Buddha Image in the
Viharn (44.4%) and to worship the Buddha image in the Phra Ubosod
(37.7%) respectively.
C. The Respondents’ Self-evaluation of Performance
It is found that over all tourists evaluated themselves in the highest
level averaged 4.40. When focusing on each item, it is shown that
they evaluated themselves in the highest level on obeying the temple
staff averaged 4.57, and cleanness concern of the temple averaged
4.52, well-behaved performance during the temple visit averaged
4.47 respectively.
Abstract: As a developing country, The Kingdom of Saudi Arabia (KSA) needs to make the best possible use of its workforce for social and economic reasons. The workforce is diverse, calling for appropriate diversity management (DM). The thesis focuses on the banking sector in KSA. To date, there have been no studies on DM in the banking sector in this country. Many organizations have introduced specific policies and programmes to improve the recruitment, inclusion, promotion, and retention of diverse employees, in addition to the legal requirements existing in many countries. However, Western-centric models of DM may not be applicable, at least not in their entirety, in other regions.
The aim of the study is to devise a framework for understanding gender, age and disability DM in the banking sector in KSA in order to enhance DM in this sector. A sample of 24 managers, 2 from each of the 12 banks, was interviewed to obtain their views on DM in the banking sector in KSA. Thematic analysis was used to analyze the data. These themes were used to develop the questionnaire, which was administered to 10 managers in each of the 12 banks. After analysis of these data, and completion of the study, the research will make a theoretical contribution to the knowledge on DM and a practical contribution to the management of diversity in Saudi banks. This paper concerns a work in progress.
Abstract: With the advances in information and communications technology, mobile context-aware applications have become powerful marketing tools. In Apple online store, there are numerous mobile applications (APPs) developed for destination tour. This study investigated the determinants of adoption of context-aware APPs for destination tour services. A model is proposed based on Technology Acceptance Model and privacy concern theory. The model was empirically tested based on a sample of 259 users of a tourism APP published by Kaohsiung Tourism Bureau, Taiwan. The results showed that the fitness of the model is well and, among all the factors, the perceived usefulness and perceived ease of use have the most significant influences on the intention to adopt context-aware destination APPs. Finally, contrary to the findings of previous literature, the effect of privacy concern on the adoption intention of context-aware APP is insignificant.
Abstract: This paper is concerned with minimization of mean
tardiness and flow time in a real single machine production
scheduling problem. Two variants of genetic algorithm as metaheuristic
are combined with hyper-heuristic approach are proposed to
solve this problem. These methods are used to solve instances
generated with real world data from a company. Encouraging results
are reported.