Abstract: Probabilistic techniques in computer programs are becoming
more and more widely used. Therefore, there is a big
interest in the formal specification, verification, and development
of probabilistic programs. In our work-in-progress project, we are
attempting to make a constructive framework for developing probabilistic
programs formally. The main contribution of this paper
is to introduce an intermediate artifact of our work, a Z-based
formalism called PZ, by which one can build set theoretical models of
probabilistic programs. We propose to use a constructive set theory,
called CZ set theory, to interpret the specifications written in PZ.
Since CZ has an interpretation in Martin-L¨of-s theory of types, this
idea enables us to derive probabilistic programs from correctness
proofs of their PZ specifications.
Abstract: We discuss a theoretical conceptual framework to help
understand how the new business analytics technologies have
diffused in firms. We draw on three theoretical perspectives for this
purpose. They are innovation diffusion theory, IT Business Value
and the technology-organization-environment theory. We develop a
conceptual framework that helps understand the interlinkages among
factors affecting diffusion of business analytics and its impact on
performance.
Abstract: High-voltage power transmission lines are the back
bone of electrical power utilities. The stability and continuous
monitoring of this critical infrastructure is pivotal. Nine-Sigma
representing Eskom Holding SOC limited, South Africa has a major
problem on proactive detection of fallen power lines and real time
sagging measurement together with slipping of such conductors. The
main objective of this research is to innovate RFID technology to
solve this challenge. Various options and technologies such as GPS,
PLC, image processing, MR sensors and etc., have been reviewed
and draw backs were made. The potential of RFID to give precision
measurement will be observed and presented. The future research
will look at magnetic and electrical interference as well as corona
effect on the technology.
Abstract: For the characterization of the weld defect region in the radiographic image, looking for features which are invariant regarding the geometrical transformations (rotation, translation and scaling) proves to be necessary because the same defect can be seen from several angles according to the orientation and the distance from the welded framework to the radiation source. Thus, panoply of geometrical attributes satisfying the above conditions is proposed and which result from the calculation of the geometrical parameters (surface, perimeter, etc.) on the one hand and the calculation of the different order moments, on the other hand. Because the large range in values of the raw features and taking into account other considerations imposed by some classifiers, the scaling of these values to lie between 0 and 1 is indispensable. The principal component analysis technique is used in order to reduce the number of the attribute variables in the aim to give better performance to the further defect classification.
Abstract: UML is a collection of notations for capturing a software system specification. These notations have a specific syntax defined by the Object Management Group (OMG), but many of their constructs only present informal semantics. They are primarily graphical, with textual annotation. The inadequacies of standard UML as a vehicle for complete specification and implementation of real-time embedded systems has led to a variety of competing and complementary proposals. The Real-time UML profile (UML-RT), developed and standardized by OMG, defines a unified framework to express the time, scheduling and performance aspects of a system. We present in this paper a framework approach aimed at deriving a complete specification of a real-time system. Therefore, we combine two methods, a semiformal one, UML-RT, which allows the visual modeling of a realtime system and a formal one, CSP+T, which is a design language including the specification of real-time requirements. As to show the applicability of the approach, a correct design of a real-time system with hard real time constraints by applying a set of mapping rules is obtained.
Abstract: VRML( The virtual reality modeling language) is a standard language used to build up 3D virtualized models. The quick development of internet technology and computer manipulation has promoted the commercialization of reality virtualization. VRML, thereof, is expected to be the most effective framework of building up virtual reality. This article has studied plans to build virtualized scenes based on the technology of virtual reality and Java programe, and introduced how to execute real-time data transactions of VRML file and Java programe by applying Script Node, in doing so we have the VRML interactivity being strengthened.
Abstract: Influence diagrams (IDs) are one of the most commonly used graphical decision models for reasoning under uncertainty. The quantification of IDs which consists in defining conditional probabilities for chance nodes and utility functions for value nodes is not always obvious. In fact, decision makers cannot always provide exact numerical values and in some cases, it is more easier for them to specify qualitative preference orders. This work proposes an adaptation of standard IDs to the qualitative framework based on possibility theory.
Abstract: The link between urban planning and design principles and the built environment of an urban renewal area is of interest to the field of urban studies. During the past decade, there has also been increasing interest in urban planning and design; this interest is motivated by the possibility that design policies associated with the built environment can be used to control, manage, and shape individual activity and behavior. However, direct assessments and design techniques of the links between how urban planning design policies influence individuals are still rare in the field. Recent research efforts in urban design have focused on the idea that land use and design policies can be used to increase the quality of design projects for an urban renewal area-s built environment. The development of appropriate design techniques for the built environment is an essential element of this research. Quality function deployment (QFD) is a powerful tool for improving alternative urban design and quality for urban renewal areas, and for procuring a citizen-driven quality system. In this research, we propose an integrated framework based on QFD and an Analytic Network Process (ANP) approach to determine the Alternative Technical Requirements (ATRs) to be considered in designing an urban renewal planning and design alternative. We also identify the research designs and methodologies that can be used to evaluate the performance of urban built environment projects. An application in an urban renewal built environment planning and design project evaluation is presented to illustrate the proposed framework.
Abstract: Heuristics-based search methodologies normally
work on searching a problem space of possible solutions toward
finding a “satisfactory" solution based on “hints" estimated from the
problem-specific knowledge. Research communities use different
types of methodologies. Unfortunately, most of the times, these hints
are immature and can lead toward hindering these methodologies by
a premature convergence. This is due to a decrease of diversity in
search space that leads to a total implosion and ultimately fitness
stagnation of the population. In this paper, a novel Decision Maturity
framework (DMF) is introduced as a solution to this problem. The
framework simply improves the decision on the direction of the
search by materializing hints enough before using them. Ideas from
this framework are injected into the particle swarm optimization
methodology. Results were obtained under both static and dynamic
environment. The results show that decision maturity prevents
premature converges to a high degree.
Abstract: This paper presents a comparative study on
Vanadyl Phthalocyanine (VOPc) thin films deposited by thermal
evaporation and spin coating techniques. The samples
were prepared on cleaned glass substrates and annealed at
various temperatures ranging form 95oC to 155oC. To obtain
the morphological and structural properties of VOPc thin
films, X-ray diffraction (XRD) technique and atomic force
microscopy (AFM) have been implied. The AFM topographic
images show a very slight difference in the thermally grown
films, before and after annealing, however best results are
achieved for the spin-cast film annealed at 125oC. The XRD
spectra show no existence of the sharp peaks, suggesting the
material to be amorphous. The humps in the XRD patterns
indicate the presence of some crystallites.
Abstract: Sign language is used by the deaf and hard of hearing people for communication. Automatic sign language recognition is a challenging research area since sign language often is the only way of communication for the deaf people. Sign language includes different components of visual actions made by the signer using the hands, the face, and the torso, to convey his/her meaning. To use different aspects of signs, we combine the different groups of features which have been extracted from the image frames recorded directly by a stationary camera. We combine the features in two levels by employing three techniques. At the feature level, an early feature combination can be performed by concatenating and weighting different feature groups, or by concatenating feature groups over time and using LDA to choose the most discriminant elements. At the model level, a late fusion of differently trained models can be carried out by a log-linear model combination. In this paper, we investigate these three combination techniques in an automatic sign language recognition system and show that the recognition rate can be significantly improved.
Abstract: Social, mobility and information aggregation inside
business environment need to converge to reach the next step of
collaboration to enhance interaction and innovation. The following
article is based on the “Assemblage" concept seen as a framework to
formalize new user interfaces and applications. The area of research
is the Energy Social Business Environment, especially the Energy
Smart Grids, which are considered as functional and technical
foundations of the revolution of the Energy Sector of tomorrow. The
assemblages are modelized by means of mereology and simplicial
complexes. Its objective is to offer new central attention and
decision-making tools to end-users.
Abstract: In this paper an open agent-based modular framework
for personalized and adaptive curriculum generation in e-learning
environment is proposed. Agent-based approaches offer several
potential advantages over alternative approaches. Agent-based
systems exhibit high levels of flexibility and robustness in dynamic
or unpredictable environments by virtue of their intrinsic autonomy.
The presented framework enables integration of different types of
expert agents, various kinds of learning objects and user modeling
techniques. It creates possibilities for adaptive e-learning process.
The KM e-learning system is in a process of implementation in
Varna Free University and will be used for supporting the
educational process at the University.
Abstract: We developed a vision interface immersive projection system, CAVE in virtual rea using hand gesture recognition with computer vis background image was subtracted from current webcam and we convert the color space of the imag Then we mask skin regions using skin color range t a noise reduction operation. We made blobs fro gestures were recognized using these blobs. Using recognition, we could implement an effective bothering devices for CAVE. e framework for an reality research field vision techniques. ent image frame age into HSV space. e threshold and apply from the image and ing our hand gesture e interface without
Abstract: This paper presents the mathematical model and
control strategy on DQ frame of shunt active power filter. The
structure of the shunt active power filter is the voltage source inverter
(VSI). The pulse width modulation (PWM) with PI controller is used
in the paper. The concept of DQ frame to apply with the shunt active
power filter is described. Moreover, the detail of the PI controller
design for two current loops and one voltage loop are fully explained.
The DQ axis with Fourier (DQF) method is applied to calculate the
reference currents on DQ frame. The simulation results show that the
control strategy and the design method presented in the paper can
provide the good performance of the shunt active power filter.
Moreover, the %THD of the source currents after compensation can
follow the IEEE Std.519-1992.
Abstract: The purpose of this research is to increase our
knowledge as regards how Small-and-Medium-Sized Enterprises
(SMEs) tackle ERP implementation projects to achieve successful
adoption and use of these systems within the organization. SMEs
have scare resources to handle these kinds of projects which have
proved to be risky and costly. There are several studies focusing on
ERP implementation in larger companies, however, few studies
report on challenges experienced by SMEs. Our research seeks to
bridge this gap. Through a multiple case study of four companies, we
identified challenges and critical elements within the different phases
(pre-implementation, implementation and post-implementation) of
the ERP life cycle. To interpret our findings, we utilize a well-know
ERP life cycle model and critical success factors developed for larger
companies which are reported in former research literature. We
discuss if these models are relevant for SMEs and suggest additional
critical elements identified in this study to make a framework more
adapted to the SME context.
Abstract: The importance of our country-s communication
system is noticeable when a disaster occurs. The communication
system in our country includes wired and wireless telephone
networks, radio, satellite system and more increasingly internet. Even
though our communication system is most extensive and dependable,
extreme conditions can put a strain on them. Interoperability between
heterogeneous wireless networks can be used to provide efficient
communication for emergency first response. IEEE 802.21 specifies
Media Independent Handover (MIH) services to enhance the mobile
user experience by optimizing handovers between heterogeneous
access networks. This paper presents an algorithm to improve
congestion control in MIH framework. It is analytically shown that
by including time factor in network selection we can optimize
congestion in the network.
Abstract: This article is focused on the calculation of heat
radiation intensity and its optimization on an aluminum mould
surface. The inside of the mould is sprinkled with a special powder
and its outside is heated by infra heaters located above the mould
surface, up to a temperature of 250°C. By this way artificial leathers
in the car industry are produced (e. g. the artificial leather on a car
dashboard). A mathematical model of heat radiation of infra heaters
on a mould surface is described in this paper. This model allows us to
calculate a heat-intensity radiation on the mould surface for the
concrete location of infra heaters above the mould surface. It is
necessary to ensure approximately the same heat intensity radiation
on the mould surface by finding a suitable location for the infra
heaters, and in this way the same material structure and color of
artificial leather. In the model we have used a genetic algorithm to
optimize the radiation intensity on the mould surface. Experimental
measured values for the heat radiation intensity by a sensor in the
surroundings of an infra heater are used for the calculation
procedures. A computational procedure was programmed in language
Matlab.
Abstract: Environmental impact assessment (EIA) is a procedure tool of environmental management for identifying, predicting, evaluating and mitigating the adverse effects of development proposals. EIA reports usually analyze how the amounts or concentrations of pollutants obey the relevant standards. Actually, many analytical tools can deepen the analysis of environmental impacts in EIA reports, such as life cycle assessment (LCA) and environmental risk assessment (ERA). Life cycle impact assessment (LCIA) is one of steps in LCA to introduce the causal relationships among environmental hazards and damage. Incorporating the LCIA concept into ERA as an integrated tool for EIA can extend the focus of the regulatory compliance of environmental impacts to determine of the significance of environmental impacts. Sometimes, when using integrated tools, it is necessary to consider fuzzy situations due to insufficient information; therefore, ERA should be generalized to fuzzy risk assessment (FRA). Finally, the use of the proposed methodology is demonstrated through the study case of the expansion plan of the world-s largest plastics processing factory.
Abstract: One of the important factors of cracks on the asphalt
pavements is bitumen aging that associated with the loss of volatile
components and oxidation of asphalt binder. This paper is about
effect of Styrene-Butadiene-Styrene (SBS) polymer on asphalt aging
In order to decrease asphalt aging effects. For this purpose samples of
base bitumen and SBS modified bitumen aged according to the
rolling thin film oven test (RTFOT) and pressure aging vessel (PAV),
respectively. Properties of each sample were evaluated using Fourier
Transform Infrared (FTIR) spectroscopy, n-heptane precipitation,
viscosity test, softening point test and penetration test. FT-IR
Analysis, showed lower oxidation of SBS modified bitumen than
base bitumen, after aging.