245 research outputs found

    A new step forward: Trypanotolerant cattle in Ethiopia

    Get PDF

    Stall flutter experiment in a transonic oscillating linear cascade

    Get PDF
    Two dimensional biconvex airfoils were oscillated at reduced frequencies up to 0.5 based on semi-chord and a free stream Mach number of 0.80 to simulate transonic stall flutter in rotors. Steady-state periodicity was confirmed through end-wall pressure measurements, exit flow traverses, and flow visualization. The initial flow visualization results from flutter tests indicated that the oscillating shock on the airfoils lagged the airfoil motion by as much as 80 deg. These initial data exhibited an appreciable amount of scatter; however, a linear fit of the results indicated that the greatest shock phase lag occurred at a positive interblade phase angle. Photographs of the steady-state and unsteady flow fields reveal some of the features of the lambda shock wave on the suction surface of the airfoils

    Translating expert system rules into Ada code with validation and verification

    Get PDF
    The purpose of this ongoing research and development program is to develop software tools which enable the rapid development, upgrading, and maintenance of embedded real-time artificial intelligence systems. The goals of this phase of the research were to investigate the feasibility of developing software tools which automatically translate expert system rules into Ada code and develop methods for performing validation and verification testing of the resultant expert system. A prototype system was demonstrated which automatically translated rules from an Air Force expert system was demonstrated which detected errors in the execution of the resultant system. The method and prototype tools for converting AI representations into Ada code by converting the rules into Ada code modules and then linking them with an Activation Framework based run-time environment to form an executable load module are discussed. This method is based upon the use of Evidence Flow Graphs which are a data flow representation for intelligent systems. The development of prototype test generation and evaluation software which was used to test the resultant code is discussed. This testing was performed automatically using Monte-Carlo techniques based upon a constraint based description of the required performance for the system

    Synthesis of tacrine analogues derived from n-aryl-5-amino-4-cyanopyrazoles

    Get PDF
    Synthesis of eleven tacrine analogues derived from N-aryl-5-amino-4-cyanopyrazoles, by a Friedländer type reaction, is described. Their structures were confirmed by 1H and 13C NMR spectroscopy, elemental analysis and/or mass spectrometry.Fundação para a Ciência e Tecnologia and FEDER (POCTI-SFA-3-686

    Synthesis of new tacrine analogues from 4-amino-1H-pyrrole-3-carbonitrile

    Get PDF
    An easy preparation of 4-aminopyrrole-3-carbonitrile derivatives, and their transformation into new substituted pyrrolo[3,2-b]pyridines is described, in one step, via Friedländer reaction under microwave irradiation and classical heating methods. The use of microwave irradiation led to high conversion and shorter times.Fundação para a Ciência e a Tecnologia (FCT) - NMR Network, REEQ/ 630/QUI/2005, SFRH/BPD/31490/2006Fundo Europeu de Desenvolvimento Regional (FEDER

    The Tail of His Luck

    Get PDF

    Professional problems of elementary and secondary teachers in Sanders and Mineral Counties

    Get PDF

    In Defense of Not Defending Kant\u27s Religion

    Get PDF

    A Survey on Trust Metrics for Autonomous Robotic Systems

    Full text link
    This paper surveys the area of Trust Metrics related to security for autonomous robotic systems. As the robotics industry undergoes a transformation from programmed, task oriented, systems to Artificial Intelligence-enabled learning, these autonomous systems become vulnerable to several security risks, making a security assessment of these systems of critical importance. Therefore, our focus is on a holistic approach for assessing system trust which requires incorporating system, hardware, software, cognitive robustness, and supplier level trust metrics into a unified model of trust. We set out to determine if there were already trust metrics that defined such a holistic system approach. While there are extensive writings related to various aspects of robotic systems such as, risk management, safety, security assurance and so on, each source only covered subsets of an overall system and did not consistently incorporate the relevant costs in their metrics. This paper attempts to put this prior work into perspective, and to show how it might be extended to develop useful system-level trust metrics for evaluating complex robotic (and other) systems
    corecore