Abstract: An experiment to verify the relationships between
physiological indexes of an e-learner and the presence or absence of an
operation during e-learning is described. Electroencephalogram
(EEG), hemoencephalography (HEG), skin conductance (SC), and
blood volume pulse (BVP) values were measured while participants
performed experimental learning tasks. The results show that there are
significant differences between the SC values when reading with
clicking on learning materials and the SC values when reading without
clicking, and between the HEG ratio when reading (with and without
clicking) and the HEG ratio when resting for four of five participants.
We conclude that the SC signals can be used to estimate whether or not
a learner is performing an active task and that the HEG ratios can be
used to estimate whether a learner is learning.
Abstract: Mumbai, being traditionally the epicenter of India's
trade and commerce, the existing major ports such as Mumbai and
Jawaharlal Nehru Ports (JN) situated in Thane estuary are also
developing its waterfront facilities. Various developments over the
passage of decades in this region have changed the tidal flux
entering/leaving the estuary. The intake at Pir-Pau is facing the
problem of shortage of water in view of advancement of shoreline,
while jetty near Ulwe faces the problem of ship scheduling due to
existence of shallower depths between JN Port and Ulwe Bunder. In
order to solve these problems, it is inevitable to have information
about tide levels over a long duration by field measurements.
However, field measurement is a tedious and costly affair;
application of artificial intelligence was used to predict water levels
by training the network for the measured tide data for one lunar tidal
cycle. The application of two layered feed forward Artificial Neural
Network (ANN) with back-propagation training algorithms such as
Gradient Descent (GD) and Levenberg-Marquardt (LM) was used to
predict the yearly tide levels at waterfront structures namely at Ulwe
Bunder and Pir-Pau. The tide data collected at Apollo Bunder, Ulwe,
and Vashi for a period of lunar tidal cycle (2013) was used to train,
validate and test the neural networks. These trained networks having
high co-relation coefficients (R= 0.998) were used to predict the tide
at Ulwe, and Vashi for its verification with the measured tide for the
year 2000 & 2013. The results indicate that the predicted tide levels
by ANN give reasonably accurate estimation of tide. Hence, the
trained network is used to predict the yearly tide data (2015) for
Ulwe. Subsequently, the yearly tide data (2015) at Pir-Pau was
predicted by using the neural network which was trained with the
help of measured tide data (2000) of Apollo and Pir-Pau. The analysis of measured data and study reveals that: The
measured tidal data at Pir-Pau, Vashi and Ulwe indicate that there is
maximum amplification of tide by about 10-20 cm with a phase lag
of 10-20 minutes with reference to the tide at Apollo Bunder
(Mumbai). LM training algorithm is faster than GD and with increase
in number of neurons in hidden layer and the performance of the
network increases. The predicted tide levels by ANN at Pir-Pau and
Ulwe provides valuable information about the occurrence of high and
low water levels to plan the operation of pumping at Pir-Pau and
improve ship schedule at Ulwe.
Abstract: In the deep south of Thailand, checkpoints for people
verification are necessary for the security management of risk zones,
such as official buildings in the conflict area. In this paper, we
propose an automatic checkpoint system that verifies persons using
information from ID cards and facial features. The methods for a
person’s information abstraction and verification are introduced
based on useful information such as ID number and name, extracted
from official cards, and facial images from videos. The proposed
system shows promising results and has a real impact on the local
society.
Abstract: This article discusses the passage of RDB to XML
documents (schema and data) based on metadata and semantic
enrichment, which makes the RDB under flattened shape and is
enriched by the object concept. The integration and exploitation of
the object concept in the XML uses a syntax allowing for the
verification of the conformity of the document XML during the
creation. The information extracted from the RDB is therefore
analyzed and filtered in order to adjust according to the structure of
the XML files and the associated object model. Those implemented
in the XML document through a SQL query are built dynamically. A
prototype was implemented to realize automatic migration, and so
proves the effectiveness of this particular approach.
Abstract: Rapid prototyping is a new group of manufacturing
processes, which allows fabrication of physical of any complexity
using a layer by layer deposition technique directly from a computer
system. The rapid prototyping process greatly reduces the time and
cost necessary to bring a new product to market. The prototypes
made by these systems are used in a range of industrial application
including design evaluation, verification, testing, and as patterns for
casting processes. These processes employ a variety of materials and
mechanisms to build up the layers to build the part. The present work
was to build a FDM prototyping machine that could control the X-Y
motion and material deposition, to generate two-dimensional and
three-dimensional complex shapes. This study focused on the
deposition of wax material. This work was to find out the properties
of the wax materials used in this work in order to enable better
control of the FDM process. This study will look at the integration of
a computer controlled electro-mechanical system with the traditional
FDM additive prototyping process. The characteristics of the wax
were also analysed in order to optimise the model production process.
These included wax phase change temperature, wax viscosity and
wax droplet shape during processing.
Abstract: Recently, numerous documents including large
volumes of unstructured data and text have been created because of the
rapid increase in the use of social media and the Internet. Usually,
these documents are categorized for the convenience of users. Because
the accuracy of manual categorization is not guaranteed, and such
categorization requires a large amount of time and incurs huge costs.
Many studies on automatic categorization have been conducted to help
mitigate the limitations of manual categorization. Unfortunately, most
of these methods cannot be applied to categorize complex documents
with multiple topics because they work on the assumption that
individual documents can be categorized into single categories only.
Therefore, to overcome this limitation, some studies have attempted to
categorize each document into multiple categories. However, the
learning process employed in these studies involves training using a
multi-categorized document set. These methods therefore cannot be
applied to the multi-categorization of most documents unless
multi-categorized training sets using traditional multi-categorization
algorithms are provided. To overcome this limitation, in this study, we
review our novel methodology for extending the category of a
single-categorized document to multiple categorizes, and then
introduce a survey-based verification scenario for estimating the
accuracy of our automatic categorization methodology.
Abstract: This paper describes I²C Slave implementation using
I²C master obtained from the OpenCores website. This website
provides free Verilog and VHDL Codes to users. The design
implementation for the I²C slave is in Verilog Language and uses
EDA tools for ASIC design known as ModelSim from Mentor
Graphic. This tool is used for simulation and verification purposes.
Common application for this I²C Master-Slave integration is also
included. This paper also addresses the advantages and limitations of
the said design.
Abstract: A sliding door system is used in commercial vehicles
and passenger cars to allow a larger unobstructed access to the
interior for loading and unloading. The movement of a sliding door
on vehicle body is ensured by mechanisms and tracks having special
cross-section which is manufactured by roll forming and stretch
bending process. There are three tracks and three mechanisms which
are called upper, central and lower on a sliding door system. There
are static requirements as strength on different directions, rigidity for
mechanisms, door drop off, door sag; dynamic requirements as high
energy slam opening-closing and durability requirement to validate
these products. In addition, there is a kinematic requirement to find
out force values from door handle during manual operating. In this
study, finite element analysis and physical test results which are
realized for sliding door systems will be shared comparatively.
Abstract: In Automotive Industry, sliding door systems that are
also used as body closures are safety members. Extreme product tests
are realized to prevent failures in design process, but these tests
realized experimentally result in high costs. Finite element analysis is
an effective tool used for design process. These analyses are used
before production of prototype for validation of design according to
customer requirement. In result of this, substantial amount of time
and cost is saved. Finite element model is created for geometries that are designed in
3D CAD programs. Different element types as bar, shell and solid,
can be used for creating mesh model. Cheaper model can be created
by selection of element type, but combination of element type that
was used in model, number and geometry of element and degrees of
freedom affects the analysis result. Sliding door system is a good
example which used these methods for this study. Structural analysis
was realized for sliding door mechanism by using FE models. As
well, physical tests that have same boundary conditions with FE
models were realized. Comparison study for these element types,
were done regarding test and analyses results then optimum
combination was achieved.
Abstract: This paper will discuss how we optimize our physical
verification flow in our IC Design Department having various rule
decks from multiple foundries. Our ultimate goal is to achieve faster
time to tape-out and avoid schedule delay. Currently the physical
verification runtimes and memory usage have drastically increased
with the increasing number of design rules, design complexity, and
the size of the chips to be verified. To manage design violations, we
use a number of solutions to reduce the amount of violations needed
to be checked by physical verification engineers. The most important
functions in physical verifications are DRC (design rule check), LVS
(layout vs. schematic), and XRC (extraction). Since we have a
multiple number of foundries for our design tape-outs, we need a
flow that improve the overall turnaround time and ease of use of the
physical verification process. The demand for fast turnaround time is
even more critical since the physical design is the last stage before
sending the layout to the foundries.
Abstract: The web services applications for digital reference
service (WSDRS) of LIS model is an informal model that claims to
reduce the problems of digital reference services in libraries. It uses
web services technology to provide efficient way of satisfying users’
needs in the reference section of libraries. The formal WSDRS model
consists of the Z specifications of all the informal specifications of
the model. This paper discusses the formal validation of the Z
specifications of WSDRS model. The authors formally verify and
thus validate the properties of the model using Z/EVES theorem
prover.
Abstract: The economic use and ease of construction of profiled
deck composite slab is marred with the complex and un-economic
strength verification required for the serviceability and general safety
considerations. Beside these, albeit factors such as shear span length,
deck geometries and mechanical frictions greatly influence the
longitudinal shear strength, that determines the ultimate strength of
profiled deck composite slab, and number of methods available for its
determination; partial shear and slope-intercept are the two methods
according to Euro-code 4 provision. However, the complexity
associated with shear behavior of profiled deck composite slab, the
use of these methods in determining the load carrying capacities of
such slab yields different and conflicting values. This couple with the
time and cost constraint associated with the strength verification is a
source of concern that draws more attentions nowadays, the issue is
critical. Treating some of these known shear strength influencing
factors as random variables, the load carrying capacity violation of
profiled deck composite slab from the use of the two-methods
defined according to Euro-code 4 are determined using reliability
approach, and comparatively studied. The study reveals safety values
from the use of m-k method shows good standing compared with that
from the partial shear method.
Abstract: In the present study, response surface methodology has been used to optimize turn-assisted deep cold rolling process of AISI 4140 steel. A regression model is developed to predict surface hardness and surface roughness using response surface methodology and central composite design. In the development of predictive model, deep cold rolling force, ball diameter, initial roughness of the workpiece, and number of tool passes are considered as model variables. The rolling force and the ball diameter are the significant factors on the surface hardness and ball diameter and numbers of tool passes are found to be significant for surface roughness. The predicted surface hardness and surface roughness values and the subsequent verification experiments under the optimal operating conditions confirmed the validity of the predicted model. The absolute average error between the experimental and predicted values at the optimal combination of parameter settings for surface hardness and surface roughness is calculated as 0.16% and 1.58% respectively. Using the optimal processing parameters, the surface hardness is improved from 225 to 306 HV, which resulted in an increase in the near surface hardness by about 36% and the surface roughness is improved from 4.84µm to 0.252 µm, which resulted in decrease in the surface roughness by about 95%. The depth of compression is found to be more than 300µm from the microstructure analysis and this is in correlation with the results obtained from the microhardness measurements. Taylor hobson talysurf tester, micro vickers hardness tester, optical microscopy and X-ray diffractometer are used to characterize the modified surface layer.
Abstract: In this paper, a summary of analytical and
experimental studies into the behavior of a new hysteretic damper,
designed for seismic protection of structures is presented. The Multidirectional
Torsional Hysteretic Damper (MRSD) is a patented
invention in which a symmetrical arrangement of identical cylindrical
steel cores is so configured as to yield in torsion while the structure
experiences planar movements due to earthquake shakings. The new
device has certain desirable properties. Notably, it is characterized by
a variable and controllable-via-design post-elastic stiffness. The
mentioned property is a result of MRSD’s kinematic configuration
which produces this geometric hardening, rather than being a
secondary large-displacement effect. Additionally, the new system is
capable of reaching high force and displacement capacities, shows
high levels of damping, and very stable cyclic response. The device
has gone through many stages of design refinement, multiple
prototype verification tests and development of design guide-lines
and computer codes to facilitate its implementation in practice.
Practicality of the new device, as offspring of an academic sphere, is
assured through extensive collaboration with industry in its final
design stages, prototyping and verification test programs.
Abstract: Super steel materials play a vital role in the
construction and fabrication of structural, piping and pipeline
components. In assuring the integrity of onshore and offshore
operating systems, they enable life cycle costs to be minimized. In
this context, Duplex stainless steel (DSS) material related welding on
constructions and fabrications plays a significant role in maintaining
and assuring integrity at an optimal expenditure over the life cycle of
production and process systems as well as associated structures. In
DSS welding, factors such as gap geometry, shielding gas supply
rate, welding current, and type of the welding process are vital to the
final joint performance. Hence, an experimental investigation has
been performed using an engineering robust design approach
(ERDA) to investigate the optimal settings that generate optimal
super DSS (i.e. UNS S32750) joint performance. This manuscript
illustrates the mathematical approach and experimental design,
optimal parameter settings and results of the verification experiment.
Abstract: Design concepts of real-time embedded system can be
realized initially by introducing novel design approaches. In this
literature, model based design approach and in-the-loop testing were
employed early in the conceptual and preliminary phase to formulate
design requirements and perform quick real-time verification. The
design and analysis methodology includes simulation analysis, model
based testing, and in-the-loop testing. The design of conceptual driveby-
wire, or DBW, algorithm for electronic control unit, or ECU, was
presented to demonstrate the conceptual design process, analysis, and
functionality evaluation. The concepts of DBW ECU function can be
implemented in the vehicle system to improve electric vehicle, or EV,
conversion drivability. However, within a new development process,
conceptual ECU functions and parameters are needed to be evaluated.
As a result, the testing system was employed to support conceptual
DBW ECU functions evaluation. For the current setup, the system
components were consisted of actual DBW ECU hardware, electric
vehicle models, and control area network or CAN protocol. The
vehicle models and CAN bus interface were both implemented as
real-time applications where ECU and CAN protocol functionality
were verified according to the design requirements. The proposed
system could potentially benefit in performing rapid real-time
analysis of design parameters for conceptual system or software
algorithm development.
Abstract: Verification of vented wooden façade system with
bonded joints is presented in this paper. The potential of bonded
joints is studied and described in more detail. The paper presents the results of an experimental and theoretical research about the effects of freeze cycling on the bonded joint. For the purpose of tests spruce
timber profiles were chosen for the load bearing substructure. Planks from wooden plastic composite and Siberian larch are representing facade cladding. Two types of industrial polyurethane adhesives intended for structural bonding were selected. The article is focused on the preparation as well as on the subsequent curing and conditioning of test samples. All test samples were subjected to 15 cycles that represents sudden temperature changes, i.e. immersion in a water bath at (293.15 ± 3) K for 6 hours and subsequent freezing to (253.15 ± 2) K for 18 hours. Furthermore, the retention of bond strength between substructure and cladding wastested and strength in shear was determined under tensile stress.Research data indicate that little, if any, damage to the bond results from freezingcycles. Additionally, the suitability of selected group of adhesives in combination with timber substructure was confirmed.
Abstract: The article deals with modelling of the fire
pragmatism in the area of military management and its experimental
verification. Potential approaches are based on the synergy of
mathematical and theoretical ideas, operational and tactical
requirements and the military decision-making process. This issue
has taken on importance in recent times, particularly with the
increasing trend of digitized battlefield, the development of C4ISR
systems and intention to streamline the command and control process
at the lowest levels of command. From fundamental and
philosophical point of view, these new approaches seek to
significantly upgrade and enhance the decision-making process of the
tactical commanders.
Abstract: Planning of infrastructure and processes in logistic
center within the frame of various kinds of logistic hubs and
technological activities in them represent quite complex problem.
The main goal is to design appropriate layout, which enables to
realize expected operation on the desired levels. The simulation
software represents progressive contemporary experimental
technique, which can support complex processes of infrastructure
planning and all of activities on it. It means that simulation
experiments, reflecting various planned infrastructure variants,
investigate and verify their eligibilities in relation with corresponding
expected operation. The inducted approach enables to make qualified
decisions about infrastructure investments or measures, which derive
benefit from simulation-based verifications. The paper represents
simulation software for simulation infrastructural layout and
technological activities in marshalling yard, intermodal terminal,
warehouse and combination between them as the parts of logistic
center.
Abstract: Formal verification is proposed to ensure the
correctness of the design and make functional verification more
efficient. As cache plays a vital role in the design of System on Chip
(SoC), and cache with Memory Management Unit (MMU) and cache
memory unit makes the state space too large for simulation to verify,
then a formal verification is presented for such system design. In the
paper, a formal model checking verification flow is suggested and a
new cache memory model which is called “exhaustive search model”
is proposed. Instead of using large size ram to denote the whole cache
memory, exhaustive search model employs just two cache blocks. For
cache system contains data cache (Dcache) and instruction cache
(Icache), Dcache memory model and Icache memory model are
established separately using the same mechanism. At last, the novel
model is employed to the verification of a cache which is module of a
custom-built SoC system that has been applied in practical, and the
result shows that the cache system is verified correctly using the
exhaustive search model, and it makes the verification much more
manageable and flexible.