Sunday, May 1, 2016

 

 



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
(1101) Aplicaciones de la lógica (1102) Lógica deductiva
(1103) Lógica general (1104) Lógica inductiva
(1105) Metodología (1199) Otras especialidades relativas a la lógica (especificar)

Mostrando recursos 1 - 20 de 164,072

1. Diagnostic Reasoning using Prognostic Information for Unmanned Aerial Systems - Schumann, Johann; Kulkarni, Chetan; Roychoudhury, Indranil
With increasing popularity of unmanned aircraft, continuous monitoring of their systems, software, and health status is becoming more and more important to ensure safe, correct, and efficient operation and fulfillment of missions. The paper presents integration of prognosis models and prognostic information with the R2U2 (REALIZABLE, RESPONSIVE, and UNOBTRUSIVE Unit) monitoring and diagnosis framework. This integration makes available statistically reliable health information predictions of the future at a much earlier time to enable autonomous decision making. The prognostic information can be used in the R2U2 model to improve diagnostic accuracy and enable decisions to be made at the present time...

2. An Efficient, FPGA-Based, Cluster Detection Algorithm Implementation for a Strip Detector Readout System in a Time Projection Chamber Polarimeter - Baumgartner, Wayne H.; Gregory, Kyle J.; Hill, Joanne E.; Black, J. Kevin; Jahoda, Keith
A fundamental challenge in a spaceborne application of a gas-based Time Projection Chamber (TPC) for observation of X-ray polarization is handling the large amount of data collected. The TPC polarimeter described uses the APV-25 Application Specific Integrated Circuit (ASIC) to readout a strip detector. Two dimensional photoelectron track images are created with a time projection technique and used to determine the polarization of the incident X-rays. The detector produces a 128x30 pixel image per photon interaction with each pixel registering 12 bits of collected charge. This creates challenging requirements for data storage and downlink bandwidth with only a modest incidence...

3. Center-TRACON Automation System (CTAS) En Route Trajectory Predictor Requirements and Capabilities - Vivona, Robert; Cate, Karen Tung
This requirements framework document is designed to support the capture of requirements and capabilities for state-of-the-art trajectory predictors (TPs). This framework has been developed to assist TP experts in capturing a clear, consistent, and cross-comparable set of requirements and capabilities. The goal is to capture capabilities (types of trajectories that can be built), functional requirements (including inputs and outputs), non-functional requirements (including prediction accuracy and computational performance), approaches for constraint relaxation, and input uncertainties. The sections of this framework are based on the Common Trajectory Predictor structure developed by the FAA/Eurocontrol Cooperative R&D Action Plan 16 Committee on Common Trajectory...

4. Radiation-Hardened Electronics for Advanced Communications Systems - Whitaker, Sterling
Novel approach enables high-speed special-purpose processors Advanced reconfigurable and reprogrammable communication systems will require sub-130-nanometer electronics. Legacy single event upset (SEU) radiation-tolerant circuits are ineffective at speeds greater than 125 megahertz. In Phase I of this project, ICs, LLC, demonstrated new base-level logic circuits that provide SEU immunity for sub-130-nanometer high-speed circuits. In Phase II, the company developed an innovative self-restoring logic (SRL) circuit and a system approach that provides high-speed, SEU-tolerant solutions that are effective for sub-130-nanometer electronics scalable to at least 22-nanometer processes. The SRL system can be used in the design of NASA's next-generation special-purpose processors, especially...

5. Validación de los procesos de limpieza en la industria farmacéutica, mediante la aplicación del análisis de riesgo, seguridad toxicológica y UPLC - Rezquellah, Wafae
En sus procesos de fabricación, la industria farmacéutica debe cumplir con las garantías de calidad y seguridad. Durante las últimas décadas ha ido adquiriendo importancia la validación de los procesos de limpieza de los equipos de producción con el objetivo de minimizar la contaminación cruzada. El establecimiento de los límites de residuos aceptables para la validación de la limpieza en base a criterios científicos es un asunto que aún no se ha resuelto. Este trabajo pretende desarrollar una metodología universal, efectiva, económica y extrapolable en el tiempo para llevar a cabo la validación de los procesos de limpieza en una...

