Abstract: In this paper test generation methods and appropriate fault models for testing and analysis of embedded systems described as (extended) finite state machines ((E)FSMs) are presented. Compared to simple FSMs, EFSMs specify not only the control flow but also the data flow. Thus, we define a two-level fault model to cover both aspects. The goal of this paper is to reuse well-known FSM-based test generation methods for automation of embedded system testing. These methods have been widely used in testing and validation of protocols and communicating systems. In particular, (E)FSMs-based specification and testing is more advantageous because (E)FSMs support the formal semantic of already standardised formal description techniques (FDTs) despite of their popularity in the design of hardware and software systems.
Abstract: Development of knowledge based society carries multiple challenges to the higher education system. Some of the challenges laid before the higher education sector of countries which aspire to become knowledge based societies are: the entrepreneurial leadership of the higher education institutions, finding new sources of financing in order to minimize dependence on public resources, creating connections with the labor market, commercial utilization of R&D results, promotion of innovations as well as the overall promotion of science excellence relevant to the economic sector. Within a framework of this paper and its main subject of research, the challenge which is being put before the higher education institutions is an effort of establishing regional mission of higher education through the open collaboration with regional key factors, both private and public. Development of the mentioned collaboration and its contribution to the overall regional development in Croatia is the main subject of empirical research in this paper.
Abstract: In this work, biohydrogen production via dark
fermentation from alcohol wastewater using upflow anaerobic sludge
blanket reactors (UASB) with a working volume of 4 L was
investigated to find the optimum conditions for a maximum hydrogen
yield. The system was operated at different COD loading rates (23,
31, 46 and 62 kg/m3d) at mesophilic temperature (37 ºC) and pH 5.5.
The seed sludge was pretreated before being fed to the UASB system
by boiling at 95 ºC for 15 min. When the system was operated under
the optimum COD loading rate of 46 kg/m3d, it provided the
hydrogen content of 27%, hydrogen yield of 125.1 ml H2/g COD
removed and 95.1 ml H2/g COD applied, hydrogen production rate of
18 l/d, specific hydrogen production rate of 1080 ml H2/g MLVSS d
and 1430 ml H2/ L d, and COD removal of 24%.
Abstract: Cements, which are intrinsically brittle materials, can
exhibit a degree of pseudo-ductility when reinforced with a sufficient
volume fraction of a fibrous phase. This class of materials, called
Engineered Cement Composites (ECC) has the potential to be used in
future tunneling applications where a level of pseudo-ductility is
required to avoid brittle failures. However uncertainties remain
regarding mechanical performance. Previous work has focused on
comparatively thin specimens; however for future civil engineering
applications, it is imperative that the behavior in tension of thicker
specimens is understood. In the present work, specimens containing
cement powder and admixtures have been manufactured following
two different processes and tested in tension. Multiple matrix
cracking has been observed during tensile testing, leading to a
“strain-hardening" behavior, confirming the possible suitability of
ECC material when used as thick sections (greater than 50mm) in
tunneling applications.
Abstract: Quality control is the crucial step for ISO 9001
Quality System Management Standard for companies. While
measuring the quality level of both raw material and semi
product/product, the calibration of the measuring device is an
essential requirement. Calibration suppliers are in the service sector
and therefore the calibration supplier selection is becoming a worthy
topic for improving service quality.
This study presents the results of a questionnaire about the
selection criteria of a calibration supplier. The questionnaire was
applied to 103 companies and the results are discussed in this paper.
The analysis was made with MINITAB 14.0 statistical programs.
“Competence of documentations" and “technical capability" are
defined as the prerequisites because of the ISO/IEC17025:2005
standard. Also “warranties and complaint policy", “communication",
“service features", “quality" and “performance history" are defined as
very important criteria for calibration supplier selection.
Abstract: In this investigation, the antibacterial effects of
ethanolic and 7:3 isopropyl –hexane mixture extracts of Zingiber
officinale were evaluated against three Gram positive bacteria, B.
cereus, S.epidermidis, S. aureus and three Gram negative bacteria, E.
coli, K.pneumonia and P.areuginosa. Utilizing paper disk diffusion
and well methods in-vitro, MIC and MBC were determined by
macrodilution. The results showed that ethanolic rhizome extract of
ginger had significantly active than Isopropyl –hexan extract. Further
work needs to be done in these extracts including fractionation to
isolate active constituents and subsequent pharmacological
evaluation.
Abstract: An effective method for the early detection of breast
cancer is the mammographic screening. One of the most important
signs of early breast cancer is the presence of microcalcifications. For
the detection of microcalcification in a mammography image, we
propose to conceive a multiagent system based on a dual irregular
pyramid.
An initial segmentation is obtained by an incremental approach;
the result represents level zero of the pyramid. The edge information
obtained by application of the Canny filter is taken into account to
affine the segmentation. The edge-agents and region-agents cooper
level by level of the pyramid by exploiting its various characteristics
to provide the segmentation process convergence.
Abstract: The wavelet transform is one of the most important
method used in signal processing. In this study, we have introduced
frequency-energy characteristics of local earthquakes using discrete
wavelet transform. Frequency-energy characteristic was analyzed
depend on difference between P and S wave arrival time and noise
within records. We have found that local earthquakes have similar
characteristics. If frequency-energy characteristics can be found
accurately, this gives us a hint to calculate P and S wave arrival time.
It can be seen that wavelet transform provides successful
approximation for this. In this study, 100 earthquakes with 500
records were analyzed approximately.
Abstract: Well-developed strategic marketing planning is the essential
prerequisite for establishment of the right and unique competitive
advantage. Typical market, however, is a heterogeneous
and decentralized structure with natural involvement of individual
or group subjectivity and irrationality. These features cannot be
fully expressed with one-shot rigorous formal models based on,
e.g. mathematics, statistics or empirical formulas. We present an
innovative solution, extending the domain of agent based computational
economics towards the concept of hybrid modeling in service
provider and consumer market such as telecommunications. The
behavior of the market is described by two classes of agents -
consumer and service provider agents - whose internal dynamics
are fundamentally different. Customers are rather free multi-state
structures, adjusting behavior and preferences quickly in accordance
with time and changing environment. Producers, on the contrary,
are traditionally structured companies with comparable internal processes
and specific managerial policies. Their business momentum is
higher and immediate reaction possibilities limited. This limitation
underlines importance of proper strategic planning as the main
process advising managers in time whether to continue with more
or less the same business or whether to consider the need for future
structural changes that would ensure retention of existing customers
or acquisition of new ones.
Abstract: Climate change and environmental pressures are
major international issues nowadays. It is time when governments,
businesses and consumers have to respond through more
environmentally friendly and aware practices, products and policies.
This is the prime time to develop alternative sustainable construction
materials, reduce greenhouse gas emissions, save energy, look to
renewable energy sources and recycled materials, and reduce waste.
The utilization of waste materials (slag, fly ash, glass beads, plastic
and so on) in concrete manufacturing is significant due to its
engineering, financial, environmental and ecological benefits. Thus,
utilization of waste materials in concrete production is very much
helpful to reach the goal of the sustainable construction. Therefore,
this study intends to use glass beads in concrete production.
The paper reports on the performance of 9 different concrete
mixes containing different ratios of glass crushed to 5 mm - 20 mm
maximum size and glass marble of 20 mm size as coarse aggregate.
Ordinary Portland cement type 1 and fine sand less than 0.5 mm were
used to produce standard concrete cylinders. Compressive strength
tests were carried out on concrete specimens at various ages. Test
results indicated that the mix having the balanced ratio of glass beads
and round marbles possess maximum compressive strength which is
3889 psi, as glass beads perform better in bond formation but have
lower strength, on the other hand marbles are strong in themselves
but not good in bonding. These mixes were prepared following a
specific W/C and aggregate ratio; more strength can be expected to
achieve from different W/C, aggregate ratios, adding admixtures like
strength increasing agents, ASR inhibitor agents etc.
Abstract: The Marangoni convective instability in a horizontal
fluid layer with the insoluble surfactant and nondeformable free
surface is investigated. The surface tension at the free surface is
linearly dependent on the temperature and concentration gradients.
At the bottom surface, the temperature conditions of uniform
temperature and uniform heat flux are considered. By linear stability
theory, the exact analytical solutions for the steady Marangoni
convection are derived and the marginal curves are plotted. The
effects of surfactant or elasticity number, Lewis number and Biot
number on the marginal Marangoni instability are assessed. The
surfactant concentration gradients and the heat transfer mechanism at
the free surface have stabilizing effects while the Lewis number
destabilizes fluid system. The fluid system with uniform temperature
condition at the bottom boundary is more stable than the fluid layer
that is subjected to uniform heat flux at the bottom boundary.
Abstract: Importance of strategic planning is unquestionable. However, the practical implementation of a strategic plan faces too many obstacles. The aim of the article is explained the importance of strategic planning and to find how companies in Moravian-Silesian Region deal with strategic planning, and to introduce the model, which helps to set strategic goals in financial indicators area. This model should be part of the whole process of strategic planning and can be use to predict the future values of financial indicators of the company with regard to the factor, which influence these indicators.
Abstract: In this article, some methods are mentioned for developing the theatrical language by giving information of “theatrical language" since the arising of the language in obsolete terms, and today, and also by examining the problems. Being able to talk meaningfully in the theater stage is a skillful art. Maybe, to be able to convey the idea of the poet, his/her world outlook and his/her feelings from the bottom of the heart as such, also conveying the speech norms without breaking them to the ear of audience in a fascinating way in adverse of a repellent way is the most difficult one. Because of this, “the word is the mirror of the idea". The importance of the theatrical language should not be perceived as only a post, it is “as the yarn that the culture carpet is weaved from". Thereby, it is a tool which transposes our culture and our life style from generation to generation. At the time of creativeness, the “word" comes out from the poet, “the word and feeling" art comes out from the actor. If it was not so, the audience could read the texts of the work himself/herself instead of going to the theater in order to see the performance. The fundamental works by the Turkish, Kazakh and English scientists have been taken as a basis for the research done.
Abstract: This paper presents a subjective job scheduler based
on a 3-layer Backpropagation Neural Network (BPNN) and a greedy
alignment procedure in order formulates a real-life situation. The
BPNN estimates critical values of jobs based on the given subjective
criteria. The scheduler is formulated in such a way that, at each time
period, the most critical job is selected from the job queue and is
transferred into a single machine before the next periodic job arrives.
If the selected job is one of the oldest jobs in the queue and its
deadline is less than that of the arrival time of the current job, then
there is an update of the deadline of the job is assigned in order to
prevent the critical job from its elimination. The proposed
satisfiability criteria indicates that the satisfaction of the scheduler
with respect to performance of the BPNN, validity of the jobs and the
feasibility of the scheduler.
Abstract: In this paper we propose a new content-weighted
method for full reference (FR) video quality control using a region of
interest (ROI) and wherein two-component weighted metrics for Deaf
People Video Communication. In our approach, an image is
partitioned into region of interest and into region "dry-as-dust", then
region of interest is partitioned into two parts: edges and background
(smooth regions), while the another methods (metrics) combined and
weighted three or more parts as edges, edges errors, texture, smooth
regions, blur, block distance etc. as we proposed. Using another idea
that different image regions from deaf people video communication
have different perceptual significance relative to quality. Intensity
edges certainly contain considerable image information and are
perceptually significant.
Abstract: This paper presents data annotation models at
five levels of granularity (database, relation, column, tuple, and cell) of relational data to address the problem of unsuitability of most relational databases to express annotations. These models
do not require any structural and schematic changes to the
underlying database. These models are also flexible, extensible,
customizable, database-neutral, and platform-independent. This paper also presents an SQL-like query language, named Annotation Query Language (AnQL), to query annotation documents. AnQL is simple to understand and exploits the already-existent wide knowledge and skill set of SQL.
Abstract: Utilization of waste material in asphalt pavement
would be beneficial in order to find an alternative solution to increase
service life of asphalt pavement and reduce environmental pollution
as well. One of these waste materials is Polyethylene Terephthalate
(PET) which is a type of polyester material and is produced in a large
extent. This research program is investigating the effects of adding
waste PET particles into the asphalt mixture with a maximum size of
2.36 mm. Different percentages of PET were added into the mixture
during dry process. Gap-graded mixture (SMA 14) and PG 80-100
asphalt binder have been used for this study. To evaluate PET
reinforced asphalt mixture different laboratory investigations have
been conducted on specimens. Marshall Stability test was carried
out. Besides, stiffness modulus test and indirect tensile fatigue test
were conducted on specimens at optimum asphalt content. It was
observed that in many cases PET reinforced SMA mixture had better
mechanical properties in comparison with control mixture.
Abstract: In this work a visual and reactive contour following
behaviour is learned by reinforcement. With artificial vision the
environment is perceived in 3D, and it is possible to avoid obstacles
that are invisible to other sensors that are more common in mobile
robotics. Reinforcement learning reduces the need for intervention in
behaviour design, and simplifies its adjustment to the environment,
the robot and the task. In order to facilitate its generalisation to other
behaviours and to reduce the role of the designer, we propose a
regular image-based codification of states. Even though this is much
more difficult, our implementation converges and is robust. Results
are presented with a Pioneer 2 AT on a Gazebo 3D simulator.
Abstract: A new hybrid method to realise high-precision
distortion determination for optical ultra-precision 3D measurement
systems based on stereo cameras using active light projection is
introduced. It consists of two phases: the basic distortion
determination and the refinement. The refinement phase of the
procedure uses a plane surface and projected fringe patterns as
calibration tools to determine simultaneously the distortion of both
cameras within an iterative procedure. The new technique may be
performed in the state of the device “ready for measurement" which
avoids errors by a later adjustment. A considerable reduction of
distortion errors is achieved and leads to considerable improvements
of the accuracy of 3D measurements, especially in the precise
measurement of smooth surfaces.
Abstract: The trend in the world of Information Technology
(IT) is getting increasingly large and difficult projects rather than
smaller and easier. However, the data on large-scale IT project
success rates provide cause for concern. This paper seeks to answer
why large-scale IT projects are different from and more difficult than
other typical engineering projects. Drawing on the industrial
experience, a compilation of the conditions that influence failure is
presented. With a view to improve success rates solutions are
suggested.