Abstract: Negation is useful in the majority of the real world applications. However, its introduction leads to semantic and canonical problems. We propose in this paper an approach based on stratification to deal with negation problems. This approach is based on an extension of predicates nets. It is characterized with two main contributions. The first concerns the management of the whole class of stratified programs. The second contribution is related to usual operations optimizations on stratified programs (maximal stratification, incremental updates ...).
Abstract: The machining performance is determined by the
frequency characteristics of the machine-tool structure and the
dynamics of the cutting process. Therefore, the prediction of dynamic
vibration behavior of spindle tool system is of great importance for the
design of a machine tool capable of high-precision and high-speed
machining. The aim of this study is to develop a finite element model
to predict the dynamic characteristics of milling machine tool and
hence evaluate the influence of the preload of the spindle bearings. To
this purpose, a three dimensional spindle bearing model of a high
speed engraving spindle tool was created. In this model, the rolling
interfaces with contact stiffness defined by Harris model were used to
simulate the spindle bearing components. Then a full finite element
model of a vertical milling machine was established by coupling the
spindle tool unit with the machine frame structure. Using this model,
the vibration mode that had a dominant influence on the dynamic
stiffness was determined. The results of the finite element simulations
reveal that spindle bearing with different preloads greatly affect the
dynamic behavior of the spindle tool unit and hence the dynamic
responses of the vertical column milling system. These results were
validated by performing vibration on the individual spindle tool unit
and the milling machine prototype, respectively. We conclude that
preload of the spindle bearings is an important component affecting
the dynamic characteristics and machining performance of the entire
vertical column structure of the milling machine.
Abstract: The Sphere Method is a flexible interior point algorithm for linear programming problems. This was developed mainly by Professor Katta G. Murty. It consists of two steps, the centering step and the descent step. The centering step is the most expensive part of the algorithm. In this centering step we proposed some improvements such as introducing two or more initial feasible solutions as we solve for the more favorable new solution by objective value while working with the rigorous updates of the feasible region along with some ideas integrated in the descent step. An illustration is given confirming the advantage of using the proposed procedure.
Abstract: In the research field of Rough Set, few papers concern the significance of attribute set. However, there is important relation between the significance of single attribute and that of attribute set, which should not be ignored. In this paper, we draw conclusions by case analysis that (1) the attribute set including single attributes with high significance is certainly significant, while, (2)the attribute set which consists of single attributes with low significance possibly has high significance. We validate the conclusions on discernibility matrix and the results demonstrate the contribution of our conclusions.
Abstract: Mixed model assembly lines (MMAL) are a type of
production line where a variety of product models similar in product
characteristics are assembled. The effective design of these lines
requires that schedule for assembling the different products is
determined. In this paper we tried to fit the sequencing problem with
the main characteristics of make to order (MTO) environment. The
problem solved in this paper is a multiple objective sequencing
problem in mixed model assembly lines sequencing using weighted
Sum Method (WSM) using GAMS software for small problem and
an effective GA for large scale problems because of the nature of
NP-hardness of our problem and vast time consume to find the
optimum solution in large problems. In this problem three practically
important objectives are minimizing: total utility work, keeping a
constant production rate variation, and minimizing earliness and
tardiness cost which consider the priority of each customer and
different due date which is a real situation in mixed model assembly
lines and it is the first time we consider different attribute to
prioritize the customers which help the company to reduce the cost of
earliness and tardiness. This mechanism is a way to apply an advance
available to promise (ATP) in mixed model assembly line sequencing
which is the main contribution of this paper.
Abstract: Real-time hand tracking is a challenging task in many
computer vision applications such as gesture recognition. This paper
proposes a robust method for hand tracking in a complex environment
using Mean-shift analysis and Kalman filter in conjunction with 3D
depth map. The depth information solve the overlapping problem
between hands and face, which is obtained by passive stereo measuring
based on cross correlation and the known calibration data of
the cameras. Mean-shift analysis uses the gradient of Bhattacharyya
coefficient as a similarity function to derive the candidate of the hand
that is most similar to a given hand target model. And then, Kalman
filter is used to estimate the position of the hand target. The results
of hand tracking, tested on various video sequences, are robust to
changes in shape as well as partial occlusion.
Abstract: Waste lubricating oil re-refining adsorption process by
different adsorbent materials was investigated. Adsorbent materials
such as oil adsorbent, egg shale powder, date palm kernel powder,
and acid activated date palm kernel powder were used. The
adsorption process over fixed amount of adsorbent at ambient
conditions was investigated. The adsorption/extraction process was
able to deposit the asphaltenic and metallic contaminants from the
waste oil to lower values. It was found that the date palm kernel
powder with contact time of 4 h was able to give the best conditions
for treating the waste oil. The recovered solvent could be also reused.
It was also found that the activated bentonite gave the best
physical properties followed by the date palm kernel powder.
Abstract: Sequential pattern mining is a challenging task in data mining area with large applications. One among those applications is mining patterns from weblog. Recent times, weblog is highly dynamic and some of them may become absolute over time. In addition, users may frequently change the threshold value during the data mining process until acquiring required output or mining interesting rules. Some of the recently proposed algorithms for mining weblog, build the tree with two scans and always consume large time and space. In this paper, we build Revised PLWAP with Non-frequent Items (RePLNI-tree) with single scan for all items. While mining sequential patterns, the links related to the nonfrequent items are not considered. Hence, it is not required to delete or maintain the information of nodes while revising the tree for mining updated transactions. The algorithm supports both incremental and interactive mining. It is not required to re-compute the patterns each time, while weblog is updated or minimum support changed. The performance of the proposed tree is better, even the size of incremental database is more than 50% of existing one. For evaluation purpose, we have used the benchmark weblog dataset and found that the performance of proposed tree is encouraging compared to some of the recently proposed approaches.
Abstract: Cardiovascular disease mostly in the form of atherosclerosis is responsible for 30% of all world deaths amounting to 17 million people per year. Atherosclerosis is due to the formation of plaque. The fatty plaque may be at risk of rupture, leading typically to stroke and heart attack. The plaque is usually associated with a high degree of lumen reduction, called a stenosis. The initiation and progression of the disease is strongly linked to the hemodynamic environment near the vessel wall. The aim of this study is to validate the flow of blood mimic through an arterial stenosis model with computational fluid dynamics (CFD) package. In experiment, an axisymmetric model constructed consists of contraction and expansion region that follow a mathematical form of cosine function. A 30% diameter reduction was used in this study. Particle image velocimetry (PIV) was used to characterize the flow. The fluid consists of rigid spherical particles suspended in waterglycerol- NaCl mixture. The particles with 20 μm diameter were selected to follow the flow of fluid. The flow at Re=155, 270 and 390 were investigated. The experimental result is compared with FLUENT simulated flow that account for viscous laminar flow model. The results suggest that laminar flow model was sufficient to predict flow velocity at the inlet but the velocity at stenosis throat at Re =390 was overestimated. Hence, a transition to turbulent regime might have been developed at throat region as the flow rate increases.
Abstract: Graph has become increasingly important in modeling
complicated structures and schemaless data such as proteins, chemical
compounds, and XML documents. Given a graph query, it is desirable
to retrieve graphs quickly from a large database via graph-based
indices. Different from the existing methods, our approach, called
VFM (Vertex to Frequent Feature Mapping), makes use of vertices
and decision features as the basic indexing feature. VFM constructs
two mappings between vertices and frequent features to answer graph
queries. The VFM approach not only provides an elegant solution to
the graph indexing problem, but also demonstrates how database
indexing and query processing can benefit from data mining,
especially frequent pattern mining. The results show that the proposed
method not only avoids the enumeration method of getting subgraphs
of query graph, but also effectively reduces the subgraph isomorphism
tests between the query graph and graphs in candidate answer set in
verification stage.
Abstract: Basic ingredients of concrete are cement, fine aggregate, coarse aggregate and water. To produce a concrete of certain specific properties, optimum proportion of these ingredients are mixed. The important factors which govern the mix design are grade of concrete, type of cement and size, shape and grading of aggregates. Concrete mix design method is based on experimentally evolved empirical relationship between the factors in the choice of mix design. Basic draw backs of this method are that it does not produce desired strength, calculations are cumbersome and a number of tables are to be referred for arriving at trial mix proportion moreover, the variation in attainment of desired strength is uncertain below the target strength and may even fail. To solve this problem, a lot of cubes of standard grades were prepared and attained 28 days strength determined for different combination of cement, fine aggregate, coarse aggregate and water. An artificial neural network (ANN) was prepared using these data. The input of ANN were grade of concrete, type of cement, size, shape and grading of aggregates and output were proportions of various ingredients. With the help of these inputs and outputs, ANN was trained using feed forward back proportion model. Finally trained ANN was validated, it was seen that it gave the result with/ error of maximum 4 to 5%. Hence, specific type of concrete can be prepared from given material properties and proportions of these materials can be quickly evaluated using the proposed ANN.
Abstract: A mathematical model for the hydrodynamics of a
surface water treatment pilot plant was developed and validated by
the determination of the residence time distribution (RTD) for the
main equipments of the unit. The well known models of ideal/real
mixing, ideal displacement (plug flow) and (one-dimensional axial)
dispersion model were combined in order to identify the structure
that gives the best fitting of the experimental data for each equipment
of the pilot plant. RTD experimental results have shown that pilot
plant hydrodynamics can be quite well approximated by a
combination of simple mathematical models, structure which is
suitable for engineering applications. Validated hydrodynamic
models will be further used in the evaluation and selection of the
most suitable coagulation-flocculation reagents, optimum operating
conditions (injection point, reaction times, etc.), in order to improve
the quality of the drinking water.
Abstract: Ultrasound is useful in demonstrating bone mineral
density of regenerating osseous tissue as well as structural alterations.
A proposed ultrasound method, which included ultrasonography and
acoustic parameters measurement, was employed to evaluate its
efficacy in monitoring the bone callus changes in a rabbit tibial
distraction osteogenesis (DO) model.
The findings demonstrated that ultrasonographic images depicted
characteristic changes of the bone callus, typical of histology findings,
during the distraction phase. Follow-up acoustic parameters
measurement of the bone callus, including speed of sound, reflection
and attenuation, showed significant linear changes over time during
the distraction phase. The acoustic parameters obtained during the
distraction phase also showed moderate to strong correlation with
consolidated bone callus density and micro-architecture measured by
micro-computed tomography at the end of the consolidation phase.
The results support the preferred use of ultrasound imaging in the
early monitoring of bone callus changes during DO treatment.
Abstract: A potential flow model is used to study the unsteady
flow past two airfoils in configuration, each of which is suddenly set
into motion. The airfoil bound vortices are modeled using lumped
vortex elements and the wake behind the airfoil is modeled by discrete
vortices. This consists of solving a steady state flow problem at each
time-step where unsteadiness is incorporated through the “zero normal
flow on a solid surface" boundary condition at every time instant.
Additionally, along with the “zero normal flow on a solid surface"
boundary condition Kelvin-s condition is used to compute the strength
of the latest wake vortex shed from the trailing edge of the airfoil.
Location of the wake vortices is updated at each time-step to get the
wake shape at each time instant. Results are presented to show the
effect of airfoil-airfoil interaction and airfoil-wake interaction on the
aerodynamic characteristics of each airfoil.
Abstract: Practices of food sharing as part of the brotherhood and hospitality interpretation have been essential part of the Kazakh ethnic culture since early times. Dialogue in time and space between Kazakhs through differences in food interpretation among the ethnic repatriates may become a link connecting them and platform for stable relations with the host society or serious barrier on the way of their integration in the Kazakhstani society. The article elucidates by the field materials how some aspects of food culture differences among ethnic Kazakhs living abroad (XUAR of China) and ethnic repatriates in Kazakhstan may influence their integration path.
Abstract: The electrical substation components are often subject to degradation due to over-voltage or over-current, caused by a short circuit or a lightning. A particular interest is given to the circuit breaker, regarding the importance of its function and its dangerous failure. This component degrades gradually due to the use, and it is also subject to the shock process resulted from the stress of isolating the fault when a short circuit occurs in the system. In this paper, based on failure mechanisms developments, the wear out of the circuit breaker contacts is modeled. The aim of this work is to evaluate its reliability and consequently its residual lifetime. The shock process is based on two random variables such as: the arrival of shocks and their magnitudes. The arrival of shocks was modeled using homogeneous Poisson process (HPP). By simulation, the dates of short-circuit arrivals were generated accompanied with their magnitudes. The same principle of simulation is applied to the amount of cumulative wear out contacts. The objective reached is to find the formulation of the wear function depending on the number of solicitations of the circuit breaker.
Abstract: A multi fingered dexterous anthropomorphic hand is
being developed by the authors. The focus of the hand is the
replacement of human operators in hazardous environments and also
in environments where zero tolerance is observed for the human
errors. The robotic hand will comprise of five fingers (four fingers
and one thumb) each having four degrees of freedom (DOF) which
can perform flexion, extension, abduction, adduction and also
circumduction. For the actuation purpose pneumatic muscles and
springs will be used. The paper exemplifies the mechanical design for
the robotic hand. It also describes different mechanical designs that
have been developed before date.
Abstract: In this work, we present a novel active learning approach
for learning a visual object detection system. Our system
is composed of an active learning mechanism as wrapper around
a sub-algorithm which implement an online boosting-based learning
object detector. In the core is a combination of a bootstrap procedure
and a semi automatic learning process based on the online boosting
procedure. The idea is to exploit the availability of classifier during
learning to automatically label training samples and increasingly
improves the classifier. This addresses the issue of reducing labeling
effort meanwhile obtain better performance. In addition, we propose
a verification process for further improvement of the classifier.
The idea is to allow re-update on seen data during learning for
stabilizing the detector. The main contribution of this empirical study
is a demonstration that active learning based on an online boosting
approach trained in this manner can achieve results comparable or
even outperform a framework trained in conventional manner using
much more labeling effort. Empirical experiments on challenging data
set for specific object deteciton problems show the effectiveness of
our approach.
Abstract: Wind catchers are traditional natural ventilation
systems attached to buildings in order to ventilate the indoor air. The
most common type of wind catcher is four sided one which is
capable to catch wind in all directions. CFD simulation is the perfect
way to evaluate the wind catcher performance. The accuracy of CFD
results is the issue of concern, so sensitivity analyses is crucial to
find out the effect of different settings of CFD on results. This paper
presents a series of 3D steady RANS simulations for a generic
isolated four-sided wind catcher attached to a room subjected to wind
direction ranging from 0º to 180º with an interval of 45º. The CFD
simulations are validated with detailed wind tunnel experiments. The
influence of an extensive range of computational parameters is
explored in this paper, including the resolution of the computational
grid, the size of the computational domain and the turbulence model.
This study found that CFD simulation is a reliable method for wind
catcher study, but it is less accurate in prediction of models with non
perpendicular wind directions.
Abstract: The world wide web coupled with the ever-increasing
sophistication of online technologies and software applications puts
greater emphasis on the need of even more sophisticated and
consistent quality requirements modeling than traditional software
applications. Web sites and Web applications (WebApps) are
becoming more information driven and content-oriented raising the
concern about their information quality (InQ). The consistent and
consolidated modeling of InQ requirements for WebApps at different
stages of the life cycle still poses a challenge. This paper proposes an
approach to specify InQ requirements for WebApps by reusing and
extending the ISO 25012:2008(E) data quality model. We also
discuss learnability aspect of information quality for the WebApps.
The proposed ISO 25012 based InQ framework is a step towards a
standardized approach to evaluate WebApps InQ.