Abstract: Verification of real-time software systems can be
expensive in terms of time and resources. Testing is the main method
of proving correctness but has been shown to be a long and time
consuming process. Everyday engineers are usually unwilling to
adopt formal approaches to correctness because of the overhead
associated with developing their knowledge of such techniques.
Performance modelling techniques allow systems to be evaluated
with respect to timing constraints. This paper describes PARTES, a
framework which guides the extraction of performance models from
programs written in an annotated subset of C.
Abstract: Delivering streaming video over wireless is an
important component of many interactive multimedia applications
running on personal wireless handset devices. Such personal devices
have to be inexpensive, compact, and lightweight. But wireless
channels have a high channel bit error rate and limited bandwidth.
Delay variation of packets due to network congestion and the high bit
error rate greatly degrades the quality of video at the handheld
device. Therefore, mobile access to multimedia contents requires
video transcoding functionality at the edge of the mobile network for
interworking with heterogeneous networks and services. Therefore,
to guarantee quality of service (QoS) delivered to the mobile user, a
robust and efficient transcoding scheme should be deployed in
mobile multimedia transporting network. Hence, this paper
examines the challenges and limitations that the video transcoding
schemes in mobile multimedia transporting network face. Then
handheld resources, network conditions and content based mobile
and wireless video transcoding is proposed to provide high QoS
applications. Exceptional performance is demonstrated in the
experiment results. These experiments were designed to verify and
prove the robustness of the proposed approach. Extensive
experiments have been conducted, and the results of various video
clips with different bit rate and frame rate have been provided.
Abstract: A self-compacting concrete (SCC) is the one that can
be placed in the form and can go through obstructions by its own
weight and without the need of vibration. Since its first development
in Japan in 1988, SCC has gained wider acceptance in Japan, Europe
and USA due to its inherent distinct advantages. Although there are
visible signs of its gradual acceptance in the North Africa through its
limited use in construction, Libya has yet to explore the feasibility
and applicability of SCC in new construction. The contributing
factors to this reluctance appear to be lack of any supportive
evidence of its suitability with local aggregates and the harsh
environmental conditions. The primary aim of this study is to explore
the feasibility of using SCC made with local aggregates of Eastern
Province of Libya by examining its basic properties characteristics.
This research consists of: (i) Development of a suitable mix for SCC
such as the effect of water to cement ratio, limestone and silica fume
that would satisfy the requirements of the plastic state; (ii) Casting of
concrete samples and testing them for compressive strength and unit
weight. Local aggregates, cement, admixtures and industrial waste
materials were used in this research.
The significance of this research lies in its attempt to provide
some performance data of SCC made in the Eastern Province of
Libya so as to draw attention to the possible use of SCC.
Abstract: A therapeutic success is the aim of any therapeutic
intervention, but a therapeutic failure is the other side of the same
coin. The purpose of this study is to present the activity of a personal
development group, composed of 14 participants (psychologists,
doctors and a priest) registered for a 2 days course of integrative
psychotherapy. The objectives of this study are centred on: the
management of the personal development group breaking moment
realized by the therapist/trainer; the analysis of the trainer’s personal
situation and of some group participants and the brief presentation of
the main work methods applied on participants in the repairing of the
therapeutic relation and in the counter transfer management. The
therapist’s orientation is an integrative one and the demarche realized
includes T.A. techniques, role play, Gestalt and family systemic
psychotherapy. The conclusions obtained represent landmarks for the
future activity within that group and strengthen the therapeutic
relation with the group.
Abstract: Existing proceeding-models for the development of mechatronic systems provide a largely parallel action in the detailed development. This parallel approach is to take place also largely independent of one another in the various disciplines involved. An approach for a new proceeding-model provides a further development of existing models to use for the development of Adaptronic Systems. This approach is based on an intermediate integration and an abstract modeling of the adaptronic system. Based on this system-model a simulation of the global system behavior, due to external and internal factors or Forces is developed. For the intermediate integration a special data management system is used. According to the presented approach this data management system has a number of functions that are not part of the "normal" PDM functionality. Therefore a concept for a new data management system for the development of Adaptive system is presented in this paper. This concept divides the functions into six layers. In the first layer a system model is created, which divides the adaptronic system based on its components and the various technical disciplines. Moreover, the parameters and properties of the system are modeled and linked together with the requirements and the system model. The modeled parameters and properties result in a network which is analyzed in the second layer. From this analysis necessary adjustments to individual components for specific manipulation of the system behavior can be determined. The third layer contains an automatic abstract simulation of the system behavior. This simulation is a precursor for network analysis and serves as a filter. By the network analysis and simulation changes to system components are examined and necessary adjustments to other components are calculated. The other layers of the concept treat the automatic calculation of system reliability, the "normal" PDM-functionality and the integration of discipline-specific data into the system model. A prototypical implementation of an appropriate data management with the addition of an automatic system development is being implemented using the data management system ENOVIA SmarTeam V5 and the simulation system MATLAB.
Abstract: This paper uses p-tolerance with the lowest posterior
loss, quadratic loss function, average length criteria, average
coverage criteria, and worst outcome criterion for computing of
sample size to estimate proportion in Binomial probability function
with Beta prior distribution. The proposed methodology is examined,
and its effectiveness is shown.
Abstract: The quantified residence time distribution (RTD)
provides a numerical characterization of mixing in a reactor, thus
allowing the process engineer to better understand mixing
performance of the reactor.This paper discusses computational
studies to investigate flow patterns in a two impinging streams
cyclone reactor(TISCR) . Flow in the reactor was modeled with
computational fluid dynamics (CFD). Utilizing the Eulerian-
Lagrangian approach, implemented in FLUENT (V6.3.22), particle
trajectories were obtained by solving the particle force balance
equations. From simulation results obtained at different Δts, the mean
residence time (tm) and the mean square deviation (σ2) were
calculated. a good agreement can be observed between predicted and
experimental data. Simulation results indicate that the behavior of
complex reactor systems can be predicted using the CFD technique
with minimum data requirement for validation.
Abstract: The present study examines the adsorption of phenol, 3-nitrophenol and dyes (methylene blue, alizarine yellow), from aqueous solutions onto a commercial activated carbon. Two different operations, semi-batch and continuous with reflux, were applied. The commercial activated carbon exhibits high adsorption abilities for phenol, 3-nitrophenol and dyes (methylene blue and alizarin yellow) from their aqueous solutions. The adsorption of all adsorbates after 1 h is higher by the continuous operation with reflux than by the semibatch operation. The adsorption of phenol is higher than that of 3-nitrophenol for both operations. Similarly, the adsorption of alizarin yellow is higher than that of methylene blue for both operations. The regenerated commercial activated carbon regains its adsorption ability due to the removal of the adsorbate from its pores during the regeneration.
Abstract: In this paper, design, fabrication and coupled
multifield analysis of hollow out-of-plane silicon microneedle array
with piezoelectrically actuated microfluidic device for transdermal
drug delivery (TDD) applications is presented. The fabrication
process of silicon microneedle array is first done by series of
combined isotropic and anisotropic etching processes using
inductively coupled plasma (ICP) etching technology. Then coupled
multifield analysis of MEMS based piezoelectrically actuated device
with integrated 2×2 silicon microneedle array is presented. To predict
the stress distribution and model fluid flow in coupled field analysis,
finite element (FE) and computational fluid dynamic (CFD) analysis
using ANSYS rather than analytical systems has been performed.
Static analysis and transient CFD analysis were performed to predict
the fluid flow through the microneedle array. The inlet pressure from
10 kPa to 150 kPa was considered for static CFD analysis. In the
lumen region fluid flow rate 3.2946 μL/min is obtained at 150 V for
2×2 microneedle array. In the present study the authors have
performed simulation of structural, piezoelectric and CFD analysis
on three dimensional model of the piezoelectrically actuated
mcirofluidic device integrated with 2×2 microneedle array.
Abstract: The dissolution of spherical particles in liquids is analyzed dynamically. Here, we consider the case the dissolution of solute yields a solute-free solid phase in the outer portion of a particle. As dissolution proceeds, the interface between the undissolved solid phase and the solute-free solid phase moves towards the center of the particle. We assume that there exist two resistances for the diffusion of solute molecules: the resistance due to the solute-free portion of the particle and that due to a surface layer near solid-liquid interface. In general, the equation governing the dynamic behavior of dissolution needs to be solved numerically. However, analytical expressions for the temporal variation of the size of the undissoved portion of a particle and the variation of dissolution time can be obtained in some special cases. The present analysis takes the effect of variable bulk solute concentration on dissolution into account.
Abstract: The aerodynamic performances of vertical axis wind
turbines are highly affected by tip vortexes. In the present
work, different tip devices are considered and simulated against
a baseline rotor configuration, with the aim of identifying the
best tip architecture. Three different configurations are tested:
winglets, an elliptic termination and an aerodynamic bulkhead.
A comparative analysis on the most promising architectures is
conducted, focusing also on blade torque evolution during a full
revolution of the rotor blade. The most promising technology is
concluded to be a well designed winglet.
Abstract: According to development of communications and
web-based technologies in recent years, e-Learning has became very
important for everyone and is seen as one of most dynamic teaching
methods.
Grid computing is a pattern for increasing of computing power
and storage capacity of a system and is based on hardware and
software resources in a network with common purpose. In this article
we study grid architecture and describe its different layers. In this
way, we will analyze grid layered architecture. Then we will
introduce a new suitable architecture for e-Learning which is based
on grid network, and for this reason we call it Grid Learning
Architecture. Various sections and layers of suggested architecture
will be analyzed; especially grid middleware layer that has key role.
This layer is heart of grid learning architecture and, in fact,
regardless of this layer, e-Learning based on grid architecture will
not be feasible.
Abstract: In this paper a study on the vibration of thin
cylindrical shells with ring supports and made of functionally graded
materials (FGMs) composed of stainless steel and nickel is presented.
Material properties vary along the thickness direction of the shell
according to volume fraction power law. The cylindrical shells have
ring supports which are arbitrarily placed along the shell and impose
zero lateral deflections. The study is carried out based on third order
shear deformation shell theory (T.S.D.T). The analysis is carried out
using Hamilton-s principle. The governing equations of motion of
FGM cylindrical shells are derived based on shear deformation
theory. Results are presented on the frequency characteristics,
influence of ring support position and the influence of boundary
conditions. The present analysis is validated by comparing results
with those available in the literature.
Abstract: In the present study, a numerical analysis is carried
out to investigate unsteady MHD (magneto-hydrodynamic) flow and
heat transfer of a non-Newtonian second grade viscoelastic fluid
over an oscillatory stretching sheet. The flow is induced due to an
infinite elastic sheet which is stretched oscillatory (back and forth) in
its own plane. Effect of viscous dissipation and joule heating are
taken into account. The non-linear differential equations governing
the problem are transformed into system of non-dimensional
differential equations using similarity transformations. A newly
developed meshfree numerical technique Element free Galerkin
method (EFGM) is employed to solve the coupled non linear
differential equations. The results illustrating the effect of various
parameters like viscoelastic parameter, Hartman number, relative
frequency amplitude of the oscillatory sheet to the stretching rate and
Eckert number on velocity and temperature field are reported in
terms of graphs and tables. The present model finds its application in
polymer extrusion, drawing of plastic films and wires, glass, fiber
and paper production etc.
Abstract: In this paper, a new secure watermarking scheme for
color image is proposed. It splits the watermark into two shares using
(2, 2)- threshold Visual Cryptography Scheme (V CS) with Adaptive
Order Dithering technique and embeds one share into high textured
subband of Luminance channel of the color image. The other share
is used as the key and is available only with the super-user or the
author of the image. In this scheme only the super-user can reveal
the original watermark. The proposed scheme is dynamic in the sense
that to maintain the perceptual similarity between the original and the
watermarked image the selected subband coefficients are modified
by varying the watermark scaling factor. The experimental results
demonstrate the effectiveness of the proposed scheme. Further, the
proposed scheme is able to resist all common attacks even with strong
amplitude.
Abstract: Steroidal hormones with the efficient changes on the epiphyseal growth plate may influence tissue structure properties. Presents paper to investigate the effects of gonadectomy in the pattern distribution of the epiphyseal structure. Fifteen adult female New Zealand white rabbits were separated into three groups. One group was intact and others groups were selected for surgical operation. From these two groups, one group carried out steroidal administration. The results obtained showed that there is no statistically difference in the mean diameter of the growth plate cells between all three groups. The maximum value of the cartilage cells were allocated to the gonadectomized group and the minimum number were observed in Hormonal induced group significantly. Growth plate height was significantly greater in gonadectomized group than in two other groups.
Abstract: Today due to rising levels of housing- necessities,
several problems have been raised regarding to urban quality of life.
The aim of the research is to study social and spatial aspects of
housing environment and to find out their interaction with the urban
quality of life. As a case of study two pilot areas of Famagusta city in
North Cyprus, were selected: Baykal, considered as an established
urban district and Tuzla, a newly developed peri-urban district. In
order to determine urban quality of life in planning and developing of
housing areas, social and spatial aspects of selected areas have been
examined, differences between them according to the planning policy
have been pointed out, advantages and disadvantages of housing
planning have been found. As a practical implementation of the
research a number of households in each selected area have been
interviewed in order to draw a conclusion.
Abstract: Optimal cultural site selection is one of the ways that
can lead to the promotion of citizenship culture in addition to
ensuring the health and leisure of city residents. This study examines
the social and cultural needs of the community and optimal cultural
site allocation and after identifying the problems and shortcomings,
provides a suitable model for finding the best location for these
centers where there is the greatest impact on the promotion of
citizenship culture. On the other hand, non-scientific methods cause
irreversible impacts to the urban environment and citizens. But
modern efficient methods can reduce these impacts. One of these
methods is using geographical information systems (GIS). In this
study, Analytical Hierarchy Process (AHP) method was used to
locate the optimal cultural site. In AHP, three principles
(decomposition), (comparative analysis), and (combining
preferences) are used. The objectives of this research include
providing optimal contexts for passing time and performing cultural
activities by Shiraz residents and also proposing construction of some
cultural sites in different areas of the city. The results of this study
show the correct positioning of cultural sites based on social needs of
citizens. Thus, considering the population parameters and radii
access, GIS and AHP model for locating cultural centers can meet
social needs of citizens.
Abstract: Indices summarizing community structure are used to
evaluate fundamental community ecology, species interaction,
biogeographical factors, and environmental stress. Some of these
indices are insensitive to gross community changes induced by
contaminants of pollution. Diversity indices and similarity indices are
reviewed considering their ecological application, both theoretical
and practical. For some useful indices, empirical equations are given
to calculate the expected maximum value of the indices to which the
observed values can be related at any combination of sample sizes at
the experimental sites. This paper examines the effects of sample size
and diversity on the expected values of diversity indices and
similarity indices, using various formulae. It has been shown that all
indices are strongly affected by sample size and diversity. In some
indices, this influence is greater than the others and an attempt has
been made to deal with these influences.
Abstract: Eigenvector methods are gaining increasing acceptance in the area of spectrum estimation. This paper presents a successful attempt at testing and evaluating the performance of two of the most popular types of subspace techniques in determining the parameters of multiexponential signals with real decay constants buried in noise. In particular, MUSIC (Multiple Signal Classification) and minimum-norm techniques are examined. It is shown that these methods perform almost equally well on multiexponential signals with MUSIC displaying better defined peaks.