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: Low power consumption is a major constraint for battery-powered system like computer notebook or PDA. In the past, specialists usually designed both specific optimized equipments and codes to relief this concern. Doing like this could work for quite a long time, however, in this era, there is another significant restraint, the time to market. To be able to serve along the power constraint while can launch products in shorter production period, objectoriented programming (OOP) has stepped in to this field. Though everyone knows that OOP has quite much more overhead than assembly and procedural languages, development trend still heads to this new world, which contradicts with the target of low power consumption. Most of the prior power related software researches reported that OOP consumed much resource, however, as industry had to accept it due to business reasons, up to now, no papers yet had mentioned about how to choose the best OOP practice in this power limited boundary. This article is the pioneer that tries to specify and propose the optimized strategy in writing OOP software under energy concerned environment, based on quantitative real results. The language chosen for studying is C# based on .NET Framework 2.0 which is one of the trendy OOP development environments. The recommendation gotten from this research would be a good roadmap that can help developers in coding that well balances between time to market and time of battery.
Abstract: Paper deals with environmental metrics and assessment systems devoted to Small and Medium Sized Enterprises. Authors are presenting proposed assessment model which has an ability to discover current environmental strengths and weaknesses of Small and Middle Sized Enterprise. Suggested model has also an ambition to become a Sustainability Decision Tool. Model is able to identify "best environmental devision" in the company, and to quantify how this decision contributed into overall environmental improvement. Authors understand environmental improvements as environmental innovations (product, process and organizational). Suggested model is based on its own concept; however, authors are also utilizing already existing environmental assessment tools.
Abstract: In order to encourage the construction of green homes
(GH) in Malaysia, a simple and attainable framework for designing
and building GHs is needed. This can be achieved by aligning GH
principles against Cole-s 'Sustainable Building Criteria' (SBC). This
set of considerations was used to categorize the GH features of three
case studies from Malaysia. Although the categorization of building
features is useful at exploring the presence of sustainability
inclinations of each house, the overall impact of building features in
each of the five SBCs are unknown. Therefore, this paper explored
the possibility of quantifying the impact of building features
categorized in SBC1 – “Buildings will have to adapt to the new
environment and restore damaged ecology while mitigating resource
use" based on existing GH assessment tools and methods and other
literature. This process as reported in this paper could lead to a new
dimension in green home rating and assessment methods.
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: Diagnostic and detection of the arterial stiffness is
very important; which gives indication of the associated increased risk of cardiovascular diseases. To make a cheap and easy method for general screening technique to avoid the future cardiovascular
complexes , due to the rising of the arterial stiffness ; a proposed algorithm depending on photoplethysmogram to be used. The
photoplethysmograph signals would be processed in MATLAB. The
signal will be filtered, baseline wandering removed, peaks and
valleys detected and normalization of the signals should be achieved
.The area under the catacrotic phase of the photoplethysmogram
pulse curve is calculated using trapezoidal algorithm ; then will used
in cooperation with other parameters such as age, height, blood
pressure in neural network for arterial stiffness detection. The Neural
network were implemented with sensitivity of 80%, accuracy 85%
and specificity of 90% were got from the patients data. It is
concluded that neural network can detect the arterial STIFFNESS
depending on risk factor parameters.
Abstract: Land with low pH soil spread widely in Indonesia
can be used for soybean (Glycine max) cultivation, however the
production is low. The use of acid tolerant soybean and acidaluminium
tolerant nitrogen-fixing bacteria formula was an
alternative way to increase soybean productivity on acid soils.
Bradyrhizobium japonicum is one of the nitrogen fixing bacteria
which can symbiose with soybean plants through root nodule
formation. Most of the nitrogen source required by soybean plants
can be provided by this symbiosis. This research was conducted to
study the influence of acid-aluminium tolerant B. japonicum strain
BJ 11 formula using peat as carrier on growth of Tanggamus and
Anjasmoro cultivar soybean planted on acid soil fields (pH 5.0-
5.5). The results showed that the inoculant was able to increase the
growth and production of soybean which were grown on fields acid
soil at Sukadana (Lampung) and Tanah Laut (South Kalimantan),
Indonesia.
Abstract: As a result of traffic congestion caused by sightseeing
and shuttle buses using park-and-ride parking lot near sightseeing spot,
the waiting time for tourist increases. In this paper, when bus parking
lot near sightseeing spot are overcrowded and full, a model for tourists
getting off a bus on a congested road and transfer to the sightseeing
spot by foot is proposed and verified. A model of getting off a bus on a
congested road when the sightseeing parking lot is overcrowded was
considered by the case analysis. As a result, effectiveness of the model
of getting off a bus on a congested road could be quantitatively
verified for times when parking capacity is exceeded and the bus
parking lot next to the sightseeing spot is overcrowded.
Abstract: Nano-MgO was successfully deposited on titania using deposition-precipitation method. The catalyst produced was characterised using FTIR, XRD, BET and XRF and its activity was tested on the transesterification reaction of soybean oil to biodiesel. The catalyst activity improved when the reaction temperature was increasedfrom 150 and 225 OC. It was also observed that increasing the reaction time above 1h had no significant benefit on conversion. The stability fixed MgO on TiO2 was investigated using XRF and ICP-OES. It was observed that MgO loss during the reaction was between 0.5-2.3 percent and that there was no correlation between the reaction temperature and the MgO loss.
Abstract: This paper discusses a systematic design of a Σ-Δ fractional-N Phase-Locked Loop based on HDL behavioral modeling. The proposed design consists in describing the mixed behavior of this PLL architecture starting from the specifications of each building block. The HDL models of critical PLL blocks have been described in VHDL-AMS to predict the different specifications of the PLL. The effect of different noise sources has been efficiently introduced to study the PLL system performances. The obtained results are compared with transistor-level simulations to validate the effectiveness of the proposed models for wireless applications in the frequency range around 2.45 GHz.
Abstract: The determination of sugars in foods is very
significant. Their relation in fact, can affect the chemical and
sensorial quality of the matrix (e.g., sweetness, pH, total acidity,
microbial stability, global acceptability) and can provide information
on food to optimize several selected technological processes. Three
stages of ripeness (green, yellow and red) of tomatoes (Lycopersicon
Esculentum cv. Elegance) at different harvest dates were evaluated.
Fruit from all harvests were exposed to different of ozone doses
(0.25, 0.50 and 1 mg O3/g tomatoes) and clean air for 5 day at 15
°C±2 and 90-95 % relative humidity. Then, fruits were submitted for
extraction and analysis after a day from the finish of exposure of each
stage. The concentrations of the glucose and fructose increased in the
tomatoes which were subjected to ozone treatments.
Abstract: Continuous pyrolysis of Cogongrass by control
temperature in the novel pyrolysis reactor were conducted at three
difference temperatures 400, 450 and 500°C. Preliminary calculate of
the product yields founded the liquid yield of Cogongrass was
highest of 41.45 %, at 500 oC. Indicated that the liquid yield from
Cogongrass had good received yields because it gave over 40 % and
its produced more liquid than that solid and gas. The compounds
detected in bio-oil from Cogongrass showed the functional group,
especially; Phenol, Phenol, 2,5-dimethyl, Phenol, 3-methyl, 2-
methyl-1,3-oxathiofane, Benzene,1-ethyl-4-methoxy, 2-Cyclopenten-
1-one,2,3-dimethyl, 2- Cyclopenten-1- one, 3-Methyl.
Abstract: In this paper, the estimation of the stress-strength
parameter R = P(Y < X), when X and Y are independent and both
are Lomax distributions with the common scale parameters but
different shape parameters is studied. The maximum likelihood
estimator of R is derived. Assuming that the common scale parameter
is known, the bayes estimator and exact confidence interval of R are
discussed. Simulation study to investigate performance of the
different proposed methods has been carried out.
Abstract: This paper describes a simulation model for analyzing artificial emotion injected to design the game characters. Most of the game storyboard is interactive in nature and the virtual characters of the game are equipped with an individual personality and dynamic emotion value which is similar to real life emotion and behavior. The uncertainty in real expression, mood and behavior is also exhibited in game paradigm and this is focused in the present paper through a fuzzy logic based agent and storyboard. Subsequently, a pheromone distribution or labeling is presented mimicking the behavior of social insects.
Abstract: In this paper we are to find the optimum
multiwavelet for compression of electrocardiogram (ECG)
signals. At present, it is not well known which multiwavelet is
the best choice for optimum compression of ECG. In this
work, we examine different multiwavelets on 24 sets of ECG
data with entirely different characteristics, selected from MITBIH
database. For assessing the functionality of the different
multiwavelets in compressing ECG signals, in addition to
known factors such as Compression Ratio (CR), Percent Root
Difference (PRD), Distortion (D), Root Mean Square Error
(RMSE) in compression literature, we also employed the
Cross Correlation (CC) criterion for studying the
morphological relations between the reconstructed and the
original ECG signal and Signal to reconstruction Noise Ratio
(SNR). The simulation results show that the cardbal2 by the
means of identity (Id) prefiltering method to be the best
effective transformation.
Abstract: The use of statistical data and of the neural networks, capable of elaborate a series of data and territorial info, have allowed the making of a model useful in the subdivision of urban places into homogeneous zone under the profile of a social, real estate, environmental and urbanist background of a city. The development of homogeneous zone has fiscal and urbanist advantages. The tools in the model proposed, able to be adapted to the dynamic changes of the city, allow the application of the zoning fast and dynamic.
Abstract: Heavy rains are one of the features of arid and semi
arid climates which result in flood. This kind of rainfall originates
from environmental and synoptic conditions. Mediterranean cyclones
are the major factor in heavy rainfall in Iran, but these cyclones do
not happen in some parts of Iran such as Southern and Southeastern
areas. In this study, it has been tried to pinpoint the synoptic reasons
of heavy rainfall in Isfahan through the analysis of the relationship
between this rainfall in Isfahan and atmospheric system over Iran and
the areas around it. The findings of this study show that the major
factor have is the arrival of Sudanese low pressure system in this
region from the southwest, of course if the ascent local conditions
such as heat occur, the heaviest rains happen in Isfahan. In fact this
kind of rainfall in Isfahan has a Sudanese origin and if it is
accompanied by Mediterranean system, heavier rain falls.
Abstract: The objective of this research was to study the career
success and the satisfaction of female executives working for schools
in Bangkok, Thailand. This paper drew upon the survey data
collected from 68 female executives. The survey conducted in on
Bangkok schools. The statistics utilized in this paper included
percentage, mean, standard deviation as well as t-test. The findings
revealed that the majority of samples had more than 30 years of
experience, held a master degree, and had an average income of less
than 40,000 baht. The majority of respondents worked not more than
50 hours per week. In addition, the mean score revealed career
development was ranked as their number one career satisfaction and
having a job related to education was ranked as their number one job
satisfaction. Also, the mean score of all categories of satisfaction was
4.61 with standard deviation of 1.677 which indicated that female
executive level of satisfaction was high. In terms of the subjectivity
career success, the hypothesis testing’s result disclosed that female
executives with different married status had a difference in their job
satisfaction which was significant at the 0.05 confidence level.
Abstract: Cooperative visual modeling is more and more
necessary in our complicated world. A collaborative environment
which supports interactive operation and communication is required
to increase work efficiency. We present a collaborative visual
modeling framework which collaborative platform could be built on.
On this platform, cooperation and communication is available for
designers from different regions. This framework, which is different
from other collaborative frameworks, contains a uniform message
format, a message handling mechanism and other functions such as
message pretreatment and Role-Communication-Token Access
Control (RCTAC). We also show our implementation of this
framework called Orchestra Designer, which support BPLE
workflow modeling cooperatively online.
Abstract: Recent communications environment significantly
expands the mobile environment. The popularization of smartphones
with various mobile services has emerged, and smartphone users are
rapidly increasing. Because of these symptoms, existing wired
environment in a variety of mobile traffic entering to mobile network
has threatened the stability of the mobile network. Unlike traditional
wired infrastructure, mobile networks has limited radio resources and
signaling procedures for complex radio resource management. So
these traffic is not a problem in wired networks but mobile networks, it
can be a threat. In this paper, we analyze the security threats in mobile
networks and provide direction to solve it.