A constant-time dynamic storage allocator for real-time systems

Dynamic memory allocation has been used for decades. However, it has seldom been used in real-time systems since the worst case of spatial and temporal requirements for allocation and deallocation operations is either unbounded or bounded but with a very large bound. In this paper, a new allocator called TLSF (Two Level Segregated Fit) is presented. TLSF is designed and implemented to accommodate real-time constraints. The proposed allocator exhibits time-bounded behaviour, O(1), and maintains a very good execution time. This paper describes in detail the data structures and functions provided by TLSF. We also compare TLSF with a representative set of allocators regarding their temporal cost and fragmentation. Although the paper is mainly focused on timing analysis, a brief study and comparative analysis of fragmentation incurred by the allocators has been also included in order to provide a global view of the behaviour of the allocators. The temporal and spatial results showed that TLSF is also a fast allocator and produces a fragmentation close to that caused by the best existing allocators.

An autonomous educational mobile robot mediator

So far, most of the applications of robotic technology to education have mainly focused on supporting the teaching of subjects that are closely related to the Robotics field, such as robot programming, robot construction, or mechatronics. Moreover, most of the applications have used the robot as an end or a passive tool of the learning activity, where the robot has been constructed or programmed. In this paper, we present a novel application of robotic technologies to education, where we use the real world situatedness of a robot to teach non-robotic related subjects, such as math and physics. Furthermore, we also provide the robot with a suitable degree of autonomy to actively guide and mediate in the development of the educational activity. We present our approach as an educational framework based on a collaborative and constructivist learning environment, where the robot is able to act as an interaction mediator capable of managing the interactions occurring among the working students. We illustrate the use of this framework by a 4-step methodology that is used to implement two educational activities. These activities were tested at local schools with encouraging results. Accordingly, the main contributions of this work are: i) A novel use of a mobile robot to illustrate and teach relevant concepts and properties of the real world; ii) A novel use of robots as mediators that autonomously guide an educational activity using a collaborative and constructivist learning approach; iii) The implementation and testing of these ideas in a real scenario, working with students at local schools.

Minimal ordering constraints for some families of variable symmetries

Variable symmetries in a constraint satisfaction problem can be broken by adding lexicographic ordering constraints. Existing general methods of generating such sets of ordering constraints can require a huge number of constraints. This adds an unacceptable overhead to the solving process. Methods exist by which this large set of ordering constraints can be reduced to a much smaller set automatically, but their application is also prohibitively costly. In contrast, this paper takes a bottom-up approach. It examines some commonly-occurring families of groups and derives a minimal set of ordering constraints sufficient to break the symmetry each group describes. These minimal sets are then used as building blocks to generate minimal sets of ordering constraints for groups constructed via direct and imprimitive wreath products. Experimental results confirm the value of minimal sets of ordering constraints, which can now be generated much more cheaply than with previous methods.     

The Green language type system

A programming language that considers basic values and classes as objects brings more opportunities of code reuse and it is easier to use than a language that does not support this feature. However, popular statically typed object-oriented languages do not consider classes as first-class objects because this concept is difficult to integrate with static type checking. They also do not consider basic values as objects for sake of efficiency. This article presents the Green language type system which supports classes as classless objects and offers a mechanism to treat basic values as objects. The result is a reasonably simple type system which is statically typed and easy to implement. It simplifies several other language mechanisms and prevents any infinite regression of metaclasses.     

Post-embryonic development of the antennal sensilla in Melipona quadrifasciata anthidioides (Hymenoptera: Meliponini)

The sensilla are sensory organs formed by cuticular and cellular structures specialized in reception of chemical and physical stimuli from the environment and transmission to the insect's central nervous system. In function of the great concentration of sensilla, the antennae are the main organs for interaction between bees and with the environment. This work studied the presence of antennal sensilla in the different phases of pupal development of the stingless bee Melipona quadrifasciata anthidioides by means of scanning electron microscopy and light microscopy. The results showed that antennal sensilla begin their development in the transition of the prepupae to the white-eyed pupae and finish it in the pigmented-body pupae phase. The antennal sensilla were exposed to the environment in the black-eyed pupae when the old cuticle is completely digested, suggesting that only in the final pupal phases can these bees perceive the environmental stimuli.     

Effect of treatment with 13-cis-retinoic acid and ara-C on the hematopoietic stem cells of patients with myelodysplastic syndromes

