Thursday, October 30, 2014

 

 



Soy un nuevo usuario

Olvidé mi contraseña

Entrada usuarios

Lógica Matemáticas Astronomía y Astrofísica Física Química Ciencias de la Vida
Ciencias de la Tierra y Espacio Ciencias Agrarias Ciencias Médicas Ciencias Tecnológicas Antropología Demografía
Ciencias Económicas Geografía Historia Ciencias Jurídicas y Derecho Lingüística Pedagogía
Ciencia Política Psicología Artes y Letras Sociología Ética Filosofía
 

rss_1.0 Clasificación por Disciplina

Nomenclatura Unesco > (11) Lógica

Mostrando recursos 61 - 80 de 132,440

61. Using a Commercial Ethernet PHY Device in a Radiation Environment - Arroyo, Roberto; Parks, Jeremy; Arani, Michael
This work involved placing a commercial Ethernet PHY on its own power boundary, with limited current supply, and providing detection methods to determine when the device is not operating and when it needs either a reset or power-cycle. The device must be radiation-tested and free of destructive latchup errors. The commercial Ethernet PHY's own power boundary must be supplied by a current-limited power regulator that must have an enable (for power cycling), and its maximum power output must not exceed the PHY's input requirements, thus preventing damage to the device. A regulator with configurable output limits and short-circuit protection (such...

62. Human Machine Interface Programming and Testing - Foster, Thomas Garrison
Human Machine Interface (HMI) Programming and Testing is about creating graphical displays to mimic mission critical ground control systems in order to provide NASA engineers with the ability to monitor the health management of these systems in real time. The Health Management System (HMS) is an online interactive human machine interface system that monitors all Kennedy Ground Control Subsystem (KGCS) hardware in the field. The Health Management System is essential to NASA engineers because it allows remote control and monitoring of the health management systems of all the Programmable Logic Controllers (PLC) and associated field devices. KGCS will have equipment...

63. Creating and Testing Simulation Software - Heinich, Christina M.
The goal of this project is to learn about the software development process, specifically the process to test and fix components of the software. The paper will cover the techniques of testing code, and the benefits of using one style of testing over another. It will also discuss the overall software design and development lifecycle, and how code testing plays an integral role in it. Coding is notorious for always needing to be debugged due to coding errors or faulty program design. Writing tests either before or during program creation that cover all aspects of the code provide a relatively...

64. A TCAS-II Resolution Advisory Detection Algorithm - Narkawicz, Anthony; Munoz, Cesar; Chamberlain, James
The Traffic Alert and Collision Avoidance System (TCAS) is a family of airborne systems designed to reduce the risk of mid-air collisions between aircraft. TCAS~II, the current generation of TCAS devices, provides resolution advisories that direct pilots to maintain or increase vertical separation when aircraft distance and time parameters are beyond designed system thresholds. This paper presents a mathematical model of the TCAS~II Resolution Advisory (RA) logic that assumes accurate aircraft state information. Based on this model, an algorithm for RA detection is also presented. This algorithm is analogous to a conflict detection algorithm, but instead of predicting loss of...

65. EVA Risk Master Logic Diagram - Norcross, Jason; Chappell, Steve; Mindock, Jennifer
No abstract available

66. Programmable Ultra Lightweight System Adaptable Radio (PULSAR) Low Cost Telemetry - Access from Space Advanced Technologies or Down the Middle - Sims. Herb; Eberly, Eric; Varnavas, Kosta
Software Defined Radio (SDR) technology has been proven in the commercial sector since the early 1990's. Today's rapid advancement in mobile telephone reliability and power management capabilities exemplifies the effectiveness of the SDR technology for the modern communications market. In contrast, presently qualified satellite transponder applications were developed during the early 1960's space program. Programmable Ultra Lightweight System Adaptable Radio (PULSAR, NASA-MSFC SDR) technology revolutionizes satellite transponder technology by increasing data through-put capability by, at least, an order of magnitude. PULSAR leverages existing Marshall Space Flight Center SDR designs and commercially enhanced capabilities to provide a path to a radiation...

67. Vertical Navigation Control Laws and Logic for the Next Generation Air Transportation System - Khong, Thuan H.; Hueschen, Richard M.
A vertical navigation (VNAV) outer-loop control system was developed to capture and track the vertical path segments of energy-efficient trajectories that are being developed for high-density operations in the evolving Next Generation Air Transportation System (NextGen). The VNAV control system has a speed-on-elevator control mode to pitch the aircraft for tracking a calibrated airspeed (CAS) or Mach number profile and a path control mode for tracking the VNAV altitude profile. Mode control logic was developed for engagement of either the speed or path control modes. The control system will level the aircraft to prevent it from flying through a constraint...

68. Temporal Precedence Checking for Switched Models and its Application to a Parallel Landing Protocol - Viswanathan, Mahesh; Mitra, Sayan; Munoz, Cesar A.; Wang, Le; Duggirala, Parasara Sridhar
This paper presents an algorithm for checking temporal precedence properties of nonlinear switched systems. This class of properties subsume bounded safety and capture requirements about visiting a sequence of predicates within given time intervals. The algorithm handles nonlinear predicates that arise from dynamics-based predictions used in alerting protocols for state-of-the-art transportation systems. It is sound and complete for nonlinear switch systems that robustly satisfy the given property. The algorithm is implemented in the Compare Execute Check Engine (C2E2) using validated simulations. As a case study, a simplified model of an alerting system for closely spaced parallel runways is considered. The...

69. AutoBayes Program Synthesis System System Internals - Schumann, Johann Martin
This lecture combines the theoretical background of schema based program synthesis with the hands-on study of a powerful, open-source program synthesis system (Auto-Bayes). Schema-based program synthesis is a popular approach toward program synthesis. The lecture will provide an introduction into this topic and discuss how this technology can be used to generate customized algorithms. The synthesis of advanced numerical algorithms requires the availability of a powerful symbolic (algebra) system. Its task is to symbolically solve equations, simplify expressions, or to symbolically calculate derivatives (among others) such that the synthesized algorithms become as efficient as possible. We will discuss the use...

70. El uso de las redes sociales profesionales como plataformas de colaboración entre empleados en las administraciones públicas - Pando, Diego; Rojas Martin, Francisco; Barrero, David F.
En un contexto caracterizado por la creciente necesidad de los profesionales del sector público de ir más allá de los límites de su organización para encontrar respuestas sobre los problemas cada vez más variados y complejos a los que se enfrentan en su trabajo, las redes sociales facilitan el contacto al permitir traspasar a partir de las tecnologías de información y comunicación las tradicionales barreras que caracterizan la lógica de las instituciones estatales. Así, el presente trabajo analiza las principales características del proyecto NovaGob, red social orientada a facilitar el intercambio de información y conocimiento así como la creación de redes...

71. Hacia una arquitectura orientada a servicios en el Instituto Provincial autárquico de la Vivienda de La Pampa - Diván, Mario José; Sanchez Reynoso, María Laura; Fredes, Marcos Alejandro; Oddone, Ana María; Cavallo, Bruno Sebastián; Martinez, Alejandro Maximiliano
Este trabajo introduce los principales procesos asociados con la gerencia de planificación y adjudicación de viviendas sociales del Instituto Provincial Autárquico de Vivienda (IPAV), formalizados mediante el meta modelo SPEM. Esto permite guiar la construcción de los nuevos sistemas informáticos a través de la identificación de los procesos centrales a la operatoria del organismo. Seguido, se plantea un modelo de seguridad, derivado a partir de los procesos formalizados, con el objetivo de canalizar la totalidad de las funcionalidades mediante una misma capa lógica basada en servicios. Esto permite un acceso controlado y homogéneo a la información, con la posibilidad de...

72. Automação de subestações através da norma IEC 61850 - Kreutz, Felipe de Campos
Os sistemas de automação de subestações – SAS – vêm evoluindo de forma significativa à medida que os dispositivos que o constituem se modernizam e evoluem tecnologicamente, desempenhando cada vez mais funções. Com o uso dos IEDs (dispositivos eletrônicos inteligentes) é possível a utilização de lógicas de proteção e controle mais eficientes, reduzindo custos com manutenção do sistema e agregando mais confiabilidade. Porém, o uso dos IEDs interligados via redes ethernet devem contar com a interoperabilidade entre eles para ser vantajoso, o que pode ser garantido pelo uso da norma IEC 61850, que padroniza a semântica e sintática das mensagens...

73. Análise da existência de informações para avaliação do benefício-custo de projetos ergonômicos : estudos de caso em empresas de médio e pequeno porte - Zizemer, Vitor Augusto Schutt
A ergonomia pode ser aplicada de diversas formas, tais como na fase inicial de um projeto, quando se aplica a ergonomia de concepção; como uma intervenção, procurando corrigir algum problema existente ou aproveitando outras mudanças para atribuir aspectos ergonômicos; ou na forma de melhoria contínua, em que entram a ergonomia participativa e de conscientização. Entretanto uma das principais barreiras encontradas pela ergonomia, ao introduzir-se no ambiente industrial, é a dificuldade em contabilizar, em termos financeiros, os benefícios que podem ser gerados pela sua aplicação. A partir da metodologia proposta pela SAABEPE, foi possível determinarem-se as condições que uma empresa apresenta...

74. Desenvolvimento da lógica de um equipamento de testes de capacetes com display integrado - Gabiatti, Carolina Amant
Este trabalho descreve o projeto e o desenvolvimento de parte da lógica programável de um equipamento de teste de capacetes com display integrado (em inglês Helmet Mounted Display, ou HMD). Este equipamento deve testar as diversas funcionalidades dos HMDs, como a geração de imagens e a comunicação serial. Além disso, a lógica do equipamento deve ser responsável por controlar o sequenciamento das suas fontes de tensão elétrica e realizar funções de autoteste, como a medida do consumo das fontes de tensão elétrica e a verificação da integridade dos canais de comunicação da placa. A partir dos requisitos dados e do...

75. Orientações curriculares e políticas públicas para a formação de professores : um estudo sobre o curso de licenciatura em Química da UFPel - Rocha, Paula Del Ponte
Este trabalho se refere a um estudo do curso de Licenciatura em Química da UFPel, no qual buscamos compreender os efeitos das políticas curriculares, das políticas para a iniciação à docência e das avaliações em larga escala, em relação à seleção e organização de conhecimentos considerados necessários para a formação inicial de professores de Química. Foram tomados como corpus de análise as orientações curriculares de acordo com a legislação vigente para cursos de Licenciatura em Química, o Projeto Pedagógico e os planos de ensino das disciplinas do curso de Licenciatura em Química da UFPel, os documentos oficiais referentes ao PIBID...

76. Parallel ILP for Distributed-Memory Architectures - Nuno A. Fonseca; Ashwin Srinivasan; Fernando Silva; Rui Camacho
The growth of machine-generated relational databases, both in thesciences and in industry, is rapidly outpacing our ability to extract useful information from them by manual means. This has brought into focus machine learning techniques like Inductive Logic Programming (ILP) that are able to extract humancomprehensible models for complex relational data. The price to pay is that ILP techniques are not ecient: they can be seen as performing a form of discrete optimisation, which is known to be computationally hard; and the complexity is usually some non-linear function of the number of examples. While little can be done to alter the...

77. Logic, or rational thoughts on the powers of the human understanding : with their use and application in the knowledge and search of truth / - Wolff, Christian, Freiherr von, 1679-1754.
"Authorized reprint of the original edition, produced by microfilm-xerography by University.

78. Dictionary of philosophy and psychology, including many of the principal conceptions of ethics, logic ... - Baldwin, James Mark, 1861-1934, ed.
Contents.--v. 1. List of collaborators. Editor's preface. Table of contents. Abbreviations. Text, A-Laws.--v. 2. Prefatory note. Text, Le-Z. Addenda: indexes. I. Greek terms. II. Latin terms. III. German terms. IV. French terms. V. Italian terms.--v. 3. Bibliography of philosophy, psychology, and cognate subjects, comp. by Benjamin Rand ... 2 pt.

79. Núcleos depressivos e estrutura da personalidade - Ferreira, Teresa Heitor
Faz-se a síntese de conceitos teóricos da conflitualidade narcísica segundo modelos de uma lógica estrutural. Separam-se núcleos depressivos das 3 fases do desenvolvimento libidinal (oral, anal, fálico-edipiano) com vinhetas clínicas de crianças e adultos.

80. Hypnotism. - Moll, Albert, 1862-
With: A critical and exegetical commentary on the book of Eddlesiastes / Barton, G.A. -- Doctor of Tanganyika / Withe, P.H.H. -- Studies in logic / Peirce, C.S. -- Le socialisme au jour le jour / Guesde, J.

Página de resultados:
 

Busque un recurso