Abstract: The paper deals with the problems of the actual
behavior, failure mechanism and load-carrying capacity of the special
bolt connection developed and intended for the assembly connections
of truss main girders of perspective railway temporary steel bridges.
Within the framework of this problem solution, several types of
structural details of assembly joints have been considered as the
conceptual structural design. Based on the preliminary evaluation of
advantages or disadvantages of these ones, in principle two basic
structural configurations – so-called “tooth” and “splice-plate”
connections have been selected for the subsequent detailed
investigation. This investigation is mainly based on the experimental
verification of the actual behavior, strain and failure mechanism and
corresponding strength of the connection, and on its numerical
modeling using FEM. This paper is focused only on the cyclic
loading (fatigue) tests results of “splice-plate” connections and their
evaluation, which have already been finished. Simultaneously with
the fatigue tests, the static loading tests have been realized too, but
these ones, as well as FEM numerical modeling, are not the subject of
this paper.
Abstract: In this paper, we propose an automatic verification
technology of software patches for user virtual environments on IaaS
Cloud to decrease verification costs of patches. In these days, IaaS
services have been spread and many users can customize virtual
machines on IaaS Cloud like their own private servers. Regarding to
software patches of OS or middleware installed on virtual machines,
users need to adopt and verify these patches by themselves. This task
increases operation costs of users. Our proposed method replicates
user virtual environments, extracts verification test cases for user
virtual environments from test case DB, distributes patches to virtual
machines on replicated environments and conducts those test cases
automatically on replicated environments. We have implemented the
proposed method on OpenStack using Jenkins and confirmed the
feasibility. Using the implementation, we confirmed the effectiveness
of test case creation efforts by our proposed idea of 2-tier abstraction
of software functions and test cases. We also evaluated the automatic
verification performance of environment replications, test cases
extractions and test cases conductions.
Abstract: This paper presents an efficient fusion algorithm for
iris images to generate stable feature for recognition in unconstrained
environment. Recently, iris recognition systems are focused on real
scenarios in our daily life without the subject’s cooperation. Under
large variation in the environment, the objective of this paper is to
combine information from multiple images of the same iris. The
result of image fusion is a new image which is more stable for further
iris recognition than each original noise iris image. A wavelet-based
approach for multi-resolution image fusion is applied in the fusion
process. The detection of the iris image is based on Adaboost
algorithm and then local binary pattern (LBP) histogram is then
applied to texture classification with the weighting scheme.
Experiment showed that the generated features from the proposed
fusion algorithm can improve the performance for verification system
through iris recognition.
Abstract: The paper deals with the diagnostics of steel roof
structure of the winter sports halls built in 1970 year. The necessity
of the diagnostics has been given by the requirement to the evaluation
design of this structure, which has been caused by the new situation
in the field of the loadings given by the validity of the European
Standards in the Czech Republic from 2010 year. Due to these
changes in the normative rules, in practice existing structures are
gradually subjected to the evaluation design and depending on its
results to the strengthening or reconstruction, respectively. Steel roof
is composed of plane truss main girders, purlins and bracings and the
roof structure is supported by two arch main girders with the span of
L = 84 m. The in situ diagnostics of the roof structure was oriented to
the following parts: (i) determination and evaluation of the actual
material properties of used steel and (ii) verification of the actual
dimensions of the structural members. For the solution the nondestructive
methods have been used for in situ measurement. For the
indicative determination of steel strengths the modified method based
on the determination of Rockwell’s hardness has been used. For the
verification of the member’s dimensions (thickness of hollow
sections) the ultrasound method has been used. This paper presents
the results obtained using these testing methods and their evaluation,
from the viewpoint of the usage for the subsequent static assessment
and design evaluation of the existing structure. For the comparison,
the examples of the similar evaluations realized for steel structures of
the stadiums in Olomouc and Jihlava cities are briefly illustrated, too.
Abstract: Verification and Validation of Simulated Process
Model is the most important phase of the simulator life cycle.
Evaluation of simulated process models based on Verification and
Validation techniques checks the closeness of each component model
(in a simulated network) with the real system/process with respect to
dynamic behaviour under steady state and transient conditions. The
process of Verification and Validation helps in qualifying the process
simulator for the intended purpose whether it is for providing
comprehensive training or design verification. In general, model
verification is carried out by comparison of simulated component
characteristics with the original requirement to ensure that each step
in the model development process completely incorporates all the
design requirements. Validation testing is performed by comparing
the simulated process parameters to the actual plant process
parameters either in standalone mode or integrated mode.
A Full Scope Replica Operator Training Simulator for PFBR -
Prototype Fast Breeder Reactor has been developed at IGCAR,
Kalpakkam, INDIA named KALBR-SIM (Kalpakkam Breeder
Reactor Simulator) where in the main participants are
engineers/experts belonging to Modeling Team, Process Design and
Instrumentation & Control design team. This paper discusses about
the Verification and Validation process in general, the evaluation
procedure adopted for PFBR operator training Simulator, the
methodology followed for verifying the models, the reference
documents and standards used etc. It details out the importance of
internal validation by design experts, subsequent validation by
external agency consisting of experts from various fields, model
improvement by tuning based on expert’s comments, final
qualification of the simulator for the intended purpose and the
difficulties faced while co-coordinating various activities.
Abstract: Company managers are always looking for more and
more opportunities to succeed in today's fiercely competitive market.
To maintain your place among the successful companies on the
market today or to come up with a revolutionary business idea is
much more difficult than before. Each new or improved method, tool,
or approach that can improve the functioning of business processes or
even of the entire system is worth checking and verification. The use
of simulation in the design of manufacturing systems and their
management in practice is one of the ways without increased risk,
which makes it possible to find the optimal parameters of
manufacturing processes and systems. The paper presents an example
of use of simulation for solution of the bottleneck problem in the
concrete company.
Abstract: In this paper a real-time obstacle avoidance approach
for both autonomous and non-autonomous dynamical systems (DS) is
presented. In this approach the original dynamics of the controller
which allow us to determine safety margin can be modulated.
Different common types of DS increase the robot’s reactiveness in
the face of uncertainty in the localization of the obstacle especially
when robot moves very fast in changeable complex environments.
The method is validated by simulation and influence of different
autonomous and non-autonomous DS such as important
characteristics of limit cycles and unstable DS. Furthermore, the
position of different obstacles in complex environment is explained.
Finally, the verification of avoidance trajectories is described through
different parameters such as safety factor.
Abstract: Contracting authorities in the public sector are
obligated to apply the principles provided for in the Polish law for the
evaluation and selection of contractors. In order to analyse the
methods of contractors selecting applied in practice by public clients,
the notices of contract award results for construction works were
analysed. The analysis shows that the procedure selected more and
more often is open competitive bidding, where the assessment of the
competence of contractors is not very precise, as well as noncompetitive
bidding, i.e. single source procurement. The share of
procurement procedures, where the only criterion is price, is
increasing. The solution to the problems existing here might be the
introduction of one of the forms of pre-selection of contractors. The
article also briefly discusses verification systems for companies
applying for public contracts used in EU countries.
Abstract: The article deals with one of the most significant
issues concerning the functioning of the public sector in the European
Union. The objectives of good governance were formulated by the
EU itself and also the Scholars in reaction to the discussion that
started a decade ago and concerned the role of the government in 21st
century, the future of integration processes and globalization
challenges in Europe. Currently, the concept of good governance is
mainly associated with the improvement of management of public
policies in the European Union, concerning both domestic and EU
policies. However, it goes beyond the issues of state capacity and
effectiveness of management. Good governance relates also to
societal participation in the public administration and verification of
decisions made in public authorities’ (including public
administration). Indirectly, the concept and practice of good
governance are connected to societal legitimisation of public bodies
in the European Union.
Abstract: Many of the ever-growing elderly population require
exercise, such as running, for health management. One important
element of a runner’s training is the choice of shoes for exercise; shoes
are important because they provide the interface between the feet and
road. When we purchase shoes, we may instinctively choose a pair
after trying on many different pairs of shoes. Selecting the shoes
instinctively may work, but it does not guarantee a suitable fit for
running activities. Therefore, if we could select suitable shoes for each
runner from the viewpoint of brain activities, it would be helpful for
validating shoe selection. In this paper, we describe how brain
activities show different characteristics during particular task,
corresponding to different properties of shoes. Using five subjects, we
performed a verification experiment, applying weight, softness, and
flexibility as shoe properties. In order to affect the shoe property’s
differences to the brain, subjects run for 10 min. Before and after
running, subjects conducted a paced auditory serial addition task
(PASAT) as the particular task; and the subjects’ brain activities
during the PASAT are evaluated based on oxyhemoglobin and
deoxyhemoglobin relative concentration changes, measured by
near-infrared spectroscopy (NIRS). When the brain works actively,
oxihemoglobin and deoxyhemoglobin concentration drastically
changes; therefore, we calculate the maximum values of concentration
changes. In order to normalize relative concentration changes after
running, the maximum value are divided by before running maximum
value as evaluation parameters. The classification of the groups of
shoes is expressed on a self-organizing map (SOM). As a result,
deoxyhemoglobin can make clusters for two of the three types of
shoes.
Abstract: Structured Query Language (SQL) is the standard de facto language to access and manipulate data in a relational database. Although SQL is a language that is simple and powerful, most novice users will have trouble with SQL syntax. Thus, we are presenting SQL generator tool which is capable of translating actions and displaying SQL commands and data sets simultaneously. The tool was developed based on Model-View-Controller (MVC) pattern. The MVC pattern is a widely used software design pattern that enforces the separation between the input, processing, and output of an application. Developers take full advantage of it to reduce the complexity in architectural design and to increase flexibility and reuse of code. In addition, we use White-Box testing for the code verification in the Model module.
Abstract: The crude oil in an oil well exists in various phases
such as gas, seawater, and sand, as well as oil. Therefore, a phase
separator is needed at the front of a single-phase pump for
pressurization and transfer. On the other hand, the application of a
multiphase pump can provide such advantages as simplification of the
equipment structure and cost savings, because there is no need for a
phase separation process. Therefore, the crude oil transfer method
using a multiphase pump is being applied to recently developed oil
wells. Due to this increase in demand, technical demands for the
development of multiphase pumps are sharply increasing, but the
progress of research into related technologies is insufficient, due to the
nature of multiphase pumps that require high levels of skills. This
study was conducted to verify the reliability of pump performance
evaluation using numerical analysis, which is the basis of the
development of a multiphase pump. For this study, a model was
designed by selecting the specifications of this study. The performance
of the designed model was evaluated through numerical analysis and
experiment. The results of the performance evaluation were compared
to verify the reliability of the result using numerical analysis.
Abstract: Nonstandard tests are necessary for analyses and
verification of new developed structural and technological solutions
with application of composite materials. One of the most critical
primary structural parts of a typical aerospace structure is T-joint.
This structural element is loaded mainly in shear, bending, peel and
tension. The paper is focused on the shear loading simulations. The
aim of the work is to obtain a representative uniform distribution of
shear loads along T-joint during the mechanical testing. A new
design of T-joint test procedure, numerical simulation and
optimization of representative boundary conditions are presented.
The different conditions and inaccuracies both in simulations and
experiments are discussed. The influence of different parameters on
stress and strain distributions is demonstrated on T-joint made of
CFRP (carbon fibre reinforced plastic). A special test rig designed by
VZLU (Aerospace Research and Test Establishment) for T-shear test
procedure is presented.
Abstract: In this study, a three dimensional numerical heat
transfer model has been used to simulate the laser structuring of
polymer substrate material in the Three-Dimensional Molded
Interconnect Device (3D MID) which is used in the advanced multifunctional
applications. A finite element method (FEM) transient
thermal analysis is performed using APDL (ANSYS Parametric
Design Language) provided by ANSYS. In this model, the effect of
surface heat source was modeled with Gaussian distribution, also the
effect of the mixed boundary conditions which consist of convection
and radiation heat transfers have been considered in this analysis. The
model provides a full description of the temperature distribution, as
well as calculates the depth and the width of the groove upon material
removal at different set of laser parameters such as laser power and
laser speed. This study also includes the experimental procedure to
study the effect of laser parameters on the depth and width of the
removal groove metal as verification to the modeled results. Good
agreement between the experimental and the model results is
achieved for a wide range of laser powers. It is found that the quality
of the laser structure process is affected by the laser scan speed and
laser power. For a high laser structured quality, it is suggested to use
laser with high speed and moderate to high laser power.
Abstract: Recently, to cope with the rapidly changing
construction trend with aging infrastructures, modular bridge
technology has been studied actively. Modular bridge is easily
constructed by assembling standardized precast structure members in
the field. It will be possible to construct rapidly and reduce
construction cost efficiently. However, the shape of the transverse
connection of T-type girder newly developed between the segmented
modules is not verified. Therefore, the verification of the connection
shape is needed. In this study, shape of the modular T-girder bridge
transverse connection was analyzed by finite element model that was
verified in study which was verified model of transverse connection
using Abaqus. Connection angle was chosen as the parameter. The
result of analyses showed that optimal value of angle is 130 degree.
Abstract: Object detection using Wavelet Neural Network (WNN) plays a major contribution in the analysis of image processing. Existing cluster-based algorithm for co-saliency object detection performs the work on the multiple images. The co-saliency detection results are not desirable to handle the multi scale image objects in WNN. Existing Super Resolution (SR) scheme for landmark images identifies the corresponding regions in the images and reduces the mismatching rate. But the Structure-aware matching criterion is not paying attention to detect multiple regions in SR images and fail to enhance the result percentage of object detection. To detect the objects in the high-resolution remote sensing images, Tagged Grid Matching (TGM) technique is proposed in this paper. TGM technique consists of the three main components such as object determination, object searching and object verification in WNN. Initially, object determination in TGM technique specifies the position and size of objects in the current image. The specification of the position and size using the hierarchical grid easily determines the multiple objects. Second component, object searching in TGM technique is carried out using the cross-point searching. The cross out searching point of the objects is selected to faster the searching process and reduces the detection time. Final component performs the object verification process in TGM technique for identifying (i.e.,) detecting the dissimilarity of objects in the current frame. The verification process matches the search result grid points with the stored grid points to easily detect the objects using the Gabor wavelet Transform. The implementation of TGM technique offers a significant improvement on the multi-object detection rate, processing time, precision factor and detection accuracy level.
Abstract: The dry-storage systems of nuclear power plants (NPPs) in Taiwan have become one of the major safety concerns. There are two steps considered in this study. The first step is the verification of the TRACE by using VSC-17 experimental data. The results of TRACE were similar to the VSC-17 data. It indicates that TRACE has the respectable accuracy in the simulation and analysis of the dry-storage systems. The next step is the application of TRACE in the dry-storage system of Kuosheng NPP (BWR/6). Kuosheng NPP is the second BWR NPP of Taiwan Power Company. In order to solve the storage of the spent fuels, Taiwan Power Company developed the new dry-storage system for Kuosheng NPP. In this step, the dry-storage system model of Kuosheng NPP was established by TRACE. Then, the steady state simulation of this model was performed and the results of TRACE were compared with the Kuosheng NPP data. Finally, this model was used to perform the safety analysis of Kuosheng NPP dry-storage system. Besides, FRAPTRAN was used tocalculate the transient performance of fuel rods.
Abstract: Autonomous mobile robots can be found in a wide
field of applications. Their types range from household robots over
workshop robots to autonomous cars and many more. All of them
undergo a number of testing steps during development, production
and maintenance. This paper describes an approach to improve
testing of robot behavior. It was inspired by the RoboCup @work
competition that itself reflects a robotics benchmark for industrial
robotics. There, scaled down versions of mobile industrial robots
have to navigate through a workshop-like environment or operation
area and have to perform tasks of manipulating and transporting
work pieces. This paper will introduce an approach of automated
vision-based testing of the behavior of the so called youBot robot,
which is the most widely used robot platform in the RoboCup
@work competition. The proposed system allows automated testing
of multiple tries of the robot to perform a specific missions and
it allows for the flexibility of the robot, e.g. selecting different
paths between two tasks within a mission. The approach is based
on a multi-camera setup using, off the shelf cameras and optical
markers. It has been applied for test-driven development (TDD) and
maintenance-like verification of the robot behavior and performance.
Abstract: Conical sections and shells made from metal plates are widely used in various industrial applications. 3-roller conical bending process is preferably used to produce such conical sections and shells. Bending mechanics involved in the process is complex and little work is done in this area. In the present paper an analytical model is developed to predict bending force which will be acting during 3-roller conical bending process. To verify the developed model, conical bending experiments are performed. Analytical results and experimental results were compared. Force predicted by analytical model is in close proximity of the experimental results. The error in the prediction is ±10%. Hence the model gives quite satisfactory results. Present model is also compared with the previously published bending force prediction model and it is found that the present model gives better results. The developed model can be used to estimate the bending force during 3-roller bending process and can be useful to the designers for designing the 3-roller conical bending machine.
Abstract: Flood wave propagation in river channel flow can be enunciated by nonlinear equations of motion for unsteady flow. It is difficult to find analytical solution of these non-linear equations. Hence, in this paper verification of the finite element model has been carried out against available numerical predictions and field data. The results of the model indicate a good matching with both Preissmann scheme and HEC-RAS model for a river reach of 29km at both sites (15km from upstream and at downstream end) for discharge hydrographs. It also has an agreeable comparison with the Preissemann scheme for the flow depth (stage) hydrographs. The proposed model has also been applying to forecast daily discharges at 400km downstream in the Indus River from Sukkur barrage of Sindh, Pakistan, which demonstrates accurate model predictions with observed the daily discharges. Hence, this model may be utilized for flood warnings in advance.