• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 10
  • 5
  • 1
  • Tagged with
  • 17
  • 5
  • 5
  • 5
  • 5
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
1

GRAFCET como ferramenta no desenvolvimento de tecnologia assistiva / GRAFCET as a tool to develop assistive technology

Souza, Hamilton Luiz de 01 October 2004 (has links)
A escassez de equipamentos e soluções à disposição das pessoas portadoras de necessidades especiais é evidente e, na maioria dos casos, não está entre as prioridades primárias dos governos, tanto nos países desenvolvidos como, e principalmente, nos subdesenvolvidos. O desenvolvimento de dispositivos a preços acessíveis é, desta forma, uma carência real. O alto custo de fabricação de dispositivos assistivos é oriundo da necessidade de se construí-los de forma personalizada o que geralmente utiliza o estado da arte de determinada tecnologia. Aglutinando então, tecnologias já difundidas com novas abordagens e ferramentas, foi implementado um dispositivo assistivo com um índice de \"personalização\" extremamente baixo e com custo acessível. O método GRAFCET como ferramenta de desenvolvimento, aliado a tecnologia FPGA, nas fases de prototipação e produção, mostram-se eficazes e de fácil aplicabilidade. Para essa finalidade foi desenvolvida uma ferramenta de conversão GRAFCET - Circuito Digital que facilita e torna possível não só na elaboração do esquema GRAFCET, mas principalmente possibilita antever semelhança com outras aplicações que não são facilmente visualizadas num primeiro momento, permitindo a sua simplificação. O dispositivo concebido, mostrou que, com pequenas modificações, é possível desenvolvê-los de forma que atenda não apenas um, mas vários portadores de necessidades especiais, viabilizando assim a diminuição dos custos de projeto, desenvolvimento e construção dos equipamentos que venham a atender estas pessoas, permitindo assim melhora significativa em sua qualidade de vida. / In all countries, particularly in underdeveloped ones, there are few equipment and solutions available to people with physical disabilities, whose needs hardly rank among the government\'s top priorities. Therefore, there is a real need to develop low cost equipment to people with disabilities. The high cost of production of assistive devices results from the necessity of building them in a customized way, generally employing some state-of-the-art technology. This work proposes using well known technologies as tools, in such a way to allow the design of assistive devices with a low degree of customization and, consequently, at low cost. Using GRAFCET as a development tool and FPGA technology have shown to be an effective and easily applicable approach during the phases of prototyping and production. We developed a tool that converts GRAFCET designs into a digital circuit. The tool makes it easier to develop GRAFCET schemes and highlights the similarities among different applications, which otherwise could pass unnoticed, resulting in simplified designs. With small modifications, the proposed device can meet the needs of several people with disabilities, resulting in lower design, development and building costs of equipment that can significantly improve their quality of life.
2

GRAFCET como ferramenta no desenvolvimento de tecnologia assistiva / GRAFCET as a tool to develop assistive technology

Hamilton Luiz de Souza 01 October 2004 (has links)
A escassez de equipamentos e soluções à disposição das pessoas portadoras de necessidades especiais é evidente e, na maioria dos casos, não está entre as prioridades primárias dos governos, tanto nos países desenvolvidos como, e principalmente, nos subdesenvolvidos. O desenvolvimento de dispositivos a preços acessíveis é, desta forma, uma carência real. O alto custo de fabricação de dispositivos assistivos é oriundo da necessidade de se construí-los de forma personalizada o que geralmente utiliza o estado da arte de determinada tecnologia. Aglutinando então, tecnologias já difundidas com novas abordagens e ferramentas, foi implementado um dispositivo assistivo com um índice de \"personalização\" extremamente baixo e com custo acessível. O método GRAFCET como ferramenta de desenvolvimento, aliado a tecnologia FPGA, nas fases de prototipação e produção, mostram-se eficazes e de fácil aplicabilidade. Para essa finalidade foi desenvolvida uma ferramenta de conversão GRAFCET - Circuito Digital que facilita e torna possível não só na elaboração do esquema GRAFCET, mas principalmente possibilita antever semelhança com outras aplicações que não são facilmente visualizadas num primeiro momento, permitindo a sua simplificação. O dispositivo concebido, mostrou que, com pequenas modificações, é possível desenvolvê-los de forma que atenda não apenas um, mas vários portadores de necessidades especiais, viabilizando assim a diminuição dos custos de projeto, desenvolvimento e construção dos equipamentos que venham a atender estas pessoas, permitindo assim melhora significativa em sua qualidade de vida. / In all countries, particularly in underdeveloped ones, there are few equipment and solutions available to people with physical disabilities, whose needs hardly rank among the government\'s top priorities. Therefore, there is a real need to develop low cost equipment to people with disabilities. The high cost of production of assistive devices results from the necessity of building them in a customized way, generally employing some state-of-the-art technology. This work proposes using well known technologies as tools, in such a way to allow the design of assistive devices with a low degree of customization and, consequently, at low cost. Using GRAFCET as a development tool and FPGA technology have shown to be an effective and easily applicable approach during the phases of prototyping and production. We developed a tool that converts GRAFCET designs into a digital circuit. The tool makes it easier to develop GRAFCET schemes and highlights the similarities among different applications, which otherwise could pass unnoticed, resulting in simplified designs. With small modifications, the proposed device can meet the needs of several people with disabilities, resulting in lower design, development and building costs of equipment that can significantly improve their quality of life.
3

