IOPT Petri Net State Space Generation Algorithm with Maximal-Step Execution Semantics

This paper presents an algorithm to efficiently generate the state-space of systems specified using the IOPT Petri-net modeling formalism. IOPT nets are a non-autonomous Petri-net class, based on Place-Transition nets with an extended set of features designed to allow the rapid prototyping and synthesis of system controllers through an existing hardware-software co-design framework. To obtain coherent and deterministic operation, IOPT nets use a maximal-step execution semantics where, in a single execution step, all enabled transitions will fire simultaneously. This fact increases the resulting state-space complexity and can cause an arc "explosion" effect. Real-world applications, with several million states, will reach a higher order of magnitude number of arcs, leading to the need for high performance state-space generator algorithms. The proposed algorithm applies a compilation approach to read a PNML file containing one IOPT model and automatically generate an optimized C program to calculate the corresponding state-space.

Safe Reflection Through Polymorphism

Code executed in a fully reflective system switches back and forth between application and interpreter code. These two states can be seen as contexts in which an expression is evaluated. Current language implementations obtain reflective capabilities by exposing objects to the interpreter. However, in doing so these systems break the encapsulation of the application objects. In this paper we propose safe reflection through polymorphism, \ie by unifying the interface and ensuring the encapsulation of objects from both the interpreter and application context. We demonstrate a \emphhomogeneous system that defines the execution semantics in terms of itself, thus enforcing that encapsulation is not broken.

Applying semantics to grid middleware

Scheduling parallel and distributed applications efficiently onto grid environments is a difficult task and a great variety of scheduling heuristics has been developed aiming to address this issue. A successful grid resource allocation depends, among other things, on the quality of the available information about software artifacts and grid resources. In this article, we propose a semantic approach to integrate selection of equivalent resources and selection of equivalent software artifacts to improve the scheduling of resources suitable for a given set of application execution requirements. We also describe a prototype implementation of our approach based on the Integrade grid middleware and experimental results that illustrate its benefits. Copyright (C) 2009 John Wiley & Sons, Ltd.

HEP-Frame: A software engineered framework to aid the development and efficient multicore execution of scientific code

This work was supported by FCT (Fundação para a Ciência e Tecnologia) within Project Scope (UID/CEC/00319/2013), by LIP (Laboratório de Instrumentação e Física Experimental de Partículas) and by Project Search-ON2 (NORTE-07-0162- FEDER-000086), co-funded by the North Portugal Regional Operational Programme (ON.2 - O Novo Norte), under the National Strategic Reference Framework, through the European Regional Development Fund.

Kin structure and queen execution in the Argentine ant Linepithema humile

Every spring, workers of the Argentine Ant Linepithema humile kill a large proportion of queens within their nests, Although this behaviour inflicts a high energetic cost oil the colonies, its biological significance has remained elusive so far. An earlier study showed that the probability of a queen being executed is not related to her weight, fecundity, or age. Here we test the hypothesis that workers collectively eliminate queens to which they are less related, thereby increasing their inclusive fitness. We found no evidence for this hypothesis. Workers of a nest were on average not significantly less related to executed queens than to surviving ones. Moreover, a population genetic analysis revealed that workers were not genetically differentiated between nests. This means that workers of a given nest are equally related to any queen in the population and that there can be no increase in average worker-queen relatedness by selective elimination of queens. Finally, our genetic analyses also showed that, in contrast to workers, queens were significantly genetically differentiated between nests and that there was significant isolation by distance for queens.

Queen execution in the Argentine ant, Iridomyrmex humilis

