Abstract: High quality requirements analysis is one of the most
crucial activities to ensure the success of a software project, so that
requirements verification for software system becomes more and more
important in Requirements Engineering (RE) and it is one of the most
helpful strategies for improving the quality of software system.
Related works show that requirement elicitation and analysis can be
facilitated by ontological approaches and semantic web technologies.
In this paper, we proposed a hybrid method which aims to verify
requirements with structural and formal semantics to detect
interactions. The proposed method is twofold: one is for modeling
requirements with the semantic web language OWL, to construct a
semantic context; the other is a set of interaction detection rules which
are derived from scenario-based analysis and represented with
semantic web rule language (SWRL). SWRL based rules are working
with rule engines like Jess to reason in semantic context for
requirements thus to detect interactions. The benefits of the proposed
method lie in three aspects: the method (i) provides systematic steps
for modeling requirements with an ontological approach, (ii) offers
synergy of requirements elicitation and domain engineering for
knowledge sharing, and (3)the proposed rules can systematically assist
in requirements interaction detection.
Abstract: We study dynamic instability in high-rise steel moment
resisting frames (SMRFs) subjected to synthetic long-period ground
motions caused by hypothetical huge subduction earthquakes. Since
long duration as well as long dominant periods is a characteristic of
long-period ground motions, interstory drifts may enter the negative
postyield stiffness range many times when high-rise buildings are
subjected to long-period ground motions. Through the case studies of
9 high-rise SMRFs designed in accordance with the Japanese design
practice in 1980s, we demonstrate that drifting, or accumulation of
interstory drifts in one direction, occurs at the lower stories of the
SMRFs, if their natural periods are close to the dominant periods of the
long-period ground motions. The drifting led to residual interstory
drift ratio over 0.01, or to collapse if the design base shear was small.
Abstract: Work stress causes the organizational work-life
imbalance of employees. Because of this imbalance, workers perform
with lower effort to finish assignments and thus an organization will
experience reduced productivity. In order to investigate the problem
of an organizational work-life imbalance, this qualitative case study
focuses on an organizational work-life imbalance among Thai
software developers in a German-owned company in Chiang Mai,
Thailand. In terms of knowledge management, fishbone diagram is
useful analysis tool to investigate the root causes of an organizational
work-life imbalance systematically in focus-group discussions.
Furthermore, fishbone diagram shows the relationship between
causes and effects clearly. It was found that an organizational worklife
imbalance among Thai software developers is influenced by
management team, work environment, and information tools used in
the company over time.
Abstract: This paper present an effective method to accurately reconstruct and measure the 3D curve edges of small industrial parts based on stereo vision. To effectively fit the curve of the measured parts using a series of line segments in the images, a strategy from coarse to fine is employed based on multi-scale curve fitting. After reconstructing the 3D curve of a hole through a curved surface, its axis is adjusted so that it is parallel to the Z axis with least squares error and the dimensions of the hole can be calculated on the XY plane easily. Experimental results show that the presented method can accurately measure the dimensions of round holes through a curved surface.
Abstract: The effect of wheat flour extraction rates on flour
composition, farinographic characteristics and the quality of
sourdough naans was investigated. The results indicated that by
increasing the extraction rate, the amount of protein, fiber, fat and
ash increased, whereas moisture content decreased. Farinographic
characteristic like water absorption and dough development time
increased with an increase in flour extraction rate but the dough
stabilities and tolerance indices were reduced with an increase in
flour extraction rates. Titratable acidity for both sourdough and
sourdough naans also increased along with flour extraction rate. The
study showed that overall quality of sourdough naans were affected
by both flour extraction rate and starter culture used. Sensory
analysis of sourdough naans revealed that desirable extraction rate
for sourdough naan was 76%.
Abstract: In this study, the effect of nanofluids on the pool film
boiling was experimentally investigated at saturated condition under
atmospheric pressure. For this purpose, four different water-based
nanofluids (Al2O3, SiO2, TiO2 and CuO) with 0.1% particle volume
fraction were prepared. To investigate the boiling heat transfer, a
cylindrical rod with high temperature was used. The rod heated up to
high temperatures was immersed into nanofluids. The center
temperature of rod during the cooling process was recorded by using
a K-type thermocouple. The quenching curves showed that the pool
boiling heat transfer was strongly dependent on the nanoparticle
materials. During the repetitive quenching tests, the cooling time
decreased and thus, the film boiling vanished. Consequently, the
primary reason of this was the change of the surface characteristics
due to the nanoparticles deposition on the rod-s surface.
Abstract: In this paper, a delayed physiological control system is investigated. The sufficient conditions for stability of positive equilibrium and existence of local Hopf bifurcation are derived. Furthermore, global existence of periodic solutions is established by using the global Hopf bifurcation theory. Finally, numerical examples are given to support the theoretical analysis.
Abstract: This work is an attempt to use the standard Smoothed
Particle Hydrodynamics methodology for the simulation of the
complex unsteady, free-surface flow in a rotating Turgo impulse
water turbine. A comparison of two different geometries was
conducted. The SPH method due to its mesh-less nature is capable of
capturing the flow features appearing in the turbine, without
diffusion at the water/air interface. Furthermore results are compared
with a commercial CFD package (Fluent®) and the SPH algorithm
proves to be capable of providing similar results, in much less time
than the mesh based CFD program. A parametric study was also
performed regarding the turbine inlet angle.
Abstract: Due to the complex network architecture, the mobile
adhoc network-s multihop feature gives additional problems to the
users. When the traffic load at each node gets increased, the
additional contention due its traffic pattern might cause the nodes
which are close to destination to starve the nodes more away from the
destination and also the capacity of network is unable to satisfy the
total user-s demand which results in an unfairness problem. In this
paper, we propose to create an algorithm to compute the optimal
MAC-layer bandwidth assigned to each flow in the network. The
bottleneck links contention area determines the fair time share which
is necessary to calculate the maximum allowed transmission rate used
by each flow. To completely utilize the network resources, we
compute two optimal rates namely, the maximum fair share and
minimum fair share. We use the maximum fair share achieved in
order to limit the input rate of those flows which crosses the
bottleneck links contention area when the flows that are not allocated
to the optimal transmission rate and calculate the following highest
fair share. Through simulation results, we show that the proposed
protocol achieves improved fair share and throughput with reduced
delay.
Abstract: Recently studies in area of supply chain network
(SCN) have focused on the disruption issues in distribution systems.
Also this paper extends the previous literature by providing a new biobjective
model for cost minimization of designing a three echelon
SCN across normal and failure scenarios with considering multi
capacity option for manufacturers and distribution centers. Moreover,
in order to solve the problem by means of LINGO software, novel
model will be reformulated through a branch of LP-Metric method
called Min-Max approach.
Abstract: There have been different approaches to compute the
analytic instantaneous frequency with a variety of background reasoning
and applicability in practice, as well as restrictions. This paper presents an adaptive Fourier decomposition and (α-counting) based
instantaneous frequency computation approach. The adaptive Fourier
decomposition is a recently proposed new signal decomposition
approach. The instantaneous frequency can be computed through the so called mono-components decomposed by it. Due to the fast energy
convergency, the highest frequency of the signal will be discarded by the adaptive Fourier decomposition, which represents the noise of
the signal in most of the situation. A new instantaneous frequency
definition for a large class of so-called simple waves is also proposed
in this paper. Simple wave contains a wide range of signals for which
the concept instantaneous frequency has a perfect physical sense.
The α-counting instantaneous frequency can be used to compute the highest frequency for a signal. Combination of these two approaches one can obtain the IFs of the whole signal. An experiment is demonstrated the computation procedure with promising results.
Abstract: This paper describes an optimal approach for feature
subset selection to classify the leaves based on Genetic Algorithm
(GA) and Kernel Based Principle Component Analysis (KPCA). Due
to high complexity in the selection of the optimal features, the
classification has become a critical task to analyse the leaf image
data. Initially the shape, texture and colour features are extracted
from the leaf images. These extracted features are optimized through
the separate functioning of GA and KPCA. This approach performs
an intersection operation over the subsets obtained from the
optimization process. Finally, the most common matching subset is
forwarded to train the Support Vector Machine (SVM). Our
experimental results successfully prove that the application of GA
and KPCA for feature subset selection using SVM as a classifier is
computationally effective and improves the accuracy of the classifier.
Abstract: The thermal, epithermal and fast fluxes were
calculated for three irradiation channels at Egypt Second Research
Reactor (ETRR-2) using CITVAP code. The validity of the
calculations was verified by experimental measurements. There are
some deviations between measurements and calculations. This is due
to approximations in the calculation models used, homogenization of
regions, condensation of energy groups and uncertainty in nuclear
data used. Neutron flux data for the three irradiation channels are
now available. This would enable predicting the irradiation
conditions needed for future radioisotope production.
Abstract: This research deals with techno economic analysis to select the most economic desalination method for Asalouyeh combined cycle power plant . Due to lack of fresh water, desalination of sea water is necessary to provide required DM water of Power Plant. The most common desalination methods are RO, MSF, MED, and MED–TVC. In this research, methods of RO, MED, and MED– TVC have been compared. Simulation results show that recovery of heat of exhaust gas of main stack is optimum case for providing DM water required for injected steam of MED desalination. This subject is very important because of improving thermal efficiency of power plant using extra heat recovery. Also, it has been shown that by adding 3 rows of finned tube to de-aerator evaporator, which is very simple and low cost, required steam for generating 5200 m3/day of desalinated water is obtainable.
Abstract: Several studies have shown the association between
ambient particulate matter (PM) and adverse health effects and
climate change, thus highlighting the need to limit the anthropogenic
sources of PM. PM Exposure is commonly monitored as mass
concentration of PM10 (particle aerodynamic diameter < 10μm) or
PM2.5 (particle aerodynamic diameter < 2.5μm), although increasing
toxicity with decreasing aerodynamic diameter has been reported due
to increased surface area and enhanced chemical reactivity with other
species. Additionally, the light scattering properties of PM increases
with decreasing size. Hence, it is important to study the chemical
characterization of finer fraction of the particulate matter and to
identify their sources so that they can be controlled appropriately to a
large extent at the sources before reaching to the receptors.
Abstract: The power consumption of an Optical Packet Switch
equipped with SOA technology based Spanke switching fabric is
evaluated. Sophisticated analytical models are introduced to evaluate
the power consumption versus the offered traffic, the main
switch parameters, and the used device characteristics. The impact
of Amplifier Spontaneous Emission (ASE) noise generated by a
transmission system on the power consumption is investigated. As
a matter of example for 32×32 switches supporting 64 wavelengths
and offered traffic equal to 0,8, the average energy consumption per
bit is 5, 07 · 10-2 nJ/bit and increases if ASE noise introduced by
the transmission systems is increased.
Abstract: The objective of this paper is to use the Pfaffian
technique to construct different classes of exact Pfaffian solutions and
N-soliton solutions to some of the generalized integrable nonlinear
partial differential equations in (3+1) dimensions. In this paper, I will
show that the Pfaffian solutions to the nonlinear PDEs are nothing but
Pfaffian identities. Solitons are among the most beneficial solutions
for science and technology, from ocean waves to transmission of
information through optical fibers or energy transport along protein
molecules. The existence of multi-solitons, especially three-soliton
solutions, is essential for information technology: it makes possible
undisturbed simultaneous propagation of many pulses in both directions.
Abstract: The hypercube Qn is one of the most well-known
and popular interconnection networks and the k-ary n-cube Qk
n is
an enlarged family from Qn that keeps many pleasing properties
from hypercubes. In this article, we study the panpositionable
hamiltonicity of Qk
n for k ≥ 3 and n ≥ 2. Let x, y of V (Qk
n)
be two arbitrary vertices and C be a hamiltonian cycle of Qk
n.
We use dC(x, y) to denote the distance between x and y on the
hamiltonian cycle C. Define l as an integer satisfying d(x, y) ≤ l ≤ 1
2 |V (Qk
n)|. We prove the followings:
• When k = 3 and n ≥ 2, there exists a hamiltonian cycle C
of Qk
n such that dC(x, y) = l.
• When k ≥ 5 is odd and n ≥ 2, we request that l /∈ S
where S is a set of specific integers. Then there exists a
hamiltonian cycle C of Qk
n such that dC(x, y) = l.
• When k ≥ 4 is even and n ≥ 2, we request l-d(x, y) to be
even. Then there exists a hamiltonian cycle C of Qk
n such
that dC(x, y) = l.
The result is optimal since the restrictions on l is due to the
structure of Qk
n by definition.
Abstract: In this study we investigate silica nanoparticle (SiO2- NP) effects on the structure and phase properties of supported lipid monolayers and bilayers, coupling surface pressure measurements, fluorescence microscopy and atomic force microscopy. SiO2-NPs typically in size range of 10nm to 100 nm in diameter are tested. Our results suggest first that lipid molecules organization depends to their nature. Secondly, lipid molecules in the vinicity of big aggregates nanoparticles organize in liquid condensed phase whereas small aggregates are localized in both fluid liquid-expanded (LE) and liquid-condenced (LC). We demonstrated also by atomic force microscopy that by measuring friction forces it is possible to get information as if nanoparticle aggregates are recovered or not by lipid monolayers and bilayers.
Abstract: In this paper, we present parallel alternating two-stage methods for solving linear system Ax = b, where A is a monotone matrix or an H-matrix. And we give some convergence results of these methods for nonsingular linear system.