Contribution à la synthèse des controleurs des systèmes à événements discrets partiellement observables

Achour, Zied Rezg, Nidhal. January 2005 (has links) (PDF)
Thèse de doctorat : Sciences de l'ingénieur : Automatique : Metz : 2005. / Thèse soutenue sur ensemble de travaux. Bibliogr. p.103-106.
4

Contribution aux approches formelles de synthèse de commande spécifiée par GRAFCET

Tajer, Abdelouahed Carré, Véronique. January 2005 (has links) (PDF)
Reproduction de : Thèse doctorat : Génie informatique, automatique et traitement du signal : Reims : 2005. / Titre provenant de l'écran titre. Bibliogr. f. 161-167.
5

Avaliação preliminar de um dispositivo automatico para extração da amendoa do coco babaçu por impacto / Preliminary evaluation of an automatic device for extration of the almond of the babaçu coconut for impact

Barroso, Paulo Sergio Feitosa 02 March 2004 (has links)
Orientador: Waldemir Silva de Lima / Dissertação (mestrado profissional) - Universidade Estadual de Campinas, Faculdade de Engenharia Mecanica / Made available in DSpace on 2018-08-04T00:57:12Z (GMT). No. of bitstreams: 1 Barroso_PauloSergioFeitosa_M.pdf: 1109545 bytes, checksum: 7e86b3bff9ff15c009479ea98fe6d9cc (MD5) Previous issue date: 2004 / Resumo: Este trabalho apresenta uma avaliação preliminar de um dispositivo automático para extração da amêndoa do coco babaçu por impacto. Nessa avaliação foram realizados testes para determinar a constante elástica do coco babaçu, bem como a força média de impacto capaz de quebrá-lo. A pneumática foi escolhida como tecnologia operativa do dispositivo por poder caracterizar-se como um sistema binário. A metodologia utilizada nas etapas de construção do circuito pneumático foi baseada na elaboração de um diagrama de função seqüencial, o GRAFCET / Abstract: This work presents a preliminary evaluation of an automatic device for extration of the almond of the coconut babaçu for impact. In this evaluation tests had been carried through to determine the elastic constant of the coconut babaçu, as well as the average force of impact capable to break it. The pneumatic was chosen as operative technology of the device for being able to characterize itself as a binary system. The methodology used in the stages of construction of the pneumatic circuit was based on the elaboration of a diagram of sequential function, the GRAFCET / Mestrado / Instrumentação e Controle Industrial / Mestre Profissional em Engenharia Mecanica
6

Test de conformité de contrôleurs logiques spécifiés en grafcet / Conformance test of logic controllers from Grafcet specification

