A compositional scheduling framework for digital avionics systems

ARINC specification 653-2 describes the interface between application software and underlying middleware in a distributed real-time avionics system. The real-time workload in this system comprises of partitions, where each partition consists of one or more processes. Processes incur blocking and preemption overheads and can communicate with other processes in the system. In this work we develop compositional techniques for automated scheduling of such partitions and processes. At present, system designers manually schedule partitions based on interactions they have with the partition vendors. This approach is not only time consuming, but can also result in under utilization of resources. In contrast, the technique proposed in this paper is a principled approach for scheduling ARINC-653 partitions and therefore should facilitate system integration.

A pseudo-medium-wide 8-competitive interface for two-level compositional real-time scheduling of constrained- deadline sporadic tasks on a uniprocessor

Compositional real-time scheduling clearly requires that ”normal” real-time scheduling challenges are addressed but challenges intrinsic to compositionality must be addressed as well, in particular: (i) how should interfaces be described? and (ii) how should numerical values be assigned to parameters constituting the interfaces? The real-time systems community has traditionally used narrow interfaces for describing a component (for example, a utilization/bandwidthlike metric and the distribution of this bandwidth in time). In this paper, we introduce the concept of competitive ratio of an interface and show that typical narrow interfaces cause poor performance for scheduling constrained-deadline sporadic tasks (competitive ratio is infinite). Therefore, we explore more expressive interfaces; in particular a class called medium-wide interfaces. For this class, we propose an interface type and show how the parameters of the interface should be selected. We also prove that this interface is 8-competitive.

Simulation relations, interface complexity, and resource optimality for real-time hierachical systems

Compositional schedulability analysis of hierarchical realtime systems is a well-studied problem. Various techniques have been developed to abstract resource requirements of components in such systems, and schedulability has been addressed using these abstract representations (also called component interfaces). These approaches for compositional analysis incur resource overheads when they abstract components into interfaces. In this talk, we define notions of resource schedulability and optimality for component interfaces, and compare various approaches.

Interface between Intellectual Disability and Mental Health: hermeneutic review

A literature review was conducted aiming to understand the interface between the Intellectual Disability and Mental Health fields and to contribute to mitigating the path of institutionalizing individuals with intellectual deficiencies. The so-called dual diagnosis phenomenon remains underestimated in Brazil but is the object of research and specific public policy internationally. This phenomenon alerts us to the prevalence of mental health problems in those with intellectual disabilities, limiting their social inclusion. The findings reinforce the importance of this theme and indicate possible diagnostic invisibility of the development of mental illness in those with intellectual disabilities in Brazil, which may contribute to sustaining psychiatric institutionalization of this population. 

Direct search optimization application programming interface with remote access

Search Optimization methods are needed to solve optimization problems where the objective function and/or constraints functions might be non differentiable, non convex or might not be possible to determine its analytical expressions either due to its complexity or its cost (monetary, computational, time,...). Many optimization problems in engineering and other fields have these characteristics, because functions values can result from experimental or simulation processes, can be modelled by functions with complex expressions or by noise functions and it is impossible or very difficult to calculate their derivatives. Direct Search Optimization methods only use function values and do not need any derivatives or approximations of them. In this work we present a Java API that including several methods and algorithms, that do not use derivatives, to solve constrained and unconstrained optimization problems. Traditional API access, by installing it on the developer and/or user computer, and remote API access to it, using Web Services, are also presented. Remote access to the API has the advantage of always allow the access to the latest version of the API. For users that simply want to have a tool to solve Nonlinear Optimization Problems and do not want to integrate these methods in applications, also two applications were developed. One is a standalone Java application and the other a Web-based application, both using the developed API.

Web-based application programming interface to solve nonlinear optimization problems

Nonlinear Optimization Problems are usual in many engineering fields. Due to its characteristics the objective function of some problems might not be differentiable or its derivatives have complex expressions. There are even cases where an analytical expression of the objective function might not be possible to determine either due to its complexity or its cost (monetary, computational, time, ...). In these cases Nonlinear Optimization methods must be used. An API, including several methods and algorithms to solve constrained and unconstrained optimization problems was implemented. This API can be accessed not only as traditionally, by installing it on the developer and/or user computer, but it can also be accessed remotely using Web Services. As long as there is a network connection to the server where the API is installed, applications always access to the latest API version. Also an Web-based application, using the proposed API, was developed. This application is to be used by users that do not want to integrate methods in applications, and simply want to have a tool to solve Nonlinear Optimization Problems.

