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: The database reverse engineering problems and
solving processes are getting mature, even though, the academic
community is facing the complex problem of knowledge transfer,
both in university and industrial contexts. This paper presents a new
CASE tool developed at the University of Jordan which addresses an
efficient support of this transfer, namely UJ-CASE-TOOL. It is a
small and self-contained application exhibiting representative
problems and appropriate solutions that can be understood in a
limited time. It presents an algorithm that describes the developed
academic CASE tool which has been used for several years both as
an illustration of the principles of database reverse engineering and
as an exercise aimed at academic and industrial students.
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: Data mining techniques have been used in medical
research for many years and have been known to be effective. In order
to solve such problems as long-waiting time, congestion, and delayed
patient care, faced by emergency departments, this study concentrates
on building a hybrid methodology, combining data mining techniques
such as association rules and classification trees. The methodology is
applied to real-world emergency data collected from a hospital and is
evaluated by comparing with other techniques. The methodology is
expected to help physicians to make a faster and more accurate
classification of chest pain diseases.
Abstract: With the rapid development of wireless mobile communication, applications for mobile devices must focus on network security. In 2008, Chang-Chang proposed security improvements on the Lu et al.-s elliptic curve authentication key agreement protocol for wireless mobile networks. However, this paper shows that Chang- Chang-s improved protocol is still vulnerable to off-line password guessing attacks unlike their claims.
Abstract: Dew harvesting needs only weak investment and
exploits a free, clean and inexhaustible energy. This study aims to
measure the relative contributions of dew and rain water in the
Mediterranean Dalmatian coast and islands of Croatia and determine
whether dew water is potable. Two sites were chosen, an open site on
the coast favourable to dew formation (Zadar) and a less favourable
site in a circus of mountains in Komiža (Vis Island). Between July
1st, 2003 and October 31st, 2006, dew hasbeen daily collected on a 1
m2 tilted (30°) test dew condenser together with ordinary
meteorological data (air temperature and relative humidity, cloud
coverage, windspeed and direction). The mean yearly cumulative
dew yields were found to be 20 mm (Zadar) and 9.3 mm (Komiža ).
During the dry season (May to October), monthly cumulative dew
water yield can represent up to 38% of water collected by rain fall. In
July 2003 and 2006, dew water represented about 120% of the
monthly cumulative rain water. Dew and rain water were analyzed in
Zadar. The corresponding parameters were measured: pH, electrical
conductivity, major anions (HCO3
-, Cl-, SO4
2-
, NO3
-
, ,) and major
cations (NH4
+, Na+, K+, Ca2+, Mg2+. Both dew and rain water are in
conformity with the WHO directives for potability except Mg2+.
Using existing roofs and refurbishing the abandoned impluviums to
permit dew collection could then provide a useful supplementary
amount of water, especially during the dry season.
Abstract: Number of documents being created increases at an
increasing pace while most of them being in already known topics
and little of them introducing new concepts. This fact has started a
new era in information retrieval discipline where the requirements
have their own specialties. That is digging into topics and concepts
and finding out subtopics or relations between topics. Up to now IR
researches were interested in retrieving documents about a general
topic or clustering documents under generic subjects. However these
conventional approaches can-t go deep into content of documents
which makes it difficult for people to reach to right documents they
were searching. So we need new ways of mining document sets
where the critic point is to know much about the contents of the
documents. As a solution we are proposing to enhance LSI, one of
the proven IR techniques by supporting its vector space with n-gram
forms of words. Positive results we have obtained are shown in two
different application area of IR domain; querying a document
database, clustering documents in the document database.
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: Mobile Ad Hoc Networks (MANETs) are multi-hop
wireless networks in which all nodes cooperatively maintain network
connectivity. In such a multi-hop wireless network, every node may
be required to perform routing in order to achieve end-to-end
communication among nodes. These networks are energy constrained
as most ad hoc mobile nodes today operate with limited battery
power. Hence, it is important to minimize the energy consumption of
the entire network in order to maximize the lifetime of ad hoc
networks. In this paper, a mechanism involving the integration of
load balancing approach and transmission power control approach is
introduced to maximize the life-span of MANETs. The mechanism is
applied on Ad hoc On-demand Vector (AODV) protocol to make it
as energy aware AODV (EA_AODV). The simulation is carried out
using GloMoSim2.03 simulator. The results show that the proposed
mechanism reduces the average required transmission energy per
packet compared to the standard AODV.
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: The flow filed around a flatted-roof compound has
been investigated by means of 2D and 3D numerical simulations. A
constant wind velocity profile, based both on the maximum reference
wind speed in the building site (peak gust speed worked out for a 50-
year return period) and on the local roughness coefficient, has been
simulated in order to determine the wind-induced loads on top of the
roof. After determining the influence of the incoming wind directions
on the induced roof loads, a 2D analysis of the most severe load
condition has been performed, achieving a numerical quantification
of the expected wind-induced forces on the PV panels on top of the
roof.
Abstract: Professional development is the focus of this study. It
reports on questionnaire data that examined the perceived
effectiveness of the Train the Trainer model of technology
professional development for elementary teachers. Eighty-three
selected teachers called Information Technology Coaches received
four half-day and one after-school in-service sessions. Subsequently,
coaches shared the information and skills acquired during training
with colleagues. Results indicated that participants felt comfortable
as Information Technology Coaches and felt well prepared because
of their technological professional development. Overall, participants
perceived the Train the Trainer model to be effective. The outcomes
of this study suggest that the use of the Train the Trainer model, a
known professional development model, can be an integral and
interdependent component of the newer more comprehensive
learning community professional development model.
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: Recently, analysis and designing of the structures
based on the Reliability theory have been the center of attention.
Reason of this attention is the existence of the natural and random
structural parameters such as the material specification, external
loads, geometric dimensions etc. By means of the Reliability theory,
uncertainties resulted from the statistical nature of the structural
parameters can be changed into the mathematical equations and the
safety and operational considerations can be considered in the
designing process. According to this theory, it is possible to study the
destruction probability of not only a specific element but also the
entire system. Therefore, after being assured of safety of every
element, their reciprocal effects on the safety of the entire system can
be investigated.
Abstract: Recent changes in food retailing structure have led to the development of large supercenters in suburban areas of the United States. These changes have led some authors to suggest that there are food deserts in some urban areas, where food is difficult to access, especially for disadvantaged consumers. This study tests the food desert hypothesis by comparing the distance from food retailers to food secure and food insecure households in one urban, Midwest neighborhood. This study utilizes GIS to compare household survey respondent locations against the location of various types of area food retailers. Results of this study indicate no apparent difference between food secure and insecure households in the reported importance of distance on the decision to shop at various retailers. However, there were differences in the spatial relationship between households and retailers. Food insecure households tended to be located slightly farther from large food retailers and slightly closer to convenience stores. Furthermore, food insecure households reported traveling slightly farther to their primary food retailer. The differences between the two groups was, however, relatively small.
Abstract: Functioning of a biometric system in large part
depends on the performance of the similarity measure function.
Frequently a generalized similarity distance measure function such as
Euclidian distance or Mahalanobis distance is applied to the task of
matching biometric feature vectors. However, often accuracy of a
biometric system can be greatly improved by designing a customized
matching algorithm optimized for a particular biometric application.
In this paper we propose a tailored similarity measure function for
behavioral biometric systems based on the expert knowledge of the
feature level data in the domain. We compare performance of a
proposed matching algorithm to that of other well known similarity
distance functions and demonstrate its superiority with respect to the
chosen domain.
Abstract: Logic based methods for learning from structured data
is limited w.r.t. handling large search spaces, preventing large-sized
substructures from being considered by the resulting classifiers. A
novel approach to learning from structured data is introduced that
employs a structure transformation method, called finger printing, for
addressing these limitations. The method, which generates features
corresponding to arbitrarily complex substructures, is implemented in
a system, called DIFFER. The method is demonstrated to perform
comparably to an existing state-of-art method on some benchmark
data sets without requiring restrictions on the search space.
Furthermore, learning from the union of features generated by finger
printing and the previous method outperforms learning from each
individual set of features on all benchmark data sets, demonstrating
the benefit of developing complementary, rather than competing,
methods for structure classification.
Abstract: Modern culture, based on disinhibition of cultural trends and on heterodirection, is promoting openmindedness attitudes towards ethnic diversity, but on the other hand also new forms of social representations of the foreigner. Social representation is situated between the psychic field and the social one; it is the representation of oneself and of the other one, hanging between social categories and individual inner world. We will produce the results of a research on the representation of the foreigner, built on the type of prejudice prevailing among middle-low or middle-high educational qualification subjects, in which prejudicial attitudes seem to descend from precise mental images of the foreigner.
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: There are a many of needs for the development of
SiC-based hydrogen sensor for harsh environment applications. We
fabricated and investigated Pd/Ta2O5/SiC-based hydrogen sensors
with MOS capacitor structure for high temperature process monitoring
and leak detection applications in such automotive, chemical and
petroleum industries as well as direct monitoring of combustion
processes. In this work, we used silicon carbide (SiC) as a substrate to
replace silicon which operating temperatures are limited to below
200°C. Tantalum oxide was investigated as dielectric layer which has
high permeability for hydrogen gas and high dielectric permittivity,
compared with silicon dioxide or silicon nitride. Then, electrical
response properties, such as I-V curve and dependence of capacitance
on hydrogen concentrations were analyzed in the temperature ranges
of room temperature to 500°C for performance evaluation of the
sensor.