Abstract: Software maintenance, which involves making enhancements, modifications and corrections to existing software systems, consumes more than half of developer time. Specification comprehensibility plays an important role in software maintenance as it permits the understanding of the system properties more easily and quickly. The use of formal notation such as B increases a specification-s precision and consistency. However, the notation is regarded as being difficult to comprehend. Semi-formal notation such as the Unified Modelling Language (UML) is perceived as more accessible but it lacks formality. Perhaps by combining both notations could produce a specification that is not only accurate and consistent but also accessible to users. This paper presents an experiment conducted on a model that integrates the use of both UML and B notations, namely UML-B, versus a B model alone. The objective of the experiment was to evaluate the comprehensibility of a UML-B model compared to a traditional B model. The measurement used in the experiment focused on the efficiency in performing the comprehension tasks. The experiment employed a cross-over design and was conducted on forty-one subjects, including undergraduate and masters students. The results show that the notation used in the UML-B model is more comprehensible than the B model.
Abstract: This study was conducted to investigate the efficacy
of five herbicides on narrow leaved weeds and growth and yield of
wheat. An experiment was conducted at Agronomic Research
Farm, University of Agriculture Faisalabad. The experiment was
laid out in randomized complete block designee (RCBD) with three
replications. Treatments studied were clodinafop (Topic-15 WG) at
37 g a.i. ha-1, clodinafop (Topaz-15 WG) at 45 g a.i. ha-1,
fenoxaprop-p-ethyl (Puma Super-75 EW) at 45 g a.i. ha-1,
fenoxaprop-p-ethyl (Gramicide-6.9 EW) at 85 g a.i. ha-1,
fenoxaprop-p-ethyl (Chinlima-6.9 EW) at 85 g a.i. ha-1 and weedy
check. Plots treated with fenoxaprop-p-ethyl (Puma Super-75 EW)
at 45 g a.i. ha-1 produced relatively less weed biomass, more plant
height, number of spike bearing tillers, number of grains per spike,
1000-grain weight and grain yield (4.20 t ha-1).
Abstract: The paper presents the case study of hazard
identification and sensitivity of potential resource of emergency
water supply as part of the application of methodology classifying
the resources of drinking water for emergency supply of population.
The case study has been carried out on a selected resource of
emergency water supply in one region of the Czech Republic. The
hazard identification and sensitivity of potential resource of
emergency water supply is based on a unique procedure and
developed general registers of selected types of hazards and
sensitivities. The registers have been developed with the help of the
“Fault Tree Analysis” method in combination with the “What if
method”. The identified hazards for the assessed resource include
hailstorms and torrential rains, drought, soil erosion, accidents of
farm machinery, and agricultural production. The developed registers
of hazards and vulnerabilities and a semi-quantitative assessment of
hazards for individual parts of hydrological structure and
technological elements of presented drilled wells are the basis for a
semi-quantitative risk assessment of potential resource of emergency
supply of population and the subsequent classification of such
resource within the system of crisis planning.
Abstract: We summarize information that facilitates choosing an ontology language for knowledge intensive applications. This paper is a short version of the ontology language state-of-the-art and evolution analysis carried out for choosing an ontology language in the IST Esperonto project. At first, we analyze changes and evolution that took place in the filed of Semantic Web languages during the last years, in particular, around the ontology languages of the RDF/S and OWL family. Second, we present current trends in development of Semantic Web languages, in particular, rule support extensions for Semantic Web languages and emerging ontology languages such as WSMO languages.
Abstract: In this paper, an extended method of the directionally constrained minimization of power (DCMP) algorithm for broadband signals is proposed. The DCMP algorithm is one of the useful techniques of extracting a target signal from observed signals of a microphone array system. In the DCMP algorithm, output power of the microphone array is minimized under a constraint of constant responses to directions of arrival (DOAs) of specific signals. In our algorithm, by limiting the directional constraint to the perpendicular direction to the sensor array system, the calculating time is reduced.
Abstract: Cassava is one of the top five crops in Cameroon. Its
evolution has remained constant since the independence period and
the production has more than tripled. It is a crop with multiple
industrial capacities but the sector-s business opportunities are
underexploited. Using Strengths, Weaknesses, Opportunities and
Threats analysis method, this paper examines the cassava actual state.
It appraises the sector-s strengths (S), considers suitable measures to
strengthen weaknesses (W), evaluates strategies to fully benefit from
the sector numerous business opportunities (O) and explore means to
convert threats (T) into opportunities. Data were collected from the
ministry of agriculture and rural development and different actors.
The results show that cassava sector embodies many business
opportunities and stands as a raw material provider for many
industries but ultimately requires challenges to be tackled
appropriately.
Abstract: In determining the electromagnetic properties of
magnetic materials, hysteresis modeling is of high importance. Many
models are available to investigate those characteristics but they tend
to be complex and difficult to implement. In this paper a new
qualitative hysteresis model for ferromagnetic core is presented,
based on the function approximation capabilities of adaptive neuro
fuzzy inference system (ANFIS). The proposed ANFIS model
combined the neural network adaptive capabilities and the fuzzy
logic qualitative approach can restored the hysteresis curve with a
little RMS error. The model accuracy is good and can be easily
adapted to the requirements of the application by extending or
reducing the network training set and thus the required amount of
measurement data.
Abstract: The use of e-business in small and medium-sized
enterprises (SMEs) has been recently received an enormous attention
in information systems research by both academic and practitioners.
With the adoption of new and efficient technologies to enhance
businesses, Thai SMEs should be able to compete worldwide.
Unfortunately, most of the owners are not used to new technologies.
It is clear that most Thai SMEs prefer to work manually rather than
electronically. This paper aims to provide a fundamental conceptual
framework for E-business adoption by Thai SMEs. Rooted in
Knowledge transfer model, several factors are identified, which drive
and enable e-business adoption. By overlooking the benefits
associated with implementing new technologies, it is difficult for
Thai SMEs to perform well enough to compete globally. The paper
also helps Thai SMEs to understand factors related to E-business
adoption.
Abstract: One major difficulty that faces developers of
concurrent and distributed software is analysis for concurrency based
faults like deadlocks. Petri nets are used extensively in the
verification of correctness of concurrent programs. ECATNets are a
category of algebraic Petri nets based on a sound combination of
algebraic abstract types and high-level Petri nets. ECATNets have
'sound' and 'complete' semantics because of their integration in
rewriting logic and its programming language Maude. Rewriting
logic is considered as one of very powerful logics in terms of
description, verification and programming of concurrent systems We
proposed previously a method for translating Ada-95 tasking
programs to ECATNets formalism (Ada-ECATNet) and we showed
that ECATNets formalism provides a more compact translation for
Ada programs compared to the other approaches based on simple
Petri nets or Colored Petri nets. We showed also previously how the
ECATNet formalism offers to Ada many validation and verification
tools like simulation, Model Checking, accessibility analysis and
static analysis. In this paper, we describe the implementation of our
translation of the Ada programs into ECATNets.
Abstract: In this study the elastic-plastic stress distribution in
weld-bonded joint, fabricated from austenitic stainless steel (AISI
304) sheet of 1.00 mm thickness and Epoxy adhesive Araldite 2011,
subjected to axial loading is investigated. This is needed to improve
design procedures and welding codes, and saving efforts in the
cumbersome experiments and analysis. Therefore, a complete 3-D
finite element modelling and analysis of spot welded, bonded and
weld-bonded joints under axial loading conditions is carried out. A
comprehensive systematic experimental program is conducted to
determine many properties and quantities, of the base metals and the
adhesive, needed for FE modelling, such like the elastic – plastic
properties, modulus of elasticity, fracture limit, the nugget and heat
affected zones (HAZ) properties, etc. Consequently, the finite
element models developed, for each case, are used to evaluate
stresses distributions across the entire joint, in both the elastic and
plastic regions. The stress distribution curves are obtained,
particularly in the elastic regions and found to be consistent and in
excellent agreement with the published data. Furthermore, the
stresses distributions are obtained in the weld-bonded joint and
display the best results with almost uniform smooth distribution
compared to spot and bonded cases. The stress concentration peaks at
the edges of the weld-bonded region, are almost eliminated resulting
in achieving the strongest joint of all processes.
Abstract: Evolvable hardware (EHW) refers to a selfreconfiguration
hardware design, where the configuration is under
the control of an evolutionary algorithm (EA). A lot of research has
been done in this area several different EA have been introduced.
Every time a specific EA is chosen for solving a particular problem,
all its components, such as population size, initialization, selection
mechanism, mutation rate, and genetic operators, should be selected
in order to achieve the best results. In the last three decade a lot of
research has been carried out in order to identify the best parameters
for the EA-s components for different “test-problems". However
different researchers propose different solutions. In this paper the
behaviour of mutation rate on (1+λ) evolution strategy (ES) for
designing logic circuits, which has not been done before, has been
deeply analyzed. The mutation rate for an EHW system modifies
values of the logic cell inputs, the cell type (for example from AND
to NOR) and the circuit output. The behaviour of the mutation has
been analyzed based on the number of generations, genotype
redundancy and number of logic gates used for the evolved circuits.
The experimental results found provide the behaviour of the mutation
rate to be used during evolution for the design and optimization of
logic circuits. The researches on the best mutation rate during the last
40 years are also summarized.
Abstract: Recently, the health of retired National Football
League players, particularly lineman has been investigated. A number of studies have reported increased cardiometabolic risk, premature ardiovascular disease and incidence of type 2 diabetes. Rugby union players have somatotypes very similar
to National Football league players which suggest that rugby players may have similar health risks. The International Golden Oldies World Rugby Festival (GORF) provided a
unique opportunity to investigate the demographics of veteran rugby players. METHODOLOGIES: A cross-sectional, observational study was completed using an online web-based
questionnaire that consisted of medical history and
physiological measures. Data analysis was completed using a one sample t-test (50yrs) and Chi-square test. RESULTS: A total of 216 veteran rugby competitors
(response rate = 6.8%) representing 10 countries, aged 35-72 yrs (mean 51.2, S.D. ±8.0), participated in the online survey. As a group, the incidence of current smokers was low at 8.8%
(avg 72.4 cigs/wk) whilst the percentage consuming alcohol
was high (93.1% (avg 11.2 drinks/wk). Competitors reported
the following top six chronic diseases/disorders; hypertension
(18.6%), arthritis (OA/RA, 11.5%), asthma (9.3%),
hyperlipidemia (8.2%), diabetes (all types, 7.5%) and gout (6%), there were significant differences between groups with
regard to cancer (all types) and migraines. When compared to
the Australian general population (Australian Bureau of Statistics data, n=18,000), GORF competitors had a
Climstein Mike, Walsh Joe (corresponding author) and Burke Stephen
School of Exercise Science, Australian Catholic University, 25A Barker Road,
Strathfield, Sydney, NSW, 2016, Australia (e-mail:
[email protected], [email protected],
[email protected]).
John Best is with Orthosports, 160 Belmore Rd., Randwick, Sydney,NSW
2031, Australia (e-mail: [email protected]).
Heazlewood, Ian Timothy is with School of Environmental and Life
Sciences, Faculty Education, Health and Science, Charles Darwin University,
Precinct Yellow Building 2, Charles Darwin University, NT 0909, Australia
(e-mail: [email protected]).
Kettunen Jyrki Arcada University of Applied Sciences, Jan-Magnus
Janssonin aukio 1, FI-00550, Helsinki, Finland (e-mail:
[email protected]).
Adams Kent is with California State University Monterey Bay, Kinesiology Department, 100 Campus Center, Seaside, CA., 93955, USA (email: [email protected]).
DeBeliso Mark is with Department of Physical Education and Human
Performance, Southern Utah University, 351 West University Blvd, Cedar
City, Utah, USA (e-mail: [email protected]).
significantly lower incidence of anxiety (p
Abstract: In this paper, we investigate a class of fuzzy Cohen- Grossberg neural networks with time delays and impulsive effects. By virtue of stochastic analysis, Halanay inequality for stochastic differential equations, we find sufficient conditions for the global exponential square-mean synchronization of the FCGNNs under noise perturbation. In particular, the traditional assumption on the differentiability of the time-varying delays is no longer needed. Finally, a numerical example is given to show the effectiveness of the results in this paper.
Abstract: Antibacterial activity of Plumeria alba (Frangipani)
petals methanolic extracts were evaluated against Escherichia coli,
Proteus vulgaris,Staphylococcus aureus, Klebsiella pneumoniae,
Pseudomonas aeruginosa, Staphylococcus saprophyticus,
Enterococcus faecalis and Serratia marcescens by using disk
diffusion method. Concentration extracts (80 %) showed the highest
inhibition zone towards Escherichia coli (14.3 mm). Frangipani
extract also showed high antibacterial activity against
Staphylococcus saprophyticus, Proteus vulgaris and Serratia
marcescens, but not more than the zones of the positive control used.
Comparison between two broad specrum antibiotics to frangipani
extracts showed that the 80 % concentration extracts produce the
same zone of inhibition as Streptomycin. Frangipani extracts showed
no bacterial activity towards Klebsiella pneumoniae, Pseudomonas
aeruginosa and Enterococcus faecalis. There are differences in the
sensitivity of different bacteria to frangipani extracts, suggesting that
frangipani-s potency varies between these bacteria. The present
results indicate that frangipani showed significant antibacterial
activity especially to Escherichia coli.
Abstract: There is a growing body of evidence to support the
proposition of product take back for remanufacturing particularly
within the context of Extended Producer Responsibility (EPR).
Remanufacturing however presents challenges unlike that of
traditional manufacturing environments due to its high levels of
uncertainty which may further distract organizations from
considering its potential benefits. This paper presents a novel
modeling approach for evaluating the uncertainty of part failures
within the remanufacturing process and its impact on economic and
environmental performance measures. This paper presents both the
theoretical modeling approach and an example of its use in
application.
Abstract: This study deals with the phenomena of reflection and transmission (refraction) of qSV-waves, for an incident of quasi transverse vertically waves, at a plane interface of two semi-infinite piezoelectric elastic media under the influence of the initial stresses. The relations governing the reflection and transmission coefficients of these reflected waves for various suitable boundary conditions are derived. We have shown analytically that reflection and transmission coefficients of (qP) and (qSV) waves depend upon the angle of incidence, the parameters of electric potential, the material constants of the medium as will as the initial stresses presented in the media. The numerical calculations of the reflection and transmission amplitude ratios for different values of initial stresses have been carried out by computer for different materials as examples and the results are given in the form of graphs. Finally, some of particular cases are considered.
Abstract: For maintenance of a spine stability during the
postoperative period a transpedicular fixing of its elements is often
used. Usually the transpedicular systems are formed of rods which as
a result form a design of the frame type, fastening by screws to
vertebras. Such design should be rigid and perceive loadings
operating from the spine without essential deformations. From the
perfection point of view of known designs their stress
whole, and each of elements, in particular is of interest. In this study
the modeling of the transpedicular screw is performed and
estimation of its deformations taking into account interaction with a
vertebra body having variable structure is made.
Abstract: In designing river intakes and diversion structures, it is paramount that the sediments entering the intake are minimized or, if possible, completely separated. Due to high water velocity, sediments can significantly damage hydraulic structures especially when mechanical equipment like pumps and turbines are used. This subsequently results in wasting water, electricity and further costs. Therefore, it is prudent to investigate and analyze the performance of lateral intakes affected by sediment control structures. Laboratory experiments, despite their vast potential and benefits, can face certain limitations and challenges. Some of these include: limitations in equipment and facilities, space constraints, equipment errors including lack of adequate precision or mal-operation, and finally, human error. Research has shown that in order to achieve the ultimate goal of intake structure design – which is to design longlasting and proficient structures – the best combination of sediment control structures (such as sill and submerged vanes) along with parameters that increase their performance (such as diversion angle and location) should be determined. Cost, difficulty of execution and environmental impacts should also be included in evaluating the optimal design. This solution can then be applied to similar problems in the future. Subsequently, the model used to arrive at the optimal design requires high level of accuracy and precision in order to avoid improper design and execution of projects. Process of creating and executing the design should be as comprehensive and applicable as possible. Therefore, it is important that influential parameters and vital criteria is fully understood and applied at all stages of choosing the optimal design. In this article, influential parameters on optimal performance of the intake, advantages and disadvantages, and efficiency of a given design are studied. Then, a multi-criterion decision matrix is utilized to choose the optimal model that can be used to determine the proper parameters in constructing the intake.
Abstract: Today-s economy is in a permanent change, causing
merger and acquisitions and co operations between enterprises. As a
consequence, process adaptations and realignments result in systems
integration and software development projects. Processes and
procedures to execute such projects are still reliant on craftsman-ship
of highly skilled workers. A generally accepted, industrialized
production, characterized by high efficiency and quality, seems
inevitable.
In spite of this, current concepts of software industrialization are
aimed at traditional software engineering and do not consider the
characteristics of systems integration. The present work points out
these particularities and discusses the applicability of existing
industrial concepts in the systems integration domain. Consequently
it defines further areas of research necessary to bring the field of
systems integration closer to an industrialized production, allowing a
higher efficiency, quality and return on investment.
Abstract: Intelligence tests are series of tasks designed to measure the capacity to make abstractions, to learn, and to deal with novel situations. Testing of the visual abilities of the shape understanding system (SUS) is performed based on the visual intelligence tests. In this paper the progressive matrices tests are formulated as tasks given to SUS. These tests require good visual problem solving abilities of the human subject. SUS solves these tests by performing complex visual reasoning transforming the visual forms (tests) into the string forms. The experiment proved that the proposed method, which is part of the SUS visual understanding abilities, can solve a test that is very difficult for human subject.