Field censuses and laboratory experiments show that in the Argentine ant, Iridomyrmex humilis (Mayr), c. 90% of the queens are executed by workers in May, at the beginning of the reproductive season. The reduction in the number of queens probably decreases the inhibition exerted by queens on the differentiation of sexuals and thus allows the production of new queens and males shortly thereafter. In the laboratory, there was no correlation between the percentage of queens executed and their weight or fecundity. At the time of execution of queens, nearly all queens were of the same age; less than 1 year. Therefore it is not likely that the age of queens plays any role in the choice that workers make in the queens they executed. Execution of these queens results in a heavy energetic cost for the colony which amounts c. 8% of the total biomass. This behaviour of workers executing nestmate queens is discussed with regard to possible evolutionary significance at the queen and worker level.

Adherence to oral anticancer treatment: focus on quality of execution during continuous schema of treatment

Background and objective: Oral anti-cancer treatments have expanded rapidly over the last years. While taking oral tablets at home ensures a better quality of life, it also exposes patients to the risk of sub-optimal adherence. The objective of this study is to assess how well ambulatory cancer patients execute their prescribed dosing regimen while they are engaged with continuous anti-cancer treatments. Design: This is an on-going longitudinal study. Consecutive patients starting an oral treatment are proposed to enter the study by the oncologist. Then they are referred to the pharmacy, where their oral anticancer treatment is dispensed in a Medication Event Monitoring System (MEMSTM), which records date and time of each opening of the drug container. Electronically compiled dosing history data from the MEMS are summarized and used as feedback during semistructured interviews with the pharmacist, which are dedicated to prevention and management of side effects. Interviews are scheduled before each medical visit. Report of the interview is available to the oncologist via an on-line secured portal. Setting: Seamless care approach between a Multidisciplinary Oncology Center and the Pharmacy of an Ambulatory Care and Community Medicine Department. Main outcome measures: For each patient, the comparison between the electronically compiled dosing history and the prescribed regimen was summarized using a daily binary indicator indicating whether yes or no the patient has taken the medication as prescribed. Results: Study started in March 2008. Among 22 eligible patients, 19 were included (11 men, median age 63 years old) and 3 (14%) refused to participate. 15 patients were prescribed a QD regimen, 3 patients a BID and 1 patient switched from QD to BID during follow-up. Median follow up was 182 days (IQR 72-252). Early discontinuation happened in four patients: side effects (n = 1), psychiatric reasons (n = 1), cancer progression (n = 1) and death (n = 1). On average, the daily number of medications was taken as prescribed in 99% of the follow-up days. Conclusions: Execution of the prescribed dosing regimens was almost perfect during the first 6 months. Maintaining this high degree of regimen execution and persistence over time might however be challenging in this population and need therefore to be confirmed in larger and longer follow-up cohort studies.

Management Control for Corporate Sustainability Execution: The Role of Employee Compensation

