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: 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: 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: In this paper, parallel interface for microprocessor
trainer was implemented. A programmable parallel–port device such
as the IC 8255A is initialized for simple input or output and for
handshake input or output by choosing kinds of modes. The hardware
connections and the programs can be used to interface
microprocessor trainer and a personal computer by using IC 8255A.
The assembly programs edited on PC-s editor can be downloaded to
the trainer.
Abstract: With the advent of DSL services, high data rates are now available over phone lines, yet higher rates are in demand. In this paper, we optimize the transmit filters that can be used over wireline channels. Results showing the bit error rates when optimized filters are used, and with a decision feedback equalizer (DFE) employed in the receiver, are given. We then show that significantly higher throughput can be achieved by modeling the channel as a multiple input multiple output (MIMO) channel. A receiver that employs a MIMO-DFE that deals jointly with several users is proposed and shown to provide significant improvement over the conventional DFE.
Abstract: This paper deals with the application for contentbased
image retrieval to extract color feature from natural images
stored in the image database by segmenting the image through
clustering. We employ a class of nonparametric techniques in which
the data points are regarded as samples from an unknown probability
density. Explicit computation of the density is avoided by using the
mean shift procedure, a robust clustering technique, which does not
require prior knowledge of the number of clusters, and does not
constrain the shape of the clusters. A non-parametric technique for
the recovery of significant image features is presented and
segmentation module is developed using the mean shift algorithm to
segment each image. In these algorithms, the only user set parameter
is the resolution of the analysis and either gray level or color images
are accepted as inputs. Extensive experimental results illustrate
excellent performance.
Abstract: This article proposes a novel Pareto-based multiobjective
meta-heuristic algorithm named non-dominated ranking
genetic algorithm (NRGA) to solve multi-facility location-allocation
problem. In NRGA, a fitness value representing rank is assigned to
each individual of the population. Moreover, two features ranked
based roulette wheel selection including select the fronts and choose
solutions from the fronts, are utilized. The proposed solving
methodology is validated using several examples taken from the
specialized literature. The performance of our approach shows that
NRGA algorithm is able to generate true and well distributed Pareto
optimal solutions.
Abstract: Degradation of polymeric insulation systems of
electrical equipments increases the space charge density and the
concentration of electrical dipoles. By consequence, the maximum
values and the slopes of absorption/resorption (A/R) currents can
change with insulation systems ageing. In this paper, an analysis of
the nature of the A/R currents and the importance of their
components, especially the polarization current and the current given
by the space charge, is presented. The experimental study concerns
the A/R currents measurements of plane samples (made from
CALMICAGLAS tapes), virgin and thermally accelerated aged. The
obtained results show that the ageing process produces an increase of
the values and a decrease of shapes of the A/R currents. Finally, the
possibility of estimating insulations ageing state and lifetime from
A/R currents measurements is discussed.
Abstract: This work aims to test the application of computational fluid dynamics (CFD) modeling to fixed bed catalytic cracking reactors. Studies of CFD with a fixed bed design commonly use a regular packing with N=2 to define bed geometry. CFD allows us to obtain a more accurate view of the fluid flow and heat transfer mechanisms present in fixed bed equipment. Naphtha was used as feedstock and the reactor length was 80cm. It is divided in three sections that catalyst bed packed in the middle section of the reactor. The reaction scheme was involved one primary reaction and 24 secondary reactions. Because of high CPU times in these simulations, parallel processing have been used. In this study the coke formation process in fixed bed and empty tube reactor was simulated and coke in these reactors are compared. In addition, the effect of steam ratio and feed flow rate on coke formation was investigated.
Abstract: Character segmentation is an important preprocessing
step for text recognition. In degraded documents, existence of
touching characters decreases recognition rate drastically, for any
optical character recognition (OCR) system. In this paper we have
proposed a complete solution for segmenting touching characters in
all the three zones of printed Gurmukhi script. A study of touching
Gurmukhi characters is carried out and these characters have been
divided into various categories after a careful analysis. Structural
properties of the Gurmukhi characters are used for defining the
categories. New algorithms have been proposed to segment the
touching characters in middle zone, upper zone and lower zone.
These algorithms have shown a reasonable improvement in
segmenting the touching characters in degraded printed Gurmukhi
script. The algorithms proposed in this paper are applicable only to
machine printed text. We have also discussed a new and useful
technique to segment the horizontally overlapping lines.
Abstract: The main objective of our study is to collect data
about the profile of the asthmatic patients in Assam and thereby have
a comprehensive knowledge of the factors influencing the asthmatic
patients of the state and their medication pattern. We developed a
search strategy to find any publication about the community based
survey asthma related and used. These to search the MEDLINE
(1996 to current literature) CINAHL DOAJ pubmed databases using
the key phrases, Asthma, Respiratory disorders, Drug therapy of
Asthma, database decision support system and asthma. The
appropriate literature was printed out from the online source and
library (Journal) source. The study was conducted through a set of
structured and non-structured questionnaires targeted on the
asthmatic patients belonging to the rural and urban areas of Assam,
during the month of Dec 2006 to July 2007, 138 cases were studied
in Gauwathi Medical College & Hospital located in Bhangagarh,
Assam in India. The demographic characteristics a factor in 138
patients with asthma with allergic rhinitis (cases) gives the detail
profile of asthmatic patient-s distribution of Assam as classified on
the basis of age and sex. It is evident from the study that male
populations (66%) are more prone to asthma as compared to the
females (34%).Another striking features that emerged from this
survey is the maximum prevalence of asthma in the age group of 20-
30 years followed by infants belonging to the age group of 7 (0.05%)
0-10years among both male and female populations of Assam. The
high incidence of asthma in the age group of 20-30 years may
probably be due to the allergy arising out of sudden exposure to dust
and pollen which the children face while playing and going to the
school. The rural females in the age group of 30-40 years are more
prone to asthma than urban females in the same age group may be
due to sex differentiation among the tribal population of the state.
Pharmacists should educate the asthmatics how to use inhalers
considering growing menace of asthma in the state. Safer drugs
should be produced in the form of aerosol so that easy administration
by the asthmatic patients and physicians of the state is possible for
curing asthma. The health centers should be more equipped with the
medicines to cure asthma in the state like Assam.
Abstract: Due to important issues, such as deadlock, starvation,
communication, non-deterministic behavior and synchronization,
concurrent systems are very complex, sensitive, and error-prone.
Thus ensuring reliability and accuracy of these systems is very
essential. Therefore, there has been a big interest in the formal
specification of concurrent programs in recent years. Nevertheless,
some features of concurrent systems, such as dynamic process
creation, scheduling and starvation have not been specified formally
yet. Also, some other features have been specified partially and/or
have been described using a combination of several different
formalisms and methods whose integration needs too much effort. In
other words, a comprehensive and integrated specification that could
cover all aspects of concurrent systems has not been provided yet.
Thus, this paper makes two major contributions: firstly, it provides a
comprehensive formal framework to specify all well-known features
of concurrent systems. Secondly, it provides an integrated
specification of these features by using just a single formal notation,
i.e., the Z language.
Abstract: The present paper deals with the experimental and
computational study of axial collapse of the aluminum metallic shells
having combined tube-frusta geometry between two parallel plates.
Shells were having bottom two third lengths as frusta and remaining
top one third lengths as tube. Shells were compressed to recognize
their modes of collapse and associated energy absorption capability.
An axisymmetric Finite Element computational model of collapse
process is presented and analysed, using a non-linear FE code
FORGE2. Six noded isoparametric triangular elements were used to
discretize the deforming shell. The material of the shells was
idealized as rigid visco-plastic. To validate the computational model
experimental and computed results of the deformed shapes and their
corresponding load-compression and energy-compression curves
were compared. With the help of the obtained results progress of the
axisymmetric mode of collapse has been presented, analysed and
discussed.
Abstract: When it comes to last, it is regarded as the critical
foundation of shoe design and development. A computer aided
methodology for various last form designs is proposed in this study.
The reverse engineering is mainly applied to the process of scanning
for the last form. Then with the minimum energy for revision of
surface continuity, the surface reconstruction of last is rebuilt by the
feature curves of the scanned last. When the surface reconstruction of
last is completed, the weighted arithmetic mean method is applied to
the computation on the shape morphing for the control mesh of last,
thus 3D last form of different sizes is generated from its original form
feature with functions remained. In the end, the result of this study is
applied to an application for 3D last reconstruction system. The
practicability of the proposed methodology is verified through later
case studies.
Abstract: Digital broadcasting has been an area of active
research, development, innovation and business models development
in recent years. This paper presents a survey on the characteristics of
the digital terrestrial television broadcasting (DTTB) standards, and
implementation status of DTTB worldwide showing the standards
adopted. It is clear that only the developed countries and some in the
developing ones shall be able to beat the ITU set analogue to digital
broadcasting migration deadline because of the challenges that these
countries faces in digitizing their terrestrial broadcasting. The
challenges to keep on track the DTTB migration plan are also
discussed in this paper. They include financial, technology gap,
policies alignment with DTTB technology, etc. The reported
performance comparisons for the different standards are also
presented. The interesting part is that the results for many
comparative studies depends to a large extent on the objective behind
such studies, hence counter claims are common.
Abstract: This study shows the effect of carbon towards
molybdenum carbide alloy when exposed to Microwave. This
technique is also known as Microwave Induced Alloying (MIA) for
the preparation of molybdenum carbide. In this study ammonium
heptamolybdate solution and carbon black powder were
heterogeneously mixed and exposed to microwave irradiation for 2
minutes. The effect on amount of carbon towards the produced alloy
on morphological and oxidation states changes during microwave is
presented. In this experiment, it is expected carbon act as a reducing
agent with the ratio 2:7 molybdenum to carbon as the optimum for
the production of molybdenum carbide alloy. All the morphological
transformations and changes in this experiment were followed and
characterized using X-Ray Diffraction and FESEM.
Abstract: Within the new world order, the term “crisis" is nowadays familiar to companies. Organizations are experiencing conditions which are surprising, uncertain, often adverse and usually unstable. The companies, who grasp the importance of transformation within the information age, have felt the need to develop modern methods to achieve the ability to thrive despite severe shocks. Through strategically managing human resource and developing appropriate elements of human resource system, companies can be assured for resolving the crisis. In this paper the role of HR system on resolving crisis has been evaluated. To help accomplish this, an insight on previous strategic HRM literature and an introduction to the elements and relationship within HR systems has been presented. It also reviews different attitude around resilience in literature. It continues by reviewing three elements central to developing an organization-s capacity for crisis resolving and it will demonstrate how designing proper elements of HR system can lead the organizations to possess the ability for passing through crisis. Finally it will evaluate an Iranian Insurance organization in case of one of the three central elements (specific cognitive ability) and observe how successful they were on developing an effective HR system to be ready for facing crisis.
Abstract: Although lots of research work has been done for
human pose recognition, the view-point of cameras is still critical
problem of overall recognition system. In this paper, view-point
insensitive human pose recognition is proposed. The aims of the
proposed system are view-point insensitivity and real-time processing.
Recognition system consists of feature extraction module, neural
network and real-time feed forward calculation. First, histogram-based
method is used to extract feature from silhouette image and it is
suitable for represent the shape of human pose. To reduce the
dimension of feature vector, Principle Component Analysis(PCA) is
used. Second, real-time processing is implemented by using Compute
Unified Device Architecture(CUDA) and this architecture improves
the speed of feed-forward calculation of neural network. We
demonstrate the effectiveness of our approach with experiments on
real environment.
Abstract: In this paper, we proposed the distribution of mesh
normal vector direction as a feature descriptor of a 3D model. A
normal vector shows the entire shape of a model well. The
distribution of normal vectors was sampled in proportion to each
polygon's area so that the information on the surface with less surface
area may be less reflected on composing a feature descriptor in order
to enhance retrieval performance. At the analysis result of ANMRR,
the enhancement of approx. 12.4%~34.7% compared to the existing
method has also been indicated.
Abstract: Renewable and non-renewable resource constraints have been vast studied in theoretical fields of project scheduling problems. However, although cumulative resources are widespread in practical cases, the literature on project scheduling problems subject to these resources is scant. So in order to study this type of resources more, in this paper we use the framework of a resource constrained project scheduling problem (RCPSP) with finish-start precedence relations between activities and subject to the cumulative resources in addition to the renewable resources. We develop a branch and bound algorithm for this problem customizing precedence tree algorithm of RCPSP. We perform extensive experimental analysis on the algorithm to check its effectiveness and performance for solving different instances of the problem in question.