Abstract: Due to important issues, such as deadlock, starvation,
communication, non-deterministic behavior and synchronization,
concurrent systems are very complex, sensitive, and error-prone.
Thus ensuring reliability and accuracy of these systems is very
essential. Therefore, there has been a big interest in the formal
specification of concurrent programs in recent years. Nevertheless,
some features of concurrent systems, such as dynamic process
creation, scheduling and starvation have not been specified formally
yet. Also, some other features have been specified partially and/or
have been described using a combination of several different
formalisms and methods whose integration needs too much effort. In
other words, a comprehensive and integrated specification that could
cover all aspects of concurrent systems has not been provided yet.
Thus, this paper makes two major contributions: firstly, it provides a
comprehensive formal framework to specify all well-known features
of concurrent systems. Secondly, it provides an integrated
specification of these features by using just a single formal notation,
i.e., the Z language.
Abstract: The present paper deals with the experimental and
computational study of axial collapse of the aluminum metallic shells
having combined tube-frusta geometry between two parallel plates.
Shells were having bottom two third lengths as frusta and remaining
top one third lengths as tube. Shells were compressed to recognize
their modes of collapse and associated energy absorption capability.
An axisymmetric Finite Element computational model of collapse
process is presented and analysed, using a non-linear FE code
FORGE2. Six noded isoparametric triangular elements were used to
discretize the deforming shell. The material of the shells was
idealized as rigid visco-plastic. To validate the computational model
experimental and computed results of the deformed shapes and their
corresponding load-compression and energy-compression curves
were compared. With the help of the obtained results progress of the
axisymmetric mode of collapse has been presented, analysed and
discussed.
Abstract: The purpose of this report is to suggest a new
methodology for the assessment of the comparative efficiency of the
reforms made in different countries by an integral index. We have
highlighted the reforms made in post-crisis period in 21 former
socialist countries.
The integral index describes the social-economic development
level. The integral index contains of six indexes: The Global
Competitiveness Index, Doing Business, The Corruption Perception,
The Index of Economic Freedom, The Human Development, and
The Democracy Index, which are reported by different international
organizations. With the help of our methodology we first summarized
the above-mentioned 6 indexes and attained 1 general index, besides,
our new method enables us to assess the comparative efficiency of the
reforms made in different countries by analyzing them.
The purpose is to reveal the opportunities and threats of socialeconomic
reforms in different directions.
Abstract: Artificial Neural Network (ANN)s are best suited for
prediction and optimization problems. Trained ANNs have found
wide spread acceptance in several antenna design systems. Four
parameters namely antenna radiation resistance, loss resistance, efficiency,
and inductance can be used to design an antenna layout though
there are several other parameters available. An ANN can be trained
to provide the best and worst case precisions of an antenna design
problem defined by these four parameters. This work describes the
use of an ANN to generate the four mentioned parameters for a loop
antenna for the specified frequency range. It also provides insights
to the prediction of best and worst-case design problems observed
in applications and thereby formulate a model for physical layout
design of a loop antenna.
Abstract: Time series forecasting is an important and widely
popular topic in the research of system modeling. This paper
describes how to use the hybrid PSO-RLSE neuro-fuzzy learning
approach to the problem of time series forecasting. The PSO
algorithm is used to update the premise parameters of the
proposed prediction system, and the RLSE is used to update the
consequence parameters. Thanks to the hybrid learning (HL)
approach for the neuro-fuzzy system, the prediction performance
is excellent and the speed of learning convergence is much faster
than other compared approaches. In the experiments, we use the
well-known Mackey-Glass chaos time series. According to the
experimental results, the prediction performance and accuracy in
time series forecasting by the proposed approach is much better
than other compared approaches, as shown in Table IV. Excellent
prediction performance by the proposed approach has been
observed.
Abstract: Internet is without any doubt the fastest and effective mean of communication making it possible to reach a great number of people in the world. It draws its base from exchange points. Indeed exchange points are used to inter-connect various Internet suppliers and operators in order to allow them to exchange traffic and it is with these interconnections that Internet made its great strides. They thus make it possible to limit the traffic delivered via the operators of transits. This limitation allows a significant improvement of the quality of service, a reduction in the latency time just as a reduction of the cost of connection for the final subscriber. Through this article we will show how the installation of an IXP allows an improvement and a diversification of the services just as a reduction of the Internet connection costs.
Abstract: The paper represents a reflection on how to select proper indicators to assess the progress of regional contexts towards a knowledge-based society. Taking the first research methodologies elaborated at an international level (World Bank, OECD, etc.) as a reference point, this work intends to identify a set of indicators of the knowledge economy suitable to adequately understand in which manner and to which extent the territorial development dynamics are correlated with the knowledge-base of the considered local society. After a critical survey of the variables utilized within other approaches adopted by international or national organizations, this paper seeks to elaborate a framework of variables, named Regional Knowledge Economy Indicators (ReKEI), necessary to describe the knowledge-based relations of subnational socio-economic contexts. The realization of this framework has a double purpose: an analytical one consisting in highlighting the regional differences in the governance of knowledge based processes, and an operative one consisting in providing some reference parameters for contributing to increasing the effectiveness of those economic policies aiming at enlarging the knowledge bases of local societies.
Abstract: Safer driver behavior promoting is the main goal of this paper. It is a fact that drivers behavior is relatively safer when being monitored. Thus, in this paper, we propose a monitoring system to report specific driving event as well as the potentially aggressive events for estimation of the driving performance. Our driving monitoring system is composed of two parts. The first part is the in-vehicle embedded system which is composed of a GPS receiver, a two-axis accelerometer, radar sensor, OBD interface, and GPRS modem. The design considerations that led to this architecture is described in this paper. The second part is a web server where an adaptive hierarchical fuzzy system is proposed to classify the driving performance based on the data that is sent by the in-vehicle embedded system and the data that is provided by the geographical information system (GIS). Our system is robust, inexpensive and small enough to fit inside a vehicle without distracting the driver.
Abstract: This paper investigates the effect of product substitution in the single-period 'newsboy-type' problem in a fuzzy environment. It is supposed that the single-period problem operates under uncertainty in customer demand, which is described by imprecise terms and modelled by fuzzy sets. To perform this analysis, we consider the fuzzy model for two-item with upward substitution. This upward substitutability is reasonable when the products can be stored according to certain attribute levels such as quality, brand or package size. We show that the explicit consideration of this substitution opportunity increase the average expected profit. Computational study is performed to observe the benefits of product's substitution.
Abstract: In this paper, we proposed the distribution of mesh
normal vector direction as a feature descriptor of a 3D model. A
normal vector shows the entire shape of a model well. The
distribution of normal vectors was sampled in proportion to each
polygon's area so that the information on the surface with less surface
area may be less reflected on composing a feature descriptor in order
to enhance retrieval performance. At the analysis result of ANMRR,
the enhancement of approx. 12.4%~34.7% compared to the existing
method has also been indicated.
Abstract: This paper describes the implementation and testing
of a multichannel active noise control system (ANCS) based on the
filtered-inverse LMS (FILMS) algorithm. The FILMS algorithm is
derived from the well-known filtered-x LMS (FXLMS) algorithm
with the aim to improve the rate of convergence of the multichannel
FXLMS algorithm and to reduce its computational load. Laboratory
setup and techniques used to implement this system efficiently are
described in this paper. Experiments performed in order to test the
performance of the FILMS algorithm are discussed and the obtained
results presented.
Abstract: Stochastic models of biological networks are well established in systems biology, where the computational treatment of such models is often focused on the solution of the so-called chemical master equation via stochastic simulation algorithms. In contrast to this, the development of storage-efficient model representations that are directly suitable for computer implementation has received significantly less attention. Instead, a model is usually described in terms of a stochastic process or a "higher-level paradigm" with graphical representation such as e.g. a stochastic Petri net. A serious problem then arises due to the exponential growth of the model-s state space which is in fact a main reason for the popularity of stochastic simulation since simulation suffers less from the state space explosion than non-simulative numerical solution techniques. In this paper we present transition class models for the representation of biological network models, a compact mathematical formalism that circumvents state space explosion. Transition class models can also serve as an interface between different higher level modeling paradigms, stochastic processes and the implementation coded in a programming language. Besides, the compact model representation provides the opportunity to apply non-simulative solution techniques thereby preserving the possible use of stochastic simulation. Illustrative examples of transition class representations are given for an enzyme-catalyzed substrate conversion and a part of the bacteriophage λ lysis/lysogeny pathway.
Abstract: This paper presents an experimental case using sensory thermography to describe temperatures behavior on median nerve once an activity of repetitive motion was done. Thermography is a noninvasive technique without biological hazard and not harm at all times and has been applied in many experiments to seek for temperature patterns that help to understand diseases like cancer and cumulative trauma disorders (CTD’s). An infrared sensory thermography technology was developed to execute this study. Three women in good shape were selected for the repetitive motion tests for 4 days, two right-handed women and 1 left handed woman, two sensory thermographers were put on both median nerve wrists to get measures. The evaluation time was of 3 hours 30 minutes in a controlled temperature, 20 minutes of stabilization time at the beginning and end of the operation. Temperatures distributions are statistically evaluated and showed similar temperature patterns behavior.
Abstract: A method has been developed for preparing load
models for power flow and stability. The load modeling
(LOADMOD) computer software transforms data on load class mix,
composition, and characteristics into the from required for
commonly–used power flow and transient stability simulation
programs. Typical default data have been developed for load
composition and characteristics. This paper defines LOADMOD
software and describes the dynamic and static load modeling
techniques used in this software and results of initial testing for
BAKHTAR power system.
Abstract: The purpose of determining impact significance is to
place value on impacts. Environmental impact assessment review is a
process that judges whether impact significance is acceptable or not in
accordance with the scientific facts regarding environmental,
ecological and socio-economical impacts described in environmental
impact statements (EIS) or environmental impact assessment reports
(EIAR). The first aim of this paper is to summarize the criteria of
significance evaluation from the past review results and accordingly
utilize fuzzy logic to incorporate these criteria into scientific facts. The
second aim is to employ data mining technique to construct an EIS or
EIAR prediction model for reviewing results which can assist
developers to prepare and revise better environmental management
plans in advance. The validity of the previous prediction model
proposed by authors in 2009 is 92.7%. The enhanced validity in this
study can attain 100.0%.
Abstract: The full length mitochondrial small subunit ribosomal
(mt-rns) gene has been characterized for Ophiostoma novo-ulmi
subspecies americana. The gene was also characterized for
Ophiostoma ulmi and a group II intron was noted in the mt-rns gene
of O. ulmi. The insertion in the mt-rns gene is at position S952 and it
is a group IIB1 intron that encodes a double motif LAGLIDADG
homing endonuclease from an open reading frame located within a
loop of domain III. Secondary structure models for the mt-rns RNA
of O. novo-ulmi subsp. americana and O. ulmi were generated to
place the intron within the context of the ribosomal RNA. The in vivo
splicing of the O.ul-mS952 group II intron was confirmed with
reverse transcription-PCR. A survey of 182 strains of Dutch Elm
Diseases causing agents showed that the mS952 intron was absent in
what is considered to be the more aggressive species O. novo-ulmi
but present in strains of the less aggressive O. ulmi. This observation
suggests that the O.ul-mS952 intron can be used as a PCR-based
molecular marker to discriminate between O. ulmi and O. novo-ulmi
subsp. americana.
Abstract: Pulse width modulation (PWM) techniques have been
the subject of intensive research for different industrial and power
sector applications. A large variety of methods, different in concept
and performance, have been newly developed and described. This
paper analyzes the comparative merits of Sinusoidal Pulse Width
Modulation (SPWM) and Space Vector Pulse Width Modulation
(SVPWM) techniques and the suitability of these techniques in a
Shunt Active Filter (SAF). The objective is to select the scheme that
offers effective utilization of DC bus voltage and also harmonic
reduction at the input side. The effectiveness of the PWM techniques
is tested in the SAF configuration with a non linear load. The
performance of the SAF with the SPWM and (SVPWM) techniques
are compared with respect to the THD in source current. The study
reveals that in the context of closed loop SAF control with the
SVPWM technique there is only a minor improvement in THD. The
utilization of the DC bus with SVPWM is also not significant
compared to that with SPWM because of the non sinusoidal
modulating signal from the controller in SAF configuration.
Abstract: An increasingly dynamic and complex environment poses huge challenges to production enterprises, especially with regards to logistics. The Logistic Operating Curve Theory, developed at the Institute of Production Systems and Logistics (IFA) of the Leibniz University of Hanover, is a recognized approach to describing logistic interactions, nevertheless, it reaches its limits when it comes to the dynamic aspects. In order to facilitate a timely and optimal Logistic Positioning a method is developed for quickly and reliably identifying dynamic processing states.
Abstract: We present in this paper an acquisition and treatment system designed for semi-analog Gamma-camera. It consists of a nuclear medical Image Acquisition, Treatment and Display chain(IATD) ensuring the acquisition, the treatment of the signals(resulting from the Gamma-camera detection head) and the scintigraphic image construction in real time. This chain is composed by an analog treatment board and a digital treatment board. We describe the designed systems and the digital treatment algorithms in which we have improved the performance and the flexibility. The digital treatment algorithms are implemented in a specific reprogrammable circuit FPGA (Field Programmable Gate Array).interface for semi-analog cameras of Sopha Medical Vision(SMVi) by taking as example SOPHY DS7. The developed system consists of an Image Acquisition, Treatment and Display (IATD) ensuring the acquisition and the treatment of the signals resulting from the DH. The developed chain is formed by a treatment analog board and a digital treatment board designed around a DSP [2]. In this paper we have presented the architecture of a new version of our chain IATD in which the integration of the treatment algorithms is executed on an FPGA (Field Programmable Gate Array)
Abstract: This manuscript presents, palmprint recognition by
combining different texture extraction approaches with high accuracy.
The Region of Interest (ROI) is decomposed into different frequencytime
sub-bands by wavelet transform up-to two levels and only the
approximate image of two levels is selected, which is known as
Approximate Image ROI (AIROI). This AIROI has information of
principal lines of the palm. The Competitive Index is used as the
features of the palmprint, in which six Gabor filters of different
orientations convolve with the palmprint image to extract the orientation
information from the image. The winner-take-all strategy
is used to select dominant orientation for each pixel, which is
known as Competitive Index. Further, PCA is applied to select highly
uncorrelated Competitive Index features, to reduce the dimensions of
the feature vector, and to project the features on Eigen space. The
similarity of two palmprints is measured by the Euclidean distance
metrics. The algorithm is tested on Hong Kong PolyU palmprint
database. Different AIROI of different wavelet filter families are also
tested with the Competitive Index and PCA. AIROI of db7 wavelet
filter achievs Equal Error Rate (EER) of 0.0152% and Genuine
Acceptance Rate (GAR) of 99.67% on the palm database of Hong
Kong PolyU.