Abstract: Benchmarking cleaner production performance is an
effective way of pollution control and emission reduction in coal-fired
power industry. A benchmarking method using two-stage
super-efficiency data envelopment analysis for coal-fired power plants
is proposed – firstly, to improve the cleaner production performance of
DEA-inefficient or weakly DEA-efficient plants, then to select the
benchmark from performance-improved power plants. An empirical
study is carried out with the survey data of 24 coal-fired power plants.
The result shows that in the first stage the performance of 16 plants is
DEA-efficient and that of 8 plants is relatively inefficient. The target
values for improving DEA-inefficient plants are acquired by
projection analysis. The efficient performance of 24 power plants and
the benchmarking plant is achieved in the second stage. The two-stage
benchmarking method is practical to select the optimal benchmark in
the cleaner production of coal-fired power industry and will
continuously improve plants- cleaner production performance.
Abstract: This paper presents a model for an unreliable
production line, which is operated according to demand with constant
work-in-process (CONWIP). A simulation model is developed based
on the discrete model and several case problems are analyzed using
the model. The model is utilized to optimize storage space capacities
at intermediate stages and the number of kanbans at the last stage,
which is used to trigger the production at the first stage. Furthermore,
effects of several line parameters on production rate are analyzed
using design of experiments.
Abstract: Checkpointing is one of the commonly used techniques to provide fault-tolerance in distributed systems so that the system can operate even if one or more components have failed. However, mobile computing systems are constrained by low bandwidth, mobility, lack of stable storage, frequent disconnections and limited battery life. Hence, checkpointing protocols having lesser number of synchronization messages and fewer checkpoints are preferred in mobile environment. There are two different approaches, although not orthogonal, to checkpoint mobile computing systems namely, time-based and index-based. Our protocol is a fusion of these two approaches, though not first of its kind. In the present exposition, an index-based checkpointing protocol has been developed, which uses time to indirectly coordinate the creation of consistent global checkpoints for mobile computing systems. The proposed algorithm is non-blocking, adaptive, and does not use any control message. Compared to other contemporary checkpointing algorithms, it is computationally more efficient because it takes lesser number of checkpoints and does not need to compute dependency relationships. A brief account of important and relevant works in both the fields, time-based and index-based, has also been included in the presentation.
Abstract: This paper introduces our first efforts of developing a
new team for RoboCup Middle Size Competition. In our robots we
have applied omni directional based mobile system with omnidirectional
vision system and fuzzy control algorithm to navigate
robots. The control architecture of MRL middle-size robots is a three
layered architecture, Planning, Sequencing, and Executing. It also
uses Blackboard system to achieve coordination among agents.
Moreover, the architecture should have minimum dependency on low
level structure and have a uniform protocol to interact with real
robot.
Abstract: Restoration of endodontically treated teeth is a
common problem in dentistry, related to the fractures occurring in
such teeth and to concentration of forces little information regarding
variation of basic preparation guidelines in stress distribution has
been available. To date, there is still no agreement in the literature
about which material or technique can optimally restore
endodontically treated teeth. The aim of the present study was to
evaluate the influence of the core height and restoration materials on
corono-radicular restored upper first premolar. The first step of the
study was to achieve 3D models in order to analyze teeth, dowel and
core restorations and overlying full ceramic crowns. The FEM model
was obtained by importing the solid model into ANSYS finite
element analysis software. An occlusal load of 100 N was conducted,
and stresses occurring in the restorations, and teeth structures were
calculated. Numerical simulations provide a biomechanical
explanation for stress distribution in prosthetic restored teeth. Within
the limitations of the present study, it was found that the core height
has no important influence on the stress generated in coronoradicular
restored premolars. It can be drawn that the cervical regions
of the teeth and restorations were subjected to the highest stress
concentrations.
Abstract: We decribe a formal specification and verification of the Rabin public-key scheme in the formal proof system Is-abelle/HOL. The idea is to use the two views of cryptographic verification: the computational approach relying on the vocabulary of probability theory and complexity theory and the formal approach based on ideas and techniques from logic and programming languages. The analysis presented uses a given database to prove formal properties of our implemented functions with computer support. Thema in task in designing a practical formalization of correctness as well as security properties is to cope with the complexity of cryptographic proving. We reduce this complexity by exploring a light-weight formalization that enables both appropriate formal definitions as well as eficient formal proofs. This yields the first computer-proved implementation of the Rabin public-key scheme in Isabelle/HOL. Consequently, we get reliable proofs with a minimal error rate augmenting the used database. This provides a formal basis for more computer proof constructions in this area.
Abstract: The myoelectric signal (MES) is one of the Biosignals
utilized in helping humans to control equipments. Recent approaches
in MES classification to control prosthetic devices employing pattern
recognition techniques revealed two problems, first, the classification
performance of the system starts degrading when the number of
motion classes to be classified increases, second, in order to solve the
first problem, additional complicated methods were utilized which
increase the computational cost of a multifunction myoelectric
control system. In an effort to solve these problems and to achieve a
feasible design for real time implementation with high overall
accuracy, this paper presents a new method for feature extraction in
MES recognition systems. The method works by extracting features
using Wavelet Packet Transform (WPT) applied on the MES from
multiple channels, and then employs Fuzzy c-means (FCM)
algorithm to generate a measure that judges on features suitability for
classification. Finally, Principle Component Analysis (PCA) is
utilized to reduce the size of the data before computing the
classification accuracy with a multilayer perceptron neural network.
The proposed system produces powerful classification results (99%
accuracy) by using only a small portion of the original feature set.
Abstract: To make use of the limited amounts of water in arid
region, the Iranians developed man-made underground water
channels called qanats (kanats) .In fact, qanats may be considered as
the first long-distance water transfer system. Qanats are an ancient
water transfer system found in arid regions wherein groundwater
from mountainous areas, aquifers and sometimes from rivers, was
brought to points of re-emergence such as an oasis, through one or
more underground tunnels. The tunnels, many of which were
kilometers in length, had designed for slopes to provide gravitational
flow. The tunnels allowed water to drain out to the surface by gravity
to supply water to lower and flatter agricultural land.
Qanats have been an ancient, sustainable system facilitating the
harvesting of water for centuries in Iran, and more than 35 additional
countries of the world such as India, Arabia, Egypt, North Africa,
Spain and even to New world.
There are about 22000 qanats in Iran with 274000 kilometers of
underground conduits all built by manual labor. The amount of
water of the usable qanats of Iran produce is altogether 750 to
1000 cubic meter per second. The longest chain of qanat is
situated in Gonabad region in Khorasan province. It is 70
kilometers long. Qanats are renewable water supply systems that
have sustained agricultural settlement on the Iranian plateau for
millennia. The great advantages of Qanats are no evaporation
during transit, little seepage , no raising of the water- table and no
pollution in the area surrounding the conduits. Qanat systems
have a profound influence on the lives of the water users in Iran, and
conform to Iran-s climate. Qanat allows those living in a desert
environment adjacent to a mountain watershed to create a large oasis
in an otherwise stark environment.
This paper explains qanats structure designs, their history,
objectives causing their creation, construction materials, locations
and their importance in different times, as well as their present
sustainable role in Iran.
Abstract: Education in the modern world provides the socioeconomic
progress of society. In today's society, where the presence
of large middle class ensures its stability and is a symbol of
resolution of hidden economic problems, education is an integral part
of formation and reproduction of the middle class. This article presents part of results of the sociological study conducted under the
project "Kazakhstan model of education: international experience and national traditions" supported by the Foundation of the First President
of Republic of Kazakhstan - Leader of the Nation to determine the
ratio of students to the transformations of the educational system. The
authors conclude that the Kazakhstani system of education, passing
through the transformation processes, improving the quality of
educational programs and trying to correspond to the international
standards, not yet in full range, but begins to perform important
functions in the formation of the middle class.
Abstract: A direct connection between ElectroEncephaloGram
(EEG) and the genetic information of individuals has been
investigated by neurophysiologists and psychiatrists since 1960-s;
and it opens a new research area in the science. This paper focuses on
the person identification based on feature extracted from the EEG
which can show a direct connection between EEG and the genetic
information of subjects. In this work the full EO EEG signal of
healthy individuals are estimated by an autoregressive (AR) model
and the AR parameters are extracted as features. Here for feature
vector constitution, two methods have been proposed; in the first
method the extracted parameters of each channel are used as a
feature vector in the classification step which employs a competitive
neural network and in the second method a combination of different
channel parameters are used as a feature vector. Correct classification
scores at the range of 80% to 100% reveal the potential of our
approach for person classification/identification and are in agreement
to the previous researches showing evidence that the EEG signal
carries genetic information. The novelty of this work is in the
combination of AR parameters and the network type (competitive
network) that we have used. A comparison between the first and the
second approach imply preference of the second one.
Abstract: Toxoplasma gondii is an intracellular parasite capable
of infecting all nucleated cells in a diverse array of species.
Toxoplasma plaque assay have been described using Bacto Agar.
Because of its experimental advantages carboxymethyl cellulose
overlay, medium viscosity was choosing and the aim of this work
was to develop alternative method for formation of T. gondii plaques.
Tachyzoites were inoculated onto monolayers of Vero cells and
cultured at 37° C under 5 % CO2. The cultures were followed up by
microscopy inspection. Small plaques were visible by naphtol blue
stain 4 days after infection. Larger plaques could be observed by day
10 of culture. The carboxymethyl cellulose is a cheap reagent and the
methodology is easier, faster than assays under agar overlay. This is
the first description of the carboxymethyl cellulose overlay use for
obtaining the formation of T. gondii plaques and may be useful in
consequent obtaining tachyzoites for detailed studies.
Abstract: This paper proves that the problem of finding connected
vertex cover in a 2-connected planar graph ( CVC-2 ) with maximum degree 4 is NP-complete. The motivation for proving this result is to
give a shorter and simpler proof of NP-Completeness of TRA-MLC (the Top Right Access point Minimum-Length Corridor) problem [1], by finding the reduction from CVC-2. TRA-MLC has many applications in laying optical fibre cables for data communication and electrical wiring in floor plans.The problem of finding connected vertex cover in any planar graph ( CVC ) with maximum degree 4 is NP-complete [2]. We first show that CVC-2 belongs to NP and then we find a polynomial reduction from CVC to CVC-2. Let a graph G0 and an integer K form an instance of CVC, where G0 is a planar graph and K is an upper bound on the size of the connected vertex cover in G0. We construct a 2-connected planar graph, say G, by identifying the blocks and cut vertices of G0, and then finding the planar representation of all the blocks of G0, leading to a plane graph G1. We replace the cut vertices with cycles in such a way that the resultant graph G is a 2-connected planar graph with maximum
degree 4. We consider L = K -2t+3 t i=1 di where t is the number of cut vertices in G1 and di is the number of blocks for which ith cut vertex is common. We prove that G will have a connected vertex
cover with size less than or equal to L if and only if G0 has a connected vertex cover of size less than or equal to K.
Abstract: In recent times, corporations are increasingly under pressure to ensure diversity within their boardrooms and a large number of academic research have reported findings consistent with the view that boards perform better when they include a diverse range of people. Women have unique characteristics needed to positively influence the strategic direction of a corporation and contribute to the growth of firms. In spite of such revelations, evidence suggests that women are under-represented in senior executive and board positions. In many parts of Africa, socio-cultural traditions inhibit women from attaining these roles. Given the emphasis placed on board diversity and inclusion of women as an essential part of good corporate governance, the relationship between gender diversity and board effectiveness deserves both theoretical and empirical investigation. This research is important because it represents the first theoretical review on gender diversity in corporate boards in Nigeria.
Abstract: This paper treats a discrete-time batch arrival queue with single working vacation. The main purpose of this paper is to present a performance analysis of this system by using the supplementary variable technique. For this purpose, we first analyze the Markov chain underlying the queueing system and obtain its ergodicity condition. Next, we present the stationary distributions of the system length as well as some performance measures at random epochs by using the supplementary variable method. Thirdly, still based on the supplementary variable method we give the probability generating function (PGF) of the number of customers at the beginning of a busy period and give a stochastic decomposition formulae for the PGF of the stationary system length at the departure epochs. Additionally, we investigate the relation between our discretetime system and its continuous counterpart. Finally, some numerical examples show the influence of the parameters on some crucial performance characteristics of the system.
Abstract: For many industrial applications plate heat
exchangers are demonstrating a large superiority over the
other types of heat exchangers. The efficiency of such a
device depends on numerous factors the effect of which needs
to be analysed and accurately evaluated.
In this paper we present a theoretical analysis of a cocurrent
plate heat exchanger and the results of its numerical
simulation.
Knowing the hot and the cold fluid streams inlet temperatures,
the respective heat capacities mCp
and the value of the
overall heat transfer coefficient, a 1-D mathematical model
based on the steady flow energy balance for a differential
length of the device is developed resulting in a set of N first
order differential equations with boundary conditions where N
is the number of channels.For specific heat exchanger
geometry and operational parameters, the problem is
numerically solved using the shooting method.
The simulation allows the prediction of the temperature
map in the heat exchanger and hence, the evaluation of its
performances. A parametric analysis is performed to evaluate
the influence of the R-parameter on the e-NTU values. For
practical purposes effectiveness-NTU graphs are elaborated
for specific heat exchanger geometry and different operating
conditions.
Abstract: In this paper, several different types of natural gas liquefaction cycle. First, two processes are a cascade process with two staged compression were designed and simulated. These include Inter-cooler which is consisted to Propane, Ethylene and Methane cycle, and also, liquid-gas heat exchanger is applied to between of methane and ethylene cycles (process2) and between of ethylene and propane (process2). Also, these cycles are compared with two staged cascade process using only a Inter-cooler (process1). The COP of process2 and process3 showed about 13.99% and 6.95% higher than process1, respectively. Also, the yield efficiency of LNG improved comparing with process1 by 13.99% lower specific power. Additionally, C3MR process are simulated and compared with Process 2.
Abstract: The objective of this paper is to analyse the
application of the Half-Sweep Gauss-Seidel (HSGS) method by using
the Half-sweep approximation equation based on central difference
(CD) and repeated trapezoidal (RT) formulas to solve linear fredholm
integro-differential equations of first order. The formulation and
implementation of the Full-Sweep Gauss-Seidel (FSGS) and Half-
Sweep Gauss-Seidel (HSGS) methods are also presented. The HSGS
method has been shown to rapid compared to the FSGS methods.
Some numerical tests were illustrated to show that the HSGS method
is superior to the FSGS method.
Abstract: In order to avoid the potentially devastating
consequences of global warming and climate change, the carbon
dioxide “CO2" emissions caused due to anthropogenic activities must
be reduced considerably. This paper presents the first study
examining the feasibility of carbon sequestration in construction and
demolition “C&D" waste. Experiments were carried out in a self
fabricated Batch Reactor at 40ºC, relative humidity of 50-70%, and
flow rate of CO2 at 10L/min for 1 hour for water-to-solids ratio of 0.2
to 1.2. The effect of surface area was found by comparing the
theoretical extent of carbonation of two different sieve sizes (0.3mm
and 2.36mm) of C&D waste. A 38.44% of the theoretical extent of
carbonation equating to 4% CO2 sequestration extent was obtained
for C&D waste sample for 0.3mm sieve size. Qualitative,
quantitative and morphological analyses were done to validate
carbonate formation using X-ray diffraction “X.R.D.," thermal
gravimetric analysis “T.G.A., “X-Ray Fluorescence Spectroscopy
“X.R.F.," and scanning electron microscopy “S.E.M".
Abstract: In this paper, we extend the compound binomial model to the case where the premium income process, based on a binomial process, is no longer a linear function. First, a mathematically recursive formula is derived for non ruin probability, and then, we examine the expected discounted penalty function, satisfy a defect renewal equation. Third, the asymptotic estimate for the expected discounted penalty function is then given. Finally, we give two examples of ruin quantities to illustrate applications of the recursive formula and the asymptotic estimate for penalty function.
Abstract: Vinegar or sour wine is a product of alcoholic and
subsequent acetous fermentation of sugary precursors derived from
several fruits or starchy substrates. This delicious food additive and
supplement contains not less than 4 grams of acetic acid in 100 cubic
centimeters at 20°C. Among the large number of bacteria that are
able to produce acetic acid, only few genera are used in vinegar
industry most significant of which are Acetobacter and
Gluconobacter. In this research we isolated and identified an
Acetobacter strain from Iranian apricot, a very delicious and sensitive
summer fruit to decay, we gathered from fruit's stores in Isfahan,
Iran. The main culture media we used were Carr, GYC, Frateur and
an industrial medium for vinegar production. We isolated this strain
using a novel miniature fermentor we made at Pars Yeema
Biotechnologists Co., Isfahan Science and Technology Town (ISTT),
Isfahan, Iran. The microscopic examinations of isolated strain from
Iranian apricot showed gram negative rods to cocobacilli. Their
catalase reaction was positive and oxidase reaction was negative and
could ferment ethanol to acetic acid. Also it showed an acceptable
growth in 5%, 7% and 9% ethanol concentrations at 30°C using
modified Carr media after 24, 48 and 96 hours incubation
respectively. According to its tolerance against high concentrations of
ethanol after four days incubation and its high acetic acid production,
8.53%, after 144 hours, this strain could be considered as a suitable
industrial strain for a production of a new type of vinegar, apricot
vinegar, with a new and delicious taste. In conclusion this is the first
report of isolation and identification of an Acetobacter strain from
Iranian apricot with a very good tolerance against high ethanol
concentrations as well as high acetic acid productivity in an
acceptable incubation period of time industrially. This strain could be
used in vinegar industry to convert apricot spoilage to a beneficiary
product and mentioned characteristics have made it as an amenable
strain in food and agricultural biotechnology.