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: In the last decades, the problem of perforation
damage has been considered as the major factor for the
reduction of oil productivity. Underbalance perforation is
considered as one of the best means to minimize or overcome
this problem. By maintaining wellbore pressure lower than
formation pressure, perforation damage could be minimize or
eliminated. This can be achieved by the use of nontraditional
lightweight completion fluid. This paper presents the effect of
natural clay in formulating nontraditional completion fluid to
ensure successful perforation job and increase of production
rate. Natural clay is used as homogenizing agent to create a
stable and non-damaging low-density completion fluid.
Results indicate that the addition of natural clay dramatically
increase the stability of the final fluids. In addition, field test
has shown that the application of nontraditional completion
fluid increases oil production by three folds.
Abstract: Building conservation work generally involves complex and non-standard work different from new building construction processes. In preparing tenders for building conservation projects, therefore, the quantity surveyor must carefully consider the specificity of non-standard items and demarcate the scope of unique conservation work. While the quantity surveyor must appreciate the full range of works to prepare a good tender document, he typically manages many unfamiliar elements, including practical construction methods, restoration techniques and work sequences. Only by fulfilling the demanding requirements of building conservation work can the quantity surveyor enhance his professionalism an area of growing cultural value and economic importance. By discussing several issues crucial to tender preparations for building conservation projects in Malaysia, this paper seeks a deeper understanding of how quantity surveying can better standardize tender preparation work and more successfully manage building conservation processes.
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: Advertising is one of the important marketing
strategies and the choice of media is an important aspect of
effectiveness of advertising media. The two most popular advertising
media, TV and web media are highly effective in creating successful
advertisements as they influence the purchase decision of the
viewers. Although TV and web are electronic media, they are unique
in their features and traits of advertising. Hence, the present study
attempts to analyze the influence of these two media towards buying
behavior of the viewers. The two media are analyzed separately to
determine its level of influence towards buying behavior and finally a
comparative analysis of these media is attempted to find the
difference in their level of influence.
Abstract: The Connection Admission Control (CAC) problem is formulated in this paper as a discrete time optimal control problem. The control variables account for the acceptance/ rejection of new connections and forced dropping of in-progress connections. These variables are constrained to meet suitable conditions which account for the QoS requirements (Link Availability, Blocking Probability, Dropping Probability). The performance index evaluates the total throughput. At each discrete time, the problem is solved as an integer-valued linear programming one. The proposed procedure was successfully tested against suitably simulated data.
Abstract: We present a dextran modified silicon microring
resonator sensor for high density antibody immobilization. An array
of sensors consisting of three sensor rings and a reference ring was
fabricated and its surface sensitivity and the limit of detection were
obtained using polyelectrolyte multilayers. The mass sensitivity and
the limit of detection of the fabricated sensor ring are 0.35 nm/ng
mm-2 and 42.8 pg/mm2 in air, respectively. Dextran modified sensor
surface was successfully prepared by covalent grafting of oxidized
dextran on 3-aminopropyltriethoxysilane (APTES) modified silicon
sensor surface. The antibody immobilization on hydrogel dextran
matrix improves 40% compared to traditional antibody
immobilization method via APTES and glutaraldehyde linkage.
Abstract: The process for predicting the ballistic properties of a liquid rocket engine is based on the quantitative estimation of idealized performance deviations. In this aim, an equilibrium chemistry procedure is firstly developed and implemented in a Fortran routine. The thermodynamic formulation allows for the calculation of the theoretical performances of a rocket thrust chamber. In a second step, a computational fluid dynamic analysis of the turbulent reactive flow within the chamber is performed using a finite volume approach. The obtained values for the “quasi-real" performances account for both turbulent mixing and chemistryturbulence coupling. In the present work, emphasis is made on the combustion efficiency performance for which deviation is mainly due to radial gradients of static temperature and mixture ratio. Numerical values of the characteristic velocity are successfully compared with results from an industry-used code. The results are also confronted with the experimental data of a laboratory-scale rocket engine.
Abstract: The importance of nurturing, accumulating, and efficiently deploying knowledge resources through formal structures and organisational mechanisms is well understood. Recent trends in knowledge management (KM) highlight that the effective creation and transfer of knowledge can also rely upon extra-organisational channels, such as, informal networks. The perception exists that the role of informal networks in knowledge creation and performance has been underestimated in the organisational context. Literature indicates that many managers fail to comprehend and successfully exploit the potential role of informal networks to create value for their organisations. This paper investigates: 1) whether managers share work-specific knowledge with informal contacts within and outside organisational boundaries; and 2) what do they think is the importance of this knowledge collaboration in their learning and work outcomes.
Abstract: The Multi-Layered Perceptron (MLP) Neural
networks have been very successful in a number of signal processing
applications. In this work we have studied the possibilities and the
met difficulties in the application of the MLP neural networks for the
prediction of daily solar radiation data. We have used the Polack-Ribière algorithm for training the neural networks. A comparison, in
term of the statistical indicators, with a linear model most used in
literature, is also performed, and the obtained results show that the
neural networks are more efficient and gave the best results.
Abstract: The paper is devoted to stochastic analysis of finite
dimensional difference equation with dependent on ergodic Markov
chain increments, which are proportional to small parameter ". A
point-form solution of this difference equation may be represented
as vertexes of a time-dependent continuous broken line given on the
segment [0,1] with "-dependent scaling of intervals between vertexes.
Tending " to zero one may apply stochastic averaging and diffusion
approximation procedures and construct continuous approximation of
the initial stochastic iterations as an ordinary or stochastic Ito differential
equation. The paper proves that for sufficiently small " these
equations may be successfully applied not only to approximate finite
number of iterations but also for asymptotic analysis of iterations,
when number of iterations tends to infinity.
Abstract: In this paper, we propose an energy efficient cluster
based communication protocol for wireless sensor network. Our
protocol considers both the residual energy of sensor nodes and the
distance of each node from the BS when selecting cluster-head. This
protocol can successfully prolong the network-s lifetime by 1)
reducing the total energy dissipation on the network and 2) evenly
distributing energy consumption over all sensor nodes. In this
protocol, the nodes with more energy and less distance from the BS
are probable to be selected as cluster-head. Simulation results with
MATLAB show that proposed protocol could increase the lifetime of
network more than 94% for first node die (FND), and more than 6%
for the half of the nodes alive (HNA) factor as compared with
conventional protocols.
Abstract: Modeling of a heterogeneous industrial fixed bed
reactor for selective dehydrogenation of heavy paraffin with Pt-Sn-
Al2O3 catalyst has been the subject of current study. By applying
mass balance, momentum balance for appropriate element of reactor
and using pressure drop, rate and deactivation equations, a detailed
model of the reactor has been obtained. Mass balance equations have
been written for five different components. In order to estimate
reactor production by the passage of time, the reactor model which is
a set of partial differential equations, ordinary differential equations
and algebraic equations has been solved numerically.
Paraffins, olefins, dienes, aromatics and hydrogen mole percent as
a function of time and reactor radius have been found by numerical
solution of the model. Results of model have been compared with
industrial reactor data at different operation times. The comparison
successfully confirms validity of proposed model.
Abstract: Risk of infectious disease outbreaks is related to the
hygiene among the population. To assess the actual risks and modify
the relevant emergency procedures if necessary, a hygiene survey
was conducted among undergraduate students on the Rhodes
University campus. Soap was available to 10.5% and only 26.8% of
the study participants followed proper hygiene in relation to food
consumption. This combination increases the risk of infectious
disease outbreaks at the campus. Around 83.6% were willing to wash
their hands if soap was provided. Procurement and availability of
soap in undergraduate residences on campus should be improved, as
the total cost is estimated at only 2000 USD per annum. Awareness
campaigns about food-related hygiene and the need for regular handwashing
with soap should be run among Rhodes University students.
If successful, rates of respiratory and hygiene-related diseases will be
decreased and emergency health management simplified.
Abstract: As a result of urbanization, the unpredictable growth of industry and transport, production of chemicals, military activities, etc. the concentration of anthropogenic toxicants spread in nature exceeds all the permissible standards. Most dangerous among these contaminants are organic compounds having great persistence, bioaccumulation, and toxicity along with our awareness of their prominent occurrence in the environment and food chain. Among natural ecological tools, plants still occupying above 40% of the world land, until recently, were considered as organisms having only a limited ecological potential, accumulating in plant biomass and partially volatilizing contaminants of different structure. However, analysis of experimental data of the last two decades revealed the essential role of plants in environment remediation due to ability to carry out intracellular degradation processes leading to partial or complete decomposition of carbon skeleton of different structure contaminants. Though, phytoremediation technologies still are in research and development, their various applications have been successfully used. The paper aims to analyze mechanisms of organic contaminants uptake and detoxification in plants, being the less studied issue in evaluation and exploration of plants potential for environment remediation.
Abstract: Developing countries are facing a problem of slums and there appears to be no fool proof solution to eradicate them. For improving the quality of life there are three approaches of slum development and In-situ up-gradation approach is found to be the best one, while the relocation approach has proved to be failure. Factors responsible for failure of relocation projects are needed to be assessed, which is the basic aim of the paper. Factors responsible for failure of relocation projects are loss of livelihood, security of tenure and inefficiency of the Government. These factors are traced out & mapped from the examples of Western & Indian cities. National habitat, Resettlement policy emphasized relationship between shelter and work place. SRA has identified 55 slums for relocation due reservation of land uses, security of tenure and non- notified status of slums. The policy guidelines have been suggested for successful relocation projects. KeywordsLivelihood, Relocation, Slums, Urban poor.
Abstract: In most of the cases, natural disasters lead to the
necessity of evacuating people. The quality of evacuation
management is dramatically improved by the use of information
provided by decision support systems, which become indispensable
in case of large scale evacuation operations. This paper presents a
best practice case study. In November 2007, officers from the
Emergency Situations Inspectorate “Crisana" of Bihor County from
Romania participated to a cross-border evacuation exercise, when
700 people have been evacuated from Netherlands to Belgium. One
of the main objectives of the exercise was the test of four different
decision support systems. Afterwards, based on that experience,
software system called TEVAC (Trans Border Evacuation) has been
developed “in house" by the experts of this institution. This original
software system was successfully tested in September 2008, during
the deployment of the international exercise EU-HUROMEX 2008,
the scenario involving real evacuation of 200 persons from Hungary
to Romania. Based on the lessons learned and results, starting from
April 2009, the TEVAC software is used by all Emergency
Situations Inspectorates all over Romania.
Abstract: The purposes of this paper are to (1) promote excellence in computer science by suggesting a cohesive innovative approach to fill well documented deficiencies in current computer science education, (2) justify (using the authors' and others anecdotal evidence from both the classroom and the real world) why this approach holds great potential to successfully eliminate the deficiencies, (3) invite other professionals to join the authors in proof of concept research. The authors' experiences, though anecdotal, strongly suggest that a new approach involving visual modeling technologies should allow computer science programs to retain a greater percentage of prospective and declared majors as students become more engaged learners, more successful problem-solvers, and better prepared as programmers. In addition, the graduates of such computer science programs will make greater contributions to the profession as skilled problem-solvers. Instead of wearily rememorizing code as they move to the next course, students will have the problem-solving skills to think and work in more sophisticated and creative ways.
Abstract: With the development of the Internet, E-commerce is
growing at an exponential rate, and lots of online stores are built up to
sell their goods online. A major factor influencing the successful
adoption of E-commerce is consumer-s trust. For new or unknown
Internet business, consumers- lack of trust has been cited as a major
barrier to its proliferation. As web sites provide key interface for
consumer use of E-Commerce, we investigate the design of web site to
build trust in E-Commerce from a design science approach. A
conceptual model is proposed in this paper to describe the ontology of
online transaction and human-computer interaction. Based on this
conceptual model, we provide a personalized webpage design
approach using Bayesian networks learning method. Experimental
evaluation are designed to show the effectiveness of web
personalization in improving consumer-s trust in new or unknown
online store.
Abstract: Silver nano-particles have been used for antibacterial
purpose and it is also believed to have removal of odorous compounds,
oxidation capacity as a metal catalyst. In this study, silver
nano-particles in nano sizes (5-30 nm) were prepared on the surface of
NaHCO3, the supporting material, using a sputtering method that
provided high silver content and minimized conglomerating problems
observed in the common AgNO3 photo-deposition method. The silver
nano-particles were dispersed by dissolving Ag-NaHCO3 into water,
and the dispersed silver nano-particles in the aqueous phase were
applied to remove inorganic odor compounds, H2S, in a scrubbing
reactor. Hydrogen sulfide in the gas phase was rapidly removed by the
silver nano-particles, and the concentration of sulfate (SO4
2-) ion
increased with time due to the oxidation reaction by silver as a
catalyst. Consequently, the experimental results demonstrated that the
silver nano-particles in the aqueous solution can be successfully
applied to remove odorous compounds without adding additional
energy sources and producing any harmful byproducts