Abstract: The H.264/AVC standard is a highly efficient video
codec providing high-quality videos at low bit-rates. As employing
advanced techniques, the computational complexity has been
increased. The complexity brings about the major problem in the
implementation of a real-time encoder and decoder. Parallelism is the
one of approaches which can be implemented by multi-core system.
We analyze macroblock-level parallelism which ensures the same bit
rate with high concurrency of processors. In order to reduce the
encoding time, dynamic data partition based on macroblock region is
proposed. The data partition has the advantages in load balancing and
data communication overhead. Using the data partition, the encoder
obtains more than 3.59x speed-up on a four-processor system. This
work can be applied to other multimedia processing applications.
Abstract: Advancements in the field of artificial intelligence
(AI) made during this decade have forever changed the way we look
at automating spacecraft subsystems including the electrical power
system. AI have been used to solve complicated practical problems
in various areas and are becoming more and more popular nowadays.
In this paper, a mathematical modeling and MATLAB–SIMULINK
model for the different components of the spacecraft power system is
presented. Also, a control system, which includes either the Neural
Network Controller (NNC) or the Fuzzy Logic Controller (FLC) is
developed for achieving the coordination between the components of
spacecraft power system as well as control the energy flows. The
performance of the spacecraft power system is evaluated by
comparing two control systems using the NNC and the FLC.
Abstract: This paper describes a study of geometrically
nonlinear free vibration of thin circular functionally graded (CFGP)
plates resting on Winkler elastic foundations. The material properties
of the functionally graded composites examined here are assumed to
be graded smoothly and continuously through the direction of the
plate thickness according to a power law and are estimated using the
rule of mixture. The theoretical model is based on the classical Plate
theory and the Von-Kármán geometrical nonlinearity assumptions.
An homogenization procedure (HP) is developed to reduce the
problem considered here to that of isotropic homogeneous circular
plates resting on Winkler foundation. Hamilton-s principle is applied
and a multimode approach is derived to calculate the fundamental
nonlinear frequency parameters which are found to be in a good
agreement with the published results. On the other hand, the
influence of the foundation parameters on the nonlinear fundamental
frequency has also been analysed.
Abstract: The purpose of the present study is to analyze the
effect of the target plate-s curvature on the heat transfer in laminar
confined impinging jet flows. Numerical results from two
dimensional compressible finite volume solver are compared
between three different shapes of impinging plates: Flat, Concave
and Convex plates. The remarkable result of this study proves that
the stagnation Nusselt number in laminar range of Reynolds number
based on the slot width is maximum in convex surface and is
minimum in concave plate. These results refuse the previous data in
literature stating the amount of the stagnation Nusselt number is
greater in concave surface related to flat plate configuration.
Abstract: This paper presents the concept and realisation of an
e-learning tool that provides predefined or automatically generated
exercises concerning logistics cost accounting. Students may practise
where and whenever they like to via the Internet. Their solutions are
marked automatically by the tool while considering consecutive
faults and without any intervention of lecturers.
Abstract: In present work the problem of the ITER fusion
plasma neutron source parameter reconstruction using only the
Vertical Neutron Camera data was solved. The possibility of neutron
source parameter reconstruction was estimated by the numerical
simulations and the analysis of adequateness of mathematic model
was performed. The neutron source was specified in a parametric
form. The numerical analysis of solution stability with respect to data
distortion was done. The influence of the data errors on the
reconstructed parameters is shown:
• is reconstructed with errors less than 4% at all examined values
of δ (until 60%);
• is determined with errors less than 10% when δ do not overcome
5%;
• is reconstructed with relative error more than 10 %;
• integral intensity of the neutron source is determined with error
10% while δ error is less than 15%;
where -error of signal measurements, (R0,Z0), the plasma center
position,- /parameter of neutron source profile.
Abstract: This paper characterizes the effects of artificial short
term aging in the laboratory on the rheological properties of virgin
80/100 penetration grade asphalt binder. After several years in
service, asphalt mixture started to deteriorate due to aging. Aging is a
complex physico-chemical phenomenon that influences asphalt
binder rheological properties causing a deterioration in asphalt
mixture performance. To ascertain asphalt binder aging effects, the
virgin, artificially aged and extracted asphalt binder were tested via
the Rolling Thin film Oven (RTFO), Dynamic Shear Rheometer
(DSR) and Rotational Viscometer (RV). A comparative study
between laboratory and field aging conditions were also carried out.
The results showed that the specimens conditioned for 85 minutes
inside the RTFO was insufficient to simulate the actual short term
aging caused that took place in the field under Malaysian field
conditions
Abstract: A two dimensional three segments coupled pendulum system that mathematically models human arm configuration was developed along with constructing and solving the equations of motions for this model using the energy (work) based approach of Lagrange. The equations of motion of the model were solved iteratively both as an initial value problem and as a two point boundary value problem. In the initial value problem solutions, both the initial system configuration (segment angles) and initial system velocity (segment angular velocities) were used as inputs, whereas, in the two point boundary value problem solutions initial and final configurations and time were used as inputs to solve for the trajectory of motion. The results suggest that the model solutions are sensitive to small changes in the dynamic forces applied to the system as well as to the initial and boundary conditions used. To overcome the system sensitivity a new approach is suggested.
Abstract: In the past decade, the development of microstrip
sensor application has evolved tremendously. Although cut and trial
method was adopted to develop microstrip sensing applications in the
past, Computer-Aided-Design (CAD) is a more effective as it ensures
less time is consumed and cost saving is achieved in developing
microstrip sensing applications. Therefore microstrip sensing
applications has gained popularity as an effective tool adopted in
continuous sensing of moisture content particularly in products that is
administered mainly by liquid content. In this research, the Cole-Cole
representation of reactive relaxation is applied to assess the
performance of the microstrip sensor devices. The microstrip sensor
application is an effective tool suitable for sensing the moisture
content of dielectric material. Analogous to dielectric relaxation
consideration of Cole-Cole diagrams as applied to dielectric
materials, a “reactive relaxation concept” concept is introduced to
represent the frequency-dependent and moisture content
characteristics of microstrip sensor devices.
Abstract: This research aimed to study the competency of health
and wellness hotels and resorts in developing use the local natural
resources and wisdom to conform to the national health and wellness
tourism (HWT) strategy by comparing two independent samples,
from Aumpur Muang, Ranong province and Aumpur Muang,
Chiangmai province. And also study in the suggestive direct path to
lead the organization to the sustainable successful.
This research was conduct by using mix methodology; both
quantitative and qualitative data were used. The data of competency
of health and wellness hotels and resorts (HWHR) in developing use
the local natural resources for HWT promoting were collected via
300 set of questionnaires, from 6 hotels and resorts in 2 areas, 3
places from Aumpur Muang, Ranong province and another 3 from
Aumpur Muang, Chiangmai province.
Thestudy of HWHR’s competency in developing use the local
natural resources and wisdom to conform to the national HWT
strategycan be divided into fourmain areas, food and beverages
service, tourism activity, environmental service, and value adding.
The total competency of the Chiangmai sample is importantly
scoredp. value 0.01 higher than the Ranong one while the area of
safety, Chiangmai’s competency is importantly scored 0.05 higher
than the Ranong’scompetency. Others were rated not differently.
Since Chiangmai perform better, then it can be a role model in
developing HTHR or HWT destination.
From the part of qualitative research, content analysis of business
contents and its environments were analyzed. The four stages of
strategic development and plans, from the smallest scale to the largest
scale such a national base were discussed. The HWT: Evolution
model and strategy for lodging Business were suggested. All those
stages must work harmoniously together. The distinctive result
illustrates the need of human resource development as the key point
to create the identity of Thainess on Health and wellness service
providing. This will add-on the value of services and differentiates
ourselves from other competitors. The creative of Thailand’s health
and wellness brand possibly increase loyalty customers which agreed
to be a path of sustainable development.
Abstract: As is known, one of the priority directions of research
works of natural sciences is introduction of applied section of
contemporary mathematics as approximate and numerical methods to
solving integral equation into practice. We fare with the solving of
integral equation while studying many phenomena of nature to whose
numerically solving by the methods of quadrature are mainly applied.
Taking into account some deficiency of methods of quadrature for
finding the solution of integral equation some sciences suggested of
the multistep methods with constant coefficients. Unlike these papers,
here we consider application of hybrid methods to the numerical
solution of Volterra integral equation. The efficiency of the suggested
method is proved and a concrete method with accuracy order p = 4
is constructed. This method in more precise than the corresponding
known methods.
Abstract: In this paper, a recursive algorithm for the
computation of 2-D DCT using Ramanujan Numbers is proposed.
With this algorithm, the floating-point multiplication is completely
eliminated and hence the multiplierless algorithm can be
implemented using shifts and additions only. The orthogonality of
the recursive kernel is well maintained through matrix factorization
to reduce the computational complexity. The inherent parallel
structure yields simpler programming and hardware implementation
and provides
log 1
2
3
2 N N-N+
additions and
N N
2 log
2 shifts which is
very much less complex when compared to other recent multiplierless
algorithms.
Abstract: In this paper we explore the application of a formal proof system to verification problems in cryptography. Cryptographic properties concerning correctness or security of some cryptographic algorithms are of great interest. Beside some basic lemmata, we explore an implementation of a complex function that is used in cryptography. More precisely, we describe formal properties of this implementation that we computer prove. We describe formalized probability distributions (o--algebras, probability spaces and condi¬tional probabilities). These are given in the formal language of the formal proof system Isabelle/HOL. Moreover, we computer prove Bayes' Formula. Besides we describe an application of the presented formalized probability distributions to cryptography. Furthermore, this paper shows that computer proofs of complex cryptographic functions are possible by presenting an implementation of the Miller- Rabin primality test that admits formal verification. Our achievements are a step towards computer verification of cryptographic primitives. They describe a basis for computer verification in cryptography. Computer verification can be applied to further problems in crypto-graphic research, if the corresponding basic mathematical knowledge is available in a database.
Abstract: Grid computing is a high performance computing
environment to solve larger scale computational applications. Grid
computing contains resource management, job scheduling, security
problems, information management and so on. Job scheduling is a
fundamental and important issue in achieving high performance in
grid computing systems. However, it is a big challenge to design an
efficient scheduler and its implementation. In Grid Computing, there
is a need of further improvement in Job Scheduling algorithm to
schedule the light-weight or small jobs into a coarse-grained or
group of jobs, which will reduce the communication time,
processing time and enhance resource utilization. This Grouping
strategy considers the processing power, memory-size and
bandwidth requirements of each job to realize the real grid system.
The experimental results demonstrate that the proposed scheduling
algorithm efficiently reduces the processing time of jobs in
comparison to others.
Abstract: The selective wet-etching of amorphous and
crystalline region of Sb20Se80 thin films was carried out using organic
based solution e.g. amines. We report the development of an in situ
real-time method to study the wet chemical etching process of thin
films. Characterization of the structure and surface of films studied
by X-ray diffraction, SEM and EBSD methods has been done and
potential application suggested.
Abstract: In this paper, delay-dependent stability analysis for
neutral type neural networks with uncertain paramters and
time-varying delay is studied. By constructing new
Lyapunov-Krasovskii functional and dividing the delay interval into
multiple segments, a novel sufficient condition is established to
guarantee the globally asymptotically stability of the considered
system. Finally, a numerical example is provided to illustrate the
usefulness of the proposed main results.
Abstract: Object Relational Databases (ORDB) are complex in
nature than traditional relational databases because they combine the
characteristics of both object oriented concepts and relational
features of conventional databases. Design of an ORDB demands
efficient and quality schema considering the structural, functional
and componential traits. This internal quality of the schema is
assured by metrics that measure the relevant attributes. This is
extended to substantiate the understandability, usability and
reliability of the schema, thus assuring external quality of the
schema. This work institutes a formalization of ORDB metrics;
metric definition, evaluation methodology and the calibration of the
metric. Three ORDB schemas were used to conduct the evaluation
and the formalization of the metrics. The metrics are calibrated using
content and criteria related validity based on the measurability,
consistency and reliability of the metrics. Nominal and summative
scales are derived based on the evaluated metric values and are
standardized. Future works pertaining to ORDB metrics forms the
concluding note.
Abstract: Insect pests are the major source of crop
damage, yield and quality reduction in Pakistan and else
where in the world. Cotton crop is the most hit crop in
Pakistan followed by rice and the second most important
foreign exchange earning crop. A wide variety of staple,
horticultural and cash crops grown, reflect serious problems of
many types of insect pests. To overcome the insect pest
problem, pesticide use in Pakistan has increased substantially
which has now been further intensified. Pesticides worth more
than billions of rupees are imported every year. This paper
reviews the over all pesticide use in Pakistan in relation to
pesticide prices, support price of cotton and rice, pesticide use
in different provinces of Pakistan on different crops and their
impact on crop productivity. The environmental pollution
caused by the use of pesticides, contamination of soil and
water resources and the danger associated with the disposal of
their empty containers is also discussed in detail.
Abstract: In switch mode power inverters, small sized inverters
can be obtained by increasing the switching frequency. Switching
frequency increment causes high driver losses. Also, high dt
di
and
dt
dv
produced by the switching action creates high Electromagnetic
Interference (EMI) and Radio Frequency Interference (RFI). In this
paper, a series half bridge series resonant inverter circuit is simulated
and evaluated practically to demonstrate the turn-on and turn-off
conditions during zero or close to zero voltage switching. Also, the
reverse recovery current effects of the body diode of the MOSFETs
were investigated by operating above and below resonant frequency.
Abstract: In order to define a new model of Tunisian foot
sizes and for building the most comfortable shoes, Tunisian
industrialists must be able to offer for their customers products able
to put on and adjust the majority of the target population concerned.
Moreover, the use of models of shoes, mainly from others
country, causes a mismatch between the foot and comfort of the
Tunisian shoes.
But every foot is unique; these models become uncomfortable for
the Tunisian foot. We have a set of measures produced from a
3D scan of the feet of a diverse population (women, men ...) and we
try to analyze this data to define a model of foot specific to the
Tunisian footwear design.
In this paper we propose tow new approaches to modeling a new
foot sizes model. We used, indeed, the neural networks, and specially
the Kohonen network.
Next, we combine neural networks with the concept of half-foot
size to improve the models already found. Finally, it was necessary to
compare the results obtained by applying each approach and we
decide what-s the best approach that give us the most model of foot
improving more comfortable shoes.