A sensor classification strategy for robotic manipulators using multidimensional scaling technique

This paper analyzes the signals captured during impacts and vibrations of a mechanical manipulator. To test the impacts, a flexible beam is clamped to the end-effector of a manipulator that is programmed in a way such that the rod moves against a rigid surface. Eighteen signals are captured and theirs correlation are calculated. A sensor classification scheme based on the multidimensional scaling technique is presented.

REXIB: Remote Experiments Interface Builder

Remote Experimentation is an educational resource that allows teachers to strengthen the practical contents of science & engineering courses. However, building up the interfaces to remote experiments is not a trivial task. Although teachers normally master the practical contents addressed by a particular remote experiment they usually lack the programming skills required to quickly build up the corresponding web interface. This paper describes the automatic generation of experiment interfaces through a web-accessible Java application. The application displays a list of existent modules and once the requested modules have been selected, it generates the code that enables the browser to display the experiment interface. The tools? main advantage is enabling non-tech teachers to create their own remote experiments.

An experimental study to compare the interface pressure and experience of healthy participants when lying still for 20 minutes in a supine position on two different imaging surfaces

Introduction: Pressure ulcers are a high cost, high volume issue for health and medical care providers, affecting patients’ recovery and psychological wellbeing. The current research of support surfaces on pressure as a risk factor in the development of pressure ulcers is not relevant to the specialised, controlled environment of the radiological setting. Method: 38 healthy participants aged 19-51 were placed supine on two different imaging surfaces. The XSENSOR pressure mapping system was used to measure the interface pressure. Data was acquired over a time of 20 minutes preceded by 6 minutes settling time to reduce measurement error. Qualitative information regarding participants’ opinion on pain and comfort was recorded using a questionnaire. Data analysis was performed using SPSS 22. Results: Data was collected from 30 participants aged 19 to 51 (mean 25.77, SD 7.72), BMI from 18.7 to 33.6 (mean 24.12, SD 3.29), for two surfaces, following eight participant exclusions due to technical faults. Total average pressure, average pressure for jeopardy areas (head, sacrum & heels) and peak pressure for jeopardy areas were calculated as interface pressure in mmHg. Qualitative data showed that a significant difference in experiences of comfort and pain was found in the jeopardy areas (P<0.05) between the two surfaces. Conclusion: A significant difference is seen in average pressure between the two surfaces. Pain and comfort data also show a significant difference between the surfaces, both findings support the proposal for further investigation into the effects of radiological surfaces as a risk factor for the formation of pressure ulcers.

Digital-domain self-calibration technique for video-rate pipeline A/D converters using Gaussian white noise

Electronics Letters Vol.38, nº 19

Development of an interface for ontology‐based transformation between features of different types

Dissertation submitted in partial fulfilment of the requirements for the Degree of Master of Science in Geospatial Technologies

The influence of the boundary conditions on low-velocity impact composite damage

The objective of this work was to study the influence of the boundary conditions on low-velocity impact behaviour of carbon-epoxy composite plates. Experimental work and numerical analysis were performed on [04,904]s laminates. The influence of different boundary conditions on the impacted plates was analysed considering rectangular and square plates. The X-radiography was used as a non-destructive technique to evaluate the internal damage caused by impact loading. A three-dimensional numerical analysis was also performed considering progressive damage modelling. The model includes three-dimensional solid elements and interface finite elements including a cohesive mixed-mode damage model, which allows simulating delamination between different oriented layers. It was verified that plate’s boundary conditions have influence on the delaminated area. Good agreement between experimental and numerical analysis for shape, orientation and size of the delamination was obtained.

Interface caligráfica de escrita no ar

