Abstract: In recent past, the Unified Modeling Language (UML) has become the de facto industry standard for object-oriented modeling of the software systems. The syntax and semantics rich UML has encouraged industry to develop several supporting tools including those capable of generating deployable product (code) from the UML models. As a consequence, ensuring the correctness of the model/design has become challenging and extremely important task. In this paper, we present an approach for automatic verification of protocol model/design. As a case study, Session Initiation Protocol (SIP) design is verified for the property, “the CALLER will not converse with the CALLEE before the connection is established between them ". The SIP is modeled using UML statechart diagrams and the desired properties are expressed in temporal logic. Our prototype verifier “UML-SMV" is used to carry out the verification. We subjected an erroneous SIP model to the UML-SMV, the verifier could successfully detect the error (in 76.26ms) and generate the error trace.
Abstract: One of the main research methods in humanistic studies is the collection and process of data through questionnaires. This paper reports our experiences of localizing and adapting the phpESP package of electronic surveys, which led to a friendly on-line questionnaire environment offered through our department web site. After presenting the characteristics of this environment, we identify the expected benefits and present a questionnaire carried out through both the traditional and electronic way. We present the respondents' feedback and then we report the researchers' opinions.Finally, we propose ideas we intend to implement in order to further assist and enhance the research based on this web accessed,electronic questionnaire environment.
Abstract: This research attempts to study the feasibility of
augmenting an augmented reality (AR) image card on a Quick
Response (QR) code. The authors have developed a new visual tag,
which contains a QR code and an augmented AR image card. The new
visual tag has features of reading both of the revealed data of the QR
code and the instant data from the AR image card. Furthermore, a
handheld communicating device is used to read and decode the new
visual tag, and then the concealed data of the new visual tag can be
revealed and read through its visual display. In general, the QR code is
designed to store the corresponding data or, as a key, to access the
corresponding data from the server through internet. Those reveled
data from the QR code are represented in text. Normally, the AR
image card is designed to store the corresponding data in
3-Dimensional or animation/video forms. By using QR code's
property of high fault tolerant rate, the new visual tag can access those
two different types of data by using a handheld communicating device.
The new visual tag has an advantage of carrying much more data than
independent QR code or AR image card. The major findings of this
research are: 1) the most efficient area for the designed augmented AR
card augmenting on the QR code is 9% coverage area out of the total
new visual tag-s area, and 2) the best location for the augmented AR
image card augmenting on the QR code is located in the bottom-right
corner of the new visual tag.
Abstract: In this paper a fast motion estimation method for
H.264/AVC named Triplet Search Motion Estimation (TS-ME) is
proposed. Similar to some of the traditional fast motion estimation
methods and their improved proposals which restrict the search points
only to some selected candidates to decrease the computation
complexity, proposed algorithm separate the motion search process to
several steps but with some new features. First, proposed algorithm try
to search the real motion area using proposed triplet patterns instead of
some selected search points to avoid dropping into the local minimum.
Then, in the localized motion area a novel 3-step motion search
algorithm is performed. Proposed search patterns are categorized into
three rings on the basis of the distance from the search center. These
three rings are adaptively selected by referencing the surrounding
motion vectors to early terminate the motion search process. On the
other hand, computation reduction for sub pixel motion search is also
discussed considering the appearance probability of the sub pixel
motion vector. From the simulation results, motion estimation speed
improved by a factor of up to 38 when using proposed algorithm than
that of the reference software of H.264/AVC with ignorable picture
quality loss.
Abstract: The colors of the human skin represent a special
category of colors, because they are distinctive from the colors of
other natural objects. This category is found as a cluster in color
spaces, and the skin color variations between people are mostly due
to differences in the intensity. Besides, the face detection based on
skin color detection is a faster method as compared to other
techniques. In this work, we present a system to track faces by
carrying out skin color detection in four different color spaces: HSI,
YCbCr, YES and RGB. Once some skin color regions have been
detected for each color space, we label each and get some
characteristics such as size and position. We are supposing that a face
is located in one the detected regions. Next, we compare and employ
a polling strategy between labeled regions to determine the final
region where the face effectively has been detected and located.
Abstract: The optimal control problem of a linear distributed
parameter system is studied via shifted Legendre polynomials (SLPs)
in this paper. The partial differential equation, representing the
linear distributed parameter system, is decomposed into an n - set
of ordinary differential equations, the optimal control problem is
transformed into a two-point boundary value problem, and the twopoint
boundary value problem is reduced to an initial value problem
by using SLPs. A recursive algorithm for evaluating optimal control
input and output trajectory is developed. The proposed algorithm is
computationally simple. An illustrative example is given to show the
simplicity of the proposed approach.
Abstract: Double-diffusive natural convection in an open top
square cavity and heated from the side is studied numerically.
Constant temperatures and concentration are imposed along the right
and left walls while the heat balance at the surface is assumed to obey
Newton-s law of cooling. The finite difference method is used to
solve the dimensionless governing equations. The numerical results
are reported for the effect of Marangoni number, Biot number and
Prandtl number on the contours of streamlines, temperature and
concentration. The predicted results for the average Nusselt number
and Sherwood number are presented for various parametric
conditions. The parameters involved are as follows; the thermal
Marangoni number, 0 ≤ MaT ≤1000 , the solutal Marangoni number,
0 1000 c ≤ Ma ≤ , the Biot number, 0 ≤ Bi ≤ 6 , Grashof number,
5 Gr = 10 and aspect ratio 1. The study focused on both flows; thermal
dominated, N = 0.8 , and compositional dominated, N = 1.3 .
Abstract: Prior research has not effectively investigated how the
profitability of Chinese branches affect FDIs in China [1, 2], so this
study for the first time incorporates realistic earnings information
to systematically investigate effects of innovation, imitation, and
profit factors of FDI diffusions from Taiwan to China. Our nonlinear
least square (NLS) model, which incorporates earnings factors,
forms a nonlinear ordinary differential equation (ODE) in numerical
simulation programs. The model parameters are obtained through
a genetic algorithms (GA) technique and then optimized with the
collected data for the best accuracy. Particularly, Taiwanese regulatory
FDI restrictions are also considered in our modified model to meet
the realistic conditions. To validate the model-s effectiveness, this
investigation compares the prediction accuracy of modified model
with the conventional diffusion model, which does not take account
of the profitability factors.
The results clearly demonstrate the internal influence to be positive,
as early FDI adopters- consistent praises of FDI attract potential firms
to make the same move. The former erects a behavior model for the
latter to imitate their foreign investment decision. Particularly, the
results of modified diffusion models show that the earnings from
Chinese branches are positively related to the internal influence. In
general, the imitating tendency of potential consumers is substantially
hindered by the losses in the Chinese branches, and these firms would
invest less into China. The FDI inflow extension depends on earnings
of Chinese branches, and companies will adjust their FDI strategies
based on the returns. Since this research has proved that earning is
an influential factor on FDI dynamics, our revised model explicitly
performs superior in prediction ability than conventional diffusion
model.
Abstract: This analysis investigates the distortion of flow
measurement and the increase of cavitation along orifice
flowmeter. The analysis using the numerical method (CFD)
validated the distortion of flow measurement through the inlet
velocity profile considering the convergence and grid
dependency. Realizable k-e model was selected and y+ was
about 50 in this numerical analysis. This analysis also estimated
the vulnerability of cavitation effect due to inlet velocity profile.
The investigation concludes that inclined inlet velocity profile
could vary the pressure which was measured at pressure tab
near pipe wall and it led to distort the pressure values ranged
from -3.8% to 5.3% near the orifice plate and to make the
increase of cavitation. The investigation recommends that the
fully developed inlet velocity flow is beneficial to accurate flow
measurement in orifice flowmeter.
Abstract: Carbon nanotubes (CNTs) possess unique structural,
mechanical, thermal and electronic properties, and have been
proposed to be used for applications in many fields. However, to
reach the full potential of the CNTs, many problems still need to be
solved, including the development of an easy and effective
purification procedure, since synthesized CNTs contain impurities,
such as amorphous carbon, carbon nanoparticles and metal particles.
Different purification methods yield different CNT characteristics
and may be suitable for the production of different types of CNTs. In
this study, the effect of different purification chemicals on carbon
nanotube quality was investigated. CNTs were firstly synthesized by
chemical vapor deposition (CVD) of acetylene (C2H2) on a
magnesium oxide (MgO) powder impregnated with an iron nitrate
(Fe(NO3)3·9H2O) solution. The synthesis parameters were selected
as: the synthesis temperature of 800°C, the iron content in the
precursor of 5% and the synthesis time of 30 min. The liquid phase
oxidation method was applied for the purification of the synthesized
CNT materials. Three different acid chemicals (HNO3, H2SO4, and
HCl) were used in the removal of the metal catalysts from the
synthesized CNT material to investigate the possible effects of each
acid solution to the purification step. Purification experiments were
carried out at two different temperatures (75 and 120 °C), two
different acid concentrations (3 and 6 M) and for three different time
intervals (6, 8 and 15 h). A 30% H2O2 : 3M HCl (1:1 v%) solution
was also used in the purification step to remove both the metal
catalysts and the amorphous carbon. The purifications using this
solution were performed at the temperature of 75°C for 8 hours.
Purification efficiencies at different conditions were evaluated by
thermogravimetric analysis. Thermal and electrical properties of
CNTs were also determined. It was found that the obtained electrical
conductivity values for the carbon nanotubes were typical for organic
semiconductor materials and thermal stabilities were changed
depending on the purification chemicals.
Abstract: The effects of ethylene (C2H4) feed position and
O2/C2H4 feed molar ratio on ethylene epoxidation in a parallel
dielectric barrier discharge (DBD) were studied. The results showed
that the ethylene feed position fraction of 0.5 and the feed molar
ratio of O2/C2H4 of 0.2:1 gave the highest EO selectivity of 34.3%
and the highest EO yield of 5.28% with low power consumptions of
2.11×10-16 Ws/molecule of ethylene converted and 6.34×10-16
Ws/molecule of EO produced when the DBD system was operated
under the best conditions: an applied voltage of 19 kV, an input
frequency of 500 Hz and a total feed flow rate of 50 cm3/min. The
separate ethylene feed system provided much higher epoxidation
activity as compared to the mixed feed system which gave EO
selectivity of 15.5%, EO yield of 2.1% and the power consumption of
EO produced of 7.7×10-16 Ws/molecule.
Abstract: Understanding of how and where NOx formation
occurs in industrial burner is very important for efficient and clean
operation of utility burners. Also the importance of this problem is
mainly due to its relation to the pollutants produced by more burners
used widely of gas turbine in thermal power plants and glass and steel
industry.
In this article, a numerical model of an industrial burner operating
in MILD combustion is validated with experimental data.. Then
influence of air flow rate and air temperature on combustor
temperature profiles and NOX product are investigated. In order to
modification this study reports on the effects of fuel and air dilution
(with inert gases H2O, CO2, N2), and also influence of lean-premixed
of fuel, on the temperature profiles and NOX emission.
Conservation equations of mass, momentum and energy, and
transport equations of species concentrations, turbulence, combustion
and radiation modeling in addition to NO modeling equations were
solved together to present temperature and NO distribution inside the
burner.
The results shows that dilution, cause to a reduction in value of
temperature and NOX emission, and suppresses any flame
propagation inside the furnace and made the flame inside the furnace
invisible. Dilution with H2O rather than N2 and CO2 decreases further
the value of the NOX. Also with raise of lean-premix level, local
temperature of burner and the value of NOX product are decreases
because of premixing prevents local “hot spots" within the combustor
volume that can lead to significant NOx formation. Also leanpremixing
of fuel with air cause to amount of air in reaction zone is
reach more than amount that supplied as is actually needed to burn
the fuel and this act lead to limiting NOx formation
Abstract: Design and evaluation of reciprocating compressors
should include a pulsation study. The object is to ensure that
predicted pulsation levels meet guidelines to limit vibration, shaking
forces, noise, associated pressure drops, horsepower losses and
fabrication cost and time to acceptable levels. This paper explains
procedures and recommendations to select and size pulsation
suppression devices to obtain optimum arrangement in terms of
pulsation, vibration, shaking forces, performance, reliability, safety,
operation, maintenance and commercial conditions. Model and
advanced formulations for pulsation study are presented. The effect
of the full fluid dynamic model on the prediction of pulsation waves
and resulting frequency spectrum distributions are discussed.
Advanced and optimum methods of controlling pulsations are
highlighted. Useful recommendations and guidelines for pulsation
control, piping pulsation analysis, pulsation vessel design, shaking
forces, low pressure drop orifices, pulsation study report and devices
to mitigate pulsation and shaking problems are discussed.
Abstract: Physiological control of a left ventricle assist device (LVAD) is generally a complicated task due to diverse operating environments and patient variability. In this work, a tracking control algorithm based on sliding mode and feed forward control for a class of discrete-time single input single output (SISO) nonlinear uncertain systems is presented. The controller was developed to track the reference trajectory to a set operating point without inducing suction in the ventricle. The controller regulates the estimated mean pulsatile flow Qp and mean pulsatility index of pump rotational speed PIω that was generated from a model of the assist device. We recall the principle of the sliding mode control theory then we combine the feed-forward control design with the sliding mode control technique to follow the reference trajectory. The uncertainty is replaced by its upper and lower boundary. The controller was tested in a computer simulation covering two scenarios (preload and ventricular contractility). The simulation results prove the effectiveness and the robustness of the proposed controller
Abstract: Every 2-3 years the influenza B virus serves
epidemics. Neuraminidase (NA) is an important target for influenza
drug design. Although, oseltamivir, an oral neuraminidase drug, has
been shown good inhibitory efficiency against wild-type of influenza
B virus, the lower susceptibility to the R152K mutation has been
reported. Better understanding of oseltamivir efficiency and
resistance toward the influenza B NA wild-type and R152K mutant,
respectively, could be useful for rational drug design. Here, two
complex systems of wild-type and R152K NAs with oseltamivir
bound were studied using molecular dynamics (MD) simulations.
Based on 5-ns MD simulation, the loss of notable hydrogen bond and
decrease in per-residue decomposition energy from the mutated
residue K152 contributed to drug compared to those of R152 in wildtype
were found to be a primary source of high-level of oseltamivir
resistance due to the R152K mutation.
Abstract: The main objective of seismic rehabilitation in the
foundations is decreasing the range of horizontal and vertical
vibrations and omitting high frequencies contents under the seismic
loading. In this regard, the advantages of micropiles network is
utilized. Reduction in vibration range of foundation can be achieved
by using high dynamic rigidness module such as deep foundations. In
addition, natural frequency of pile and soil system increases in regard
to rising of system rigidness. Accordingly, the main strategy is
decreasing of horizontal and vertical seismic vibrations of the
structure. In this case, considering the impact of foundation, pile and
improved soil foundation is a primary concern. Therefore, in this
paper, effective factors are studied on the seismic rehabilitation of
foundations applying network micropiles in sandy soils with
nonlinear reaction.
Abstract: In this paper we present a novel technique for data
hiding in binary document images. We use the concept of entropy in
order to identify document specific least distortive areas throughout
the binary document image. The document image is treated as any
other image and the proposed method utilizes the standard document
characteristics for the embedding process. Proposed method
minimizes perceptual distortion due to embedding and allows
watermark extraction without the requirement of any side information
at the decoder end.
Abstract: A model of a system concerning one species of demersal
(inshore) fish and one of pelagic (offshore) fish undergoing fishing
restricted by marine protected areas is proposed in this paper. This
setup was based on the FISH-BE model applied to the Tabina fishery
in Zamboanga del Sur, Philippines. The components of the model
equations have been adapted from widely-accepted mechanisms in
population dynamics. The model employs Gompertz-s law of growth
and interaction on each type of protected and unprotected subpopulation.
Exchange coefficients between protected and unprotected
areas were assumed to be proportional to the relative area of the
entry region. Fishing harvests were assumed to be proportional to
both the number of fishers and the number of unprotected fish. An
extra term was included for the pelagic population to allow for the
exchange between the unprotected area and the outside environment.
The systems were found to be bounded for all parameter values. The
equations for the steady state were unsolvable analytically but the
existence and uniqueness of non-zero steady states can be proven.
Plots also show that an MPA size yielding the maximum steady state
of the unprotected population can be found. All steady states were
found to be globally asymptotically stable for the entire range of
parameter values.
Abstract: As a learning theory tries to borrow from science a framework to found its method, it shows paradoxes and paralysing contraddictions. This results, on one hand, from adopting a learning/teaching model as it were a mere “transfer of data" (mechanical learning approach), and on the other hand from borrowing the complexity theory (an indeterministic and non-linear model), that risks to vanish every educational effort. This work is aimed at describing existing criticism, unveiling the antinomic nature of such paradoxes, focussing on a view where neither the mechanical learning perspective nor the chaotic and nonlinear model can threaten and jeopardize the educational work. Author intends to go back over the steps that led to these paradoxes and to unveil their antinomic nature. Actually this could serve the purpose to explain some current misunderstandings about the real usefulness of Ict within the youth-s learning process and growth.
Abstract: The numerical simulation of the slip effect via
vicoelastic fluid for 4:1 contraction problem is investigated with
regard to kinematic behaviors of streamlines and stress tensor by
models of the Navier-Stokes and Oldroyd-B equations. Twodimensional
spatial reference system of incompressible creeping flow
with and without slip velocity is determined and the finite element
method of a semi-implicit Taylor-Galerkin pressure-correction is
applied to compute the problem of this Cartesian coordinate system
including the schemes of velocity gradient recovery method and the
streamline-Upwind / Petrov-Galerkin procedure. The slip effect at
channel wall is added to calculate after each time step in order to
intend the alteration of flow path. The result of stress values and the
vortices are reduced by the optimum slip coefficient of 0.1 with near
the outcome of analytical solution.