The research described in this thesis examines the characteristics, the benefits and the challenges associated with the implementation of management accounting systems in the field of Corporate Social Responsibility (CSR). Applied to the CSR context, management accounting relates to the identification, elaboration and communication of information about an organization's interactions with the society and the environment. Based on this information, firms are able to make decisions to achieve social and environmental objectives and provide evidence justifying the benefits and the costs of such actions. The study begins by focusing on green management and exploring the characteristics of Environmental Management Accounting (EMA) systems within firms. The first chapter informs the reader about the growing body of EMA research and reveals unexplored relevant aspects that need to be further investigated. The work also emphasizes the importance of developing new theoretical hypotheses and appropriate research designs to empirically tackle new aspects of EMA and gain understanding on the use of these practices. Subsequently, given the acknowledged importance of control systems in influencing the behaviour of individuals within organizations, the remaining two chapters of the dissertation focus on the functioning of CSR-linked incentives assigned to employees in the form of compensation plans. The second chapter examines the determinants influencing corporate provision of incentives for the attainment of environmental targets. Empirical analysis of a sample of international firms reveals that companies are likely to use green incentives as mechanisms to increase the efficacy in contracting with their employees as well as to respond to social influences. Finally, the third chapter investigates the effectiveness of contracting associated with the use of CSR-linked executive compensation. Empirical analysis of a sample of US-based companies shows that corporate choice to tie senior executives' pay to CSR targets promotes the firm's CSR performance. Cette thèse examine les caractéristiques, avantages et défis associés à l'utilisation des systèmes de contrôle de gestion dans le domaine de la Responsabilité Sociale des Entreprises (RSE). Dans le contexte de la RSE, les activités du contrôle de gestion impliquent l'identification, l'élaboration et la communication d'informations qui concernent les interactions des organisations avec la société et l'environnement. Avec ces informations les entreprises sont en mesure de prendre des décisions visant à atteindre les objectifs sociaux et environnementaux de l'organisation et de documenter les bénéfices et coûts de ces actions. Dès le début, la thèse se concentre sur les caractéristiques des systèmes de contrôle de gestion environnementale au sein des entreprises. Le premier chapitre passe en revue la littérature existante et révèle des aspects inexplorés. Pour ce faire, le travail suggère le développement de nouvelles théories ainsi que l'utilisation de méthodes appropriées. Ces dernières doivent permettre d'aborder empiriquement de nouveaux aspects des systèmes de contrôle environnemental et faciliter la compréhension sur l'utilisation de ces pratiques. Considérant l'importance des systèmes de contrôle pour influencer le comportement des individus au sein des organisations, la suite du travail se concentre sur le fonctionnement des contrats de rémunération des employées liées aux résultats de la RSE. Plus particulièrement, le deuxième chapitre examine les facteurs qui influencent la décision des entreprises d'assigner des objectifs environnementaux aux employées. L'analyse empirique d'un échantillon d'entreprises internationales montre que les entreprises sont susceptibles d'utiliser des mécanismes incitatifs écologiques pour augmenter l'efficacité des contrats ainsi que pour répondre aux influences sociales. Finalement, le troisième chapitre analyse l'efficacité des contrats de rémunération des dirigeants liés aux résultats de la RSE. L'analyse empirique d'un échantillon de sociétés américaines indique que le choix de l'entreprise de lier la rémunération des dirigeants à des objectifs de la RSE favorise la performance RSE de l'organisation.

Separation and Execution of graphical engine on a cross platform IDE to enhance performance

“Biosim” is a simulation software which works to simulate the harvesting system.This system is able to design a model for any logistic problem with the combination of several objects so that the artificial system can show the performance of an individual model. The system will also describe the efficiency, possibility to be chosen for real life application of that particular model. So, when any one wish to setup a logistic model like- harvesting system, in real life he/she may be noticed about the suitable prostitution for his plants and factories as well as he/she may get information about the least number of objects, total time to complete the task, total investment required for his model, total amount of noise produced for his establishment in advance. It will produce an advance over view for his model. But “Biosim” is quite slow .As it is an object based system, it takes long time to make its decision. Here the main task is to modify the system so that it can work faster than the previous. So, the main objective of this thesis is to reduce the load of “Biosim” by making some modification of the original system as well as to increase its efficiency. So that the whole system will be faster than the previous one and performs more efficiently when it will be applied in real life. Theconcept is to separate the execution part of ”Biosim” form its graphical engine and run this separated portion in a third generation language platform. C++ is chosenhere as this external platform. After completing the proposed system, results with different models have been observed. The results show that, for any type of plants of fields, for any number of trucks, the proposed system is faster than the original system. The proposed system takes at least 15% less time “Biosim”. The efficiency increase with the complexity of than the original the model. More complex the model, more efficient the proposed system is than original “Biosim”.Depending on the complexity of a model, the proposed system can be 56.53 % faster than the original “Biosim”.

The influence of the flexibility of the chair seat on pressure peak and distribution of the contact area in individuals with cerebral palsy during the execution of a task

