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: This paper attempts to investigate the factors that influence hotel managers- attitudes towards sustainable tourism practices (STP) in Kuala Lumpur and the state of Selangor in Malaysia. The study distributes 104 questionnaires to hotels ranging from one star to five-star categories including budget hotels. Out of this figure, 60 copies of the questionnaires were returned and analyzed. The finding revealed that of all the seven factors investigated, only the variables measuring incentives and knowledge have significantly influenced sustainable tourism practices in the country. Therefore, government and other green bodies within the country should continue to provide hotels with incentives for sound technologies. Moreover, the government agencies should continue to educate hoteliers on the relevance of environmental protection for the successful implementation of sustainable tourism practices.
Abstract: This paper is devoted to present and discuss a model that allows a local segmentation by using statistical information of a given image. It is based on Chan-Vese model, curve evolution, partial differential equations and binary level sets method. The proposed model uses the piecewise constant approximation of Chan-Vese model to compute Signed Pressure Force (SPF) function, this one attracts the curve to the true object(s)-s boundaries. The implemented model is used to extract weld defects from weld radiographic images in the aim to calculate the perimeter and surfaces of those weld defects; encouraged resultants are obtained on synthetic and real radiographic images.
Abstract: This paper presents a physics-based model for the
high-voltage fast recovery diodes. The model provides a good
trade-off between reverse recovery time and forward voltage drop
realized through a combination of lifetime control and emitter
efficiency reduction techniques. The minority carrier lifetime can be
extracted from the reverse recovery transient response and forward
characteristics. This paper also shows that decreasing the amount of
the excess carriers stored in the drift region will result in softer
characteristics which can be achieved using a lower doping level. The
developed model is verified by experiment and the measurement data
agrees well with the model.
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: We intend to point out the differences which exist
between the classical Gini concentration coefficient and a proposed
bipolarization index defined for an arbitrary random variable which
have a finite support.
In fact Gini's index measures only the "poverty degree" for the
individuals from a given population taking into consideration their
wages. The Gini coefficient is not so sensitive to the significant
income variations in the "rich people class" .
In practice there are multiple interdependent relations between the
pauperization and the socio-economical polarization phenomena. The
presence of a strong pauperization aspect inside the population
induces often a polarization effect in this society. But the
pauperization and the polarization phenomena are not identical. For
this reason it isn't always adequate to use a Gini type coefficient,
based on the Lorenz order, to estimate the bipolarization level of the
individuals from the studied population.
The present paper emphasizes these ideas by considering two
families of random variables which have a linear or a triangular type
distributions. In addition, the continuous variation, depending on the
parameter "time" of the chosen distributions, could simulate a real
dynamical evolution of the population.
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: 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: The possible therapeutic effect of cannabidiol, the major non-psychotropic Cannabis constituent, was investigated against acute hepatotoxicity induced by a single oral dose of acetaminophen (500mg/kg) in mice. Cannabidiol (two intraperitoneal injections, 5mg/kg, each) was given 1 hour and 12 hours following acetaminophen administration. Acetaminophen administration caused significant elevations of serum alanine aminotransferase, and hepatic malondialdehyde, and nitric oxide levels, and a significant decrease in hepatic reduced glutathione. Cannabidiol significantly attenuated the deterioration in the measured biochemical parameters resulted from acetaminophen administration. Also, histopathological examination showed that cannabidiol markedly attenuated ameliorated acetaminophen-induced liver tissue damage. These results emphasize that cannabidiol represents a potential therapeutic option to protect against acetaminophen hepartotoxicity which is a common clinical problem.
Abstract: Desert regions around the Nile valley in Upper Egypt
contain great extent of swelling soil. Many different comment
procedures of treatment of the swelling soils for construction such as
pre-swelling, load balance OR soil replacement. One of the measure
factors which affect the level of the aggressiveness of the swelling
soil is the direction of the infiltration water directions within the
swelling soils. In this paper a physical model was installed to
measure the effect of water on the swelling soil with replacement
using fatty acid distillation residuals (FADR) mixed with sand as
thick sand-FADR mixture to prevent the water pathway arrive to the
swelling soil. Testing program have been conducted on different
artificial samples with different sand to FADR contents ratios (4%,
6%, and 9%) to get the optimum value fulfilling the impermeable
replacement. The tests show that a FADR content of 9% is sufficient
to produce impermeable replacement.
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: This paper presents a method of reducing the feedback
delay time of DWA(Data Weighted Averaging) used in sigma-delta
modulators. The delay time reduction results from the elimination of
the latch at the quantizer output and also from the falling edge
operation. The designed sigma-delta modulator improves the timing
margin about 16%. The sub-circuits of sigma-delta modulator such as
SC(Switched Capacitor) integrator, 9-level quantizer, comparator, and
DWA are designed with the non-ideal characteristics taken into
account. The sigma-delta modulator has a maximum SNR (Signal to
Noise Ratio) of 84 dB or 13 bit resolution.
Abstract: Water samples were collected from river Pandu at six
stations where human and animal activities were high. Composite
samples were analyzed for dissolved oxygen (DO), biochemical
oxygen demand (BOD), chemical oxygen demand (COD) , pH values
during dry and wet seasons as well as the harmattan period. The total
data points were used to establish relationships between the
parameters and data were also subjected to statistical analysis and
expressed as mean ± standard error of mean (SEM) at a level of
significance of p
Abstract: Accurate demand forecasting is one of the most key
issues in inventory management of spare parts. The problem of
modeling future consumption becomes especially difficult for lumpy
patterns, which characterized by intervals in which there is no
demand and, periods with actual demand occurrences with large
variation in demand levels. However, many of the forecasting
methods may perform poorly when demand for an item is lumpy.
In this study based on the characteristic of lumpy demand patterns
of spare parts a hybrid forecasting approach has been developed,
which use a multi-layered perceptron neural network and a
traditional recursive method for forecasting future demands. In the
described approach the multi-layered perceptron are adapted to
forecast occurrences of non-zero demands, and then a conventional
recursive method is used to estimate the quantity of non-zero
demands. In order to evaluate the performance of the proposed
approach, their forecasts were compared to those obtained by using
Syntetos & Boylan approximation, recently employed multi-layered
perceptron neural network, generalized regression neural network
and elman recurrent neural network in this area. The models were
applied to forecast future demand of spare parts of Arak
Petrochemical Company in Iran, using 30 types of real data sets. The
results indicate that the forecasts obtained by using our proposed
mode are superior to those obtained by using other methods.
Abstract: As various mobile sensing technologies, remote
control and ubiquitous infrastructure are developing and expectations
on quality of life are increasing, a lot of researches and developments
on home network technologies and services are actively on going,
Until now, we have focused on how to provide users with high-level
home network services, while not many researches on home network
security for guaranteeing safety are progressing. So, in this paper, we
propose an access control model specific to home network that
provides various kinds of users with home network services up one-s
characteristics and features, and protects home network systems from
illegal/unnecessary accesses or intrusions.
Abstract: In medical therapy, laser has been widely used to conduct cosmetic, tumor and other treatments. During the process of laser irradiation, there may be thermal damage caused by excessive laser exposure. Thus, the establishment of a complete thermal analysis model is clinically helpful to physicians in reference data. In this study, porcine liver in place of tissue was subjected to laser irradiation to set up the experimental data considering the explored impact on surface thermal field and thermal damage region under different conditions of power, laser irradiation time, and distance between laser and porcine liver. In the experimental process, the surface temperature distribution of the porcine lever was measured by the infrared thermal imager. In the part of simulation, the bio heat transfer Pennes-s equation was solved by software SYSWELD applying in welding process. The double ellipsoid function as a laser source term is firstly considered in the prediction for surface thermal field and internal tissue damage. The simulation results are compared with the experimental data to validate the mathematical model established here in.
Abstract: This article addresses the procedures to validate the Arabic version of Multiple Intelligence Development Assessment Scale (MIDAS). The content validity was examined based on the experts- judgments on the MIDAS-s items in the Arabic version. The content of eleven items in the Arabic version of MIDAS was modified to match the Arabic context. Then a translation from original English version of MIDAS into Arabic language was performed. The reliability of the Arabic MIDAS was calculated based on test and retest method and found to be 0.85 for the overall MIDAS and for the different subscales ranging between 0.78 - 0.87. The examination of construct validity for the overall Arabic MIDAS and its subscales was established by using Winsteps program version 6 based on Rasch model in order to fit the items into the Arabic context. The findings indicated that, the eight subscales in Arabic version of MIDAS scale have a unidimensionality, and the total number of kept items in the overall scale is 108 items.
Abstract: Various security APIs (Application Programming
Interfaces) are being used in a variety of application areas requiring
the information security function. However, these standards are not
compatible, and the developer must use those APIs selectively
depending on the application environment or the programming
language. To resolve this problem, we propose the standard draft of
the information security component, while SSL (Secure Sockets
Layer) using the confidentiality and integrity component interface has
been implemented to verify validity of the standard proposal. The
implemented SSL uses the lower-level SSL component when
establishing the RMI (Remote Method Invocation) communication
between components, as if the security algorithm had been
implemented by adding one more layer on the TCP/IP.