Abstract: Considering the theory of attribute grammars, we use
logical formulas instead of traditional functional semantic rules.
Following the decoration of a derivation tree, a suitable algorithm
should maintain the consistency of the formulas together with the
evaluation of the attributes. This may be a Prolog-like resolution, but
this paper examines a somewhat different strategy, based on
production specialization, local consistency and propagation: given a
derivation tree, it is interactively decorated, i.e. incrementally
checked and evaluated. The non-directed dependencies are
dynamically directed during attribute evaluation.
Abstract: Group contribution methods such as the UNIFAC are
of major interest to researchers and engineers involved synthesis,
feasibility studies, design and optimization of separation processes as
well as other applications of industrial use. Reliable knowledge of
the phase equilibrium behavior is crucial for the prediction of the fate
of the chemical in the environment and other applications. The
objective of this study was to predict the solubility of selected
volatile organic compounds (VOCs) in glycol polymers and
biodiesel. Measurements can be expensive and time consuming,
hence the need for thermodynamic models. The results obtained in
this study for the infinite dilution activity coefficients compare very
well those published in literature obtained through measurements. It
is suggested that in preliminary design or feasibility studies of
absorption systems for the abatement of volatile organic compounds,
prediction procedures should be implemented while accurate fluid
phase equilibrium data should be obtained from experiment.
Abstract: Detecting object in video sequence is a challenging
mission for identifying, tracking moving objects. Background
removal considered as a basic step in detected moving objects tasks.
Dual static cameras placed in front and rear moving platform
gathered information which is used to detect objects. Background
change regarding with speed and direction moving platform, so
moving objects distinguished become complicated. In this paper, we
propose framework allows detection moving object with variety of
speed and direction dynamically. Object detection technique built on
two levels the first level apply background removal and edge
detection to generate moving areas. The second level apply Moving
Areas Filter (MAF) then calculate Correlation Score (CS) for
adjusted moving area. Merging moving areas with closer CS and
marked as moving object. Experiment result is prepared on real scene
acquired by dual static cameras without overlap in sense. Results
showing accuracy in detecting objects compared with optical flow
and Mixture Module Gaussian (MMG), Accurate ratio produced to
measure accurate detection moving object.
Abstract: The effect of streamwise conduction on the thermal
characteristics of forced convection for nanofluidic flow in
rectangular microchannel heat sinks under isothermal wall has been
investigated. By applying the fin approach, models with and without
streamwise conduction term in the energy equation were developed
for hydrodynamically and thermally fully-developed flow. These two
models were solved to obtain closed form analytical solutions for the
nanofluid and solid wall temperature distributions and the analysis
emphasized details of the variations induced by the streamwise
conduction on the nanofluid heat transport characteristics. The effects
of the Peclet number, nanoparticle volume fraction, thermal
conductivity ratio on the thermal characteristics of forced convection
in microchannel heat sinks are analyzed. Due to the anomalous
increase in the effective thermal conductivity of nanofluid compared
to its base fluid, the effect of streamwise conduction is expected to be
more significant. This study reveals the significance of the effect of
streamwise conduction under certain conditions of which the
streamwise conduction should not be neglected in the forced
convective heat transfer analysis of microchannel heat sinks.
Abstract: Recurrence of aneurysm rupture can be attributed to
coil migration and compaction. In order to verify the effects of
hemodynamics on coil compaction and migration, we analyze the
forces and displacements on the coil bundle using a computational
method. Lateral aneurysms partially filled coils are modeled, and
blood flow fields and coil deformations are simulated considering
fluid and solid interaction. Effects of aneurysm neck size and parent
vessel geometry are also investigated. The results showed that coil
deformation was larger in the aneurysms with a wider neck. Parent
vessel geometry and aneurysm neck size also affected mean pressure
force profiles on the coil surface. Pressure forces were higher in wide
neck models with curved parent vessel geometry. Simulation results
showed that coils in the wide neck aneurysm with a curved parent
vessel may be displaced and compacted more easily.
Abstract: Message Passing Interface is widely used for Parallel
and Distributed Computing. MPICH and LAM are popular open
source MPIs available to the parallel computing community also
there are commercial MPIs, which performs better than MPICH etc.
In this paper, we discuss a commercial Message Passing Interface, CMPI
(C-DAC Message Passing Interface). C-MPI is an optimized
MPI for CLUMPS. It is found to be faster and more robust compared
to MPICH. We have compared performance of C-MPI and MPICH
on Gigabit Ethernet network.
Abstract: In recent years, the underground water sources in
southern Taiwan have become salinized because of saltwater
intrusions. This study explores the adsorption characteristics of
activated carbon on salinizing inorganic salts using isothermal
adsorption experiments and provides a model analysis. The
temperature range for the isothermal adsorption experiments ranged
between 5 to 45 ℃, and the amount adsorbed varied between 28.21 to
33.87 mg/g. All experimental data of adsorption can be fitted to both
the Langmuir and the Freundlich models. The thermodynamic
parameters for per chlorate onto granular activated carbon were
calculated as -0.99 to -1.11 kcal/mol for DG°, -0.6 kcal/mol for DH°,
and 1.21 to 1.84 kcal/mol for DS°. This shows that the adsorption
process of granular activated carbon is spontaneously exothermic. The
observation of adsorption behaviors under low ionic strength, low pH
values, and low temperatures is beneficial to the adsorption removal of
perchlorate with granular activated carbon.
Abstract: Providing Services at Home has become over the last
few years a very dynamic and promising technological domain. It is
likely to enable wide dissemination of secure and automated living
environments. We propose a methodology for identifying threats to
Services at Home Delivery systems, as well as a threat analysis
of a multi-provider Home Gateway architecture. This methodology
is based on a dichotomous positive/preventive study of the target
system: it aims at identifying both what the system must do, and
what it must not do. This approach completes existing methods with
a synthetic view of potential security flaws, thus enabling suitable
measures to be taken into account. Security implications of the
evolution of a given system become easier to deal with. A prototype
is built based on the conclusions of this analysis.
Abstract: The hydrodynamic processes in bubbly liquid flowing
in tubes and nozzles are studied theoretically and numerically. The
principal regularities of non-stationary processes of boiling liquid
outflow are established under conditions of experiments when the
depressurization of a tube with high pressure inside occurs. The
steady-state solution of bubbly liquid flow in the nozzle of round
cross section with high pressure and temperature conditions inside
bubbles is studied accounting for phase transition and chemical
reactions.
Abstract: The interdependences among stock market indices
were studied for a long while by academics in the entire world. The
current financial crisis opened the door to a wide range of opinions
concerning the understanding and measurement of the connections
considered to provide the controversial phenomenon of market
integration. Using data on the log-returns of 17 stock market indices
that include most of the CEE markets, from 2005 until 2009, our
paper studies the problem of these dependences using a new
methodological tool that takes into account both the volatility
clustering effect and the stochastic properties of these linkages
through a Dynamic Conditional System of Simultaneous Equations.
We find that the crisis is well captured by our model as it provides
evidence for the high volatility – high dependence effect.
Abstract: Recently, with the appearance of smart cards, many
user authentication protocols using smart card have been proposed to
mitigate the vulnerabilities in user authentication process. In 2004,
Das et al. proposed a ID-based user authentication protocol that is
secure against ID-theft and replay attack using smart card. In 2009,
Wang et al. showed that Das et al.-s protocol is not secure to randomly
chosen password attack and impersonation attack, and proposed an
improved protocol. Their protocol provided mutual authentication and
efficient password management. In this paper, we analyze the security
weaknesses and point out the vulnerabilities of Wang et al.-s protocol.
Abstract: Equilibrium and rate based models have been applied
in the simulation of methyl tertiary-butyl ether (MTBE) synthesis
through reactive distillation. Temperature and composition profiles
were compared for both the models and found that both the profiles
trends, though qualitatively similar are significantly different
quantitatively. In the rate based method (RBM), multicomponent
mass transfer coefficients have been incorporated to describe
interphase mass transfer. MTBE mole fraction in the bottom stream is
found to be 0.9914 in the Equilibrium Model (EQM) and only 0.9904
for RBM when the same column configuration was preserved. The
individual tray efficiencies were incorporated in the EQM and
simulations were carried out. Dynamic simulation have been also
carried out for the two column configurations and compared.
Abstract: The present work describes a computational study of
aerodynamic characteristics of GLC305 airfoil clean and with 16.7
min ice shape (rime 212) and 22.5 min ice shape (glaze 944).The
performance of turbulence models SA, Kε, Kω Std, and Kω SST
model are observed against experimental flow fields at different
Mach numbers 0.12, 0.21, 0.28 in a range of Reynolds numbers
3x106, 6x106, and 10.5x106 on clean and iced aircraft airfoil
GLC305. Numerical predictions include lift, drag and pitching
moment coefficients at different Mach numbers and at different angle
of attacks were done. Accuracy of solutions with respect to the
effects of turbulence models, variation of Mach number, initial
conditions, grid resolution and grid spacing near the wall made the
study much sensitive. Navier Stokes equation based computational
technique is used. Results are very close to the experimental results.
It has seen that SA and SST models are more efficient than Kε and
Kω standard in under study problem.
Abstract: Gas condensate Reservoirs show complicated thermodynamic behavior when their pressure reduces to under dew point pressure. Condensate blockage around the producing well cause significant reduction of production rate as well bottom-hole pressure drops below saturation pressure. The main objective of this work was to examine the well test analysis of naturally fractured lean gas condensate reservoir and investigate the effect of condensate formed around the well-bore on behavior of single phase pseudo pressure and its derivative curves. In this work a naturally fractured lean gas condensate reservoir is simulated with compositional simulator. Different sensitivity analysis done on Corry parameters and result of simulator is feed to analytical well testing software. For consideration of these phenomena eighteen compositional models with Capillary number effect are constructed. Matrix relative permeability obeys Corry relative permeability and relative permeability in fracture is linear. Well testing behavior of these models are studied and interpreted. Results show different sensitivity analysis on relative permeability of matrix does not have strong effect on well testing behavior even most part of the matrix around the well is occupied with condensate.
Abstract: This paper has as its main aim to analyse how
corporate web pages can become an essential tool in order to detect
strategic trends by firms or sectors, and even a primary source for
benchmarking. This technique has made it possible to identify the key
issues in the strategic management of the most excellent large Spanish
firms and also to describe trends in their long-range planning, a way of
working that can be generalised to any country or firm group. More
precisely, two objectives were sought. The first one consisted in showing
the way in which corporate websites make it possible to obtain direct
information about the strategic variables which can define firms. This
tool is dynamic (since web pages are constantly updated) as well as
direct and reliable, since the information comes from the firm itself, not
from comments of third parties (such as journalists, academicians,
consultants...). When this information is analysed for a group of firms,
one can observe their characteristics in terms of both managerial tasks
and business management. As for the second objective, the methodology
proposed served to describe the corporate profile of the large Spanish
enterprises included in the Ibex35 (the Ibex35 or Iberia Index is the
reference index in the Spanish Stock Exchange and gathers periodically
the 35 most outstanding Spanish firms). An attempt is therefore made to
define the long-range planning that would be characteristic of the largest
Spanish firms.
Abstract: The present paper is oriented to classification and application of agent technique in simulation of anticipatory systems, namely those that use simulation models for the aid of anticipation. The main ideas root in the fact that the best way for description of computer simulation models is the technique of describing the simulated system itself (and the translation into the computer code is provided as automatic), and that the anticipation itself is often nested.
Abstract: Nowadays, offshore's complicated facilities need their
own communications requirements. Nevertheless, developing and
real-world applications of new communications technology are faced
with tremendous problems for new technology users, developers and
implementers. Traditional systems engineering cannot be capable to
develop a new technology effectively because it does not consider
the dynamics of the process. This paper focuses on the design of a
holistic model that represents the dynamics of new communication
technology development within offshore industry. The model shows
the behavior of technology development efforts. Furthermore,
implementing this model, results in new and useful insights about the
policy option analysis for developing a new communications
technology in offshore industry.
Abstract: The aim of the article is extending and developing
econometrics and network structure based methods which are able to
distinguish price manipulation in Tehran stock exchange. The
principal goal of the present study is to offer model for
approximating price manipulation in Tehran stock exchange. In order
to do so by applying separation method a sample consisting of 397
companies accepted at Tehran stock exchange were selected and
information related to their price and volume of trades during years
2001 until 2009 were collected and then through performing runs
test, skewness test and duration correlative test the selected
companies were divided into 2 sets of manipulated and non
manipulated companies. In the next stage by investigating
cumulative return process and volume of trades in manipulated
companies, the date of starting price manipulation was specified and
in this way the logit model, artificial neural network, multiple
discriminant analysis and by using information related to size of
company, clarity of information, ratio of P/E and liquidity of stock
one year prior price manipulation; a model for forecasting price
manipulation of stocks of companies present in Tehran stock
exchange were designed. At the end the power of forecasting models
were studied by using data of test set. Whereas the power of
forecasting logit model for test set was 92.1%, for artificial neural
network was 94.1% and multi audit analysis model was 90.2%;
therefore all of the 3 aforesaid models has high power to forecast
price manipulation and there is no considerable difference among
forecasting power of these 3 models.
Abstract: One of the major problems in genomic field is to perform sequence comparison on DNA and protein sequences. Executing sequence comparison on the DNA and protein data is a computationally intensive task. Sequence comparison is the basic step for all algorithms in protein sequences similarity. Parallel computing is an attractive solution to provide the computational power needed to speedup the lengthy process of the sequence comparison. Our main research is to enhance the protein sequence algorithm using dynamic programming method. In our approach, we parallelize the dynamic programming algorithm using multithreaded program to perform the sequence comparison and also developed a distributed protein database among many PCs using Remote Method Interface (RMI). As a result, we showed how different sizes of protein sequences data and computation of scoring matrix of these protein sequence on different number of processors affected the processing time and speed, as oppose to sequential processing.
Abstract: This work develops a novel intelligent “model of dynamic decision-making" usingcell assemblies network architecture in robot's movement. The “model of dynamic decision-making" simulates human decision-making, and follows commands to make the correct decisions. The cell assemblies approach consisting of fLIF neurons was used to implement tasks for finding targets and avoiding obstacles. Experimental results show that the cell assemblies approach of can be employed to efficiently complete finding targets and avoiding obstacles tasks and can simulate the human thinking and the mode of information transactions.