Abstract: Embedded hardware simulator is a valuable computeraided
tool for embedded application development. This paper focuses
on the ARM926EJ-S MMU, builds state transition models and
formally verifies critical properties for the models. The state transition
models include loading instruction model, reading data model, and
writing data model. The properties of the models are described by
CTL specification language, and they are verified in VIS. The results
obtained in VIS demonstrate that the critical properties of MMU are
satisfied in the state transition models. The correct models can be
used to implement the MMU component in our simulator. In the
end of this paper, the experimental results show that the MMU can
successfully accomplish memory access requests from CPU.
Abstract: Until recently it would have been unusual to consider classifying population movements and refugees as security problem. However, efforts at shaping our world to make ourselves secure have paradoxically led to ever greater insecurity. The feeling of uncertainty, pertinent throughout all discourses of security, has led to the creation of security production into seemingly benign routines of everyday life. Yet, the paper argues, neither of security discourses accounted for, disclosed and challenged the fundamental aporias embedded in Western security narratives. In turn, the paper aims to unpick the conventional security wisdom, which is haunted with strong ontologies, embedded in the politics of Orientalism, and (in)security nexus. The paper concludes that current security affair conceals the integral impossibility of fulfilling its very own promise of assured security. The paper also provides suggestions about alternative security discourse based on mutual dialogue.
Abstract: The explosion of interest in online gaming and
virtual worlds is leading many universities to investigate
possible educational applications of the new environments.
In this paper we explore the possibilities of 3D online worlds
for teacher education, particularly the field experience
component. Drawing upon two pedagogical examples, we
suggest that virtual simulations may, with certain limitations,
create safe spaces that allow preservice teachers to adopt
alternate identities and interact safely with the “other." In so
doing they may become aware of the constructed nature of
social categories and gain the essential pedagogical skill of
perspective-taking. We suggest that, ultimately, the ability to
be the principal creators of themselves in virtual environments
can increase their ability to do the same in the real world.
Abstract: Frauds in insurance industry are one of the major
sources of operational risk of insurance companies and constitute a
significant portion of their losses. Every reasonable company on the
market aims for improving their processes of uncovering frauds and
invests their resources to reduce them. This article is addressing fraud
management area from the view of extension of existing Business
Intelligence solution. We describe the frame of such solution and
would like to share with readers all benefits brought to insurance
companies by adopting this approach in their fight against insurance
frauds.
Abstract: Magnesium alloy has been widely investigated as
biodegradable cardiovascular stent and bone implant. Its application
for biodegradable esophageal stenting remains unexplored. This
paper reports the biodegradation behaviors of AZ31 magnesium alloy
in artificial saliva and various types of beverage in vitro. Results
show that the magnesium ion release rate of AZ31 in artificial saliva
for a stent (2cm diameter, 10cm length at 50% stent surface
coverage) is 43 times lower than the daily allowance of human body
magnesium intakes. The degradation rates of AZ31 in different
beverages could also be significantly different. These results suggest
that the esophagus in nature is a less aggressive chemical
environment for degradation of magnesium alloys. The significant
difference in degradation rates of AZ31 in different beverages opens
new opportunities for development of degradation controllable
esophageal stent through customizing ingested beverages.
Abstract: Metal cutting is a severe plastic deformation process
involving large strains, high strain rates, and high temperatures.
Conventional analysis of the chip formation process is based on bulk
material deformation disregarding the inhomogeneous nature of the
material microstructure. A series of orthogonal cutting tests of AISI
1045 and 1144 steel were conducted which yielded similar process
characteristics and chip formations. With similar shear angles and cut
chip thicknesses, shear strains for both chips were found to range
from 2.0 up to 2.8. The manganese-sulfide (MnS) precipitate in the
1144 steel has a very distinct and uniform shape which allows for
comparison before and after chip formation. From close observations
of MnS precipitates in the cut chips it is shown that the conventional
approach underestimates plastic strains in metal cutting.
Experimental findings revealed local shear strains around a value of
6. These findings and their implications are presented and discussed.
Abstract: This paper proposes a new model to support user
queries on postgraduate research information at Universiti Tenaga
Nasional. The ontology to be developed will contribute towards
shareable and reusable domain knowledge that makes knowledge
assets intelligently accessible to both people and software. This work
adapts a methodology for ontology development based on the
framework proposed by Uschold and King. The concepts and
relations in this domain are represented in a class diagram using the
Protégé software. The ontology will be used to support a menudriven
query system for assisting students in searching for
information related to postgraduate research at the university.
Abstract: Active power filter continues to be a powerful tool to control harmonics in power systems thereby enhancing the power quality. This paper presents a fuzzy tuned PID controller based shunt active filter to diminish the harmonics caused by non linear loads like thyristor bridge rectifiers and imbalanced loads. Here Fuzzy controller provides the tuning of PID, based on firing of thyristor bridge rectifiers and variations in input rms current. The shunt APF system is implemented with three phase current controlled Voltage Source Inverter (VSI) and is connected at the point of common coupling for compensating the current harmonics by injecting equal but opposite filter currents. These controllers are capable of controlling dc-side capacitor voltage and estimating reference currents. Hysteresis Current Controller (HCC) is used to generate switching signals for the voltage source inverter. Simulation studies are carried out with non linear loads like thyristor bridge rectifier along with unbalanced loads and the results proved that the APF along with fuzzy tuned PID controller work flawlessly for different firing angles of non linear load.
Abstract: The paper proposes a unified model for multimedia data retrieval which includes data representatives, content representatives, index structure, and search algorithms. The multimedia data are defined as k-dimensional signals indexed in a multidimensional k-tree structure. The benefits of using the k-tree unified model were demonstrated by running the data retrieval application on a six networked nodes test bed cluster. The tests were performed with two retrieval algorithms, one that allows parallel searching using a single feature, the second that performs a weighted cascade search for multiple features querying. The experiments show a significant reduction of retrieval time while maintaining the quality of results.
Abstract: This study describes the methodology for the development of a validated in-vitro in-vivo correlation (IVIVC) for metoprolol tartrate modified release dosage forms with distinctive release rate characteristics. Modified release dosage forms were formulated by microencapsulation of metoprolol tartrate into different amounts of ethylcellulose by non-solvent addition technique. Then in-vitro and in-vivo studies were conducted to develop and validate level A IVIVC for metoprolol tartrate. The values of regression co-efficient (R2-values) for IVIVC of T2 and T3 formulations were not significantly (p
Abstract: CO2 is the primary anthropogenic greenhouse gas,
accounting for 77% of the human contribution to the greenhouse
effect in 2004. In the recent years, global concentration of CO2 in the
atmosphere is increasing rapidly. CO2 emissions have an impact on
global climate change. Anthropogenic CO2 is emitted primarily from
fossil fuel combustion. Carbon capture and storage (CCS) is one
option for reducing CO2 emissions. There are three major approaches
for CCS: post-combustion capture, pre-combustion capture and
oxyfuel process. Post-combustion capture offers some advantages as
existing combustion technologies can still be used without radical
changes on them.
There are several post combustion gas separation and capture
technologies being investigated, namely; (a) absorption, (b)
cryogenic separation, (c) membrane separation (d) micro algal biofixation
and (e) adsorption. Apart from establishing new techniques,
the exploration of capture materials with high separation performance
and low capital cost are paramount importance. However, the
application of adsorption from either technology, require easily
regenerable and durable adsorbents with a high CO2 adsorption
capacity. It has recently been reported that the cost of the CO2
capture can be reduced by using this technology. In this paper, the
research progress (from experimental results) in adsorbents for CO2
adsorption, storage, and separations were reviewed and future
research directions were suggested as well.
Abstract: A measurement system was successfully fabricated to
detect ion concentrations (hydrogen and chlorine) in this study.
PIC18F4520, the microcontroller was used as the control unit in the
measurement system. The measurement system was practically used
to sense the H+ and Cl- in different examples, and the pH and pCl
values were exhibited on real-time LCD display promptly. In the study,
the measurement method is used to judge whether the response voltage
is stable. The change quantity is smaller than 0.01%, that the present
response voltage compares with next response voltage for H+
measurement, and the above condition is established only 6 sec.
Besides, the change quantity is smaller than 0.01%, that the present
response voltage compares with next response voltage for Clmeasurement,
and the above condition is established only 5 sec.
Furthermore, the average error quantities would also be considered,
and they are 0.05 and 0.07 for measurements of pH and pCl values,
respectively.
Abstract: Duplicated region detection is a technical method to
expose copy-paste forgeries on digital images. Copy-paste is one
of the common types of forgeries to clone portion of an image
in order to conceal or duplicate special object. In this type of
forgery detection, extracting robust block feature and also high
time complexity of matching step are two main open problems.
This paper concentrates on computational time and proposes a local
block matching algorithm based on block clustering to enhance time
complexity. Time complexity of the proposed algorithm is formulated
and effects of two parameter, block size and number of cluster, on
efficiency of this algorithm are considered. The experimental results
and mathematical analysis demonstrate this algorithm is more costeffective
than lexicographically algorithms in time complexity issue
when the image is complex.
Abstract: A mathematical model for determining the overall efficiency
of a multistage tractor gearbox including all gear, lubricant,
surface finish related parameters and operating conditions is
presented. Sliding friction, rolling friction and windage losses were
considered as the main sources of power loss in the gearing system. A
computer code in FORTRAN was developed to simulate the model.
Sliding friction contributes about 98% of the total power loss for
gear trains operating at relatively low speeds (less than 2000 rpm
input speed). Rolling frictional losses decrease with increased load
while windage losses are only significant for gears running at very
high speeds (greater than 3000 rpm). The results also showed that the
overall efficiency varies over the path of contact of the gear meshes
ranging between 94% to 99.5%.
Abstract: Vehicular communications play a substantial role in providing safety in transportation by means of safety message exchange. Researchers have proposed several solutions for securing safety messages. Protocols based on a fixed key infrastructure are more efficient in implementation and maintain stronger security in comparison with dynamic structures. These protocols utilize zone partitioning to establish distinct key infrastructure under Certificate Authority (CA) supervision in different regions. Secure anonymous broadcasting (SAB) is one of these protocols that preserves most of security aspects but it has some deficiencies in practice. A very important issue is region change of a vehicle for its mobility. Changing regions leads to change of CA and necessity of having new key set to resume communication. In this paper, we propose solutions for informing vehicles about region change to obtain new key set before entering next region. This hinders attackers- intrusion, packet loss and lessons time delay. We also make key request messages secure by confirming old CA-s public key to the message, hence stronger security for safety message broadcasting is attained.
Abstract: This paper investigates the indices of a creative city in
Isfahan. Its main aim is to evaluate quantitative status of the creative
city indices in Isfahan city, analyze the dispersion and distribution of
these indices in Isfahan city. Concerning these, this study tries to
analyze the creative city indices in fifteen area of Isfahan through
secondary data, questionnaire, TOPSIS model, Shannon entropy and
SPSS. Based on this, the fifteen areas of Isfahan city have been
ranked with 12 factors of creative city indices. The results of studies
show that fifteen areas of Isfahan city are not equally benefiting from
creative indices and there is much difference between the areas of
Isfahan city.
Abstract: This study was to search for the desirable direction of
the sidewalk planning in Korea by establishing the concepts of
walking and pedestrian space, and analyzing the advanced precedents
in and out of country. Also, based on the precedent studies and
relevant laws, regulations, and systems, it aimed for the following
sequential process: firstly, to derive design elements from the
functions and characteristics of sidewalk and cluster the similar
elements by each characteristics, sampling representative
characteristics and making them hierarchical; then, to analyze their
significances via the first questionnaire survey, and the relative
weights and priorities of each elements via the Analytic Hierarchy
Process(AHP); finally, based on the analysis result, to establish the
frame of suggesting the direction of policy to improve the pedestrian
environment of sidewalk in urban commercial district for the future
planning and design of pedestrian space.
Abstract: In realizing devices using ZnO, a key challenge is the
production of p-type material. Substitution of oxygen by a group-V
impurity is thought to result in deep acceptor levels, but a candidate
made up from a complex of a group-V impurity (P, As, Sb) on a Zn
site coupled with two vacant Zn sites is widely viewed as a candidate.
We show using density-functional simulations that in contrast to such
a view, complexes involving oxygen interstitials are energetically
more favorable, resulting in group-V impurities coordinated with four,
five or six oxygen atoms.
Abstract: The burst of Web 2.0 technology and social
networking tools manifest different styles of learning and managing
knowledge among both knowledge workers and adult learners. In the
Western countries, open-learning concept has been made popular due
to the ease of use and the reach that the technology provides. In
Malaysia, there are still some gaps between the learners- acceptance
of technology and the full implementation of the technology in the
education system. There is a need to understand how adult learners,
who are knowledge workers, manage their personal knowledge via
social networking tools, especially in their learning process. Four
processes of personal knowledge management (PKM) and four
cognitive enablers are proposed supported by analysed data on adult
learners in a university. The model derived from these processes and
enablers is tested and presented, with recommendations on features to be included in adult learners- learning environment.
Abstract: Gauteng, as the province with the greatest industrial and population density, the economic hub of South Africa also generates the greatest amount of waste, both general and hazardous. Therefore the province has a significant need to develop and apply appropriate integrated waste management policies that ensure that waste is recognised as a serious problem and is managed in an effective integrated manner to preserve both the present and future human health and environment. This paper reflects on Gauteng-s waste outlook in particular the province-s General Waste Minimisation Plan and its Integrated Waste Management Policy. The paper also looks at general waste generation, recyclable waste streams as well as recycling and separation at source initiatives in the province. Both the quantity and nature of solid waste differs considerably across the socio-economic spectrum. People in informal settlements generate an average of 0.16 kg per person per day whereas 2 kg per day is not unusual in affluent areas. For example the amount of waste generated in Johannesburg is approximately 1.2 kg per person per day.