Abstract: The goal of this work is to describe a new algorithm for finding the optimal variable order, number of nodes for any order and other ROBDD parameters, based on a tabular method. The tabular method makes use of a pre-built backend database table that stores the ROBDD size for selected combinations of min-terms. The user uses the backend table and the proposed algorithm to find the necessary ROBDD parameters, such as best variable order, number of nodes etc. Experimental results on benchmarks are given for this technique.
Abstract: The standard approach to image reconstruction is to stabilize the problem by including an edge-preserving roughness penalty in addition to faithfulness to the data. However, this methodology produces noisy object boundaries and creates a staircase effect. The existing attempts to favor the formation of smooth contour lines take the edge field explicitly into account; they either are computationally expensive or produce disappointing results. In this paper, we propose to incorporate the smoothness of the edge field in an implicit way by means of an additional penalty term defined in the wavelet domain. We also derive an efficient half-quadratic algorithm to solve the resulting optimization problem, including the case when the data fidelity term is non-quadratic and the cost function is nonconvex. Numerical experiments show that our technique preserves edge sharpness while smoothing contour lines; it produces visually pleasing reconstructions which are quantitatively better than those obtained without wavelet-domain constraints.
Abstract: Knowledge capabilities are increasingly important for
the innovative technology enterprises to enhance the business
performance in terms of product competitiveness, innovation and
sales. Recognition of the company capability by auditing allows them
to further pursue advancement, strategic planning and hence gain
competitive advantages. This paper attempts to develop an
Organizations- Knowledge Capabilities Assessment (OKCA) method
to assess the knowledge capabilities of technology companies. The
OKCA is a questionnaire-based assessment tool which has been
developed to uncover the impact of various knowledge capabilities on
different organizational performance. The collected data is then
analyzed to find out the crucial elements for different technological
companies. Based on the results, innovative technology enterprises are
able to recognize the direction for further improvement on business
performance and future development plan. External environmental
factors affecting organization performance can be found through the
further analysis of some selected reference companies.
Abstract: Due to the legacy of apartheid segregation South Africa remains a divided society where most voters live in politically homogenous social environments. This paper argues that political discussion within one’s social context plays a primary role in shaping political attitudes and vote choice. Using data from the Comparative National Elections Project 2004 and 2009 South African post-election surveys, the paper explores the extent of social context partisan homogeneity in South Africa and finds that voters are not overly embedded in homogenous social contexts. It then demonstrates the consequences of partisan homogeneity on voting behavior. Homogenous social contexts tend to encourage stronger partisan loyalties and fewer defections in vote choice while voters in more heterogeneous contexts show less consistency in their attitudes and behaviour. Finally, the analysis shows how momentous sociopolitical events at the time of a particular election can change the social context, with important consequences for electoral outcomes.
Abstract: The Želazny Most tailing pond is one of the largest
facilities worldwide for waste disposal from the copper mines located
in South-West Poland. A potential failure of the dam would allow
more than 10 million cubic meters of contaminated slurry to flow to
the valley, causing immense environmental problems to the
surrounding area. Thus, the determination of the strength properties
of the dam's soils and their variability is of utmost importance.
An extensive site investigation consisting of more than 480 cone
penetration tests (CPTs) with or without pore water pressure
measurements were conducted within a period of 13 years to study
the mechanical properties of the tailings body. The present work
investigates the point variability of the soil strength parameters
(effective friction angle
Abstract: The effectiveness of consuming a nutrient fortified oat drink on iron, zinc, vitamin A and vitamin C status was assessed among a cohort of school-aged Filipino children. Ultimate study implementation permitted only a within-subject comparison of change in nutritional status after four months of consuming a nutrient fortified oat drink. Thirty-eight anemic children (5-8 years) consumed an oat drink fortified with iron as NaFeEDTA, zinc, vitamin A and vitamin C for 120 days. Height, weight, serum nutrient levels, anemia status and dietary intake were assessed pre and post intervention. Thirty-four anemic children completed the intervention. After 4 months of intervention, prevalence of anemia decreased by 68% and significant improvements in iron and vitamin A status were observed. Results demonstrate the effectiveness of the fortified oat drink in alleviating anemia in young children and highlight the value of fortification programs
Abstract: High Power Lasers produce an intense burst of
Bremmstrahlung radiation which has potential applications in broadband
x-ray radiography. Since the radiation produced is through the
interaction of accelerated electrons with the remaining laser target,
these bursts are extremely short – in the region of a few ps. As a
result, the laser-produced x-rays are capable of imaging complex
dynamic objects with zero motion blur.
Abstract: Raw wood vinegar was purified by both standing and
filtering methods. Toxicity tests were conducted under laboratory
conditions by the topical application method (contact poison) and
feeding method (stomach poison). Larvicidal activities of wood
vinegar at four different concentrations (10, 15, 20, 25 and 30 %)
were studied against second instar larvae of housefly (Musca
domestica L.). Four replicates were maintained for all treatments and
controls. Larval mortality was recorded up to 96 hours and compared
with the larval survivability by two methods of larvicidal bioassay.
Percent pupation and percent adult emergence were observed in
treated M. domestica. The study revealed that the feeding method
gave higher efficiency compared with the topical application method.
Larval mortality increased with increasing concentration of wood
vinegar and the duration of exposure. No mortality was found in
treated M. domestica larvae at minimum 10% concentration of wood
vinegar through the experiments. The treated larvae were maintained
up to pupa and adult emergence. At 30% maximum concentration
larval duration was extended to 11 days in M. domestica for topical
application method and 9 days for feeding method. Similarly the
pupal durations were also increased with increased concentrations
(16 and 24 days for topical application method and feeding method
respectively at 30% concentration) of the treatments.
Abstract: The paper presents the Romanian realities and perspectives from the point of view of reaching the sustainable development model in the context of the recent accession to the European Union, based on the analysis of the indicators listed in the EU Sustainable Development Strategy. The analysis of the economic-social potential for sustainable development and of the environment aspects show that the objectives stipulated in the renewed EU Sustainable Development Strategy of 2006 can be reached, but an extra effort must be put-in in order to overcome the existing substantial gaps in several areas in relation to the developed countries of the EU. The paper-s conclusions show that even if sustainable development is not an easy target to reach in Romania, there are resources and a growing potential, which can lead to sustainable development if used rationally.
Abstract: A Finite Volume method based on Characteristic Fluxes for compressible fluids is developed. An explicit cell-centered resolution is adopted, where second and third order accuracy is provided by using two different MUSCL schemes with Minmod, Sweby or Superbee limiters for the hyperbolic part. Few different times integrator is used and be describe in this paper. Resolution is performed on a generic unstructured Cartesian grid, where solid boundaries are handled by a Cut-Cell method. Interfaces are explicitely advected in a non-diffusive way, ensuring local mass conservation. An improved cell cutting has been developed to handle boundaries of arbitrary geometrical complexity. Instead of using a polygon clipping algorithm, we use the Voxel traversal algorithm coupled with a local floodfill scanline to intersect 2D or 3D boundary surface meshes with the fixed Cartesian grid. Small cells stability problem near the boundaries is solved using a fully conservative merging method. Inflow and outflow conditions are also implemented in the model. The solver is validated on 2D academic test cases, such as the flow past a cylinder. The latter test cases are performed both in the frame of the body and in a fixed frame where the body is moving across the mesh. Adaptive Cartesian grid is provided by Paramesh without complex geometries for the moment.
Abstract: Data mining and knowledge engineering have become a tough task due to the availability of large amount of data in the web nowadays. Validity and reliability of data also become a main debate in knowledge acquisition. Besides, acquiring knowledge from different languages has become another concern. There are many language translators and corpora developed but the function of these translators and corpora are usually limited to certain languages and domains. Furthermore, search results from engines with traditional 'keyword' approach are no longer satisfying. More intelligent knowledge engineering agents are needed. To address to these problems, a system known as Multilingual Word Semantic Network is proposed. This system adapted semantic network to organize words according to concepts and relations. The system also uses open source as the development philosophy to enable the native language speakers and experts to contribute their knowledge to the system. The contributed words are then defined and linked using lexical and semantic relations. Thus, related words and derivatives can be identified and linked. From the outcome of the system implementation, it contributes to the development of semantic web and knowledge engineering.
Abstract: This paper discusses a qualitative simulator QRiOM
that uses Qualitative Reasoning (QR) technique, and a process-based
ontology to model, simulate and explain the behaviour of selected
organic reactions. Learning organic reactions requires the application
of domain knowledge at intuitive level, which is difficult to be
programmed using traditional approach. The main objective of
QRiOM is to help learners gain a better understanding of the
fundamental organic reaction concepts, and to improve their
conceptual comprehension on the subject by analyzing the multiple
forms of explanation generated by the software. This paper focuses
on the generation of explanation based on causal theories to explicate
various phenomena in the chemistry subject. QRiOM has been tested
with three classes problems related to organic chemistry, with
encouraging results. This paper also presents the results of
preliminary evaluation of QRiOM that reveal its explanation
capability and usefulness.
Abstract: The current speech interfaces in many military
applications may be adequate for native speakers. However,
the recognition rate drops quite a lot for non-native speakers
(people with foreign accents). This is mainly because the nonnative
speakers have large temporal and intra-phoneme
variations when they pronounce the same words. This
problem is also complicated by the presence of large
environmental noise such as tank noise, helicopter noise, etc.
In this paper, we proposed a novel continuous acoustic feature
adaptation algorithm for on-line accent and environmental
adaptation. Implemented by incremental singular value
decomposition (SVD), the algorithm captures local acoustic
variation and runs in real-time. This feature-based adaptation
method is then integrated with conventional model-based
maximum likelihood linear regression (MLLR) algorithm.
Extensive experiments have been performed on the NATO
non-native speech corpus with baseline acoustic model trained
on native American English. The proposed feature-based
adaptation algorithm improved the average recognition
accuracy by 15%, while the MLLR model based adaptation
achieved 11% improvement. The corresponding word error
rate (WER) reduction was 25.8% and 2.73%, as compared to
that without adaptation. The combined adaptation achieved
overall recognition accuracy improvement of 29.5%, and
WER reduction of 31.8%, as compared to that without
adaptation.
Abstract: This paper explains the cause of nonlinearity in floor
attenuation hither to left unexplained. The performance degradation
occurring in air interface for GSM signals is quantitatively analysed
using the concept of Radiating Columns of buildings. The signal
levels were measured using Wireless Network Optimising Drive Test
Tool (E6474A of Agilent Technologies). The measurements were
taken in reflected signal environment under usual fading conditions
on actual GSM signals radiated from base stations. A mathematical
model is derived from the measurements to predict the GSM signal
levels in different floors. It was applied on three buildings and found
that the predicted signal levels deviated from the measured levels
with in +/- 2 dB for all floors. It is more accurate than the prediction
models based on Floor Attenuation Factor. It can be used for
planning proper indoor coverage in multi storey buildings.
Abstract: The paper addresses a problem of optimal staffing in
open shop environment. The problem is to determine the optimal
number of operators serving a given number of machines to fulfill the
number of independent operations while minimizing staff idle. Using
a Gantt chart presentation of the problem it is modeled as twodimensional
cutting stock problem. A mixed-integer programming
model is used to get minimal job processing time (makespan) for
fixed number of machines' operators. An algorithm for optimal openshop
staffing is developed based on iterative solving of the
formulated optimization task. The execution of the developed
algorithm provides optimal number of machines' operators in the
sense of minimum staff idle and optimal makespan for that number of
operators. The proposed algorithm is tested numerically for a real life
staffing problem. The testing results show the practical applicability
for similar open shop staffing problems.
Abstract: This paper presents a systematic approach for
designing Static Synchronous Series Compensator (SSSC) based
supplementary damping controllers for damping low frequency
oscillations in a single-machine infinite-bus power system. The
design problem of the proposed controller is formulated as an
optimization problem and RCGA is employed to search for optimal
controller parameters. By minimizing the time-domain based
objective function, in which the deviation in the oscillatory rotor
speed of the generator is involved; stability performance of the
system is improved. Simulation results are presented and compared
with a conventional method of tuning the damping controller
parameters to show the effectiveness and robustness of the proposed
design approach.
Abstract: The Resource-Constrained Project Scheduling
Problem (RCPSP) is concerned with single-item or small batch
production where limited resources have to be allocated to dependent
activities over time. Over the past few decades, a lot of work has
been made with the use of optimal solution procedures for this basic
problem type and its extensions. Brucker and Knust[1] discuss, how
timetabling problems can be modeled as a RCPSP. Authors discuss
high school timetabling and university course timetabling problem as
an example. We have formulated two mathematical formulations of
course timetabling problem in a new way which are the prototype of
single-mode RCPSP. Our focus is to show, how course timetabling
problem can be transformed into RCPSP. We solve this
transformation model with genetic algorithm.
Abstract: Many metrics were proposed to evaluate the
characteristics of the analysis and design model of a given product
which in turn help to assess the quality of the product. Function point
metric is a measure of the 'functionality' delivery by the software.
This paper presents an analysis of a set of programs of a project
developed in Cµ through Function Points metric. Function points
are measured for a Data Flow Diagram (DFD) of the case developed
at initial stage. Lines of Codes (LOCs) and possible errors are
calculated with the help of measured Function Points (FPs). The
calculations are performed using suitable established functions.
Calculated LOCs and errors are compared with actual LOCs and
errors found at the time of analysis & design review, implementation
and testing. It has been observed that actual found errors are more
than calculated errors. On the basis of analysis and observations,
authors conclude that function point provides useful insight and helps
to analyze the drawbacks in the development process.
Abstract: Supply chain consists of all stages involved, directly
or indirectly, includes all functions involved in fulfilling a customer
demand. In two stage transportation supply chain problem,
transportation costs are of a significant proportion of final product
costs. It is often crucial for successful decisions making approaches
in two stage supply chain to explicit account for non-linear
transportation costs. In this paper, deterministic demand and finite
supply of products was considered. The optimized distribution level
and the routing structure from the manufacturing plants to the
distribution centres and to the end customers is determined using
developed mathematical model and solved by proposed particle
swarm optimization based genetic algorithm. Numerical analysis of
the case study is carried out to validate the model.
Abstract: Sensors possess several properties of physical
measures. Whether devices that convert a sensed signal into an
electrical signal, chemical sensors and biosensors, thus all these
sensors can be considered as an interface between the physical and
electrical equipment. The problem is the analysis of the multitudes of
saved settings as input variables. However, they do not all have the
same level of influence on the outputs. In order to identify the most
sensitive parameters, those that can guide users in gathering
information on the ground and in the process of model calibration
and sensitivity analysis for the effect of each change made.
Mathematical models used for processing become very complex.
In this paper a fuzzy rule-based system is proposed as a solution
for this problem. The system collects the available signals
information from sensors. Moreover, the system allows the study of
the influence of the various factors that take part in the decision
system. Since its inception fuzzy set theory has been regarded as a
formalism suitable to deal with the imprecision intrinsic to many
problems. At the same time, fuzzy sets allow to use symbolic models.
In this study an example was applied for resolving variety of
physiological parameters that define human health state. The
application system was done for medical diagnosis help. The inputs
are the signals expressed the cardiovascular system parameters, blood
pressure, Respiratory system paramsystem was done, it will be able
to predict the state of patient according any input values.