Abstract: An application framework provides a reusable design
and implementation for a family of software systems. Application
developers extend the framework to build their particular
applications using hooks. Hooks are the places identified to show
how to use and customize the framework. Hooks define the
Framework Interface Classes (FICs) and the specifications of their
methods. As part of the development life cycle, it is required to test
the implementations of the FICs. Building a testing model to express
the behavior of a class is an essential step for the generation of the
class-based test cases. The testing model has to be consistent with the
specifications provided for the hooks. State-based models consisting
of states and transitions are testing models well suited to objectoriented
software. Typically, hand-construction of a state-based
model of a class behavior is expensive, error-prone, and may result in
constructing an inconsistent model with the specifications of the class
methods, which misleads verification results. In this paper, a
technique is introduced to automatically synthesize a state-based
testing model for FICs using the specifications provided for the
hooks. A tool that supports the proposed technique is introduced.
Abstract: The present report describes the characteristics of
damages and behavior of reinforced concrete buildings during the
tsunami action. The discussion is based on the field damage survey in
selected cities located on the coast of the zone affected by the Great
East Japan Earthquake on March 11, 2011. This earthquake is the most
powerful know earthquake that has hit Japan with a magnitude 9.0 and
with epicenter located at 129 km of Sendai city (off the coast). The
earthquake triggered a destructive tsunami with run up height of up to
40 meters that mainly affect cities located on the Pacific Ocean coast of
the Tohoku region (north-east region of Japan). Reinforced concrete
buildings in general resist the tsunami without collapse however the
non-structural elements like panels and ceilings were severely
damaged. The analysis of damages has permitted to understand the
behavior of RC buildings under tsunami attack, and has also permitted
to establish recommendations for their use to take refuge from tsunami
in places where natural topography makes impossible to reach hilltops
or other safer places.
Abstract: The scroll pump belongs to the category of positive
displacement pump can be used for continuous pumping of gases at
low pressure apart from general vacuum application. The shape of
volume occupied by the gas moves and deforms continuously as the
spiral orbits. To capture flow features in such domain where mesh
deformation varies with time in a complicated manner, mesh less
solver was found to be very useful. Least Squares Kinetic Upwind
Method (LSKUM) is a kinetic theory based mesh free Euler solver
working on arbitrary distribution of points. Here upwind is enforced
in molecular level based on kinetic flux vector splitting scheme
(KFVS). In the present study we extended the LSKUM to moving
node viscous flow application. This new code LSKUM-NS-MN for
moving node viscous flow is validated for standard airfoil pitching
test case. Simulation performed for flow through scroll pump using
LSKUM-NS-MN code agrees well with the experimental pumping
speed data.
Abstract: This paper describes interconnection between
technical and economical making decision. The reason of this dealing
could be different: poor technical condition, change of substation
(electrical network) regime, power transformer owner budget deficit
and increasing of tariff on electricity. Establishing of recommended
practice as well as to give general advice and guidance in economical
sector, testing, diagnostic power transformers to establish its
conditions, identify problems and provide potential remedies.
Abstract: Plant tissue culture is an important in vitro technology applied for agricultural and industrial production. A sterile condition of culture medium is one of the main aspects. The alternative technique for medium sterilization to replace autoclaving was carried out. For sterilization of plant tissue culture medium without autoclaving, ten commercial pure essential oils and 5 disinfectants were tested. Each essential oil or disinfectant was added to a 20-mL Murashige and Skoog (MS) medium before medium was solidified in a 120-mL container, kept for 2 weeks before evaluating sterile conditions. Treated media, supplemented with essential oils or disinfectants, were compared to control medium, autoclaved at 121 degree Celsius for 15 min. Sterile conditions of MS medium were found 100% from betel oil or clove oil (18 mL/20 mL medium), cinnamon oil (36 mL/20 mL medium), lavender oil or holy basil oil (108 mL/20 mL medium), and lemon oil or tea tree oil or turmeric oil (252 mL/20 mL medium), compared to 100% sterile condition from autoclaved medium. For disinfectants, 2% iodine + 2.4% potassium iodide, 2% merbromine solution, 10% povidone-iodine, 6% sodium hypochlorite or 0.1% thimerosal at 36 mL/20 mL medium provided 100% sterile conditions. Furthermore, growth of new shoots from chrysanthemum node explants on treated media (fresh weight, shoot length, root length and number of node) were also reported and discussed in the comparison of those on autoclaved medium.
Abstract: The purpose of this paper is to explore the role of
cognitive decision effort in recommendation system, combined with
indicators "information quality" and "service quality" from IS success
model to exam the awareness of the user for the "recommended system
performance". A total of 411 internet user answered a questionnaire
assessing their attention of use and satisfaction of recommendation
system in internet book store. Quantitative result indicates following
research results. First, information quality of recommended system
has obvious influence in consumer shopping decision-making process,
and the attitude to use the system. Second, in the process of consumer's
shopping decision-making, the recommendation system has no
significant influence for consumers to pay lower cognitive
decision-making effort. Third, e-commerce platform provides
recommendations and information is necessary, but the quality of
information on user needs must be considered, or they will be other
competitors offer homogeneous services replaced.
Abstract: This survey highlights a number of important issues
which relate to the needs to counseling for distance learners studying
at the School of Distance Education in University science Malaysia
(DEUSM) according to their gender. Data were obtained by selfreport
questionnaire that had been developed by the researchers in
counseling and educational psychology and interviews were take
place. 116 voluntary respondents complete the Questionnaire and
returned it back during new student-s registration week.64% of the
respondents were female and 52% were males that means
55%ofthem were females and 45% were males. The data was
analyzed to find out the frequencies of respondents agreements of the
items. The average of the female was 18 and the average of the male
was 19.6 by using t- test there is no significant values between the
genders. The findings show that respondents have needs for
counseling. (22) Significant needs for mails (DEUSM) the highest
was their families complain about the amount of time they spend at
work. (11) Significant needs for females the highest was they
convinced themselves that they only need 4 to 5 hours of sleep per
night.
Abstract: The river flow forecasting represents a crucial point to employ for improving a management policy addressed to the right use of water resources as well as for conjugating prevention and defense actions against environmental degradation. The difficulties occurring during the field activities encourage the development and implementation of operative computation and measuring methods addressed to time reduction for data acquisition and processing maintaining a good level of accuracy. Therefore, the aim of the present work is to test a new entropy based expeditive methodology for the evaluation of the rating curves on three gauged sections with different geometric and morphological characteristics. The methodology requires the choice of only three verticals along the measure section and the sampling of only the maximum velocity. The results underline how in most conditions the rating curves drawn can replace those built with classic methodologies, simplifying thus the procedures of data monitoring and calculation.
Abstract: During signal transmission, the combined effect of the
transmitter filter, the transmission medium, and additive white
Gaussian noise (AWGN) are included in the channel which distort
and add noise to the signal. This causes the well defined signal
constellation to spread causing errors in bit detection. A compact pi
neural network with minimum number of nodes is proposed. The
replacement of summation at each node by multiplication results in
more powerful mapping. The resultant pi network is tested on six
different channels.
Abstract: Active network was developed to solve the problem of
the current sharing-based network–difficulty in applying new
technology, service or standard, and duplicated operation at several
protocol layers. Active network can transport the packet loaded with
the executable codes, which enables to change the state of the network
node. However, if the network node is placed in the sharing-based
network, security and safety issues should be resolved. To satisfy this
requirement, various security aspects are required such as
authentication, authorization, confidentiality and integrity. Among
these security components, the core factor is the encryption key. As a
result, this study is designed to propose the scheme that manages the
encryption key, which is used to provide security of the
comprehensive active directory, based on the domain.
Abstract: Calcium [Ca2+] dynamics is studied as a potential form
of neuron excitability that can control many irregular processes like
metabolism, secretion etc. Ca2+ ion enters presynaptic terminal and
increases the synaptic strength and thus triggers the neurotransmitter
release. The modeling and analysis of calcium dynamics in neuron
cell becomes necessary for deeper understanding of the processes
involved. A mathematical model has been developed for cylindrical
shaped neuron cell by incorporating physiological parameters like
buffer, diffusion coefficient, and association rate. Appropriate initial
and boundary conditions have been framed. The closed form solution
has been developed in terms of modified Bessel function. A computer
program has been developed in MATLAB 7.11 for the whole
approach.
Abstract: Work-life balance has been acknowledged and
promoted for the sake of employee retention. It is essential for a
manager to realize the human resources situation within a company to
help employees work happily and perform at their best. This paper
suggests knowledge management and critical thinking are useful to
motivate employees to think about their work-life balance. A
qualitative case study is presented, which aimed to discover the
meaning of work-life balance-s meaning from the perspective of Thai
knowledge workers and how it affects their decision-making towards
work resignation. Results found three types of work-life balance
dimensions; a work- life balance including a workplace and a private
life setting, an organizational working life balance only, and a worklife
balance only in a private life setting. These aspects all influenced
the decision-making of the employees. Factors within a theme of an
organizational work-life balance were involved with systematic
administration, fair treatment, employee recognition, challenging
assignments to gain working experience, assignment engagement,
teamwork, relationship with superiors, and working environment,
while factors concerning private life settings were about personal
demands such as an increasing their salary or starting their own
business.
Abstract: The recent trend in field oriented control (FOC) is towards the use of sensorless techniques that avoid the use of speed sensor and flux sensor. Sensors are replaced by estimators or observers to minimise the cost and increase the reliability. In this paper an anlyse of perfomance of a MRAS used in sensorless control of induction motors and sensitvity to machine parameters change are studied.
Abstract: In this article the influence of higher frequency effects
in addition to a special damper design on the electrical behavior of a
synchronous generator main exciter machine is investigated. On the
one hand these machines are often highly stressed by harmonics from
the bridge rectifier thus facing additional eddy current losses. On the
other hand the switching may cause the excitation of dangerous
voltage peaks in resonant circuits formed by the diodes of the
rectifier and the commutation reactance of the machine. Therefore
modern rotating exciters are treated like synchronous generators
usually modeled with a second order equivalent circuit. Hence the
well known Standstill Frequency Response Test (SSFR) method is
applied to a test machine in order to determine parameters for the
simulation. With these results it is clearly shown that higher
frequencies have a strong impact on the conventional equivalent
circuit model. Because of increasing field displacement effects in the
stranded armature winding the sub-transient reactance is even smaller
than the armature leakage at high frequencies. As a matter of fact this
prevents the algorithm to find an equivalent scheme. This issue is
finally solved using Laplace transfer functions fully describing the
transient behavior at the model ports.
Abstract: In this paper, a technique is proposed to implement
an artificial voltage-controlled capacitance or inductance which can
replace the well-known varactor diode in many applications. The
technique is based on injecting the current of a voltage-controlled
current source onto a fixed capacitor or inductor. Then, by controlling
the transconductance of the current source by an external bias voltage,
a voltage-controlled capacitive or inductive reactance is obtained.
The proposed voltage-controlled reactance devices can be designed
to work anywhere in the frequency spectrum. Practical circuits for the
proposed voltage-controlled reactances are suggested and simulated.
Abstract: Permeability reduction induced by asphaltene
precipitation during gas injection is one of the serious problems in
the oil industry. This problem can lead to formation damage and
decrease the oil production rate. In this work, Malaysian light oil
sample has been used to investigate the effect CO2 injection and
Water Alternating Gas (WAG) injection on permeability reduction.
In this work, dynamic core flooding experiments were conducted to
study the effect of CO2 and WAG injection on the amount of
asphaltene precipitated. Core properties after displacement were
inspected for any permeability reduction to study the effect of
asphaltene precipitation on rock properties.
The results showed that WAG injection gave less asphaltene
precipitation and formation damage compared to CO2 injection. The
study suggested that WAG injection can be one of the important
factors of managing asphaltene precipitation.
Abstract: Cosmic showers, from their places of origin in space,
after entering earth generate secondary particles called Extensive Air
Shower (EAS). Detection and analysis of EAS and similar High
Energy Particle Showers involve a plethora of experimental setups
with certain constraints for which soft-computational tools like
Artificial Neural Network (ANN)s can be adopted. The optimality
of ANN classifiers can be enhanced further by the use of Multiple
Classifier System (MCS) and certain data - dimension reduction
techniques. This work describes the performance of certain data
dimension reduction techniques like Principal Component Analysis
(PCA), Independent Component Analysis (ICA) and Self Organizing
Map (SOM) approximators for application with an MCS formed
using Multi Layer Perceptron (MLP), Recurrent Neural Network
(RNN) and Probabilistic Neural Network (PNN). The data inputs are
obtained from an array of detectors placed in a circular arrangement
resembling a practical detector grid which have a higher dimension
and greater correlation among themselves. The PCA, ICA and SOM
blocks reduce the correlation and generate a form suitable for real
time practical applications for prediction of primary energy and
location of EAS from density values captured using detectors in a
circular grid.
Abstract: Both the minimum energy consumption and
smoothness, which is quantified as a function of jerk, are generally
needed in many dynamic systems such as the automobile and the
pick-and-place robot manipulator that handles fragile equipments.
Nevertheless, many researchers come up with either solely
concerning on the minimum energy consumption or minimum jerk
trajectory. This research paper proposes a simple yet very interesting
relationship between the minimum direct and indirect jerks
approaches in designing the time-dependent system yielding an
alternative optimal solution. Extremal solutions for the cost functions
of direct and indirect jerks are found using the dynamic optimization
methods together with the numerical approximation. This is to allow
us to simulate and compare visually and statistically the time history
of control inputs employed by minimum direct and indirect jerk
designs. By considering minimum indirect jerk problem, the
numerical solution becomes much easier and yields to the similar
results as minimum direct jerk problem.
Abstract: In this paper, an analytical approach is used to study the coupled lateral-torsional vibrations of laminated composite beam. It is known that in such structures due to the fibers orientation in various layers, any lateral displacement will produce a twisting moment. This phenomenon is modeled by the bending-twisting material coupling rigidity and its main feature is the coupling of lateral and torsional vibrations. In addition to the material coupling, the effects of shear deformation and rotary inertia are taken into account in the definition of the potential and kinetic energies. Then, the governing differential equations are derived using the Hamilton-s principle and the mathematical model matches the Timoshenko beam model when neglecting the effect of bending-twisting rigidity. The equations of motion which form a system of three coupled PDEs are solved analytically to study the free vibrations of the beam in lateral and rotational modes due to the bending, as well as the torsional mode caused by twisting. The analytic solution is carried out in three steps: 1) assuming synchronous motion for the kinematic variables which are the lateral, rotational and torsional displacements, 2) solving the ensuing eigenvalue problem which contains three coupled second order ODEs and 3) imposing different boundary conditions related to combinations of simply, clamped and free end conditions. The resulting natural frequencies and mode shapes are compared with similar results in the literature and good agreement is achieved.
Abstract: We demonstrate the synthesis of intermediary views
within a sequence of color encoded, materials discriminating, X-ray
images that exhibit animated depth in a visual display. During the
image acquisition process, the requirement for a linear X-ray detector
array is replaced by synthetic image. Scale Invariant Feature
Transform, SIFT, in combination with material segmented morphing
is employed to produce synthetic imagery. A quantitative analysis of
the feature matching performance of the SIFT is presented along with
a comparative study of the synthetic imagery. We show that the total
number of matches produced by SIFT reduces as the angular
separation between the generating views increases. This effect is
accompanied by an increase in the total number of synthetic pixel
errors. The trends observed are obtained from 15 different luggage
items. This programme of research is in collaboration with the UK
Home Office and the US Dept. of Homeland Security.