This study aimed to determine the influence of flexibility of the chair seat surface on the pressure peak and on the contact area during the execution of a task of handling an object on the seated position by individuals with spastic cerebral palsy. Ten individuals of both genders with diagnosis of spastic cerebral palsy, who had some control to voluntarily move the body and the upper limbs, participated in this study. Quantification of data was carried out in two experimental situations: (1) execution of a task of fitting with upper limbs, and with the individual placed on an adapted canvas seat; (2) execution of a task of fitting with the participant positioned on an adapted wooden seat. Data obtained were submitted to a non-parametric and descriptive statistical analysis using the Wilcoxon test. Results indicated that the use of canvas seat increased the contact area and decreased the pressure peak and the medio-lateral displacement of centre pressure on the seated posture. © 2011 Informa UK, Ltd.

Contribuições da implantação da tecnologia de informação MES - Manufacturing Execution System - para a melhoria das dimensões competitivas da manufatura: estudo de caso Novelis Brasil Ltda

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Specification, execution and verification of interaction protocols: an approach based on computational logic

Interaction protocols establish how different computational entities can interact with each other. The interaction can be finalized to the exchange of data, as in 'communication protocols', or can be oriented to achieve some result, as in 'application protocols'. Moreover, with the increasing complexity of modern distributed systems, protocols are used also to control such a complexity, and to ensure that the system as a whole evolves with certain features. However, the extensive use of protocols has raised some issues, from the language for specifying them to the several verification aspects. Computational Logic provides models, languages and tools that can be effectively adopted to address such issues: its declarative nature can be exploited for a protocol specification language, while its operational counterpart can be used to reason upon such specifications. In this thesis we propose a proof-theoretic framework, called SCIFF, together with its extensions. SCIFF is based on Abductive Logic Programming, and provides a formal specification language with a clear declarative semantics (based on abduction). The operational counterpart is given by a proof procedure, that allows to reason upon the specifications and to test the conformance of given interactions w.r.t. a defined protocol. Moreover, by suitably adapting the SCIFF Framework, we propose solutions for addressing (1) the protocol properties verification (g-SCIFF Framework), and (2) the a-priori conformance verification of peers w.r.t. the given protocol (AlLoWS Framework). We introduce also an agent based architecture, the SCIFF Agent Platform, where the same protocol specification can be used to program and to ease the implementation task of the interacting peers.

Smart execution of distributed application by balancing resources in mobile devices and cloud-based avatars

L’obiettivo del progetto di tesi svolto è quello di realizzare un servizio di livello middleware dedicato ai dispositivi mobili che sia in grado di fornire il supporto per l’offloading di codice verso una infrastruttura cloud. In particolare il progetto si concentra sulla migrazione di codice verso macchine virtuali dedicate al singolo utente. Il sistema operativo delle VMs è lo stesso utilizzato dal device mobile. Come i precedenti lavori sul computation offloading, il progetto di tesi deve garantire migliori performance in termini di tempo di esecuzione e utilizzo della batteria del dispositivo. In particolare l’obiettivo più ampio è quello di adattare il principio di computation offloading a un contesto di sistemi distribuiti mobili, migliorando non solo le performance del singolo device, ma l’esecuzione stessa dell’applicazione distribuita. Questo viene fatto tramite una gestione dinamica delle decisioni di offloading basata, non solo, sullo stato del device, ma anche sulla volontà e/o sullo stato degli altri utenti appartenenti allo stesso gruppo. Per esempio, un primo utente potrebbe influenzare le decisioni degli altri membri del gruppo specificando una determinata richiesta, come alta qualità delle informazioni, risposta rapida o basata su altre informazioni di alto livello. Il sistema fornisce ai programmatori un semplice strumento di definizione per poter creare nuove policy personalizzate e, quindi, specificare nuove regole di offloading. Per rendere il progetto accessibile ad un più ampio numero di sviluppatori gli strumenti forniti sono semplici e non richiedono specifiche conoscenze sulla tecnologia. Il sistema è stato poi testato per verificare le sue performance in termini di mecchanismi di offloading semplici. Successivamente, esso è stato anche sottoposto a dei test per verificare che la selezione di differenti policy, definite dal programmatore, portasse realmente a una ottimizzazione del parametro designato.