6. Humanidades y TIC: reconstruyendo identidades profesionales en la globalización - Patricia Fernández
El objetivo de esta etnografía es describir las diversas reacciones existentes ante el enorme cambio que supone la incorporación de las tecnologías de la información y la comunicación (TIC) en el ámbito profesional. Para ello, se toman como ejemplo las actitudes de diversos usuarios (profesores y alumnos) que la autora pudo observar durante dos años en los que trabajó como apoyo técnico en el Campus Virtual de dos facultades de letras de una universidad española. Lo que se descubrió fue que las reacciones de los humanistas académicos ante las TIC pueden clasificarse en tres grupos: el de aquellos que las...

7. Del laboratorio al medio. Una aproximación al análisis de la ciencia mediatizada - Liliana Buitrago Arévalo
El presente artículo tiene como objetivo analizar reflexiva y críticamente la relación entre ciencia, tecnología y sociedad mediatizada, en el marco de las lógicas que operan dentro de la producción del conocimiento científico y el conocimiento mediático. ¿Cuáles son los límites de ambos campos de acción en tanto instancias productoras de conocimiento?, ¿Cómo consiguen la legitimación mutua ante la sociedad? y ¿En qué medida esta relación afecta las prácticas discursivas de ambas instituciones? El abordaje se hace desde el análisis crítico socio-discursivo de los puntos de divergencia y convergencia entre ambos actores (ciencia y medios). Ello ante la necesidad urgente...

8. Globalización y periferia: margen y centralidad en el pensamiento epistémico latinoamericano - Duglas Moreno
Se analiza teóricamente cada una de las categorías epistémicas: globalización (centralidad de las ideas) y pe­riferia (margen del texto especular). Se esbozarán algunas propuestas ideacionales teoréticas al respecto, no como un marco proposicional definitivo sino como una alternativa discursiva disponible para la discusión, para activar un debate que responda al continuum inter-epistémico de los relatos actuales. Para concluir se plantea que la globaliza­ción es una de esas posturas epistémicas de carácter nomotético coadyuvante (centralidad; forma de un gran núcleo) en el pensamiento del hombre y a su vez la periferia (el margen) vendría a ser una tendencia de carácter idiográfico...

9. Logic Programming and Logarithmic Space - Aubert, Clément; Bagnol, Marc; Pistone, Paolo; Seiller, Thomas
International audience

10. Logic Programming and Logarithmic Space - Aubert, Clément; Bagnol, Marc; Pistone, Paolo; Seiller, Thomas
International audience

11. Rule-Following and the Limits of Formalization: Wittgenstein’s Considerations Through the Lens of Logic - Pistone, Paolo
International audience

12. Chassis Control based on Fuzzy Logic - Vivas Lopez, Carlos Albertos; Morales-Menendez, Ruben; Ramirez-Mendoza, Ricardo; Sename, Olivier; Dugard, Luc
International audience

13. Traktát o Bohu téměř nejsoucím - Václav Umlauf
Heidegger’s concept of metaphysics as onto-theology based on necessary union of logic, ontology and theology demonstrates fundamental crisis of modern theodicy. Univocity of being, based on Avicennian epistemology of the Form, created in the second half of 13th century a new concept of divine Being. New way of thinking made an objective determination of God (esse obiective). Leibniz proposed a further step on the way of formalization in his theodicy. The formal ratio of God and that of human being became identical up to the certain point and God became responsible for all potential evil. Since Leibniz, modern theodicy has...

14. Abstenerse del terror: la paradoja de la no violencia en el Sáhara Occidental - Matthew Porges
En el Sáhara Occidental, antigua colonia española ocupada por Marruecos desde 1975, no ha habido prácticamente ninguna resistencia violenta por parte del pueblo indígena saharaui desde el final de la guerra de 1975-1991 entre Marruecos y el Frente Polisario. La ausencia de violencia sorprende por varios factores: amplio apoyo de la población a la independencia, disparidades sociales y económicas entre marroquíes y saharauis, así como una brutal represión de Marruecos de la cultura, la resistencia y las manifestaciones del sentimiento independentista saharaui. Este artículo analiza la lógica de la violencia –y de su ausencia–, así como la resistencia, y extrae...