Provost, Julien 08 July 2011 (has links)
Les travaux présentés dans ce mémoire de thèse s'intéressent à la génération et à la mise en œuvre de séquences de test pour le test de conformité de contrôleurs logiques. Dans le cadre de ces travaux, le Grafcet (IEC 60848 (2002)), langage de spécification graphique utilisé dans un contexte industriel, a été retenu comme modèle de spécification. Les contrôleurs logiques principalement considérés dans ces travaux sont les automates programmables industriels (API). Afin de valider la mise en œuvre du test de conformité pour des systèmes de contrôle/commande critiques, les travaux présentés proposent: - Une formalisation du langage de spécification Grafcet. En effet, l'application des méthodes usuelles de vérification et de validation nécessitent la connaissance du comportement à partir de modèles formels. Cependant, dans un contexte industriel, les modèles utilisés pour la description des spécifications fonctionnelles sont choisis en fonction de leur pouvoir d'expression et de leur facilité d'utilisation, mais ne disposent que rarement d'une sémantique formelle. - Une étude de la mise en œuvre de séquences de test et l'analyse des verdicts obtenus lors du changement simultané de plusieurs entrées logiques. Une campagne d'expérimentation a permis de quantifier, pour différentes configurations de l'implantation, le taux de verdicts erronés dus à ces changements simultanés. - Une définition du critère de SIC-testabilité d'une implantation. Ce critère, déterminé à partir de la spécification Grafcet, définit l'aptitude d'une implantation à être testée sans erreur de verdict. La génération automatique de séquences de test minimisant le risque de verdict erroné est ensuite étudiée. / The works presented in this PhD thesis deal with the generation and implementation of test sequences for conformance test of logic controllers. Within these works, Grafcet (IEC 60848 (2002)), graphical specification language used in industry, has been selected as the specification model. Logic controllers mainly considered in these works are Programmable Logic Controllers (PLC). In order to validate the carrying out of conformance test of critical control systems, this thesis presents: - A formalization of the Grafcet specification language. Indeed, to apply usual verification and validation methods, the behavior is required to be expressed through formal models. However, in industry, the models used to describe functional specifications are chosen for their expression power and usability, but these models rarely have a formal semantics. - A study of test sequences execution and analysis of obtained verdicts when several logical inputs are changed simultaneously. Series of experimentation have permitted to quantify, for different configurations of the implantation under test, the rate of erroneous verdicts due to these simultaneous changes. - A definition of the SIC-testability criterion for an implantation. This criterion, determined on the Grafect specification defines the ability of an implementation to be tested without any erroneous verdict. Automatic generation of test sequences that minimize the risk of erroneous verdict is then studied.
7

WEBGRAF 2 - tradutor web de grafos de especificação de controlo lógico em código de programação normalizado

Garcês, Ricardo Simão da Rocha January 2010 (has links)
Tese de mestrado integrado. Engenharia Informática e Computação. Faculdade de Engenharia. Universidade do Porto. 2010
8

Méthode de conception descendante de systèmes temps réel

Pilaud, Daniel 23 November 1982 (has links) (PDF)
Une methode de conception descendante par affinements successifs de spécifications est présentée. Le point de départ de la conception est la spécification initiale du système sous forme comportementale. L'étape suivante est la specification algorithmique du systeme qui consiste à définir une machine abstraite réalisant le systeme ainsi que la dérivé temporelle admissible sur les entrées et les sorties du système. Ensuite, deux types d'implantation sont proposes: l'implantation fidèle qui est la réalisation d'une machine concrète ayant un comportement semblable à la machine abstraite (à la dérivé temporelle près). Dans le cas contraire, une alarme est envoyée à l'environnement. Cette implantation peut être faite automatiquement grâce à l'interpréteur GRAFCET fidèle. Le deuxième type d'implantation est l'implantation sur ou par construction les contraintes de fonctionnement sont respectées
9

Méthodes et outils informatiques pour la commande locale ou distante de systèmes réactifs