PURPOSE: To assess the "in vivo" effect of 13-cis-retinoic acid and low dose Ara-C in MDS as well as to establish "in vitro" advantage of retinoid dose-related growth pattern on bone marrow cultures as defined by culture timing and CFU-GM proliferative response. PATIENTS AND METHODS: We evaluated 28 patients diagnosed of MDS according to FAB classification, of whom 4 cases had RA, 8 cases SRA, 14 cases RAEB and 2 cases RAEB-T. Patients who had RA and SRA were treated with oral 13-cis-retinoic acid at doses of 20-40 mg daily for 4 months and those cases with RAEB and RAEB-T had subcutaneous Ara-C at doses of 3 mg/m2 twice a day for 21 days. The "in vivo" and "in vitro" effect of retinoic acid on the haemopoietic differentiation was evaluated by the growth CFU-GM in semisolid cell culture methods. RESULTS: Increasing in vitro concentrations of 13-cis retinoic acid did not enhance the growth of myelodysplastic progenitors. Nevertheless, our study did not find any beneficial therapeutic effect of retinoic compounds in MDS patients. In this study, low-dose Ara-C (3 mg/m2) showed similar effects when compared with higher doses reported by others. Furthermore, in terms of CFU-GM proliferation the concentration of colonies before and after treatment were fairly similar in all but two patients. CONCLUSIONS: The results drawn from our study demonstrated that there is no beneficial advantage of 13-cis-retinoic acid as a differentiation inducing agent on myelodysplastic patients. In contrast, lower doses of Ara-C showed similar effects on haemopoiesis of MDS patients than standard doses of 10-20 mg/m2 but with less side effects.     

Clinical and epidemiological findings during a measles outbreak occurring in a population with a high vaccination coverage

Malignant mesothelioma is caused almost exclusively by occupational exposure to asbestos. During the past few years, however, increasing evidence has mounted that background exposure to asbestos could be sufficient to cause mesothelioma. Treatment of malignant mesothelioma remains a big problem. Some new approaches are on their way, and the most exciting ones are local immunotherapy in very early cases. Some success has been reported with local interferon treatment. As for treatment of metastatic pleural disease, the main purpose is symptomatic relief of dyspnea caused by fluid accumulation. The best way to achieve a lasting palliation is pleurodesis, and the most common way to do this, is by chemical means. The drug of choice in the United States has for many years been tetracycline, but since injectable tetracycline is no longer available, some substitute must be found. The substance that will "win" is not yet clear, but the two leading contestants are talc and doxycycline. Bleomycin also has its supporters, and a dark horse is quinacrine, which although not easily available in the United States, has been used in many European centers for decades.     

Experience report on the application of genetic algorithms to reduce costs of the software validation process in the automotive sector during an engine control unit project

Software Quality Journal - The number of electronic control units (ECU) installed in vehicles is increasingly high. Manufacturers must improve the software quality and reduce cost by proposing...     

Ocular recognition databases and competitions: a survey

The use of the iris and periocular region as biometric traits has been extensively investigated, mainly due to the singularity of the iris features and the use of the periocular region when the image resolution is not sufficient to extract iris information. In addition to providing information about an individual’s identity, features extracted from these traits can also be explored to obtain other information such as the individual’s gender, the influence of drug use, the use of contact lenses, spoofing, among others. This work presents a survey of the databases created for ocular recognition, detailing their protocols and how their images were acquired. We also describe and discuss the most popular ocular recognition competitions (contests), highlighting the submitted algorithms that achieved the best results using only iris trait and also fusing iris and periocular region information. Finally, we describe some relevant works applying deep learning techniques to ocular recognition and point out new challenges and future directions. Considering that there are a large number of ocular databases, and each one is usually designed for a specific problem, we believe this survey can provide a broad overview of the challenges in ocular biometrics.

     

Experimental modelling of free-surface dry granular flows under a centrifugal acceleration field

We investigate the dynamics of granular flows under the action of a centrifugal acceleration field. The granular flows consist of a monodisperse set of glass beads flowing down an inclined plane. The experiments are performed at variable slope angles \(\zeta \) and equivalent centrifugal accelerations \(a_\text {cf}\equiv Ng\). We study the effect of this parameters on the superficial flow velocity u and flow height h. Two trends are observed, by increasing \(\zeta \) and \(a_\text {cf}\), u increases proportionally, and h decreases asymptotically until a constant height. This relation is analysed in terms of the system potential and kinetic energy, leading to the estimation of equivalent impact forces one order of magnitude larger than those observed in small scale 1g laboratory experiments, with the possibility to reach higher forces by increasing N. Finally, considering the trend of u and h, our results suggest a scaling principle of inertial velocity proportional to \(\sqrt{N}\).