13,919 research outputs found
Fault Localization in Multi-Threaded C Programs using Bounded Model Checking (extended version)
Software debugging is a very time-consuming process, which is even worse for
multi-threaded programs, due to the non-deterministic behavior of
thread-scheduling algorithms. However, the debugging time may be greatly
reduced, if automatic methods are used for localizing faults. In this study, a
new method for fault localization, in multi-threaded C programs, is proposed.
It transforms a multi-threaded program into a corresponding sequential one and
then uses a fault-diagnosis method suitable for this type of program, in order
to localize faults. The code transformation is implemented with rules and
context switch information from counterexamples, which are typically generated
by bounded model checkers. Experimental results show that the proposed method
is effective, in such a way that sequential fault-localization methods can be
extended to multi-threaded programs.Comment: extended version of paper published at SBESC'1
Recommended from our members
Drones: Innovative Technology for Use in Precision Pest Management.
Arthropod pest outbreaks are unpredictable and not uniformly distributed within fields. Early outbreak detection and treatment application are inherent to effective pest management, allowing management decisions to be implemented before pests are well-established and crop losses accrue. Pest monitoring is time-consuming and may be hampered by lack of reliable or cost-effective sampling techniques. Thus, we argue that an important research challenge associated with enhanced sustainability of pest management in modern agriculture is developing and promoting improved crop monitoring procedures. Biotic stress, such as herbivory by arthropod pests, elicits physiological defense responses in plants, leading to changes in leaf reflectance. Advanced imaging technologies can detect such changes, and can, therefore, be used as noninvasive crop monitoring methods. Furthermore, novel methods of treatment precision application are required. Both sensing and actuation technologies can be mounted on equipment moving through fields (e.g., irrigation equipment), on (un)manned driving vehicles, and on small drones. In this review, we focus specifically on use of small unmanned aerial robots, or small drones, in agricultural systems. Acquired and processed canopy reflectance data obtained with sensing drones could potentially be transmitted as a digital map to guide a second type of drone, actuation drones, to deliver solutions to the identified pest hotspots, such as precision releases of natural enemies and/or precision-sprays of pesticides. We emphasize how sustainable pest management in 21st-century agriculture will depend heavily on novel technologies, and how this trend will lead to a growing need for multi-disciplinary research collaborations between agronomists, ecologists, software programmers, and engineers
Ladder operators for subtle hidden shape invariant potentials
Ladder operators can be constructed for all potentials that present the
integrability condition known as shape invariance, satisfied by most of the
exactly solvable potentials. Using the superalgebra of supersymmetric quantum
mechanics we construct the ladder operators for two exactly solvable potentials
that present a subtle hidden shape invariance.Comment: 9 pages, based on the talk given at International Conference Progress
in Supersymmetric Quantum Mechanics (PSQM03), Valladolid, Spain, 15-19 July,
2003, to appear in a Special Issue of J. Phys. A: Math. Ge
Tuning in magnetic modes in Tb(Co_{x}Ni_{1-x})_{2}B_{2}C: from longitudinal spin-density waves to simple ferromagnetism
Neutron diffraction and thermodynamics techniques were used to probe the
evolution of the magnetic properties of Tb(Co_{x}Ni_{1-x})_{2}B_{2}C. A
succession of magnetic modes was observed as x is varied: the longitudinal
modulated k=(0.55,0,0) state at x=0 is transformed into a collinear
k=([nicefrac]\nicefrac{1}{2},0,[nicefrac]\nicefrac{1}{2})
antiferromagnetic state at x= 0.2, 0.4; then into a transverse c-axis modulated
k=(0,0,[nicefrac]\nicefrac{1}{3}) mode at x= 0.6, and finally
into a simple ferromagnetic structure at x= 0.8 and 1. Concomitantly, the
low-temperature orthorhombic distortion of the tetragonal unit cell at x=0 is
reduced smoothly such that for x >= 0.4 only a tetragonal unit cell is
manifested. Though predicted theoretically earlier, this is the first
observation of the k=(0,0,[nicefrac]\nicefrac{1}{3}) mode in
borocarbides; our findings of a succession of magnetic modes upon increasing x
also find support from a recently proposed theoretical model. The implication
of these findings and their interpretation on the magnetic structure of the
RM_{2}B_{2}C series are also discussed
Segurança operacional de exploração florestal mecanizada.
bitstream/item/33956/1/CPATU-CirTec42.pd
Construção de estradas florestais e transporte florestal rodoviário na região amazônica.
bitstream/item/33677/1/CPATU-CirTec6.pd
- …