Abstract: Checkpointing is one of the commonly used techniques to provide fault-tolerance in distributed systems so that the system can operate even if one or more components have failed. However, mobile computing systems are constrained by low bandwidth, mobility, lack of stable storage, frequent disconnections and limited battery life. Hence, checkpointing protocols having lesser number of synchronization messages and fewer checkpoints are preferred in mobile environment. There are two different approaches, although not orthogonal, to checkpoint mobile computing systems namely, time-based and index-based. Our protocol is a fusion of these two approaches, though not first of its kind. In the present exposition, an index-based checkpointing protocol has been developed, which uses time to indirectly coordinate the creation of consistent global checkpoints for mobile computing systems. The proposed algorithm is non-blocking, adaptive, and does not use any control message. Compared to other contemporary checkpointing algorithms, it is computationally more efficient because it takes lesser number of checkpoints and does not need to compute dependency relationships. A brief account of important and relevant works in both the fields, time-based and index-based, has also been included in the presentation.
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: This paper explores the changing trend in citizenship
norms among young citizens from various ethnic groups in Malaysia
and the extent to which it influences the participation of young
citizens in political and civil issues. Embedded in democratic
constitutions are the rights and freedoms that accompany citizenship,
and these rights and freedoms include participation. Participation in
democracies should go beyond voting; it should include taking part in
the governance process. The political process is not at risk even
though politics does not work as it did in the past. A national sample
of 1697 respondents between the ages of 21 and 40 years were
interviewed in January 2011. The findings show that respondents
embrace an engaged-citizenship norm more than they do the
traditional duty-citizen norm. Among the ethnic groups, the Chinese
show lower means in both citizenship norms compared with other
ethnic groups, namely, the Malays and the Indians. The duty-citizen
norm correlates higher with political participation than with civic
participation. On the other hand, the engaged-citizen norm correlates
higher with civic participation than with political participation.
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: In this paper, we propose a new class of Volterra series based filters for image enhancement and restoration. Generally the linear filters reduce the noise and cause blurring at the edges. Some nonlinear filters based on median operator or rank operator deal with only impulse noise and fail to cancel the most common Gaussian distributed noise. A class of second order Volterra filters is proposed to optimize the trade-off between noise removal and edge preservation. In this paper, we consider both the Gaussian and mixed Gaussian-impulse noise to test the robustness of the filter. Image enhancement and restoration results using the proposed Volterra filter are found to be superior to those obtained with standard linear and nonlinear filters.
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: The electroencephalograph (EEG) signal is one of the most widely signal used in the bioinformatics field due to its rich information about human tasks. In this work EEG waves classification is achieved using the Discrete Wavelet Transform DWT with Fast Fourier Transform (FFT) by adopting the normalized EEG data. The DWT is used as a classifier of the EEG wave's frequencies, while FFT is implemented to visualize the EEG waves in multi-resolution of DWT. Several real EEG data sets (real EEG data for both normal and abnormal persons) have been tested and the results improve the validity of the proposed technique.
Abstract: Order reduction of linear-time invariant systems employing two methods; one using the advantages of Routh approximation and other by an evolutionary technique is presented in this paper. In Routh approximation method the denominator of the reduced order model is obtained using Routh approximation while the numerator of the reduced order model is determined using the indirect approach of retaining the time moments and/or Markov parameters of original system. By this method the reduced order model guarantees stability if the original high order model is stable. In the second method Particle Swarm Optimization (PSO) is employed to reduce the higher order model. PSO method is based on the minimization of the Integral Squared Error (ISE) between the transient responses of original higher order model and the reduced order model pertaining to a unit step input. Both the methods are illustrated through numerical examples.
Abstract: Displacement measurement was conducted on compact normal and shear specimens made of acrylic homogeneous material subjected to mixed-mode loading by digital image correlation. The intelligent hybrid method proposed by Nishioka et al. was applied to the stress-strain analysis near the crack tip. The accuracy of stress-intensity factor at the free surface was discussed from the viewpoint of both the experiment and 3-D finite element analysis. The surface images before and after deformation were taken by a CMOS camera, and we developed the system which enabled the real time stress analysis based on digital image correlation and inverse problem analysis. The great portion of processing time of this system was spent on displacement analysis. Then, we tried improvement in speed of this portion. In the case of cracked body, it is also possible to evaluate fracture mechanics parameters such as the J integral, the strain energy release rate, and the stress-intensity factor of mixed-mode. The 9-points elliptic paraboloid approximation could not analyze the displacement of submicron order with high accuracy. The analysis accuracy of displacement was improved considerably by introducing the Newton-Raphson method in consideration of deformation of a subset. The stress-intensity factor was evaluated with high accuracy of less than 1% of the error.
Abstract: A suitable e-learning system management needs to
carry out a web-information system in order to allow integrated
fruition of data and metadata concerning the activities typical of elearning
environment. The definition of a “web information system"
for e-learning takes advantage of the potentialities of Web
technologies both as for the access to metadata present on the several
platforms, and as for the implementation of courseware which make
up the relative didactic environment. What information systems have
in common is the technological environment on which they are
generally implemented and the use of metadata in order to structure
information at all cognitive and organization levels. In this work we
are going to define a methodology for the implementation of a
specific web information system for an e-learning environment.
Abstract: For the last years, the variants of the Newton-s method with cubic convergence have become popular iterative methods to find approximate solutions to the roots of non-linear equations. These methods both enjoy cubic convergence at simple roots and do not require the evaluation of second order derivatives. In this paper, we present a new Newton-s method based on contra harmonic mean with cubically convergent. Numerical examples show that the new method can compete with the classical Newton's method.
Abstract: Semnan is a city in semnan province, northern Iran
with a population estimated at 119,778 inhabitants. It is the
provincial capital of semnan province. Iran is a developing country
and construction is a basic factor of developing too. Hence, Semnan
city needs to a special programming for construction of buildings,
structures and infrastructures. Semnan municipality tries to begin this
program. In addition to, city has some historical monuments which
can be interesting for tourists. Hence, Semnan inhabitants can benefit
from tourist industry. Optimization of Energy in construction
industry is another activity of this municipality and the inhabitants
who execute these regulations receive some discounts. Many parts of
Iran such as semnan are located in highly seismic zones and
structures must be constructed safe e.g., according to recent seismic
codes. In this paper opportunities of IT in construction industry of
Iran are investigated in three categories. Pre-construction phase,
construction phase and earthquake disaster mitigation are studied.
Studies show that information technology can be used in these items
for reducing the losses and increasing the benefits. Both government
and private sectors must contribute to this strategic project for
obtaining the best result.
Abstract: The distribution of macrobenthic polychaetes along
the coastal waters of Penang National Park was surveyed to estimate
the effect of various environmental parameters at three stations
(200m, 600m and 1200m) from the shoreline, during six sampling
months, from June 2010 to April 2011.The use of polychaetes in
descriptive ecology is surveyed in the light of a recent investigation
particularly concerning the soft bottom biota environments.
Polychaetes, often connected in the former to the notion of
opportunistic species able to proliferate after an enhancement in
organic matter, had performed a momentous role particularly with
regard to effected soft-bottom habitats. The objective of this survey
was to investigate different environment stress over soft bottom
polychaete community along Teluk Ketapang and Pantai Acheh
(Penang National Park) over a year period. Variations in the
polychaete community were evaluated using univariate and
multivariate methods. The results of PCA analysis displayed a
positive relation between macrobenthic community structures and
environmental parameters such as sediment particle size and organic
matter in the coastal water. A total of 604 individuals were examined
which was grouped into 23 families. Family Nereidae was the most
abundant (22.68%), followed by Spionidae (22.02%), Hesionidae
(12.58%), Nephtylidae (9.27%) and Orbiniidae (8.61%). It is
noticeable that good results can only be obtained on the basis of good
taxonomic resolution. We proposed that, in monitoring surveys,
operative time could be optimized not only by working at a highertaxonomic
level on the entire macrobenthic data set, but by also
choosing an especially indicative group and working at lower
taxonomic and good level.
Abstract: The purpose of the paper is to develop an informationcontrol environment for overall management and self-reconfiguration of the reconfigurable multifunctional machine tool for machining both rotation and prismatic parts and high concentration of different technological operations - turning, milling, drilling, grinding, etc. For the realization of this purpose on the basis of defined sub-processes for the implementation of the technological process, architecture of the information-search system for machine control is suggested. By using the object-oriented method, a structure and organization of the search system based on agents and manager with central control are developed. Thus conditions for identification of available information in DBs, self-reconfiguration of technological system and entire control of the reconfigurable multifunctional machine tool are created.
Abstract: Discrete Wavelet Transform (DWT) has demonstrated
far superior to previous Discrete Cosine Transform (DCT) and
standard JPEG in natural as well as medical image compression. Due
to its localization properties both in special and transform domain,
the quantization error introduced in DWT does not propagate
globally as in DCT. Moreover, DWT is a global approach that avoids
block artifacts as in the JPEG. However, recent reports on natural
image compression have shown the superior performance of
contourlet transform, a new extension to the wavelet transform in two
dimensions using nonseparable and directional filter banks,
compared to DWT. It is mostly due to the optimality of contourlet in
representing the edges when they are smooth curves. In this work, we
investigate this fact for medical images, especially for CT images,
which has not been reported yet. To do that, we propose a
compression scheme in transform domain and compare the
performance of both DWT and contourlet transform in PSNR for
different compression ratios (CR) using this scheme. The results
obtained using different type of computed tomography images show
that the DWT has still good performance at lower CR but contourlet
transform performs better at higher CR.
Abstract: In recent times, corporations are increasingly under pressure to ensure diversity within their boardrooms and a large number of academic research have reported findings consistent with the view that boards perform better when they include a diverse range of people. Women have unique characteristics needed to positively influence the strategic direction of a corporation and contribute to the growth of firms. In spite of such revelations, evidence suggests that women are under-represented in senior executive and board positions. In many parts of Africa, socio-cultural traditions inhibit women from attaining these roles. Given the emphasis placed on board diversity and inclusion of women as an essential part of good corporate governance, the relationship between gender diversity and board effectiveness deserves both theoretical and empirical investigation. This research is important because it represents the first theoretical review on gender diversity in corporate boards in Nigeria.
Abstract: Sudoku is a kind of logic puzzles. Each puzzle consists
of a board, which is a 9×9 cells, divided into nine 3×3 subblocks
and a set of numbers from 1 to 9. The aim of this puzzle is to
fill in every cell of the board with a number from 1 to 9 such
that in every row, every column, and every subblock contains each
number exactly one. Sudoku puzzles belong to combinatorial problem
(NP complete). Sudoku puzzles can be solved by using a variety of
techniques/algorithms such as genetic algorithms, heuristics, integer
programming, and so on. In this paper, we propose a new approach for
solving Sudoku which is by modelling them as block-world problems.
In block-world problems, there are a number of boxes on the table
with a particular order or arrangement. The objective of this problem
is to change this arrangement into the targeted arrangement with the
help of two types of robots. In this paper, we present three models
for Sudoku. We modellized Sudoku as parameterized multi-agent
systems. A parameterized multi-agent system is a multi-agent system
which consists of several uniform/similar agents and the number of
the agents in the system is stated as the parameter of this system. We
use Temporal Logic of Actions (TLA) for formalizing our models.
Abstract: Ammonia nitrogen is one of the most hazardous
water pollutants, discharging into water receptors through industrial
effluents. Negative environmental impacts of such chemical species
in hydrosphere include accelerated eutrophication, water toxicity and
harming the aquatics. Natural zeolite clinoptilolite has very high
selectivity & capacity for ammonium cation sorption. It occurs in
high abundances and rich mines of this zeolite exist in different parts
of Iran and thus are available more cheaply and with different sizing.
The aim of this study is to investigate ammonia nitrogen removal
over this natural sorbent from real samples of high polluted
wastewater discharging from a fertilizer producing plant. The
experimental results showed that this natural sorbent without even
any pre treatment system & with the same particle size available in
Iranian markets has still high capability & selectivity in ammonia
nitrogen removal both in batch and continuous tests.
Abstract: In this work we will present a new approach for shot transition auto-detection. Our approach is based on the analysis of Spatio-Temporal Video Slice (STVS) edges extracted from videos. The proposed approach is capable to efficiently detect both abrupt shot transitions 'cuts' and gradual ones such as fade-in, fade-out and dissolve. Compared to other techniques, our method is distinguished by its high level of precision and speed. Those performances are obtained due to minimizing the problem of the boundary shot detection to a simple 2D image partitioning problem.