Abstract: This paper attempts to discuss the evolution of the
retrieval techniques focusing on development, challenges and trends
of the image retrieval. It highlights both the already addressed and
outstanding issues. The explosive growth of image data leads to the
need of research and development of Image Retrieval. However,
Image retrieval researches are moving from keyword, to low level
features and to semantic features. Drive towards semantic features is
due to the problem of the keywords which can be very subjective and
time consuming while low level features cannot always describe high
level concepts in the users- mind.
Abstract: In this article, a formal specification and verification of the Rabin public-key scheme in a formal proof system is presented. 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. A major objective of this article is the presentation of the first computer-proved implementation of the Rabin public-key scheme in Isabelle/HOL. Moreover, we explicate a (computer-proven) formalization of correctness as well as a computer verification of security properties using a straight-forward computation model in Isabelle/HOL. The analysis uses a given database to prove formal properties of our implemented functions with computer support. The main task in designing a practical formalization of correctness as well as efficient computer proofs of 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 efficient formal proofs. Consequently, we get reliable proofs with a minimal error rate augmenting the used database, what provides a formal basis for more computer proof constructions in this area.
Abstract: There has been a growing emphasis in
communication management from simple coordination of
promotional tools to a complex strategic process. This study will
examine the current marketing communications and engagement
strategies used in addressing the key stakeholders. In the case of
fertilizer industry in Malaysia, there has been little empirical
research on stakeholder communication when major challenges
facing the modern corporation is the need to communicate its
identity, its values and products in order to distinguish itself from
competitors. The study will employ both quantitative and qualitative
methods and the use of Structural Equation Modeling (SEM) to
establish a causal relationship amongst the key factors of stakeholder
communication strategies and increment in consumers-
choice/acceptance and impact on financial performance. One of the
major contributions is a conceptual framework for communication
strategies and engagement in increasing consumers- acceptance level
and the firm-s financial performance.
Abstract: Adsorption of methanol and ethanol over mesoporous
siliceous material are studied in the current paper. The pure
mesoporous silica is prepared using tetraethylorthosilicate (TEOS) as
silica source and dodecylamine as template at low pH. The prepared
material was characterized using nitrogen adsorption,nX-ray
diffraction (XRD) and scanning electron microscopy (SEM). The
adsorption kinetics of methanol and ethanol from aqueous solution
were studied over the prepared mesoporous silica material. The
percent removal of alcohol was calculated per unit mass of adsorbent
used. The 1st order model is found to be in agreement with both
adsorbates while the 2nd order model fit the adsorption of methanol
only.
Abstract: The growing importance of sustainability in corporate
policies represents a great opportunity for workers to gain more
consideration, with great benefits to their well being. Sustainable
work is believed to be one which improves the organization-s
performance and fosters professional development as well as
workers- health. In a multiple case study based on document
research, information was sought about work activities and their
sustainability or corporate social responsibility (CSR) policies, as
disseminated by corporations. All the companies devoted attention to
work activities and delivered a good amount of information about
them. Nevertheless, the information presented was generic; all the
actions developed were top-down and there was no information about
the impact of changes aimed at sustainability on the workers-
activities. It was found that the companies seemed to be at an early
stage. In the future, they need to show more commitment through
concrete goals: they must be aware that workers contribute directly to
the corporations- sustainability. This would allow room for
Ergonomics and Work Psychodynamics to be incorporated and to be
useful for both companies and society, so as to promote and ensure
work sustainability.
Abstract: The aim of the work presented here was to either use
existing forest dynamic simulation models or calibrate a new one
both within the SYMFOR framework with the purpose of examining
changes in stand level basal area and functional composition in
response to selective logging considering trees > 10 cm d.b.h for two
areas of undisturbed Amazonian non flooded tropical forest in Brazil
and one in Peru. Model biological realism was evaluated for forest in
the undisturbed and selectively logged state and it was concluded that
forest dynamics were realistically represented. Results of the logging
simulation experiments showed that in relation to undisturbed forest
simulation subject to no form of harvesting intervention there was a
significant amount of change over a 90 year simulation period that
was positively proportional to the intensity of logging. Areas which
had in the dynamic equilibrium of undisturbed forest a greater
proportion of a specific ecological guild of trees known as the light
hardwoods (LHW’s) seemed to respond more favorably in terms of
less deviation but only within a specific range of baseline forest
composition beyond which compositional diversity became more
important. These finds are in line partially with practical management
experience and partiality basic systematics theory respectively.
Abstract: In the following text, we show that by introducing
universal kinetic scheme, the origin of rate retardation and inhibition
period which observed in dithiobenzoate-mediated RAFT
polymerization can be described properly. We develop our model by
utilizing the method of moments, then we apply our model to
different monomer/RAFT agent systems, both homo- and
copolymerization. The modeling results are in an excellent
agreement with experiments and imply the validity of universal
kinetic scheme, not only for dithiobenzoate-mediated systems, but
also for different types of monomer/RAFT agent ones.
Abstract: Software maintenance, which involves making enhancements, modifications and corrections to existing software systems, consumes more than half of developer time. Specification comprehensibility plays an important role in software maintenance as it permits the understanding of the system properties more easily and quickly. The use of formal notation such as B increases a specification-s precision and consistency. However, the notation is regarded as being difficult to comprehend. Semi-formal notation such as the Unified Modelling Language (UML) is perceived as more accessible but it lacks formality. Perhaps by combining both notations could produce a specification that is not only accurate and consistent but also accessible to users. This paper presents an experiment conducted on a model that integrates the use of both UML and B notations, namely UML-B, versus a B model alone. The objective of the experiment was to evaluate the comprehensibility of a UML-B model compared to a traditional B model. The measurement used in the experiment focused on the efficiency in performing the comprehension tasks. The experiment employed a cross-over design and was conducted on forty-one subjects, including undergraduate and masters students. The results show that the notation used in the UML-B model is more comprehensible than the B model.
Abstract: Online learning with Intelligent Tutoring System (ITS) is becoming very popular where the system models the student-s learning behavior and presents to the student the learning material (content, questions-answers, assignments) accordingly. In today-s distributed computing environment, the tutoring system can take advantage of networking to utilize the model for a student for students from other similar groups. In the present paper we present a methodology where using Case Based Reasoning (CBR), ITS provides student modeling for online learning in a distributed environment with the help of agents. The paper describes the approach, the architecture, and the agent characteristics for such system. This concept can be deployed to develop ITS where the tutor can author and the students can learn locally whereas the ITS can model the students- learning globally in a distributed environment. The advantage of such an approach is that both the learning material (domain knowledge) and student model can be globally distributed thus enhancing the efficiency of ITS with reducing the bandwidth requirement and complexity of the system.
Abstract: The whole work is based on possibility to use Lego Mindstorms robotics systems to reduce costs. Lego Mindstorms consists of a wide variety of hardware components necessary to simulate, programme and test of robotics systems in practice. To programme algorithm, which simulates space using the ultrasonic sensor, was used development environment supplied with kit. Software Matlab was used to render values afterwards they were measured by ultrasonic sensor. The algorithm created for this paper uses theoretical knowledge from area of signal processing. Data being processed by algorithm are collected by ultrasonic sensor that scans 2D space in front of it. Ultrasonic sensor is placed on moving arm of robot which provides horizontal moving of sensor. Vertical movement of sensor is provided by wheel drive. The robot follows map in order to get correct positioning of measured data. Based on discovered facts it is possible to consider Lego Mindstorm for low-cost and capable kit for real-time modelling.
Abstract: Polyurethanes (PURs) are very versatile polymeric
materials with a wide range of physical and chemical properties.
PURs have desirable properties such as high abrasion resistance, tear
strength, shock absorption, flexibility and elasticity. Although they
have relatively poor thermal stability, this can be improved by using
treated clay. Polyurethane/clay nanocomposites have been
synthesized from renewable sources. A polyol for the production of
polyurethane by reaction with an isocyanate was obtained by the
synthesis of palm oil-based oleic acid with glycerol. Dodecylbenzene
sulfonic acid (DBSA) was used as catalyst and emulsifier. The
unmodified clay (kunipia-F) was treated with cetyltrimethyl
ammonium bromide (CTAB-mont) and octadodecylamine (ODAmont).
The d-spacing in CTAB-mont and ODA-mont were 1.571 nm
and 1.798 nm respectively and larger than that of the pure-mont
(1.142 nm). The organoclay was completely intercalated in the
polyurethane, as confirmed by a wide angle x-ray diffraction
(WAXD) pattern.
The results showed that adding clay demonstrated better thermal
stability in comparison with the virgin polyurethane. Onset
degradation of pure PU is at 200oC, and is lower than that of the
CTAB-mont PU and ODA-mont PU which takes place at about
318oC and 330oC, respectively. The mechanical properties (including
the dynamic mechanical properties) of pure polyurethane (PU) and
PU/clay nanocomposites, were measured. The modified organoclay
had a remarkably beneficial effect on the strength and elongation at
break of the nanocomposites, which both increased with increasing
clay content with the increase of the tensile strength of more than
214% and 267% by the addition of only 5 wt% of the
montmorillonite CTAB-mont PU and ODA-mont PU, respectively.
Abstract: Industrial surveys shows that manufacturing
companies define the qualities of thermal removing process based on
the dimension and physical appearance of the cutting material
surface. Therefore, the roughness of the surface area of the material
cut by the plasma arc cutting process and the rate of the removed
material by the manual plasma arc cutting machine was importantly
considered. Plasma arc cutter Selco Genesis 90 was used to cut
Standard AISI 1017 Steel of 200 mm x100 mm x 6 mm manually
based on the selected parameters setting. The material removal rate
(MRR) was measured by determining the weight of the specimens
before and after the cutting process. The surface roughness (SR)
analysis was conducted using Mitutoyo CS-3100 to determine the
average roughness value (Ra). Taguchi method was utilized to
achieve optimum condition for both outputs studied. The
microstructure analysis in the region of the cutting surface is
performed using SEM. The results reveal that the SR values are
inversely proportional to the MRR values. The quality of the surface
roughness depends on the dross peak that occurred after the cutting
process.
Abstract: From environmental aspect purification of ammonia
containing wastewater is expected. High efficiency ammonia
desorption can be done from the water by air on proper temperature.
After the desorption process, ammonia can be recovered and used in
another technology. The calculation method described below give
some methods to find either the minimum column height or ammonia
rich solution of the effluent.
Abstract: The use of e-business in small and medium-sized
enterprises (SMEs) has been recently received an enormous attention
in information systems research by both academic and practitioners.
With the adoption of new and efficient technologies to enhance
businesses, Thai SMEs should be able to compete worldwide.
Unfortunately, most of the owners are not used to new technologies.
It is clear that most Thai SMEs prefer to work manually rather than
electronically. This paper aims to provide a fundamental conceptual
framework for E-business adoption by Thai SMEs. Rooted in
Knowledge transfer model, several factors are identified, which drive
and enable e-business adoption. By overlooking the benefits
associated with implementing new technologies, it is difficult for
Thai SMEs to perform well enough to compete globally. The paper
also helps Thai SMEs to understand factors related to E-business
adoption.
Abstract: Multi criteria decision analysis (MDCA) covers both
data and experience. It is very common to solve the problems with
many parameters and uncertainties. GIS supported solutions improve
and speed up the decision process. Weighted grading as a MDCA
method is employed for solving the geotechnical problems. In this
study, geotechnical parameters namely soil type; SPT (N) blow
number, shear wave velocity (Vs) and depth of underground water
level (DUWL) have been engaged in MDCA and GIS. In terms of
geotechnical aspects, the settlement suitability of the municipal area
was analyzed by the method. MDCA results were compatible with
the geotechnical observations and experience. The method can be
employed in geotechnical oriented microzoning studies if the criteria
are well evaluated.
Abstract: Electronic nose (array of chemical sensors) are widely
used in food industry and pollution control. Also it could be used to
locate or detect the direction of the source of emission odors. Usually
this task is performed by electronic nose (ENose) cooperated with
mobile vehicles, but when a source is instantaneous or surrounding is
hard for vehicles to reach, problem occurs. Thus a method for
stationary ENose to detect the direction of the source and locate the
source will be required. A novel method which uses the ratio between
the responses of different sensors as a discriminant to determine the
direction of source in natural wind surroundings is presented in this
paper. The result shows that the method is accurate and easily to be
implemented. This method could be also used in movably, as an
optimized algorithm for robot tracking source location.
Abstract: It is important for an autonomous mobile robot to know
where it is in any time in an indoor environment. In this paper, we
design a relative self-localization algorithm. The algorithm compare
the interest point in two images and compute the relative displacement
and orientation to determent the posture. Firstly, we use the SURF
algorithm to extract the interest points of the ceiling. Second, in order
to reduce amount of calculation, a replacement SURF is used to extract
orientation and description of the interest points. At last, according to
the transformation of the interest points in two images, the relative
self-localization of the mobile robot will be estimated greatly.
Abstract: This work deals with the design of the robotic assembly
system for the roller clamps. The task is characterized by high speed,
high yield and safety engagement. This paper describes the design of
different parts of an automated high speed machine to assemble the
parts of roller clamps. The roller clamp robotic assembly system
performs various processes in the assembly line which include clamp
body and roller feeding, inserting the roller into the clamp body, and
dividing the rejected clamp and successfully assembled clamp into
their own tray. The electrical/electronics design of the machine is
discussed. The target is to design a cost effective, minimum
maintenance and high speed machine for the industry applications.
Abstract: In this study the elastic-plastic stress distribution in
weld-bonded joint, fabricated from austenitic stainless steel (AISI
304) sheet of 1.00 mm thickness and Epoxy adhesive Araldite 2011,
subjected to axial loading is investigated. This is needed to improve
design procedures and welding codes, and saving efforts in the
cumbersome experiments and analysis. Therefore, a complete 3-D
finite element modelling and analysis of spot welded, bonded and
weld-bonded joints under axial loading conditions is carried out. A
comprehensive systematic experimental program is conducted to
determine many properties and quantities, of the base metals and the
adhesive, needed for FE modelling, such like the elastic – plastic
properties, modulus of elasticity, fracture limit, the nugget and heat
affected zones (HAZ) properties, etc. Consequently, the finite
element models developed, for each case, are used to evaluate
stresses distributions across the entire joint, in both the elastic and
plastic regions. The stress distribution curves are obtained,
particularly in the elastic regions and found to be consistent and in
excellent agreement with the published data. Furthermore, the
stresses distributions are obtained in the weld-bonded joint and
display the best results with almost uniform smooth distribution
compared to spot and bonded cases. The stress concentration peaks at
the edges of the weld-bonded region, are almost eliminated resulting
in achieving the strongest joint of all processes.
Abstract: The overriding goal of software engineering is to
provide a high quality system, application or a product. To achieve
this goal, software engineers must apply effective methods coupled
with modern tools within the context of a mature software process
[2]. In addition, it is also must to assure that high quality is realized.
Although many quality measures can be collected at the project
levels, the important measures are errors and defects. Deriving a
quality measure for reusable components has proven to be
challenging task now a days. The results obtained from the study are
based on the empirical evidence of reuse practices, as emerged from
the analysis of industrial projects. Both large and small companies,
working in a variety of business domains, and using object-oriented
and procedural development approaches contributed towards this
study. This paper proposes a quality metric that provides benefit at
both project and process level, namely defect removal efficiency
(DRE).