Science.gov

Sample records for add programming logic

  1. Logic programming

    SciTech Connect

    Lusk, E.L.; Overbeek, R.A.

    1989-01-01

    This book contains the proceedings of the 1989 North American Conference on Logic Programming. Included are the following papers: Expanding query power in constrain logic programming languages, Investigating the linguistics of DNA with definite clause grammars, An intermediate language to support prolog's unification.

  2. Logic Programming: PROLOG.

    ERIC Educational Resources Information Center

    Lopez, Antonio M., Jr.

    1989-01-01

    Provides background material on logic programing and presents PROLOG as a high-level artificial intelligence programing language that borrows its basic constructs from logic. Suggests the language is one which will help the educator to achieve various goals, particularly the promotion of problem solving ability. (MVL)

  3. Logic via Computer Programming.

    ERIC Educational Resources Information Center

    Wieschenberg, Agnes A.

    This paper proposed the question "How do we teach logical thinking and sophisticated mathematics to unsophisticated college students?" One answer among many is through the writing of computer programs. The writing of computer algorithms is mathematical problem solving and logic in disguise and it may attract students who would otherwise stop…

  4. Metacomputation and logic programming

    SciTech Connect

    Abramov, S.M.

    1992-03-01

    This paper presents an approach to logic programming based on implementing reverse semantics of programming languages. The interpreter that implements reverse semantics is called a Universal Resolving Algorithm (URA). Implementation and methods for application of a URA are based on methods of metacomputation. 12 refs., 2 figs.

  5. Conceptual Modeling via Logic Programming

    DTIC Science & Technology

    1990-01-01

    31 2.7 Approaches Other Than Logic Programming ............................. 33 2.7.1 L isp...Development Environment Needs ................................ 84 5.1.4 Alternative Logic Programming Implementation Approaches ......... 85 5.1.5 User... APPROACH and logic programming techniques. Section 2 The CMLP project consisted of three describes the task outputs. interrelated investi ations: 3

  6. Quantum probabilistic logic programming

    NASA Astrophysics Data System (ADS)

    Balu, Radhakrishnan

    2015-05-01

    We describe a quantum mechanics based logic programming language that supports Horn clauses, random variables, and covariance matrices to express and solve problems in probabilistic logic. The Horn clauses of the language wrap random variables, including infinite valued, to express probability distributions and statistical correlations, a powerful feature to capture relationship between distributions that are not independent. The expressive power of the language is based on a mechanism to implement statistical ensembles and to solve the underlying SAT instances using quantum mechanical machinery. We exploit the fact that classical random variables have quantum decompositions to build the Horn clauses. We establish the semantics of the language in a rigorous fashion by considering an existing probabilistic logic language called PRISM with classical probability measures defined on the Herbrand base and extending it to the quantum context. In the classical case H-interpretations form the sample space and probability measures defined on them lead to consistent definition of probabilities for well formed formulae. In the quantum counterpart, we define probability amplitudes on Hinterpretations facilitating the model generations and verifications via quantum mechanical superpositions and entanglements. We cast the well formed formulae of the language as quantum mechanical observables thus providing an elegant interpretation for their probabilities. We discuss several examples to combine statistical ensembles and predicates of first order logic to reason with situations involving uncertainty.

  7. 75 FR 45164 - ``Add Us In'' Program

    Federal Register 2010, 2011, 2012, 2013, 2014

    2010-08-02

    ... From the Federal Register Online via the Government Publishing Office DEPARTMENT OF LABOR Office of the Assistant Secretary for Office of Disability Employment Policy ``Add Us In'' Program AGENCY: Office of Disability Employment Policy, Department of Labor. Announcement Type: New Notice of Availability of Funds and Solicitation for...

  8. Logic Programming in LISP.

    DTIC Science & Technology

    1981-01-01

    79/7, Imperial College, University of London. [Colmerauer 1973] Colmerauer, A., Un Systeme de Communication Homme - machine Kanoui, H., en Francais...any of the LOGIC interface functions (,-, THE, ALL, ANY, etc.) can be obtained by invoking the command (DOC fn), where "fn" is the name of the function...well as for output) illustrates one more way in which the LOGLISP programmer can fruitfully exploit the interface between LOGIC and LISP. GIVE is just a

  9. Program Theory Evaluation: Logic Analysis

    ERIC Educational Resources Information Center

    Brousselle, Astrid; Champagne, Francois

    2011-01-01

    Program theory evaluation, which has grown in use over the past 10 years, assesses whether a program is designed in such a way that it can achieve its intended outcomes. This article describes a particular type of program theory evaluation--logic analysis--that allows us to test the plausibility of a program's theory using scientific knowledge.…

  10. Logic programming and metadata specifications

    NASA Technical Reports Server (NTRS)

    Lopez, Antonio M., Jr.; Saacks, Marguerite E.

    1992-01-01

    Artificial intelligence (AI) ideas and techniques are critical to the development of intelligent information systems that will be used to collect, manipulate, and retrieve the vast amounts of space data produced by 'Missions to Planet Earth.' Natural language processing, inference, and expert systems are at the core of this space application of AI. This paper presents logic programming as an AI tool that can support inference (the ability to draw conclusions from a set of complicated and interrelated facts). It reports on the use of logic programming in the study of metadata specifications for a small problem domain of airborne sensors, and the dataset characteristics and pointers that are needed for data access.

  11. Logic Programming and Knowledge Maintenance.

    DTIC Science & Technology

    1987-08-13

    the literature , and became convinced that many of the advantages of frames and semantic nets can be captured in logic programming systems by a...consists of: needs(john,money). married_to(john,mary). loves(john,mary). (mary is the dead victim in this thriller .) The victim’s sister sara consists of

  12. Program Logics for Homogeneous Meta-programming

    NASA Astrophysics Data System (ADS)

    Berger, Martin; Tratt, Laurence

    A meta-program is a program that generates or manipulates another program; in homogeneous meta-programming, a program may generate new parts of, or manipulate, itself. Meta-programming has been used extensively since macros were introduced to Lisp, yet we have little idea how formally to reason about meta-programs. This paper provides the first program logics for homogeneous meta-programming - using a variant of MiniML_e^{square} by Davies and Pfenning as underlying meta-programming language. We show the applicability of our approach by reasoning about example meta-programs from the literature. We also demonstrate that our logics are relatively complete in the sense of Cook, enable the inductive derivation of characteristic formulae, and exactly capture the observational properties induced by the operational semantics.

  13. Parsing with logical variables (logic-based programming systems)

    SciTech Connect

    Finin, T.W.; Stone Palmer, M.

    1983-01-01

    Logic based programming systems have enjoyed an increasing popularity in applied AI work in the last few years. One of the contributions to computational linguistics made by the logic programming paradigm has been the definite clause grammar. In comparing DCGS with previous parsing mechanisms such as ATNS, certain clear advantages are seen. The authors feel that the most important of these advantages are due to the use of logical variables with unification as the fundamental operation on them. To illustrate the power of the logical variable, they have implemented an experimental atn system which treats atn registers as logical variables and provides a unification operation over them. They aim to simultaneously encourage the use of the powerful mechanisms available in DCGS and demonstrate that some of these techniques can be captured without reference to a resolution theorem prover. 14 references.

  14. Procedural and Logic Programming: A Comparison.

    ERIC Educational Resources Information Center

    Watkins, Will; And Others

    1988-01-01

    Examines the similarities and fundamental differences between procedural programing and logic programing by comparing LogoWriter and PROLOG. Suggests that PROLOG may be a good first programing language for students to learn. (MVL)

  15. Evolutionary program induction directed by logic grammars

    PubMed

    Wong; Leung

    1997-01-01

    Program induction generates a computer program that can produce the desired behavior for a given set of situations. Two of the approaches in program induction are inductive logic programming (ILP) and genetic programming (GP). Since their formalisms are so different, these two approaches cannot be integrated easily, although they share many common goals and functionalities. A unification will greatly enhance their problem-solving power. Moreover, they are restricted in the computer languages in which programs can be induced. In this paper, we present a flexible system called LOGENPRO (The LOgic gramar-based GENetic PROgramming system) that uses some of the techniques of GP and ILP. It is based on a formalism of logic grammars. The system applies logic grammars to control the evolution of programs in various programming languages and represent context-sensitive information and domain-dependent knowledge. Experiments have been performed to demonstrate that LOGENPRO can emulate GP and GP with automatically defined functions (ADFs). Moreover, LOGENPRO can employ knowledge such as argument types in a unified framework. The experiments show that LOGENPRO has superior performance to that of GP and GP with ADFs when more domain-dependent knowledge is available. We have applied LOGENPRO to evolve general recursive functions for the even-n-parity problem from noisy training examples. A number of experiments have been performed to determine the impact of domain-specific knowledge and noise in training examples on the speed of learning.

  16. Mixed wasted integrated program: Logic diagram

    SciTech Connect

    Mayberry, J.; Stelle, S.; O`Brien, M.; Rudin, M.; Ferguson, J.; McFee, J.

    1994-11-30

    The Mixed Waste Integrated Program Logic Diagram was developed to provide technical alternative for mixed wastes projects for the Office of Technology Development`s Mixed Waste Integrated Program (MWIP). Technical solutions in the areas of characterization, treatment, and disposal were matched to a select number of US Department of Energy (DOE) treatability groups represented by waste streams found in the Mixed Waste Inventory Report (MWIR).

  17. Molecular implementation of simple logic programs

    NASA Astrophysics Data System (ADS)

    Ran, Tom; Kaplan, Shai; Shapiro, Ehud

    2009-11-01

    Autonomous programmable computing devices made of biomolecules could interact with a biological environment and be used in future biological and medical applications. Biomolecular implementations of finite automata and logic gates have already been developed. Here, we report an autonomous programmable molecular system based on the manipulation of DNA strands that is capable of performing simple logical deductions. Using molecular representations of facts such as Man(Socrates) and rules such as Mortal(X) <-- Man(X) (Every Man is Mortal), the system can answer molecular queries such as Mortal(Socrates)? (Is Socrates Mortal?) and Mortal(X)? (Who is Mortal?). This biomolecular computing system compares favourably with previous approaches in terms of expressive power, performance and precision. A compiler translates facts, rules and queries into their molecular representations and subsequently operates a robotic system that assembles the logical deductions and delivers the result. This prototype is the first simple programming language with a molecular-scale implementation.

  18. Efficient dynamic optimization of logic programs

    NASA Technical Reports Server (NTRS)

    Laird, Phil

    1992-01-01

    A summary is given of the dynamic optimization approach to speed up learning for logic programs. The problem is to restructure a recursive program into an equivalent program whose expected performance is optimal for an unknown but fixed population of problem instances. We define the term 'optimal' relative to the source of input instances and sketch an algorithm that can come within a logarithmic factor of optimal with high probability. Finally, we show that finding high-utility unfolding operations (such as EBG) can be reduced to clause reordering.

  19. The Family of Concurrent Logic Programming Languages

    DTIC Science & Technology

    1989-05-01

    nature , such as the solution of large numerical problems. Following Harel [70], we call concurrent systems that are transforma- tional as a whole parallel...nondeterminitic finite mtompla, and logic programs. Reactive systems are also nondeter- ministic. However, the nature of nondetaminism in the former is very...0l) Im(EXIXs],S) fail Figure 4: Examples of input matching of goals with clause heads The dataflow nature of matching is evident: an "instruction

  20. DNA strand displacement system running logic programs.

    PubMed

    Rodríguez-Patón, Alfonso; Sainz de Murieta, Iñaki; Sosík, Petr

    2014-01-01

    The paper presents a DNA-based computing model which is enzyme-free and autonomous, not requiring a human intervention during the computation. The model is able to perform iterated resolution steps with logical formulae in conjunctive normal form. The implementation is based on the technique of DNA strand displacement, with each clause encoded in a separate DNA molecule. Propositions are encoded assigning a strand to each proposition p, and its complementary strand to the proposition ¬p; clauses are encoded comprising different propositions in the same strand. The model allows to run logic programs composed of Horn clauses by cascading resolution steps. The potential of the model is demonstrated also by its theoretical capability of solving SAT. The resulting SAT algorithm has a linear time complexity in the number of resolution steps, whereas its spatial complexity is exponential in the number of variables of the formula.

  1. Improvements to the adaptive maneuvering logic program

    NASA Technical Reports Server (NTRS)

    Burgin, George H.

    1986-01-01

    The Adaptive Maneuvering Logic (AML) computer program simulates close-in, one-on-one air-to-air combat between two fighter aircraft. Three important improvements are described. First, the previously available versions of AML were examined for their suitability as a baseline program. The selected program was then revised to eliminate some programming bugs which were uncovered over the years. A listing of this baseline program is included. Second, the equations governing the motion of the aircraft were completely revised. This resulted in a model with substantially higher fidelity than the original equations of motion provided. It also completely eliminated the over-the-top problem, which occurred in the older versions when the AML-driven aircraft attempted a vertical or near vertical loop. Third, the requirements for a versatile generic, yet realistic, aircraft model were studied and implemented in the program. The report contains detailed tables which make the generic aircraft to be either a modern, high performance aircraft, an older high performance aircraft, or a previous generation jet fighter.

  2. Designing a Software Tool for Fuzzy Logic Programming

    NASA Astrophysics Data System (ADS)

    Abietar, José M.; Morcillo, Pedro J.; Moreno, Ginés

    2007-12-01

    Fuzzy Logic Programming is an interesting and still growing research area that agglutinates the efforts for introducing fuzzy logic into logic programming (LP), in order to incorporate more expressive resources on such languages for dealing with uncertainty and approximated reasoning. The multi-adjoint logic programming approach is a recent and extremely flexible fuzzy logic paradigm for which, unfortunately, we have not found practical tools implemented so far. In this work, we describe a prototype system which is able to directly translate fuzzy logic programs into Prolog code in order to safely execute these residual programs inside any standard Prolog interpreter in a completely transparent way for the final user. We think that the development of such fuzzy languages and programing tools might play an important role in the design of advanced software applications for computational physics, chemistry, mathematics, medicine, industrial control and so on.

  3. Computer routine adds plotting capabilities to existing programs

    NASA Technical Reports Server (NTRS)

    Harris, J. C.; Linnekin, J. S.

    1966-01-01

    PLOTAN, a generalized plot analysis routine written for the IBM 7094 computer, minimizes the difficulties in adding plot capabilities to large existing programs. PLOTAN is used in conjunction with a binary tape writing routine and has the ability to plot any variable on the intermediate binary tape as a function of any other.

  4. Should Andover College Add a Distance Education Program?

    ERIC Educational Resources Information Center

    Woodbury, Amanda L.

    Adding distance education would provide Andover College with unlimited growth and potentially increased revenue. Andover has three groups of students: nontraditional evening students aged 25-59 who want a degree to advance in their careers; traditional students aged 17-24; and certificate candidates. A distance program would make classes more…

  5. Research on teacher education programs: logic model approach.

    PubMed

    Newton, Xiaoxia A; Poon, Rebecca C; Nunes, Nicole L; Stone, Elisa M

    2013-02-01

    Teacher education programs in the United States face increasing pressure to demonstrate their effectiveness through pupils' learning gains in classrooms where program graduates teach. The link between teacher candidates' learning in teacher education programs and pupils' learning in K-12 classrooms implicit in the policy discourse suggests a one-to-one correspondence. However, the logical steps leading from what teacher candidates have learned in their programs to what they are doing in classrooms that may contribute to their pupils' learning are anything but straightforward. In this paper, we argue that the logic model approach from scholarship on evaluation can enhance research on teacher education by making explicit the logical links between program processes and intended outcomes. We demonstrate the usefulness of the logic model approach through our own work on designing a longitudinal study that focuses on examining the process and impact of an undergraduate mathematics and science teacher education program.

  6. The Application of Logic Programming to Communication Education.

    ERIC Educational Resources Information Center

    Sanford, David L.

    Recommending that communication students be required to learn to use computers not merely as number crunchers, word processors, data bases, and graphics generators, but also as logical inference makers, this paper examines the recently developed technology of logical programing in computer languages. It presents two syllogisms and shows how they…

  7. Alcohol and Drug Defense Program (ADD) 1994-95. Evaluation Report.

    ERIC Educational Resources Information Center

    Dulaney, Charles N.

    The Wake County Public School System used Alcohol and Drug Defense Program (ADD) federal funds in 1994-95 to reduce the impact of drugs and alcohol on the system's 12 high schools by implementing a Student Assistance Program (SAP). SAP provides intervention and support for students identified as being at risk of substance abuse because of academic…

  8. Logic Models for Program Design, Implementation, and Evaluation: Workshop Toolkit. REL 2015-057

    ERIC Educational Resources Information Center

    Shakman, Karen; Rodriguez, Sheila M.

    2015-01-01

    The Logic Model Workshop Toolkit is designed to help practitioners learn the purpose of logic models, the different elements of a logic model, and the appropriate steps for developing and using a logic model for program evaluation. Topics covered in the sessions include an overview of logic models, the elements of a logic model, an introduction to…

  9. Fuzzy logic program at SGS-Thomson

    NASA Astrophysics Data System (ADS)

    Pagni, Andrea; Poluzzi, Rinaldo; Rizzotto, GianGuido

    1993-12-01

    From its conception by Professor Lotfi A. Zadeh in the early '60s, Fuzzy Logic has slowly won acceptance, first in the academic world, then in industry. Its success is mainly due to the different perspective with which problems are tackled. Thanks to Fuzzy Logic we have moved from a numerical/analytical description to a quantitative/qualitative one. It is important to stress that this different perspective not only allows us to solve analysis/control problems at lower costs but can also allow otherwise insoluble problems to be solved at acceptable costs. Of course, it must be stressed that Fuzzy Systems cannot match the computational precision of traditional techniques but seek, instead, to find acceptable solutions in shorter times. Recognizing the enormous importance of fuzzy logic in the markets of the future, SGS-THOMSON intends to produce devices belonging to a new class of machines: Fuzzy Computational Machines. For this purpose a major research project has been established considering the architectural aspects and system implications of fuzzy logic, the development of dedicated VLSI components and supporting software.

  10. Programming Programmable Logic Controller. High-Technology Training Module.

    ERIC Educational Resources Information Center

    Lipsky, Kevin

    This training module on programming programmable logic controllers (PLC) is part of the memory structure and programming unit used in a packaging systems equipment control course. In the course, students assemble, install, maintain, and repair industrial machinery used in industry. The module contains description, objectives, content outline,…

  11. Application of Logic Models in a Large Scientific Research Program

    ERIC Educational Resources Information Center

    O'Keefe, Christine M.; Head, Richard J.

    2011-01-01

    It is the purpose of this article to discuss the development and application of a logic model in the context of a large scientific research program within the Commonwealth Scientific and Industrial Research Organisation (CSIRO). CSIRO is Australia's national science agency and is a publicly funded part of Australia's innovation system. It conducts…

  12. How Learning Logic Programming Affects Recursion Comprehension

    ERIC Educational Resources Information Center

    Haberman, Bruria

    2004-01-01

    Recursion is a central concept in computer science, yet it is difficult for beginners to comprehend. Israeli high-school students learn recursion in the framework of a special modular program in computer science (Gal-Ezer & Harel, 1999). Some of them are introduced to the concept of recursion in two different paradigms: the procedural…

  13. Logic and Lattices for Distributed Programming

    DTIC Science & Technology

    2012-06-22

    Computer Sciences University of California at Berkeley Technical Report No. UCB/EECS-2012-167 http://www.eecs.berkeley.edu/Pubs/TechRpts/2012/EECS...NUMBER 7. PERFORMING ORGANIZATION NAME(S) AND ADDRESS(ES) University of California at Berkeley,Electrical Engineering and Computer Sciences,Berkeley...tion of small, easy-to-analyze lattices into larger programs. 1. INTRODUCTION As cloud computing becomes increasingly common, the inherent difficulties

  14. AiGERM: A logic programming front end for GERM

    NASA Technical Reports Server (NTRS)

    Hashim, Safaa H.

    1990-01-01

    AiGerm (Artificially Intelligent Graphical Entity Relation Modeler) is a relational data base query and programming language front end for MCC (Mission Control Center)/STP's (Space Test Program) Germ (Graphical Entity Relational Modeling) system. It is intended as an add-on component of the Germ system to be used for navigating very large networks of information. It can also function as an expert system shell for prototyping knowledge-based systems. AiGerm provides an interface between the programming language and Germ.

  15. Verification and Planning Based on Coinductive Logic Programming

    NASA Technical Reports Server (NTRS)

    Bansal, Ajay; Min, Richard; Simon, Luke; Mallya, Ajay; Gupta, Gopal

    2008-01-01

    Coinduction is a powerful technique for reasoning about unfounded sets, unbounded structures, infinite automata, and interactive computations [6]. Where induction corresponds to least fixed point's semantics, coinduction corresponds to greatest fixed point semantics. Recently coinduction has been incorporated into logic programming and an elegant operational semantics developed for it [11, 12]. This operational semantics is the greatest fix point counterpart of SLD resolution (SLD resolution imparts operational semantics to least fix point based computations) and is termed co- SLD resolution. In co-SLD resolution, a predicate goal p( t) succeeds if it unifies with one of its ancestor calls. In addition, rational infinite terms are allowed as arguments of predicates. Infinite terms are represented as solutions to unification equations and the occurs check is omitted during the unification process. Coinductive Logic Programming (Co-LP) and Co-SLD resolution can be used to elegantly perform model checking and planning. A combined SLD and Co-SLD resolution based LP system forms the common basis for planning, scheduling, verification, model checking, and constraint solving [9, 4]. This is achieved by amalgamating SLD resolution, co-SLD resolution, and constraint logic programming [13] in a single logic programming system. Given that parallelism in logic programs can be implicitly exploited [8], complex, compute-intensive applications (planning, scheduling, model checking, etc.) can be executed in parallel on multi-core machines. Parallel execution can result in speed-ups as well as in larger instances of the problems being solved. In the remainder we elaborate on (i) how planning can be elegantly and efficiently performed under real-time constraints, (ii) how real-time systems can be elegantly and efficiently model- checked, as well as (iii) how hybrid systems can be verified in a combined system with both co-SLD and SLD resolution. Implementations of co-SLD resolution

  16. Synthesizing Dynamic Programming Algorithms from Linear Temporal Logic Formulae

    NASA Technical Reports Server (NTRS)

    Rosu, Grigore; Havelund, Klaus

    2001-01-01

    The problem of testing a linear temporal logic (LTL) formula on a finite execution trace of events, generated by an executing program, occurs naturally in runtime analysis of software. We present an algorithm which takes an LTL formula and generates an efficient dynamic programming algorithm. The generated algorithm tests whether the LTL formula is satisfied by a finite trace of events given as input. The generated algorithm runs in linear time, its constant depending on the size of the LTL formula. The memory needed is constant, also depending on the size of the formula.

  17. Support vector inductive logic programming outperforms the naive Bayes classifier and inductive logic programming for the classification of bioactive chemical compounds

    NASA Astrophysics Data System (ADS)

    Cannon, Edward O.; Amini, Ata; Bender, Andreas; Sternberg, Michael J. E.; Muggleton, Stephen H.; Glen, Robert C.; Mitchell, John B. O.

    2007-05-01

    We investigate the classification performance of circular fingerprints in combination with the Naive Bayes Classifier (MP2D), Inductive Logic Programming (ILP) and Support Vector Inductive Logic Programming (SVILP) on a standard molecular benchmark dataset comprising 11 activity classes and about 102,000 structures. The Naive Bayes Classifier treats features independently while ILP combines structural fragments, and then creates new features with higher predictive power. SVILP is a very recently presented method which adds a support vector machine after common ILP procedures. The performance of the methods is evaluated via a number of statistical measures, namely recall, specificity, precision, F-measure, Matthews Correlation Coefficient, area under the Receiver Operating Characteristic (ROC) curve and enrichment factor (EF). According to the F-measure, which takes both recall and precision into account, SVILP is for seven out of the 11 classes the superior method. The results show that the Bayes Classifier gives the best recall performance for eight of the 11 targets, but has a much lower precision, specificity and F-measure. The SVILP model on the other hand has the highest recall for only three of the 11 classes, but generally far superior specificity and precision. To evaluate the statistical significance of the SVILP superiority, we employ McNemar's test which shows that SVILP performs significantly ( p < 5%) better than both other methods for six out of 11 activity classes, while being superior with less significance for three of the remaining classes. While previously the Bayes Classifier was shown to perform very well in molecular classification studies, these results suggest that SVILP is able to extract additional knowledge from the data, thus improving classification results further.

  18. PKSolver: An add-in program for pharmacokinetic and pharmacodynamic data analysis in Microsoft Excel.

    PubMed

    Zhang, Yong; Huo, Meirong; Zhou, Jianping; Xie, Shaofei

    2010-09-01

    This study presents PKSolver, a freely available menu-driven add-in program for Microsoft Excel written in Visual Basic for Applications (VBA), for solving basic problems in pharmacokinetic (PK) and pharmacodynamic (PD) data analysis. The program provides a range of modules for PK and PD analysis including noncompartmental analysis (NCA), compartmental analysis (CA), and pharmacodynamic modeling. Two special built-in modules, multiple absorption sites (MAS) and enterohepatic circulation (EHC), were developed for fitting the double-peak concentration-time profile based on the classical one-compartment model. In addition, twenty frequently used pharmacokinetic functions were encoded as a macro and can be directly accessed in an Excel spreadsheet. To evaluate the program, a detailed comparison of modeling PK data using PKSolver and professional PK/PD software package WinNonlin and Scientist was performed. The results showed that the parameters estimated with PKSolver were satisfactory. In conclusion, the PKSolver simplified the PK and PD data analysis process and its output could be generated in Microsoft Word in the form of an integrated report. The program provides pharmacokinetic researchers with a fast and easy-to-use tool for routine and basic PK and PD data analysis with a more user-friendly interface.

  19. Knowledge Discovery from Structured Mammography Reports Using Inductive Logic Programming

    PubMed Central

    Burnside, Elizabeth S.; Davis, Jesse; Costa, Vítor Santos; de Castro Dutra, Inês; Kahn, Charles E.; Fine, Jason; Page, David

    2005-01-01

    The development of large mammography databases provides an opportunity for knowledge discovery and data mining techniques to recognize patterns not previously appreciated. Using a database from a breast imaging practice containing patient risk factors, imaging findings, and biopsy results, we tested whether inductive logic programming (ILP) could discover interesting hypotheses that could subsequently be tested and validated. The ILP algorithm discovered two hypotheses from the data that were 1) judged as interesting by a subspecialty-trained mammographer and 2) validated by analysis of the data itself. PMID:16779009

  20. Knowledge Discovery in Variant Databases Using Inductive Logic Programming

    PubMed Central

    Nguyen, Hoan; Luu, Tien-Dao; Poch, Olivier; Thompson, Julie D.

    2013-01-01

    Understanding the effects of genetic variation on the phenotype of an individual is a major goal of biomedical research, especially for the development of diagnostics and effective therapeutic solutions. In this work, we describe the use of a recent knowledge discovery from database (KDD) approach using inductive logic programming (ILP) to automatically extract knowledge about human monogenic diseases. We extracted background knowledge from MSV3d, a database of all human missense variants mapped to 3D protein structure. In this study, we identified 8,117 mutations in 805 proteins with known three-dimensional structures that were known to be involved in human monogenic disease. Our results help to improve our understanding of the relationships between structural, functional or evolutionary features and deleterious mutations. Our inferred rules can also be applied to predict the impact of any single amino acid replacement on the function of a protein. The interpretable rules are available at http://decrypthon.igbmc.fr/kd4v/. PMID:23589683

  1. Defining, illustrating and reflecting on logic analysis with an example from a professional development program.

    PubMed

    Tremblay, Marie-Claude; Brousselle, Astrid; Richard, Lucie; Beaudet, Nicole

    2013-10-01

    Program designers and evaluators should make a point of testing the validity of a program's intervention theory before investing either in implementation or in any type of evaluation. In this context, logic analysis can be a particularly useful option, since it can be used to test the plausibility of a program's intervention theory using scientific knowledge. Professional development in public health is one field among several that would truly benefit from logic analysis, as it appears to be generally lacking in theorization and evaluation. This article presents the application of this analysis method to an innovative public health professional development program, the Health Promotion Laboratory. More specifically, this paper aims to (1) define the logic analysis approach and differentiate it from similar evaluative methods; (2) illustrate the application of this method by a concrete example (logic analysis of a professional development program); and (3) reflect on the requirements of each phase of logic analysis, as well as on the advantages and disadvantages of such an evaluation method. Using logic analysis to evaluate the Health Promotion Laboratory showed that, generally speaking, the program's intervention theory appeared to have been well designed. By testing and critically discussing logic analysis, this article also contributes to further improving and clarifying the method.

  2. Is Abstinence Education Theory Based? The Underlying Logic of Abstinence Education Programs in Texas

    ERIC Educational Resources Information Center

    Goodson, Patricia; Pruitt, B. E.; Suther, Sandy; Wilson, Kelly; Buhi, Eric

    2006-01-01

    Authors examined the logic (or the implicit theory) underlying 16 abstinence-only-until-marriage programs in Texas (50% of all programs funded under the federal welfare reform legislation during 2001 and 2002). Defined as a set of propositions regarding the relationship between program activities and their intended outcomes, program staff's…

  3. Computing single step operators of logic programming in radial basis function neural networks

    NASA Astrophysics Data System (ADS)

    Hamadneh, Nawaf; Sathasivam, Saratha; Choon, Ong Hong

    2014-07-01

    Logic programming is the process that leads from an original formulation of a computing problem to executable programs. A normal logic program consists of a finite set of clauses. A valuation I of logic programming is a mapping from ground atoms to false or true. The single step operator of any logic programming is defined as a function (Tp:I→I). Logic programming is well-suited to building the artificial intelligence systems. In this study, we established a new technique to compute the single step operators of logic programming in the radial basis function neural networks. To do that, we proposed a new technique to generate the training data sets of single step operators. The training data sets are used to build the neural networks. We used the recurrent radial basis function neural networks to get to the steady state (the fixed point of the operators). To improve the performance of the neural networks, we used the particle swarm optimization algorithm to train the networks.

  4. Computing single step operators of logic programming in radial basis function neural networks

    SciTech Connect

    Hamadneh, Nawaf; Sathasivam, Saratha; Choon, Ong Hong

    2014-07-10

    Logic programming is the process that leads from an original formulation of a computing problem to executable programs. A normal logic program consists of a finite set of clauses. A valuation I of logic programming is a mapping from ground atoms to false or true. The single step operator of any logic programming is defined as a function (T{sub p}:I→I). Logic programming is well-suited to building the artificial intelligence systems. In this study, we established a new technique to compute the single step operators of logic programming in the radial basis function neural networks. To do that, we proposed a new technique to generate the training data sets of single step operators. The training data sets are used to build the neural networks. We used the recurrent radial basis function neural networks to get to the steady state (the fixed point of the operators). To improve the performance of the neural networks, we used the particle swarm optimization algorithm to train the networks.

  5. Extending Bayesian Logic Programs for Plan Recognition and Machine Reading

    DTIC Science & Technology

    2011-05-01

    involving several objects, their properties, and their relationships with other objects (Russell & Norvig , 2003). A term in first-order logic is a symbol that...Conference on Artificial Intel- ligence (IJCAI-95), pp. 1146–1152, Montreal, Canada. Russell, S., & Norvig , P. (2003). Artificial Intelligence: A Modern

  6. A Digital Logic Simulator with Concurrent Programming Considerations.

    DTIC Science & Technology

    1987-12-01

    distribution unlimited % % Acknowledgments Perhaps one of the greatest lessons learned from an intensive period of research and study , such as this thesis...greater run time performance as a goal, this new.’ simulator was studied and adapted to produce a concurrent . implementation. Here, several roadblocks...of a logic simulator - as a functional by-product. This study improves on an existing simulator called LOGSIM which was developed at the University of

  7. Impact of Government Benefit Programs Declines, Adds to Number of Poor Families.

    ERIC Educational Resources Information Center

    Center on Budget and Policy Priorities, Washington, DC.

    The paper summarizes the results of an analysis of recently issued Census data. Examining the anti-poverty effectiveness of cash and non-cash benefit programs from 1979 to 1986, the analysis focuses on the impacts of those programs on families with children, the group whose poverty rate has risen most rapidly since 1979. The data reveal that…

  8. Space station systems technology study (add-on task). Volume 3: Technology advancement program plan

    NASA Technical Reports Server (NTRS)

    1985-01-01

    Program plans are given for an integrating controller for space station autonomy as well as for controls and displays. The technical approach, facility requirements and candidate facilities, development schedules, and resource requirements estimates are given.

  9. Assessment of Evidence-based Management Training Program: Application of a Logic Model.

    PubMed

    Guo, Ruiling; Farnsworth, Tracy J; Hermanson, Patrick M

    2016-06-01

    The purposes of this study were to apply a logic model to plan and implement an evidence-based management (EBMgt) educational training program for healthcare administrators and to examine whether a logic model is a useful tool for evaluating the outcomes of the educational program. The logic model was used as a conceptual framework to guide the investigators in developing an EBMgt educational training program and evaluating the outcomes of the program. The major components of the logic model were constructed as inputs, outputs, and outcomes/impacts. The investigators delineated the logic model based on the results of the needs assessment survey. Two 3-hour training workshops were delivered to 30 participants. To assess the outcomes of the EBMgt educational program, pre- and post-tests and self-reflection surveys were conducted. The data were collected and analyzed descriptively and inferentially, using the IBM Statistical Package for the Social Sciences (SPSS) 22.0. A paired sample t-test was performed to compare the differences in participants' EBMgt knowledge and skills prior to and after the training. The assessment results showed that there was a statistically significant difference in participants' EBMgt knowledge and information searching skills before and after the training (p< 0.001). Participants' confidence in using the EBMgt approach for decision-making was significantly increased after the training workshops (p< 0.001). Eighty-three percent of participants indicated that the knowledge and skills they gained through the training program could be used for future management decision-making in their healthcare organizations. The overall evaluation results of the program were positive. It is suggested that the logic model is a useful tool for program planning, implementation, and evaluation, and it also improves the outcomes of the educational program.

  10. A computer program for the generation of logic networks from task chart data

    NASA Technical Reports Server (NTRS)

    Herbert, H. E.

    1980-01-01

    The Network Generation Program (NETGEN), which creates logic networks from task chart data is presented. NETGEN is written in CDC FORTRAN IV (Extended) and runs in a batch mode on the CDC 6000 and CYBER 170 series computers. Data is input via a two-card format and contains information regarding the specific tasks in a project. From this data, NETGEN constructs a logic network of related activities with each activity having unique predecessor and successor nodes, activity duration, descriptions, etc. NETGEN then prepares this data on two files that can be used in the Project Planning Analysis and Reporting System Batch Network Scheduling program and the EZPERT graphics program.

  11. How Young Children Learn to Program with Sensor, Action, and Logic Blocks

    ERIC Educational Resources Information Center

    Wyeth, Peta

    2008-01-01

    Electronic Blocks are a new programming environment designed specifically for children aged between 3 and 8 years. These physical, stackable blocks include sensor blocks, action blocks, and logic blocks. By connecting these blocks, children can program a wide variety of structures that interact with one another and the environment. Electronic…

  12. Logic Models: A Tool for Designing and Monitoring Program Evaluations. REL 2014-007

    ERIC Educational Resources Information Center

    Lawton, Brian; Brandon, Paul R.; Cicchinelli, Louis; Kekahio, Wendy

    2014-01-01

    introduction to logic models as a tool for designing program evaluations defines the major components of education programs--resources, activities, outputs, and short-, mid-, and long-term outcomes--and uses an example to demonstrate the relationships among them. This quick…

  13. Neurolinguistic Programming: Add It To Your Tool Chest of Interpretive Techniques.

    ERIC Educational Resources Information Center

    Parratt, Smitty

    1997-01-01

    Highlights the importance of using verbal and nonverbal neurolinguistic programming to maximize the potential of interactions between interpreters and the general public and to improve long-term interactions. Discusses the power of mirroring and representational systems. Contains 29 references. (JRH)

  14. A Different Kind of Language: Prolog, Programming in Logic.

    ERIC Educational Resources Information Center

    Cabrol, D.

    1986-01-01

    Prolog is one of the most successful "very high level languages." Describes this programming language (a product of artificial intelligence research) and attempts to show how it functions by using some short examples to illustrate its essential features. (JN)

  15. A Framework for Incorporating Abstraction Mechanisms into the Logic Programming Paradigm.

    DTIC Science & Technology

    1987-08-01

    flexibility is obtained. Modes have also been used to plan the evaluation of queries. [ Dembinski 85] de- scribes a scheme that exploits bi-valued mode... Dembinski 85] P. Dembinski and J. Maluszynski. And-parallelism with Intelligent Backtracking for Annotated Logic Programs. In Proceedings of the 1985

  16. Drawing Analogies between Logic Programming and Natural Language Argumentation Texts to Scaffold Learners' Understanding

    ERIC Educational Resources Information Center

    Ragonis, Noa; Shilo, Gila

    2014-01-01

    The paper presents a theoretical investigational study of the potential advantages that secondary school learners may gain from learning two different subjects, namely, logic programming within computer science studies and argumentation texts within linguistics studies. The study suggests drawing an analogy between the two subjects since they both…

  17. Development of a Logic Model to Guide Evaluations of the ASCA National Model for School Counseling Programs

    ERIC Educational Resources Information Center

    Martin, Ian; Carey, John

    2014-01-01

    A logic model was developed based on an analysis of the 2012 American School Counselor Association (ASCA) National Model in order to provide direction for program evaluation initiatives. The logic model identified three outcomes (increased student achievement/gap reduction, increased school counseling program resources, and systemic change and…

  18. MELD: A Logical Approach to Distributed and Parallel Programming

    DTIC Science & Technology

    2012-03-01

    extremely successful. A recent success story is the MapReduce programming model, which can be viewed as a somewhat more generalized version of the data...parallel model that is optimized for large scale clusters. In MapReduce , the data sharing and scheduling model is very simple: the computation for...models than MapReduce , but they do not allow the programmer to specify scheduling strategies or support formal proof techniques. Hellerstein’s group

  19. Structured approach in PLC (programmable logic controller) programming for water/wastewater applications.

    PubMed

    Keskar, P Y

    1990-01-01

    This paper describes a methodology for efficient implementation of PLC programming for water/wastewater applications. The PLC was interfaced with a supervisory host computer which used touch screen equipped color monitors as operator interfaces. PLC ladder logic had to be designed to process real-world hardwired I/O as well as the I/O received from the host computer and/or touch screens, via a communications link. Standard "templates" of PLC networks were developed for (a) pump controls including provision for touch screen I/O; (b) PID control; (c) alarms; (d) motor run times; (e) square root extraction; (f) signal conversion, and (g) flow totalization. All logic was implemented using the standard templates. This structured approach led to efficient implementation, easy debugging/start-up, and easy to read uniform ladder logic.

  20. Automatic Analysis of the Logical Structure of Programs,

    DTIC Science & Technology

    1978-12-01

    this program is discussed in much more detail in chapters VI and VII. 1 C PURPOSE 2 C INTEGRATES A FIRST ORDER DIFFERENTIAL EQUATION 3 C DY/DX=FUN(X.Y...discussed in chapters VI and VII. Richard C. Waters - 195 - A Mini Programmer’s Apprentice 1 C PURPOSE 2 C INTEGRATES A FIRST ORDER DIFFERENTIAL EQUATION 3 C...113]. Zilles [116] and Guttag (40] have developed a formal descriptive system, called a data algebra, for describing the behavior of a data

  1. FAQs Related to Response to Petition to Add Oil And Gas Extraction Sector to the TRI Program

    EPA Pesticide Factsheets

    Questions and answers related to EPA's response to a petition by the Environmental Integrity Project and 16 other organizations to add the Oil and Gas Extraction sector to the scope of industries subject to TRI reporting requirements.

  2. Decidable Order-Sorted Logic Programming for Ontologies and Rules with Argument Restructuring

    NASA Astrophysics Data System (ADS)

    Kaneiwa, Ken; Nguyen, Philip H. P.

    This paper presents a decidable fragment for combining ontologies and rules in order-sorted logic programming. We describe order-sorted logic programming with sort, predicate, and meta-predicate hierarchies for deriving predicate and meta-predicate assertions. Meta-level predicates (predicates of predicates) are useful for representing relationships between predicate formulas, and further, they conceptually yield a hierarchy similar to the hierarchies of sorts and predicates. By extending the order-sorted Horn-clause calculus, we develop a query-answering system that can answer queries such as atoms and meta-atoms generalized by containing predicate variables. We show that the expressive query-answering system computes every generalized query in single exponential time, i.e., the complexity of our query system is equal to that of DATALOG.

  3. Using fuzzy logic in test case prioritization for regression testing programs with assertions.

    PubMed

    Alakeel, Ali M

    2014-01-01

    Program assertions have been recognized as a supporting tool during software development, testing, and maintenance. Therefore, software developers place assertions within their code in positions that are considered to be error prone or that have the potential to lead to a software crash or failure. Similar to any other software, programs with assertions must be maintained. Depending on the type of modification applied to the modified program, assertions also might have to undergo some modifications. New assertions may also be introduced in the new version of the program, while some assertions can be kept the same. This paper presents a novel approach for test case prioritization during regression testing of programs that have assertions using fuzzy logic. The main objective of this approach is to prioritize the test cases according to their estimated potential in violating a given program assertion. To develop the proposed approach, we utilize fuzzy logic techniques to estimate the effectiveness of a given test case in violating an assertion based on the history of the test cases in previous testing operations. We have conducted a case study in which the proposed approach is applied to various programs, and the results are promising compared to untreated and randomly ordered test cases.

  4. Boolean network identification from perturbation time series data combining dynamics abstraction and logic programming.

    PubMed

    Ostrowski, M; Paulevé, L; Schaub, T; Siegel, A; Guziolowski, C

    2016-11-01

    Boolean networks (and more general logic models) are useful frameworks to study signal transduction across multiple pathways. Logic models can be learned from a prior knowledge network structure and multiplex phosphoproteomics data. However, most efficient and scalable training methods focus on the comparison of two time-points and assume that the system has reached an early steady state. In this paper, we generalize such a learning procedure to take into account the time series traces of phosphoproteomics data in order to discriminate Boolean networks according to their transient dynamics. To that end, we identify a necessary condition that must be satisfied by the dynamics of a Boolean network to be consistent with a discretized time series trace. Based on this condition, we use Answer Set Programming to compute an over-approximation of the set of Boolean networks which fit best with experimental data and provide the corresponding encodings. Combined with model-checking approaches, we end up with a global learning algorithm. Our approach is able to learn logic models with a true positive rate higher than 78% in two case studies of mammalian signaling networks; for a larger case study, our method provides optimal answers after 7min of computation. We quantified the gain in our method predictions precision compared to learning approaches based on static data. Finally, as an application, our method proposes erroneous time-points in the time series data with respect to the optimal learned logic models.

  5. The Father Friendly Initiative within Families: Using a logic model to develop program theory for a father support program.

    PubMed

    Gervais, Christine; de Montigny, Francine; Lacharité, Carl; Dubeau, Diane

    2015-10-01

    The transition to fatherhood, with its numerous challenges, has been well documented. Likewise, fathers' relationships with health and social services have also begun to be explored. Yet despite the problems fathers experience in interactions with healthcare services, few programs have been developed for them. To explain this, some authors point to the difficulty practitioners encounter in developing and structuring the theory of programs they are trying to create to promote and support father involvement (Savaya, R., & Waysman, M. (2005). Administration in Social Work, 29(2), 85), even when such theory is key to a program's effectiveness (Chen, H.-T. (2005). Practical program evaluation. Thousand Oaks, CA: Sage Publications). The objective of the present paper is to present a tool, the logic model, to bridge this gap and to equip practitioners for structuring program theory. This paper addresses two questions: (1) What would be a useful instrument for structuring the development of program theory in interventions for fathers? (2) How would the concepts of a father involvement program best be organized? The case of the Father Friendly Initiative within Families (FFIF) program is used to present and illustrate six simple steps for developing a logic model that are based on program theory and demonstrate its relevance.

  6. Satisfiability of logic programming based on radial basis function neural networks

    NASA Astrophysics Data System (ADS)

    Hamadneh, Nawaf; Sathasivam, Saratha; Tilahun, Surafel Luleseged; Choon, Ong Hong

    2014-07-01

    In this paper, we propose a new technique to test the Satisfiability of propositional logic programming and quantified Boolean formula problem in radial basis function neural networks. For this purpose, we built radial basis function neural networks to represent the proportional logic which has exactly three variables in each clause. We used the Prey-predator algorithm to calculate the output weights of the neural networks, while the K-means clustering algorithm is used to determine the hidden parameters (the centers and the widths). Mean of the sum squared error function is used to measure the activity of the two algorithms. We applied the developed technique with the recurrent radial basis function neural networks to represent the quantified Boolean formulas. The new technique can be applied to solve many applications such as electronic circuits and NP-complete problems.

  7. Satisfiability of logic programming based on radial basis function neural networks

    SciTech Connect

    Hamadneh, Nawaf; Sathasivam, Saratha; Tilahun, Surafel Luleseged; Choon, Ong Hong

    2014-07-10

    In this paper, we propose a new technique to test the Satisfiability of propositional logic programming and quantified Boolean formula problem in radial basis function neural networks. For this purpose, we built radial basis function neural networks to represent the proportional logic which has exactly three variables in each clause. We used the Prey-predator algorithm to calculate the output weights of the neural networks, while the K-means clustering algorithm is used to determine the hidden parameters (the centers and the widths). Mean of the sum squared error function is used to measure the activity of the two algorithms. We applied the developed technique with the recurrent radial basis function neural networks to represent the quantified Boolean formulas. The new technique can be applied to solve many applications such as electronic circuits and NP-complete problems.

  8. Exhaustively characterizing feasible logic models of a signaling network using Answer Set Programming

    PubMed Central

    Guziolowski, Carito; Videla, Santiago; Eduati, Federica; Thiele, Sven; Cokelaer, Thomas; Siegel, Anne; Saez-Rodriguez, Julio

    2013-01-01

    Motivation: Logic modeling is a useful tool to study signal transduction across multiple pathways. Logic models can be generated by training a network containing the prior knowledge to phospho-proteomics data. The training can be performed using stochastic optimization procedures, but these are unable to guarantee a global optima or to report the complete family of feasible models. This, however, is essential to provide precise insight in the mechanisms underlaying signal transduction and generate reliable predictions. Results: We propose the use of Answer Set Programming to explore exhaustively the space of feasible logic models. Toward this end, we have developed caspo, an open-source Python package that provides a powerful platform to learn and characterize logic models by leveraging the rich modeling language and solving technologies of Answer Set Programming. We illustrate the usefulness of caspo by revisiting a model of pro-growth and inflammatory pathways in liver cells. We show that, if experimental error is taken into account, there are thousands (11 700) of models compatible with the data. Despite the large number, we can extract structural features from the models, such as links that are always (or never) present or modules that appear in a mutual exclusive fashion. To further characterize this family of models, we investigate the input–output behavior of the models. We find 91 behaviors across the 11 700 models and we suggest new experiments to discriminate among them. Our results underscore the importance of characterizing in a global and exhaustive manner the family of feasible models, with important implications for experimental design. Availability: caspo is freely available for download (license GPLv3) and as a web service at http://caspo.genouest.org/. Supplementary information: Supplementary materials are available at Bioinformatics online. Contact: santiago.videla@irisa.fr PMID:23853063

  9. What is "the patient perspective" in patient engagement programs? Implicit logics and parallels to feminist theories.

    PubMed

    Rowland, Paula; McMillan, Sarah; McGillicuddy, Patti; Richards, Joy

    2017-01-01

    Public and patient involvement (PPI) in health care may refer to many different processes, ranging from participating in decision-making about one's own care to participating in health services research, health policy development, or organizational reforms. Across these many forms of public and patient involvement, the conceptual and theoretical underpinnings remain poorly articulated. Instead, most public and patient involvement programs rely on policy initiatives as their conceptual frameworks. This lack of conceptual clarity participates in dilemmas of program design, implementation, and evaluation. This study contributes to the development of theoretical understandings of public and patient involvement. In particular, we focus on the deployment of patient engagement programs within health service organizations. To develop a deeper understanding of the conceptual underpinnings of these programs, we examined the concept of "the patient perspective" as used by patient engagement practitioners and participants. Specifically, we focused on the way this phrase was used in the singular: "the" patient perspective or "the" patient voice. From qualitative analysis of interviews with 20 patient advisers and 6 staff members within a large urban health network in Canada, we argue that "the patient perspective" is referred to as a particular kind of situated knowledge, specifically an embodied knowledge of vulnerability. We draw parallels between this logic of patient perspective and the logic of early feminist theory, including the concepts of standpoint theory and strong objectivity. We suggest that champions of patient engagement may learn much from the way feminist theorists have constructed their arguments and addressed critique.

  10. Calculation of the exchange ratio for the Adaptive Maneuvering Logic program

    NASA Technical Reports Server (NTRS)

    Neuman, F.; Erzberger, H.

    1985-01-01

    Improvements were made to the Adaptive Maneuvering Logic (AML) computer program, a computer-generated, air-to-air combat opponent. The primary improvement was incorporating a measure of performance, the exchange ratio, defined as the statistical measure of number of enemy kills divided by number of friendly losses. This measure was used to test a new modification of the AML's combat tactics. When the new version of the AML competed against the old version, the new version won with an exchange ratio of 1.4.

  11. Application of a logic model to an evidence-based practice training program for speech-language pathologists and audiologists.

    PubMed

    Guo, Ruiling; Bain, Barbara A; Willer, Janene

    2011-01-01

    The purpose of this study was to present the application of a logic model in planning, implementing, and evaluating an evidence-based practice (EBP) training program for speech-language pathologists (SLPs) and audiologists. A logic model was used as a guide in developing the EBP training program. The program investigators delineated the core components of the logic model based on the results of a needs assessment survey of SLPs and audiologists as well as literature reviews. The major components of the logic model were constructed as inputs, activities, outputs, and outcomes/impacts. Statistical analysis using repeated measures ANOVA for the pre-test and post-test indicated that the participants increased their EBP knowledge, information searching skills, and confidence in using EBP in their clinical practice (p < 0.001). Five of the eight program objectives were met by having at least 75% of the participants achieve the objectives. The logic model is a useful tool for grant application and program planning, implementation, and evaluation.

  12. Inductive logic programming used to discover topological constraints in protein structures

    SciTech Connect

    King, R.D.; Sternberg, M.J.E.; Clark, A.; Shirazi, J.

    1994-12-31

    This paper describes the application of the Inductive Logic Programming (IILP) program GOLEM to the discovery of constraints in the packing of beta-sheets in alpha/beta proteins. These constraints (rules) have a role in understanding the protein folding problem. Constraints were learnt for four features of beta-sheet packing: the winding direction of two sequential strands, whether two consecutive strands pack parallel or anti-parallel, whether two strands pack adjacently, and whether a beta-strand is at an edge. Investigation of the learnt constraints revealed interesting patterns, some of which were previously known, others that were novel. Novel features include the discovery: that the relationship between pairs of sequential strands is in general one of decreasing size, and that more sequential pairs of strands wind in the direction out than the direction in. We conclude that machine learning has a useful place in molecular biology as a pattern discovery tool.

  13. Automatic Program Verification 4: Proof of Termination within a Weak Logic of Programs

    DTIC Science & Technology

    1975-10-01

    Here we give a simple application of the method of Virtual Programming which pertrr’s strong statements of termination (e.g. program A halts and Q is...the program is straightforward (and is not the "real" verification problem) this method of virtual programming presents an ^asy and natural way to

  14. THRESHOLD LOGIC IN ARTIFICIAL INTELLIGENCE

    DTIC Science & Technology

    COMPUTER LOGIC, ARTIFICIAL INTELLIGENCE , BIONICS, GEOMETRY, INPUT OUTPUT DEVICES, LINEAR PROGRAMMING, MATHEMATICAL LOGIC, MATHEMATICAL PREDICTION, NETWORKS, PATTERN RECOGNITION, PROBABILITY, SWITCHING CIRCUITS, SYNTHESIS

  15. Logic model use in developing a survey instrument for program evaluation: emergency preparedness summits for schools of nursing in Georgia.

    PubMed

    Torghele, Karen; Buyum, Arielle; Dubruiel, Nicole; Augustine, Jill; Houlihan, Catherine; Alperin, Melissa; Miner, Kathleen R

    2007-01-01

    The objective of this paper is to describe a method for using a logic model to guide program evaluation by detailing the steps used, providing diagrams that visually depict the process, and giving an example based on the evaluation of emergency preparedness nursing summits in Georgia. Developing a logic model is an ideal way to visually depict the inputs, activities, outputs, and outcomes of a program, thus providing a clear framework of the workings and functions of the program. In planning a comprehensive evaluation, being able to view all the elements in a program and how they interrelate makes it easier to determine the areas that should be addressed. When a survey is part of a program evaluation, determining that the goals, objectives, research questions, logic model, and survey questions maintain consistency in the way they relate and lead to each other can help document the completeness and symmetry of the assessment. By showing these linkages, the utility of the logic model is maximized and the stakeholders in the assessment of the program have clear evidence that their expectations and needs have been met for a valuable, useful evaluation product.

  16. An adaptive maneuvering logic computer program for the simulation of one-to-one air-to-air combat. Volume 2: Program description

    NASA Technical Reports Server (NTRS)

    Burgin, G. H.; Owens, A. J.

    1975-01-01

    A detailed description is presented of the computer programs in order to provide an understanding of the mathematical and geometrical relationships as implemented in the programs. The individual sbbroutines and their underlying mathematical relationships are described, and the required input data and the output provided by the program are explained. The relationship of the adaptive maneuvering logic program with the program to drive the differential maneuvering simulator is discussed.

  17. Challenge problems focusing on equality and combinatory logic: Evaluating automated theorem-proving programs

    SciTech Connect

    Wos, L.; McCune, W.

    1988-01-01

    In this paper, we offer a set of problems for evaluating the power of automated theorem-proving programs and the potential of new ideas. Since the problems published in the proceedings of the first CADE conference proved to be so useful, and since researchers are now far more disposed to implementing and testing their ideas, a new set of problems to complement those that have been widely studied is in order. In general, the new problems provide a far greater challenge for an automated theorem-proving program than those in the first set do. Indeed, to our knowledge, five of the six problems we propose for study have never been proved with a theorem-proving program. For each problem, we give a set of statements that can easily be translated into a standard set of clauses. We also state each problem in its mathematical and logical form. In many cases, we also provide a proof of the theorem from which a problem is taken so that one can measure a program's progress in its attempt to solve the problem. Two of the theorems we discuss are of especial interest in that they answer questions that had been open concerning the constructibility of two types of combinator. We also include a brief description of a new strategy for restricting the application of paramodulation. All of the problems we propose for study emphasize the role of equality. This paper is tutorial in nature.

  18. Use of a Microsoft Excel based add-in program to calculate plasma sinistrin clearance by a two-compartment model analysis in dogs.

    PubMed

    Steinbach, Sarah M L; Sturgess, Christopher P; Dunning, Mark D; Neiger, Reto

    2015-06-01

    Assessment of renal function by means of plasma clearance of a suitable marker has become standard procedure for estimation of glomerular filtration rate (GFR). Sinistrin, a polyfructan solely cleared by the kidney, is often used for this purpose. Pharmacokinetic modeling using adequate software is necessary to calculate disappearance rate and half-life of sinistrin. The purpose of this study was to describe the use of a Microsoft excel based add-in program to calculate plasma sinistrin clearance, as well as additional pharmacokinetic parameters such as transfer rates (k), half-life (t1/2) and volume of distribution (Vss) for sinistrin in dogs with varying degrees of renal function.

  19. Development of a logic model for a physical activity-based employee wellness program for mass transit workers.

    PubMed

    Das, Bhibha M; Petruzzello, Steven J; Ryan, Katherine E

    2014-07-17

    Transportation workers, who constitute a large sector of the workforce, have worksite factors that harm their health. Worksite wellness programs must target this at-risk population. Although physical activity is often a component of worksite wellness logic models, we consider it the cornerstone for improving the health of mass transit employees. Program theory was based on in-person interviews and focus groups of employees. We identified 4 short-term outcome categories, which provided a chain of responses based on the program activities that should lead to the desired end results. This logic model may have significant public health impact, because it can serve as a framework for other US mass transit districts and worksite populations that face similar barriers to wellness, including truck drivers, railroad employees, and pilots. The objective of this article is to discuss the development of a logic model for a physical activity-based mass-transit employee wellness program by describing the target population, program theory, the components of the logic model, and the process of its development.

  20. Using RUFDATA to guide a logic model for a quality assurance process in an undergraduate university program.

    PubMed

    Sherman, Paul David

    2016-04-01

    This article presents a framework to identify key mechanisms for developing a logic model blueprint that can be used for an impending comprehensive evaluation of an undergraduate degree program in a Canadian university. The evaluation is a requirement of a comprehensive quality assurance process mandated by the university. A modified RUFDATA (Saunders, 2000) evaluation model is applied as an initiating framework to assist in decision making to provide a guide for conceptualizing a logic model for the quality assurance process. This article will show how an educational evaluation is strengthened by employing a RUFDATA reflective process in exploring key elements of the evaluation process, and then translating this information into a logic model format that could serve to offer a more focussed pathway for the quality assurance activities. Using preliminary program evaluation data from two key stakeholders of the undergraduate program as well as an audit of the curriculum's course syllabi, a case is made for, (1) the importance of inclusivity of key stakeholders participation in the design of the evaluation process to enrich the authenticity and accuracy of program participants' feedback, and (2) the diversification of data collection methods to ensure that stakeholders' narrative feedback is given ample exposure. It is suggested that the modified RUFDATA/logic model framework be applied to all academic programs at the university undergoing the quality assurance process at the same time so that economies of scale may be realized.

  1. Fostering and Inspiring Research Engagement (FIRE): program logic of a research incubator scheme for allied health students.

    PubMed

    Ziviani, Jenny; Feeney, Rachel; Schabrun, Siobhan; Copland, David; Hodges, Paul

    2014-08-01

    The purpose of this study was to present the application of a logic model in depicting the underlying theory of an undergraduate research scheme for occupational therapy, physiotherapy, and speech pathology university students in Queensland, Australia. Data gathered from key written documents on the goals and intended operation of the research incubator scheme were used to create a draft (unverified) logic model. The major components of the logic model were inputs and resources, activities/outputs, and outcomes (immediate/learning, intermediate/action, and longer term/impacts). Although immediate and intermediate outcomes chiefly pertained to students' participation in honours programs, longer-term outcomes (impacts) concerned their subsequent participation in research higher-degree programs and engagement in research careers. Program logic provided an effective means of clarifying program objectives and the mechanisms by which the research incubator scheme was designed to achieve its intended outcomes. This model was developed as the basis for evaluation of the effectiveness of the scheme in achieving its stated goals.

  2. Logic Models in Out-of-School Time Programs: What Are They and Why Are They Important? Research-to-Results Brief. Publication #2007-01

    ERIC Educational Resources Information Center

    Hamilton, Jenny; Bronte-Tinkew, Jacinta

    2007-01-01

    A logic model, also called a conceptual model and theory-of-change model, is a visual representation of how a program is expected to "work." It relates resources, activities, and the intended changes or impacts that a program is expected to create. Typically, logic models are diagrams or flow charts with illustrations, text, and arrows that…

  3. Aquarius Project: Research in the System Architecture of Accelerators for the High Performance Execution of Logic Programs.

    DTIC Science & Technology

    1991-05-31

    University of California c/o Sponsored Projects Office University of California Berkeley, California 94720 Subcontractor: Electrical Engineering Systems...for the high perfor- mance execution of logic programs. It was conducted by the Electrical Engineering - Systems Department of the University of...program ( engine ) module, and a knowledge base. Each level accepts a specification in a formal specialized language and produces a more detailed and

  4. Prediction of rodent carcinogenicity bioassays from molecular structure using inductive logic programming.

    PubMed Central

    King, R D; Srinivasan, A

    1996-01-01

    The machine learning program Progol was applied to the problem of forming the structure-activity relationship (SAR) for a set of compounds tested for carcinogenicity in rodent bioassays by the U.S. National Toxicology Program (NTP). Progol is the first inductive logic programming (ILP) algorithm to use a fully relational method for describing chemical structure in SARs, based on using atoms and their bond connectivities. Progol is well suited to forming SARs for carcinogenicity as it is designed to produce easily understandable rules (structural alerts) for sets of noncongeneric compounds. The Progol SAR method was tested by prediction of a set of compounds that have been widely predicted by other SAR methods (the compounds used in the NTP's first round of carcinogenesis predictions). For these compounds no method (human or machine) was significantly more accurate than Progol. Progol was the most accurate method that did not use data from biological tests on rodents (however, the difference in accuracy is not significant). The Progol predictions were based solely on chemical structure and the results of tests for Salmonella mutagenicity. Using the full NTP database, the prediction accuracy of Progol was estimated to be 63% (+/- 3%) using 5-fold cross validation. A set of structural alerts for carcinogenesis was automatically generated and the chemical rationale for them investigated- these structural alerts are statistically independent of the Salmonella mutagenicity. Carcinogenicity is predicted for the compounds used in the NTP's second round of carcinogenesis predictions. The results for prediction of carcinogenesis, taken together with the previous successful applications of predicting mutagenicity in nitroaromatic compounds, and inhibition of angiogenesis by suramin analogues, show that Progol has a role to play in understanding the SARs of cancer-related compounds. PMID:8933051

  5. Public health program planning logic model for community engaged type 2 diabetes management and prevention.

    PubMed

    West, Joseph F

    2014-02-01

    Diabetes remains a growing epidemic with widening health inequity gaps in disease management, self-management knowledge, access to care and outcomes. Yet there is a paucity of evaluation tools for community engaged interventions aimed at closing the gaps and improving health. The Guide to Community Preventive Services (the Community Guide) developed by the Task Force on Community Preventive Services (the Task Force) at the Centers for Disease Control and Prevention (CDC) recommends two healthcare system level interventions, case management interventions and disease management programs, to improve glycemic control. However, as a public health resource guide for diabetes interventions a model for community engagement is a glaringly absent component of the Community Guide recommendations. In large part there are few evidence-based interventions featuring community engagement as a practice and system-level focus of chronic disease and Type 2 diabetes management. The central argument presented in this paper is that the absence of these types of interventions is due to the lack of tools for modeling and evaluating such interventions, especially among disparate and poor populations. A conceptual model emphasizing action-oriented micro-level community engagement is needed to complement the Community Guide and serve as the basis for testing and evaluation of these kinds of interventions. A unique logic model advancing the Community Guide diabetes recommendations toward measureable and sustainable community engagement for improved Type 2 diabetes outcomes is presented.

  6. Logic programming to predict cell fate patterns and retrodict genotypes in organogenesis

    PubMed Central

    Hall, Benjamin A.; Jackson, Ethan; Hajnal, Alex; Fisher, Jasmin

    2014-01-01

    Caenorhabditis elegans vulval development is a paradigm system for understanding cell differentiation in the process of organogenesis. Through temporal and spatial controls, the fate pattern of six cells is determined by the competition of the LET-23 and the Notch signalling pathways. Modelling cell fate determination in vulval development using state-based models, coupled with formal analysis techniques, has been established as a powerful approach in predicting the outcome of combinations of mutations. However, computing the outcomes of complex and highly concurrent models can become prohibitive. Here, we show how logic programs derived from state machines describing the differentiation of C. elegans vulval precursor cells can increase the speed of prediction by four orders of magnitude relative to previous approaches. Moreover, this increase in speed allows us to infer, or ‘retrodict’, compatible genomes from cell fate patterns. We exploit this technique to predict highly variable cell fate patterns resulting from dig-1 reduced-function mutations and let-23 mosaics. In addition to the new insights offered, we propose our technique as a platform for aiding the design and analysis of experimental data. PMID:24966232

  7. Logic programming to predict cell fate patterns and retrodict genotypes in organogenesis.

    PubMed

    Hall, Benjamin A; Jackson, Ethan; Hajnal, Alex; Fisher, Jasmin

    2014-09-06

    Caenorhabditis elegans vulval development is a paradigm system for understanding cell differentiation in the process of organogenesis. Through temporal and spatial controls, the fate pattern of six cells is determined by the competition of the LET-23 and the Notch signalling pathways. Modelling cell fate determination in vulval development using state-based models, coupled with formal analysis techniques, has been established as a powerful approach in predicting the outcome of combinations of mutations. However, computing the outcomes of complex and highly concurrent models can become prohibitive. Here, we show how logic programs derived from state machines describing the differentiation of C. elegans vulval precursor cells can increase the speed of prediction by four orders of magnitude relative to previous approaches. Moreover, this increase in speed allows us to infer, or 'retrodict', compatible genomes from cell fate patterns. We exploit this technique to predict highly variable cell fate patterns resulting from dig-1 reduced-function mutations and let-23 mosaics. In addition to the new insights offered, we propose our technique as a platform for aiding the design and analysis of experimental data.

  8. Discovering rules for protein-ligand specificity using support vector inductive logic programming.

    PubMed

    Kelley, Lawrence A; Shrimpton, Paul J; Muggleton, Stephen H; Sternberg, Michael J E

    2009-09-01

    Structural genomics initiatives are rapidly generating vast numbers of protein structures. Comparative modelling is also capable of producing accurate structural models for many protein sequences. However, for many of the known structures, functions are not yet determined, and in many modelling tasks, an accurate structural model does not necessarily tell us about function. Thus, there is a pressing need for high-throughput methods for determining function from structure. The spatial arrangement of key amino acids in a folded protein, on the surface or buried in clefts, is often the determinants of its biological function. A central aim of molecular biology is to understand the relationship between such substructures or surfaces and biological function, leading both to function prediction and to function design. We present a new general method for discovering the features of binding pockets that confer specificity for particular ligands. Using a recently developed machine-learning technique which couples the rule-discovery approach of inductive logic programming with the statistical learning power of support vector machines, we are able to discriminate, with high precision (90%) and recall (86%) between pockets that bind FAD and those that bind NAD on a large benchmark set given only the geometry and composition of the backbone of the binding pocket without the use of docking. In addition, we learn rules governing this specificity which can feed into protein functional design protocols. An analysis of the rules found suggests that key features of the binding pocket may be tied to conformational freedom in the ligand. The representation is sufficiently general to be applicable to any discriminatory binding problem. All programs and data sets are freely available to non-commercial users at http://www.sbg.bio.ic.ac.uk/svilp_ligand/.

  9. Flight Design System-1 System Design Document. Volume 9: Executive logic flow, program design language

    NASA Technical Reports Server (NTRS)

    1979-01-01

    The detailed logic flow for the Flight Design System Executive is presented. The system is designed to provide the hardware/software capability required for operational support of shuttle flight planning.

  10. An adaptive maneuvering logic computer program for the simulation of one-on-one air-to-air combat. Volume 1: General description

    NASA Technical Reports Server (NTRS)

    Burgin, G. H.; Fogel, L. J.; Phelps, J. P.

    1975-01-01

    A technique for computer simulation of air combat is described. Volume 1 decribes the computer program and its development in general terms. Two versions of the program exist. Both incorporate a logic for selecting and executing air combat maneuvers with performance models of specific fighter aircraft. In the batch processing version the flight paths of two aircraft engaged in interactive aerial combat and controlled by the same logic are computed. The realtime version permits human pilots to fly air-to-air combat against the adaptive maneuvering logic (AML) in Langley Differential Maneuvering Simulator (DMS). Volume 2 consists of a detailed description of the computer programs.

  11. Distributed Logics

    DTIC Science & Technology

    2014-10-03

    introduce distributed logics. Distributed logics lift the distribution structure of a distributed system directly into the logic, thereby parameterizing...the logic by the distribution structure itself. Each domain supports a “local modal logic.” The connections between domains are realized as...There are also multi- agent logic systems [12]. What distinguishes distributed logics from these are that the morphisms, i.e., the nbd maps, have

  12. 76 FR 49508 - ``Add Us In'' Initiative

    Federal Register 2010, 2011, 2012, 2013, 2014

    2011-08-10

    ... From the Federal Register Online via the Government Publishing Office DEPARTMENT OF LABOR Office of Disability Employment Program ``Add Us In'' Initiative AGENCY: Office of Disability Employment Policy, Department of Labor. ACTION: Correction to the Funding Opportunity Number and Closing...

  13. Coping with Logical Fallacies: A Developmental Training Program for Learning to Reason

    ERIC Educational Resources Information Center

    Christoforides, Michael; Spanoudis, George; Demetriou, Andreas

    2016-01-01

    This study trained children to master logical fallacies and examined how learning is related to processing efficiency and fluid intelligence (gf). A total of one hundred and eighty 8- and 11-year-old children living in Cyprus were allocated to a control, a limited (LI), and a full instruction (FI) group. The LI group learned the notion of logical…

  14. A DNAzyme-mediated logic gate for programming molecular capture and release on DNA origami.

    PubMed

    Li, Feiran; Chen, Haorong; Pan, Jing; Cha, Tae-Gon; Medintz, Igor L; Choi, Jong Hyun

    2016-06-28

    Here we design a DNA origami-based site-specific molecular capture and release platform operated by a DNAzyme-mediated logic gate process. We show the programmability and versatility of this platform with small molecules, proteins, and nanoparticles, which may also be controlled by external light signals.

  15. Log(F): An Optimal Combination of Logic Programming, Rewriting, and Lazy Evaluation

    DTIC Science & Technology

    1988-04-01

    References conference on automated deduction. Frege , G. [ 1879]. Begriffsschrift. A formula language, modelled upon that of arithmetic, for pure thought...In From Frege to Goedel: A source book in mathematical logic, 1879- 1931. Harvard University Press, Cambridge, MA. Fribourg, L. [1984]. Oriented

  16. Fuzzy Logic Engine

    NASA Technical Reports Server (NTRS)

    Howard, Ayanna

    2005-01-01

    The Fuzzy Logic Engine is a software package that enables users to embed fuzzy-logic modules into their application programs. Fuzzy logic is useful as a means of formulating human expert knowledge and translating it into software to solve problems. Fuzzy logic provides flexibility for modeling relationships between input and output information and is distinguished by its robustness with respect to noise and variations in system parameters. In addition, linguistic fuzzy sets and conditional statements allow systems to make decisions based on imprecise and incomplete information. The user of the Fuzzy Logic Engine need not be an expert in fuzzy logic: it suffices to have a basic understanding of how linguistic rules can be applied to the user's problem. The Fuzzy Logic Engine is divided into two modules: (1) a graphical-interface software tool for creating linguistic fuzzy sets and conditional statements and (2) a fuzzy-logic software library for embedding fuzzy processing capability into current application programs. The graphical- interface tool was developed using the Tcl/Tk programming language. The fuzzy-logic software library was written in the C programming language.

  17. The Role of PROLOG (PROgramming and LOGic) in Natural Language Processing.

    DTIC Science & Technology

    1988-03-01

    14 5. Bottom Up Parser (BUP) ... ......... . 19 6. Modular Logic Grammars (MLG) ........ . 22 7. Zen, Haiku and PROLOG...Both of these are welcome extensions to the Chat methodology. - 23 - CHAPTER 7 Zen, Haiku and PROLOG The intent of this chapter is two fold. First, the...34cut away the superfluous and what is left is reality". A realization of the spirit of Zen can be found in haiku . Haiku are short poems that strive for

  18. Sandia ATM SONET Interface Logic

    SciTech Connect

    Kitta, Joseph P.

    1994-07-21

    SASIL is used to program the EPLD's (Erasable Programmable Logic Devices) and PAL's (Programmable Array Logic) that make up a large percentage of the Sandia ATM SONET Interface (OC3 version) for the INTEL Paragon.

  19. Computerized logic design of digital circuits

    NASA Technical Reports Server (NTRS)

    Gussow, S.; Oglesby, R.

    1974-01-01

    Procedure performs all work required for logic design of digital counters or sequential circuits and simplification of Boolean expressions. Program provides simple, accurate, and comprehensive logic design capability to users both experienced and totally inexperienced in logic design

  20. The Effect of Scratch- and Lego Mindstorms Ev3-Based Programming Activities on Academic Achievement, Problem-Solving Skills and Logical-Mathematical Thinking Skills of Students

    ERIC Educational Resources Information Center

    Korkmaz, Özgen

    2016-01-01

    The aim of this study was to investigate the effect of the Scratch and Lego Mindstorms Ev3 programming activities on academic achievement with respect to computer programming, and on the problem-solving and logical-mathematical thinking skills of students. This study was a semi-experimental, pretest-posttest study with two experimental groups and…

  1. Purposeful Program Theory: Effective Use of Theories of Change and Logic Models

    ERIC Educational Resources Information Center

    Funnell, Sue C.; Rogers, Patricia J.

    2011-01-01

    Between good intentions and great results lies a program theory--not just a list of tasks but a vision of what needs to happen, and how. Now widely used in government and not-for-profit organizations, program theory provides a coherent picture of how change occurs and how to improve performance. "Purposeful Program Theory" shows how to develop,…

  2. ADD: How Does It Add Up in the Classroom?

    ERIC Educational Resources Information Center

    Sumpter, R. David; Kidd, Libby

    1998-01-01

    Gives a short history of attention-deficit disorder (ADD), describes characteristics of ADD, discusses a four-step plan for identification of ADD, and presents four types of management techniques: medical, environmental, classroom activity, and behavioral management. Stresses importance of cooperation and communication among teacher, parent, and…

  3. When Is a Program Ready for Rigorous Impact Evaluation? The Role of a Falsifiable Logic Model

    ERIC Educational Resources Information Center

    Epstein, Diana; Klerman, Jacob Alex

    2012-01-01

    Background: Recent reviews suggest that many plausible programs are found to have at best small impacts not commensurate with their cost, and often have no detectable positive impacts at all. Even programs with initial rigorous impact evaluation (RIE) that show them to be effective often fail a second test with an expanded population or at…

  4. The Logic of Evaluation.

    ERIC Educational Resources Information Center

    Welty, Gordon A.

    The logic of the evaluation of educational and other action programs is discussed from a methodological viewpoint. However, no attempt is made to develop methods of evaluating programs. In Part I, the structure of an educational program is viewed as a system with three components--inputs, transformation of inputs into outputs, and outputs. Part II…

  5. Computerized logic design of digital circuits

    NASA Technical Reports Server (NTRS)

    Sussow, S.; Oglesby, R.

    1973-01-01

    This manual presents a computer program that performs all the work required for the logic design of digital counters or sequential circuits and the simplification of Boolean logic expressions. The program provides both the experienced and inexperienced logic designer with a comprehensive logic design capability. The manual contains Boolean simplification and sequential design theory, detailed instructions for use of the program, a large number of illustrative design examples, and complete program documentation.

  6. On the Run-Time Optimization of the Boolean Logic of a Program.

    ERIC Educational Resources Information Center

    Cadolino, C.; Guazzo, M.

    1982-01-01

    Considers problem of optimal scheduling of Boolean expression (each Boolean variable represents binary outcome of program module) on single-processor system. Optimization discussed consists of finding operand arrangement that minimizes average execution costs representing consumption of resources (elapsed time, main memory, number of…

  7. Dispositional logic

    NASA Technical Reports Server (NTRS)

    Le Balleur, J. C.

    1988-01-01

    The applicability of conventional mathematical analysis (based on the combination of two-valued logic and probability theory) to problems in which human judgment, perception, or emotions play significant roles is considered theoretically. It is shown that dispositional logic, a branch of fuzzy logic, has particular relevance to the common-sense reasoning typical of human decision-making. The concepts of dispositionality and usuality are defined analytically, and a dispositional conjunctive rule and dispositional modus ponens are derived.

  8. Improving the human readability of Arden Syntax medical logic modules using a concept-oriented terminology and object-oriented programming expressions.

    PubMed

    Choi, Jeeyae; Bakken, Suzanne; Lussier, Yves A; Mendonça, Eneida A

    2006-01-01

    Medical logic modules are a procedural representation for sharing task-specific knowledge for decision support systems. Based on the premise that clinicians may perceive object-oriented expressions as easier to read than procedural rules in Arden Syntax-based medical logic modules, we developed a method for improving the readability of medical logic modules. Two approaches were applied: exploiting the concept-oriented features of the Medical Entities Dictionary and building an executable Java program to replace Arden Syntax procedural expressions. The usability evaluation showed that 66% of participants successfully mapped all Arden Syntax rules to Java methods. These findings suggest that these approaches can play an essential role in the creation of human readable medical logic modules and can potentially increase the number of clinical experts who are able to participate in the creation of medical logic modules. Although our approaches are broadly applicable, we specifically discuss the relevance to concept-oriented nursing terminologies and automated processing of task-specific nursing knowledge.

  9. Constructing a logical, regular axis topology from an irregular topology

    DOEpatents

    Faraj, Daniel A.

    2014-07-01

    Constructing a logical regular topology from an irregular topology including, for each axial dimension and recursively, for each compute node in a subcommunicator until returning to a first node: adding to a logical line of the axial dimension a neighbor specified in a nearest neighbor list; calling the added compute node; determining, by the called node, whether any neighbor in the node's nearest neighbor list is available to add to the logical line; if a neighbor in the called compute node's nearest neighbor list is available to add to the logical line, adding, by the called compute node to the logical line, any neighbor in the called compute node's nearest neighbor list for the axial dimension not already added to the logical line; and, if no neighbor in the called compute node's nearest neighbor list is available to add to the logical line, returning to the calling compute node.

  10. Constructing a logical, regular axis topology from an irregular topology

    DOEpatents

    Faraj, Daniel A.

    2014-07-22

    Constructing a logical regular topology from an irregular topology including, for each axial dimension and recursively, for each compute node in a subcommunicator until returning to a first node: adding to a logical line of the axial dimension a neighbor specified in a nearest neighbor list; calling the added compute node; determining, by the called node, whether any neighbor in the node's nearest neighbor list is available to add to the logical line; if a neighbor in the called compute node's nearest neighbor list is available to add to the logical line, adding, by the called compute node to the logical line, any neighbor in the called compute node's nearest neighbor list for the axial dimension not already added to the logical line; and, if no neighbor in the called compute node's nearest neighbor list is available to add to the logical line, returning to the calling compute node.

  11. Parallel logic programming and parallel systems software and hardware. Progress report (Final), 1 April 1988-31 March 1989

    SciTech Connect

    Minker, J.

    1989-07-29

    This progress report summarizes work performed under AFOSR-88-0152 on parallel logic programming, problem solving, and deductive data bases. A parallel problem-solving system, PRISM (Parallel Inference System), that was implemented on McMOB was ported to the BBN Butterfly machine. Two versions of PRISM were developed and are operational on the Butterfly: a message-passing ring-structure system and a shared-memory system. Experimental testing of PRISM on McMOB continued, while experiments were also conducted on the Butterfly systems. Three enhancements were made and completed during the grant period. These are: a capability to handle negated queries and a capability to assert and retract statements. In addition to the above, work continued in the area of informative answers to queries in deductive data bases. A thesis was completed on the subject. An interpreter was developed and is running, that can take restricted natural language as input and can respond with a cooperative natural language output. In the area of parallel software development, the following were accomplished. Theoretical work on slicing/splicing was completed. Tools were provided for software development using artificial-intelligence techniques. AI software for massively parallel architectures was started.

  12. ADD: Does It Really Exist?

    ERIC Educational Resources Information Center

    Armstrong, Thomas

    1996-01-01

    Questions the existence of attention deficit disorder (ADD), a commonly diagnosed "disease" based on behavioral characteristics. There may be no medical or physiological basis for ADD. The National Association of School Psychologists deplores labeling children and creating categories of exclusion. Instead, educators should respond to individual…

  13. SASIL. Sandia ATM SONET Interface Logic

    SciTech Connect

    Kitta, J P

    1994-07-01

    SASIL is used to program the EPLD`s (Erasable Programmable Logic Devices) and PAL`s (Programmable Array Logic) that make up a large percentage of the Sandia ATM SONET Interface (OC3 version) for the INTEL Paragon.

  14. Parallel Logic Programming Architecture

    DTIC Science & Technology

    1990-04-01

    cooperation in distributed problem solving. IEEE Transactions on Systems, Man, and Cybernetics, SMC-l(1), 61-70. 33. Tanenbaum, A. S. (1988). Structured ... Computer Organization, Englewood Cliffs, NJ: Prentice-Hall. 34. Tanenbaum, A. S. (1988). Computer Networks. Englewood Cliffs, NJ: Prentice-Hall. 35

  15. Simulated Laboratory in Digital Logic.

    ERIC Educational Resources Information Center

    Cleaver, Thomas G.

    Design of computer circuits used to be a pencil and paper task followed by laboratory tests, but logic circuit design can now be done in half the time as the engineer accesses a program which simulates the behavior of real digital circuits, and does all the wiring and testing on his computer screen. A simulated laboratory in digital logic has been…

  16. Programmable Logic Controllers. Teacher Edition.

    ERIC Educational Resources Information Center

    Rauh, Bob; Kaltwasser, Stan

    These materials were developed for a seven-unit secondary or postsecondary education course on programmable logic controllers (PLCs) that treats most of the skills needed to work effectively with PLCs as programming skills. The seven units of the course cover the following topics: fundamentals of programmable logic controllers; contracts, timers,…

  17. Optimal operating rules definition in complex water resource systems combining fuzzy logic, expert criteria and stochastic programming

    NASA Astrophysics Data System (ADS)

    Macian-Sorribes, Hector; Pulido-Velazquez, Manuel

    2016-04-01

    This contribution presents a methodology for defining optimal seasonal operating rules in multireservoir systems coupling expert criteria and stochastic optimization. Both sources of information are combined using fuzzy logic. The structure of the operating rules is defined based on expert criteria, via a joint expert-technician framework consisting in a series of meetings, workshops and surveys carried out between reservoir managers and modelers. As a result, the decision-making process used by managers can be assessed and expressed using fuzzy logic: fuzzy rule-based systems are employed to represent the operating rules and fuzzy regression procedures are used for forecasting future inflows. Once done that, a stochastic optimization algorithm can be used to define optimal decisions and transform them into fuzzy rules. Finally, the optimal fuzzy rules and the inflow prediction scheme are combined into a Decision Support System for making seasonal forecasts and simulate the effect of different alternatives in response to the initial system state and the foreseen inflows. The approach presented has been applied to the Jucar River Basin (Spain). Reservoir managers explained how the system is operated, taking into account the reservoirs' states at the beginning of the irrigation season and the inflows previewed during that season. According to the information given by them, the Jucar River Basin operating policies were expressed via two fuzzy rule-based (FRB) systems that estimate the amount of water to be allocated to the users and how the reservoir storages should be balanced to guarantee those deliveries. A stochastic optimization model using Stochastic Dual Dynamic Programming (SDDP) was developed to define optimal decisions, which are transformed into optimal operating rules embedding them into the two FRBs previously created. As a benchmark, historical records are used to develop alternative operating rules. A fuzzy linear regression procedure was employed to

  18. Logic synthesis from DDL description

    NASA Technical Reports Server (NTRS)

    Shiva, S. G.

    1980-01-01

    The implementation of DDLTRN and DDLSIM programs on SEL-2 computer system is reported. These programs were tested with DDL descriptions of various complexity. An algorithm to synthesize the combinational logic using the cells available in the standard IC cell library was formulated. The algorithm is implemented as a FORTRAN program and a description of the program is given.

  19. Programming the quorum sensing-based AND gate in Shewanella oneidensis for logic gated-microbial fuel cells.

    PubMed

    Hu, Yidan; Yang, Yun; Katz, Evgeny; Song, Hao

    2015-03-11

    An AND logic gate based on a synthetic quorum-sensing (QS) module was constructed in a Shewanella oneidensis MR-1 mtrA knockout mutant. The presence of two input signals activated the expression of a periplasmic decaheme cytochrome MtrA to regenerate the extracellular electron transfer conduit, enabling the construction of AND-gated microbial fuel cells.

  20. Diagnosable structured logic array

    NASA Technical Reports Server (NTRS)

    Whitaker, Sterling (Inventor); Miles, Lowell (Inventor); Gambles, Jody (Inventor); Maki, Gary K. (Inventor)

    2009-01-01

    A diagnosable structured logic array and associated process is provided. A base cell structure is provided comprising a logic unit comprising a plurality of input nodes, a plurality of selection nodes, and an output node, a plurality of switches coupled to the selection nodes, where the switches comprises a plurality of input lines, a selection line and an output line, a memory cell coupled to the output node, and a test address bus and a program control bus coupled to the plurality of input lines and the selection line of the plurality of switches. A state on each of the plurality of input nodes is verifiably loaded and read from the memory cell. A trusted memory block is provided. The associated process is provided for testing and verifying a plurality of truth table inputs of the logic unit.

  1. Fuzzy logic

    NASA Technical Reports Server (NTRS)

    Zadeh, Lofti A.

    1988-01-01

    The author presents a condensed exposition of some basic ideas underlying fuzzy logic and describes some representative applications. The discussion covers basic principles; meaning representation and inference; basic rules of inference; and the linguistic variable and its application to fuzzy control.

  2. Logic, Probability, and Human Reasoning

    DTIC Science & Technology

    2015-01-01

    logics developed in artificial intelligence, which allow conclusions to be withdrawn [38–42]. Second, conditional assertions (e.g., ‘If she insulted him...N. (2014) Probabilistic single function dual process theory and logic programming as approaches to non- monotonicity in human vs artificial reasoning...How can we solve this crisis? Leibniz dreamed of a calculus that settles any argument. Can cognitive scientists devise such a system? Feature

  3. The Source for ADD/ADHD: Attention Deficit Disorder and Attention Deficit/Hyperactivity Disorder.

    ERIC Educational Resources Information Center

    Richard, Gail J.; Russell, Joy L.

    This book is intended for professionals who are responsible for designing and implementing educational programs for children with attention deficit disorders and attention deficit/hyperactivity disorder (ADD/ADHD). Chapters address: (1) myths and realities about ADD/ADHD; (2) definitions, disorders associated with ADD/ADHD, and federal educational…

  4. Abduction? Deduction? Induction? Is There a Logic of Exploratory Data Analysis?

    ERIC Educational Resources Information Center

    Yu, Chong Ho

    The philosophical notions introduced by Charles Sanders Peirce (1839-1914) are helpful for researchers in understanding the nature of knowledge and reality. In the Peircean logical system, the logic of abduction and deduction contribute to our conceptual understanding of a phenomenon, while the logic of induction adds quantitative details to the…

  5. Add/Compare/Select Circuit For Rapid Decoding

    NASA Technical Reports Server (NTRS)

    Budinger, James M.; Becker, Neal D.; Johnson, Peter N.

    1993-01-01

    Prototype decoding system operates at 200 Mb/s. ACS (add/compare/select) gate array is highly integrated emitter-coupled-logic circuit implementing arithmetic operations essential to Viterbi decoding of convolutionally encoded data signals. Principal advantage of circuit is speed. Operates as single unit performing eight additions and finds minimum of eight sums, or operates as two independent units, each performing four additions and finding minimum of four sums. Flexibility enables application to variety of different codes. Includes built-in self-testing circuitry, enabling unit to be tested at full speed with help of only simple test fixture.

  6. Attention Deficit Disorder (ADD). Digest #445.

    ERIC Educational Resources Information Center

    Scott, Mary E.

    The term "attention deficit disorder" (ADD) is defined, criteria used by the American Psychiatric Association in diagnosing ADD are listed, and possible causes noted. Remediation needs of children with ADD include attention skills, self-esteem, and social skills. Early diagnosis is important, and teachers and parents need to identify…

  7. Aptamer-controlled biofuel cells in logic systems and used as self-powered and intelligent logic aptasensors.

    PubMed

    Zhou, Ming; Du, Yan; Chen, Chaogui; Li, Bingling; Wen, Dan; Dong, Shaojun; Wang, Erkang

    2010-02-24

    This communication demonstrates for the first time the controlled power release of biofuel cells (BFCs) by aptamer logic systems processed according to the Boolean logic operations "programmed" into the biocomputing systems. On the basis of the built-in Boolean NAND logic, the fabricated aptamer-based BFCs logically controlled by biochemical signals enabled us to construct self-powered and intelligent logic aptasensors that can determine whether the two specific targets are both present in a sample.

  8. Using a logic model to evaluate the Kids Together early education inclusion program for children with disabilities and additional needs.

    PubMed

    Clapham, Kathleen; Manning, Claire; Williams, Kathryn; O'Brien, Ginger; Sutherland, Margaret

    2017-04-01

    Despite clear evidence that learning and social opportunities for children with disabilities and special needs are more effective in inclusive not segregated settings, there are few known effective inclusion programs available to children with disabilities, their families or teachers in the early years within Australia. The Kids Together program was developed to support children with disabilities/additional needs aged 0-8 years attending mainstream early learning environments. Using a key worker transdisciplinary team model, the program aligns with the individualised package approach of the National Disability Insurance Scheme (NDIS).

  9. General Logics

    DTIC Science & Technology

    1989-01-01

    and Func- tional Programming. Pitman, London, 1986. [14] Valeria C.V. de Paiva. The Dialectica Categories. PhD thesis, Mathematics Department...Columbia University. [461 F.W. Lawvere. Adjointness in foundations. Dialectica , 23(3/4):281-296, 1969. [471 Saunders MacLane. Categories for the

  10. Logic Design Pathology and Space Flight Electronics

    NASA Technical Reports Server (NTRS)

    Katz, Richard B.; Barto, Rod L.; Erickson, Ken

    1999-01-01

    This paper presents a look at logic design from early in the US Space Program and examines faults in recent logic designs. Most examples are based on flight hardware failures and analysis of new tools and techniques. The paper is presented in viewgraph form.

  11. Minuteman Weapon System Test Set logic replacement

    NASA Astrophysics Data System (ADS)

    Royse, S. D.

    In the late 1960s, the Minuteman Weapon System Test Set was constructed as a part of the Minuteman development program. The missile Reentry Vehicle is that portion of the Minuteman missile system which reenters the atmosphere with the nuclear warhead. The test set has the objective to test the electrical/electro-mechanical systems and components of the reentry vehicle at both the repair depot and missile maintenance squadron levels. With the recent advances in semiconductor technologies, the Diode Transistor Logic (DTL) technology used to implement the test set logic became obsolete. The present paper is concerned with efforts to develop a prototype replacement for the test set logic. Attention is given to the functions of the test set, the documentation of existing logic, and the prototype design approach, which involves the subdivision of the logic into three basic functional groups. The logic replacement is based on the utilization of a multiple microprocessor system.

  12. U.S. EPA Proposes to Add California Mine Site to Superfunds National Priorities List

    EPA Pesticide Factsheets

    SAN FRANCISCO - The U.S. Environmental Protection Agency is proposing to add eight hazardous waste sites to the Superfund program's National Priorities List (NPL), including California's Argonaut Mine. Superfund is the federal program that investiga

  13. A new approach for investigating protein flexibility based on Constraint Logic Programming. The first application in the case of the estrogen receptor.

    PubMed

    Dal Palú, Alessandro; Spyrakis, Francesca; Cozzini, Pietro

    2012-03-01

    We describe the potential of a novel method, based on Constraint Logic Programming (CLP), developed for an exhaustive sampling of protein conformational space. The CLP framework proposed here has been tested and applied to the estrogen receptor, whose activity and function is strictly related to its intrinsic, and well known, dynamics. We have investigated in particular the flexibility of H12, focusing on the pathways followed by the helix when moving from one stable crystallographic conformation to the others. Millions of geometrically feasible conformations were generated, selected and the traces connecting the different forms were determined by using a shortest path algorithm. The preliminary analyses showed a marked agreement between the crystallographic agonist-like, antagonist-like and hypothetical apo forms, and the corresponding conformations identified by the CLP framework. These promising results, together with the short computational time required to perform the analyses, make this constraint-based approach a valuable tool for the study of protein folding prediction. The CLP framework enables one to consider various structural and energetic scenarious, without changing the core algorithm. To show the feasibility of the method, we intentionally choose a pure geometric setting, neglecting the energetic evaluation of the poses, in order to be independent from a specific force field and to provide the possibility of comparing different behaviours associated with various energy models.

  14. Inviting Calm Within: ADD, Neurology, and Mindfulness

    ERIC Educational Resources Information Center

    Riner, Phillip S.; Tanase, Madalina

    2014-01-01

    The fourth edition of the "Diagnostic and Statistical Manual of Mental Disorders" ("DSM IV") describes ADD as behaviorally observed impairments in attention, impulsivity, and hyperactivity. Officially known as AD/HD, we use ADD here because we are dealing primarily with attention, organizational, and impulsivity issues. A more…

  15. ADD: Acronym for Any Dysfunction or Difficulty.

    ERIC Educational Resources Information Center

    Goodman, Gay; Poillion, Mary Jo

    1992-01-01

    Review of 48 articles and books on attention deficit disorder (ADD) found a total of 69 characteristics and 38 causes cited, evidencing no clearcut pattern for identifying the condition and little agreement for what causes ADD. The label appears to have limited value for communication, planning, decision making, or research efforts. (Author/DB)

  16. Fuzzy logic controller optimization

    DOEpatents

    Sepe, Jr., Raymond B; Miller, John Michael

    2004-03-23

    A method is provided for optimizing a rotating induction machine system fuzzy logic controller. The fuzzy logic controller has at least one input and at least one output. Each input accepts a machine system operating parameter. Each output produces at least one machine system control parameter. The fuzzy logic controller generates each output based on at least one input and on fuzzy logic decision parameters. Optimization begins by obtaining a set of data relating each control parameter to at least one operating parameter for each machine operating region. A model is constructed for each machine operating region based on the machine operating region data obtained. The fuzzy logic controller is simulated with at least one created model in a feedback loop from a fuzzy logic output to a fuzzy logic input. Fuzzy logic decision parameters are optimized based on the simulation.

  17. Runtime Analysis of Linear Temporal Logic Specifications

    NASA Technical Reports Server (NTRS)

    Giannakopoulou, Dimitra; Havelund, Klaus

    2001-01-01

    This report presents an approach to checking a running program against its Linear Temporal Logic (LTL) specifications. LTL is a widely used logic for expressing properties of programs viewed as sets of executions. Our approach consists of translating LTL formulae to finite-state automata, which are used as observers of the program behavior. The translation algorithm we propose modifies standard LTL to B chi automata conversion techniques to generate automata that check finite program traces. The algorithm has been implemented in a tool, which has been integrated with the generic JPaX framework for runtime analysis of Java programs.

  18. Congruence of Behavioral Symptomatology in Children with ADD/H, ADD/WO, and Learning Disabilities.

    ERIC Educational Resources Information Center

    Stanford, Lisa D.; Hynd, George W.

    1994-01-01

    This study compared parent and teacher behavioral ratings for 77 children (ages 5-16) diagnosed as having attention deficit disorder with hyperactivity (ADD/H), attention deficit disorder without hyperactivity (ADD/WO), or learning disabilities (LD). ADD/WO and LD children were rated similarly on symptoms of withdrawal and impulsivity but differed…

  19. An interval logic for higher-level temporal reasoning

    NASA Technical Reports Server (NTRS)

    Schwartz, R. L.; Melliar-Smith, P. M.; Vogt, F. H.; Plaisted, D. A.

    1983-01-01

    Prior work explored temporal logics, based on classical modal logics, as a framework for specifying and reasoning about concurrent programs, distributed systems, and communications protocols, and reported on efforts using temporal reasoning primitives to express very high level abstract requirements that a program or system is to satisfy. Based on experience with those primitives, this report describes an Interval Logic that is more suitable for expressing such higher level temporal properties. The report provides a formal semantics for the Interval Logic, and several examples of its use. A description of decision procedures for the logic is also included.

  20. 42 CFR 82.16 - How will NIOSH add to monitoring data to remedy limitations of individual monitoring and missed...

    Code of Federal Regulations, 2013 CFR

    2013-10-01

    ... 42 Public Health 1 2013-10-01 2013-10-01 false How will NIOSH add to monitoring data to remedy... PROGRAM ACT OF 2000 Dose Reconstruction Process § 82.16 How will NIOSH add to monitoring data to remedy... to add this to the total dose estimate. For monitoring periods where external dosimetry data...

  1. 42 CFR 82.16 - How will NIOSH add to monitoring data to remedy limitations of individual monitoring and missed...

    Code of Federal Regulations, 2014 CFR

    2014-10-01

    ... 42 Public Health 1 2014-10-01 2014-10-01 false How will NIOSH add to monitoring data to remedy... PROGRAM ACT OF 2000 Dose Reconstruction Process § 82.16 How will NIOSH add to monitoring data to remedy... to add this to the total dose estimate. For monitoring periods where external dosimetry data...

  2. 42 CFR 82.16 - How will NIOSH add to monitoring data to remedy limitations of individual monitoring and missed...

    Code of Federal Regulations, 2011 CFR

    2011-10-01

    ... 42 Public Health 1 2011-10-01 2011-10-01 false How will NIOSH add to monitoring data to remedy... PROGRAM ACT OF 2000 Dose Reconstruction Process § 82.16 How will NIOSH add to monitoring data to remedy... to add this to the total dose estimate. For monitoring periods where external dosimetry data...

  3. 42 CFR 82.16 - How will NIOSH add to monitoring data to remedy limitations of individual monitoring and missed...

    Code of Federal Regulations, 2012 CFR

    2012-10-01

    ... 42 Public Health 1 2012-10-01 2012-10-01 false How will NIOSH add to monitoring data to remedy... PROGRAM ACT OF 2000 Dose Reconstruction Process § 82.16 How will NIOSH add to monitoring data to remedy... to add this to the total dose estimate. For monitoring periods where external dosimetry data...

  4. DNA logic gates.

    PubMed

    Okamoto, Akimitsu; Tanaka, Kazuo; Saito, Isao

    2004-08-04

    A conceptually new logic gate based on DNA has been devised. Methoxybenzodeazaadenine ((MD)A), an artificial nucleobase which we recently developed for efficient hole transport through DNA, formed stable base pairs with T and C. However, a reasonable hole-transport efficiency was observed in the reaction for the duplex containing an (MD)A/T base pair, whereas the hole transport was strongly suppressed in the reaction using a duplex where the base opposite (MD)A was replaced by C. The influence of complementary pyrimidines on the efficiency of hole transport through (MD)A was quite contrary to the selectivity observed for hole transport through G. The orthogonality of the modulation of these hole-transport properties by complementary pyrimidine bases is promising for the design of a new molecular logic gate. The logic gate system was executed by hole transport through short DNA duplexes, which consisted of the "logic gate strand", containing hole-transporting nucleobases, and the "input strand", containing pyrimidines which modulate the hole-transport efficiency of logic bases. A logic gate strand containing multiple (MD)A bases in series provided the basis for a sharp AND logic action. On the other hand, for OR logic and combinational logic, conversion of Boolean expressions to standard sum-of-product (SOP) expressions was indispensable. Three logic gate strands were designed for OR logic according to each product term in the standard SOP expression of OR logic. The hole-transport efficiency observed for the mixed sample of logic gate strands exhibited an OR logic behavior. This approach is generally applicable to the design of other complicated combinational logic circuits such as the full-adder.

  5. Reversible logic for supercomputing.

    SciTech Connect

    DeBenedictis, Erik P.

    2005-05-01

    This paper is about making reversible logic a reality for supercomputing. Reversible logic offers a way to exceed certain basic limits on the performance of computers, yet a powerful case will have to be made to justify its substantial development expense. This paper explores the limits of current, irreversible logic for supercomputers, thus forming a threshold above which reversible logic is the only solution. Problems above this threshold are discussed, with the science and mitigation of global warming being discussed in detail. To further develop the idea of using reversible logic in supercomputing, a design for a 1 Zettaflops supercomputer as required for addressing global climate warming is presented. However, to create such a design requires deviations from the mainstream of both the software for climate simulation and research directions of reversible logic. These deviations provide direction on how to make reversible logic practical.

  6. Stereovision Imaging in Smart Mobile Phone Using Add on Prisms

    NASA Astrophysics Data System (ADS)

    Bar-Magen Numhauser, Jonathan; Zalevsky, Zeev

    2014-03-01

    In this work we present the use of a prism-based add on component installed on top of a smart phone to achieve stereovision capabilities using iPhone mobile operating system. Through these components and the combination of the appropriate application programming interface and mathematical algorithms the obtained results will permit the analysis of possible enhancements for new uses to such system, in a variety of areas including medicine and communications.

  7. Adaption of a corrector module to the IMP dynamics program

    NASA Technical Reports Server (NTRS)

    1972-01-01

    The corrector module of the RAEIOS program and the IMP dynamics computer program were combined to achieve a date-fitting capability with the more general spacecraft dynamics models of the IMP program. The IMP dynamics program presents models of spacecraft dynamics for satellites with long, flexible booms. The properties of the corrector are discussed and a description is presented of the performance criteria and search logic for parameter estimation. A description is also given of the modifications made to add the corrector to the IMP program. This includes subroutine descriptions, common definitions, definition of input, and a description of output.

  8. Advanced logic gates for ultrafast network interchanges

    NASA Astrophysics Data System (ADS)

    Islam, Mohammed N.

    1995-08-01

    By overcoming speed bottlenecks from electronic switching as well as optical/electronic conversions, all-optical logic gates can permit further exploitation of the nearly 40 THz of bandwidth available from optical fibers. We focus on the use of optical solitons and all-optical logic gates to implement ultrafast ``interchanges'' or switching nodes on packet networks with speeds of 100 Gbit/s or greater. For example, all-optical logic gates have been demonstrated with speeds up to 200 Gbit/s, and they may be used to decide whether to add or drop a data packet. The overall goal of our effort is to demonstrate the key enabling technologies and their combination for header processing in 100 Gbit/s, time-division-multiplexed, packed switched networks. Soliton-based fiber logic gates are studied with the goal of combining attractive features of soliton-dragging logic gates, nonlinear loop mirrors, and erbium-doped fiber amplifiers to design logic gates with optimum switching energy, contrast ratio, and timing sensitivity. First, the experimental and numerical work studies low-latency soliton logic gates based on frequency shifts associated with cross-phase modulation. In preliminary experiments, switching in 15 m long low-birefringent fibers has been demonstrated with a contrast ratio of 2.73:1. Using dispersion-shifted fiber in the gate should lower the switching energy and improve the contrast ratio. Next, the low-birefringent fiber can be cross-spliced and wrapped into a nonlinear optical loop mirror to take advantage of mechanisms from both soliton dragging and loop mirrors. The resulting device can have low switching energy and a timing window that results from a combination of soliton dragging and the loop mirror mechanisms.

  9. Software Safety Assurance of Programmable Logic

    NASA Technical Reports Server (NTRS)

    Berens, Kalynnda

    2002-01-01

    Programmable Logic (PLC, FPGA, ASIC) devices are hybrids - hardware devices that are designed and programmed like software. As such, they fall in an assurance gray area. Programmable Logic is usually tested and verified as hardware, and the software aspects are ignored, potentially leading to safety or mission success concerns. The objective of this proposal is to first determine where and how Programmable Logic (PL) is used within NASA and document the current methods of assurance. Once that is known, raise awareness of the PL software aspects within the NASA engineering community and provide guidance for the use and assurance of PL form a software perspective.

  10. Optical Logic Gates

    NASA Technical Reports Server (NTRS)

    Du Fresne, E. R.; Dowler, W. L.

    1985-01-01

    Logic gates for light signals constructed from combinations of prisms, polarizing plates, and quarterwave plates. Optical logic gate performs elementary logic operation on light signals received along two optical fibers. Whether gate performs OR function or exclusive-OR function depends on orientation of analyzer. Nonbinary truth tables also obtained by rotating polarizer or analyzer to other positions or inserting other quarter-wave plates.

  11. Digital Holographic Logic

    NASA Technical Reports Server (NTRS)

    Preston, K., Jr.

    1972-01-01

    The characteristics of the holographic logic computer are discussed. The holographic operation is reviewed from the Fourier transform viewpoint, and the formation of holograms for use in performing digital logic are described. The operation of the computer with an experiment in which the binary identity function is calculated is discussed along with devices for achieving real-time performance. An application in pattern recognition using neighborhood logic is presented.

  12. Ferrite logic reliability study

    NASA Technical Reports Server (NTRS)

    Baer, J. A.; Clark, C. B.

    1973-01-01

    Development and use of digital circuits called all-magnetic logic are reported. In these circuits the magnetic elements and their windings comprise the active circuit devices in the logic portion of a system. The ferrite logic device belongs to the all-magnetic class of logic circuits. The FLO device is novel in that it makes use of a dual or bimaterial ferrite composition in one physical ceramic body. This bimaterial feature, coupled with its potential for relatively high speed operation, makes it attractive for high reliability applications. (Maximum speed of operation approximately 50 kHz.)

  13. EPA Adds Sites to National Priorities List to Reduce Risk to Public Health and Environment

    EPA Pesticide Factsheets

    WASHINGTON - The U.S. Environmental Protection Agency (EPA) is adding five and proposing to add eight hazardous waste sites to the Superfund program's National Priorities List (NPL). These are sites with known or threatened hazardous waste releases

  14. Nonreciprocal photonic crystal add-drop filter

    SciTech Connect

    Tao, Keyu; Xiao, Jun-Jun; Yin, Xiaobo

    2014-11-24

    We present a versatile add-drop integrated photonic filter (ADF) consisting of nonreciprocal waveguides in which the propagation of light is restricted in one predetermined direction. With the bus and add/drop waveguides symmetrically coupled through a cavity, the four-port device allows each individual port to add and/or drop a signal of the same frequency. The scheme is general and we demonstrate the nonreciprocal ADF with magneto-optical photonic crystals. The filter is immune to waveguide defects, allowing straightforward implementation of multi-channel ADFs by cascading the four-port designs. The results should find applications in wavelength-division multiplexing and related integrated photonic techniques.

  15. Learning fuzzy logic control system

    NASA Technical Reports Server (NTRS)

    Lung, Leung Kam

    1994-01-01

    The performance of the Learning Fuzzy Logic Control System (LFLCS), developed in this thesis, has been evaluated. The Learning Fuzzy Logic Controller (LFLC) learns to control the motor by learning the set of teaching values that are generated by a classical PI controller. It is assumed that the classical PI controller is tuned to minimize the error of a position control system of the D.C. motor. The Learning Fuzzy Logic Controller developed in this thesis is a multi-input single-output network. Training of the Learning Fuzzy Logic Controller is implemented off-line. Upon completion of the training process (using Supervised Learning, and Unsupervised Learning), the LFLC replaces the classical PI controller. In this thesis, a closed loop position control system of a D.C. motor using the LFLC is implemented. The primary focus is on the learning capabilities of the Learning Fuzzy Logic Controller. The learning includes symbolic representation of the Input Linguistic Nodes set and Output Linguistic Notes set. In addition, we investigate the knowledge-based representation for the network. As part of the design process, we implement a digital computer simulation of the LFLCS. The computer simulation program is written in 'C' computer language, and it is implemented in DOS platform. The LFLCS, designed in this thesis, has been developed on a IBM compatible 486-DX2 66 computer. First, the performance of the Learning Fuzzy Logic Controller is evaluated by comparing the angular shaft position of the D.C. motor controlled by a conventional PI controller and that controlled by the LFLC. Second, the symbolic representation of the LFLC and the knowledge-based representation for the network are investigated by observing the parameters of the Fuzzy Logic membership functions and the links at each layer of the LFLC. While there are some limitations of application with this approach, the result of the simulation shows that the LFLC is able to control the angular shaft position of the

  16. Shift-and-add for astronomical imaging

    NASA Technical Reports Server (NTRS)

    Ribak, Erez; Hege, E. Keith; Strobel, Nicolas V.; Christou, Julian C.

    1989-01-01

    Diffraction-limited astronomical images have been obtained utilizing a variant of the shift-and-add method. It is shown that the matched filter approach for extending the weighted shift-and-add method reduces specklegrams from extended objects and from an object dominated by photon noise. The method is aberration-insensitive and yields very high dynamic range results. The iterative method for arriving at the matched filter does not automatically converge in the case of photon-noisy specklegrams for objects with more than one maximum.

  17. An Embedded Reconfigurable Logic Module

    NASA Technical Reports Server (NTRS)

    Tucker, Jerry H.; Klenke, Robert H.; Shams, Qamar A. (Technical Monitor)

    2002-01-01

    A Miniature Embedded Reconfigurable Computer and Logic (MERCAL) module has been developed and verified. MERCAL was designed to be a general-purpose, universal module that that can provide significant hardware and software resources to meet the requirements of many of today's complex embedded applications. This is accomplished in the MERCAL module by combining a sub credit card size PC in a DIMM form factor with a XILINX Spartan I1 FPGA. The PC has the ability to download program files to the FPGA to configure it for different hardware functions and to transfer data to and from the FPGA via the PC's ISA bus during run time. The MERCAL module combines, in a compact package, the computational power of a 133 MHz PC with up to 150,000 gate equivalents of digital logic that can be reconfigured by software. The general architecture and functionality of the MERCAL hardware and system software are described.

  18. Fundamentals of Digital Logic.

    ERIC Educational Resources Information Center

    Noell, Monica L.

    This course is designed to prepare electronics personnel for further training in digital techniques, presenting need to know information that is basic to any maintenance course on digital equipment. It consists of seven study units: (1) binary arithmetic; (2) boolean algebra; (3) logic gates; (4) logic flip-flops; (5) nonlogic circuits; (6)…

  19. Programmable Logic Controllers.

    ERIC Educational Resources Information Center

    Insolia, Gerard; Anderson, Kathleen

    This document contains a 40-hour course in programmable logic controllers (PLC), developed for a business-industry technology resource center for firms in eastern Pennsylvania by Northampton Community College. The 10 units of the course cover the following: (1) introduction to programmable logic controllers; (2) DOS primer; (3) prerequisite…

  20. Promoting Logical Ability

    ERIC Educational Resources Information Center

    Osborne, Alan R.

    1973-01-01

    This article reports one search for factors or conditions shaping the child's growth in logical ability. The search indicated the existence of a relationship between the quantity of teacher talk that contains the language of logic and the change exhibited by students. Implications for classroom practice are discussed. (JA)

  1. Use of LOGIC to support lidar operations

    NASA Astrophysics Data System (ADS)

    Davis-Lunde, Kimberley; Jugan, Laurie A.; Shoemaker, J. Todd

    1999-10-01

    The Naval Oceanographic Office (NAVOCEANO) and Planning Systems INcorporated are developing the Littoral Optics Geospatial Integrated Capability (LOGIC). LOGIC supports NAVOCEANO's directive to assess the impact of the environment on Fleet systems in areas of operational interest. LOGIC is based in the Geographic Information System (GIS) ARC/INFO and offers a method to view and manipulate optics and ancillary data to support emerging Fleet lidar systems. LOGIC serves as a processing (as required) and quality-checking mechanism for data entering NAVOCEANO's Data Warehouse and handles both remotely sensed and in-water data. LOGIC provides a link between these data and the GIS-based Graphical User Interface, allowing the user to select data manipulation routines and/or system support products. The results of individual modules are displayed via the GIS to provide such products as lidar system performance, laser penetration depth, and asset vulnerability from a lidar threat. LOGIC is being developed for integration into other NAVOCEANO programs, most notably for Comprehensive Environmental Assessment System, an established tool supporting sonar-based systems. The prototype for LOGIC was developed for the Yellow Sea, focusing on a diver visibility support product.

  2. Microelectromechanical reprogrammable logic device

    NASA Astrophysics Data System (ADS)

    Hafiz, M. A. A.; Kosuru, L.; Younis, M. I.

    2016-03-01

    In modern computing, the Boolean logic operations are set by interconnect schemes between the transistors. As the miniaturization in the component level to enhance the computational power is rapidly approaching physical limits, alternative computing methods are vigorously pursued. One of the desired aspects in the future computing approaches is the provision for hardware reconfigurability at run time to allow enhanced functionality. Here we demonstrate a reprogrammable logic device based on the electrothermal frequency modulation scheme of a single microelectromechanical resonator, capable of performing all the fundamental 2-bit logic functions as well as n-bit logic operations. Logic functions are performed by actively tuning the linear resonance frequency of the resonator operated at room temperature and under modest vacuum conditions, reprogrammable by the a.c.-driving frequency. The device is fabricated using complementary metal oxide semiconductor compatible mass fabrication process, suitable for on-chip integration, and promises an alternative electromechanical computing scheme.

  3. Microelectromechanical reprogrammable logic device

    PubMed Central

    Hafiz, M. A. A.; Kosuru, L.; Younis, M. I.

    2016-01-01

    In modern computing, the Boolean logic operations are set by interconnect schemes between the transistors. As the miniaturization in the component level to enhance the computational power is rapidly approaching physical limits, alternative computing methods are vigorously pursued. One of the desired aspects in the future computing approaches is the provision for hardware reconfigurability at run time to allow enhanced functionality. Here we demonstrate a reprogrammable logic device based on the electrothermal frequency modulation scheme of a single microelectromechanical resonator, capable of performing all the fundamental 2-bit logic functions as well as n-bit logic operations. Logic functions are performed by actively tuning the linear resonance frequency of the resonator operated at room temperature and under modest vacuum conditions, reprogrammable by the a.c.-driving frequency. The device is fabricated using complementary metal oxide semiconductor compatible mass fabrication process, suitable for on-chip integration, and promises an alternative electromechanical computing scheme. PMID:27021295

  4. Regulatory Conformance Checking: Logic and Logical Form

    ERIC Educational Resources Information Center

    Dinesh, Nikhil

    2010-01-01

    We consider the problem of checking whether an organization conforms to a body of regulation. Conformance is studied in a runtime verification setting. The regulation is translated to a logic, from which we synthesize monitors. The monitors are evaluated as the state of an organization evolves over time, raising an alarm if a violation is…

  5. 76 FR 47240 - ``Add Us In'' Initiative

    Federal Register 2010, 2011, 2012, 2013, 2014

    2011-08-04

    ... From the Federal Register Online via the Government Publishing Office DEPARTMENT OF LABOR Office of Disability Employment Policy ``Add Us In'' Initiative AGENCY: Office of Disability Employment Policy, Department of Labor. Announcement Type: New Notice of Availability of Funds and Solicitation for Grant Applications (SGA) for...

  6. Shift Would Add Burden on Principals

    ERIC Educational Resources Information Center

    Killion, Joellen

    2004-01-01

    In this article, the author describes how the transition from district-centered to school-based staff development can add to the burden on principals. This column first presents a brief review of the efforts of Braxton Hinsdale, a staff development director who advocated for moving professional development resources from the district level to the…

  7. Selected Perspectives on ADD and ADHD.

    ERIC Educational Resources Information Center

    Porter, Louise

    1997-01-01

    Offers an overview of ADD and ADHD, their causes and long-term prognoses, including the complexities of the conditions, the incomplete knowledge about them, and the difficulties of diagnosis during early childhood. Summarizes assessment and treatment options and concludes that the conditions have so many secondary effects that designing an…

  8. Educational Interventions for Students with ADD.

    ERIC Educational Resources Information Center

    Salend, Spencer J.; Elhoweris, Hala; van Garderen, Delinda

    2003-01-01

    Principles of educational interventions for students with attention deficit disorder (ADD) include: (1) giving complete and thorough directions; (2) individualizing in-class and homework assignments; (3) motivating students; (4) promoting active responding and monitoring understanding; (5) employing content enhancements; (6) offering learning…

  9. Design of a Ferroelectric Programmable Logic Gate Array

    NASA Technical Reports Server (NTRS)

    MacLeod, Todd C.; Ho, Fat Duen

    2003-01-01

    A programmable logic gate array has been designed utilizing ferroelectric field effect transistors. The design has only a small number of gates, but this could be scaled up to a more useful size. Using FFET's in a logic array gives several advantages. First, it allows real-time programmability to the array to give high speed reconfiguration. It also allows the array to be configured nearly an unlimited number of times, unlike a FLASH FPGA. Finally, the Ferroelectric Programmable Logic Gate Array (FPLGA) can be implemented using a smaller number of transistors because of the inherent logic characteristics of an FFET. The device was only designed and modeled using Spice models of the circuit, including the FFET. The actual device was not produced. The design consists of a small array of NAND and NOR logic gates. Other gates could easily be produced. They are linked by FFET's that control the logic flow. Timing and logic tables have been produced showing the array can produce a variety of logic combinations at a real time usable speed. This device could be a prototype for a device that could be put into imbedded systems that need the high speed of hardware implementation of logic and the complexity to need to change the logic algorithm. Because of the non-volatile nature of the FFET, it would also be useful in situations that needed to program a logic array once and use it repeatedly after the power has been shut off.

  10. Event Logic Assistant (Elan)

    DTIC Science & Technology

    2008-07-14

    as a basis for Phase II research. 2 Background 2.1 Event logic 2.1.1 Event structures Intuitively, an event structure is an abstract algebraic ...Theoretical Computer Science, 149:257–298, 1995. [2] Uri Abraham. Models for Concurrency, volume 11 of Algebra , Logic and Applications Series. Gordon...the ordering of events in a distributed system. Comms. ACM, 21(7):558–65, 1978. [28] Leslie Lamport. Hybrid systems in TLA+. In Grossman , Nerode, Ravn

  11. Fuzzy logic and neural network technologies

    NASA Technical Reports Server (NTRS)

    Villarreal, James A.; Lea, Robert N.; Savely, Robert T.

    1992-01-01

    Applications of fuzzy logic technologies in NASA projects are reviewed to examine their advantages in the development of neural networks for aerospace and commercial expert systems and control. Examples of fuzzy-logic applications include a 6-DOF spacecraft controller, collision-avoidance systems, and reinforcement-learning techniques. The commercial applications examined include a fuzzy autofocusing system, an air conditioning system, and an automobile transmission application. The practical use of fuzzy logic is set in the theoretical context of artificial neural systems (ANSs) to give the background for an overview of ANS research programs at NASA. The research and application programs include the Network Execution and Training Simulator and faster training algorithms such as the Difference Optimized Training Scheme. The networks are well suited for pattern-recognition applications such as predicting sunspots, controlling posture maintenance, and conducting adaptive diagnoses.

  12. 76 FR 65935 - Brucellosis in Swine; Add Texas to List of Validated Brucellosis-Free States

    Federal Register 2010, 2011, 2012, 2013, 2014

    2011-10-25

    ... Animal and Plant Health Inspection Service 9 CFR Part 78 Brucellosis in Swine; Add Texas to List of Validated Brucellosis- Free States AGENCY: Animal and Plant Health Inspection Service, USDA. ACTION..., and Poultry Programs, National Center for Animal Health Programs, VS, APHIS, 210 Walnut Street...

  13. 42 CFR 82.16 - How will NIOSH add to monitoring data to remedy limitations of individual monitoring and missed...

    Code of Federal Regulations, 2010 CFR

    2010-10-01

    ... 42 Public Health 1 2010-10-01 2010-10-01 false How will NIOSH add to monitoring data to remedy... PROGRAM ACT OF 2000 Dose Reconstruction Process § 82.16 How will NIOSH add to monitoring data to remedy... those described in the NIOSH Research Issues Workshop, 2 to estimate the missing component of dose...

  14. Nonlinear dynamics based digital logic and circuits.

    PubMed

    Kia, Behnam; Lindner, John F; Ditto, William L

    2015-01-01

    We discuss the role and importance of dynamics in the brain and biological neural networks and argue that dynamics is one of the main missing elements in conventional Boolean logic and circuits. We summarize a simple dynamics based computing method, and categorize different techniques that we have introduced to realize logic, functionality, and programmability. We discuss the role and importance of coupled dynamics in networks of biological excitable cells, and then review our simple coupled dynamics based method for computing. In this paper, for the first time, we show how dynamics can be used and programmed to implement computation in any given base, including but not limited to base two.

  15. Nonlinear dynamics based digital logic and circuits

    PubMed Central

    Kia, Behnam; Lindner, John. F.; Ditto, William L.

    2015-01-01

    We discuss the role and importance of dynamics in the brain and biological neural networks and argue that dynamics is one of the main missing elements in conventional Boolean logic and circuits. We summarize a simple dynamics based computing method, and categorize different techniques that we have introduced to realize logic, functionality, and programmability. We discuss the role and importance of coupled dynamics in networks of biological excitable cells, and then review our simple coupled dynamics based method for computing. In this paper, for the first time, we show how dynamics can be used and programmed to implement computation in any given base, including but not limited to base two. PMID:26029096

  16. User's manual for Axisymmetric Diffuser Duct (ADD) code. Volume 1: General ADD code description

    NASA Technical Reports Server (NTRS)

    Anderson, O. L.; Hankins, G. B., Jr.; Edwards, D. E.

    1982-01-01

    This User's Manual contains a complete description of the computer codes known as the AXISYMMETRIC DIFFUSER DUCT code or ADD code. It includes a list of references which describe the formulation of the ADD code and comparisons of calculation with experimental flows. The input/output and general use of the code is described in the first volume. The second volume contains a detailed description of the code including the global structure of the code, list of FORTRAN variables, and descriptions of the subroutines. The third volume contains a detailed description of the CODUCT code which generates coordinate systems for arbitrary axisymmetric ducts.

  17. User's manual for Axisymmetric Diffuser Duct (ADD) code. Volume 3: ADD code coordinate generator

    NASA Technical Reports Server (NTRS)

    Anderson, O. L.; Hankins, G. B., Jr.; Edwards, D. E.

    1982-01-01

    This User's Manual contains a complete description of the computer codes known as the Axisymmetric Diffuser Duct (ADD) code. It includes a list of references which describe the formulation of the ADD code and comparisons of calculation with experimental flows. The input/output and general use of the code is described in the first volume. The second volume contains a detailed description of the code including the global structure of the code, list of FORTRAN variables, and descriptions of the subroutines. The third volume contains a detailed description of the CODUCT code which generates coordinate systems for arbitrary axisymmetric ducts.

  18. Logic Design Pathology and Space Flight Electronics

    NASA Technical Reports Server (NTRS)

    Katz, Richard; Barto, Rod L.; Erickson, K.

    1997-01-01

    Logic design errors have been observed in space flight missions and the final stages of ground test. The technologies used by designers and their design/analysis methodologies will be analyzed. This will give insight to the root causes of the failures. These technologies include discrete integrated circuit based systems, systems based on field and mask programmable logic, and the use computer aided engineering (CAE) systems. State-of-the-art (SOTA) design tools and methodologies will be analyzed with respect to high-reliability spacecraft design and potential pitfalls are discussed. Case studies of faults from large expensive programs to "smaller, faster, cheaper" missions will be used to explore the fundamental reasons for logic design problems.

  19. Using Joint Interviews to Add Analytic Value.

    PubMed

    Polak, Louisa; Green, Judith

    2016-10-01

    Joint interviewing has been frequently used in health research, and is the subject of a growing methodological literature. We review this literature, and build on it by drawing on a case study of how people make decisions about taking statins. This highlights two ways in which a dyadic approach to joint interviewing can add analytic value compared with individual interviewing. First, the analysis of interaction within joint interviews can help to explicate tacit knowledge and to illuminate the range of often hard-to-access resources that are drawn upon in making decisions. Second, joint interviews mitigate some of the weaknesses of interviewing as a method for studying practices; we offer a cautious defense of the often-tacit assumption that the "naturalness" of joint interviews strengthens their credibility as the basis for analytic inferences. We suggest that joint interviews are a particularly appropriate method for studying complex shared practices such as making health decisions.

  20. Independents add gas reserves, forego romance

    SciTech Connect

    Gill, D.

    1981-08-01

    Incentive pricing for low-permeability reservoirs and tax advantages for drilling them are 2 big reasons why more independents may start making a special effort to add gas reserves to their inventories. If so, it will be a change from past practices, which saw independents build up big gas positions by circumstance rather than by intention. There are always major refiners ready and willing to buy whole crude oil reservoirs from small producers, but purchasers willing to take gas fields in a single investment are few and far between. Lower-than-normal return on equity during the first 20 years, plus the heavy front-end cost of a frac necessary to produce the tight gas might dissuade independents from drilling tight gas sands, but those liabilities are offset by the higher price tight gas gets and the peculiar tax advantages of exploring for it that make a nice fit with the small operator's way of doing business.

  1. Temporal logics meet telerobotics

    NASA Technical Reports Server (NTRS)

    Rutten, Eric; Marce, Lionel

    1989-01-01

    The specificity of telerobotics being the presence of a human operator, decision assistance tools are necessary for the operator, especially in hostile environments. In order to reduce execution hazards due to a degraded ability for quick and efficient recovery of unexpected dangerous situations, it is of importance to have the opportunity, amongst others, to simulate the possible consequences of a plan before its actual execution, in order to detect these problematic situations. Hence the idea of providing the operator with a simulator enabling him to verify the temporal and logical coherence of his plans. Therefore, the power of logical formalisms is used for representation and deduction purposes. Starting from the class of situations that are represented, a STRIPS (the STanford Research Institute Problem Solver)-like formalism and its underlying logic are adapted to the simulation of plans of actions in time. The choice of a temporal logic enables to build a world representation, on which the effects of plans, grouping actions into control structures, will be transcribed by the simulation, resulting in a verdict and information about the plan's coherence.

  2. Programmable Logic Application Notes

    NASA Technical Reports Server (NTRS)

    Katz, Richard

    2000-01-01

    This column will be provided each quarter as a source for reliability, radiation results, NASA capabilities, and other information on programmable logic devices and related applications. This quarter will start a series of notes concentrating on analysis techniques with this issues section discussing worst-case analysis requirements.

  3. Programmable Logic Application Notes

    NASA Technical Reports Server (NTRS)

    Katz, Richard; Day, John H. (Technical Monitor)

    2001-01-01

    This report will be provided each quarter as a source for reliability, radiation results, NASA capabilities, and other information on programmable logic devices and related applications. This quarter will continue a series of notes concentrating on analysis techniques with this issue's section discussing the use of Root-Sum-Square calculations for digital delays.

  4. Radiation tolerant combinational logic cell

    NASA Technical Reports Server (NTRS)

    Maki, Gary R. (Inventor); Gambles, Jody W. (Inventor); Whitaker, Sterling (Inventor)

    2009-01-01

    A system has a reduced sensitivity to Single Event Upset and/or Single Event Transient(s) compared to traditional logic devices. In a particular embodiment, the system includes an input, a logic block, a bias stage, a state machine, and an output. The logic block is coupled to the input. The logic block is for implementing a logic function, receiving a data set via the input, and generating a result f by applying the data set to the logic function. The bias stage is coupled to the logic block. The bias stage is for receiving the result from the logic block and presenting it to the state machine. The state machine is coupled to the bias stage. The state machine is for receiving, via the bias stage, the result generated by the logic block. The state machine is configured to retain a state value for the system. The state value is typically based on the result generated by the logic block. The output is coupled to the state machine. The output is for providing the value stored by the state machine. Some embodiments of the invention produce dual rail outputs Q and Q'. The logic block typically contains combinational logic and is similar, in size and transistor configuration, to a conventional CMOS combinational logic design. However, only a very small portion of the circuits of these embodiments, is sensitive to Single Event Upset and/or Single Event Transients.

  5. LEDs: DOE Programs Add Credibility to a Developing Technology

    ERIC Educational Resources Information Center

    Conbere, Susan

    2009-01-01

    LED (light-emitting diode) technology is moving fast, and with justification, some facility managers have viewed it with a wary eye. Some LEDs on the market do not perform as promised, and the technology is changing rapidly. But new developments from the U.S. Department of Energy (DOE) now make it easier for facility managers to find LEDs that…

  6. Children with Attention Deficit Disorders. ADD Fact Sheet.

    ERIC Educational Resources Information Center

    Parker, Harvey C.

    This fact sheet summarizes basic information on Attention Deficit Disorders (ADD), including prevalence and characteristics, causes, identification, treatment, outcomes, and suggestions. Children with ADD comprise approximately 3-5 percent of the school age population, with boys significantly outnumbering girls. Of 14 characteristics of ADD, the…

  7. Conditional Logic and Primary Children.

    ERIC Educational Resources Information Center

    Ennis, Robert H.

    Conditional logic, as interpreted in this paper, means deductive logic characterized by "if-then" statements. This study sought to investigate the knowledge of conditional logic possessed by primary children and to test their readiness to learn such concepts. Ninety students were designated the experimental group and participated in a…

  8. The Logic of Life.

    PubMed

    Pascal, Robert; Pross, Addy

    2016-11-01

    In this paper we propose a logical connection between the physical and biological worlds, one resting on a broader understanding of the stability concept. We propose that stability manifests two facets - time and energy, and that stability's time facet, expressed as persistence, is more general than its energy facet. That insight leads to the logical formulation of the Persistence Principle, which describes the general direction of material change in the universe, and which can be stated most simply as: nature seeks persistent forms. Significantly, the principle is found to express itself in two mathematically distinct ways: in the replicative world through Malthusian exponential growth, and in the 'regular' physical/chemical world through Boltzmann's probabilistic considerations. By encompassing both 'regular' and replicative worlds, the principle appears to be able to help reconcile two of the major scientific theories of the 19th century - the Second Law of Thermodynamics and Darwin's theory of evolution - within a single conceptual framework.

  9. The Logic of Life

    NASA Astrophysics Data System (ADS)

    Pascal, Robert; Pross, Addy

    2016-11-01

    In this paper we propose a logical connection between the physical and biological worlds, one resting on a broader understanding of the stability concept. We propose that stability manifests two facets - time and energy, and that stability's time facet, expressed as persistence, is more general than its energy facet. That insight leads to the logical formulation of the Persistence Principle, which describes the general direction of material change in the universe, and which can be stated most simply as: nature seeks persistent forms. Significantly, the principle is found to express itself in two mathematically distinct ways: in the replicative world through Malthusian exponential growth, and in the `regular' physical/chemical world through Boltzmann's probabilistic considerations. By encompassing both `regular' and replicative worlds, the principle appears to be able to help reconcile two of the major scientific theories of the 19th century - the Second Law of Thermodynamics and Darwin's theory of evolution - within a single conceptual framework.

  10. Programmable Logic Application Notes

    NASA Technical Reports Server (NTRS)

    Katz, Richard

    1998-01-01

    This column will be provided each quarter as a source for reliability, radiation results, NASA capabilities, and other information on programmable logic devices and related applications. This quarter's column will include some announcements and some recent radiation test results and evaluations of interest. Specifically, the following topics will be covered: the Military and Aerospace Applications of Programmable Devices and Technologies Conference to be held at GSFC in September, 1998, proton test results, and some total dose results.

  11. Programmable Logic Application Notes

    NASA Technical Reports Server (NTRS)

    Katz, Richard

    1998-01-01

    This column will be provided each quarter as a source for reliability, radiation results, NASA capabilities, and other information on programmable logic devices and related applications. This quarter's column will include some announcements and some recent radiation test results and evaluations of interest. Specifically, the following topics will be covered: the Military and Aerospace Applications of Programmable Devices and Technologies Conference to be held at GSFC in September, 1998, proton test results, heavy ion test results, and some total dose results.

  12. Interns Add "Class" to State's Newsrooms.

    ERIC Educational Resources Information Center

    Cripe, Dennis

    1994-01-01

    Describes a program cosponsored by the Indiana High School Press Association and the Hoosier State Press Association which offered one-month paid summer internships for nine Indiana high-school journalism advisors in professional newspapers. (SR)

  13. Break out of the box: how to add value to the security function.

    PubMed

    Jones, Russell F

    2007-01-01

    Opportunities to create programs that enhance the value of the security function are present now and will be in the future, according to the author, who illustrates a number of ways the resourceful security practitioner can add to his department's reputation and his organization's bottom line.

  14. TEST DESIGN FOR ENVIRONMENTAL TECHNOLOGY VERIFICATION (ETV) OF ADD-ON NOX CONTROL UTILIZING OZONE INJECTION

    EPA Science Inventory

    The paper discusses the test design for environmental technology verification (ETV) of add-0n nitrogen oxides (NOx) control utilizing ozone injection. (NOTE: ETV is an EPA-established program to enhance domestic and international market acceptance of new or improved commercially...

  15. Improving Content and Technology Skills in ADD/ADHD via a Web Enhanced Course

    ERIC Educational Resources Information Center

    Jordan, LuAnn; Smith, Sean; Dillon, Ann S.; Algozzine, Bob; Beattie, John; Spooner, Fred; Fisher, Ashlee L.

    2004-01-01

    Attention Deficit Disorder and Attention Deficit Hyperactivity Disorder (ADD/ADHD) create concerns in public education and in teacher education programs. Because of continuous advances in technology, distance learning is a viable option for delivering coursework to preservice and inservice teacher education students challenged by geography, time…

  16. 101 Ways To Help Children with ADD Learn: Tips from Successful Teachers.

    ERIC Educational Resources Information Center

    Chesapeake Inst., Washington, DC.

    This how-to guide for teachers suggests ways to help children with attention deficit disorders (ADD) in the general classroom, by means of specific instructional practices to be used as part of an instructional program based on classroom accommodations, behavior management, and individualized academic instruction. Basic steps in developing an…

  17. Logic Functions for Cryptography - A Tutorial

    DTIC Science & Technology

    2009-05-01

    Logic Functions for Cryptography - A Tutorial Jon T. Butler Tsutomu Sasao Department of Electrical Department of Computer Science and Computer ... of Computer Programming, Vol- ume 4” [9]. Definition 2.1 A linear function is the constant 0 function or the Exclusive OR of one or more variables...S) AND ADDRESS(ES) Naval Postgraduate School,Department of Electrical and Computer Engineering,Monterey,CA,93943 8. PERFORMING ORGANIZATION REPORT

  18. Flexible programmable logic module

    DOEpatents

    Robertson, Perry J.; Hutchinson, Robert L.; Pierson, Lyndon G.

    2001-01-01

    The circuit module of this invention is a VME board containing a plurality of programmable logic devices (PLDs), a controlled impedance clock tree, and interconnecting buses. The PLDs are arranged to permit systolic processing of a problem by offering wide data buses and a plurality of processing nodes. The board contains a clock reference and clock distribution tree that can drive each of the PLDs with two critically timed clock references. External clock references can be used to drive additional circuit modules all operating from the same synchronous clock reference.

  19. Substructural Logical Specifications

    DTIC Science & Technology

    2012-11-14

    a more natural correspondence with our physical intuitions about consumable resources. Linear conjunction A ⊗ B (“A tensor B”) represents the...sketch a radically different, vaguely Feynman - diagram-inspired, way of presenting traces in Figure 4.14. Resources are the edges in the DAG and steps or...70th Birthday, volume 17 of Studies in Logic. College Publications, 2008. 3.3.3, 4.1.2, 4.7.3 [Pfe12a] Frank Pfenning. Lecture notes on backtracking

  20. Programmable Logic Application Notes

    NASA Technical Reports Server (NTRS)

    Katz, Richard

    1999-01-01

    This column will be provided each quarter as a source for reliability, radiation results, NASA capabilities, and other information on programmable logic devices and related applications. This quarter the focus is on some experimental data on low voltage drop out regulators to support mixed 5 and 3.3 volt systems. A discussion of the Small Explorer WIRE spacecraft will also be given. Lastly, we show take a first look at robust state machines in Hardware Description Languages (VHDL) and their use in critical systems. If you have information that you would like to submit or an area you would like discussed or researched, please give me a call or e-mail.

  1. Adaptive parallel logic networks

    NASA Technical Reports Server (NTRS)

    Martinez, Tony R.; Vidal, Jacques J.

    1988-01-01

    Adaptive, self-organizing concurrent systems (ASOCS) that combine self-organization with massive parallelism for such applications as adaptive logic devices, robotics, process control, and system malfunction management, are presently discussed. In ASOCS, an adaptive network composed of many simple computing elements operating in combinational and asynchronous fashion is used and problems are specified by presenting if-then rules to the system in the form of Boolean conjunctions. During data processing, which is a different operational phase from adaptation, the network acts as a parallel hardware circuit.

  2. Logical stochastic resonance with correlated internal and external noises in a synthetic biological logic block

    NASA Astrophysics Data System (ADS)

    Dari, Anna; Kia, Behnam; Bulsara, Adi R.; Ditto, William L.

    2011-12-01

    Following the advent of synthetic biology, several gene networks have been engineered to emulate digital devices, with the ability to program cells for different applications. In this work, we adapt the concept of logical stochastic resonance to a synthetic gene network derived from a bacteriophage λ. The intriguing results of this study show that it is possible to build a biological logic block that can emulate or switch from the AND to the OR gate functionalities through externally tuning the system parameters. Moreover, this behavior and the robustness of the logic gate are underpinned by the presence of an optimal amount of random fluctuations. We extend our earlier work in this field, by taking into account the effects of correlated external (additive) and internal (multiplicative or state-dependent) noise. Results obtained through analytical calculations as well as numerical simulations are presented.

  3. Logical Form as a Determinant of Cognitive Processes

    NASA Astrophysics Data System (ADS)

    van Lambalgen, Michiel

    We discuss a research program on reasoning patterns in subjects with autism, showing that they fail to engage in certain forms of non-monotonic reasoning that come naturally to neurotypical subjects. The striking reasoning patterns of autists occur both in verbal and in non-verbal tasks. Upon formalising the relevant non-verbal tasks, one sees that their logical form is the same as that of the verbal tasks. This suggests that logical form can play a causal role in cognitive processes, and we suggest that this logical form is actually embodied in the cognitive capacity called 'executive function'.

  4. Sensitivity analysis of add-on price estimate for select silicon wafering technologies

    NASA Technical Reports Server (NTRS)

    Mokashi, A. R.

    1982-01-01

    The cost of producing wafers from silicon ingots is a major component of the add-on price of silicon sheet. Economic analyses of the add-on price estimates and their sensitivity internal-diameter (ID) sawing, multiblade slurry (MBS) sawing and fixed-abrasive slicing technique (FAST) are presented. Interim price estimation guidelines (IPEG) are used for estimating a process add-on price. Sensitivity analysis of price is performed with respect to cost parameters such as equipment, space, direct labor, materials (blade life) and utilities, and the production parameters such as slicing rate, slices per centimeter and process yield, using a computer program specifically developed to do sensitivity analysis with IPEG. The results aid in identifying the important cost parameters and assist in deciding the direction of technology development efforts.

  5. An SEU immune logic family

    NASA Technical Reports Server (NTRS)

    Canaris, J.

    1991-01-01

    A new logic family, which is immune to single event upsets, is described. Members of the logic family are capable of recovery, regardless of the shape of the upsetting event. Glitch propagation from an upset node is also blocked. Logic diagrams for an Inverter, Nor, Nand, and Complex Gates are provided. The logic family can be implemented in a standard, commercial CMOS process with no additional masks. DC, transient, static power, upset recovery and layout characteristics of the new family, based on a commercial 1 micron CMOS N-Well process, are described.

  6. Fuzzy logic and coarse coding using programmable logic devices

    NASA Astrophysics Data System (ADS)

    Brooks, Geoffrey

    2009-05-01

    Naturally-occurring sensory signal processing algorithms, such as those that inspired fuzzy-logic control, can be integrated into non-naturally-occurring high-performance technology, such as programmable logic devices, to realize novel bio-inspired designs. Research is underway concerning an investigation into using field programmable logic devices (FPLD's) to implement fuzzy logic sensory processing. A discussion is provided concerning the commonality between bio-inspired fuzzy logic algorithms and coarse coding that is prevalent in naturally-occurring sensory systems. Undergraduate design projects using fuzzy logic for an obstacle-avoidance robot has been accomplished at our institution and other places; numerous other successful fuzzy logic applications can be found as well. The long-term goal is to leverage such biomimetic algorithms for future applications. This paper outlines a design approach for implementing fuzzy-logic algorithms into reconfigurable computing devices. This paper is presented in an effort to connect with others who may be interested in collaboration as well as to establish a starting point for future research.

  7. Fuzzy Logic Particle Tracking

    NASA Technical Reports Server (NTRS)

    2005-01-01

    A new all-electronic Particle Image Velocimetry technique that can efficiently map high speed gas flows has been developed in-house at the NASA Lewis Research Center. Particle Image Velocimetry is an optical technique for measuring the instantaneous two component velocity field across a planar region of a seeded flow field. A pulsed laser light sheet is used to illuminate the seed particles entrained in the flow field at two instances in time. One or more charged coupled device (CCD) cameras can be used to record the instantaneous positions of particles. Using the time between light sheet pulses and determining either the individual particle displacements or the average displacement of particles over a small subregion of the recorded image enables the calculation of the fluid velocity. Fuzzy logic minimizes the required operator intervention in identifying particles and computing velocity. Using two cameras that have the same view of the illumination plane yields two single exposure image frames. Two competing techniques that yield unambiguous velocity vector direction information have been widely used for reducing the single-exposure, multiple image frame data: (1) cross-correlation and (2) particle tracking. Correlation techniques yield averaged velocity estimates over subregions of the flow, whereas particle tracking techniques give individual particle velocity estimates. For the correlation technique, the correlation peak corresponding to the average displacement of particles across the subregion must be identified. Noise on the images and particle dropout result in misidentification of the true correlation peak. The subsequent velocity vector maps contain spurious vectors where the displacement peaks have been improperly identified. Typically these spurious vectors are replaced by a weighted average of the neighboring vectors, thereby decreasing the independence of the measurements. In this work, fuzzy logic techniques are used to determine the true

  8. Social Capital: Does It Add to the Health Inequalities Debate?

    ERIC Educational Resources Information Center

    Chappell, Neena L.; Funk, Laura M.

    2010-01-01

    This paper empirically examines the relationship between advantage, social capital and health status to assess (a) whether social capital adds explanatory power to what we already know about the relationship between advantage and health and (b) whether social capital adds anything beyond its component parts, namely social participation and trust.…

  9. Discovering Focus: Helping Students with ADD (Attention Deficit Disorder)

    ERIC Educational Resources Information Center

    Valkenburg, Jim

    2012-01-01

    Attention Deficit Disorder (ADD) is a neurological disorder which effects learning and that has a confusing set of diagnostic symptoms and an even more confusing set of remedies ranging from medication to meditation to nothing at all. Current neurological research suggests, however, that there are strategies that the individual with ADD can use to…

  10. Dyslexia and ADD: 20 Questions Parents Ask. Children with Disabilities.

    ERIC Educational Resources Information Center

    Pickering, Joyce S.

    2002-01-01

    This article uses a question-answer format to present information for parents on dyslexia and attention deficit disorders (ADD). Information includes typical behaviors and skills of children with dyslexia or ADD, how parents can help their children, and the use of medication to control hyperactivity. (KB)

  11. Pecan Research and Outreach in New Mexico: Logic Model Development and Change in Communication Paradigms

    ERIC Educational Resources Information Center

    Sammis, Theodore W.; Shukla, Manoj K.; Mexal, John G.; Wang, Junming; Miller, David R.

    2013-01-01

    Universities develop strategic planning documents, and as part of that planning process, logic models are developed for specific programs within the university. This article examines the long-standing pecan program at New Mexico State University and the deficiencies and successes in the evolution of its logic model. The university's agricultural…

  12. A Logical Process Calculus

    NASA Technical Reports Server (NTRS)

    Cleaveland, Rance; Luettgen, Gerald; Bushnell, Dennis M. (Technical Monitor)

    2002-01-01

    This paper presents the Logical Process Calculus (LPC), a formalism that supports heterogeneous system specifications containing both operational and declarative subspecifications. Syntactically, LPC extends Milner's Calculus of Communicating Systems with operators from the alternation-free linear-time mu-calculus (LT(mu)). Semantically, LPC is equipped with a behavioral preorder that generalizes Hennessy's and DeNicola's must-testing preorder as well as LT(mu's) satisfaction relation, while being compositional for all LPC operators. From a technical point of view, the new calculus is distinguished by the inclusion of: (1) both minimal and maximal fixed-point operators and (2) an unimple-mentability predicate on process terms, which tags inconsistent specifications. The utility of LPC is demonstrated by means of an example highlighting the benefits of heterogeneous system specification.

  13. Oscillatory Threshold Logic

    PubMed Central

    Borresen, Jon; Lynch, Stephen

    2012-01-01

    In the 1940s, the first generation of modern computers used vacuum tube oscillators as their principle components, however, with the development of the transistor, such oscillator based computers quickly became obsolete. As the demand for faster and lower power computers continues, transistors are themselves approaching their theoretical limit and emerging technologies must eventually supersede them. With the development of optical oscillators and Josephson junction technology, we are again presented with the possibility of using oscillators as the basic components of computers, and it is possible that the next generation of computers will be composed almost entirely of oscillatory devices. Here, we demonstrate how coupled threshold oscillators may be used to perform binary logic in a manner entirely consistent with modern computer architectures. We describe a variety of computational circuitry and demonstrate working oscillator models of both computation and memory. PMID:23173034

  14. Logic, reasoning, and verbal behavior

    PubMed Central

    Terrell, Dudley J.; Johnston, J. M.

    1989-01-01

    This paper analyzes the traditional concepts of logic and reasoning from the perspective of radical behaviorism and in the terms of Skinner's treatment of verbal behavior. The topics covered in this analysis include the proposition, premises and conclusions, logicality and rules, and deductive and inductive reasoning. PMID:22478015

  15. Binary logic is rich enough

    SciTech Connect

    Zapatrin, R.R.

    1992-02-01

    Given a finite ortholattice L, the *-semigroup is explicitly built whose annihilator ortholattice is isomorphic to L. Thus, it is shown that any finite quantum logic is the additive part of a binary logic. Some areas of possible applications are outlined. 7 refs.

  16. Logic and the National Curriculum.

    ERIC Educational Resources Information Center

    Nelson, David

    2000-01-01

    Reviews the historic relationship between logic and the mathematics curriculum. Proposes a list of logical elements for modern school mathematics. Checks the current national curriculum against this list and finds it to be deficient, especially in relation to the development of ideas of proof. Presents arguments for reform. (Contains 29…

  17. A scheme of developing frequency encoded tristate-optical logic operations using semiconductor optical amplifier

    NASA Astrophysics Data System (ADS)

    Garai, Sisir Kumar

    2010-03-01

    The ever increasing demand for very fast and agile optical networks requires very fast execution of different optical and logical operations as well as large information handling capacities at the same time. In conventional binary logic based operations the information is represented by two distinct states only (0 and 1 state). It limits the large information handling capacity and speed of different arithmetic and optical logic operations. Tristate based logic operations can be accommodated with optics successfully in data processing, as this type of operation can enhance the speed of operation as well as increase the information handling capacity. Here in this communication the author proposes a new method to implement all-optical different logic gates with tristate logic using the frequency-encoding principle. The frequency encoding/decoding based optical communication has distinctly great advantages because the frequency is the fundamental character of an optical signal and it preserves its identity throughout the communication. The principle of the rotation of the state of polarization of a probe beam through semiconductor optical amplifier (SOA), frequency routing property of an optical add/drop multiplexer (AD) and high frequency conversion property of reflecting semiconductor optical amplifiers (RSOA) have been exploited here to implement the desired AND, OR, NAND and NOR logic operations with tristate logic.

  18. Weighted Automata and Weighted Logics

    NASA Astrophysics Data System (ADS)

    Droste, Manfred; Gastin, Paul

    In automata theory, a fundamental result of Büchi and Elgot states that the recognizable languages are precisely the ones definable by sentences of monadic second order logic. We will present a generalization of this result to the context of weighted automata. We develop syntax and semantics of a quantitative logic; like the behaviors of weighted automata, the semantics of sentences of our logic are formal power series describing ‘how often’ the sentence is true for a given word. Our main result shows that if the weights are taken in an arbitrary semiring, then the behaviors of weighted automata are precisely the series definable by sentences of our quantitative logic. We achieve a similar characterization for weighted Büchi automata acting on infinite words, if the underlying semiring satisfies suitable completeness assumptions. Moreover, if the semiring is additively locally finite or locally finite, then natural extensions of our weighted logic still have the same expressive power as weighted automata.

  19. Power optimization in logic isomers

    NASA Technical Reports Server (NTRS)

    Panwar, Ramesh; Rennels, David; Alkalaj, Leon

    1993-01-01

    Logic isomers are labeled, 2-isomorphic graphs that implement the same logic function. Logic isomers may have significantly different power requirements even though they have the same number of transistors in the implementation. The power requirements of the isomers depend on the transition activity of the input signals. The power requirements of isomorphic graph isomers of n-input NAND and NOR gates are shown. Choosing the less power-consuming isomer instead of the others can yield significant power savings. Experimental results on a ripple-carry adder are presented to show that the implementation using the least power-consuming isomers requires approximately 10 percent less power than the implementation using the most power-consuming isomers. Simulations of other random logic designs also confirm that designs using less power-consuming isomers can reduce the logic power demand by approximately 10 percent as compared to designs using more power-consuming isomers.

  20. Nucleic acid based logical systems.

    PubMed

    Han, Da; Kang, Huaizhi; Zhang, Tao; Wu, Cuichen; Zhou, Cuisong; You, Mingxu; Chen, Zhuo; Zhang, Xiaobing; Tan, Weihong

    2014-05-12

    Researchers increasingly visualize a significant role for artificial biochemical logical systems in biological engineering, much like digital logic circuits in electrical engineering. Those logical systems could be utilized as a type of servomechanism to control nanodevices in vitro, monitor chemical reactions in situ, or regulate gene expression in vivo. Nucleic acids (NA), as carriers of genetic information with well-regulated and predictable structures, are promising materials for the design and engineering of biochemical circuits. A number of logical devices based on nucleic acids (NA) have been designed to handle various processes for technological or biotechnological purposes. This article focuses on the most recent and important developments in NA-based logical devices and their evolution from in vitro, through cellular, even towards in vivo biological applications.

  1. Auditory Discrimination in Depth (ADD)[R]/Lindamood Phonemic Sequencing (LiPS)[R]. What Works Clearinghouse Intervention Report

    ERIC Educational Resources Information Center

    What Works Clearinghouse, 2007

    2007-01-01

    The "Auditory Discrimination in Depth (ADD) Program[R]" (currently called the "Lindamood Phonemic Sequencing (LiPS) Program[R]") is designed to teach students skills to successfully decode words and to identify individual sounds and blends in words. Initial activities engage students in discovering the lip, tongue, and mouth actions needed to…

  2. A logic model framework for community nutrition education.

    PubMed

    Medeiros, Lydia C; Butkus, Sue Nicholson; Chipman, Helen; Cox, Ruby H; Jones, Larry; Little, Deborah

    2005-01-01

    Logic models are a practical method for systematically collecting impact data for community nutrition efforts, such as the Food Stamp Nutrition Education program. This report describes the process used to develop and test the Community Nutrition Education Logic Model and the results of a pilot study to determine whether national evaluation data could be captured without losing flexibility of programming and evaluation at the state level. The objectives were to develop an evaluation framework based on the Logic Model to include dietary quality, food safety, food security, and shopping behavior/food resource management and to develop a training mechanism for use. The portability feature of the model should allow application to a variety of community education programs.

  3. 42 CFR 83.19 - How can the Secretary cancel or modify a final decision to add a class of employees to the Cohort?

    Code of Federal Regulations, 2013 CFR

    2013-10-01

    ... decision to add a class of employees to the Cohort? 83.19 Section 83.19 Public Health PUBLIC HEALTH SERVICE... EMPLOYEES OCCUPATIONAL ILLNESS COMPENSATION PROGRAM ACT OF 2000 Procedures for Adding Classes of Employees to the Cohort § 83.19 How can the Secretary cancel or modify a final decision to add a class...

  4. 42 CFR 83.17 - How will the Secretary report a final decision to add a class of employees to the Cohort and any...

    Code of Federal Regulations, 2014 CFR

    2014-10-01

    ... add a class of employees to the Cohort and any action of Congress concerning the effect of the final... COMPENSATION PROGRAM ACT OF 2000 Procedures for Adding Classes of Employees to the Cohort § 83.17 How will the Secretary report a final decision to add a class of employees to the Cohort and any action of...

  5. 42 CFR 83.19 - How can the Secretary cancel or modify a final decision to add a class of employees to the Cohort?

    Code of Federal Regulations, 2010 CFR

    2010-10-01

    ... decision to add a class of employees to the Cohort? 83.19 Section 83.19 Public Health PUBLIC HEALTH SERVICE... EMPLOYEES OCCUPATIONAL ILLNESS COMPENSATION PROGRAM ACT OF 2000 Procedures for Adding Classes of Employees to the Cohort § 83.19 How can the Secretary cancel or modify a final decision to add a class...

  6. 42 CFR 83.17 - How will the Secretary report a final decision to add a class of employees to the Cohort and any...

    Code of Federal Regulations, 2011 CFR

    2011-10-01

    ... add a class of employees to the Cohort and any action of Congress concerning the effect of the final... COMPENSATION PROGRAM ACT OF 2000 Procedures for Adding Classes of Employees to the Cohort § 83.17 How will the Secretary report a final decision to add a class of employees to the Cohort and any action of...

  7. 42 CFR 83.19 - How can the Secretary cancel or modify a final decision to add a class of employees to the Cohort?

    Code of Federal Regulations, 2011 CFR

    2011-10-01

    ... decision to add a class of employees to the Cohort? 83.19 Section 83.19 Public Health PUBLIC HEALTH SERVICE... EMPLOYEES OCCUPATIONAL ILLNESS COMPENSATION PROGRAM ACT OF 2000 Procedures for Adding Classes of Employees to the Cohort § 83.19 How can the Secretary cancel or modify a final decision to add a class...

  8. 42 CFR 83.17 - How will the Secretary report a final decision to add a class of employees to the Cohort and any...

    Code of Federal Regulations, 2013 CFR

    2013-10-01

    ... add a class of employees to the Cohort and any action of Congress concerning the effect of the final... COMPENSATION PROGRAM ACT OF 2000 Procedures for Adding Classes of Employees to the Cohort § 83.17 How will the Secretary report a final decision to add a class of employees to the Cohort and any action of...

  9. 42 CFR 83.19 - How can the Secretary cancel or modify a final decision to add a class of employees to the Cohort?

    Code of Federal Regulations, 2012 CFR

    2012-10-01

    ... decision to add a class of employees to the Cohort? 83.19 Section 83.19 Public Health PUBLIC HEALTH SERVICE... EMPLOYEES OCCUPATIONAL ILLNESS COMPENSATION PROGRAM ACT OF 2000 Procedures for Adding Classes of Employees to the Cohort § 83.19 How can the Secretary cancel or modify a final decision to add a class...

  10. 42 CFR 83.17 - How will the Secretary report a final decision to add a class of employees to the Cohort and any...

    Code of Federal Regulations, 2012 CFR

    2012-10-01

    ... add a class of employees to the Cohort and any action of Congress concerning the effect of the final... COMPENSATION PROGRAM ACT OF 2000 Procedures for Adding Classes of Employees to the Cohort § 83.17 How will the Secretary report a final decision to add a class of employees to the Cohort and any action of...

  11. 42 CFR 83.19 - How can the Secretary cancel or modify a final decision to add a class of employees to the Cohort?

    Code of Federal Regulations, 2014 CFR

    2014-10-01

    ... decision to add a class of employees to the Cohort? 83.19 Section 83.19 Public Health PUBLIC HEALTH SERVICE... EMPLOYEES OCCUPATIONAL ILLNESS COMPENSATION PROGRAM ACT OF 2000 Procedures for Adding Classes of Employees to the Cohort § 83.19 How can the Secretary cancel or modify a final decision to add a class...

  12. Using LogicWorks to Teach Logic Design.

    ERIC Educational Resources Information Center

    Spoerri, Peter

    1988-01-01

    Discusses a computer simulation to teach logic design using a Macintosh computer which allows circuits to be built piece by piece. Describes features of the simulation and presents several schematics drawn by the software. (MVL)

  13. Suicide as social logic.

    PubMed

    Kral, M J

    1994-01-01

    Although suicide is not viewed as a mental disorder per se, it is viewed by many if not most clinicians, researchers, and lay people as a real or natural symptom of depression. It is at least most typically seen as the unfortunate, severe, yet logical end result of a chain of negative self-appraisals, negative events, and hopelessness. Extending an approach articulated by the early French sociologist Gabriel Tarde, in this paper I argue that suicide is merely an idea, albeit a very bad one, having more in common with societal beliefs and norms regarding such things as divorce, abortion, sex, politics, consumer behavior, and fashion. I make a sharp contrast between perturbation and lethality, concepts central to Edwin S. Shneidman's theory of suicide. Evidence supportive of suicide as an idea is discussed based on what we are learning from the study of history and culture, and about contagion/cluster phenomena, media/communication, and choice of method. It is suggested that certain individuals are more vulnerable to incorporate the idea and act of suicide into their concepts of self, based on the same principles by which ideas are spread throughout society. Just as suicide impacts on society, so does society impact on suicide.

  14. The Logic of Reachability

    NASA Technical Reports Server (NTRS)

    Smith, David E.; Jonsson, Ari K.; Clancy, Daniel (Technical Monitor)

    2001-01-01

    In recent years, Graphplan style reachability analysis and mutual exclusion reasoning have been used in many high performance planning systems. While numerous refinements and extensions have been developed, the basic plan graph structure and reasoning mechanisms used in these systems are tied to the very simple STRIPS model of action. In 1999, Smith and Weld generalized the Graphplan methods for reachability and mutex reasoning to allow actions to have differing durations. However, the representation of actions still has some severe limitations that prevent the use of these techniques for many real-world planning systems. In this paper, we 1) separate the logic of reachability from the particular representation and inference methods used in Graphplan, and 2) extend the notions of reachability and mutual exclusion to more general notions of time and action. As it turns out, the general rules for mutual exclusion reasoning take on a remarkably clean and simple form. However, practical instantiations of them turn out to be messy, and require that we make representation and reasoning choices.

  15. Formalized Epistemology, Logic, and Grammar

    NASA Astrophysics Data System (ADS)

    Bitbol, Michel

    The task of a formal epistemology is defined. It appears that a formal epistemology must be a generalization of "logic" in the sense of Wittgenstein's Tractatus. The generalization is required because, whereas logic presupposes a strict relation between activity and language, this relation may be broken in some domains of experimental enquiry (e.g., in microscopic physics). However, a formal epistemology should also retain a major feature of Wittgenstein's "logic": It must not be a discourse about scientific knowledge, but rather a way of making manifest the structures usually implicit in knowledge-gaining activity. This strategy is applied to the formalism of quantum mechanics.

  16. 'Pokemon Go' Players Add 2,000 Steps a Day

    MedlinePlus

    ... Pokemon Go' Players Add 2,000 Steps a Day Smartphone game benefits overweight, sedentary people most, researchers ... as likely to walk 10,000 steps a day than they were before taking up the game, ...

  17. Top 5 Ways to Help Students with ADD/ADHD

    ERIC Educational Resources Information Center

    Johnson, Kathy

    2011-01-01

    This article suggests five ways to help students with ADD/ADHD. These are: (1) Integrate the primitive reflexes; (2) Diet; (3) Visual attention; (4) Help for auditory attention; and (5) Cognitive training.

  18. TDRS-K to Add to Vital Space Network

    NASA Video Gallery

    NASA officials discuss the launch of the TDRS-K spacecraft to add to the space network that enables communications between the International Space Station and Earth-orbiting satellites and ground c...

  19. File Searching Problems in Logic Programming Systems.

    DTIC Science & Technology

    1983-02-01

    106 flambda 57 float 107 floatp 106 fntype 65 frunno 145 fuzz 86 gc 14 genchar 7 gensym 37 get 93 gettun 65 getval 42 go 77 greaterp 87 grinu 168 gts...tuzz gc 9c god gctlm genchar gensym greaterp greaterp, grind grirxet grini MU grinprops MU gts hairpri k~lcor (u) h~hend (M hghorg (uI) hprnim ibas

  20. Logic Programming in Digital Circuit Design

    DTIC Science & Technology

    1991-12-01

    facts. Computers using AI software can be useful in discovering design mistakes before they become a problem [46]. AFIT currently supports research ...and the objectives of this research along with an overall view of assumptions and methodologies are stated. Chapter 2 presents a brief history of...chapter, Chapter 7, discusses the strengths and weaknesses of the algorithms presented and makes recommendations for the direction of future research

  1. Logic Programming and Knowledge Base Maintenance.

    DTIC Science & Technology

    1986-09-30

    but not exhaustively, surveyed much of the literature , and became convinced that many of the advantages of frames and semantic nets can be captured in...consists of. needs(john,money). married_to~john,mary). loves(john,mary). (mary is the dead victim in this thriller .) The victim’s sister sara consists of

  2. A Programming Logic for Distributed Systems

    DTIC Science & Technology

    2007-11-02

    with developers of distributed real-time systems. It can be thought of as a generalization of "message sequence charts." This formalism greatly sim...structures, which formalize and generalize the notion of "message sequence charts" and provide a very natural setting for specification and...formalism is to leave the message au- tomata implicit. The user reasons in terms of event structures (message sequence charts) and the system extracts

  3. Digital logic testing and testability

    NASA Astrophysics Data System (ADS)

    Debany, Warren H., Jr.

    1991-02-01

    Electronic hardware is subject to defects that are introduced at the time of manufacture and failures that occur in the field. Because of the complexity of digital logic circuits, they are difficult to test. This report provides an overview of digital logic testing. It provides access to the literature and unifies terminology and concepts that have evolved in this field. It discusses the types and causes of failures in digital logic. This report presents the topics of logic and fault simulation, fault grading, test generation algorithms, and fault isolation. The discussion of testability measurement is useful for understanding testability requirements and analysis techniques. Design-for-testability and built in test techniques are presented.

  4. Knowledge representation in fuzzy logic

    NASA Technical Reports Server (NTRS)

    Zadeh, Lotfi A.

    1989-01-01

    The author presents a summary of the basic concepts and techniques underlying the application of fuzzy logic to knowledge representation. He then describes a number of examples relating to its use as a computational system for dealing with uncertainty and imprecision in the context of knowledge, meaning, and inference. It is noted that one of the basic aims of fuzzy logic is to provide a computational framework for knowledge representation and inference in an environment of uncertainty and imprecision. In such environments, fuzzy logic is effective when the solutions need not be precise and/or it is acceptable for a conclusion to have a dispositional rather than categorical validity. The importance of fuzzy logic derives from the fact that there are many real-world applications which fit these conditions, especially in the realm of knowledge-based systems for decision-making and control.

  5. Emerging Standards for Medical Logic

    PubMed Central

    Clayton, Paul D.; Hripcsak, George; Pryor, T. Allan

    1990-01-01

    Sharing medical logic has traditionally occurred in the form of lectures, conversations, books and journals. As knowledge based computer systems have demonstrated their utility in the health care arena, individuals have pondered the best way to transfer knowledge in a computer based representation (1). A simple representation which allows the knowledge to be shared can be constructed when the knowledge base is modular. Within this representation, units have been named Medical Logic Modules (MLM's) and a syntax has emerged which would allow multiple users to create, criticize, and share those types of medical logic which can be represented in this format. In this paper we talk about why standards exist and why they emerge in some areas and not in others. The appropriateness of using the proposed standards for medical logic modules is then examined against this broader context.

  6. Reactivity measurement using a programmable logic controller

    SciTech Connect

    Bobek, L.M.; Miraglia, P.Q.

    1995-12-31

    The application of digital systems for measuring reactor dynamics has been used at experimental and research reactors for almost 30 yr. At the Worcester Polytechnic Institute (WPI) nuclear reactor facility (NRF), a recent modernization effort included the installation of a programmable logic controller (PLC) and an operator interface terminal (OIT). The PLC systems are increasingly being used to replace relay-based monitoring and control systems at nuclear power plants. At WPI, the PLC and OIT provide a digital reactor monitoring system that is remote from the reactor`s analog control instrumentation. The NRF staff has programmed the monitoring system for several reactor-related applications, including reactivity measurement.

  7. Heat exchanger expert system logic

    NASA Technical Reports Server (NTRS)

    Cormier, R.

    1988-01-01

    The reduction is described of the operation and fault diagnostics of a Deep Space Network heat exchanger to a rule base by the application of propositional calculus to a set of logic statements. The value of this approach lies in the ease of converting the logic and subsequently implementing it on a computer as an expert system. The rule base was written in Process Intelligent Control software.

  8. Optically controllable molecular logic circuits

    SciTech Connect

    Nishimura, Takahiro Fujii, Ryo; Ogura, Yusuke; Tanida, Jun

    2015-07-06

    Molecular logic circuits represent a promising technology for observation and manipulation of biological systems at the molecular level. However, the implementation of molecular logic circuits for temporal and programmable operation remains challenging. In this paper, we demonstrate an optically controllable logic circuit that uses fluorescence resonance energy transfer (FRET) for signaling. The FRET-based signaling process is modulated by both molecular and optical inputs. Based on the distance dependence of FRET, the FRET pathways required to execute molecular logic operations are formed on a DNA nanostructure as a circuit based on its molecular inputs. In addition, the FRET pathways on the DNA nanostructure are controlled optically, using photoswitching fluorescent molecules to instruct the execution of the desired operation and the related timings. The behavior of the circuit can thus be controlled using external optical signals. As an example, a molecular logic circuit capable of executing two different logic operations was studied. The circuit contains functional DNAs and a DNA scaffold to construct two FRET routes for executing Input 1 AND Input 2 and Input 1 AND NOT Input 3 operations on molecular inputs. The circuit produced the correct outputs with all possible combinations of the inputs by following the light signals. Moreover, the operation execution timings were controlled based on light irradiation and the circuit responded to time-dependent inputs. The experimental results demonstrate that the circuit changes the output for the required operations following the input of temporal light signals.

  9. Risk analysis with a fuzzy-logic approach of a complex installation

    NASA Astrophysics Data System (ADS)

    Peikert, Tim; Garbe, Heyno; Potthast, Stefan

    2016-09-01

    This paper introduces a procedural method based on fuzzy logic to analyze systematic the risk of an electronic system in an intentional electromagnetic environment (IEME). The method analyzes the susceptibility of a complex electronic installation with respect to intentional electromagnetic interference (IEMI). It combines the advantages of well-known techniques as fault tree analysis (FTA), electromagnetic topology (EMT) and Bayesian networks (BN) and extends the techniques with an approach to handle uncertainty. This approach uses fuzzy sets, membership functions and fuzzy logic to handle the uncertainty with probability functions and linguistic terms. The linguistic terms add to the risk analysis the knowledge from experts of the investigated system or environment.

  10. Tribotronic Logic Circuits and Basic Operations.

    PubMed

    Zhang, Chi; Zhang, Li Min; Tang, Wei; Han, Chang Bao; Wang, Zhong Lin

    2015-06-17

    A tribotronic logic device is fabricated to convert external mechanical stimuli into logic level signals, and tribotronic logic circuits such as NOT, AND, OR, NAND, NOR, XOR, and XNOR gates are demonstrated for performing mechanical-electrical coupled tribotronic logic operations, which realize the direct interaction between the external environment and the current silicon integrated circuits.

  11. California Geriatric Education Center Logic Model: An Evaluation and Communication Tool

    ERIC Educational Resources Information Center

    Price, Rachel M.; Alkema, Gretchen E.; Frank, Janet C.

    2009-01-01

    A logic model is a communications tool that graphically represents a program's resources, activities, priority target audiences for change, and the anticipated outcomes. This article describes the logic model development process undertaken by the California Geriatric Education Center in spring 2008. The CGEC is one of 48 Geriatric Education…

  12. Fuzzy logic control of telerobot manipulators

    NASA Technical Reports Server (NTRS)

    Franke, Ernest A.; Nedungadi, Ashok

    1992-01-01

    Telerobot systems for advanced applications will require manipulators with redundant 'degrees of freedom' (DOF) that are capable of adapting manipulator configurations to avoid obstacles while achieving the user specified goal. Conventional methods for control of manipulators (based on solution of the inverse kinematics) cannot be easily extended to these situations. Fuzzy logic control offers a possible solution to these needs. A current research program at SRI developed a fuzzy logic controller for a redundant, 4 DOF, planar manipulator. The manipulator end point trajectory can be specified by either a computer program (robot mode) or by manual input (teleoperator). The approach used expresses end-point error and the location of manipulator joints as fuzzy variables. Joint motions are determined by a fuzzy rule set without requiring solution of the inverse kinematics. Additional rules for sensor data, obstacle avoidance and preferred manipulator configuration, e.g., 'righty' or 'lefty', are easily accommodated. The procedure used to generate the fuzzy rules can be extended to higher DOF systems.

  13. Project ALPHA (Advanced Learning Program in the Humanities and Arts): Logic. Study and Practice in Critical Thinking. A Study Unit Designed for Education of the Gifted in the Humanities and the Arts.

    ERIC Educational Resources Information Center

    Le Storti, Anthony J.; And Others

    The set of three units, designed for middle and junior high school gifted students, includes 30 lessons on logic and critical thinking. Each lesson includes information on objectives, materials, and teaching presentation suggestions. Ten deductive reasoning lessons focus on such topics as fact and opinion, tests for validity of deductive…

  14. Logic Models: Evaluating Education Doctorates in Educational Administration

    ERIC Educational Resources Information Center

    Creighton, Theodore

    2008-01-01

    The author suggests the Logic Model, used especially in the Health Science field, as a model for evaluating the quality of the educational doctorate (i.e., EdD). The manuscript highlights the newly developed EdD program at Virginia Tech.

  15. ProADD: A database on Protein Aggregation Diseases

    PubMed Central

    Shobana, Ramesh; Pandaranayaka, Eswari PJ

    2014-01-01

    ProADD, a database for protein aggregation diseases, is developed to organize the data under a single platform to facilitate easy access for researchers. Diseases caused due to protein aggregation and the proteins involved in each of these diseases are integrated. The database helps in classification of proteins involved in the protein aggregation diseases based on sequence and structural analysis. Analysis of proteins can be done to mine patterns prevailing among the aggregating proteins. Availability http://bicmku.in/ProADD PMID:25097386

  16. Experimental demonstration of programmable multi-functional spin logic cell based on spin Hall effect

    NASA Astrophysics Data System (ADS)

    Zhang, X.; Wan, C. H.; Yuan, Z. H.; Fang, C.; Kong, W. J.; Wu, H.; Zhang, Q. T.; Tao, B. S.; Han, X. F.

    2017-04-01

    Confronting with the gigantic volume of data produced every day, raising integration density by reducing the size of devices becomes harder and harder to meet the ever-increasing demand for high-performance computers. One feasible path is to actualize more logic functions in one cell. In this respect, we experimentally demonstrate a prototype spin-orbit torque based spin logic cell integrated with five frequently used logic functions (AND, OR, NOT, NAND and NOR). The cell can be easily programmed and reprogrammed to perform desired function. Furthermore, the information stored in cells is symmetry-protected, making it possible to expand into logic gate array where the cell can be manipulated one by one without changing the information of other undesired cells. This work provides a prospective example of multi-functional spin logic cell with reprogrammability and nonvolatility, which will advance the application of spin logic devices.

  17. Reasoning with Computer Code: a new Mathematical Logic

    NASA Astrophysics Data System (ADS)

    Pissanetzky, Sergio

    2013-01-01

    A logic is a mathematical model of knowledge used to study how we reason, how we describe the world, and how we infer the conclusions that determine our behavior. The logic presented here is natural. It has been experimentally observed, not designed. It represents knowledge as a causal set, includes a new type of inference based on the minimization of an action functional, and generates its own semantics, making it unnecessary to prescribe one. This logic is suitable for high-level reasoning with computer code, including tasks such as self-programming, objectoriented analysis, refactoring, systems integration, code reuse, and automated programming from sensor-acquired data. A strong theoretical foundation exists for the new logic. The inference derives laws of conservation from the permutation symmetry of the causal set, and calculates the corresponding conserved quantities. The association between symmetries and conservation laws is a fundamental and well-known law of nature and a general principle in modern theoretical Physics. The conserved quantities take the form of a nested hierarchy of invariant partitions of the given set. The logic associates elements of the set and binds them together to form the levels of the hierarchy. It is conjectured that the hierarchy corresponds to the invariant representations that the brain is known to generate. The hierarchies also represent fully object-oriented, self-generated code, that can be directly compiled and executed (when a compiler becomes available), or translated to a suitable programming language. The approach is constructivist because all entities are constructed bottom-up, with the fundamental principles of nature being at the bottom, and their existence is proved by construction. The new logic is mathematically introduced and later discussed in the context of transformations of algorithms and computer programs. We discuss what a full self-programming capability would really mean. We argue that self-programming

  18. Logic, probability, and human reasoning.

    PubMed

    Johnson-Laird, P N; Khemlani, Sangeet S; Goodwin, Geoffrey P

    2015-04-01

    This review addresses the long-standing puzzle of how logic and probability fit together in human reasoning. Many cognitive scientists argue that conventional logic cannot underlie deductions, because it never requires valid conclusions to be withdrawn - not even if they are false; it treats conditional assertions implausibly; and it yields many vapid, although valid, conclusions. A new paradigm of probability logic allows conclusions to be withdrawn and treats conditionals more plausibly, although it does not address the problem of vapidity. The theory of mental models solves all of these problems. It explains how people reason about probabilities and postulates that the machinery for reasoning is itself probabilistic. Recent investigations accordingly suggest a way to integrate probability and deduction.

  19. Fuzzy logic particle tracking velocimetry

    NASA Technical Reports Server (NTRS)

    Wernet, Mark P.

    1993-01-01

    Fuzzy logic has proven to be a simple and robust method for process control. Instead of requiring a complex model of the system, a user defined rule base is used to control the process. In this paper the principles of fuzzy logic control are applied to Particle Tracking Velocimetry (PTV). Two frames of digitally recorded, single exposure particle imagery are used as input. The fuzzy processor uses the local particle displacement information to determine the correct particle tracks. Fuzzy PTV is an improvement over traditional PTV techniques which typically require a sequence (greater than 2) of image frames for accurately tracking particles. The fuzzy processor executes in software on a PC without the use of specialized array or fuzzy logic processors. A pair of sample input images with roughly 300 particle images each, results in more than 200 velocity vectors in under 8 seconds of processing time.

  20. The semantics of fuzzy logic

    NASA Technical Reports Server (NTRS)

    Ruspini, Enrique H.

    1991-01-01

    Summarized here are the results of recent research on the conceptual foundations of fuzzy logic. The focus is primarily on the principle characteristics of a model that quantifies resemblance between possible worlds by means of a similarity function that assigns a number between 0 and 1 to every pair of possible worlds. Introduction of such a function permits one to interpret the major constructs and methods of fuzzy logic: conditional and unconditional possibility and necessity distributions and the generalized modus ponens of Zadeh on the basis of related metric relationships between subsets of possible worlds.

  1. Superconducting gates with fluxon logics

    NASA Astrophysics Data System (ADS)

    Nacak, H.; Kusmartsev, F. V.

    2010-10-01

    We have developed several logic gates (OR, XOR, AND and NAND) made of superconducting Josephson junctions. The gates based of the flux cloning phenomenon and high speed of fluxons moving in Josephson junctions of different shapes. In a contrast with previous design the gates operates extremely fast since fluxons are moving with the speed close to the speed of light. We have demonstrated their operations and indicated several ways to made a more complicated logic elements which have at the same time a compact form.

  2. Dynamic Logic Assigned to Automata

    NASA Astrophysics Data System (ADS)

    Chajda, Ivan; Paseka, Jan

    2017-02-01

    A dynamic logic B can be assigned to every automaton [InlineMediaObject not available: see fulltext.] without regard if [InlineMediaObject not available: see fulltext.] is deterministic or nondeterministic. This logic enables us to formulate observations on [InlineMediaObject not available: see fulltext.] in the form of composed propositions and, due to a transition functor T, it captures the dynamic behaviour of [InlineMediaObject not available: see fulltext.]. There are formulated conditions under which the automaton [InlineMediaObject not available: see fulltext.] can be recovered by means of B and T.

  3. A Logical Approach to Entanglement

    NASA Astrophysics Data System (ADS)

    Das, Abhishek

    2016-10-01

    In this paper we innovate a logical approach to develop an intuition regarding the phenomenon of quantum entanglement. In the vein of the logic introduced we substantiate that particles that were entangled in the past will be entangled in perpetuity and thereby abide a rule that restricts them to act otherwise. We also introduce a game and by virtue of the concept of Nash equilibrium we have been able to show that entangled particles will mutually correspond to an experiment that is performed on any one of the particle.

  4. 78 FR 36550 - Determination Concerning a Petition To Add a Class of Employees to the Special Exposure Cohort

    Federal Register 2010, 2011, 2012, 2013, 2014

    2013-06-18

    ...HHS gives notice of a determination concerning a petition to add a class of employees from the Brookhaven National Laboratory in Upton, New York, to the Special Exposure Cohort (SEC) under the Energy Employees Occupational Illness Compensation Program Act of 2000 (EEOICPA). On June 7, 2013, the Secretary of HHS determined that the following class of employees does not meet the statutory......

  5. Model checking for linear temporal logic: An efficient implementation

    NASA Technical Reports Server (NTRS)

    Sherman, Rivi; Pnueli, Amir

    1990-01-01

    This report provides evidence to support the claim that model checking for linear temporal logic (LTL) is practically efficient. Two implementations of a linear temporal logic model checker is described. One is based on transforming the model checking problem into a satisfiability problem; the other checks an LTL formula for a finite model by computing the cross-product of the finite state transition graph of the program with a structure containing all possible models for the property. An experiment was done with a set of mutual exclusion algorithms and tested safety and liveness under fairness for these algorithms.

  6. Enhancing Teaching using MATLAB Add-Ins for Excel

    ERIC Educational Resources Information Center

    Hamilton, Paul V.

    2004-01-01

    In this paper I will illustrate how to extend the capabilities of Microsoft Excel spreadsheets with add-ins created by MATLAB. Excel provides a broad array of fundamental tools but often comes up short when more sophisticated scenarios are involved. To overcome this short-coming of Excel while retaining its ease of use, I will describe how…

  7. Four Simple Ways to Add Movement in Daily Lessons

    ERIC Educational Resources Information Center

    Helgeson, John

    2011-01-01

    Adding movement to classroom activities not only engages students, but also may improve the classroom climate and reduce disruptions. In this article, the author discusses four simple activities to add movement in daily lessons. These activities are: (1) Vocabulary/Notes around the Room; (2) Cooperative Learning: Posting Task Assignments; (3)…

  8. Accommodating College Students with Learning Disabilities: ADD, ADHD, and Dyslexia

    ERIC Educational Resources Information Center

    Vickers, Melana Zyla

    2010-01-01

    Universities are providing extra time on tests, quiet exam rooms, in-class note-takers, and other assistance to college students with modest learning disabilities. But these policies are shrouded in secrecy. This paper, "Accommodating College Students with Learning Disabilities: ADD, ADHD, and Dyslexia," by Melana Zyla Vickers, examines…

  9. Medicalised Pupils: The Case of ADD/ADHD

    ERIC Educational Resources Information Center

    Kristjansson, Kristjan

    2009-01-01

    Recent decades have seen an increasing number of life's problems conceptualised and interpreted through the prism of disease; among them are those affecting pupils at school. Witness the cases of hyperactivity and deficient attention, so often diagnosed as ADD/ADHD. Research indicates that there is at least some tendency towards overdiagnosis of…

  10. Water Softeners: How Much Sodium Do They Add?

    MedlinePlus

    ... healthy eating I'm trying to watch the sodium in my diet. Should I be concerned about sodium from water softeners? Answers from Sheldon G. Sheps, M.D. Regular tap water contains very little sodium. The amount of sodium a water softener adds ...

  11. Face equipment lighting: integrated vs. add-on

    SciTech Connect

    Scott, F.E.

    1982-10-01

    The problems of providing lighting on face equipment are examined. In the US, some equipment manufacturers are building-in lighting systems to their machinery; others will install lighting systems as add-on or retrofitted items. The pros and cons of each method are examined and the views of manufacturers are quoted.

  12. Mode-routed fiber-optic add-drop filter

    NASA Technical Reports Server (NTRS)

    Moslehi, Behzad (Inventor); Black, Richard James (Inventor); Shaw, Herbert John (Inventor)

    2000-01-01

    New elements mode-converting two-mode grating and mode-filtering two-mode coupler are disclosed and used as elements in a system for communications, add-drop filtering, and strain sensing. Methods of fabrication for these new two-mode gratings and mode-filtering two-mode couplers are also disclosed.

  13. ADD and ADHD: An Overview for School Counselors. ERIC Digest.

    ERIC Educational Resources Information Center

    Pledge, Deanna S.

    School counselors are often consultants for parents and teachers on problems that children and adolescents face. Attention deficit disorder (ADD) is one such problem. It is frequently misunderstood, presenting a challenge for parents and teachers alike. The counselor is a resource for initial identification and interventions at home and in the…

  14. Serving Students Diagnosed with ADD: Avoiding Deficits in Professional Attention.

    ERIC Educational Resources Information Center

    Stoner, Gary; Carey, Sean P.

    1992-01-01

    Responds to previous article (Hakola, this issue) on legal rights of students with Attention Deficit Disorder (ADD). Presents contrasting perspective on educational services for children diagnosed with Attention Deficit Hyperactivity Disorder, linked more closely to professional research and practice than to law. Concerns discussed are grounded in…

  15. Meeting Learning Challenges: Working with the Child Who Has ADD

    ERIC Educational Resources Information Center

    Greenspan, Stanley I.

    2006-01-01

    The terms ADD (Attention Deficit Disorder) and ADHD (Attention Deficit Hyperactivity Disorder) are applied to several symptoms, including: difficulty in paying attention, distractibility, having a hard time following through on things, and sometimes over-activity and impulsivity. There are many different reasons why children have these symptoms.…

  16. Towards Quantifying Programmable Logic Controller Resilience Against Intentional Exploits

    DTIC Science & Technology

    2012-03-22

    the metric applicable. The data used for this research is derived from PLC simulations executed on LogixPro ® 500 software. The definition for...applied to the SUT are primarily fixed attributes of the PLC emulation provided by LogixPro ® 500; the varying parameter during experimentation is the...programmed in ladder logic from a laptop with the accompanying LogixPro ® 500 software package associated with the PLC. The program is loaded to the

  17. Designing Experiments to Discriminate Families of Logic Models

    PubMed Central

    Videla, Santiago; Konokotina, Irina; Alexopoulos, Leonidas G.; Saez-Rodriguez, Julio; Schaub, Torsten; Siegel, Anne; Guziolowski, Carito

    2015-01-01

    Logic models of signaling pathways are a promising way of building effective in silico functional models of a cell, in particular of signaling pathways. The automated learning of Boolean logic models describing signaling pathways can be achieved by training to phosphoproteomics data, which is particularly useful if it is measured upon different combinations of perturbations in a high-throughput fashion. However, in practice, the number and type of allowed perturbations are not exhaustive. Moreover, experimental data are unavoidably subjected to noise. As a result, the learning process results in a family of feasible logical networks rather than in a single model. This family is composed of logic models implementing different internal wirings for the system and therefore the predictions of experiments from this family may present a significant level of variability, and hence uncertainty. In this paper, we introduce a method based on Answer Set Programming to propose an optimal experimental design that aims to narrow down the variability (in terms of input–output behaviors) within families of logical models learned from experimental data. We study how the fitness with respect to the data can be improved after an optimal selection of signaling perturbations and how we learn optimal logic models with minimal number of experiments. The methods are applied on signaling pathways in human liver cells and phosphoproteomics experimental data. Using 25% of the experiments, we obtained logical models with fitness scores (mean square error) 15% close to the ones obtained using all experiments, illustrating the impact that our approach can have on the design of experiments for efficient model calibration. PMID:26389116

  18. Using logic models in a community-based agricultural injury prevention project.

    PubMed

    Helitzer, Deborah; Willging, Cathleen; Hathorn, Gary; Benally, Jeannie

    2009-01-01

    The National Institute for Occupational Safety and Health has long promoted the logic model as a useful tool in an evaluator's portfolio. Because a logic model supports a systematic approach to designing interventions, it is equally useful for program planners. Undertaken with community stakeholders, a logic model process articulates the underlying foundations of a particular programmatic effort and enhances program design and evaluation. Most often presented as sequenced diagrams or flow charts, logic models demonstrate relationships among the following components: statement of a problem, various causal and mitigating factors related to that problem, available resources to address the problem, theoretical foundations of the selected intervention, intervention goals and planned activities, and anticipated short- and long-term outcomes. This article describes a case example of how a logic model process was used to help community stakeholders on the Navajo Nation conceive, design, implement, and evaluate agricultural injury prevention projects.

  19. Selection Shapes Transcriptional Logic and Regulatory Specialization in Genetic Networks

    PubMed Central

    Fogelmark, Karl; Peterson, Carsten; Troein, Carl

    2016-01-01

    Background Living organisms need to regulate their gene expression in response to environmental signals and internal cues. This is a computational task where genes act as logic gates that connect to form transcriptional networks, which are shaped at all scales by evolution. Large-scale mutations such as gene duplications and deletions add and remove network components, whereas smaller mutations alter the connections between them. Selection determines what mutations are accepted, but its importance for shaping the resulting networks has been debated. Methodology To investigate the effects of selection in the shaping of transcriptional networks, we derive transcriptional logic from a combinatorially powerful yet tractable model of the binding between DNA and transcription factors. By evolving the resulting networks based on their ability to function as either a simple decision system or a circadian clock, we obtain information on the regulation and logic rules encoded in functional transcriptional networks. Comparisons are made between networks evolved for different functions, as well as with structurally equivalent but non-functional (neutrally evolved) networks, and predictions are validated against the transcriptional network of E. coli. Principal Findings We find that the logic rules governing gene expression depend on the function performed by the network. Unlike the decision systems, the circadian clocks show strong cooperative binding and negative regulation, which achieves tight temporal control of gene expression. Furthermore, we find that transcription factors act preferentially as either activators or repressors, both when binding multiple sites for a single target gene and globally in the transcriptional networks. This separation into positive and negative regulators requires gene duplications, which highlights the interplay between mutation and selection in shaping the transcriptional networks. PMID:26927540

  20. Completed Optimised Structure of Threonine Molecule by Fuzzy Logic Modelling

    NASA Astrophysics Data System (ADS)

    Sahiner, Ahmet; Ucun, Fatih; Kapusuz, Gulden; Yilmaz, Nurullah

    2016-04-01

    In this study we applied the fuzzy logic approach in order to model the energy depending on the two torsion angles for the threonine (C4H9NO3) molecule. The model is set up according to theoretical results obtained by the density functional theory (B3LYP) with a 6-31 G(d) basic set on a Gausian program. We aimed to determine the best torsion angle values providing the energy of the molecule minimum by a fuzzy logic approach and to compare them with the density functional theory results. It was concluded that the fuzzy logic approach gives information about the untested data and its best value which are expensive and time-consuming to obtain by other methods and experimentation.

  1. Project Management Plan for the INEL technology logic diagrams

    SciTech Connect

    Rudin, M.J.

    1992-10-01

    This Project Management Plan (PjMP) describes the elements of project planning and control that apply to activities outlined in Technical Task Plan (TTP) ID-121117, ``Technology Logic Diagrams For The INEL.`` The work on this project will be conducted by personnel in EG&G Idaho, Inc.`s Waste Technology Development Program. Technology logic diagrams represent a formal methodology to identify technology gaps or needs within Environmental Restoration/Waste Management Operations, which will focus on Office of Environmental Restoration and Waste Management (EM-50) research and development, demonstration, test, and evaluation efforts throughout the US Department of Energy complex. This PjMP describes the objectives, organization, roles and responsibilities, workscope and processes for implementing and managing the technology logic diagram for the Idaho National Engineering Laboratory project.

  2. Project Management Plan for the INEL technology logic diagrams

    SciTech Connect

    Rudin, M.J.

    1992-10-01

    This Project Management Plan (PjMP) describes the elements of project planning and control that apply to activities outlined in Technical Task Plan (TTP) ID-121117, Technology Logic Diagrams For The INEL.'' The work on this project will be conducted by personnel in EG G Idaho, Inc.'s Waste Technology Development Program. Technology logic diagrams represent a formal methodology to identify technology gaps or needs within Environmental Restoration/Waste Management Operations, which will focus on Office of Environmental Restoration and Waste Management (EM-50) research and development, demonstration, test, and evaluation efforts throughout the US Department of Energy complex. This PjMP describes the objectives, organization, roles and responsibilities, workscope and processes for implementing and managing the technology logic diagram for the Idaho National Engineering Laboratory project.

  3. Guide on Logical Database Design.

    ERIC Educational Resources Information Center

    Fong, Elizabeth N.; And Others

    This report discusses an iterative methodology for logical database design (LDD). The methodology includes four phases: local information-flow modeling, global information-flow modeling, conceptual schema design, and external schema modeling. These phases are intended to make maximum use of available information and user expertise, including the…

  4. Mathematical Induction: Deductive Logic Perspective

    ERIC Educational Resources Information Center

    Dogan, Hamide

    2016-01-01

    Many studies mentioned the deductive nature of Mathematical Induction (MI) proofs but almost all fell short in explaining its potential role in the formation of the misconceptions reported in the literature. This paper is the first of its kind looking at the misconceptions from the perspective of the abstract of the deductive logic from one's…

  5. Gateways to Writing Logical Arguments

    ERIC Educational Resources Information Center

    McCann, Thomas M.

    2010-01-01

    Middle school and high school students have a conception of what the basic demands of logic are, and they draw on this understanding in anticipating certain demands of parents and teachers when the adolescents have to defend positions. At the same time, many adolescents struggle to "write" highly elaborated arguments. Teaching students lessons in…

  6. Logical Empiricism, Politics, and Professionalism

    ERIC Educational Resources Information Center

    Edgar, Scott

    2009-01-01

    This paper considers George A. Reisch's account of the role of Cold War political forces in shaping the apolitical stance that came to dominate philosophy of science in the late 1940s and 1950s. It argues that at least as early as the 1930s, Logical Empiricists such as Rudolf Carnap already held that philosophy of science could not properly have…

  7. Generic physical protection logic trees

    SciTech Connect

    Paulus, W.K.

    1981-10-01

    Generic physical protection logic trees, designed for application to nuclear facilities and materials, are presented together with a method of qualitative evaluation of the trees for design and analysis of physical protection systems. One or more defense zones are defined where adversaries interact with the physical protection system. Logic trees that are needed to describe the possible scenarios within a defense zone are selected. Elements of a postulated or existing physical protection system are tagged to the primary events of the logic tree. The likelihood of adversary success in overcoming these elements is evaluated on a binary, yes/no basis. The effect of these evaluations is propagated through the logic of each tree to determine whether the adversary is likely to accomplish the end event of the tree. The physical protection system must be highly likely to overcome the adversary before he accomplishes his objective. The evaluation must be conducted for all significant states of the site. Deficiencies uncovered become inputs to redesign and further analysis, closing the loop on the design/analysis cycle.

  8. THEORIZING HYBRIDITY: INSTITUTIONAL LOGICS, COMPLEX ORGANIZATIONS, AND ACTOR IDENTITIES: THE CASE OF NONPROFITS

    PubMed Central

    SKELCHER, CHRIS; SMITH, STEVEN RATHGEB

    2015-01-01

    We propose a novel approach to theorizing hybridity in public and nonprofit organizations. The concept of hybridity is widely used to describe organizational responses to changes in governance, but the literature seldom explains how hybrids arise or what forms they take. Transaction cost and organizational design literatures offer some solutions, but lack a theory of agency. We use the institutional logics approach to theorize hybrids as entities that face a plurality of normative frames. Logics provide symbolic and material elements that structure organizational legitimacy and actor identities. Contradictions between institutional logics offer space for them to be elaborated and creatively reconstructed by situated agents. We propose five types of organizational hybridity – segmented, segregated, assimilated, blended, and blocked. Each type is theoretically derived from empirically observed variations in organizational responses to institutional plurality. We develop propositions to show how our approach to hybridity adds value to academic and policy-maker audiences. PMID:26640298

  9. THEORIZING HYBRIDITY: INSTITUTIONAL LOGICS, COMPLEX ORGANIZATIONS, AND ACTOR IDENTITIES: THE CASE OF NONPROFITS.

    PubMed

    Skelcher, Chris; Smith, Steven Rathgeb

    2015-06-01

    We propose a novel approach to theorizing hybridity in public and nonprofit organizations. The concept of hybridity is widely used to describe organizational responses to changes in governance, but the literature seldom explains how hybrids arise or what forms they take. Transaction cost and organizational design literatures offer some solutions, but lack a theory of agency. We use the institutional logics approach to theorize hybrids as entities that face a plurality of normative frames. Logics provide symbolic and material elements that structure organizational legitimacy and actor identities. Contradictions between institutional logics offer space for them to be elaborated and creatively reconstructed by situated agents. We propose five types of organizational hybridity - segmented, segregated, assimilated, blended, and blocked. Each type is theoretically derived from empirically observed variations in organizational responses to institutional plurality. We develop propositions to show how our approach to hybridity adds value to academic and policy-maker audiences.

  10. Designing reversible arithmetic, logic circuit to implement micro-operation in quantum computation

    NASA Astrophysics Data System (ADS)

    Kalita, Gunajit; Saikia, Navajit

    2016-10-01

    The futuristic computing is desired to be more power full with low-power consumption. That is why quantum computing has been a key area of research for quite some time and is getting more and more attention. Quantum logic being reversible, a significant amount of contributions has been reported on reversible logic in recent times. Reversible circuits are essential parts of quantum computers, and hence their designs are of great importance. In this paper, designs of reversible circuits are proposed using a recently proposed reversible gate for arithmetic and logic operations to implement various micro-operations (simple add and subtract, add with carry, subtract with borrow, transfer, incrementing, decrementing etc., and logic operations like XOR, XNOR, complementing etc.) in a reversible computer like quantum computer. The two new reversible designs proposed here for half adder and full adders are also used in the presented reversible circuits to implement various microoperations. The quantum costs of these designs are comparable. Many of the implemented micro-operations are not seen in previous literatures. The performances of the proposed circuits are compared with existing designs wherever available.

  11. Quantum Logics of Idempotents of Unital Rings

    NASA Astrophysics Data System (ADS)

    Bikchentaev, Airat; Navara, Mirko; Yakushev, Rinat

    2015-06-01

    We introduce some new examples of quantum logics of idempotents in a ring. We continue the study of symmetric logics, i.e., collections of subsets generalizing Boolean algebras and closed under the symmetric difference.

  12. Damage Characteristics of the Logical Chip Module Due to Plasma Created by Hypervelocity Impacts

    NASA Astrophysics Data System (ADS)

    Tang, Enling; Wu, Jin; Wang, Meng; Zhang, Lijiao; Xiang, Shenghai; Xia, Jin; Liu, Shuhua; He, Liping; Han, Yafei; Xu, Mingyang; Zhang, Shuang; Yuan, Jianfei

    2016-04-01

    To researching the damage characteristics of typical logical chip modules in spacecraft due to plasma generated by hypervelocity impacts, we have established a triple Langmuir probe diagnostic system and a logical chips measurement system, which were used to diagnose plasma characteristic parameters and the logical chip module's logical state changes due to the plasma created by a 7075 aluminum projectile hypervelocity impact on the 2A12 aluminum target. Three sets of experiments were performed with the collision speeds of 2.85 km/s, 3.1 km/s and 2.20 km/s, at the same incident angles of 30 degrees and logical chip module's positions by using a two-stage light gas gun loading system, a plasma characteristic parameters diagnostic system and a logical chip module's logical state measurement system, respectively. Electron temperature and density were measured at given position and azimuth, and damage estimation was performed for the logical chip module by using the data acquisition system. Experimental results showed that temporary damage could be induced on logical chip modules in spacecraft by plasma generated by hypervelocity impacts under the given experimental conditions and the sensors' position and azimuth. supported by National Natural Science Foundation of China (Nos. 10972145, 11272218, 11472178), Program for Liaoning Excellent Talents in University of China (No. LR2013008), Open Foundation of Key Laboratory of Liaoning Weapon Science and Technology, Liaoning Province Talents Engineering Projects of China (No. 2012921044)

  13. Sensitivity analysis of the add-on price estimate for the silicon web growth process

    NASA Technical Reports Server (NTRS)

    Mokashi, A. R.

    1981-01-01

    The web growth process, a silicon-sheet technology option, developed for the flat plate solar array (FSA) project, was examined. Base case data for the technical and cost parameters for the technical and commercial readiness phase of the FSA project are projected. The process add on price, using the base case data for cost parameters such as equipment, space, direct labor, materials and utilities, and the production parameters such as growth rate and run length, using a computer program developed specifically to do the sensitivity analysis with improved price estimation are analyzed. Silicon price, sheet thickness and cell efficiency are also discussed.

  14. An Introduction to Calculator Logic Systems.

    ERIC Educational Resources Information Center

    Mitchell, Charles E.; Blume, Glendon W.

    1980-01-01

    Each of the hand-held calculator logic systems found on the market today is introduced, along with some of the advantages and disadvantages of each. The systems reviewed are: arithmetic logic, algebraic logic-no hierarchy, algebraic operating system, and reverse polish notation. (MP)

  15. Logics of Business Education for Sustainability

    ERIC Educational Resources Information Center

    Andersson, Pernilla; Öhman, Johan

    2016-01-01

    This paper explores various kinds of logics of "business education for sustainability" and how these "logics" position the subject business person, based on eight teachers' reasoning of their own practices. The concept of logics developed within a discourse theoretical framework is employed to analyse the teachers' reasoning.…

  16. Piaget's Logic of Meanings: Still Relevant Today

    ERIC Educational Resources Information Center

    Wavering, Michael James

    2011-01-01

    In his last book, "Toward a Logic of Meanings" (Piaget & Garcia, 1991), Jean Piaget describes how thought can be categorized into a form of propositional logic, a logic of meanings. The intent of this article is to offer this analysis by Piaget as a means to understand the language and teaching of science. Using binary propositions, conjunctions,…

  17. Add Control: plant virtualization for control solutions in WWTP.

    PubMed

    Maiza, M; Bengoechea, A; Grau, P; De Keyser, W; Nopens, I; Brockmann, D; Steyer, J P; Claeys, F; Urchegui, G; Fernández, O; Ayesa, E

    2013-01-01

    This paper summarizes part of the research work carried out in the Add Control project, which proposes an extension of the wastewater treatment plant (WWTP) models and modelling architectures used in traditional WWTP simulation tools, addressing, in addition to the classical mass transformations (transport, physico-chemical phenomena, biological reactions), all the instrumentation, actuation and automation & control components (sensors, actuators, controllers), considering their real behaviour (signal delays, noise, failures and power consumption of actuators). Its ultimate objective is to allow a rapid transition from the simulation of the control strategy to its implementation at full-scale plants. Thus, this paper presents the application of the Add Control simulation platform for the design and implementation of new control strategies at the WWTP of Mekolalde.

  18. Applications of Logic Coverage Criteria and Logic Mutation to Software Testing

    ERIC Educational Resources Information Center

    Kaminski, Garrett K.

    2011-01-01

    Logic is an important component of software. Thus, software logic testing has enjoyed significant research over a period of decades, with renewed interest in the last several years. One approach to detecting logic faults is to create and execute tests that satisfy logic coverage criteria. Another approach to detecting faults is to perform mutation…

  19. Randomized Controlled Trials of Add-On Antidepressants in Schizophrenia

    PubMed Central

    Joffe, Grigori; Stenberg, Jan-Henry

    2015-01-01

    Background: Despite adequate treatment with antipsychotics, a substantial number of patients with schizophrenia demonstrate only suboptimal clinical outcome. To overcome this challenge, various psychopharmacological combination strategies have been used, including antidepressants added to antipsychotics. Methods: To analyze the efficacy of add-on antidepressants for the treatment of negative, positive, cognitive, depressive, and antipsychotic-induced extrapyramidal symptoms in schizophrenia, published randomized controlled trials assessing the efficacy of adjunctive antidepressants in schizophrenia were reviewed using the following parameters: baseline clinical characteristics and number of patients, their on-going antipsychotic treatment, dosage of the add-on antidepressants, duration of the trial, efficacy measures, and outcomes. Results: There were 36 randomized controlled trials reported in 41 journal publications (n=1582). The antidepressants used were the selective serotonin reuptake inhibitors, duloxetine, imipramine, mianserin, mirtazapine, nefazodone, reboxetin, trazodone, and bupropion. Mirtazapine and mianserin showed somewhat consistent efficacy for negative symptoms and both seemed to enhance neurocognition. Trazodone and nefazodone appeared to improve the antipsychotics-induced extrapyramidal symptoms. Imipramine and duloxetine tended to improve depressive symptoms. No clear evidence supporting selective serotonin reuptake inhibitors’ efficacy on any clinical domain of schizophrenia was found. Add-on antidepressants did not worsen psychosis. Conclusions: Despite a substantial number of randomized controlled trials, the overall efficacy of add-on antidepressants in schizophrenia remains uncertain mainly due to methodological issues. Some differences in efficacy on several schizophrenia domains seem, however, to exist and to vary by the antidepressant subgroups—plausibly due to differences in the mechanisms of action. Antidepressants may not worsen

  20. Family nurse practitioners: "value add" in outpatient chronic disease management.

    PubMed

    Stephens, Lynn

    2012-12-01

    Nurse practitioners are capable leaders in primary care design as practices nationwide move to consider and adopt the patient-centered medical home. The chronic care model provides a structure to enhance the care of chronic illness. Nurse practitioners are instrumental in many areas of this model as both leaders and caregivers. Safety and quality are basic medical home goals; nurse practitioners enhance both. The addition of a nurse practitioner to a practice is an effective "value add" in every way.

  1. Higher Curvature Effects in the ADD and RS Models

    SciTech Connect

    Rizzo, Thomas G.; /SLAC

    2006-07-05

    Over the last few years several extra-dimensional models have been introduced in attempt to deal with the hierarchy problem. These models can lead to rather unique and spectacular signatures at Terascale colliders such as the LHC and ILC. The ADD and RS models, though quite distinct, have many common feature including a constant curvature bulk, localized Standard Model(SM) fields and the assumption of the validity of the EH action as a description of gravitational interactions.

  2. Add-on unidirectional elastic metamaterial plate cloak

    PubMed Central

    Lee, Min Kyung; Kim, Yoon Young

    2016-01-01

    Metamaterial cloaks control the propagation of waves to make an object invisible or insensible. To manipulate elastic waves in space, a metamaterial cloak is typically embedded in a base system that includes or surrounds a target object. The embedding is undesirable because it structurally weakens or permanently alters the base system. In this study, we propose a new add-on metamaterial elastic cloak that can be placed over and mechanically coupled with a base structure without embedding. We designed an add-on type annular metamaterial plate cloak through conformal mapping, fabricated it and performed cloaking experiments in a thin-plate with a hole. Experiments were performed in a thin plate by using the lowest symmetric Lamb wave centered at 100 kHz. As a means to check the cloaking performance of the add-on elastic plate cloak, possibly as a temporary stress reliever or a so-called “stress bandage”, the degree of stress concentration mitigation and the recovery from the perturbed wave field due to a hole were investigated. PMID:26860896

  3. Optical add/drop filter for wavelength division multiplexed systems

    DOEpatents

    Deri, Robert J.; Strand, Oliver T.; Garrett, Henry E.

    2002-01-01

    An optical add/drop filter for wavelength division multiplexed systems and construction methods are disclosed. The add/drop filter includes a first ferrule having a first pre-formed opening for receiving a first optical fiber; an interference filter oriented to pass a first set of wavelengths along the first optical fiber and reflect a second set of wavelengths; and, a second ferrule having a second pre-formed opening for receiving the second optical fiber, and the reflected second set of wavelengths. A method for constructing the optical add/drop filter consists of the steps of forming a first set of openings in a first ferrule; inserting a first set of optical fibers into the first set of openings; forming a first set of guide pin openings in the first ferrule; dividing the first ferrule into a first ferrule portion and a second ferrule portion; forming an interference filter on the first ferrule portion; inserting guide pins through the first set of guide pin openings in the first ferrule portion and second ferrule portion to passively align the first set of optical fibers; removing material such that light reflected from the interference filter from the first set of optical fibers is accessible; forming a second set of openings in a second ferrule; inserting a second set of optical fibers into the second set of openings; and positioning the second ferrule with respect to the first ferrule such that the second set of optical fibers receive the light reflected from the interference filter.

  4. Add-on unidirectional elastic metamaterial plate cloak.

    PubMed

    Lee, Min Kyung; Kim, Yoon Young

    2016-02-10

    Metamaterial cloaks control the propagation of waves to make an object invisible or insensible. To manipulate elastic waves in space, a metamaterial cloak is typically embedded in a base system that includes or surrounds a target object. The embedding is undesirable because it structurally weakens or permanently alters the base system. In this study, we propose a new add-on metamaterial elastic cloak that can be placed over and mechanically coupled with a base structure without embedding. We designed an add-on type annular metamaterial plate cloak through conformal mapping, fabricated it and performed cloaking experiments in a thin-plate with a hole. Experiments were performed in a thin plate by using the lowest symmetric Lamb wave centered at 100 kHz. As a means to check the cloaking performance of the add-on elastic plate cloak, possibly as a temporary stress reliever or a so-called "stress bandage", the degree of stress concentration mitigation and the recovery from the perturbed wave field due to a hole were investigated.

  5. 40 CFR 75.34 - Units with add-on emission controls.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 40 Protection of Environment 16 2010-07-01 2010-07-01 false Units with add-on emission controls... add-on emission controls. (a) The owner or operator of an affected unit equipped with add-on SO2 and... which the add-on emission controls are documented to be operating properly, as described in the...

  6. 24 CFR 990.190 - Other formula expenses (add-ons).

    Code of Federal Regulations, 2013 CFR

    2013-04-01

    ... 24 Housing and Urban Development 4 2013-04-01 2013-04-01 false Other formula expenses (add-ons... formula expenses (add-ons). In addition to calculating operating subsidy based on the PEL and UEL, a PHA's eligible formula expenses shall be increased by add-ons. The allowed add-ons are: (a) Self-sufficiency....

  7. 40 CFR 75.34 - Units with add-on emission controls.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... 40 Protection of Environment 17 2014-07-01 2014-07-01 false Units with add-on emission controls... add-on emission controls. (a) The owner or operator of an affected unit equipped with add-on SO2 and... which the add-on emission controls are documented to be operating properly, as described in the...

  8. 40 CFR 75.34 - Units with add-on emission controls.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... 40 Protection of Environment 17 2012-07-01 2012-07-01 false Units with add-on emission controls... add-on emission controls. (a) The owner or operator of an affected unit equipped with add-on SO2 and... which the add-on emission controls are documented to be operating properly, as described in the...

  9. 24 CFR 990.190 - Other formula expenses (add-ons).

    Code of Federal Regulations, 2012 CFR

    2012-04-01

    ... 24 Housing and Urban Development 4 2012-04-01 2012-04-01 false Other formula expenses (add-ons... formula expenses (add-ons). In addition to calculating operating subsidy based on the PEL and UEL, a PHA's eligible formula expenses shall be increased by add-ons. The allowed add-ons are: (a) Self-sufficiency....

  10. 40 CFR 75.34 - Units with add-on emission controls.

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... 40 Protection of Environment 17 2013-07-01 2013-07-01 false Units with add-on emission controls... add-on emission controls. (a) The owner or operator of an affected unit equipped with add-on SO2 and... which the add-on emission controls are documented to be operating properly, as described in the...

  11. 24 CFR 990.190 - Other formula expenses (add-ons).

    Code of Federal Regulations, 2014 CFR

    2014-04-01

    ... 24 Housing and Urban Development 4 2014-04-01 2014-04-01 false Other formula expenses (add-ons... formula expenses (add-ons). In addition to calculating operating subsidy based on the PEL and UEL, a PHA's eligible formula expenses shall be increased by add-ons. The allowed add-ons are: (a) Self-sufficiency....

  12. 24 CFR 990.190 - Other formula expenses (add-ons).

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    ... 24 Housing and Urban Development 4 2011-04-01 2011-04-01 false Other formula expenses (add-ons... formula expenses (add-ons). In addition to calculating operating subsidy based on the PEL and UEL, a PHA's eligible formula expenses shall be increased by add-ons. The allowed add-ons are: (a) Self-sufficiency....

  13. 40 CFR 75.34 - Units with add-on emission controls.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... 40 Protection of Environment 16 2011-07-01 2011-07-01 false Units with add-on emission controls... add-on emission controls. (a) The owner or operator of an affected unit equipped with add-on SO2 and... which the add-on emission controls are documented to be operating properly, as described in the...

  14. Synthesis of logic circuits with evolutionary algorithms

    SciTech Connect

    JONES,JAKE S.; DAVIDSON,GEORGE S.

    2000-01-26

    In the last decade there has been interest and research in the area of designing circuits with genetic algorithms, evolutionary algorithms, and genetic programming. However, the ability to design circuits of the size and complexity required by modern engineering design problems, simply by specifying required outputs for given inputs has as yet eluded researchers. This paper describes current research in the area of designing logic circuits using an evolutionary algorithm. The goal of the research is to improve the effectiveness of this method and make it a practical aid for design engineers. A novel method of implementing the algorithm is introduced, and results are presented for various multiprocessing systems. In addition to evolving standard arithmetic circuits, work in the area of evolving circuits that perform digital signal processing tasks is described.

  15. Fuzzy Logic Enhanced Digital PIV Processing Software

    NASA Technical Reports Server (NTRS)

    Wernet, Mark P.

    1999-01-01

    Digital Particle Image Velocimetry (DPIV) is an instantaneous, planar velocity measurement technique that is ideally suited for studying transient flow phenomena in high speed turbomachinery. DPIV is being actively used at the NASA Glenn Research Center to study both stable and unstable operating conditions in a high speed centrifugal compressor. Commercial PIV systems are readily available which provide near real time feedback of the PIV image data quality. These commercial systems are well designed to facilitate the expedient acquisition of PIV image data. However, as with any general purpose system, these commercial PIV systems do not meet all of the data processing needs required for PIV image data reduction in our compressor research program. An in-house PIV PROCessing (PIVPROC) code has been developed for reducing PIV data. The PIVPROC software incorporates fuzzy logic data validation for maximum information recovery from PIV image data. PIVPROC enables combined cross-correlation/particle tracking wherein the highest possible spatial resolution velocity measurements are obtained.

  16. Logic of discovery or psychology of invention?

    NASA Astrophysics Data System (ADS)

    Woodward, James F.

    1992-02-01

    It is noted that Popper separates the creation of concepts, conjectures, hypotheses and theories—the context of invention—from the testing thereof—the context of justification—arguing that only the latter is susceptible of rigorous logical analysis. Efforts on the part of others to shift or eradicate the demarcation established by this distinction are discussed and the relationship of these considerations to the claims of “strong artificial intelligence” is pointed out. It is argued that the mode of education of scientists, as well as reports of celebrated scientists, support Popper's judgement in this matter. An historical episode from Faraday's later career is used to illustrate the historiographical strength of Lakatos' “methodology of research programs.”

  17. Fuzzy Versions of Epistemic and Deontic Logic

    NASA Technical Reports Server (NTRS)

    Gounder, Ramasamy S.; Esterline, Albert C.

    1998-01-01

    Epistemic and deontic logics are modal logics, respectively, of knowledge and of the normative concepts of obligation, permission, and prohibition. Epistemic logic is useful in formalizing systems of communicating processes and knowledge and belief in AI (Artificial Intelligence). Deontic logic is useful in computer science wherever we must distinguish between actual and ideal behavior, as in fault tolerance and database integrity constraints. We here discuss fuzzy versions of these logics. In the crisp versions, various axioms correspond to various properties of the structures used in defining the semantics of the logics. Thus, any axiomatic theory will be characterized not only by its axioms but also by the set of properties holding of the corresponding semantic structures. Fuzzy logic does not proceed with axiomatic systems, but fuzzy versions of the semantic properties exist and can be shown to correspond to some of the axioms for the crisp systems in special ways that support dependency networks among assertions in a modal domain. This in turn allows one to implement truth maintenance systems. For the technical development of epistemic logic, and for that of deontic logic. To our knowledge, we are the first to address fuzzy epistemic and fuzzy deontic logic explicitly and to consider the different systems and semantic properties available. We give the syntax and semantics of epistemic logic and discuss the correspondence between axioms of epistemic logic and properties of semantic structures. The same topics are covered for deontic logic. Fuzzy epistemic and fuzzy deontic logic discusses the relationship between axioms and semantic properties for these logics. Our results can be exploited in truth maintenance systems.

  18. Nanowire NMOS Logic Inverter Characterization.

    PubMed

    Hashim, Yasir

    2016-06-01

    This study is the first to demonstrate characteristics optimization of nanowire N-Channel Metal Oxide Semiconductor (NW-MOS) logic inverter. Noise margins and inflection voltage of transfer characteristics are used as limiting factors in this optimization. A computer-based model used to produce static characteristics of NW-NMOS logic inverter. In this research two circuit configuration of NW-NMOS inverter was studied, in first NW-NMOS circuit, the noise margin for (low input-high output) condition was very low. For second NMOS circuit gives excellent noise margins, and results indicate that optimization depends on applied voltage to the inverter. Increasing gate to source voltage with (2/1) nanowires ratio results better noise margins. Increasing of applied DC load transistor voltage tends to increasing in decreasing noise margins; decreasing this voltage will improve noise margins significantly.

  19. The logic of medical diagnosis.

    PubMed

    Stanley, Donald E; Campos, Daniel G

    2013-01-01

    Establishing diagnoses is a crucial aspect of medical practice. However, this process has received comparatively little logical and pedagogical attention when compared to statistical methods for evaluating evidence. This article investigates the logic of medical diagnosis in order to fill this void. It is organized in three parts: the first attempts to explain why more attention ought to be paid to diagnosis, at least as much as to evidence; the second calls attention to the method of diagnosis by abductive reasoning developed in the 19th century by Charles Sanders Peirce (1839-1914); and the third demonstrates the use and pervasiveness of abduction by any other name in clinical diagnosis. We examine six diagnostic strategies in common use that contain most, if not all, of Peirce's structure of inquiry in science.

  20. All-optical symmetric ternary logic gate

    NASA Astrophysics Data System (ADS)

    Chattopadhyay, Tanay

    2010-09-01

    Symmetric ternary number (radix=3) has three logical states (1¯, 0, 1). It is very much useful in carry free arithmetical operation. Beside this, the logical operation using this type of number system is also effective in high speed computation and communication in multi-valued logic. In this literature all-optical circuits for three basic symmetrical ternary logical operations (inversion, MIN and MAX) are proposed and described. Numerical simulation verifies the theoretical model. In this present scheme the different ternary logical states are represented by different polarized state of light. Terahertz optical asymmetric demultiplexer (TOAD) based interferometric switch has been used categorically in this manuscript.

  1. Cosmic logic: a computational model

    SciTech Connect

    Vanchurin, Vitaly

    2016-02-01

    We initiate a formal study of logical inferences in context of the measure problem in cosmology or what we call cosmic logic. We describe a simple computational model of cosmic logic suitable for analysis of, for example, discretized cosmological systems. The construction is based on a particular model of computation, developed by Alan Turing, with cosmic observers (CO), cosmic measures (CM) and cosmic symmetries (CS) described by Turing machines. CO machines always start with a blank tape and CM machines take CO's Turing number (also known as description number or Gödel number) as input and output the corresponding probability. Similarly, CS machines take CO's Turing number as input, but output either one if the CO machines are in the same equivalence class or zero otherwise. We argue that CS machines are more fundamental than CM machines and, thus, should be used as building blocks in constructing CM machines. We prove the non-computability of a CS machine which discriminates between two classes of CO machines: mortal that halts in finite time and immortal that runs forever. In context of eternal inflation this result implies that it is impossible to construct CM machines to compute probabilities on the set of all CO machines using cut-off prescriptions. The cut-off measures can still be used if the set is reduced to include only machines which halt after a finite and predetermined number of steps.

  2. Discovering Knowledge from Noisy Databases Using Genetic Programming.

    ERIC Educational Resources Information Center

    Wong, Man Leung; Leung, Kwong Sak; Cheng, Jack C. Y.

    2000-01-01

    Presents a framework that combines Genetic Programming and Inductive Logic Programming, two approaches in data mining, to induce knowledge from noisy databases. The framework is based on a formalism of logic grammars and is implemented as a data mining system called LOGENPRO (Logic Grammar-based Genetic Programming System). (Contains 34…

  3. Abstract quantum computing machines and quantum computational logics

    NASA Astrophysics Data System (ADS)

    Chiara, Maria Luisa Dalla; Giuntini, Roberto; Sergioli, Giuseppe; Leporini, Roberto

    2016-06-01

    Classical and quantum parallelism are deeply different, although it is sometimes claimed that quantum Turing machines are nothing but special examples of classical probabilistic machines. We introduce the concepts of deterministic state machine, classical probabilistic state machine and quantum state machine. On this basis, we discuss the question: To what extent can quantum state machines be simulated by classical probabilistic state machines? Each state machine is devoted to a single task determined by its program. Real computers, however, behave differently, being able to solve different kinds of problems. This capacity can be modeled, in the quantum case, by the mathematical notion of abstract quantum computing machine, whose different programs determine different quantum state machines. The computations of abstract quantum computing machines can be linguistically described by the formulas of a particular form of quantum logic, termed quantum computational logic.

  4. The universal magnetic tunnel junction logic gates representing 16 binary Boolean logic operations

    NASA Astrophysics Data System (ADS)

    Lee, Junwoo; Suh, Dong Ik; Park, Wanjun

    2015-05-01

    The novel devices are expected to shift the paradigm of a logic operation by their own nature, replacing the conventional devices. In this study, the nature of our fabricated magnetic tunnel junction (MTJ) that responds to the two external inputs, magnetic field and voltage bias, demonstrated seven basic logic operations. The seven operations were obtained by the electric-field-assisted switching characteristics, where the surface magnetoelectric effect occurs due to a sufficiently thin free layer. The MTJ was transformed as a universal logic gate combined with three supplementary circuits: A multiplexer (MUX), a Wheatstone bridge, and a comparator. With these circuits, the universal logic gates demonstrated 16 binary Boolean logic operations in one logic stage. A possible further approach is parallel computations through a complimentary of MUX and comparator, capable of driving multiple logic gates. A reconfigurable property can also be realized when different logic operations are produced from different level of voltages applying to the same configuration of the logic gate.

  5. SCEW: a Microsoft Excel add-in for easy creation of survival curves.

    PubMed

    Khan, Haseeb Ahmad

    2006-07-01

    Survival curves are frequently used for reporting survival or mortality outcomes of experimental pharmacological/toxicological studies and of clinical trials. Microsoft Excel is a simple and widely used tool for creation of numerous types of graphic presentations however it is difficult to create step-wise survival curves in Excel. Considering the familiarity of clinicians and biomedical scientists with Excel, an algorithm survival curves in Excel worksheet (SCEW) has been developed for easy creation of survival curves directly in Excel worksheets. The algorithm has been integrated in the form of Excel add-in for easy installation and usage. The program is based on modification of frequency data for binary break-up using the spreadsheet formula functions whereas a macro subroutine automates the creation of survival curves. The advantages of this program are simple data input, minimal procedural steps and the creation of survival curves in the familiar confines of Excel.

  6. Astronomical imaging by filtered weighted-shift-and-add technique

    NASA Technical Reports Server (NTRS)

    Ribak, Erez

    1986-01-01

    The weighted-shift-and-add speckle imaging technique is analyzed using simple assumptions. The end product is shown to be a convolution of the object with a typical point-spread function (psf) that is similar in shape to the telescope psf and depends marginally on the speckle psf. A filter can be applied to each data frame before locating the maxima, either to identify the speckle locations (matched filter) or to estimate the instantaneous atmospheric psf (Wiener filter). Preliminary results show the power of the technique when applied to photon-limited data and to extended objects.

  7. Image restoration by the shift-and-add algorithm.

    PubMed

    Bagnuolo, W G

    1985-05-01

    A new method for image restoration based on the shift-and-add (SAA) algorithm is presented, the main advantages of which appear to be speed and simplicity. The SAA pattern produced by an object is given by the object correlated by a nonlinear replica of itself whose intensity distribution is strongly weighted toward the brighter pixels. A method of successive substitutions analogous to Fienup's algorithm can then be used to decorrelate the SAA pattern and recover the object. The method is applied to the case of the extended chromosphere of Betelgeuse.

  8. Efficient G(sup 4)FET-Based Logic Circuits

    NASA Technical Reports Server (NTRS)

    Vatan, Farrokh

    2008-01-01

    A total of 81 optimal logic circuits based on four-gate field-effect transistors (G(sup 4)4FETs) have been designed to implement all Boolean functions of up to three variables. The purpose of this development was to lend credence to the expectation that logic circuits based on G(sup 4)FETs could be more efficient (in the sense that they could contain fewer transistors), relative to functionally equivalent logic circuits based on conventional transistors. A G(sup 4)FET a combination of a junction field-effect transistor (JFET) and a metal oxide/semiconductor field-effect transistor (MOSFET) superimposed in a single silicon island and can therefore be regarded as two transistors sharing the same body. A G(sup 4)FET can also be regarded as a single device having four gates: two side junction-based gates, a top MOS gate, and a back gate activated by biasing of a silicon-on-insulator substrate. Each of these gates can be used to control the conduction characteristics of the transistor; this possibility creates new options for designing analog, radio-frequency, mixed-signal, and digital circuitry. One such option is to design a G(sup 4)FET to function as a three-input NOT-majority gate, which has been shown to be a universal and programmable logic gate. Optimal NOT-majority-gate, G(sup 4)FET-based logic-circuit designs were obtained in a comparative study that also included formulation of functionally equivalent logic circuits based on NOR and NAND gates implemented by use of conventional transistors. In the study, the problem of finding the optimal design for each logic function and each transistor type was solved as an integer-programming optimization problem. Considering all 81 non-equivalent Boolean functions included in the study, it was found that in 63% of the cases, fewer logic gates (and, hence, fewer transistors) would be needed in the G(sup 4)FET-based implementations.

  9. Stock and option portfolio using fuzzy logic approach

    NASA Astrophysics Data System (ADS)

    Sumarti, Novriana; Wahyudi, Nanang

    2014-03-01

    Fuzzy Logic in decision-making process has been widely implemented in various problems in industries. It is the theory of imprecision and uncertainty that was not based on probability theory. Fuzzy Logic adds values of degree between absolute true and absolute false. It starts with and builds on a set of human language rules supplied by the user. The fuzzy systems convert these rules to their mathematical equivalents. This could simplify the job of the system designer and the computer, and results in much more accurate representations of the way systems behave in the real world. In this paper we examine the decision making process of stock and option trading by the usage of MACD (Moving Average Convergence Divergence) technical analysis and Option Pricing with Fuzzy Logic approach. MACD technical analysis is for the prediction of the trends of underlying stock prices, such as bearish (going downward), bullish (going upward), and sideways. By using Fuzzy C-Means technique and Mamdani Fuzzy Inference System, we define the decision output where the value of MACD is high then decision is "Strong Sell", and the value of MACD is Low then the decision is "Strong Buy". We also implement the fuzzification of the Black-Scholes option-pricing formula. The stock and options methods are implemented on a portfolio of one stock and its options. Even though the values of input data, such as interest rates, stock price and its volatility, cannot be obtain accurately, these fuzzy methods can give a belief degree of the calculated the Black-Scholes formula so we can make the decision on option trading. The results show the good capability of the methods in the prediction of stock price trends. The performance of the simulated portfolio for a particular period of time also shows good return.

  10. Optical interferometric logic gates based on metal slot waveguide network realizing whole fundamental logic operations.

    PubMed

    Pan, Deng; Wei, Hong; Xu, Hongxing

    2013-04-22

    Optical interferometric logic gates in metal slot waveguide network are designed and investigated by electromagnetic simulations. The designed logic gates can realize all fundamental logic operations. A single Y-shaped junction can work as logic gate for four logic functions: AND, NOT, OR and XOR. By cascading two Y-shaped junctions, NAND, NOR and XNOR can be realized. The working principle is analyzed in detail. In the simulations, these gates show large intensity contrast for the Boolean logic states of the output. These results can be useful for future integrated optical computing.

  11. Oak Ridge National Laboratory Technology Logic Diagram. Volume 2, Technology Logic Diagram: Part B, Remedial Action

    SciTech Connect

    Not Available

    1993-09-01

    The Oak Ridge National Laboratory Technology Logic Diagram (TLD) was developed to provide a decision support tool that relates environmental restoration (ER) and waste management (WM) problems at Oak Ridge National Laboratory (ORNL) to potential technologies that can remediate these problems. The TLD identifies the research, development, demonstration, testing, and evaluation needed to develop these technologies to a state that allows technology transfer and application to decontamination and decommissioning (D&D), remedial action (RA), and WM activities. The TLD consists of three fundamentally separate volumes: Vol. 1 (Technology Evaluation), Vol. 2 (Technology Logic Diagram), and Vol. 3 (Technology Evaluation Data Sheets). Part A of Vols. 1. and 2 focuses on D&D. Part B of Vols. 1 and 2 focuses on the RA of contaminated facilities. Part C of Vols. 1 and 2 focuses on WM. Each part of Vol. 1 contains an overview of the TLD, an explanation of the program-specific responsibilities, a review of identified technologies, and the rankings of remedial technologies. Volume 2 (Pts. A, B, and C) contains the logic linkages among EM goals, environmental problems, and the various technologies that have the potential to solve these problems. Volume 3 (Pts. A, B, and C) contains the TLD data sheets. Remedial action is the focus of Vol. 2, Pt. B, which has been divided into the three necessary subelements of the RA: characterization, RA, and robotics and automation. Each of these sections address general ORNL problems, which are then broken down by problem area/constituents and linked to potential remedial technologies. The diagrams also contain summary information about a technology`s status, its science and technology needs, and its implementation needs.

  12. Does Chiropractic ‘Add Years to Life’?

    PubMed Central

    Morgan, Lon

    2004-01-01

    The chiropractic cliché “Chiropractic Adds Life to Years and Years to Life” was examined for validity. It was assumed that chiropractors themselves would be the best informed about the health benefits of chiropractic care. Chiropractors would therefore be most likely to receive some level of chiropractic care, and do so on a long-term basis. If chiropractic care significantly improves general health then chiropractors themselves should demonstrate longer life spans than the general population. Two separate data sources were used to examine chiropractic mortality rates. One source used obituary notices from past issues of Dynamic Chiropractic from 1990 to mid-2003. The second source used biographies from Who Was Who in Chiropractic – A Necrology covering a ten year period from 1969–1979. The two sources yielded a mean age at death for chiropractors of 73.4 and 74.2 years respectively. The mean ages at death of chiropractors is below the national average of 76.9 years and is below their medical doctor counterparts of 81.5. This review of mortality date found no evidence to support the claim that chiropractic care “Adds Years to Life.” PMID:17549121

  13. Limit, logic, and computation

    PubMed Central

    Freedman, Michael H.

    1998-01-01

    We introduce “ultrafilter limits” into the classical Turing model of computation and develop a paradigm for interpreting the problem of distinguishing the class P from NP as a logical problem of decidability. We use P(NP) to denote decision problems which can be solved on a (nondeterministic) Turing machine in polynomial time. The concept is that in an appropriate limit it may be possible to prove that problems in P are still decidable, so a problem whose limit is undecidable would be established as lying outside of P. PMID:9419334

  14. Application System Architecture for Cellular Phones by Dividing Interaction Logics

    NASA Astrophysics Data System (ADS)

    Kitamura, Misayo; Todoroki, Nobutoshi; Akiyoshi, Masanori; Kojima, Taizo

    This paper describes application system architecture using cellular phones as user interface devices, which enables users to interact with the system by graphic symbols on a client screen. Our approach has the following features: (i) divided interaction logics running on a server and a Java phone client; both interaction logics cooperate to accomplish a user's operation using a simplified script, (ii) local interaction which enables users to handle figures on a client screen without connecting to a server, and (iii) device-independent script which hides the differences of API sets among various cellular phones. By using this architecture, complicated figures including lots of graphic symbols can be displayed in spite of program-size limitation on a client device, and application programs including same interaction logics are just described once for various cellular phones. Our experiments show the advantage of the local interaction. A client program can respond immediately when handling complicated figures. The ratio of requests to the server is reduced to 23%. It takes less than 9 seconds to display typical contents, which is good enough for practical use. This method also reduces development costs at the second development or later.

  15. Synthesizing Biomolecule-based Boolean Logic Gates

    PubMed Central

    Miyamoto, Takafumi; Razavi, Shiva; DeRose, Robert; Inoue, Takanari

    2012-01-01

    One fascinating recent avenue of study in the field of synthetic biology is the creation of biomolecule-based computers. The main components of a computing device consist of an arithmetic logic unit, the control unit, memory, and the input and output devices. Boolean logic gates are at the core of the operational machinery of these parts, hence to make biocomputers a reality, biomolecular logic gates become a necessity. Indeed, with the advent of more sophisticated biological tools, both nucleic acid- and protein-based logic systems have been generated. These devices function in the context of either test tubes or living cells and yield highly specific outputs given a set of inputs. In this review, we discuss various types of biomolecular logic gates that have been synthesized, with particular emphasis on recent developments that promise increased complexity of logic gate circuitry, improved computational speed, and potential clinical applications. PMID:23526588

  16. Electronic logic for enhanced switch reliability

    DOEpatents

    Cooper, J.A.

    1984-01-20

    A logic circuit is used to enhance redundant switch reliability. Two or more switches are monitored for logical high or low output. The output for the logic circuit produces a redundant and fail-safe representation of the switch outputs. When both switch outputs are high, the output is high. Similarly, when both switch outputs are low, the logic circuit's output is low. When the output states of the two switches do not agree, the circuit resolves the conflict by memorizing the last output state which both switches were simultaneously in and produces the logical complement of this output state. Thus, the logic circuit of the present invention allows the redundant switches to be treated as if they were in parallel when the switches are open and as if they were in series when the switches are closed. A failsafe system having maximum reliability is thereby produced.

  17. [Continuity and transformation of body logic].

    PubMed

    Bolens, Guillemette

    2003-01-01

    This article is concerned with two distinct corporeal logics. In the first, corporeality is founded on joints, tendons, and mobility; in the second, the envelope and its apertures are considered primordial. The first logic is extant in very few works. Although these texts (e.g. The Iliad, Beowulf) clearly share the same, very specific, conception of the body, they belong to different histories. The corporeal logic of the 'jointed body' (corps articulaire) cannot, therefore, be appraised in terms of longue durée. The texts represent, instead, a moment of transition between the psychodynamics of orality and literacy. A problem correlated to this fact is that readers (ancient and modern) no longer think using the same logic as that pertaining to the jointed body. They tend to translate information regarding the logic of the jointed body into data meaningful in their own logic.

  18. People Like Logical Truth: Testing the Intuitive Detection of Logical Value in Basic Propositions

    PubMed Central

    2016-01-01

    Recent studies on logical reasoning have suggested that people are intuitively aware of the logical validity of syllogisms or that they intuitively detect conflict between heuristic responses and logical norms via slight changes in their feelings. According to logical intuition studies, logically valid or heuristic logic no-conflict reasoning is fluently processed and induces positive feelings without conscious awareness. One criticism states that such effects of logicality disappear when confounding factors such as the content of syllogisms are controlled. The present study used abstract propositions and tested whether people intuitively detect logical value. Experiment 1 presented four logical propositions (conjunctive, biconditional, conditional, and material implications) regarding a target case and asked the participants to rate the extent to which they liked the statement. Experiment 2 tested the effects of matching bias, as well as intuitive logic, on the reasoners’ feelings by manipulating whether the antecedent or consequent (or both) of the conditional was affirmed or negated. The results showed that both logicality and matching bias affected the reasoners’ feelings, and people preferred logically true targets over logically false ones for all forms of propositions. These results suggest that people intuitively detect what is true from what is false during abstract reasoning. Additionally, a Bayesian mixed model meta-analysis of conditionals indicated that people’s intuitive interpretation of the conditional “if p then q” fits better with the conditional probability, q given p. PMID:28036402

  19. Fuzzy Logic for Incidence Geometry.

    PubMed

    Tserkovny, Alex

    The paper presents a mathematical framework for approximate geometric reasoning with extended objects in the context of Geography, in which all entities and their relationships are described by human language. These entities could be labelled by commonly used names of landmarks, water areas, and so forth. Unlike single points that are given in Cartesian coordinates, these geographic entities are extended in space and often loosely defined, but people easily perform spatial reasoning with extended geographic objects "as if they were points." Unfortunately, up to date, geographic information systems (GIS) miss the capability of geometric reasoning with extended objects. The aim of the paper is to present a mathematical apparatus for approximate geometric reasoning with extended objects that is usable in GIS. In the paper we discuss the fuzzy logic (Aliev and Tserkovny, 2011) as a reasoning system for geometry of extended objects, as well as a basis for fuzzification of the axioms of incidence geometry. The same fuzzy logic was used for fuzzification of Euclid's first postulate. Fuzzy equivalence relation "extended lines sameness" is introduced. For its approximation we also utilize a fuzzy conditional inference, which is based on proposed fuzzy "degree of indiscernibility" and "discernibility measure" of extended points.

  20. Logic circuits from zero forcing.

    PubMed

    Burgarth, Daniel; Giovannetti, Vittorio; Hogben, Leslie; Severini, Simone; Young, Michael

    We design logic circuits based on the notion of zero forcing on graphs; each gate of the circuits is a gadget in which zero forcing is performed. We show that such circuits can evaluate every monotone Boolean function. By using two vertices to encode each logical bit, we obtain universal computation. We also highlight a phenomenon of "back forcing" as a property of each function. Such a phenomenon occurs in a circuit when the input of gates which have been already used at a given time step is further modified by a computation actually performed at a later stage. Finally, we show that zero forcing can be also used to implement reversible computation. The model introduced here provides a potentially new tool in the analysis of Boolean functions, with particular attention to monotonicity. Moreover, in the light of applications of zero forcing in quantum mechanics, the link with Boolean functions may suggest a new directions in quantum control theory and in the study of engineered quantum spin systems. It is an open technical problem to verify whether there is a link between zero forcing and computation with contact circuits.

  1. HDL to verification logic translator

    NASA Technical Reports Server (NTRS)

    Gambles, J. W.; Windley, P. J.

    1992-01-01

    The increasingly higher number of transistors possible in VLSI circuits compounds the difficulty in insuring correct designs. As the number of possible test cases required to exhaustively simulate a circuit design explodes, a better method is required to confirm the absence of design faults. Formal verification methods provide a way to prove, using logic, that a circuit structure correctly implements its specification. Before verification is accepted by VLSI design engineers, the stand alone verification tools that are in use in the research community must be integrated with the CAD tools used by the designers. One problem facing the acceptance of formal verification into circuit design methodology is that the structural circuit descriptions used by the designers are not appropriate for verification work and those required for verification lack some of the features needed for design. We offer a solution to this dilemma: an automatic translation from the designers' HDL models into definitions for the higher-ordered logic (HOL) verification system. The translated definitions become the low level basis of circuit verification which in turn increases the designer's confidence in the correctness of higher level behavioral models.

  2. Fuzzy logic based robotic controller

    NASA Technical Reports Server (NTRS)

    Attia, F.; Upadhyaya, M.

    1994-01-01

    Existing Proportional-Integral-Derivative (PID) robotic controllers rely on an inverse kinematic model to convert user-specified cartesian trajectory coordinates to joint variables. These joints experience friction, stiction, and gear backlash effects. Due to lack of proper linearization of these effects, modern control theory based on state space methods cannot provide adequate control for robotic systems. In the presence of loads, the dynamic behavior of robotic systems is complex and nonlinear, especially where mathematical modeling is evaluated for real-time operators. Fuzzy Logic Control is a fast emerging alternative to conventional control systems in situations where it may not be feasible to formulate an analytical model of the complex system. Fuzzy logic techniques track a user-defined trajectory without having the host computer to explicitly solve the nonlinear inverse kinematic equations. The goal is to provide a rule-based approach, which is closer to human reasoning. The approach used expresses end-point error, location of manipulator joints, and proximity to obstacles as fuzzy variables. The resulting decisions are based upon linguistic and non-numerical information. This paper presents a solution to the conventional robot controller which is independent of computationally intensive kinematic equations. Computer simulation results of this approach as obtained from software implementation are also discussed.

  3. Fuzzy Logic for Incidence Geometry

    PubMed Central

    2016-01-01

    The paper presents a mathematical framework for approximate geometric reasoning with extended objects in the context of Geography, in which all entities and their relationships are described by human language. These entities could be labelled by commonly used names of landmarks, water areas, and so forth. Unlike single points that are given in Cartesian coordinates, these geographic entities are extended in space and often loosely defined, but people easily perform spatial reasoning with extended geographic objects “as if they were points.” Unfortunately, up to date, geographic information systems (GIS) miss the capability of geometric reasoning with extended objects. The aim of the paper is to present a mathematical apparatus for approximate geometric reasoning with extended objects that is usable in GIS. In the paper we discuss the fuzzy logic (Aliev and Tserkovny, 2011) as a reasoning system for geometry of extended objects, as well as a basis for fuzzification of the axioms of incidence geometry. The same fuzzy logic was used for fuzzification of Euclid's first postulate. Fuzzy equivalence relation “extended lines sameness” is introduced. For its approximation we also utilize a fuzzy conditional inference, which is based on proposed fuzzy “degree of indiscernibility” and “discernibility measure” of extended points. PMID:27689133

  4. Neural Network and Fuzzy Logic Technology for Naval Flight Control Systems

    DTIC Science & Technology

    1991-08-06

    it is still uncertain what neural network and fuzzy logic functions are both technologically feasible and suitable for flight control system...this program is focused on the development of a neural network FCS design tool, a neural network flight control law emulator, a fuzzy logic automatic...carrier landing system and a neural network flight control configuration management system. For each project, some initial results are given. Also

  5. Neurofeedback combined with training in metacognitive strategies: effectiveness in students with ADD.

    PubMed

    Thompson, L; Thompson, M

    1998-12-01

    data are important because they provide an extension of results from earlier studies (Lubar, Swartwood, Swartwood, & O'Donnell, 1995; Linden, Habib, & Radojevic, 1996). They also demonstrate that systematic data collection in a private educational setting produces helpful information that can be used to monitor students' progress and improve programs. Because this clinical work is not a controlled scientific study, the efficacious treatment components cannot be determined. Nevertheless, the positive outcomes of decreased ADD symptoms plus improved academic and intellectual functioning suggest that the use of neurofeedback plus training in metacognitive strategies is a useful combined intervention for students with ADD. Further controlled research is warranted.

  6. A subsurface add-on for standard atomic force microscopes.

    PubMed

    Verbiest, G J; van der Zalm, D J; Oosterkamp, T H; Rost, M J

    2015-03-01

    The application of ultrasound in an Atomic Force Microscope (AFM) gives access to subsurface information. However, no commercially AFM exists that is equipped with this technique. The main problems are the electronic crosstalk in the AFM setup and the insufficiently strong excitation of the cantilever at ultrasonic (MHz) frequencies. In this paper, we describe the development of an add-on that provides a solution to these problems by using a special piezo element with a lowest resonance frequency of 2.5 MHz and by separating the electronic connection for this high frequency piezo element from all other connections. In this sense, we support researches with the possibility to perform subsurface measurements with their existing AFMs and hopefully pave also the way for the development of a commercial AFM that is capable of imaging subsurface features with nanometer resolution.

  7. A subsurface add-on for standard atomic force microscopes

    SciTech Connect

    Verbiest, G. J.; Zalm, D. J. van der; Oosterkamp, T. H.; Rost, M. J.

    2015-03-15

    The application of ultrasound in an Atomic Force Microscope (AFM) gives access to subsurface information. However, no commercially AFM exists that is equipped with this technique. The main problems are the electronic crosstalk in the AFM setup and the insufficiently strong excitation of the cantilever at ultrasonic (MHz) frequencies. In this paper, we describe the development of an add-on that provides a solution to these problems by using a special piezo element with a lowest resonance frequency of 2.5 MHz and by separating the electronic connection for this high frequency piezo element from all other connections. In this sense, we support researches with the possibility to perform subsurface measurements with their existing AFMs and hopefully pave also the way for the development of a commercial AFM that is capable of imaging subsurface features with nanometer resolution.

  8. Add-on gabapentin in the treatment of opiate withdrawal.

    PubMed

    Martínez-Raga, José; Sabater, Ana; Perez-Galvez, Bartolome; Castellano, Miguel; Cervera, Gaspar

    2004-05-01

    Gabapentin is an antiepileptic drug shown to be effective in the treatment of pain disorders and appears to be useful as well for several psychiatric disorders, including bipolar disorder, anxiety disorders, alcohol withdrawal and cocaine dependence. Gabapentin, at a dose of 600 mg three times a day, was evaluated as an add-on medication to a standard detoxification regime in seven heroin dependent individuals undergoing outpatient opiate withdrawal treatment. All seven patients successfully completed opiate detoxification and commenced opiate antagonist treatment with naltrexone on day five of withdrawal treatment, as scheduled. No adverse event was noted. Gabapentin appeared to lead a reduction in symptomatic medication and an overall beneficial effect on symptoms of heroin withdrawal.

  9. Probabilistic and fuzzy logic in clinical diagnosis.

    PubMed

    Licata, G

    2007-06-01

    In this study I have compared classic and fuzzy logic and their usefulness in clinical diagnosis. The theory of probability is often considered a device to protect the classical two-valued logic from the evidence of its inadequacy to understand and show the complexity of world [1]. This can be true, but it is not possible to discard the theory of probability. I will argue that the problems and the application fields of the theory of probability are very different from those of fuzzy logic. After the introduction on the theoretical bases of fuzzy approach to logic, I have reported some diagnostic argumentations employing fuzzy logic. The state of normality and the state of disease often fight their battle on scalar quantities of biological values and it is not hard to establish a correspondence between the biological values and the percent values of fuzzy logic. Accordingly, I have suggested some applications of fuzzy logic in clinical diagnosis and in particular I have utilised a fuzzy curve to recognise subjects with diabetes mellitus, renal failure and liver disease. The comparison between classic and fuzzy logic findings seems to indicate that fuzzy logic is more adequate to study the development of biological events. In fact, fuzzy logic is useful when we have a lot of pieces of information and when we dispose to scalar quantities. In conclusion, increasingly the development of technology offers new instruments to measure pathological parameters through scalar quantities, thus it is reasonable to think that in the future fuzzy logic will be employed more in clinical diagnosis.

  10. 24 CFR 983.206 - HAP contract amendments (to add or substitute contract units).

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    ... 24 Housing and Urban Development 4 2011-04-01 2011-04-01 false HAP contract amendments (to add or... Contract § 983.206 HAP contract amendments (to add or substitute contract units). (a) Amendment to... substitute unit and must determine the reasonable rent for such unit. (b) Amendment to add contract units....

  11. 12 CFR 502.60 - When will OTS adjust, add, waive, or eliminate a fee?

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... 12 Banks and Banking 6 2014-01-01 2012-01-01 true When will OTS adjust, add, waive, or eliminate a... ASSESSMENTS AND FEES Fees § 502.60 When will OTS adjust, add, waive, or eliminate a fee? Under unusual circumstances, the Director may deem it necessary or appropriate to adjust, add, waive, or eliminate a fee....

  12. 24 CFR 983.206 - HAP contract amendments (to add or substitute contract units).

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... 24 Housing and Urban Development 4 2010-04-01 2010-04-01 false HAP contract amendments (to add or... Contract § 983.206 HAP contract amendments (to add or substitute contract units). (a) Amendment to... substitute unit and must determine the reasonable rent for such unit. (b) Amendment to add contract units....

  13. 24 CFR 983.206 - HAP contract amendments (to add or substitute contract units).

    Code of Federal Regulations, 2014 CFR

    2014-04-01

    ... 24 Housing and Urban Development 4 2014-04-01 2014-04-01 false HAP contract amendments (to add or... Contract § 983.206 HAP contract amendments (to add or substitute contract units). (a) Amendment to... substitute unit and must determine the reasonable rent for such unit. (b) Amendment to add contract units....

  14. 24 CFR 983.206 - HAP contract amendments (to add or substitute contract units).

    Code of Federal Regulations, 2013 CFR

    2013-04-01

    ... 24 Housing and Urban Development 4 2013-04-01 2013-04-01 false HAP contract amendments (to add or... Contract § 983.206 HAP contract amendments (to add or substitute contract units). (a) Amendment to... substitute unit and must determine the reasonable rent for such unit. (b) Amendment to add contract units....

  15. 5 CFR 330.105 - Instructions on how to add a vacancy announcement to USAJOBS.

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... 5 Administrative Personnel 1 2013-01-01 2013-01-01 false Instructions on how to add a vacancy... Service § 330.105 Instructions on how to add a vacancy announcement to USAJOBS. An agency can find the instructions to add a vacancy announcement to USAJOBS on OPM's Web site at http://www.usajobs.gov....

  16. 12 CFR 502.60 - When will OTS adjust, add, waive, or eliminate a fee?

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... 12 Banks and Banking 6 2012-01-01 2012-01-01 false When will OTS adjust, add, waive, or eliminate... TREASURY ASSESSMENTS AND FEES Fees § 502.60 When will OTS adjust, add, waive, or eliminate a fee? Under unusual circumstances, the Director may deem it necessary or appropriate to adjust, add, waive,...

  17. 24 CFR 983.206 - HAP contract amendments (to add or substitute contract units).

    Code of Federal Regulations, 2012 CFR

    2012-04-01

    ... 24 Housing and Urban Development 4 2012-04-01 2012-04-01 false HAP contract amendments (to add or... Contract § 983.206 HAP contract amendments (to add or substitute contract units). (a) Amendment to... substitute unit and must determine the reasonable rent for such unit. (b) Amendment to add contract units....

  18. 5 CFR 330.105 - Instructions on how to add a vacancy announcement to USAJOBS.

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... 5 Administrative Personnel 1 2012-01-01 2012-01-01 false Instructions on how to add a vacancy... Service § 330.105 Instructions on how to add a vacancy announcement to USAJOBS. An agency can find the instructions to add a vacancy announcement to USAJOBS on OPM's Web site at http://www.usajobs.gov....

  19. 12 CFR 502.60 - When will OTS adjust, add, waive, or eliminate a fee?

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 12 Banks and Banking 5 2010-01-01 2010-01-01 false When will OTS adjust, add, waive, or eliminate... TREASURY ASSESSMENTS AND FEES Fees § 502.60 When will OTS adjust, add, waive, or eliminate a fee? Under unusual circumstances, the Director may deem it necessary or appropriate to adjust, add, waive,...

  20. 12 CFR 502.60 - When will OTS adjust, add, waive, or eliminate a fee?

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... 12 Banks and Banking 5 2011-01-01 2011-01-01 false When will OTS adjust, add, waive, or eliminate... TREASURY ASSESSMENTS AND FEES Fees § 502.60 When will OTS adjust, add, waive, or eliminate a fee? Under unusual circumstances, the Director may deem it necessary or appropriate to adjust, add, waive,...

  1. 5 CFR 330.105 - Instructions on how to add a vacancy announcement to USAJOBS.

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... 5 Administrative Personnel 1 2014-01-01 2014-01-01 false Instructions on how to add a vacancy... Service § 330.105 Instructions on how to add a vacancy announcement to USAJOBS. An agency can find the instructions to add a vacancy announcement to USAJOBS on OPM's Web site at http://www.usajobs.gov....

  2. 12 CFR 502.60 - When will OTS adjust, add, waive, or eliminate a fee?

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... 12 Banks and Banking 6 2013-01-01 2012-01-01 true When will OTS adjust, add, waive, or eliminate a... ASSESSMENTS AND FEES Fees § 502.60 When will OTS adjust, add, waive, or eliminate a fee? Under unusual circumstances, the Director may deem it necessary or appropriate to adjust, add, waive, or eliminate a fee....

  3. College Students with Attention Deficit Disorder (ADD): Implications for Learning Assistance Professionals.

    ERIC Educational Resources Information Center

    Eaton, Shevawn; Wyland, Sharon

    1996-01-01

    Examines the research and theory about attention deficit disorder (ADD) in college students and discusses how learning assistance professionals can better assist college students with ADD. Appended in this article are strategies for faculty/learning center professionals in accommodating students with ADD and a list of suggested readings. Contains…

  4. Logical Empiricism, Politics, and Professionalism

    NASA Astrophysics Data System (ADS)

    Edgar, Scott

    2009-02-01

    This paper considers George A. Reisch’s account of the role of Cold War political forces in shaping the apolitical stance that came to dominate philosophy of science in the late 1940s and 1950s. It argues that at least as early as the 1930s, Logical Empiricists such as Rudolf Carnap already held that philosophy of science could not properly have political aims, and further suggests that political forces alone cannot explain this view’s rise to dominance during the Cold War, since political forces cannot explain why a philosophy of science with liberal democratic, anti-communist aims did not flourish. The paper then argues that if professionalization is understood in the right way, it might point toward an explanation of the apolitical stance of Cold War philosophy of science.

  5. A Logic for Qualified Syllogisms

    NASA Astrophysics Data System (ADS)

    Schwartz, Daniel G.

    In various works, L.A. Zadeh has introduced fuzzy quantifiers, fuzzy usuality modifiers, and fuzzy likelihood modifiers. This paper provides these notions with a unified semantics and uses this to define a formal logic capable of expressing and validating arguments such as 'Most birds can fly; Tweety is a bird; therefore, it is likely that Tweety can fly'. In effect, these are classical Aristotelean syllogisms that have been "qualified" through the use of fuzzy quantifiers. It is briefly outlined how these, together with some likelihood combination rules, can be used to address some well-known problems in the theory of nonmonotonic reasoning. The work is aimed at future applications in expert systems and robotics, including both hardware and software agents.

  6. Towards bioelectronic logic (Conference Presentation)

    NASA Astrophysics Data System (ADS)

    Meredith, Paul; Mostert, Bernard; Sheliakina, Margarita; Carrad, Damon J.; Micolich, Adam P.

    2016-09-01

    One of the critical tasks in realising a bioelectronic interface is the transduction of ion and electron signals at high fidelity, and with appropriate speed, bandwidth and signal-to-noise ratio [1]. This is a challenging task considering ions and electrons (or holes) have drastically different physics. For example, even the lightest ions (protons) have mobilities much smaller than electrons in the best semiconductors, effective masses are quite different, and at the most basic level, ions are `classical' entities and electrons `quantum mechanical'. These considerations dictate materials and device strategies for bioelectronic interfaces alongside practical aspects such as integration and biocompatibility [2]. In my talk I will detail these `differences in physics' that are pertinent to the ion-electron transduction challenge. From this analysis, I will summarise the basic categories of device architecture that are possibilities for transducing elements and give recent examples of their realisation. Ultimately, transducing elements need to be combined to create `bioelectronic logic' capable of signal processing at the interface level. In this regard, I will extend the discussion past the single element concept, and discuss our recent progress in delivering all-solids-state logic circuits based upon transducing interfaces. [1] "Ion bipolar junction transistors", K. Tybrandt, K.C. Larsson, A. Richter-Dahlfors and M. Berggren, Proc. Natl Acad. Sci., 107, 9929 (2010). [2] "Electronic and optoelectronic materials and devices inspired by nature", P Meredith, C.J. Bettinger, M. Irimia-Vladu, A.B. Mostert and P.E. Schwenn, Reports on Progress in Physics, 76, 034501 (2013).

  7. Autonomous vehicle motion control, approximate maps, and fuzzy logic

    NASA Technical Reports Server (NTRS)

    Ruspini, Enrique H.

    1993-01-01

    Progress on research on the control of actions of autonomous mobile agents using fuzzy logic is presented. The innovations described encompass theoretical and applied developments. At the theoretical level, results of research leading to the combined utilization of conventional artificial planning techniques with fuzzy logic approaches for the control of local motion and perception actions are presented. Also formulations of dynamic programming approaches to optimal control in the context of the analysis of approximate models of the real world are examined. Also a new approach to goal conflict resolution that does not require specification of numerical values representing relative goal importance is reviewed. Applied developments include the introduction of the notion of approximate map. A fuzzy relational database structure for the representation of vague and imprecise information about the robot's environment is proposed. Also the central notions of control point and control structure are discussed.

  8. Physics, Topology, Logic and Computation: A Rosetta Stone

    NASA Astrophysics Data System (ADS)

    Baez, J.; Stay, M.

    In physics, Feynman diagrams are used to reason about quantum processes. In the 1980s, it became clear that underlying these diagrams is a powerful analogy between quantum physics and topology. Namely, a linear operator behaves very much like a "cobordism": a manifold representing spacetime, going between two manifolds representing space. This led to a burst of work on topological quantum field theory and "quantum topology". But this was just the beginning: similar diagrams can be used to reason about logic, where they represent proofs, and computation, where they represent programs. With the rise of interest in quantum cryptography and quantum computation, it became clear that there is extensive network of analogies between physics, topology, logic and computation. In this expository paper, we make some of these analogies precise using the concept of "closed symmetric monoidal category". We assume no prior knowledge of category theory, proof theory or computer science.

  9. Logic as a tool for clinical training in social work.

    PubMed

    Miller, S I; Bogal, R B

    1977-01-01

    The paper is an attempt to illustrate the usefulness of logic as a technique in the clinical training of mental health professionals. The specific concepts that are examined include the nature of deductive and inductive reasoning, hypothesis testing, necessary and sufficient conditions, "if-then" propositions, and the nature of clinical evidence. Knowledge and use of these concepts was tested in a tutorial program directed toward students who were beginning graduate studies in the field of social work. Some of the difficulties encountered by these students, especially in the clinical aspects of their training, were directly related to an inadequate understanding of these logical forms of reasoning. It is suggested that a portion of the clinical training in mental health fields be directed towards a deeper understanding and utilization of these basic concepts.

  10. Love and Logic: Influence on Teacher-Student Relationships and Classroom Climate

    ERIC Educational Resources Information Center

    Ruddell, Mandy P.

    2011-01-01

    The purpose of this evaluation study was to explore the extent to which the objectives of the school-wide program, "Love and Logic," had been met in a suburban elementary school in the southeast. The program evaluation was completed using multiple sources of data. A mixed methods design was used to collect and analyze data including a post program…

  11. Calculator Logic Systems and Mathematical Understandings.

    ERIC Educational Resources Information Center

    Burrows, Enid R.

    This monograph is aimed at helping the reader understand the built-in logic of various calculator operating systems. It is an outgrowth of workshop contacts with in-service and pre-service teachers of mathematics and is in response to their request for a book on the subject of calculator logic systems and calculator algorithms. The mathematical…

  12. A Device for Logic Information Processing.

    ERIC Educational Resources Information Center

    Levinskiy, L. S.; Vissonova, I. A.

    Two essential components of the information-logic problem are: (1) choosing some known part of the total information block for parallel review of the entire block and (2) parallel logic processing of a sequence of codes. The described device fulfills these essential components thereby improving information processing and increasing the speed of…

  13. The Logic of Creative and Critical Thinking.

    ERIC Educational Resources Information Center

    Paul, Richard

    This paper explores the intimate connection between creative and critical thinking, by arguing that both are inseparable in everyday reasoning. The details of the relationship between creative and critical thinking are worked out in relation to the processes of: (1) thinking through the logic of things; (2) taking command of reasoning and logic;…

  14. Logic in Educational Research and Policy Making.

    ERIC Educational Resources Information Center

    Garlikov, Rick

    2000-01-01

    Analyzes S. Bauer's article on the use of achievement tests to judge school quality to demonstrate the importance of logic, philosophy (especially conceptual analysis), and insights based on anecdotal evidence for educational research and policy making. Emphasizes the place for logical reasoning and anecdotal evidence in the empirical enterprise…

  15. Fuzzy Logic in Medicine and Bioinformatics

    PubMed Central

    Torres, Angela; Nieto, Juan J.

    2006-01-01

    The purpose of this paper is to present a general view of the current applications of fuzzy logic in medicine and bioinformatics. We particularly review the medical literature using fuzzy logic. We then recall the geometrical interpretation of fuzzy sets as points in a fuzzy hypercube and present two concrete illustrations in medicine (drug addictions) and in bioinformatics (comparison of genomes). PMID:16883057

  16. The Completion of the Emergence of Modern Logic from Boole's The Mathematical Analysis of Logic to Frege's Begriffsschrift

    NASA Astrophysics Data System (ADS)

    Jetli, Priyedarshi

    Modern logic begins with Boole's The Mathematical Analysis of Logic when the algebra of logic was developed so that classical logic syllogisms were proven as algebraic equations and the turn from the logic of classes to propositional logic was suggested. The emergence was incomplete as Boole algebraised classical logic. Frege in Begriffsschrift replaced Aristotelian subject-predicate propositions by function and argument and displaced syllogisms with an axiomatic propositional calculus using conditionals, modus ponens and the law of substitution. Further Frege provided the breakthrough to lay down the groundwork for the development of quantified logic as well as the logic of relations. He achieved all of this through his innovative formal notations which have remained underrated. Frege hence completed the emergence of modern logic. Both Boole and Frege mathematised logic, but Frege's goal was to logicise mathematics. However the emergence of modern logic in Frege should be detached from his logicism.

  17. Interpreting Quantum Logic as a Pragmatic Structure

    NASA Astrophysics Data System (ADS)

    Garola, Claudio

    2017-02-01

    Many scholars maintain that the language of quantum mechanics introduces a quantum notion of truth which is formalized by (standard, sharp) quantum logic and is incompatible with the classical (Tarskian) notion of truth. We show that quantum logic can be identified (up to an equivalence relation) with a fragment of a pragmatic language LGP of assertive formulas, that are justified or unjustified rather than trueor false. Quantum logic can then be interpreted as an algebraic structure that formalizes properties of the notion of empirical justification according to quantum mechanics rather than properties of a quantum notion of truth. This conclusion agrees with a general integrationist perspective that interprets nonstandard logics as theories of metalinguistic notions different from truth, thus avoiding incompatibility with classical notions and preserving the globality of logic.

  18. Processing device with self-scrubbing logic

    SciTech Connect

    Wojahn, Christopher K.

    2016-03-01

    An apparatus includes a processing unit including a configuration memory and self-scrubber logic coupled to read the configuration memory to detect compromised data stored in the configuration memory. The apparatus also includes a watchdog unit external to the processing unit and coupled to the self-scrubber logic to detect a failure in the self-scrubber logic. The watchdog unit is coupled to the processing unit to selectively reset the processing unit in response to detecting the failure in the self-scrubber logic. The apparatus also includes an external memory external to the processing unit and coupled to send configuration data to the configuration memory in response to a data feed signal outputted by the self-scrubber logic.

  19. Using Abductive Research Logic: "The Logic of Discovery", to Construct a Rigorous Explanation of Amorphous Evaluation Findings

    ERIC Educational Resources Information Center

    Levin-Rozalis, Miri

    2010-01-01

    Background: Two kinds of research logic prevail in scientific research: deductive research logic and inductive research logic. However, both fail in the field of evaluation, especially evaluation conducted in unfamiliar environments. Purpose: In this article I wish to suggest the application of a research logic--"abduction"--"the logic of…

  20. Derivation of sorting programs

    NASA Technical Reports Server (NTRS)

    Varghese, Joseph; Loganantharaj, Rasiah

    1990-01-01

    Program synthesis for critical applications has become a viable alternative to program verification. Nested resolution and its extension are used to synthesize a set of sorting programs from their first order logic specifications. A set of sorting programs, such as, naive sort, merge sort, and insertion sort, were successfully synthesized starting from the same set of specifications.

  1. ADD and the College Student: A Guide for High School and College Students with Attention Deficit Disorder. Revised Edition.

    ERIC Educational Resources Information Center

    Quinn, Patricia O., Ed.

    This handbook contains practical information and advice to help students with Attention Deficit Disorder (ADD) transition from high school to college. Part 1 provides an introduction to ADD and includes a questionnaire identifying the characteristics of a person with ADD. Part 2 describes life with ADD. It explains how ADD can affect high school…

  2. Does aquaculture add resilience to the global food system?

    PubMed

    Troell, Max; Naylor, Rosamond L; Metian, Marc; Beveridge, Malcolm; Tyedmers, Peter H; Folke, Carl; Arrow, Kenneth J; Barrett, Scott; Crépin, Anne-Sophie; Ehrlich, Paul R; Gren, Asa; Kautsky, Nils; Levin, Simon A; Nyborg, Karine; Österblom, Henrik; Polasky, Stephen; Scheffer, Marten; Walker, Brian H; Xepapadeas, Tasos; de Zeeuw, Aart

    2014-09-16

    Aquaculture is the fastest growing food sector and continues to expand alongside terrestrial crop and livestock production. Using portfolio theory as a conceptual framework, we explore how current interconnections between the aquaculture, crop, livestock, and fisheries sectors act as an impediment to, or an opportunity for, enhanced resilience in the global food system given increased resource scarcity and climate change. Aquaculture can potentially enhance resilience through improved resource use efficiencies and increased diversification of farmed species, locales of production, and feeding strategies. However, aquaculture's reliance on terrestrial crops and wild fish for feeds, its dependence on freshwater and land for culture sites, and its broad array of environmental impacts diminishes its ability to add resilience. Feeds for livestock and farmed fish that are fed rely largely on the same crops, although the fraction destined for aquaculture is presently small (∼4%). As demand for high-value fed aquaculture products grows, competition for these crops will also rise, as will the demand for wild fish as feed inputs. Many of these crops and forage fish are also consumed directly by humans and provide essential nutrition for low-income households. Their rising use in aquafeeds has the potential to increase price levels and volatility, worsening food insecurity among the most vulnerable populations. Although the diversification of global food production systems that includes aquaculture offers promise for enhanced resilience, such promise will not be realized if government policies fail to provide adequate incentives for resource efficiency, equity, and environmental protection.

  3. Does aquaculture add resilience to the global food system?

    PubMed Central

    Troell, Max; Naylor, Rosamond L.; Metian, Marc; Beveridge, Malcolm; Tyedmers, Peter H.; Folke, Carl; Arrow, Kenneth J.; Barrett, Scott; Crépin, Anne-Sophie; Ehrlich, Paul R.; Gren, Åsa; Kautsky, Nils; Levin, Simon A.; Nyborg, Karine; Österblom, Henrik; Polasky, Stephen; Scheffer, Marten; Walker, Brian H.; Xepapadeas, Tasos; de Zeeuw, Aart

    2014-01-01

    Aquaculture is the fastest growing food sector and continues to expand alongside terrestrial crop and livestock production. Using portfolio theory as a conceptual framework, we explore how current interconnections between the aquaculture, crop, livestock, and fisheries sectors act as an impediment to, or an opportunity for, enhanced resilience in the global food system given increased resource scarcity and climate change. Aquaculture can potentially enhance resilience through improved resource use efficiencies and increased diversification of farmed species, locales of production, and feeding strategies. However, aquaculture’s reliance on terrestrial crops and wild fish for feeds, its dependence on freshwater and land for culture sites, and its broad array of environmental impacts diminishes its ability to add resilience. Feeds for livestock and farmed fish that are fed rely largely on the same crops, although the fraction destined for aquaculture is presently small (∼4%). As demand for high-value fed aquaculture products grows, competition for these crops will also rise, as will the demand for wild fish as feed inputs. Many of these crops and forage fish are also consumed directly by humans and provide essential nutrition for low-income households. Their rising use in aquafeeds has the potential to increase price levels and volatility, worsening food insecurity among the most vulnerable populations. Although the diversification of global food production systems that includes aquaculture offers promise for enhanced resilience, such promise will not be realized if government policies fail to provide adequate incentives for resource efficiency, equity, and environmental protection. PMID:25136111

  4. Climatic Drivers of Past Antarctic Ice Sheet Evolution Add Nonlinearly

    NASA Astrophysics Data System (ADS)

    Tigchelaar, M.; Timmermann, A.; Pollard, D.; Friedrich, T.; Heinemann, M.

    2015-12-01

    The Antarctic ice sheet has varied substantially in shape and volume in the past, with evidence for strong regional differences in evolution history. Recent observations of change in the Antarctic environment indicate that different regions respond differently to ongoing changes in global climate -- over the West Antarctic Ice Sheet strong increases in sub-shelf melt rates indicate a sensitivity to changes in ocean temperature and circulation, while in East Antarctica the mass balance is increasingly positive due to an increase in accumulation in response to rising temperatures. Modeling the long term evolution of the Antarctic ice sheet can help address questions about its regional sensitivity to external forcing. We have conducted experiments with an established ice sheet model over the last eight glacial cycles using spatially and temporally varying climate forcing from an EMIC. These simulations indicate a glacial-interglacial amplitude of ~11m SLE. Using a series of sensitivity experiments we address the dominant climatic forcing of this evolution. While sea level changes are the main driver of grounding line movement, they alone are not sufficient to explain the full glacial amplitude. Local insolation changes contribute to the initiation of terminations, while accumulation and sub-shelf melt changes feed back positively and negatively respectively onto the ice sheet evolution. This implies that climatic drivers add nonlinearly and the full spectrum of climate forcing needs to be considered when evaluating the sensitivity of the Antarctic ice sheet to past and future climate change.

  5. DNAzyme-Based Logic Gate-Mediated DNA Self-Assembly.

    PubMed

    Zhang, Cheng; Yang, Jing; Jiang, Shuoxing; Liu, Yan; Yan, Hao

    2016-01-13

    Controlling DNA self-assembly processes using rationally designed logic gates is a major goal of DNA-based nanotechnology and programming. Such controls could facilitate the hierarchical engineering of complex nanopatterns responding to various molecular triggers or inputs. Here, we demonstrate the use of a series of DNAzyme-based logic gates to control DNA tile self-assembly onto a prescribed DNA origami frame. Logic systems such as "YES," "OR," "AND," and "logic switch" are implemented based on DNAzyme-mediated tile recognition with the DNA origami frame. DNAzyme is designed to play two roles: (1) as an intermediate messenger to motivate downstream reactions and (2) as a final trigger to report fluorescent signals, enabling information relay between the DNA origami-framed tile assembly and fluorescent signaling. The results of this study demonstrate the plausibility of DNAzyme-mediated hierarchical self-assembly and provide new tools for generating dynamic and responsive self-assembly systems.

  6. Plugging Taxonomic Similarity in First-Order Logic Horn Clauses Comparison

    NASA Astrophysics Data System (ADS)

    Ferilli, S.; Biba, M.; di Mauro, N.; Basile, T. M. A.; Esposito, F.

    Horn clause Logic is a powerful representation language exploited in Logic Programming as a computer programming framework and in Inductive Logic Programming as a formalism for expressing examples and learned theories in domains where relations among objects must be expressed to fully capture the relevant information. While the predicates that make up the description language are defined by the knowledge engineer and handled only syntactically by the interpreters, they sometimes express information that can be properly exploited only with reference to a taxonomic background knowledge in order to capture unexpressed and underlying relationships among the concepts described. This is typical when the representation predicates are not purposely engineered but rather derive from the particular words found in a text.

  7. Two Influential Primate Classifications Logically Aligned

    PubMed Central

    Franz, Nico M.; Pier, Naomi M.; Reeder, Deeann M.; Chen, Mingmin; Yu, Shizhuo; Kianmajd, Parisa; Bowers, Shawn; Ludäscher, Bertram

    2016-01-01

    Classifications and phylogenies of perceived natural entities change in the light of new evidence. Taxonomic changes, translated into Code-compliant names, frequently lead to name:meaning dissociations across succeeding treatments. Classification standards such as the Mammal Species of the World (MSW) may experience significant levels of taxonomic change from one edition to the next, with potential costs to long-term, large-scale information integration. This circumstance challenges the biodiversity and phylogenetic data communities to express taxonomic congruence and incongruence in ways that both humans and machines can process, that is, to logically represent taxonomic alignments across multiple classifications. We demonstrate that such alignments are feasible for two classifications of primates corresponding to the second and third MSW editions. Our approach has three main components: (i) use of taxonomic concept labels, that is name sec. author (where sec. means according to), to assemble each concept hierarchy separately via parent/child relationships; (ii) articulation of select concepts across the two hierarchies with user-provided Region Connection Calculus (RCC-5) relationships; and (iii) the use of an Answer Set Programming toolkit to infer and visualize logically consistent alignments of these input constraints. Our use case entails the Primates sec. Groves (1993; MSW2–317 taxonomic concepts; 233 at the species level) and Primates sec. Groves (2005; MSW3–483 taxonomic concepts; 376 at the species level). Using 402 RCC-5 input articulations, the reasoning process yields a single, consistent alignment and 153,111 Maximally Informative Relations that constitute a comprehensive meaning resolution map for every concept pair in the Primates sec. MSW2/MSW3. The complete alignment, and various partitions thereof, facilitate quantitative analyses of name:meaning dissociation, revealing that nearly one in three taxonomic names are not reliable across

  8. A Self-Paced Introductory Programming Course

    ERIC Educational Resources Information Center

    Gill, T. Grandon; Holton, Carolyn F.

    2006-01-01

    In this paper, a required introductory programming course being taught to MIS undergraduates using the C++ programming language is described. Two factors make the objectives of the course--which are to provide students with an exposure to the logical organization of the computer in addition to teaching them basic programming logic--particularly…

  9. Program Instrumentation and Trace Analysis

    NASA Technical Reports Server (NTRS)

    Havelund, Klaus; Goldberg, Allen; Filman, Robert; Rosu, Grigore; Koga, Dennis (Technical Monitor)

    2002-01-01

    Several attempts have been made recently to apply techniques such as model checking and theorem proving to the analysis of programs. This shall be seen as a current trend to analyze real software systems instead of just their designs. This includes our own effort to develop a model checker for Java, the Java PathFinder 1, one of the very first of its kind in 1998. However, model checking cannot handle very large programs without some kind of abstraction of the program. This paper describes a complementary scalable technique to handle such large programs. Our interest is turned on the observation part of the equation: How much information can be extracted about a program from observing a single execution trace? It is our intention to develop a technology that can be applied automatically and to large full-size applications, with minimal modification to the code. We present a tool, Java PathExplorer (JPaX), for exploring execution traces of Java programs. The tool prioritizes scalability for completeness, and is directed towards detecting errors in programs, not to prove correctness. One core element in JPaX is an instrumentation package that allows to instrument Java byte code files to log various events when executed. The instrumentation is driven by a user provided script that specifies what information to log. Examples of instructions that such a script can contain are: 'report name and arguments of all called methods defined in class C, together with a timestamp'; 'report all updates to all variables'; and 'report all acquisitions and releases of locks'. In more complex instructions one can specify that certain expressions should be evaluated and even that certain code should be executed under various conditions. The instrumentation package can hence be seen as implementing Aspect Oriented Programming for Java in the sense that one can add functionality to a Java program without explicitly changing the code of the original program, but one rather writes an

  10. Earthquake Archaeology: a logical approach?

    NASA Astrophysics Data System (ADS)

    Stewart, I. S.; Buck, V. A.

    2001-12-01

    Ancient earthquakes can leave their mark in the mythical and literary accounts of ancient peoples, the stratigraphy of their site histories, and the structural integrity of their constructions. Within this broad cross-disciplinary tramping ground, earthquake geologists have tended to focus on those aspects of the cultural record that are most familiar to them; the physical effects of seismic deformation on ancient constructions. One of the core difficulties with this 'earthquake archaeology' approach is that recent attempts to isolate structural criteria that are diagnostic or strongly suggestive of a seismic origin are undermined by the recognition that signs of ancient seismicity are generally indistinguishable from non-seismic mechanisms (poor construction, adverse geotechnical conditions). We illustrate the difficulties and inconsistencies in current proposed 'earthquake diagnostic' schemes by reference to two case studies of archaeoseismic damage in central Greece. The first concerns fallen columns at various Classical temple localities in mainland Greece (Nemea, Sounio, Olympia, Bassai) which, on the basis of observed structural criteria, are earthquake-induced but which are alternatively explained by archaeologists as the action of human disturbance. The second re-examines the almost type example of the Kyparissi site in the Atalanti region as a Classical stoa offset across a seismic surface fault, arguing instead for its deformation by ground instability. Finally, in highlighting the inherent ambiguity of archaeoseismic data, we consider the value of a logic-tree approach for quantifying and quantifying our uncertainities for seismic-hazard analysis.

  11. A Very Small Logical Qubit

    NASA Astrophysics Data System (ADS)

    Kapit, Eliot

    Superconducting qubits are among the most promising platforms for building a quantum computer. However, individual qubit coherence times are not far past the scalability threshold for quantum error correction, meaning that millions of physical devices would be required to construct a useful quantum computer. Consequently, further increases in coherence time are very desirable. In this letter, we blueprint a simple circuit consisting of two transmon qubits and two additional lossy qubits or resonators, which is passively protected against all single qubit quantum error channels through a combination of continuous driving and engineered dissipation. Photon losses are rapidly corrected through two-photon drive fields implemented with driven SQUID couplings, and dephasing from random potential fluctuations is heavily suppressed by the drive fields used to implement the multi-qubit Hamiltonian. Comparing our theoretical model to published noise estimates from recent experiments on flux and transmon qubits, we find that logical state coherence could be improved by a factor of forty or more compared to the individual qubit T1 and T2 using this technique.

  12. The Logic of Reflection: Samuel Taylor Coleridge's "treatise on Logic"

    NASA Astrophysics Data System (ADS)

    Land, Janet Sanders

    Though others discuss Coleridge's interest in science, light imagery, the phenomenon of reflection, and his references to Newton and Opticks,^1 this is the first study to examine Coleridge's art in terms of optics, its developing theories, and the nature-of-light debate. This study examines Coleridge's early predilection for visions, illusions, and the supernatural and demonstrates that he gradually shifts from the supernatural to the scientific aspects of "visions" and "illusions," concentrating on causes of illusions and the effects of their deceptive qualities rather than their mystical features. By the 1820's, his preoccupation with illusions had become an interest in optics, fueled, no doubt, by the increasing controversy of the nature-of-light debate and the number of advances in optics resulting from the efforts of its opponents to prove their theories. Tracing the development of the debate, its escalation in the early nineteenth century, and the formation of Coleridge's opinion concerning key issues of the debate, I outline the evolution of Coleridge's theory of reflection and examine the exposition of that theory in his treatise, Logic (1981). Finally, I analyze the relationship between the advances in optics and Coleridge's concepts of thought and knowledge and his notion of the mind as an instrument of knowledge. These ideas in turn, altered his opinions concerning the validity of knowledge resulting from philosophic debate, scientific experiment, and poetic exploration. ftn^1John Beer, "Coleridge and Wordsworth on Reflection," The Wordsworth Circle 20 (1989): 20-29; Coleridge the Visionary. London: Chatto and Windus, 1959; and Coleridge's Poetic Intelligence. London: Macmillan, 1977 and M. H. Abrams Natural Supernaturalism: Tradition and Revolution in Romantic Literature. New York: Norton, 1971; and "Coleridge's 'A Light in Sound': Science, Metascience, and Poetic Imagination." The Correspondent Breeze: Essays on English Romanticism. Eds. M. H. Abrams

  13. Magnetic logic using nanowires with perpendicular anisotropy.

    PubMed

    Jaworowicz, J; Vernier, N; Ferré, J; Maziewski, A; Stanescu, D; Ravelosona, D; Jacqueline, A S; Chappert, C; Rodmacq, B; Diény, B

    2009-05-27

    In addition to a storage function through the magnetization of nanowires, domain wall propagation can be used to trigger magnetic logic functions. Here, we present a new way to realize a pure magnetic logic operation by using magnetic nanowires with perpendicular anisotropy. Emphasis is given on the generation of the logic function 'NOT' that is based on the dipolar interaction between two neighbouring magnetic wires, which favours the creation of a domain wall. This concept has been validated on several prototypes and the results fit well with the expectations.

  14. Bilayer avalanche spin-diode logic

    SciTech Connect

    Friedman, Joseph S. Querlioz, Damien; Fadel, Eric R.; Wessels, Bruce W.; Sahakian, Alan V.

    2015-11-15

    A novel spintronic computing paradigm is proposed and analyzed in which InSb p-n bilayer avalanche spin-diodes are cascaded to efficiently perform complex logic operations. This spin-diode logic family uses control wires to generate magnetic fields that modulate the resistance of the spin-diodes, and currents through these devices control the resistance of cascaded devices. Electromagnetic simulations are performed to demonstrate the cascading mechanism, and guidelines are provided for the development of this innovative computing technology. This cascading scheme permits compact logic circuits with switching speeds determined by electromagnetic wave propagation rather than electron motion, enabling high-performance spintronic computing.

  15. Coordination Logic for Repulsive Resolution Maneuvers

    NASA Technical Reports Server (NTRS)

    Narkawicz, Anthony J.; Munoz, Cesar A.; Dutle, Aaron M.

    2016-01-01

    This paper presents an algorithm for determining the direction an aircraft should maneuver in the event of a potential conflict with another aircraft. The algorithm is implicitly coordinated, meaning that with perfectly reliable computations and information, it will in- dependently provide directional information that is guaranteed to be coordinated without any additional information exchange or direct communication. The logic is inspired by the logic of TCAS II, the airborne system designed to reduce the risk of mid-air collisions between aircraft. TCAS II provides pilots with only vertical resolution advice, while the proposed algorithm, using a similar logic, provides implicitly coordinated vertical and horizontal directional advice.

  16. Repressor logic modules assembled by rolling circle amplification platform to construct a set of logic gates

    PubMed Central

    Wei, Hua; Hu, Bo; Tang, Suming; Zhao, Guojie; Guan, Yifu

    2016-01-01

    Small molecule metabolites and their allosterically regulated repressors play an important role in many gene expression and metabolic disorder processes. These natural sensors, though valuable as good logic switches, have rarely been employed without transcription machinery in cells. Here, two pairs of repressors, which function in opposite ways, were cloned, purified and used to control DNA replication in rolling circle amplification (RCA) in vitro. By using metabolites and repressors as inputs, RCA signals as outputs, four basic logic modules were constructed successfully. To achieve various logic computations based on these basic modules, we designed series and parallel strategies of circular templates, which can further assemble these repressor modules in an RCA platform to realize twelve two-input Boolean logic gates and a three-input logic gate. The RCA-output and RCA-assembled platform was proved to be easy and flexible for complex logic processes and might have application potential in molecular computing and synthetic biology. PMID:27869177

  17. Purification of Logic-Qubit Entanglement

    PubMed Central

    Zhou, Lan; Sheng, Yu-Bo

    2016-01-01

    Recently, the logic-qubit entanglement shows its potential application in future quantum communication and quantum network. However, the entanglement will suffer from the noise and decoherence. In this paper, we will investigate the first entanglement purification protocol for logic-qubit entanglement. We show that both the bit-flip error and phase-flip error in logic-qubit entanglement can be well purified. Moreover, the bit-flip error in physical-qubit entanglement can be completely corrected. The phase-flip in physical-qubit entanglement error equals to the bit-flip error in logic-qubit entanglement, which can also be purified. This entanglement purification protocol may provide some potential applications in future quantum communication and quantum network. PMID:27377165

  18. Detection of Floating Inputs in Logic Circuits

    NASA Technical Reports Server (NTRS)

    Cash, B.; Thornton, M. G.

    1984-01-01

    Simple modification of oscilloscope probe allows easy detection of floating inputs or tristate outputs in digital-IC's. Oscilloscope probe easily modified with 1/4 W resistor and switch for detecting floating inputs in CMOS logic circuits.

  19. Using interval logic for order assembly

    SciTech Connect

    Cui, Z.

    1994-12-31

    Temporal logic, in particular, interval logic has been used to represent genome maps and to assist genome map constructions. However, interval logic itself appears to be limited in its expressive power because genome mapping requires various information such as partial order, distance and local orientation. In this paper, we first propose an integrated formalism based on a spatial-temporal logic where the concepts of metric information, local orientation and uncertainty are merged. Then, we present and discuss a deductive and object-oriented data model based on this formalism for a genetic deductive database, and the inference rules required. The formalism supports the maintenance of coarser knowledge of unordered, partially ordered and completely ordered genetic data in a relational hierarchy. We believe that this integrated formalism also provides a formal basis for designing a declarative query language.

  20. Queuing register uses fluid logic elements

    NASA Technical Reports Server (NTRS)

    1966-01-01

    Queuing register /a multistage bit-shifting device/ uses a series of pure fluid elements to perform the required logic operations. The register has several stages of three-state pure fluid elements combined with two-input NOR gates.

  1. Implementing neural nets with programmable logic

    NASA Technical Reports Server (NTRS)

    Vidal, Jacques J.

    1988-01-01

    Networks of Boolean programmable logic modules are presented as one purely digital class of artificial neural nets. The approach contrasts with the continuous analog framework usually suggested. Programmable logic networks are capable of handling many neural-net applications. They avoid some of the limitations of threshold logic networks and present distinct opportunities. The network nodes are called dynamically programmable logic modules. They can be implemented with digitally controlled demultiplexers. Each node performs a Boolean function of its inputs which can be dynamically assigned. The overall network is therefore a combinational circuit and its outputs are Boolean global functions of the network's input variables. The approach offers definite advantages for VLSI implementation, namely, a regular architecture with limited connectivity, simplicity of the control machinery, natural modularity, and the support of a mature technology.

  2. Nursing and fuzzy logic: an integrative review.

    PubMed

    Jensen, Rodrigo; Lopes, Maria Helena Baena de Moraes

    2011-01-01

    This study conducted an integrative review investigating how fuzzy logic has been used in research with the participation of nurses. The article search was carried out in the CINAHL, EMBASE, SCOPUS, PubMed and Medline databases, with no limitation on time of publication. Articles written in Portuguese, English and Spanish with themes related to nursing and fuzzy logic with the authorship or participation of nurses were included. The final sample included 21 articles from eight countries. For the purpose of analysis, the articles were distributed into categories: theory, method and model. In nursing, fuzzy logic has significantly contributed to the understanding of subjects related to: imprecision or the need of an expert; as a research method; and in the development of models or decision support systems and hard technologies. The use of fuzzy logic in nursing has shown great potential and represents a vast field for research.

  3. Hierarchical structure of the logical Internet graph

    NASA Astrophysics Data System (ADS)

    Ge, Zihui; Figueiredo, Daniel R.; Jaiswal, Sharad; Gao, Lixin

    2001-07-01

    The study of the Internet topology has recently received much attention from the research community. In particular, the observation that the network graph has interesting properties, such as power laws, that might be explored in a myriad of ways. Most of the work in characterizing the Internet graph is based on the physical network graph, i.e., the connectivity graph. In this paper we investigate how logical relationships between nodes of the AS graph can be used to gain insight to its structure. We characterize the logical graph using various metrics and identify the presence of power laws in the number of customers that a provider has. Using these logical relationships we define a structural model of the AS graph. The model highlights the hierarchical nature of logical relationships and the preferential connection to larger providers. We also investigate the consistency of this model over time and observe interesting properties of the hierarchical structure.

  4. The development of an interim generalized gate logic software simulator

    NASA Technical Reports Server (NTRS)

    Mcgough, J. G.; Nemeroff, S.

    1985-01-01

    A proof-of-concept computer program called IGGLOSS (Interim Generalized Gate Logic Software Simulator) was developed and is discussed. The simulator engine was designed to perform stochastic estimation of self test coverage (fault-detection latency times) of digital computers or systems. A major attribute of the IGGLOSS is its high-speed simulation: 9.5 x 1,000,000 gates/cpu sec for nonfaulted circuits and 4.4 x 1,000,000 gates/cpu sec for faulted circuits on a VAX 11/780 host computer.

  5. Evolutionary Development of the Simulation by Logical Modeling System (SIBYL)

    NASA Technical Reports Server (NTRS)

    Wu, Helen

    1995-01-01

    Through the evolutionary development of the Simulation by Logical Modeling System (SIBYL) we have re-engineered the expensive and complex IBM mainframe based Long-term Hardware Projection Model (LHPM) to a robust cost-effective computer based mode that is easy to use. We achieved significant cost reductions and improved productivity in preparing long-term forecasts of Space Shuttle Main Engine (SSME) hardware. The LHPM for the SSME is a stochastic simulation model that projects the hardware requirements over 10 years. SIBYL is now the primary modeling tool for developing SSME logistics proposals and Program Operating Plan (POP) for NASA and divisional marketing studies.

  6. Pattern recognition using linguistic fuzzy logic predictors

    NASA Astrophysics Data System (ADS)

    Habiballa, Hashim

    2016-06-01

    The problem of pattern recognition has been solved with numerous methods in the Artificial Intelligence field. We present an unconventional method based on Lingustic Fuzzy Logic Forecaster which is primarily used for the task of time series analysis and prediction through logical deduction wtih linguistic variables. This method should be used not only to the time series prediction itself, but also for recognition of patterns in a signal with seasonal component.

  7. Does logic moderate the fundamental attribution error?

    PubMed

    Stalder, D R

    2000-06-01

    The fundamental attribution error was investigated from an individual difference perspective. Mathematicians were compared with nonmathematicians (Exp. 1; n: 84), and undergraduates who scored high on a test of logical reasoning ability were compared with those who scored low (Exp. 2; n: 62). The mathematicians and those participants scoring higher on logic appeared less prone to the fundamental attribution error, primarily using a measure of confidence in attributions.

  8. Application of Fuzzy Logic to Matrix FMECA

    NASA Astrophysics Data System (ADS)

    Shankar, N. Ravi; Prabhu, B. S.

    2001-04-01

    A methodology combining the benefits of Fuzzy Logic and Matrix FMEA is presented in this paper. The presented methodology extends the risk prioritization beyond the conventional Risk Priority Number (RPN) method. Fuzzy logic is used to calculate the criticality rank. Also the matrix approach is improved further to develop a pictorial representation retaining all relevant qualitative and quantitative information of several FMEA elements relationships. The methodology presented is demonstrated by application to an illustrative example.

  9. Fault Analysis-based Logic Encryption (Preprint)

    DTIC Science & Technology

    2013-11-01

    work on logic encryption. Section 8 concludes the paper . 2. METRIC FOR LOGIC ENCRYPTION The defender (designer) has to prevent his IP from being...publication of this paper . This material is based on work fund- ed by AFRL under contract No. FA8750-11-2-0274. Received and cleared for public release by...USENIX Se- curity, pp. 291-306, 2007. [4] Defense Science Board (DSB) study on High Performance Microchip Supply. [Online]. http://www.aoq.osd.mil

  10. Firmware Modification Analysis in Programmable Logic Controllers

    DTIC Science & Technology

    2014-03-27

    MODIFICATION ANALYSIS IN PROGRAMMABLE LOGIC CONTROLLERS Arturo M. Garcia Jr., B.S.S.E.C.A. Captain, USA Approved: //signed// Robert F. Mills , PhD...Matthew 5:37 v Acknowledgments My sincere gratitude to my committee for their guidance and teamwork which made this thesis possible. Dr. Mills ...2012. 2012. [5] Bolton, William. Programmable logic controllers. Newnes, 2009. [6] Boyer, Stuart . SCADA: Supervisory Control and Data Aquisition 4th

  11. Simplified Quantum Logic with Trapped Ions

    DTIC Science & Technology

    2016-06-23

    PHYSICAL REVIEW A ATOMIC , MOLECULAR, AND OPTICAL PHYSICS THIRD SERIES, VOLUME 55, NUMBER 4 APRIL 1997Simplified quantum logic with trapped ions C...Received 17 December 1996! We describe a simplified scheme for quantum logic with a collection of laser-cooled trapped atomic ions. Building on the...in a system of laser-cooled trapped atomic ions. In the simplest form of the ion trap quantum computer, two internal electronic levels of each ion in

  12. Embedding objects during 3D printing to add new functionalities.

    PubMed

    Yuen, Po Ki

    2016-07-01

    A novel method for integrating and embedding objects to add new functionalities during 3D printing based on fused deposition modeling (FDM) (also known as fused filament fabrication or molten polymer deposition) is presented. Unlike typical 3D printing, FDM-based 3D printing could allow objects to be integrated and embedded during 3D printing and the FDM-based 3D printed devices do not typically require any post-processing and finishing. Thus, various fluidic devices with integrated glass cover slips or polystyrene films with and without an embedded porous membrane, and optical devices with embedded Corning(®) Fibrance™ Light-Diffusing Fiber were 3D printed to demonstrate the versatility of the FDM-based 3D printing and embedding method. Fluid perfusion flow experiments with a blue colored food dye solution were used to visually confirm fluid flow and/or fluid perfusion through the embedded porous membrane in the 3D printed fluidic devices. Similar to typical 3D printed devices, FDM-based 3D printed devices are translucent at best unless post-polishing is performed and optical transparency is highly desirable in any fluidic devices; integrated glass cover slips or polystyrene films would provide a perfect optical transparent window for observation and visualization. In addition, they also provide a compatible flat smooth surface for biological or biomolecular applications. The 3D printed fluidic devices with an embedded porous membrane are applicable to biological or chemical applications such as continuous perfusion cell culture or biocatalytic synthesis but without the need for any post-device assembly and finishing. The 3D printed devices with embedded Corning(®) Fibrance™ Light-Diffusing Fiber would have applications in display, illumination, or optical applications. Furthermore, the FDM-based 3D printing and embedding method could also be utilized to print casting molds with an integrated glass bottom for polydimethylsiloxane (PDMS) device replication

  13. Synchronous universal droplet logic and control

    NASA Astrophysics Data System (ADS)

    Katsikis, Georgios; Cybulski, James S.; Prakash, Manu

    2015-07-01

    Droplets are versatile digital materials; they can be produced at high throughput, perform chemical reactions as miniature beakers and carry biological entities. Droplets have been manipulated with electric, optical, acoustic and magnetic forces, but all these methods use serial controls to address individual droplets. An alternative is algorithmic manipulation based on logic operations that automatically compute where droplets are stored or directed, thereby enabling parallel control. However, logic previously implemented in low-Reynolds-number droplet hydrodynamics is asynchronous and thus prone to errors that prevent scaling up the complexity of logic operations. Here we present a platform for error-free physical computation via synchronous universal logic. Our platform uses a rotating magnetic field that enables parallel manipulation of arbitrary numbers of ferrofluid droplets on permalloy tracks. Through the coupling of magnetic and hydrodynamic interaction forces between droplets, we developed AND, OR, XOR, NOT and NAND logic gates, fanouts, a full adder, a flip-flop and a finite-state machine. Our platform enables large-scale integration of droplet logic, analogous to the scaling seen in digital electronics, and opens new avenues in mesoscale material processing.

  14. Interpreting Abstract Interpretations in Membership Equational Logic

    NASA Technical Reports Server (NTRS)

    Fischer, Bernd; Rosu, Grigore

    2001-01-01

    We present a logical framework in which abstract interpretations can be naturally specified and then verified. Our approach is based on membership equational logic which extends equational logics by membership axioms, asserting that a term has a certain sort. We represent an abstract interpretation as a membership equational logic specification, usually as an overloaded order-sorted signature with membership axioms. It turns out that, for any term, its least sort over this specification corresponds to its most concrete abstract value. Maude implements membership equational logic and provides mechanisms to calculate the least sort of a term efficiently. We first show how Maude can be used to get prototyping of abstract interpretations "for free." Building on the meta-logic facilities of Maude, we further develop a tool that automatically checks and abstract interpretation against a set of user-defined properties. This can be used to select an appropriate abstract interpretation, to characterize the specified loss of information during abstraction, and to compare different abstractions with each other.

  15. Noise-based logic: Binary, multi-valued, or fuzzy, with optional superposition of logic states

    NASA Astrophysics Data System (ADS)

    Kish, Laszlo B.

    2009-03-01

    A new type of deterministic (non-probabilistic) computer logic system inspired by the stochasticity of brain signals is shown. The distinct values are represented by independent stochastic processes: independent voltage (or current) noises. The orthogonality of these processes provides a natural way to construct binary or multi-valued logic circuitry with arbitrary number N of logic values by using analog circuitry. Moreover, the logic values on a single wire can be made a (weighted) superposition of the N distinct logic values. Fuzzy logic is also naturally represented by a two-component superposition within the binary case ( N=2). Error propagation and accumulation are suppressed. Other relevant advantages are reduced energy dissipation and leakage current problems, and robustness against circuit noise and background noises such as 1/f, Johnson, shot and crosstalk noise. Variability problems are also non-existent because the logic value is an AC signal. A similar logic system can be built with orthogonal sinusoidal signals (different frequency or orthogonal phase) however that has an extra 1/N type slowdown compared to the noise-based logic system with increasing number of N furthermore it is less robust against time delay effects than the noise-based counterpart.

  16. CosmoCalc: An Excel add-in for cosmogenic nuclide calculations

    NASA Astrophysics Data System (ADS)

    Vermeesch, Pieter

    2007-08-01

    As dating methods using Terrestrial Cosmogenic Nuclides (TCN) become more popular, the need arises for a general-purpose and easy-to-use data reduction software. The CosmoCalc Excel add-in calculates TCN production rate scaling factors (using Lal, Stone, Dunai, and Desilets methods); topographic, snow, and self-shielding factors; and exposure ages, erosion rates, and burial ages and visualizes the results on banana-style plots. It uses an internally consistent TCN production equation that is based on the quadruple exponential approach of Granger and Smith (2000). CosmoCalc was designed to be as user-friendly as possible. Although the user interface is extremely simple, the program is also very flexible, and nearly all default parameter values can be changed. To facilitate the comparison of different scaling factors, a set of converter tools is provided, allowing the user to easily convert cut-off rigidities to magnetic inclinations, elevations to atmospheric depths, and so forth. Because it is important to use a consistent set of scaling factors for the sample measurements and the production rate calibration sites, CosmoCalc defines the production rates implicitly, as a function of the original TCN concentrations of the calibration site. The program is best suited for 10Be, 26Al, 3He, and 21Ne calculations, although basic functionality for 36Cl and 14C is also provided. CosmoCalc can be downloaded along with a set of test data from http://cosmocalc.googlepages.com.

  17. Push Is on to Add Time to School Day, Year

    ERIC Educational Resources Information Center

    Fleming, Nora

    2011-01-01

    Policymakers are promoting expanded learning time to help low-performing students, but the know-how and resources for implementation are lacking. Providence's expanded-school-day pilot is a partnership between the school district and the Providence After School Alliance, a nonprofit that manages after-school programs for low-income students in…

  18. To Increase Enrollment, Community Colleges Add More Sports

    ERIC Educational Resources Information Center

    Ashburn, Elyse

    2007-01-01

    Since 2003, more than 40 athletics programs have joined the National Junior College Athletic Association (NJCAA) ranks. Membership now represents about 500 colleges, and Wayne Baker, the group's executive director, expects to keep adding colleges. Membership in the association began declining slightly in the early 1990s, as private two-year…

  19. Does Credit Add Value To Access to Higher Education Courses?

    ERIC Educational Resources Information Center

    Keynes, Ruth; Syrad, Kay

    2000-01-01

    A survey of 14 access coordinators and 15 students in Britain's Open College Network showed that credit may be working against the spirit of support and critical inquiry that underlies access to higher education programs; 57% felt that staff, management, and employers benefit more than students from a credit framework. (SK)

  20. To Increase Enrollment, Community Colleges Add More Sports

    ERIC Educational Resources Information Center

    Ashburn, Elyse

    2007-01-01

    Since 2003, more than 40 athletics programs have joined the National Junior College Athletic Association (NJCAA) ranks. Membership now represents about 500 colleges and the group's executive director expects to keep adding colleges. Membership in the association began declining slightly in the early 1990s, as private two-year colleges, many of…

  1. The effect of hemisphere specific remediation strategies on the academic performance outcome of children with ADD/ADHD.

    PubMed

    Leisman, Gerry; Melillo, Robert; Thum, Sharon; Ransom, Mark A; Orlando, Michael; Tice, Christopher; Carrick, Frederick R

    2010-01-01

    The development and normal function of the cerebrum is largely dependent on sub-cortical structures, such as the cerebellum and basal ganglia. Dysfunction in these areas can affect both the nonspecific arousal system and information transfer in the brain. Dysfunction of this sort often results in motor and sensory symptoms commonly seen in children with ADD/ADHD. These brain regions have been reported to be underactive, with that underactivity restricted to the right or left side of the sub-cortical and cortical regions. An imbalance of activity or arousal of one side of the cortex can result in a functional disconnection similar to that seen in split-brain patients. Since ADD/ADHD children exhibit deficient performance on tests thought to measure perceptual laterality, evidence of weak laterality or failure to develop laterality has been found across various modalities (auditory, visual, tactile) resulting in abnormal cerebral organization and associated dysfunctional specialization needed for lateralized processing of language and non-language function. This study examines groups of ADD/ADHD elementary school children from first through sixth grade. All participants were administered all the subtests of the Wechsler Individual Achievement Tests, the Brown Parent Questionnaire, and given objective performance measures on tests of motor and sensory coordinative abilities (interactive metronome). Results measured after a 12-week remediation program aimed at increasing the activity of the hypothesized underactive right hemisphere function, yielded significant improvement of greater than two years in grade level in all domains except in mathematical reasoning. Results are discussed in the context of the concept of functional disconnectivity in ADD/ADHD children.

  2. The Temporal Logic of the Tower Chief System

    NASA Technical Reports Server (NTRS)

    Hazelton, Lyman R., Jr.

    1990-01-01

    The purpose is to describe the logic used in the reasoning scheme employed in the Tower Chief system, a runway configuration management system. First, a review of classical logic is given. Defensible logics, truth maintenance, default logic, temporally dependent propositions, and resource allocation and planning are discussed.

  3. Nonmonotonic Logic for Use in Information Retrieval: An Exploratory Paper.

    ERIC Educational Resources Information Center

    Hurt, C. D.

    1998-01-01

    Monotonic logic requires reexamination of the entire logic string when there is a contradiction. Nonmonotonic logic allows the user to withdraw conclusions in the face of contradiction without harm to the logic string, which has considerable application to the field of information searching. Artificial intelligence models and neural networks based…

  4. On symbolic models for Single-Conclusion Logic of Proofs

    SciTech Connect

    Krupski, Vladimir N

    2011-05-31

    In this paper we define symbolic models for Single-Conclusion Logics of Proofs. We prove the soundness and completeness of these logics with respect to the corresponding classes of symbolic models. We apply the semantic methods developed in this paper to justify the use of terms of single-conclusion logic of proofs as notation for derivations in this logic. Bibliography: 17 titles.

  5. PS1-41: Just Add Data: Implementing an Event-Based Data Model for Clinical Trial Tracking

    PubMed Central

    Fuller, Sharon; Carrell, David; Pardee, Roy

    2012-01-01

    Background/Aims Clinical research trials often have similar fundamental tracking needs, despite being quite variable in their specific logic and activities. A model tracking database that can be quickly adapted by a variety of studies has the potential to achieve significant efficiencies in database development and maintenance. Methods Over the course of several different clinical trials, we have developed a database model that is highly adaptable to a variety of projects. Rather than hard-coding each specific event that might occur in a trial, along with its logical consequences, this model considers each event and its parameters to be a data record in its own right. Each event may have related variables (metadata) describing its prerequisites, subsequent events due, associated mailings, or events that it overrides. The metadata for each event is stored in the same record with the event name. When changes are made to the study protocol, no structural changes to the database are needed. One has only to add or edit events and their metadata. Changes in the event metadata automatically determine any related logic changes. In addition to streamlining application code, this model simplifies communication between the programmer and other team members. Database requirements can be phrased as changes to the underlying data, rather than to the application code. The project team can review a single report of events and metadata and easily see where changes might be needed. In addition to benefitting from streamlined code, the front end database application can also implement useful standard features such as automated mail merges and to do lists. Results The event-based data model has proven itself to be robust, adaptable and user-friendly in a variety of study contexts. We have chosen to implement it as a SQL Server back end and distributed Access front end. Interested readers may request a copy of the Access front end and scripts for creating the back end database

  6. Deep Space Network Antenna Logic Controller

    NASA Technical Reports Server (NTRS)

    Ahlstrom, Harlow; Morgan, Scott; Hames, Peter; Strain, Martha; Owen, Christopher; Shimizu, Kenneth; Wilson, Karen; Shaller, David; Doktomomtaz, Said; Leung, Patrick

    2007-01-01

    The Antenna Logic Controller (ALC) software controls and monitors the motion control equipment of the 4,000-metric-ton structure of the Deep Space Network 70-meter antenna. This program coordinates the control of 42 hydraulic pumps, while monitoring several interlocks for personnel and equipment safety. Remote operation of the ALC runs via the Antenna Monitor & Control (AMC) computer, which orchestrates the tracking functions of the entire antenna. This software provides a graphical user interface for local control, monitoring, and identification of faults as well as, at a high level, providing for the digital control of the axis brakes so that the servo of the AMC may control the motion of the antenna. Specific functions of the ALC also include routines for startup in cold weather, controlled shutdown for both normal and fault situations, and pump switching on failure. The increased monitoring, the ability to trend key performance characteristics, the improved fault detection and recovery, the centralization of all control at a single panel, and the simplification of the user interface have all reduced the required workforce to run 70-meter antennas. The ALC also increases the antenna availability by reducing the time required to start up the antenna, to diagnose faults, and by providing additional insight into the performance of key parameters that aid in preventive maintenance to avoid key element failure. The ALC User Display (AUD) is a graphical user interface with hierarchical display structure, which provides high-level status information to the operation of the ALC, as well as detailed information for virtually all aspects of the ALC via drill-down displays. The operational status of an item, be it a function or assembly, is shown in the higher-level display. By pressing the item on the display screen, a new screen opens to show more detail of the function/assembly. Navigation tools and the map button allow immediate access to all screens.

  7. G&T adds versatile load management system

    SciTech Connect

    Nickel, J.R.; Baker, E.D.; Holt, J.W.; Chan, M.L.

    1995-04-01

    Wolverine`s load management system was designed in response to the need to reduce peak demand. The Energy Management System (EMS) prepares short term (seven day) load forecasts, based on a daily peak demand forecst, augmented by a similar day profile based on weather conditions. The software combines the similar day profile with the daily peak demand forecast to yield an hourly load forecast for an entire week. The software uses the accepted load forecast case in many application functions, including interchange scheduling, unit commitment, and transaction evaluation. In real time, the computer updates the accepted forecast hourly, based in actual changes in the weather and load. The load management program executes hourly. The program uses impact curves to calculate a load management strategy that reduces the load forecast below a desired load threshold.

  8. Exploring Service Logic in ESL

    ERIC Educational Resources Information Center

    Walker, John

    2013-01-01

    ESL is both a professional educational service and, particularly in post-compulsory contexts, a commercial activity. The effective management of ESL programs can secure quality outcomes for practitioners and students. Nevertheless, writings on ESL management do not figure prominently in the literature. In particular, the association between…

  9. The logical interpretation and the measurement problem

    NASA Astrophysics Data System (ADS)

    Vuletic, Mark I.

    The measurement problem is one of the two key problems in the foundations of quantum mechanics, carrying with it the seeming implication that instead of the familiar definite states of affairs we think we experience, there typically should exist only phenomenologically ill-defined "superpositions" of such states of affairs. Dissatisfaction with this implication has led to the development of many wildly different interpretations of quantum mechanics, positing everything from pilot waves to splitting universes. A recent tradition of interpretation draws heavily upon decoherence and a "consistent histories" formalism to try to resolve the standard conceptual problems of quantum mechanics. Roland Omnes, one physicist in this tradition, argues that his own "logical interpretation" resolves every paradox and conceptual difficulty raised by quantum mechanics, except for what he calls the "objectification problem." Figuring out what relation the objectification problem has to the measurement problem, and, more generally, what the logical interpretation has to say about the measurement problem, turns out to be very difficult, even with the benefit of correspondence. In my dissertation, I have tried to narrow down the possibilities for what Omnes might have in mind with respect to the measurement problem, and considered whether any of these constitutes an advance over what came before. I conclude that there are two plausible possibilities: either (i) an overly aggressive pragmatic spirit has caused Omnes to fail to even realize that a critical part of the measurement problem exists, or (ii) the logical interpretation is best understood as offering a stochastic hidden factor interpretation, with complementarity operating at the level of the hidden factors, even though Omnes himself would resist describing the logical interpretation in this way. I also conclude that the logical interpretation, far from saving classical logic, actually undermines it. While this may not

  10. 40 CFR 63.3966 - How do I determine the add-on control device emission destruction or removal efficiency?

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... 40 Protection of Environment 13 2012-07-01 2012-07-01 false How do I determine the add-on control... Emission Rate with Add-on Controls Option § 63.3966 How do I determine the add-on control device emission... the add-on control device emission destruction or removal efficiency as part of the performance...

  11. 40 CFR 63.4566 - How do I determine the add-on control device emission destruction or removal efficiency?

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... 40 Protection of Environment 13 2013-07-01 2012-07-01 true How do I determine the add-on control... with Add-on Controls Option § 63.4566 How do I determine the add-on control device emission destruction... add-on control device emission destruction or removal efficiency as part of the performance...

  12. 40 CFR 63.3966 - How do I determine the add-on control device emission destruction or removal efficiency?

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... 40 Protection of Environment 13 2013-07-01 2012-07-01 true How do I determine the add-on control... Emission Rate with Add-on Controls Option § 63.3966 How do I determine the add-on control device emission... the add-on control device emission destruction or removal efficiency as part of the performance...

  13. 40 CFR 63.4566 - How do I determine the add-on control device emission destruction or removal efficiency?

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... 40 Protection of Environment 13 2014-07-01 2014-07-01 false How do I determine the add-on control... with Add-on Controls Option § 63.4566 How do I determine the add-on control device emission destruction... add-on control device emission destruction or removal efficiency as part of the performance...

  14. 40 CFR 63.4566 - How do I determine the add-on control device emission destruction or removal efficiency?

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... 40 Protection of Environment 13 2012-07-01 2012-07-01 false How do I determine the add-on control... with Add-on Controls Option § 63.4566 How do I determine the add-on control device emission destruction... add-on control device emission destruction or removal efficiency as part of the performance...

  15. 40 CFR 63.3966 - How do I determine the add-on control device emission destruction or removal efficiency?

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... 40 Protection of Environment 13 2014-07-01 2014-07-01 false How do I determine the add-on control... Emission Rate with Add-on Controls Option § 63.3966 How do I determine the add-on control device emission... the add-on control device emission destruction or removal efficiency as part of the performance...

  16. 40 CFR 63.3966 - How do I determine the add-on control device emission destruction or removal efficiency?

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... 40 Protection of Environment 12 2011-07-01 2009-07-01 true How do I determine the add-on control... with Add-on Controls Option § 63.3966 How do I determine the add-on control device emission destruction... add-on control device emission destruction or removal efficiency as part of the performance...

  17. Controlled Substances Add New Layer to E-Prescribing.

    PubMed

    Kaldy, Joanne

    2016-04-01

    The Electronic Prescriptions for Controlled Substances (EPCS) program was established by the Drug Enforcement Administration to allow health facilities to use electronic transmission and other modern technology for prescribing controlled substances and replacing old technology such as fax. Its goal is to eliminate fraud, abuse, and diversion of controlled medications while streamlining the processes of making them more easily available to patients in need. While rules regarding EPCS have the potential to improve care and give practitioners more data for quality improvement, they also may create new challenges for practitioners, facilities, and vendors alike. All stakeholders need to work together to ensure effective, efficient EPCS systems.

  18. Measuring Narcissism within Add Health: The Development and Validation of a New Scale

    ERIC Educational Resources Information Center

    Davis, Mark S.; Brunell, Amy B.

    2012-01-01

    This study reports the development of a measure of narcissism within the National Longitudinal Study of Adolescent Health (Add Health) data set. In Study 1, items were selected from Wave III to form the Add Health Narcissism Scale (AHNS). These were factor analyzed, yielding a single factor comprised of five subscales. We correlated the AHNS and…

  19. 40 CFR Table 1b to Subpart Dddd of... - Add-on Control Systems Compliance Options

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... 40 Protection of Environment 13 2013-07-01 2012-07-01 true Add-on Control Systems Compliance Options 1B Table 1B to Subpart DDDD of Part 63 Protection of Environment ENVIRONMENTAL PROTECTION AGENCY... Products Pt. 63, Subpt. DDDD, Table 1B Table 1B to Subpart DDDD of Part 63—Add-on Control...

  20. 40 CFR Table 1b to Subpart Dddd of... - Add-on Control Systems Compliance Options

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... 40 Protection of Environment 13 2014-07-01 2014-07-01 false Add-on Control Systems Compliance Options 1B Table 1B to Subpart DDDD of Part 63 Protection of Environment ENVIRONMENTAL PROTECTION AGENCY... Products Pt. 63, Subpt. DDDD, Table 1B Table 1B to Subpart DDDD of Part 63—Add-on Control...

  1. Cognitive Control and Attentional Selection in Adolescents with ADHD versus ADD

    ERIC Educational Resources Information Center

    Carr, Laurie; Henderson, John; Nigg, Joel T.

    2010-01-01

    An important research question is whether Attention Deficit Hyperactivity Disorder (ADHD) is related to early- or late-stage attentional control mechanisms and whether this differentiates a nonhyperactive subtype (ADD). This question was addressed in a sample of 145 ADD/ADHD and typically developing comparison adolescents (aged 13-17). Attentional…

  2. 75 FR 73075 - Notice of Motion To Add Exhibit to Petition for Declaratory Order and Complaint

    Federal Register 2010, 2011, 2012, 2013, 2014

    2010-11-29

    ... Energy Regulatory Commission Notice of Motion To Add Exhibit to Petition for Declaratory Order and... of Pella, Iowa (Complainant) filed a motion to add a document as Exhibit P-28 to its July 2, 2010... document is added to a subscribed docket(s). For assistance with any FERC Online service, please...

  3. 40 CFR Table 1b to Subpart Dddd of... - Add-on Control Systems Compliance Options

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... 40 Protection of Environment 13 2012-07-01 2012-07-01 false Add-on Control Systems Compliance Options 1B Table 1B to Subpart DDDD of Part 63 Protection of Environment ENVIRONMENTAL PROTECTION AGENCY... Products Pt. 63, Subpt. DDDD, Table 1B Table 1B to Subpart DDDD of Part 63—Add-on Control...

  4. 7 CFR 360.500 - Petitions to add a taxon to the noxious weed list.

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... 7 Agriculture 5 2013-01-01 2013-01-01 false Petitions to add a taxon to the noxious weed list. 360... to add a taxon to the noxious weed list. A person may petition the Administrator to have a taxon added to the noxious weeds lists in § 360.200. Details of the petitioning process for adding a taxon...

  5. Right Hemisphere Deficit Syndrome: Similarities with Subtypes of Children with Attention Deficit Disorder (ADD).

    ERIC Educational Resources Information Center

    Matazow, Gail S.; Hynd, George W.

    Children with Attention Deficit Disorder (ADD) often exhibit problems in visual spatial perception, math achievement, and social skills, and it has been postulated that this constellation of behaviors may constitute Right Hemisphere Deficit Syndrome (RHDS). This study examined 21 children with attention deficit disorder with hyperactivity (ADD/H),…

  6. 40 CFR Table 1b to Subpart Dddd of... - Add-on Control Systems Compliance Options

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... 40 Protection of Environment 12 2011-07-01 2009-07-01 true Add-on Control Systems Compliance.... 63, Subpt. DDDD, Table 1B Table 1B to Subpart DDDD of Part 63—Add-on Control Systems Compliance... compliance options by using an emissions control system . . . Fiberboard mat dryer heated zones (at...

  7. Power Parenting for Children with ADD/ADHD: A Practical Parent's Guide for Managing Difficult Behaviors.

    ERIC Educational Resources Information Center

    Flick, Grad L.

    The first step in dealing with an attention deficit disorder (ADD/ADHD) child's difficult behavior is to understand its origins. This book presents behavior management techniques to help parents care for their ADD child while ensuring that the child continues to develop positive, healthy self-esteem. The guide shows how to: (1) ensure an accurate…

  8. Prevalence of Aggression and Defiance in Children with ADD/ADHD Tendencies

    ERIC Educational Resources Information Center

    Hill, Janella

    2011-01-01

    Attention Deficit Disorder (ADD) and Attention Deficit Hyperactivity Disorder (ADHD) appear to have become more prevalent in the past few years. Many children who display ADD/ADHD tendencies also display behaviors which cause problems in a classroom setting. Considering the fact that these behaviors could be displayed by the student population as…

  9. 20 Ways To...Collaborate with Families of Children with ADD.

    ERIC Educational Resources Information Center

    Mathur, Smita; Smith, Robin M.

    2003-01-01

    Twenty ideas for collaborating with families of children with attention deficit disorder (ADD) include: (1) providing information about ADD to families; (2) planning meetings to accommodate family members; (3) addressing the language needs of families; (4) helping family members develop their advocacy skills; and (5) helping families network with…

  10. It All ADDs Up: Help for Children with Attention Deficit Disorders.

    ERIC Educational Resources Information Center

    Anderson, Marilyn

    2000-01-01

    Suggestions for working with students with attention deficit disorders (ADD) include: seek medical evaluation; discuss treatment options with the physician and school; communicate with the child's teachers; provide feedback, praise, and consequences; help the child develop social skills; understand when ADD with hyperactivity is disabling; know…

  11. Test Review: Brown Attention-Deficit Disorder Scales and Brown ADD Diagnostic Forms.

    ERIC Educational Resources Information Center

    Muniz, Linda

    1996-01-01

    This article on the Brown Attention-Deficit Disorder (ADD) Scale for Adolescents and the Brown ADD Scale for Adults describes the tests' recommended uses, administration, components, standardization, reliability, and validity. The self-report measures are designed for initial screening, as one part of a comprehensive diagnostic assessment, and for…

  12. Quantum Indecision in Logic Gates.

    DTIC Science & Technology

    1986-09-25

    PROGRAM ELEMENT, PROJECT, TASK P% AREA & WORK UNIT NUMBERS Vi~ Cornell University S Ithaca, NY 14853 CONTROLLING OFFICE NAME AND ADDRESS 12. REPORT DATE...NC 27709 SCHEDULE IS. DISTRIBUTION STATEMENT (of tis Report) Approved for public release; distribution unlimited. 17. DISTRIBUTION STATEMENT (of the...report are L;) those of the author(s) and should not be construed as an official LUj Department of the Army position, policy , or decision, unless so 13 i

  13. The Logic of Performance-Based Assessment; or, Does Value-Added Assessment Make Sense?

    ERIC Educational Resources Information Center

    McAninch, Amy C.

    2012-01-01

    In this article, I examine the logic of holding teachers and teacher education programs accountable for their students' learning. Using a conceptual tool first proposed by Ryle (1949) called the "task-achievement distinction," I show that current assessment schemes, such as value-added assessment, credit or discredit teachers for…

  14. Teaching Semantic Tableaux Method for Propositional Classical Logic with a CAS

    ERIC Educational Resources Information Center

    Aguilera-Venegas, Gabriel; Galán-García, José Luis; Galán-García, María Ángeles; Rodríguez-Cielos, Pedro

    2015-01-01

    Automated theorem proving (ATP) for Propositional Classical Logic is an algorithm to check the validity of a formula. It is a very well-known problem which is decidable but co-NP-complete. There are many algorithms for this problem. In this paper, an educationally oriented implementation of Semantic Tableaux method is described. The program has…

  15. Silicon Carbide Junction Field Effect Transistor Digital Logic Gates Demonstrated at 600 deg. C

    NASA Technical Reports Server (NTRS)

    Neudeck, Philip G.

    1998-01-01

    The High Temperature Integrated Electronics and Sensors (HTIES) Program at the NASA Lewis Research Center is currently developing silicon carbide (SiC) for use in harsh conditions where silicon, the semiconductor used in nearly all of today's electronics, cannot function. The HTIES team recently fabricated and demonstrated the first semiconductor digital logic gates ever to function at 600 C.

  16. A Project-Based Learning Approach to Programmable Logic Design and Computer Architecture

    ERIC Educational Resources Information Center

    Kellett, C. M.

    2012-01-01

    This paper describes a course in programmable logic design and computer architecture as it is taught at the University of Newcastle, Australia. The course is designed around a major design project and has two supplemental assessment tasks that are also described. The context of the Computer Engineering degree program within which the course is…

  17. ENIGMA, CAI-CMI for Introductory Logic: Some of Its Abilities with English Sentences.

    ERIC Educational Resources Information Center

    Laymon, Ronald

    The philosophy department of the Ohio State University began development of a computer-tutorial program, called ENIGMA, in 1972. The aim of the course was to help students to use various logical tools in the analysis of everyday arguments by giving drill-and-practice sessions, testing, and grading examinations. Part of ENIGMA is the propositional…

  18. Measurement: Five Considerations to Add Even More Impact to Your Program

    ERIC Educational Resources Information Center

    Hurrell, Derek

    2015-01-01

    In this article, the author looks at some key considerations which have proven to be very useful in the teaching of measurement in the primary classroom. Five ideas that can form the basis of focusing on measurement to access other strands of the mathematics curriculum are then examined.

  19. A Logical Characterization of Systolic Languages

    NASA Astrophysics Data System (ADS)

    Monti, Angelo; Peron, Adriano

    In this paper we study, in the framework of mathematical logic, ℒ(SBTA) i.e. the class of languages accepted by Systolic Binary Tree Automata. We set a correspondence (in the style of Büchi Theorem for regular languages) between ℒ(SBTA) and MSO[Sig], i.e. a decidable Monadic Second Order logic over a suitable infinite signature Sig. We also introduce a natural subclass of ℒ(SBTA) which still properly contains the class of regular languages and which is proved to be characterized by Monadic Second Order logic over a finite signature Sig' ⊂ Sig. Finally, in the style of McNaughton Theorem for star free regular languages, we introduce an expression language which precisely denotes the class of languages defined by the first order fragment of MSO[Sig'].

  20. Logic models used to enhance critical thinking.

    PubMed

    Ellermann, Caroline R; Kataoka-Yahiro, Merle R; Wong, Lorrie C

    2006-06-01

    Over time, various methods have been used to stimulate critical thinking in undergraduate nursing students, and although many have been successful in helping students integrate the essential knowledge, experiences, and clinical reasoning that support practice, it is also useful to explore new methods. Faculty at the University of Hawaii at Manoa, School of Nursing and Dental Hygiene have taken an innovative approach of using logic models to further enhance critical thinking. This article presents an application of varying experiences and methods of using logic models to support the development of critical thinking and reasoning skills in nursing students. The processes in which logic models are used in the curriculum are described. The models are used to connect concepts from concrete to abstract levels in diverse and often nonlinear diagrams, guided discourse, and written assignments. The specific instructional methods used include concept mapping, concept papers, conceptual linking, and substruction.

  1. On Logic and Standards for Structuring Documents

    NASA Astrophysics Data System (ADS)

    Eyers, David M.; Jones, Andrew J. I.; Kimbrough, Steven O.

    The advent of XML has been widely seized upon as an opportunity to develop document representation standards that lend themselves to automated processing. This is a welcome development and much good has come of it. That said, present standardization efforts may be criticized on a number of counts. We explore two issues associated with document XML standardization efforts. We label them (i) the dynamic point and (ii) the logical point. Our dynamic point is that in many cases experience has shown that the search for a final, or even reasonably permanent, document representation standard is futile. The case is especially strong for electronic data interchange (EDI). Our logical point is that formalization into symbolic logic is materially helpful for understanding and designing dynamic document standards.

  2. Robust fuzzy logic stabilization with disturbance elimination.

    PubMed

    Danapalasingam, Kumeresan A

    2014-01-01

    A robust fuzzy logic controller is proposed for stabilization and disturbance rejection in nonlinear control systems of a particular type. The dynamic feedback controller is designed as a combination of a control law that compensates for nonlinear terms in a control system and a dynamic fuzzy logic controller that addresses unknown model uncertainties and an unmeasured disturbance. Since it is challenging to derive a highly accurate mathematical model, the proposed controller requires only nominal functions of a control system. In this paper, a mathematical derivation is carried out to prove that the controller is able to achieve asymptotic stability by processing state measurements. Robustness here refers to the ability of the controller to asymptotically steer the state vector towards the origin in the presence of model uncertainties and a disturbance input. Simulation results of the robust fuzzy logic controller application in a magnetic levitation system demonstrate the feasibility of the control design.

  3. a Logical Account of Quantum Superpositions

    NASA Astrophysics Data System (ADS)

    Krause, Décio Arenhart, Jonas R. Becker

    In this paper we consider the phenomenon of superpositions in quantum mechanics and suggest a way to deal with the idea in a logical setting from a syntactical point of view, that is, as subsumed in the language of the formalism, and not semantically. We restrict the discussion to the propositional level only. Then, after presenting the motivations and a possible world semantics, the formalism is outlined and we also consider within this scheme the claim that superpositions may involve contradictions, as in the case of the Schrödinger's cat, which (it is usually said) is both alive and dead. We argue that this claim is a misreading of the quantum case. Finally, we sketch a new form of quantum logic that involves three kinds of negations and present the relationships among them. The paper is a first approach to the subject, introducing some main guidelines to be developed by a `syntactical' logical approach to quantum superpositions.

  4. Robust Fuzzy Logic Stabilization with Disturbance Elimination

    PubMed Central

    Danapalasingam, Kumeresan A.

    2014-01-01

    A robust fuzzy logic controller is proposed for stabilization and disturbance rejection in nonlinear control systems of a particular type. The dynamic feedback controller is designed as a combination of a control law that compensates for nonlinear terms in a control system and a dynamic fuzzy logic controller that addresses unknown model uncertainties and an unmeasured disturbance. Since it is challenging to derive a highly accurate mathematical model, the proposed controller requires only nominal functions of a control system. In this paper, a mathematical derivation is carried out to prove that the controller is able to achieve asymptotic stability by processing state measurements. Robustness here refers to the ability of the controller to asymptotically steer the state vector towards the origin in the presence of model uncertainties and a disturbance input. Simulation results of the robust fuzzy logic controller application in a magnetic levitation system demonstrate the feasibility of the control design. PMID:25177713

  5. Fuzzy logic in autonomous orbital operations

    NASA Technical Reports Server (NTRS)

    Lea, Robert N.; Jani, Yashvant

    1991-01-01

    Fuzzy logic can be used advantageously in autonomous orbital operations that require the capability of handling imprecise measurements from sensors. Several applications are underway to investigate fuzzy logic approaches and develop guidance and control algorithms for autonomous orbital operations. Translational as well as rotational control of a spacecraft have been demonstrated using space shuttle simulations. An approach to a camera tracking system has been developed to support proximity operations and traffic management around the Space Station Freedom. Pattern recognition and object identification algorithms currently under development will become part of this camera system at an appropriate level in the future. A concept to control environment and life support systems for large Lunar based crew quarters is also under development. Investigations in the area of reinforcement learning, utilizing neural networks, combined with a fuzzy logic controller, are planned as a joint project with the Ames Research Center.

  6. Nanomechanical logic elements based on coupled nanopillars

    NASA Astrophysics Data System (ADS)

    Kim, S. H.; Hong, S. J.; Rana, A. S.; Kim, H. S.

    2014-10-01

    We demonstrate the possibility of using coupled nanopillars as nanomechanical logic elements by regulating the flow of electric current between the nanopillars and the source and drain electrodes. The nanopillar, which is fabricated from a silicon-on-insulator (SOI) wafer and is located between two facing electrodes, oscillates with frequencies in the radiofrequency range of 10 - 1000 MHz. Electrons are transported between the nanopillar and the electrodes via an island-like gold layer thermally deposited on the top of the nanopillar in response to externally applied ac and dc biases. Nanomechanical logic gates are designed using the coupled nanopillars and a switched-capacitor model. With this configuration, several logic gates, such as an inverter and NAND, NOR, and XOR gates, can be effectively implemented.

  7. Anatomy Ontology Matching Using Markov Logic Networks

    PubMed Central

    Li, Chunhua; Zhao, Pengpeng; Wu, Jian; Cui, Zhiming

    2016-01-01

    The anatomy of model species is described in ontologies, which are used to standardize the annotations of experimental data, such as gene expression patterns. To compare such data between species, we need to establish relationships between ontologies describing different species. Ontology matching is a kind of solutions to find semantic correspondences between entities of different ontologies. Markov logic networks which unify probabilistic graphical model and first-order logic provide an excellent framework for ontology matching. We combine several different matching strategies through first-order logic formulas according to the structure of anatomy ontologies. Experiments on the adult mouse anatomy and the human anatomy have demonstrated the effectiveness of proposed approach in terms of the quality of result alignment. PMID:27382498

  8. Development of ferrite logic devices for an arithmetic processor

    NASA Technical Reports Server (NTRS)

    Heckler, C. H., Jr.

    1972-01-01

    A number of fundamentally ultra-reliable, all-magnetic logic circuits are developed using as a basis a single element ferrite structure wired as a logic delay element. By making minor additions or changes to the basic wiring pattern of the delay element other logic functions such as OR, AND, NEGATION, MAJORITY, EXCLUSIVE-OR, and FAN-OUT are developed. These logic functions are then used in the design of a full-adder, a set/reset flip-flop, and an edge detector. As a demonstration of the utility of all the developed devices, an 8-bit, all-magnetic, logic arithmetic unit capable of controlled addition, subtraction, and multiplication is designed. A new basic ferrite logic element and associated complementary logic scheme with the potential of improved performance is also described. Finally, an improved batch process for fabricating joint-free power drive and logic interconnect conductors for this basic class of all-magnetic logic is presented.

  9. Radio Telescopes Will Add to Cassini-Huygens Discoveries

    NASA Astrophysics Data System (ADS)

    2004-12-01

    When the European Space Agency's Huygens spacecraft makes its plunge into the atmosphere of Saturn's moon Titan on January 14, radio telescopes of the National Science Foundation's National Radio Astronomy Observatory (NRAO) will help international teams of scientists extract the maximum possible amount of irreplaceable information from an experiment unique in human history. Huygens is the 700-pound probe that has accompanied the larger Cassini spacecraft on a mission to thoroughly explore Saturn, its rings and its numerous moons. The Green Bank Telescope The Robert C. Byrd Green Bank Telescope CREDIT: NRAO/AUI/NSF (Click on image for GBT gallery) The Robert C. Byrd Green Bank Telescope (GBT) in West Virginia and eight of the ten telescopes of the continent-wide Very Long Baseline Array (VLBA), located at Pie Town and Los Alamos, NM, Fort Davis, TX, North Liberty, IA, Kitt Peak, AZ, Brewster, WA, Owens Valley, CA, and Mauna Kea, HI, will directly receive the faint signal from Huygens during its descent. Along with other radio telescopes in Australia, Japan, and China, the NRAO facilities will add significantly to the information about Titan and its atmosphere that will be gained from the Huygens mission. A European-led team will use the radio telescopes to make extremely precise measurements of the probe's position during its descent, while a U.S.-led team will concentrate on gathering measurements of the probe's descent speed and the direction of its motion. The radio-telescope measurements will provide data vital to gaining a full understanding of the winds that Huygens encounters in Titan's atmosphere. Currently, scientists know little about Titan's winds. Data from the Voyager I spacecraft's 1980 flyby indicated that east-west winds may reach 225 mph or more. North-south winds and possible vertical winds, while probably much weaker, may still be significant. There are competing theoretical models of Titan's winds, and the overall picture is best summarized as

  10. Refining fuzzy logic controllers with machine learning

    NASA Technical Reports Server (NTRS)

    Berenji, Hamid R.

    1994-01-01

    In this paper, we describe the GARIC (Generalized Approximate Reasoning-Based Intelligent Control) architecture, which learns from its past performance and modifies the labels in the fuzzy rules to improve performance. It uses fuzzy reinforcement learning which is a hybrid method of fuzzy logic and reinforcement learning. This technology can simplify and automate the application of fuzzy logic control to a variety of systems. GARIC has been applied in simulation studies of the Space Shuttle rendezvous and docking experiments. It has the potential of being applied in other aerospace systems as well as in consumer products such as appliances, cameras, and cars.

  11. Universal programmable logic gate and routing method

    NASA Technical Reports Server (NTRS)

    Fijany, Amir (Inventor); Vatan, Farrokh (Inventor); Akarvardar, Kerem (Inventor); Blalock, Benjamin (Inventor); Chen, Suheng (Inventor); Cristoloveanu, Sorin (Inventor); Kolawa, Elzbieta (Inventor); Mojarradi, Mohammad M. (Inventor); Toomarian, Nikzad (Inventor)

    2009-01-01

    An universal and programmable logic gate based on G.sup.4-FET technology is disclosed, leading to the design of more efficient logic circuits. A new full adder design based on the G.sup.4-FET is also presented. The G.sup.4-FET can also function as a unique router device offering coplanar crossing of signal paths that are isolated and perpendicular to one another. This has the potential of overcoming major limitations in VLSI design where complex interconnection schemes have become increasingly problematic.

  12. Rebuilding mathematics on a quantum logical foundation

    NASA Astrophysics Data System (ADS)

    DeJonghe, Richard J., III

    We construct a rich first-order quantum logic which generalizes the standard classical predicate logic used in the development of virtually all of modern mathematics, and we use this quantum logic to build the foundations of a new quantum mathematics. First, we prove both soundness and completeness for the quantum logic we develop, and also prove a powerful new completeness result which heretofore had been known to hold for classical, but not quantum, first-order logic. We then use our quantum logic to develop multiple areas of mathematics, including abstract algebra, axiomatic set theory, and arithmetic. In some preliminary investigations into quantum mathematics, Dunn found that the Peano axioms for arithmetic yield the same theorems using either classical or quantum logic. We prove a similar result for certain classes of abstract algebras, and then show that Dunn's result is not generic by presenting examples of quantum monoids, groups, lattices, vector spaces, and operator algebras, all which differ from their classical counterparts. Moreover, we find natural classes of quantum lattices, vector spaces, and operator algebras which all have a beautiful inter-relationship, and make some preliminary investigations into using these structures as a basis for a new mathematical formulation of quantum mechanics. We also develop a quantum set theory (equivalent to ZFC under classical logic) which is far more tractable than quantum set theory previously developed. We then use this set theory to construct a quantum version of the natural numbers, and develop an arithmetic of these numbers based upon an alternative to Peano's axioms (which avoids Dunn's theorem). Surprisingly, we find that these "quantum natural numbers" satisfy our arithmetical axioms if and only if the underlying truth values form a modular lattice, giving a new arithmetical characterization of this important lattice-theoretic property. Finally, we show that these numbers have a natural interpretation as

  13. Valve system incorporating single failure protection logic

    DOEpatents

    Ryan, Rodger; Timmerman, Walter J. H.

    1980-01-01

    A valve system incorporating single failure protective logic. The system consists of a valve combination or composite valve which allows actuation or de-actuation of a device such as a hydraulic cylinder or other mechanism, integral with or separate from the valve assembly, by means of three independent input signals combined in a function commonly known as two-out-of-three logic. Using the input signals as independent and redundant actuation/de-actuation signals, a single signal failure, or failure of the corresponding valve or valve set, will neither prevent the desired action, nor cause the undesired action of the mechanism.

  14. DILEMMA: logic engineering in primary care, shared care and oncology (AIM Project A2005).

    PubMed

    Gordon, C; Jackson-Smale, A; Thomson, R

    1994-10-01

    The aim of DILEMMA is to provide tools for the development of decision support systems for use in general medical practice, hospital-based cancer care, and shared care of cancer and cardiology patients. In primary care, the project intends to provide aids to clinical performance in prescribing, referral and the use of clinical guidelines. The demonstrator applications involve telematics and knowledge-based methodology, using an approach termed logic engineering which combines logic programming and software lifecycle methods. DILEMMA will demonstrate systems to assist shared care and home care which should help reduce pressure on secondary health resources and, by disseminating best practice knowledge, improve patient care and patient quality of life.

  15. Raft River Geothermal Area Data Models - Conceptual, Logical and Fact Models

    DOE Data Explorer

    Cuyler, David

    2012-07-19

    Conceptual and Logical Data Model for Geothermal Data Concerning Wells, Fields, Power Plants and Related Analyses at Raft River a. Logical Model for Geothermal Data Concerning Wells, Fields, Power Plants and Related Analyses, David Cuyler 2010 b. Fact Model for Geothermal Data Concerning Wells, Fields, Power Plants and Related Analyses, David Cuyler 2010 Derived from Tables, Figures and other Content in Reports from the Raft River Geothermal Project: "Technical Report on the Raft River Geothermal Resource, Cassia County, Idaho," GeothermEx, Inc., August 2002. "Results from the Short-Term Well Testing Program at the Raft River Geothermal Field, Cassia County, Idaho," GeothermEx, Inc., October 2004.

  16. Difference to Inference: teaching logical and statistical reasoning through on-line interactivity.

    PubMed

    Malloy, T E

    2001-05-01

    Difference to Inference is an on-line JAVA program that simulates theory testing and falsification through research design and data collection in a game format. The program, based on cognitive and epistemological principles, is designed to support learning of the thinking skills underlying deductive and inductive logic and statistical reasoning. Difference to Inference has database connectivity so that game scores can be counted as part of course grades.

  17. Logging system adds value to field rejuvenation efforts

    SciTech Connect

    Peters, D.; Bartenhagen, K.; Santolamazza, A.

    1997-11-01

    As with any rejuvenation scheme, the first step is always identification and evaluation of potential producible reserves. But economic and physical factors made evaluation using traditional logging techniques problematic. The constraints that inhibited earlier logging tools have been addressed by a new, compact integrated system called Platform Express (PEX). Oil companies operating in two of the most mature producing regions of the US, the Hugoton-Panhandle Field and the Southwest Nena Lucia Field in West Texas, discuss the physical and economic advantages they are reaping using PEX technologies. Hugoton-Panhandle Field, discovered around 1920, sprawls across parts of three south-central states and has been one of the world`s largest gas producers. Despite continuing pressure declines in this aging gas giant, the entire region has undergone restoration in the last few years. In its Kansas portions, a modest oil production has almost doubled since 1990 and a steep gas decline has been completely turned around. These production gains have come from an active program of recompletions, the deepening of old holes and new drilling. The story in the southwest Nena Lucia Field is much the same. Operator Oryx Energy has been active in the field, located west of Abilene, Texas, since its discovery in the 1950s. The goal with this field is to use advanced technologies to reverse the production declines that began years ago. Such a reversal began in mid-1996 and has been sustained thus far.

  18. Relational Programming.

    DTIC Science & Technology

    1983-09-01

    EXERCISES: Factor V out of the definition of join. 13. Aucestral Dilationu 13.1 denfimkon Carnap [Carnap58] defines the relation of a property p...the utrueture function Carnap [Carnap58] defines two relations to be isomorphic when there is a biunivalent relation between their members that...its algebra of programs, CACM 21, 8 (August 1978), 613-641. [Carnap58] Carnap , R. Introduction to Synbolic Logic and its Appications, Dover, 1958

  19. SEE Sensitivity Analysis of 180 nm NAND CMOS Logic Cell for Space Applications

    NASA Astrophysics Data System (ADS)

    Sajid, Muhammad

    2016-07-01

    This paper focus on Single Event Effects caused by energetic particle strike on sensitive locations in CMOS NAND logic cell designed in 180nm technology node to be operated in space radiation environment. The generation of SE transients as well as upsets as function of LET of incident particle has been determined for logic devices onboard LEO and GEO satellites. The minimum magnitude pulse and pulse-width for threshold LET was determined to estimate the vulnerability /susceptibility of device for heavy ion strike. The impact of temperature, strike location and logic state of NAND circuit on total SEU/SET rate was estimated with physical mechanism simulations using Visual TCAD, Genius, runSEU program and Crad computer codes.

  20. pH-programmable DNA logic arrays powered by modular DNAzyme libraries.

    PubMed

    Elbaz, Johann; Wang, Fuan; Remacle, Francoise; Willner, Itamar

    2012-12-12

    Nature performs complex information processing circuits, such the programmed transformations of versatile stem cells into targeted functional cells. Man-made molecular circuits are, however, unable to mimic such sophisticated biomachineries. To reach these goals, it is essential to construct programmable modular components that can be triggered by environmental stimuli to perform different logic circuits. We report on the unprecedented design of artificial pH-programmable DNA logic arrays, constructed by modular libraries of Mg(2+)- and UO(2)(2+)-dependent DNAzyme subunits and their substrates. By the appropriate modular design of the DNA computation units, pH-programmable logic arrays of various complexities are realized, and the arrays can be erased, reused, and/or reprogrammed. Such systems may be implemented in the near future for nanomedical applications by pH-controlled regulation of cellular functions or may be used to control biotransformations stimulated by bacteria.

  1. Contributions from sociology of science to mathematics education in Brazil: logic as a system of beliefs

    NASA Astrophysics Data System (ADS)

    de Andrade, Thales Haddad Novaes; Vilela, Denise Silva

    2013-09-01

    In Brazil, mathematics education was associated with Jean Piaget's theory. Scholars in the field of education appropriated Piaget's work in different ways, but usually emphasized logical aspects of thought, which probably lead to an expansion of mathematics education influenced by psychology. This study attempts to extend the range of interlocutions and pose a dialogue between the field of mathematics education in Brazil and the sociology of science proposed by David Bloor. The main point of Bloor's theory is that logical-mathematical knowledge is far from being true and universal and is socially conditioned. In particular we will be discussing the first principle of the strong program, which deals with conditions that generate beliefs promoted by education policies in Brazil, such as the MEC/USAID treaties. In this case the "naturalization of logic" was stimulated by a widespread diffusion of both Piaget studies and the Modern Mathematics Movement.

  2. Low-power microelectromechanically tunable silicon photonic ring resonator add-drop filter.

    PubMed

    Errando-Herranz, Carlos; Niklaus, Frank; Stemme, Göran; Gylfason, Kristinn B

    2015-08-01

    We experimentally demonstrate a microelectromechanically (MEMS) tunable photonic ring resonator add-drop filter, fabricated in a simple silicon-on-insulator (SOI) based process. The device uses electrostatic parallel plate actuation to perturb the evanescent field of a silicon waveguide, and achieves a 530 pm resonance wavelength tuning, i.e., more than a fourfold improvement compared to previous MEMS tunable ring resonator add-drop filters. Moreover, our device has a static power consumption below 100 nW, and a tuning rate of -62  pm/V, i.e., the highest reported rate for electrostatic tuning of ring resonator add-drop filters.

  3. Digital biosensors with built-in logic for biomedical applications--biosensors based on a biocomputing concept.

    PubMed

    Wang, Joseph; Katz, Evgeny

    2010-10-01

    This article reviews biomolecular logic systems for bioanalytical applications, specifically concentrating on the prospects and fundamental and practical challenges of designing digitally operating biosensors logically processing multiple biochemical signals. Such digitally processed information produces a final output in the form of a yes/no response through Boolean logic networks composed of biomolecular systems, and hence leads to a high-fidelity biosensing compared with traditional single (or parallel) sensing devices. It also allows direct coupling of the signal processing with chemical actuators to produce integrated "smart" "sense/act" (biosensor-bioactuator) systems. Unlike common biosensing devices based on a single input (analyte), devices based on biochemical logic systems require a fundamentally new approach for the sensor design and operation and careful attention to the interface of biocomputing systems and electronic transducers. As common in conventional biosensors, the success of the enzyme logic biosensor would depend, in part, on the immobilization of the biocomputing reagent layer. Such surface confinement provides a contact between the biocomputing layer and the transducing surface and combines efficiently the individual logic-gate elements. Particular attention should thus be given to the composition, preparation, and immobilization of the biocomputing surface layer, to the role of the system scalability, and to the efficient transduction of the output signals. By processing complex patterns of multiple physiological markers, such multisignal digital biosensors should have a profound impact upon the rapid diagnosis and treatment of diseases, and particularly upon the timely detection and alert of medical emergencies (along with immediate therapeutic intervention). Other fields ranging from biotechnology to homeland security would benefit from these advances in new biocomputing biosensors and the corresponding closed-loop "add/act" operation.

  4. Young Children's Comprehension of Logical Connectives.

    ERIC Educational Resources Information Center

    Suppes, Patrick; Feldman, Shirley

    To determine to what extent children of preschool age comprehend the meaning of logical connectives, 64 5- and 6-year-olds were told to hand differently colored and shaped wooden blocks to an experimenter. The commands involved various English idioms used for conjunction (e.g. both black and round), disjunction (either black or round), and…

  5. Indeterminacy, linguistic semantics and fuzzy logic

    SciTech Connect

    Novak, V.

    1996-12-31

    In this paper, we discuss the indeterminacy phenomenon which has two distinguished faces, namely uncertainty modeled especially by the probability theory and vagueness, modeled by fuzzy logic. Other important mathematical model of vagueness is provided by the Alternative Set Theory. We focus on some of the basic concepts of these theories in connection with mathematical modeling of the linguistic semantics.

  6. On Logical Error Underlying Classical Mechanics

    NASA Astrophysics Data System (ADS)

    Kalanov, Temur Z.

    2012-03-01

    The logical analysis of the general accepted description of mechanical motion of material point M in classical mechanics is proposed. The key idea of the analysis is as follows. Let point M be moved in the positive direction of the axis O 1ptx. Motion is characterized by a change of coordinate x,( t ) -- continuous function of time t(because motion is a change in general). If δ,->;0;δ,;=;0, then δ,;->;0δ,;=;0, i.e., according to practice and formal logic, value of coordinate does not change and, hence, motion does not exist. But, contrary to practice and formal logic, differential calculus and classical mechanics contain the assertion that velocity δ,;->;0;δ,δ,;exists without motion. Then velocity δ,;->;0;δ,δ,;is not real (i.e. not physical) quantity, but fictitious quantity. Therefore, use of non-physical (unreal) quantity (i.e. the first and second derivatives of function) in classical mechanics is a logic error.

  7. Demonstrating Boolean Logic Using Simple Electrical Circuits

    ERIC Educational Resources Information Center

    McElhaney, Kevin W.

    2004-01-01

    While exploring the subject of geometric proofs, boolean logic operators AND and OR can be used to allow students to visualize their true-or-false patterns. An activity in the form of constructing electrical circuits is illustrated to explain the concept.

  8. Logical Structure of a Hypermedia Newspaper.

    ERIC Educational Resources Information Center

    Saarela, Janne; Turpeinen, Marko; Puskala, Tuomas; Korkea-aho, Mari; Sulonen, Reijo

    1997-01-01

    Describes an object-oriented approach which implements the logical model of a hypermedia newspaper based on experiences with the OtaOnline project at the Helsinki University of Technology (Finland.) Highlights include presentation formats, a semantical rating system, distribution schemes, metadata, and added-value features facilitated by the…

  9. New Logic Circuit with DC Parametric Excitation

    NASA Astrophysics Data System (ADS)

    Sugahara, Masanori; Kaneda, Hisayoshi

    1982-12-01

    It is shown that dc parametric excitation is possible in a circuit named JUDO, which is composed of two resistively-connected Josephson junctions. Simulation study proves that the circuit has large gain and properties suitable for the construction of small, high-speed logic circuits.

  10. Logic Mysteries. Grades 3-5.

    ERIC Educational Resources Information Center

    Molnar, Jane

    The logical mysteries in this book are designed to develop critical thinking and deductive reasoning skills, motivate children to read carefully, and develop memory skills. The mystery solutions are explained at the end of the book. The first nine mysteries are intended for third grade students to work on with their teacher or parents. The second…

  11. Logic in Everyday Language and in Mathematics.

    ERIC Educational Resources Information Center

    Zepp, Raymond A.

    1987-01-01

    Discusses logical errors, such as converse reasoning, that are made by students in mathematics and science courses. States that many students apply incorrect forms of reasoning to concrete mathematical problems. Concludes that material should be taught as concretely as possible, and that mathematics students should be made aware of reasoning…

  12. Optical logic array processor using shadowgrams

    NASA Astrophysics Data System (ADS)

    Tanida, J.; Ichioka, Y.

    1983-06-01

    On the basis of a lensless shadow-casting technique, a new, simple method of optically implementing digital logic gates has been developed. These gates are capable of performimg a complete set of logical operations on a large array of binary variables in parallel, i.e., the pattern logics. A light-emitting diode (LED) array is used as an incoherent light source in the lensless shadow-casting system. Sixteen possible functions of two binary variables are simply realizable with these gates in parallel by controlling the switching modes of the LEDs. Experimental results demonstrate the feasibility of various gate arrays, such as AND, OR, NOR, XOR, and NAND. As an example of application of the proposed method, an optical logic array processor is constructed that can implement parallel operations of addition or subtraction for two binary variables without considering the carry mechanisms. Use of the light-modulated LED array means that the proposed method can be applied to combinational circuits.

  13. Logical Access Control Mechanisms in Computer Systems.

    ERIC Educational Resources Information Center

    Hsiao, David K.

    The subject of access control mechanisms in computer systems is concerned with effective means to protect the anonymity of private information on the one hand, and to regulate the access to shareable information on the other hand. Effective means for access control may be considered on three levels: memory, process and logical. This report is a…

  14. Interacting institutional logics in general dental practice☆

    PubMed Central

    Harris, Rebecca; Holt, Robin

    2013-01-01

    We investigate the organisational field of general dental practice and how agents change or maintain the institution of values associated with the everyday work of health care provision. Our dataset comprise archival literature and policy documents, interview data from field level actors, as well as service delivery level interview data and secondary data gathered (2011–12) from 16 English dental practices. Our analysis provides a typology of institutional logics (prevailing systems of value) experienced in the field of dental practice. Confirming current literature, we find two logics dominate how care is assessed: business-like health care and medical professionalism. We advance the literature by finding the business-like health care logic further distinguished by values of commercialism on the one hand and those of accountability and procedural diligence on the other. The logic of professionalism we also find is further distinguished into a commitment to clinical expertise and independence in delivering patient care on the one hand, and concerns for the autonomy and sustainability of a business enterprise on the other. PMID:23931946

  15. Can Mathematics be Justified by Natural Logic?

    NASA Astrophysics Data System (ADS)

    Schreiber, Lothar; Sommer, Hanns

    2010-11-01

    Charles Darwin claimed that the forms and the behaviour of living beings can be explained from their will to survive. But what are the consequences of this idea for humans knowledge, their theories of nature and their mathematics?. We discuss the view that even Plato's objective world of mathematical objects does not exist absolutely, without the intentions of mathematicians. Using Husserl's Phenomenological Method, cognition can be understood as a process by which meaning is deduced from empirical data relative to intentions. Thereby the essential structure of any cognition process can be detected and this structure is mirrored in logic. A natural logic becomes the direct result of cognition. Only in a second step, mathematics is obtained by abstraction from natural logic. In this way mathematics gains a well-defined foundation and is no longer part of a dubious 'a-priori knowledge' (Kant). This access to mathematics offers a new look on many old problems, e.g. the Petersburg problem and the problem 'P = NP?'. We demonstrate that this new justification of mathematics has also important applications in Artificial Intelligence. Our method provides a procedure to construct an adequate logic to solve most efficiently the problems of a given problem class. Thus, heuristics can be tailor-made for the necessities of applications.

  16. Children's Acquisition of Conditional Logic Structure: Teachable?

    ERIC Educational Resources Information Center

    Lee, Seong-Soo

    1985-01-01

    To assess the teachability of conditional logic structure, the commonly used syllogistic conditional reasoning task was divided into three main components: (1) inductive rule learning; (2) induction of conditional language; and (3) deductive interpretation. When trained on all components, fifth and seventh graders became very competent in dealing…

  17. Mapping individual logical processes in information searching

    NASA Technical Reports Server (NTRS)

    Smetana, F. O.

    1974-01-01

    An interactive dialog with a computerized information collection was recorded and plotted in the form of a flow chart. The process permits one to identify the logical processes employed in considerable detail and is therefore suggested as a tool for measuring individual thought processes in a variety of situations. A sample of an actual test case is given.

  18. Teleology as Logical Phenomenology: Some Therapeutic Implications.

    ERIC Educational Resources Information Center

    Rychlak, Joseph F.

    Phenomenology is an important force in the development of psychological theory, rather than a variant type of counseling method. A distinction must be drawn between the sensory phenomenology in which gestaltists focus on sensory receptors, and logical pheomenology in which the grounding of belief or self-identity is viewed as a prediction or…

  19. All-optical ultrafast XOR/XNOR logic gates, binary counter, and double-bit comparator with silicon microring resonators.

    PubMed

    Sethi, Purnima; Roy, Sukhdev

    2014-10-01

    We present designs of all-optical ultrafast YES/NOT, XOR/XNOR logic gates, binary counter, and double-bit comparator based on all-optical switching by two-photon absorption induced free-carrier injection in silicon 2 × 2 add-drop microring resonators. The proposed circuits have been theoretically analyzed using time-domain coupled-mode theory based on reported experimental values to realize low power (∼ 28 mW) ultrafast (∼ 22 ps) operation with high modulation (80%) and bit rate (45 Gb/s). The designs are complementary metal-oxide semiconductor compatible and provide advantages of high Q-factor, tunability, compactness, cascadibility, scalability, reconfigurability, simplicity, and minimal number of switches and inputs for realization of the desired logic. Although a two-bit counter has been shown, the scheme can easily be extended to N-bit counter through cascading.

  20. The music of morality and logic.

    PubMed

    Mesz, Bruno; Rodriguez Zivic, Pablo H; Cecchi, Guillermo A; Sigman, Mariano; Trevisan, Marcos A

    2015-01-01

    Musical theory has built on the premise that musical structures can refer to something different from themselves (Nattiez and Abbate, 1990). The aim of this work is to statistically corroborate the intuitions of musical thinkers and practitioners starting at least with Plato, that music can express complex human concepts beyond merely "happy" and "sad" (Mattheson and Lenneberg, 1958). To do so, we ask whether musical improvisations can be used to classify the semantic category of the word that triggers them. We investigated two specific domains of semantics: morality and logic. While morality has been historically associated with music, logic concepts, which involve more abstract forms of thought, are more rarely associated with music. We examined musical improvisations inspired by positive and negative morality (e.g., good and evil) and logic concepts (true and false), analyzing the associations between these words and their musical representations in terms of acoustic and perceptual features. We found that music conveys information about valence (good and true vs. evil and false) with remarkable consistency across individuals. This information is carried by several musical dimensions which act in synergy to achieve very high classification accuracy. Positive concepts are represented by music with more ordered pitch structure and lower harmonic and sensorial dissonance than negative concepts. Music also conveys information indicating whether the word which triggered it belongs to the domains of logic or morality (true vs. good), principally through musical articulation. In summary, improvisations consistently map logic and morality information to specific musical dimensions, testifying the capacity of music to accurately convey semantic information in domains related to abstract forms of thought.