Le Parc, Philippe 08 July 2004 (has links) (PDF)
Ce document résume mon activité de recherche depuis 1991. Elle a porté sur deux thématiques connexes : la modélisation et la validation de langages métier de l'automatisme et le contrôle à distance de systèmes mécaniques sur des réseaux de communication non fiables. Le premier axe de recherche portait plus précisément sur la définition formelle des langages classiques de l'automatisme (langage à relais et Grafcet) à l'aide des formalismes synchrones tels que Signal ou Lustre. L'intérêt d'un tel travail était de pouvoir exprimer les différentes interprétations possibles d'un même programme afin de pouvoir les comparer ; les environnements développés autour des formalismes synchrones permettant alors la réalisation directe de simulateurs ainsi que l'ouverture vers des outils autorisant la validation des programmes. Dans ce dernier domaine, différentes pistes ont été étudiées avant de retenir une modélisation à l'aide d'automates temporisés permettant alors l'expression de propriétés temporelles sur les programmes modélisés. Le deuxième axe de travail avait et a pour objectif d'étudier la faisabilité de l'introduction des nouvelles technologies, et en particulier des technologies réseau, dans le contrôle supervisé de systèmes mécaniques. Le réseau est ici vu comme un réseau sans qualité de service, de type Internet, alors que l'une des préoccupations majeures des automaticiens est d'assurer une sécurité maximale. Dans un premier temps, nous avons proposé une architecture logicielle permettant la communication entre l'opérateur et le système à contrôler. Basée sur un noyau de services complété par des pilotes spécifiques aux applications cibles, elle est facilement extensible. Pour prendre en compte les aléas réseau, la méthodologie Gemma, utilisée en ingéniérie des automatismes, a été étendue afin d'intégrer des informations en provenance d'un capteur réseau. Ce dernier permet d'estimer la qualité de la connexion d'un bout à l'autre du système de communication et doit être pris en compte automatiquement, et en permanence, par le système afin d'assurer la sécurité du contrôle supervisé. Bien que différentes, ces deux thématiques se rejoignent sur de nombreux points : --- Le domaine d'application, c'est à dire le contrôle de systèmes en environnement de production industriel. D'un côté, on a cherché à assurer une meilleure qualité, de la spécification à l'implantation en passant par la vérification des applications. De l'autre en proposant l'utilisation des nouvelles technologies de communication pour améliorer la productivité globale de l'entreprise. --- L'utilisation et l'introduction des méthodes et des outils de l'informaticien auprès de la communauté des automaticiens. Dans mon premier domaine de recherche, par l'intermédiaire du monde dit "synchrone" et dans le deuxième par la mise en oeuvre des technologies autour de l'Internet. Dans les deux cas, les technologies informatiques se sont placées au service d'autres disciplines tout en essayant de faire ressortir les points difficiles et de proposer des solutions innovantes. --- Le souci permanent de construire des applications sûres et de valider, si possible de manière formelle, les résultats obtenus. Cet aspect est surtout visible dans le cadre de la première activité de recherche, mais des travaux, non encore achevés, ont également porté sur la validation de l'architecture logicielle proposée pour le contrôle à distance. Ils sont directement issus des connaissances et de l'expérience acquises dans le premier thème.
10

Analyse de Grafcets par Génération Logique de l'Automate Équivalent

Roussel, Jean-Marc 16 December 1994 (has links) (PDF)
En Génie Automatique, le GRAFCET [IEC 848] est couramment employé pour la modélisation de la dynamique des systèmes à événements discrets, en raison de ses capacités de modélisation et de son ergonomie. Cependant, il lui est reproché de ne pas être défini de manière suffisamment formelle pour que tous les grafcets établis soient sans ambigüité et puissent être validés. L'objectif des travaux est double : contribuer à la formalisation du GRAFCET de manière à renforcer ses fondements théoriques et offrir à tout analyste les moyens nécessaires pour valider une modélisation exprimée en GRAFCET en vérifiant les propriétés des modèles et leur comportement par rapport à leurs entrées/sorties. Le GRAFCET étant une machine d'état complexe - essentiellement à cause des parallélismes importants qu'il permet de décrire - nous proposons à l'analyste d'utiliser le graphe des situations accessibles, ou grafcet d'état équivalent pour valider sa spécification. Nous avons conçu une technique de génération automatique du graphe des situations accessibles d'un grafcet global (qui est un automate fini «équivalent»), de manière à pouvoir établir un ensemble de preuves et propriétés sur la cohérence intrinsèque du grafcet et sur sa pertinence par rapport au cahier des charges. Une algèbre de Boole, dans laquelle la notion de fronts a été formalisée par deux opérateurs unaires a été construite. Les 14 propriétés qui ont été démontrées ont permis d'établir un module de calcul symbolique utilisé pour tenir compte de l'historique des évolutions des entrées. Nos travaux intègrent les extensions du modèles GRAFCET. Pour valider notre approche, une maquette informatique en C a été développée et permet de calculer l'automate équivalent au grafcet à valider. Nous utilisons pour vérifier certaines propriétés l'outil MEC développé pour l'étude des systèmes de transitions. Deux exemples de validation de grafcets par analyse de leur automate sont donnés dans le mémoire.

Page generated in 0.0297 seconds