Abstract: A separation-kernel-based operating system (OS) has been designed for use in secure embedded systems by applying formal methods to the design of the separation-kernel part. The separation kernel is a small OS kernel that provides an abstract distributed environment on a single CPU. The design of the separation kernel was verified using two formal methods, the B method and the Spin model checker. A newly designed semi-formal method, the extended state transition method, was also applied. An OS comprising the separation-kernel part and additional OS services on top of the separation kernel was prototyped on the Intel IA-32 architecture. Developing and testing of a prototype embedded application, a point-of-sale application, on the prototype OS demonstrated that the proposed architecture and the use of formal methods to design its kernel part are effective for achieving a secure embedded system having a high-assurance separation kernel.
Abstract: The objective of the research was to study of foot
anthropometry of children aged 7-12 years in the South of Thailand Thirty-three dimensions were measured on 305 male and 295 female
subjects with 3 age ranges (7-12 years old). The instrumentation consists of four types of anthropometer, digital vernier caliper, digital
height gauge and measuring tape. The mean values and standard
deviations of average age, height, and weight of the male subjects were 9.52(±1.70) years, 137.80(±11.55) cm, and 37.57(±11.65) kg.
Female average age, height, and weight subjects were 9.53(±1.70) years, 137.88(±11.55) cm, and 34.90(±11.57) kg respectively. The
comparison of the 33 comparison measured anthropometric. Between
male and female subjects were sexual differences in size on women in almost all areas of significance (p
Abstract: Product Lead Time (PLT) is the period of time from
receiving a customer's order to delivering the final product. PLT is an
indicator of the manufacturing controllability, efficiency and
performance. Due to the explosion in the rate of technological
innovations and the rapid changes in the nature of manufacturing
processes, manufacturing firms can bring the new products to market
quicker only if they can reduce their PLT and speed up the rate at
which they can design, plan, control, and manufacture. Although
there is a substantial body of research on manufacturing relating to
cost and quality issues, there is no much specific research conducted
in relation to the formulation of PLT, despite its significance and
importance. This paper analyzes and formulates PLT which can be
used as a guideline for achieving the shorter PLT. Further more this
paper identifies the causes of delay and factors that contributes to the
increased product lead-time.
Abstract: Sound pathways in the enclosures of small earphones
are very narrow. In such narrow pathways, the speed of sound
propagation and the phase of sound waves change because of the air
viscosity. We have developed a new finite element method that
includes the effects of damping due to air viscosity for modeling the
sound pathway. This method is developed as an extension of the
existing finite element method for porous sound-absorbing materials.
The numerical calculation results using the proposed finite element
method are validated against the existing calculation methods.
Abstract: The nanosized polymeric micelles release the drug
due to acoustic cavitation, which is enhanced in dual frequency
ultrasonic fields. In this study, adult female Balb/C mice were
transplanted with spontaneous breast adenocarcinoma tumors and
were injected with a dose of 1.3 mg/kg doxorubicin in one of three
forms: free doxorubicin, micellar doxorubicin without sonication and
micellar doxorubicin with sonication. To increase cavitation yield,
the tumor region was sonicated with low level dual frequency of 3
MHz and 28 kHz. The animals were sacrificed 24 h after injection,
and their tumor, heart, spleen, liver, kidneys and plasma were
separated and homogenized. The drug content in their tumor, heart,
spleen, liver, kidneys and plasma was determined using tissue
fluorimetry. The results show that in the group that received micellar
doxorubicin with sonication, the drug concentration in the tumor
tissue was nine and three times higher than in the free doxorubicin
group and the micellar doxorubicin without sonication group,
respectively. In the micellar doxorubicin with sonication group, the
drug concentration in other tissues was lower than other groups
(p
Abstract: Nagaland, the 16th state of India in order of
statehood, is situated between 25° 6' and 27° 4' latitude north and
between 93º 20' E and 95º 15' E longitude of equator in the North
Eastern part of the India. Endowed with varied topography, soil and
agro climatic conditions it is known for its potentiality to grow all
most all kinds of horticultural crops. Pineapple being grown since
long organically by default is one of the most promising crops of the
state with emphasis being laid for commercialization by the
government of Nagaland. In light of commercialization, globalization
and scope of setting small-scale industries, a research study was
undertaken to examine the socio-economic and personal
characteristics, entrepreneurial characteristics and attitude of the
pineapple growers towards improved package of practices of
pineapple cultivation. The study was conducted in Medziphema
block of Dimapur district of the Nagaland state of India following ex
post facto research design. Ninety pineapple growers were selected
from four different villages of Medziphema block based on
proportionate random selection procedure. Findings of the study
revealed that majority of the respondents had medium level of
entrepreneurial characteristics in terms of knowledge level, risk
orientation, self confidence, management orientation, farm decision
making ability and leadership ability and most of them had
favourable attitude towards improved package of practices of
pineapple cultivation. The variables age, education, farm size, risk
orientation, management orientation and sources of information
utilized were found important to influence the attitude of the
respondents. The study revealed that favourable attitude and
entrepreneurial characteristics of the pineapple cultivators might be
harnessed for increased production of pineapple in the state thereby
bringing socio economic upliftment of the marginal and small-scale
farmers.
Abstract: A novel direction-of-arrival (DOA) estimation technique, which uses a conventional multiple signal classification (MUSIC) algorithm with periodic signals, is applied to a single RF-port parasitic array antenna for direction finding. Simulation results show that the proposed method gives high resolution (1 degree) DOA estimation in an uncorrelated signal environment. The novelty lies in that the MUSIC algorithm is applied to a simplified antenna configuration. Only one RF port and one analogue-to-digital converter (ADC) are used in this antenna, which features low DC power consumption, low cost, and ease of fabrication. Modifications to the conventional MUSIC algorithm do not bring much additional complexity. The proposed technique is also free from the negative influence by the mutual coupling between elements. Therefore, the technique has great potential to be implemented into the existing wireless mobile communications systems, especially at the power consumption limited mobile terminals, to provide additional position location (PL) services.
Abstract: This paper investigated the organizational
innovativeness of public listed housing developers in Malaysia. We
conceptualized organizational innovativeness as a multi-dimensional
construct consisting of 5 dimensions: market innovativeness, product
innovativeness, process innovativeness, behavior innovativeness and
strategic innovativeness. We carried out questionnaire survey with all
accessible public listed developers in Malaysia and received a 56
percent response. We found that the innovativeness of public listed
housing developers is low. The study extends the knowledge on
innovativeness theory by using a multi-dimensional contructs to
conceptualize the innovativeness of public listed housing developers
in Malaysia where all this while most studies focused on single
dimensional construct of innovativeness. The paper ends by
providing some explanations for the results.
Abstract: Shape memory alloy (SMA) actuators have found a
wide range of applications due to their unique properties such as high
force, small size, lightweight and silent operation. This paper presents
the development of compact (SMA) actuator and cooling system in
one unit. This actuator is developed for multi-fingered hand. It
consists of nickel-titanium (Nitinol) SMA wires in compact forming.
The new arrangement insulates SMA wires from the human body by
housing it in a heat sink and uses a thermoelectric device for rejecting
heat to improve the actuator performance. The study uses
optimization methods for selecting the SMA wires geometrical
parameters and the material of a heat sink. The experimental work
implements the actuator prototype and measures its response.
Abstract: In general, small-scale vegetables farmers experience
problems in improving the safety and quality of vegetables supplied
to high-class consumers in modern retailers. They also lack of
information to access market. The farmers group and/or cooperative
(FGC) should be able to assist its members by providing training in
handling and packing vegetables and enhancing marketing
capabilities to sell commodities to the modern retailers. This study
proposes an agri-food supply chain (ASC) model that involves the
corporate social responsibility (CSR) activities to cultivate the
capabilities of farmers to access market. Multi period ASC model is
formulated as Weighted Goal Programming (WGP) to analyze the
impacts of CSR programs to empower the FGCs in managing the
small-scale vegetables farmers. The results show that the proposed
model can be used to determine the priority of programs in order to
maximize the four goals to be achieved in the CSR programs.
Abstract: Current OCR technology does not allow to
accurately recognizing small text images, such as those found
in web images. Our goal is to investigate new approaches to
recognize very low resolution text images containing antialiased
character shapes.
This paper presents a preliminary study on the variability of
such characters and the feasibility to discriminate them by
using geometrical features. In a first stage we analyze the
distribution of these features. In a second stage we present a
study on the discriminative power for recognizing isolated
characters, using various rendering methods and font
properties. Finally we present interesting results of our
evaluation tests leading to our conclusion and future focus.
Abstract: The study was performed to evaluate the effect of Sgirdling,
fruit thinning plus bagging with 2,4-D application, fruit
thinning plus bagging on growth and quality of wax apple fruit.
Girdling was applied three week before flowering. The 2,4-D was
sprayed at the small bud and petal fall stage. The effect of all
treatments on fruit growth was measured weekly. The physical and
biochemical quality characteristics of the fruits were recorded. The
results showed that no significant effect on number of bud among
treatments. S-girdling, 2,4-D application produced the lowest bud
drop, fruit drop compared to untreated control. Moreover, S-girdling
enhanced faster fruit growth producing the best final fruit length and
diameter than the control treatment. It was also observed that Sgirdling
greatly increased fruit set, fruit weight as well as total
soluble solid, reduced fruit crack, and titratable acidity. In
conclusion, S-girdling had a distinctive and significant effect on most
of the fruit quality characteristics assessed. Application 2,4-D was
also recommended as the industry norm to increase fruit set, and fruit
quality in wax apple.
Abstract: Although face recognition seems as an easy task for
human, automatic face recognition is a much more challenging task
due to variations in time, illumination and pose. In this paper, the
influence of time-lapse on visible and thermal images is examined.
Orthogonal moment invariants are used as a feature extractor to
analyze the effect of time-lapse on thermal and visible images and the
results are compared with conventional Principal Component
Analysis (PCA). A new triangle square ratio criterion is employed
instead of Euclidean distance to enhance the performance of nearest
neighbor classifier. The results of this study indicate that the ideal
feature vectors can be represented with high discrimination power
due to the global characteristic of orthogonal moment invariants.
Moreover, the effect of time-lapse has been decreasing and enhancing
the accuracy of face recognition considerably in comparison with
PCA. Furthermore, our experimental results based on moment
invariant and triangle square ratio criterion show that the proposed
approach achieves on average 13.6% higher in recognition rate than
PCA.
Abstract: In this paper we use exponential particle swarm
optimization (EPSO) to cluster data. Then we compare between
(EPSO) clustering algorithm which depends on exponential variation
for the inertia weight and particle swarm optimization (PSO)
clustering algorithm which depends on linear inertia weight. This
comparison is evaluated on five data sets. The experimental results
show that EPSO clustering algorithm increases the possibility to find
the optimal positions as it decrease the number of failure. Also show
that (EPSO) clustering algorithm has a smaller quantization error
than (PSO) clustering algorithm, i.e. (EPSO) clustering algorithm
more accurate than (PSO) clustering algorithm.
Abstract: An automatic speech recognition system for the
formal Arabic language is needed. The Quran is the most formal
spoken book in Arabic, it is spoken all over the world. In this
research, an automatic speech recognizer for Quranic based speakerindependent
was developed and tested. The system was developed
based on the tri-phone Hidden Markov Model and Maximum
Likelihood Linear Regression (MLLR). The MLLR computes a set
of transformations which reduces the mismatch between an initial
model set and the adaptation data. It uses the regression class tree, as
well as, estimates a set of linear transformations for the mean and
variance parameters of a Gaussian mixture HMM system. The 30th
Chapter of the Quran, with five of the most famous readers of the
Quran, was used for the training and testing of the data. The chapter
includes about 2000 distinct words. The advantages of using the
Quranic verses as the database in this developed recognizer are the
uniqueness of the words and the high level of orderliness between
verses. The level of accuracy from the tested data ranged 68 to 85%.
Abstract: We propose a downlink multiple-input multipleoutput
(MIMO) multi-carrier code division multiple access (MCCDMA)
system with adaptive beamforming algorithm for smart
antennas. The algorithm used in this paper is based on the Least
Mean Square (LMS), with pilot channel estimation (PCE) and the
zero forcing equalizer (ZFE) in the receiver, requiring reference
signal and no knowledge channel. MC-CDMA is studied in a
multiple antenna context in order to efficiently exploit robustness
against multipath effects and multi-user flexibility of MC-CDMA and
channel diversity offered by MIMO systems for radio mobile
channels. Computer simulations, considering multi-path Rayleigh
Fading Channel, interference inter symbol and interference are
presented to verify the performance. Simulation results show that the
scheme achieves good performance in a multi-user system.
Abstract: Rapid advancement in computing technology brings
computers and humans to be seamlessly integrated in future. The
emergence of smartphone has driven computing era towards
ubiquitous and pervasive computing. Recognizing human activity has
garnered a lot of interest and has raised significant researches-
concerns in identifying contextual information useful to human
activity recognition. Not only unobtrusive to users in daily life,
smartphone has embedded built-in sensors that capable to sense
contextual information of its users supported with wide range
capability of network connections. In this paper, we will discuss the
classification algorithms used in smartphone-based human activity.
Existing technologies pertaining to smartphone-based researches in
human activity recognition will be highlighted and discussed. Our
paper will also present our findings and opinions to formulate
improvement ideas in current researches- trends. Understanding
research trends will enable researchers to have clearer research
direction and common vision on latest smartphone-based human
activity recognition area.
Abstract: This was the first document revealing the
investigation of protein hydrolysate production optimization from J.
curcas cake. Proximate analysis of raw material showed 18.98%
protein, 5.31% ash, 8.52% moisture and 12.18% lipid. The
appropriate protein hydrolysate production process began with
grinding the J. curcas cake into small pieces. Then it was suspended
in 2.5% sodium hydroxide solution with ratio between solution/ J.
curcas cake at 80:1 (v/w). The hydrolysis reaction was controlled at
temperature 50 °C in water bath for 45 minutes. After that, the
supernatant (protein hydrolysate) was separated using centrifuge at
8000g for 30 minutes. The maximum yield of resulting protein
hydrolysate was 73.27 % with 7.34% moisture, 71.69% total protein,
7.12% lipid, 2.49% ash. The product was also capable of well
dissolving in water.
Abstract: This study examines perception of environmental
approach in small and medium-sized enterprises (SMEs) – the
process by which firms integrate environmental concern into
business. Based on a review of the literature, the paper synthesizes
focus on environmental issues with the reflection in a case study in
the Czech Republic. Two themes of corporate environmentalism are
discussed – corporate environmental orientation and corporate
stances toward environmental concerns. It provides theoretical
material on greening organizational culture that is helpful in
understanding the response of contemporary business to
environmental problems. We integrate theoretical predictions with
empirical findings confronted with reality. Scales to measure these
themes are tested in a survey of managers in 229 Czech firms. We
used the process of in-depth questioning. The research question was
derived and answered in the context of the corresponding literature
and conducted research. A case study showed us that environmental
approach is variety different (depending on the size of the firm) in
SMEs sector. The results of the empirical mapping demonstrate
Czech company’s approach to environment and define the problem
areas and pinpoint the main limitation in the expansion of
environmental aspects. We contribute to the debate for recognition of
the particular role of environmental issues in business reality.
Abstract: The removal of hydrogen sulphide is required for reasons of health, odour problems, safety and corrosivity problems. The means of removing hydrogen sulphide mainly depend on its concentration and kind of medium to be purified. The paper deals with a method of hydrogen sulphide removal from the air by its catalytic oxidation to elemental sulphur with the use of Fe-EDTA complex. The possibility of obtaining fibrous filtering materials able to remove small concentrations of H2S from the air were described. The base of these materials is fibrous ion exchanger with Fe(III)- EDTA complex immobilized on their functional groups. The complex of trivalent iron converts hydrogen sulphide to elemental sulphur. Bivalent iron formed in the reaction is oxidized by the atmospheric oxygen, so complex of trivalent iron is continuously regenerated and the overall process can be accounted as pseudocatalytic. In the present paper properties of several fibrous catalysts based on ion exchangers with different chemical nature (weak acid,weak base and strong base) were described. It was shown that the main parameters affecting the process of catalytic oxidation are:concentration of hydrogen sulphide in the air, relative humidity of the purified air, the process time and the content of Fe-EDTA complex in the fibres. The data presented show that the filtering layers with anion exchange package are much more active in the catalytic processes of hydrogen sulphide removal than cation exchanger and inert materials. In the addition to the nature of the fibres relative air humidity is a critical factor determining efficiency of the material in the air purification from H2S. It was proved that the most promising carrier of the Fe-EDTA catalyst for hydrogen sulphide oxidation are Fiban A-6 and Fiban AK-22 fibres.