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: A analysis on the conventional the blood pressure estimation method using an oscillometric sphygmomanometer was
performed through a computer simulation using an arterial pressure-volume (APV) model. Traditionally, the maximum amplitude algorithm (MAP) was applied on the oscillation waveforms of the APV model to obtain the mean arterial pressure and the characteristic ratio. The estimation of mean arterial pressure and
characteristic ratio was significantly affected with the shape of the blood pressure waveforms and the cutoff frequency of high-pass filter
(HPL) circuitry. Experimental errors are due to these effects when estimating blood pressure. To find out an algorithm independent from
the influence of waveform shapes and parameters of HPL, the volume
oscillation of the APV model and the phase shift of the oscillation with fast fourier transform (FFT) were testified while increasing the cuff
pressure from 1 mmHg to 200 mmHg (1 mmHg per second). The phase shift between the ranges of volume oscillation was then only observed between the systolic and the diastolic blood pressures. The same results were also obtained from the simulations performed on two different the arterial blood pressure waveforms and one
hyperthermia waveform.
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: Visfatin and apelin are two new adipokines that recently gained a special interest in diabetes research. This study was conducted to study the interplay between these two adipokines and their correlation with other inflammatory and biochemical parameters in type 2 diabetic (T2D) postmenopausal women with CAD. Visfatin and apelin were measured by enzyme-linked immunoassay (ELISA). Visfatin was found to be significantly higher in the following groups: T2D patients without CAD, non-obese and obese T2D patients with CAD when compared to control group. Apelin was found to be significantly lower in non-obese and obese T2D patients with CAD when compared to control group. Visfatin and apelin were found to be significantly associated with each other and with other biochemical parameters. The current study provides evidence for the interplay between visfatin and apelin through the inflammatory milieu characteristic of T2D and their possible role in the pathogenesis of CAD complication of T2D.
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: 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: The assessment of the efficacy of devised Mobile-
Assisted Instructional Modes in Mobile Learning was the focus of
this research. The study adopted pre-test, post-test, control group
quasi-experimental design. Research instruments were developed,
validated and used for collecting data. Findings revealed that the
students exposed to Mobile Task Based Learning Mode (MTBLM) in
using Mobile-Assisted Instruction (MAI) performed significantly
better. The implication of these findings is that, the Audio tutorial
and Practice Mode (ATPM) (Stimulus instruments) of MAI had been
found better over the other modes used in the study.
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: There-s a lack in understanding the indoor climate of Malaysian residential. The assumption of traditional house could
provide the best indoor environment is too good to be true. This research is to understand indoor environment in three types of
Malaysian residential and thermo recorder TR72Ui were placed in
indoor spaces for measurement. There are huge differences of indoor
environment between housing types, and building material helps to control indoor climate. Traditional house indoor climate was similar to
the outdoor. Temperature in the bedroom of terrace and town houses were slightly higher than the living room. Indoor temperature was 2oC
lower in the rainy season than the hot season. It was hard to control
indoor humidity level in traditional house compared with terrace and
town house. As for conclusion, town house provides the best thermal
environment to the building occupants and can be improved with good
roof insulation.
Abstract: Software engineering education not only embraces
technical skills of software development but also necessitates
communication and interaction among learners. In this paper, it is
proposed to adapt the PBL methodology that is especially designed to
be integrated into software engineering classroom in order to promote
collaborative learning environment. This approach helps students
better understand the significance of social aspects and provides a
systematic framework to enhance teamwork skills. The adaptation of
PBL facilitates the transition to an innovative software development
environment where cooperative learning can be actualized.
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: This paper aims at improving web server performance
by establishing a middleware layer between web and database
servers, which minimizes the overload on the database server. A
middleware system has been developed as a service mainly to
improve the performance. This system manages connection accesses
in a way that would result in reducing the overload on the database
server. In addition to the connection management, this system acts as
an object-oriented model for best utilization of operating system
resources. A web developer can use this Service Broker to improve
web server performance.
Abstract: In this paper, we show that the stability can not be
achieved with current stabilizing MPC methods for some unstable
processes. Hence we present a new method for stabilizing these
processes. The main idea is to use a new time varying weighted cost
function for traditional GPC. This stabilizes the closed loop system
without adding soft or hard constraint in optimization problem. By
studying different examples it is shown that using the proposed
method, the closed-loop stability of unstable nonminimum phase
process is achieved.
Abstract: Suspended cable structures are most preferable for large spans covering due to rational use of structural materials, but the problem of suspended cable structures is initial shape change under the action of non-symmetrical load. The problem can be solved by increasing of relation of dead weight and imposed load, but this methods cause increasing of materials consumption.Prestressed cable truss usage is another way how the problem of shape change under the action of non-symmetrical load can be fixed. The better results can be achieved if we replace top chord with cable truss with cross web. Rational structure of the cable truss for prestressed cable truss top chord was developed using optimization realized in FEM program ANSYS 12 environment. Single cable and cable truss model work was discovered.Analytical and model testing results indicate, that usage of cable truss with the cross web as a top chord of prestressed cable truss instead of single cable allows to reduce total displacements by 13-16% in the case of non-symmetrical load. In case of uniformly distributed load single cable is preferable.
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: detecting the deadlock is one of the important
problems in distributed systems and different solutions have been
proposed for it. Among the many deadlock detection algorithms,
Edge-chasing has been the most widely used. In Edge-chasing
algorithm, a special message called probe is made and sent along
dependency edges. When the initiator of a probe receives the probe
back the existence of a deadlock is revealed. But these algorithms are
not problem-free. One of the problems associated with them is that
they cannot detect some deadlocks and they even identify false
deadlocks. A key point not mentioned in the literature is that when
the process is waiting to obtain the required resources and its
execution has been blocked, how it can actually respond to probe
messages in the system. Also the question of 'which process should
be victimized in order to achieve a better performance when multiple
cycles exist within one single process in the system' has received
little attention. In this paper, one of the basic concepts of the
operating system - daemon - will be used to solve the problems
mentioned. The proposed Algorithm becomes engaged in sending
probe messages to the mandatory daemons and collects enough
information to effectively identify and resolve multi-cycle deadlocks
in distributed systems.
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.