Abstract: The need to merge software artifacts seems inherent
to modern software development. Distribution of development over
several teams and breaking tasks into smaller, more manageable
pieces are an effective means to deal with the kind of complexity. In
each case, the separately developed artifacts need to be assembled as
efficiently as possible into a consistent whole in which the parts still
function as described. In addition, earlier changes are introduced into
the life cycle and easier is their management by designers.
Interaction-based specifications such as UML sequence diagrams
have been found effective in this regard. As a result, sequence
diagrams can be used not only for capturing system behaviors but
also for merging changes in order to create a new version. The
objective of this paper is to suggest a new approach to deal with the
problem of software merging at the level of sequence diagrams by
using the concept of dependence analysis that captures, formally, all
mapping, and differences between elements of sequence diagrams
and serves as a key concept to create a new version of sequence
diagram.
Abstract: Digital reference service is when a traditional library
reference service is provided electronically. In most cases users do
not get full satisfaction from using digital reference service due to
variety of reasons. This paper discusses the formal specification of
web services applications for digital reference services (WSDRS).
WSDRS is an informal model that claims to reduce the problems of
digital reference services in libraries. It uses web services technology
to provide efficient digital way of satisfying users’ need in the
reference section of libraries. Informal model is in natural language
which is inconsistent and ambiguous that may cause difficulties to the
developers of the system. In order to solve this problem we decided
to convert the informal specifications into formal specifications. This
is supposed to reduce the overall development time and cost. We use
Z language to develop the formal model and verify it with Z/EVES
theorem prover tool.
Abstract: This paper discusses micrometeorological aspects of the urban climate in three cities in Western São Paulo State: Presidente Prudente, Assis and Iepê. Particular attention is paid to the method used to estimate the components of the energy balance at the surface. Estimates of convective fluxes showed that the Bowen ratio was an indicator of the local climate and that its magnitude varied between 0.3 and 0.7. Maximum values for the Bowen ratio occurred earlier in Iepê (11:00 am) than in Presidente Prudente (4:00 pm). The results indicate that the Bowen ratio is modulated by the radiation balance at the surface and by different clusters of vegetation.
Abstract: High temperature Fischer-Tropsch synthesis process
use fixed fluidized bed as a reactor. In order to understand the flow
behavior in the fluidized bed better, the research of how the radial
velocity affects the entire flow field is necessary. Laser Doppler
Velocimetry (LDV) was used to study the radial velocity distribution
along the diameter direction of the cross-section of the particle in a
fixed fluidized bed. The velocity in the cross-section is fluctuating
within a small range. The direction of the speed is a random
phenomenon. In addition to r/R is 1, the axial velocity are more than 6
times of the radial velocity, the radial velocity has little impact on the
axial velocity in a fixed fluidized bed.
Abstract: This paper deals with the problem of management of
information resources in libraries of the public institution Sultan
Moulay Slimane University (SMSU) in order to analyze the
satisfaction of the readers, and allow university leaders to make better
strategic and instant decisions. For this, the integration of an
integrated management decision library system is a priority program
of higher education, as part of the Digital Morocco, which has a
proactive policy to develop the use of new technologies information
and communication in higher institutions. This operational
information system can provide better services to the students and for
the leaders. Our approach is to integrate the tools of business
intelligence (BI) in the library management by using power BI.
Abstract: The web services applications for digital reference
service (WSDRS) of LIS model is an informal model that claims to
reduce the problems of digital reference services in libraries. It uses
web services technology to provide efficient way of satisfying users’
needs in the reference section of libraries. The formal WSDRS model
consists of the Z specifications of all the informal specifications of
the model. This paper discusses the formal validation of the Z
specifications of WSDRS model. The authors formally verify and
thus validate the properties of the model using Z/EVES theorem
prover.
Abstract: The growing number of computer viruses and the
detection of zero day malware have been the concern for security
researchers for a large period of time. Existing antivirus products
(AVs) rely on detecting virus signatures which do not provide a full
solution to the problems associated with these viruses. The use of
logic formulae to model the behaviour of viruses is one of the most
encouraging recent developments in virus research, which provides
alternatives to classic virus detection methods. In this paper, we
proposed a comparative study about different virus detection
techniques. This paper provides the advantages and drawbacks of
different detection techniques. Different techniques will be used in
this paper to provide a discussion about what technique is more
effective to detect computer viruses.
Abstract: In this paper, we present a new segmentation approach
for focal liver lesions in contrast enhanced ultrasound imaging. This
approach, based on a two-cluster Fuzzy C-Means methodology,
considers type-II fuzzy sets to handle uncertainty due to the image
modality (presence of speckle noise, low contrast, etc.), and to
calculate the optimum inter-cluster threshold. Fine boundaries are
detected by a local recursive merging of ambiguous pixels. The
method has been tested on a representative database. Compared to
both Otsu and type-I Fuzzy C-Means techniques, the proposed
method significantly reduces the segmentation errors.
Abstract: The present study applies the inverse method and
three-dimensional CFD commercial software in conjunction with the
experimental temperature data to investigate the heat transfer and fluid
flow characteristics of the plate-fin heat sink in a rectangular closed
enclosure. The inverse method with the finite difference method and
the experimental temperature data is applied to determine the
approximate heat transfer coefficient. Later, based on the obtained
results, the zero-equation turbulence model is used to obtain the heat
transfer and fluid flow characteristics between two fins. T0 validate
the accuracy of the results obtained, the comparison of the heat transfer
coefficient is made. The obtained temperature at selected
measurement locations of the fin is also compared with experimental
data. The effect of the height of the rectangular enclosure on the
obtained results is discussed.
Abstract: In this paper, we provided a literature survey on the
artificial stock problem (ASM). The paper began by exploring the
complexity of the stock market and the needs for ASM. ASM
aims to investigate the link between individual behaviors (micro
level) and financial market dynamics (macro level). The variety of
patterns at the macro level is a function of the AFM complexity. The
financial market system is a complex system where the relationship
between the micro and macro level cannot be captured analytically.
Computational approaches, such as simulation, are expected to
comprehend this connection. Agent-based simulation is a simulation
technique commonly used to build AFMs. The paper proceeds by
discussing the components of the ASM. We consider the roles
of behavioral finance (BF) alongside the traditionally risk-averse
assumption in the construction of agent’s attributes. Also, the
influence of social networks in the developing of agents interactions is
addressed. Network topologies such as a small world, distance-based,
and scale-free networks may be utilized to outline economic
collaborations. In addition, the primary methods for developing
agents learning and adaptive abilities have been summarized.
These incorporated approach such as Genetic Algorithm, Genetic
Programming, Artificial neural network and Reinforcement Learning.
In addition, the most common statistical properties (the stylized facts)
of stock that are used for calibration and validation of ASM are
discussed. Besides, we have reviewed the major related previous
studies and categorize the utilized approaches as a part of these
studies. Finally, research directions and potential research questions
are argued. The research directions of ASM may focus on the macro
level by analyzing the market dynamic or on the micro level by
investigating the wealth distributions of the agents.
Abstract: ANDASA is a knowledge management platform for
the capitalization of knowledge and cultural assets for the artistic and
cultural sectors. It was built based on the priorities expressed by the
participating artists. Through mapping artistic activities and
specificities, it enables to highlight various aspects of the artistic
research and production. Such instrument will contribute to create
networks and partnerships, as it enables to evidentiate who does
what, in what field, using which methodology. The platform is
accessible to network participants and to the general public.
Abstract: The MEMS pressure sensor has been introduced and
presented in this paper. The types of pressure sensor and its theory of
operation are also included. The latest MEMS technology, the
fabrication processes of pressure sensor are explored and discussed.
Besides, various device applications of pressure sensor such as tire
pressure-monitoring system, diesel particulate filter and others are
explained. Due to further miniaturization of the device nowadays, the
pressure sensor with nanotechnology (NEMS) is also reviewed. The
NEMS pressure sensor is expected to have better performance as well
as lower in its cost. It has gained an excellent popularity in many
applications.
Abstract: Nanotechnology has become the world attention in
various applications including the solar cells devices due to the
uniqueness and benefits of achieving low cost and better
performances of devices. Recently, thin film solar cells such as
Cadmium Telluride (CdTe), Copper-Indium-Gallium-diSelenide
(CIGS), Copper-Zinc-Tin-Sulphide (CZTS), and Dye-Sensitized
Solar Cells (DSSC) enhanced by nanotechnology have attracted
much attention. Thus, a compilation of nanotechnology devices
giving the progress in the solar cells has been presented. It is much
related to nanoparticles or nanocrystallines, carbon nanotubes, and
nanowires or nanorods structures.
Abstract: In this paper, we present a new segmentation approach
for liver lesions in regions of interest within MRI (Magnetic
Resonance Imaging). This approach, based on a two-cluster Fuzzy CMeans
methodology, considers the parameter variable compactness
to handle uncertainty. Fine boundaries are detected by a local
recursive merging of ambiguous pixels with a sequential forward
floating selection with Zernike moments. The method has been tested
on both synthetic and real images. When applied on synthetic images,
the proposed approach provides good performance, segmentations
obtained are accurate, their shape is consistent with the ground truth,
and the extracted information is reliable. The results obtained on MR
images confirm such observations. Our approach allows, even for
difficult cases of MR images, to extract a segmentation with good
performance in terms of accuracy and shape, which implies that the
geometry of the tumor is preserved for further clinical activities (such
as automatic extraction of pharmaco-kinetics properties, lesion
characterization, etc.).
Abstract: This paper presents the design and fabrication of a
novel piezoelectric actuator for a gas micro pump with check valve
having the advantages of miniature size, light weight and low power
consumption. The micro pump is designed to have eight major
components, namely a stainless steel upper cover layer, a piezoelectric
actuator, a stainless steel diaphragm, a PDMS chamber layer, two
stainless steel channel layers with two valve seats, a PDMS check
valve layer with two cantilever-type check valves and an acrylic
substrate. A prototype of the gas micro pump, with a size of 52 mm ×
50 mm × 5.0 mm, is fabricated by precise manufacturing. This device
is designed to pump gases with the capability of performing the
self-priming and bubble-tolerant work mode by maximizing the stroke
volume of the membrane as well as the compression ratio via
minimization of the dead volume of the micro pump chamber and
channel. By experiment apparatus setup, we can get the real-time
values of the flow rate of micro pump and the displacement of the
piezoelectric actuator, simultaneously. The gas micro pump obtained
higher output performance under the sinusoidal waveform of 250 Vpp.
The micro pump achieved the maximum pumping rates of 1185
ml/min and back pressure of 7.14 kPa at the corresponding frequency
of 120 and 50 Hz.
Abstract: This study aims at developing a novel cold asphalt
concrete binder course mixture by using Ordinary Portland Cement
(OPC) as a replacement for conventional mineral filler (0%-100%)
with new by-product material (LJMU-A2) used as a supplementary
cementitious material. With this purpose, cold asphalt concrete binder
course mixtures with cationic emulsions were studied by means of
stiffness modulus whereas water sensitivity was assessed by
measuring the stiffness modulus ratio before and after sample
conditioning.
The results indicate that a substantial enhancement in the stiffness
modulus and a considerable improvement of water sensitivity
resistance is achieved by adding LJMU-A2 to the cold asphalt
mixtures as a supplementary cementitious material. Moreover, the
addition of LJMU-A2 to those mixtures leads to a stiffness modulus
after 2-day curing compared to that obtained with Portland cement,
which occurs after 7-day curing.
Abstract: Biodiesel, as an alternative renewable fuel, has been
receiving increasing attention due to the limited supply of fossil fuels
and the increasing need for energy. Microalgae are promising source
for lipids, which can be converted to biodiesel. The biodiesel
production from microalgae lipids using lipase catalyzed reaction in
supercritical CO2 medium has several advantages over conventional
production processes. However, identifying the optimum microalgae
lipid extraction and transesterification conditions is still a challenge.
In this study, the quality of biodiesel produced from lipids extracted
from Scenedesmus sp. and their enzymatic transesterification using
supercritical carbon dioxide have been investigated. At the optimum
conditions, the highest biodiesel production yield was found to be
82%. The fuel properties of the produced biodiesel, without any
separation step, at optimum reaction condition, were determined and
compared to ASTM standards. The properties were found to comply
with the limits, and showed a low glycerol content, without any
separation step.
Abstract: The novel 3D SnO cabbages self-assembled by
nanosheets were successfully synthesized via template-free
hydrothermal growth method under facile conditions. The XRD
results manifest that the as-prepared SnO is tetragonal phase. The
TEM and HRTEM results show that the cabbage nanosheets are
polycrystalline structure consisted of considerable single-crystalline
nanoparticles. Two typical Raman modes A1g=210 and Eg=112 cm-1
of SnO are observed by Raman spectroscopy. Moreover, galvanostatic
cycling tests has been performed using the SnO cabbages as anode
material of lithium ion battery and the electrochemical results suggest
that the synthesized SnO cabbage structures are a promising anode
material for lithium ion batteries.
Abstract: This article presents our prototype MASET (Multi
Agents System for E-Tutoring Learners engaged in online
collaborative work). MASET that we propose is a system which
basically aims to help tutors in monitoring the collaborative work of
students and their various interactions. The evaluation of such
interactions by the tutor is based on the results provided by the
automatic analysis of the interaction indicators. This system is
predicated upon the middleware JADE (Java Agent Development
Framework) and e-learning Moodle platform. The MASET
environment is modeled by AUML which allows structuring the
different interactions between agents for the fulfillment and
performance of online collaborative work. This multi-agent system
has been the subject of a practical experimentation based on the
interactions data between Master Computer Engineering and System
students.
Abstract: Microbes have been used to solve environmental
problems for many years. The role of microorganism to sequester,
precipitate or alter the oxidation state of various heavy metals has
been extensively studied. Treatment using microorganism interacts
with toxic metal are very diverse. The purpose of this research is to
remove the mercury using Pseudomonas putida (P. putida), pure
culture ATTC 49128 at optimum growth parameters such as
techniques of culture, acclimatization time and speed of incubator
shaker. Thus, in this study, the optimum growth parameters of P.
putida were obtained to achieve the maximum of mercury removal.
Based on the optimum parameters of P. putida for specific growth
rate, the removal of two different mercury concentration, 1 ppm and
4 ppm were studied. From mercury nitrate solution, a mercuryresistant
bacterial strain which is able to reduce from ionic mercury
to metallic mercury was used to reduce ionic mercury. The overall
levels of mercury removal in this study were between 80% and 89%.
The information obtained in this study is of fundamental for
understanding of the survival of P. putida ATTC 49128 in mercury
solution. Thus, microbial mercury removal is a potential
bioremediation for wastewater especially in petrochemical industries
in Malaysia.