Na atualidade, está a emergir um novo paradigma de interação, designado por Natural User Interface (NUI) para reconhecimento de gestos produzidos com o corpo do utilizador. O dispositivo de interação Microsoft Kinect foi inicialmente concebido para controlo de videojogos, para a consola Xbox360. Este dispositivo demonstra ser uma aposta viável para explorar outras áreas, como a do apoio ao processo de ensino e de aprendizagem para crianças do ensino básico. O protótipo desenvolvido visa definir um modo de interação baseado no desenho de letras no ar, e realizar a interpretação dos símbolos desenhados, usando os reconhecedores de padrões Kernel Discriminant Analysis (KDA), Support Vector Machines (SVM) e $N. O desenvolvimento deste projeto baseou-se no estudo dos diferentes dispositivos NUI disponíveis no mercado, bibliotecas de desenvolvimento NUI para este tipo de dispositivos e algoritmos de reconhecimento de padrões. Com base nos dois elementos iniciais, foi possível obter uma visão mais concreta de qual o hardware e software disponíveis indicados à persecução do objetivo pretendido. O reconhecimento de padrões constitui um tema bastante extenso e complexo, de modo que foi necessária a seleção de um conjunto limitado deste tipo de algoritmos, realizando os respetivos testes por forma a determinar qual o que melhor se adequava ao objetivo pretendido. Aplicando as mesmas condições aos três algoritmos de reconhecimento de padrões permitiu avaliar as suas capacidades e determinar o $N como o que apresentou maior eficácia no reconhecimento. Por último, tentou-se averiguar a viabilidade do protótipo desenvolvido, tendo sido testado num universo de elementos de duas faixas etárias para determinar a capacidade de adaptação e aprendizagem destes dois grupos. Neste estudo, constatou-se um melhor desempenho inicial ao modo de interação do grupo de idade mais avançada. Contudo, o grupo mais jovem foi revelando uma evolutiva capacidade de adaptação a este modo de interação melhorando progressivamente os resultados.

Designing a user interface for repositories of learning objects

This paper presents the design of a user interface for repositories of learning objects. It integrates several tasks, such as submission, browse, search, and comment/review of learning objects, on a single screen layout. This design is being implemented on the web front-end of crimsonHex, a repository of specialized learning objects, developed as part of the EduJudge, a European project that aims to bring automatic evaluation of programming problems to eLearning systems.

Immunoperoxidase technique in experimental chronic chagasic myocarditis

Chagas'disease has been described as the commonest form of chronic myocarditis. An immunologic pathogenesis has been discribed for this form of the disease. So far, no immunoperoxidase technique has been used for the detection of immunological deposits in chronic experimental Chagas'myocardiopathy. Forty-one Swiss mice, three months old were inoculated intraperitoneally with doses between 10 and 10(5) Tulahuen trypomastigotes. Mice were reinoculated one month after with doses between 10² and 10(5) and sacrificed at 6 (n=21) and 9 months (n=9) after the first inoculation. ECGs were recorded before sacrifice. Immunoperoxidase technique (peroxidase-antiperoxidase method), immunofluorescence (direct and indirect) as well as histological studies were performed in myocardiums and skeletal muscles of the surviving animals. The most sensitive methods for detecting chronic chagasic infection were the routine histologic studies (73%) and the ECGs 83% and 89% on 6 and 9 mo. post-infected mice, respectively. Myocardial involvement varied from interstitial mild focal lymphocyte infiltrates up to replacement of myocytes by loose connective tissue. Atrial myocardiums (21/23, 91%) were more affected than ventricles (9/23, 39%). Typical chagasic nests were rarely found. Skeletal muscle involvement (11/18 and 7/9) varied from mild to extensive lymphocyte and plasmacell infiltrates, and necrotic fibers. The involved antigen were shown in skeletal muscles by the immunoperoxidase technique as diffusely arranged granular intracytoplasmatic deposit for both IgC and total immunoglobulins. The coincidence between this technique and histologic muscle lesions was 11/18 (61(%) in 6 mo. and 6/8 (75%) at 9 mo. post-infection. In heart, delicate granular deposits of total immunoglobulins were seen diffusely arranged within the ventricular myocytes; coincidence between immunoperoxidase technique anl histologic involvement increased from 36 to 66% in animals sacrifeced 6 and 9 mo. post-infection. This strongly stressed the increase of immunologic phenomena with the chronification of infection. Concerning sensitivity, immunoperoxidase and direct immunofluorescence were highly sensitive in skeletal muscle (100%, p < 0.01). Conversely, direct immunofluorescence technique showed poor results in heart while immunoperoxidase increased its sensitivity from 21.4% (at 6 mo.) to 66.6% (at 9 mo.) post-infection (p < 0.001). Considering the necessity of obtaining an adequate vaccine in order to prevent this disease an experimental model like this, rendering immunological reactions as revealed by the immunoperoxidase technique, would be useful.