15. Reflexiones metodológicas sobre la evaluación académica - Piovani, Juan Ignacio
En los últimos años se han intensificado notablemente las actividades de evaluación en los ámbitos académicos y científicos de Argentina. Me refiero, en particular, a la evaluación sistemática e institucionalizada que, evidentemente, ha acompañado un proceso mucho más amplio de profesionalización e institucionalización de las prácticas académicas –y, muy especialmente, las científicas–. Este proceso, que ha tenido impactos directos en el sistema universitario y en el científico, en sus instituciones y en las trayectorias de los docentes-investigadores, con efectos ambivalentes, ha comenzado a ser objeto de análisis por parte de diverso tipo de actores, y ha dado lugar a un debate...

16. Contribución al control económico con criterios cambiantes - Pereira Martín, Mario
Esta tesis se centra en el problema del diseño de controladores predictivos basados en modelo (MPC) para procesos caracterizados por trayectorias periódicas permitiéndose que puedan cambiar repentinamente. La formulación tradicional para MPC, normalmente denominada formulación para regulación, garantiza el seguimiento asintótico de puntos de equilibrio. Cuando se formula el control predictivo para resolver el problema de seguimiento de referencias, la metodología de diseño estabilizante puede no ser apropiada, debido a la posible pérdida de factibilidad del controlador ante cambios en la referencia. Recientemente se ha propuesto una nueva formulación (Ferramosca et al., 2009; Limon et al., 2008) que soluciona este problema...

17. Robust estimation of Ackerman angles for front-axle steering vehicles - Sáiz Rubio, Verónica; Rovira Más, Francisco; CHATTERJEE, ISHANI; Molina Hidalgo, Jose Mª
The multiple benefits of automating steering in agricultural vehicles have resulted in various autoguidance systems commercially available, most of them relying on satellite-based positioning. However, the fact that farm equipment is typically oversized, heavy, and highly powered poses serious challenges to automation in terms of safety and reliability. The objective of this research is to improve the reliability of front-wheel feedback signals as a preliminary stage in the development of stable steering control systems. To do so, the angle turned by each front wheel of a conventional tractor was independently measured by an optical encoder and fused to generate the...

18. Fuzzy Logic Based Controller for Maintaining Human Comfort within Intelligent Building System - Nasrodin .T. Mustapha, Momoh J. E. Salami, Nazim and M. Nasiri
This paper presents an intelligent control approach for air handling unit (AHU) which is an integral part of heat, ventilation, and air conditioning (HVAC) system. In the past years various control design for HVAC have been proposed as this system remarkably consumes very high energy. But most of the proposed designs were focused on the control flow of heat-transfer medium such as chilled or heated water while the importance of the efficient mixture of outdoor and indoor enthalpies is sometimes ignored. These enthalpies invariably determine the best strategy to overcome thermal load in a controlled environment to satisfy human comfort,...

19. Dissidenze statali contemporanee. Guerra, internazionalizzazione e sviluppo informale nel Somaliland - Luca Ciabarri

Il termine somalizzazione sembra in questo inizio secolo aver completamente sostituito l’espressione balcanizzazione, suo omologo perfetto per i secoli XIX e XX, per alludere ad un rischio a cui molte crisi internazionali (Siria, Libia, Mali, Afghanistan… vi è in effetti un lungo elenco) potrebbero tendere: il rischio cioè del precipitare nell’anarchia e nel disordine totale, nella lotta settaria, così rappresentata, senza logica e senza sbocco. L’articolo intende analizzare da un punto di vista etnografico uno specifico paesaggio sociale all’interno di queste aree di crisi, in particolare all’interno dell’area somala, per mettere in luce, piuttosto che la disconnessione e l’eccezionalità di...

20. Knowledge-Based Trajectory Error Pattern Method Applied to an Active Force Control Scheme - Endra Pitowarno, Musa Mailah, Hishamuddin Jamaluddin

The active force control (AFC) method is known as a robust control scheme that dramatically enhances the performance of a robot arm particularly in compensating the disturbance effects. The main task of the AFC method is to estimate the inertia matrix in the feedback loop to provide the correct (motor) torque required to cancel out these disturbances. Several intelligent control schemes have already been introduced to enhance the estimation methods of acquiring the inertia matrix such as those using neural network, iterative learning and fuzzy logic. In this paper, we propose an alternative scheme called Knowledge-Based Trajectory Error Pattern Method...

Página de resultados:
 

Busque un recurso