Oak Ridge K-25 Site Technology Logic Diagram
Energy Technology Data Exchange (ETDEWEB)
Fellows, R.L. (ed.)
1993-02-26
The Oak Ridge K-25 Technology Logic Diagram (TLD), a decision support tool for the K-25 Site, was developed to provide a planning document that relates envirorunental restoration and waste management problems at the Oak Ridge K-25 Site to potential technologies that can remediate these problems. The TLD technique identifies the research necessary to develop these technologies to a state that allows for technology transfer and application to waste management, remedial action, and decontamination and decommissioning activities. The TLD consists of four separate volumes-Vol. 1, Vol. 2, Vol. 3A, and Vol. 3B. Volume 1 provides introductory and overview information about the TLD. This volume, Volume 2, contains logic diagrams with an index. Volume 3 has been divided into two separate volumes to facilitate handling and use.
Oak Ridge K-25 Site Technology Logic Diagram
Energy Technology Data Exchange (ETDEWEB)
Fellows, R.L. (ed.)
1993-02-26
The Oak Ridge K-25 Technology Logic Diagram (TLD), a decision support tool for the K-25 Site, was developed to provide a planning document that relates environmental restoration and waste management problems at the Oak Ridge K-25 Site to potential technologies that can remediate these problems. The TLD technique identifies the research necessary to develop these technologies to a state that allows for technology transfer and application to waste management, remedial action, and decontamination and decommissioning activities. The TLD consists of four separate volumes-Vol. 1, Vol. 2, Vol. 3A, and Vol. 3B. Volume 1 provides introductory and overview information about the TLD. Volume 2 contains logic diagrams. Volume 3 has been divided into two separate volumes to facilitate handling and use. This report is part A of Volume 3 concerning characterization, decontamination, and dismantlement.
Oak Ridge K-25 Site Technology Logic Diagram
Energy Technology Data Exchange (ETDEWEB)
Fellows, R.L. (ed.)
1993-02-26
The Oak Ridge K-25 Technology Logic Diagram (TLD), a decision support tool for the K-25 Site, was developed to provide a planning document that relates environmental restoration (ER) and waste management (WN) problems at the Oak Ridge K-25 Site. The TLD technique identifies the research necessary to develop these technologies to a state that allows for technology transfer and application to waste management, remediation, decontamination, and decommissioning activities. The TLD consists of four separate volumes-Vol. 1, Vol. 2, Vol. 3A, and Vol. 3B. Volume 1 provides introductory and overview information about the TLD. Volume 2 contains logic diagrams. Volume 3 has been divided into two separate volumes to facilitate handling and use. This volume 3 B provides the Technology Evaluation Data Sheets (TEDS) for ER/WM activities (Remedial Action Robotics and Automation, Waste Management) that are referenced by a TEDS code number in Vol. 2 of the TLD. Each of these sheets represents a single logic trace across the TLD. These sheets contain more detail than each technology in Vol. 2. The TEDS are arranged alphanumerically by the TEDS code number in the upper right corner of each data sheet. Volume 3 can be used in two ways: (1) technologies that are identified from Vol. 2 can be referenced directly in Vol. 3 by using the TEDS codes, and (2) technologies and general technology areas (alternatives) can be located in the index in the front of this volume.
Oak Ridge K-25 Site Technology Logic Diagram
Energy Technology Data Exchange (ETDEWEB)
Fellows, R.L. (ed.)
1993-02-26
The Oak Ridge K-25 Technology Logic Diagram (TLD), a decision support tool for the K-25 Site, was developed to provide a planning document that relates environmental restoration and waste management problems at the Oak Ridge K-25 Site to potential technologies that can remediate these problems. The TLD technique identifies the research necessary to develop these technologies to a state that allows for technology transfer and application to waste management, remedial action, and decontamination and decommissioning activities. The TLD consists of four separate volumes-Vol. 1, Vol. 2, Vol. 3A, and Vol. 3B. This Volume, Volume 1 provides introductory and overview information about the TLD. Volume 2 contains logic diagrams. Volume 3 has been divided into two separate volumes to facilitate handling and use. This volume is divided into ten chapters. The first chapter is a brief introduction, and the second chapter details the technical approach of the TLD. These categories are the work activities necessary for successful decontamination and decommissioning, waste management, and remedial action of the K-25 Site. The categories are characterization, decontamination, dismantlement, robotics and automation, remedial action, and waste management. Materials disposition is addressed in Chap. 9. The final chapter contains regulatory compliance information concerning waste management, remedial action, and decontamination and decommissioning.
Oak Ridge K-25 Site Technology Logic Diagram. Volume 2, Technology Logic Diagrams
Energy Technology Data Exchange (ETDEWEB)
Fellows, R.L. [ed.
1993-02-26
The Oak Ridge K-25 Technology Logic Diagram (TLD), a decision support tool for the K-25 Site, was developed to provide a planning document that relates envirorunental restoration and waste management problems at the Oak Ridge K-25 Site to potential technologies that can remediate these problems. The TLD technique identifies the research necessary to develop these technologies to a state that allows for technology transfer and application to waste management, remedial action, and decontamination and decommissioning activities. The TLD consists of four separate volumes-Vol. 1, Vol. 2, Vol. 3A, and Vol. 3B. Volume 1 provides introductory and overview information about the TLD. This volume, Volume 2, contains logic diagrams with an index. Volume 3 has been divided into two separate volumes to facilitate handling and use.
Oak Ridge K-25 Site Technology Logic Diagram. Volume 1, Technology evaluation
Energy Technology Data Exchange (ETDEWEB)
Fellows, R.L. [ed.
1993-02-26
The Oak Ridge K-25 Technology Logic Diagram (TLD), a decision support tool for the K-25 Site, was developed to provide a planning document that relates environmental restoration and waste management problems at the Oak Ridge K-25 Site to potential technologies that can remediate these problems. The TLD technique identifies the research necessary to develop these technologies to a state that allows for technology transfer and application to waste management, remedial action, and decontamination and decommissioning activities. The TLD consists of four separate volumes-Vol. 1, Vol. 2, Vol. 3A, and Vol. 3B. This Volume, Volume 1 provides introductory and overview information about the TLD. Volume 2 contains logic diagrams. Volume 3 has been divided into two separate volumes to facilitate handling and use. This volume is divided into ten chapters. The first chapter is a brief introduction, and the second chapter details the technical approach of the TLD. These categories are the work activities necessary for successful decontamination and decommissioning, waste management, and remedial action of the K-25 Site. The categories are characterization, decontamination, dismantlement, robotics and automation, remedial action, and waste management. Materials disposition is addressed in Chap. 9. The final chapter contains regulatory compliance information concerning waste management, remedial action, and decontamination and decommissioning.
Energy Technology Data Exchange (ETDEWEB)
Fellows, R.L. [ed.
1993-02-26
The Oak Ridge K-25 Technology Logic Diagram (TLD), a decision support tool for the K-25 Site, was developed to provide a planning document that relates environmental restoration and waste management problems at the Oak Ridge K-25 Site to potential technologies that can remediate these problems. The TLD technique identifies the research necessary to develop these technologies to a state that allows for technology transfer and application to waste management, remedial action, and decontamination and decommissioning activities. The TLD consists of four separate volumes-Vol. 1, Vol. 2, Vol. 3A, and Vol. 3B. Volume 1 provides introductory and overview information about the TLD. Volume 2 contains logic diagrams. Volume 3 has been divided into two separate volumes to facilitate handling and use. This report is part A of Volume 3 concerning characterization, decontamination, and dismantlement.
Energy Technology Data Exchange (ETDEWEB)
Fellows, R.L. [ed.
1993-02-26
The Oak Ridge K-25 Technology Logic Diagram (TLD), a decision support tool for the K-25 Site, was developed to provide a planning document that relates environmental restoration (ER) and waste management (WN) problems at the Oak Ridge K-25 Site. The TLD technique identifies the research necessary to develop these technologies to a state that allows for technology transfer and application to waste management, remediation, decontamination, and decommissioning activities. The TLD consists of four separate volumes-Vol. 1, Vol. 2, Vol. 3A, and Vol. 3B. Volume 1 provides introductory and overview information about the TLD. Volume 2 contains logic diagrams. Volume 3 has been divided into two separate volumes to facilitate handling and use. This volume 3 B provides the Technology Evaluation Data Sheets (TEDS) for ER/WM activities (Remedial Action Robotics and Automation, Waste Management) that are referenced by a TEDS code number in Vol. 2 of the TLD. Each of these sheets represents a single logic trace across the TLD. These sheets contain more detail than each technology in Vol. 2. The TEDS are arranged alphanumerically by the TEDS code number in the upper right corner of each data sheet. Volume 3 can be used in two ways: (1) technologies that are identified from Vol. 2 can be referenced directly in Vol. 3 by using the TEDS codes, and (2) technologies and general technology areas (alternatives) can be located in the index in the front of this volume.
Energy Technology Data Exchange (ETDEWEB)
Rudin, M.J. [Univ. of Nevada, Las Vegas NV (United States); O`Brien, M.C. [Univ. of Arizona, Tucson, AZ (United States)
1995-04-01
A planning and management tool was developed that relates environmental restoration and waste management problems to technologies that can be used to remediate these problems. Although the Technology Logic Diagram has been widely used within the US Department of Energy`s Office of Environmental Restoration and Waste Management, it can be modified for use during the planning of any waste management and environmental cleanup effort.
Energy Technology Data Exchange (ETDEWEB)
Boris, G.
2008-02-21
The Foam Delivery System used in the decontamination and decommissioning (D&D) project for the K-25/K-27 Buildings at the East Tennessee Technology Park (ETTP) is comprised of a trailer-mounted Gusmer{reg_sign} H20/35 Pro-TEC Proportioning Unit and the associated equipment to convey electrical power, air, and foam component material to the unit. This high-pressure, plural-component polyurethane foam pouring system will be used to fill process gas and non-process equipment/piping (PGE/P) within the K-25/K-27 Buildings with polyurethane foam to immobilize contaminants prior to removal. The system creates foam by mixing isocyanate and polyol resin (Resin) component materials. Currently, the project plans to utilize up to six foaming units simultaneously during peak foaming activities. Also included in this system description are the foam component material storage containers that will be used for storage of the component material drums in a staging area outside of the K-25/K-27 Buildings. The Foam Delivery System and foam component material storage enclosures (i.e., Foaming Component Protective Enclosures) used to store polymeric methylene diphenyl diisocyanate (PMDI) component material are identified as Safety Significant (SS) Structures, Systems and Components (SSC) in the Documented Safety Analysis (DSA) for the project, Documented Safety Analysis for the K-25 and K-27 Facilities at the East Tennessee Technology Park, Oak Ridge, Tennessee, DSA-ET-K-25/K-27-0001.
Energy Technology Data Exchange (ETDEWEB)
Boris, G.
2008-02-21
The Foam Delivery System used in the decontamination and decommissioning (D&D) project for the K-25/K-27 Buildings at the East Tennessee Technology Park (ETTP) is comprised of a trailer-mounted Gusmer{reg_sign} H20/35 Pro-TEC Proportioning Unit and the associated equipment to convey electrical power, air, and foam component material to the unit. This high-pressure, plural-component polyurethane foam pouring system will be used to fill process gas and non-process equipment/piping (PGE/P) within the K-25/K-27 Buildings with polyurethane foam to immobilize contaminants prior to removal. The system creates foam by mixing isocyanate and polyol resin (Resin) component materials. Currently, the project plans to utilize up to six foaming units simultaneously during peak foaming activities. Also included in this system description are the foam component material storage containers that will be used for storage of the component material drums in a staging area outside of the K-25/K-27 Buildings. The Foam Delivery System and foam component material storage enclosures (i.e., Foaming Component Protective Enclosures) used to store polymeric methylene diphenyl diisocyanate (PMDI) component material are identified as Safety Significant (SS) Structures, Systems and Components (SSC) in the Documented Safety Analysis (DSA) for the project, Documented Safety Analysis for the K-25 and K-27 Facilities at the East Tennessee Technology Park, Oak Ridge, Tennessee, DSA-ET-K-25/K-27-0001.
Energy Technology Data Exchange (ETDEWEB)
Rigsby V.P.
2009-02-12
In 1989, the Oak Ridge Reservation (ORR), which includes the East Tennessee Technology Park (ETTP), was placed on the Comprehensive Environmental Response, Compensation, and Liability Act of 1980 (CERCLA) National Priorities List. The Federal Facility Agreement (FFA) (DOE 1992), effective January 1, 1992, now governs environmental restoration activities conducted under CERCLA at the ORR. Following signing of the FFA, U.S. Department of Energy (DOE), U.S. Environmental Protection Agency (EPA), and the state of Tennessee signed the Oak Ridge Accelerated Cleanup Plan Agreement on June 18, 2002. The purpose of this agreement is to define a streamlined decision-making process to facilitate the accelerated implementation of cleanup, resolve ORR milestone issues, and establish future actions necessary to complete the accelerated cleanup plan by the end of fiscal year 2008. While the FFA continues to serve as the overall regulatory framework for remediation, the Accelerated Cleanup Plan Agreement supplements existing requirements to streamline the decision-making process. Decontamination and decommissioning (D&D) activities of Bldg. K-25, the original gaseous diffusion facility, is being conducted by Bechtel Jacobs Company LLC (BJC) on behalf of the DOE. The planned CERCLA action covering disposal of building structure and remaining components from the K-25 building is scheduled as a non-time-critical CERCLA action as part of DOE's continuous risk reduction strategy for ETTP. The K-25 building is proposed for D&D because of its poor physical condition and the expense of surveillance and maintenance activities. The K-25/K-27 D&D Project proposes to dispose of the commingled waste listed below from the K-25 west side building structure and remaining components and process gas equipment and piping at the Environmental Management Waste Management Facility (EMWMF) under waste disposal proxy lot (WPXL) 6.999: (1) Building structure (e.g. concrete floors [excluding basement
Fuzzy logic and neural network technologies
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.
Energy Technology Data Exchange (ETDEWEB)
Rasmussen B.
2010-01-01
This document is the final version of a paper submitted to the Waste Management Symposia, Phoenix, 2010, abstract BJC/OR-3280. The primary document from which this paper was condensed is In-Situ Measurement of Low Enrichment Uranium Holdup in Process Gas Piping at K-25 Using NaI/HMS4 Gamma Detection Systems, BJC/OR-3355. This work explores the sufficiency and limitations of the Holdup Measurement System 4 (HJVIS4) software algorithms applied to measurements of low enriched uranium holdup in gaseous diffusion process gas piping. HMS4 has been used extensively during the decommissioning and demolition project of the K-25 building for U-235 holdup quantification. The HMS4 software is an integral part of one of the primary nondestructive assay (NDA) systems which was successfully tested and qualified for holdup deposit quantification in the process gas piping of the K-25 building. The initial qualification focused on the measurement of highly enriched UO{sub 2}F{sub 2} deposits. The purpose of this work was to determine if that qualification could be extended to include the quantification of holdup in UO{sub 2}F{sub 2} deposits of lower enrichment. Sample field data are presented to provide evidence in support of the theoretical foundation. The HMS4 algorithms were investigated in detail and found to sufficiently compensate for UO{sub 2}F{sub 2} source self-attenuation effects, over the range of expected enrichment (4-40%), in the North and East Wings of the K-25 building. The limitations of the HMS4 algorithms were explored for a described set of conditions with respect to area source measurements of low enriched UO{sub 2}F{sub 2} deposits when used in conjunction with a 1 inch by 1/2 inch sodium iodide (NaI) scintillation detector. The theoretical limitations of HMS4, based on the expected conditions in the process gas system of the K-25 building, are related back to the required data quality objectives (DQO) for the NBA measurement system established for the K-25
Energy Technology Data Exchange (ETDEWEB)
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.
Energy Technology Data Exchange (ETDEWEB)
NONE
1994-09-01
During World War 11, the Oak Ridge Y-12 Plant was built as part of the Manhattan Project to supply enriched uranium for weapons production. In 1945, Building 9201-4 (Alpha-4) was originally used to house a uranium isotope separation process based on electromagnetic separation technology. With the startup of the Oak Ridge K-25 Site gaseous diffusion plant In 1947, Alpha-4 was placed on standby. In 1953, the uranium enrichment process was removed, and installation of equipment for the Colex process began. The Colex process--which uses a mercury solvent and lithium hydroxide as the lithium feed material-was shut down in 1962 and drained of process materials. Residual Quantities of mercury and lithium hydroxide have remained in the process equipment. Alpha-4 contains more than one-half million ft{sup 2} of floor area; 15,000 tons of process and electrical equipment; and 23,000 tons of insulation, mortar, brick, flooring, handrails, ducts, utilities, burnables, and sludge. Because much of this equipment and construction material is contaminated with elemental mercury, cleanup is necessary. The goal of the Y-12 Plant Decontamination and Decommissioning Technology Logic Diagram for Building 9201-4 is to provide a planning document that relates decontamination and decommissioning and waste management problems at the Alpha-4 building to the technologies that can be used to remediate these problems. The Y-12 Plant Decontamination and Decommissioning Technology Logic Diagram for Building 9201-4 builds on the methodology transferred by the U.S. Air Force to the Environmental Management organization with DOE and draws from previous technology logic diagram-efforts: logic diagrams for Hanford, the K-25 Site, and ORNL.
Directory of Open Access Journals (Sweden)
Manoel Francisco Guaranha
2015-06-01
Full Text Available : Technological education aims to fulfill social and labor world demands. Thus, its teaching-learning processes are directed to the application of new information technologies and require an approach of logic concepts as basis for reading practices, text production and understanding of mathematical concepts. This paper presents strategies approach between two areas: Linguistics and Mathematics, based on the studies of Oswald Ducrot (1981 on the argumentative conception of language, especially when describing the logic of language. Thus, the research aims at developing, from reflections on logic and language, interdisciplinary methods of approach in the Communication and Mathematics subjects that might provide students who attend technological higher education a greater mastery at logic, both in argumentative as well in Mathematics; and encourage them to apply mathematical skills toward solving practical problems and understanding Mathematics as a formal instrument of expression and communication, which seeks to achieve real aspects for multiple sciences. We present a reading method of a verbal text by decomposing it in logical propositions, and chaining them in logical expressions. More than translating one language to another, we tried to bring the two areas as a strategy to make the student aware on the logical-mathematical structure of the language.
Energy Technology Data Exchange (ETDEWEB)
NONE
1994-09-01
The Y-12 Plant Decontamination and Decommissioning Technology Logic Diagram for Building 9201-4 (TLD) was developed to provide a decision-support tool that relates decontamination and decommissioning (D and D) problems at Bldg. 9201-4 to potential technologies that can remediate these problems. The TLD uses information from the Strategic Roadmap for the Oak Ridge Reservation, the Oak Ridge K-25 Site Technology Logic Diagram, the Oak Ridge National Laboratory Technology Logic Diagram, and a previous Hanford logic diagram. This TLD identifies the research, development, demonstration, testing, and evaluation needed for sufficient development of these technologies to allow for technology transfer and application to D and D and waste management (WM) activities. It is essential that follow-on engineering studies be conducted to build on the output of this project. These studies will begin by selecting the most promising technologies identified in the TLD and by finding an optimum mix of technologies that will provide a socially acceptable balance between cost and risk. This report consists of the characterization and dismantlement data sheets.
Project Management Plan for the INEL technology logic diagrams
Energy Technology Data Exchange (ETDEWEB)
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.
Project Management Plan for the INEL technology logic diagrams
Energy Technology Data Exchange (ETDEWEB)
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.
Energy Technology Data Exchange (ETDEWEB)
NONE
1994-09-01
The Y-12 Plant Decontamination and Decommissioning Technology Logic Diagram for Building 9201-4 (TLD) was developed to provide a decision-support tool that relates decontamination and decommissioning (D and D) problems at Bldg. 9201-4 to potential technologies that can remediate these problems. This TLD identifies the research, development, demonstration, testing, and evaluation needed for sufficient development of these technologies to allow for technology transfer and application to D and D and waste management (WM) activities. It is essential that follow-on engineering studies be conducted to build on the output of this project. These studies will begin by selecting the most promising technologies identified in the TLD and by finding an optimum mix of technologies that will provide a socially acceptable balance between cost and risk. The TLD consists of three fundamentally separate volumes: Vol. 1 (Technology Evaluation), Vol. 2 (Technology Logic Diagram), and Vol. 3 (Technology Evaluation Data Sheets). Volume 2 contains the logic linkages among environmental management goals, environmental problems, and the various technologies that have the potential to solve these problems. Volume 2 has been divided into five sections: Characterization, Decontamination, Dismantlement, Robotics/Automation, and Waste Management. Each section contains logical breakdowns of the Y-12 D and D problems by subject area and identifies technologies that can be reasonably applied to each D and D challenge.
Noise resonance : Technological sound reproduction and the logic of filtering
Kromhout, M.J.
2017-01-01
What is it about noise that attracted musicians and listeners over the past century? Noise Resonance: Technological Sound Reproduction and the Logic of Filtering sets out to answer this question through an extensive conceptual revaluation of the role of noise and distortion in sound and music. The b
Development of RPS trip logic based on PLD technology
Energy Technology Data Exchange (ETDEWEB)
Choi, Jong Gyun; Lee, Dong Young [Korea Atomic Energy Research Institute, Daejeon (Korea, Republic of)
2012-08-15
The majority of instrumentation and control (I and C) systems in today's nuclear power plants (NPPs) are based on analog technology. Thus, most existing I and C systems now face obsolescence problems. Existing NPPs have difficulty in repairing and replacing devices and boards during maintenance because manufacturers no longer produce the analog devices and boards used in the implemented I and C systems. Therefore, existing NPPs are replacing the obsolete analog I and C systems with advanced digital systems. New NPPs are also adopting digital I and C systems because the economic efficiencies and usability of the systems are higher than the analog I and C systems. Digital I and C systems are based on two technologies: a microprocessor based system in which software programs manage the required functions and a programmable logic device (PLD) based system in which programmable logic devices, such as field programmable gate arrays, manage the required functions. PLD based systems provide higher levels of performance compared with microprocessor based systems because PLD systems can process the data in parallel while microprocessor based systems process the data sequentially. In this research, a bistable trip logic in a reactor protection system (RPS) was developed using very high speed integrated circuits hardware description language (VHDL), which is a hardware description language used in electronic design to describe the behavior of the digital system. Functional verifications were also performed in order to verify that the bistable trip logic was designed correctly and satisfied the required specifications. For the functional verification, a random testing technique was adopted to generate test inputs for the bistable trip logic.
Risk Management Technologies With Logic and Probabilistic Models
Solozhentsev, E D
2012-01-01
This book presents intellectual, innovative, information technologies (I3-technologies) based on logical and probabilistic (LP) risk models. The technologies presented here consider such models for structurally complex systems and processes with logical links and with random events in economics and technology. The volume describes the following components of risk management technologies: LP-calculus; classes of LP-models of risk and efficiency; procedures for different classes; special software for different classes; examples of applications; methods for the estimation of probabilities of events based on expert information. Also described are a variety of training courses in these topics. The classes of risk models treated here are: LP-modeling, LP-classification, LP-efficiency, and LP-forecasting. Particular attention is paid to LP-models of risk of failure to resolve difficult economic and technical problems. Amongst the discussed procedures of I3-technologies are the construction of LP-models,...
Oak Ridge National Laboratory Technology Logic Diagram. Indexes
Energy Technology Data Exchange (ETDEWEB)
1993-09-01
The Decontamination and Decommissioning (D&D) Index provides a comprehensive list of site problems, problem area/constituents, remedial technologies, and regulatory terms discussed in the D&D sections of the Oak Ridge National Laboratory Technology Logic Diagram. All entries provide specific page numbers, or cross-reference entries that provide specific page numbers, in the D&D volumes (Vol. 1, Pt. A; Vol. 2, Pt. A; and appropriate parts of Vol. 3). The Oak Ridge National Laboratory Technology (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. It is essential that follow-on engineering studies be conducted to build on the output of this project. These studies will begin by selecting the most promising technologies identified in the TLD and finding an optimum mix of technologies that will provide a socially acceptable balance between cost and risk.
Toward high-performance digital logic technology with carbon nanotubes.
Tulevski, George S; Franklin, Aaron D; Frank, David; Lobez, Jose M; Cao, Qing; Park, Hongsik; Afzali, Ali; Han, Shu-Jen; Hannon, James B; Haensch, Wilfried
2014-09-23
The slow-down in traditional silicon complementary metal-oxide-semiconductor (CMOS) scaling (Moore's law) has created an opportunity for a disruptive innovation to bring the semiconductor industry into a postsilicon era. Due to their ultrathin body and ballistic transport, carbon nanotubes (CNTs) have the intrinsic transport and scaling properties to usher in this new era. The remaining challenges are largely materials-related and include obtaining purity levels suitable for logic technology, placement of CNTs at very tight (∼5 nm) pitch to allow for density scaling and source/drain contact scaling. This review examines the potential performance advantages of a CNT-based computing technology, outlines the remaining challenges, and describes the recent progress on these fronts. Although overcoming these issues will be challenging and will require a large, sustained effort from both industry and academia, the recent progress in the field is a cause for optimism that these materials can have an impact on future technologies.
Directory of Open Access Journals (Sweden)
Ryta V. Lopatych
2010-08-01
Full Text Available The “logical culture” phenomenon that is considered as a required component of practical training for the future foreign languages teachers is defined in the article; the influence of information technologies on the process of logical culture formation is studied as well. The levels of logical culture formation of future foreign languages teachers are specified as well as logical culture components are described for each level. It has been found that the rate of logical culture competence can be improved by implementation of educational information technologies.
Reprogammable universal logic device based on mems technology
Hafiz, Md Adbdullah Al
2017-06-15
Various examples of reprogrammable universal logic devices are provided. In one example, the device can include a tunable AC input (206) to an oscillator/resonator; a first logic input and a second logic input to the oscillator/resonator, the first and second logic inputs provided by separate DC voltage sources (VA, VB), each of the first and second logic inputs including an on/off switch (A, B); and the oscillator/resonator including an output terminal (215). The tunable oscillator/resonator can be a MEMS/NEMS resonator. Switching of one or both of the first or second logic inputs on or off in association with the tuning of the AC input (206) can provide logic gate operation. The device can easily be extended to a 3-bit or n-bit device by providing additional logic inputs. Binary comparators and encoders can be implemented using a plurality of oscillators/resonators.
Technologies for faults diagnosis of FPGA logic blocks
Directory of Open Access Journals (Sweden)
C. U. Ngene
2012-08-01
Full Text Available The critical issues of testing field programmable gate arrays (FPGA with a view to diagnosing faults are an important step that ensures the reliability of FPGA designs. Correct diagnosis of faulty logic blocks of FPGAs guarantees restoration of functionality through replacement of faulty block with replacement units. This process can be done autonomously or without the intervention of an engineer depending on application area. This paper considers two methods for analysing test results of FPGA logic blocks with the purpose of localising and distinguishing faults. The algebraic logic and vector-logical methods are proposed for diagnosing faulty logic blocks in FPGA fabric. It is found that the algebraic logic method is more useful for processing of sparse faults tables when the number of coordinates with 1s values with respect to zero values is not more than 20%, whereas the vector-logical method facilitates the analysis of faults table with predominance of 1s values.
Alternating phase shift mask technology for 65nm logic applications
Chakravorty, Kishore K.; Henrichs, Sven; Qiu, Wei; Chavez, Joas L.; Liu, Yi-Ping; Ghadiali, Firoz; Yung, Karmen; Wilcox, Nathan; Silva, Mary; Ma, Jian; Qu, Ping; Irvine, Brian; Yun, Henry; Cheng, Wen-Hao; Farnsworth, Jeff
2006-03-01
Alternating Phase Shift Mask (APSM) Technology has been developed and successfully implemented for the poly gate of 65nm node Logic application at Intel. This paper discusses the optimization of the mask design rules and fabrication process in order to enable high volume manufacturability. Intel's APSM technology is based on a dual sided trenched architecture. To meet the stringent OPC requirements associated with patterning of narrow gates required for the 65nm node, Chrome width between the Zero and Pi aperture need to be minimized. Additionally, APSM lithography has an inherently low MEEF that furthermore, drives a narrower Chrome line as compared to the Binary approach. The double sided trenched structure with narrow Chrome lines are mechanically vulnerable and prone to damage when exposed to conventional mask processing steps. Therefore, new processing approaches were developed to minimize the damage to the patterned mask features. For example, cleaning processes were optimized to minimize Chrome & quartz damage while retaining the cleaning effectiveness. In addition, mask design rules were developed which ensured manufacturability. The narrow Chrome regions between the zero and Pi apertures severely restrict the tolerance for the placement of the second level resists edges with respect to the first level. UV Laser Writer based resist patterning capability, capable of providing the required Overlay tolerance, was developed, An AIMS based methodology was used to optimize the undercut and minimize the aerial image CD difference between the Zero and Pi apertures.
Area–Oriented Technology Mapping for LUT–Based Logic Blocks
Directory of Open Access Journals (Sweden)
Kubica Marcin
2017-03-01
Full Text Available One of the main aspects of logic synthesis dedicated to FPGA is the problem of technology mapping, which is directly associated with the logic decomposition technique. This paper focuses on using configurable properties of CLBs in the process of logic decomposition and technology mapping. A novel theory and a set of efficient techniques for logic decomposition based on a BDD are proposed. The paper shows that logic optimization can be efficiently carried out by using multiple decomposition. The essence of the proposed synthesis method is multiple cutting of a BDD. A new diagram form called an SMTBDD is proposed. Moreover, techniques that allow finding the best technology mapping oriented to configurability of CLBs are presented. In the experimental section, the presented method (MultiDec is compared with academic and commercial tools. The experimental results show that the proposed technology mapping strategy leads to good results in terms of the number of CLBs.
Energy Technology Data Exchange (ETDEWEB)
1993-09-01
The Strategic Roadmap for the Oak Ridge Reservation is a generalized planning document that identifies broad categories of issues that keep ORNL outside full compliance with the law and other legally binding agreements. Possible generic paths to compliance, issues, and the schedule for resolution of the issues one identified. The role of the Oak Ridge National Laboratory Technology Logic Diagram (TLD) is then to identify specific site issues (problems), identify specific technologies that can be brought to bear on the issues, and assess the current status and readiness of these remediation technologies within the constraints of the schedule commitment. Regulatory requirements and commitments contained in the Strategic Roadmap for the Oak Ridge Reservation are also included in the TLD as constraints to the application of immature technological solutions. Some otherwise attractive technological solutions may not be employed because they may not be deployable on the schedule enumerated in the regulatory agreements. The roadmap for ORNL includes a list of 46 comprehensive logic diagrams for WM of low-level, radioactive-mixed, hazardous, sanitary and industrial. and TRU waste. The roadmapping process gives comparisons of the installation as it exists to the way the installation should exist under full compliance. The identification of the issues is the goal of roadmapping. This allows accurate and timely formulation of activities.
Y-12 Plant Remedial Action technology logic diagram. Volume I: Technology evaluation
Energy Technology Data Exchange (ETDEWEB)
NONE
1994-09-01
The Y-12 Plant Remedial Action Program addresses remediation of the contaminated groundwater, surface water and soil in the following areas located on the Oak Ridge Reservation: Chestnut Ridge, Bear Creek Valley, the Upper and Lower East Fork Popular Creek Watersheds, CAPCA 1, which includes several areas in which remediation has been completed, and CAPCA 2, which includes dense nonaqueous phase liquid wells and a storage facility. There are many facilities within these areas that are contaminated by uranium, mercury, organics, and other materials. This Technology Logic Diagram identifies possible remediation technologies that can be applied to the soil, water, and contaminants for characterization, treatment, and waste management technology options are supplemented by identification of possible robotics or automation technologies. These would facilitate the cleanup effort by improving safety, of remediation, improving the final remediation product, or decreasing the remediation cost. The Technology Logic Diagram was prepared by a diverse group of more than 35 scientists and engineers from across the Oak Ridge Reservation. Most are specialists in the areas of their contributions. 22 refs., 25 tabs.
Programming Programmable Logic Controller. High-Technology Training Module.
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,…
Fuzzy logic technology for modeling of greenhouse crop transpiration rate
Deng, Lujuan; Wang, Huaishan
2006-11-01
The objective of this paper was present a reasonable greenhouse crop transpiration rate model for irrigation scheduling thereby to achieve the best effect, for example, water and energy economizing furthermore to make crop growing better. So it was essential to measure crop transpiration rate. Owing to the difficulty of obtaining accurate real time data of crop transpiration, it was commonly estimated from weather parameters. So the fuzzy logic model for estimation of greenhouse crop transpiration rate was developed. The model was made up of five sub-systems and three layers. There were nine input variables and one output variable. The results of comparison between measured and fuzzy model is inspirer. The squared correlation coefficient (r2) by fuzzy model method (r2=0.9302) is slightly higher than by FAO Penman-Monteith formula (r2=0.9213). The fuzzy logic crop transpiration rate model could be easily extended for irrigation decision-making.
Sentiment classification technology based on Markov logic networks
He, Hui; Li, Zhigang; Yao, Chongchong; Zhang, Weizhe
2016-07-01
With diverse online media emerging, there is a growing concern of sentiment classification problem. At present, text sentiment classification mainly utilizes supervised machine learning methods, which feature certain domain dependency. On the basis of Markov logic networks (MLNs), this study proposed a cross-domain multi-task text sentiment classification method rooted in transfer learning. Through many-to-one knowledge transfer, labeled text sentiment classification, knowledge was successfully transferred into other domains, and the precision of the sentiment classification analysis in the text tendency domain was improved. The experimental results revealed the following: (1) the model based on a MLN demonstrated higher precision than the single individual learning plan model. (2) Multi-task transfer learning based on Markov logical networks could acquire more knowledge than self-domain learning. The cross-domain text sentiment classification model could significantly improve the precision and efficiency of text sentiment classification.
Science-Technology Coupling: The Case of Mathematical Logic and Computer Science.
Wagner-Dobler, Roland
1997-01-01
In the history of science, there have often been periods of sudden rapprochements between pure science and technology-oriented branches of science. Mathematical logic as pure science and computer science as technology-oriented science have experienced such a rapprochement, which is studied in this article in a bibliometric manner. (Author)
The impact logic of mobile technology usage on job production
Deibert, Sina; Heinzl, Armin; Rothlauf, Franz
2008-01-01
Research on mobile technologies has received an increasing attention. Most of the existing literature focuses on use of mobile technologies on a managerial level, with technology as a device for information and communication exchange. The impact potential and their corresponding functionalities at the worker level has not yet been analyzed. This study tries to address this gap. It is the key objective to develop a theoretical model how mobile technologies impact business processes in job prod...
Research on FPGA-based Programmable Logic Controllers’ Technology
Directory of Open Access Journals (Sweden)
Zhu Huabing
2013-07-01
Full Text Available This paper introduces a scheme which implements the programmable logic controllers’ (PLCs function based on FPGA. This scheme follows the IEC61131-3 standard, selects Ladder Diagram (LD to write the PLC programs and selects VHDL as target language. Based on VS2005 platform, this scheme implements the construction of Ladder Diagram, compilation, simulation and other functions. This paper focuses on researching the construction method of Ladder Diagram, converting Ladder Diagram into Boolean equation and generating VHDL program by Boolean equivalence. The construction method of Ladder Diagram based on parallel-series hierarchical nested list and the implementing method of Boolean equivalence based on double-layer lists are proposed. Finally the correctness of the scheme is verified through an example.
Energy Technology Data Exchange (ETDEWEB)
NONE
1994-09-01
The Y-12 Plant Remedial Action Technology Logic Diagram (TLD) was developed to provide a decision-support tool that relates environmental restoration (ER) problems at the Y-12 Plant to potential technologies that can remediate these problems. The TLD identifies the research, development, demonstration, testing, and evaluation needed for sufficient development of these technologies to allow for technology transfer and application to remedial action (RA) activities. The TLD consists of three volumes. Volume 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 contains the logic linkages among environmental management goals, environmental problems and the various technologies that have the potential to solve these problems. Volume 3 contains the TLD data sheets. This report is Part A of Volume 3 and contains the Remedial Action section.
Energy Technology Data Exchange (ETDEWEB)
NONE
1994-09-01
The Y-12 Plant Remedial Action Technology Logic Diagram (TLD) was developed to provide a decision-support tool that relates environmental restoration (ER) problems at the Y-12 Plant to potential technologies that can remediate theses problems. The TLD identifies the research, development, demonstration, testing, and evaluation needed for sufficient development of these technologies to allow for technology transfer and application to remedial action (RA) activities. The TLD consists of three volumes. Volume 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 contains the logic linkages among environmental management goals, environmental problems, and the various technologies that have the potential to solve these problems. Volume 3 contains the TLD data sheets. This report is Part B of Volume 3 and contains the Characterization and Robotics/Automation sections.
Energy Technology Data Exchange (ETDEWEB)
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 RA. Part B of Vols. 1 and 2 focuses on the D&D of contaminated facilities. Part C of Vols. 1 and 2 focuses on WM. Each part of Vol. 1 contains an overview of the TM, an explanation of the problems facing the volume-specific program, a review of identified technologies, and rankings of technologies applicable to the site. 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. This volume provides the technology evaluation data sheets (TEDS) for ER/WM activities (D&D, RA and WM) that are referenced by a TEDS code number in Vol. 2 of the TLD. Each of these sheets represents a single logic trace across the TLD. These sheets contain more detail than is given for the technologies in Vol. 2.
Energy Technology Data Exchange (ETDEWEB)
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 RA. Part B of Vols. 1 and 2 focuses on the D&D of contaminated facilities. Part C of Vols. 1 and 2 focuses on WM. Each part of Vol. 1 contains an overview of the TM, an explanation of the problems facing the volume-specific program, a review of identified technologies, and rankings of technologies applicable to the site. 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. This volume provides the technology evaluation data sheets (TEDS) for ER/WM activities (D&D, RA and WM) that are referenced by a TEDS code number in Vol. 2 of the TLD. Each of these sheets represents a single logic trace across the TLD. These sheets contain more detail than is given for the technologies in Vol. 2.
Disruptive Logic Architectures and Technologies From Device to System Level
Gaillardon, Pierre-Emmanuel; Clermidy, Fabien
2012-01-01
This book discusses the opportunities offered by disruptive technologies to overcome the economical and physical limits currently faced by the electronics industry. It provides a new methodology for the fast evaluation of an emerging technology from an architectural perspective and discusses the implications from simple circuits to complex architectures. Several technologies are discussed, ranging from 3-D integration of devices (Phase Change Memories, Monolithic 3-D, Vertical NanoWires-based transistors) to dense 2-D arrangements (Double-Gate Carbon Nanotubes, Sublithographic Nanowires, Lithographic Crossbar arrangements). Novel architectural organizations, as well as the associated tools, are presented in order to explore this freshly opened design space. Describes a novel architectural organization for future reconfigurable systems; Includes a complete benchmarking toolflow for emerging technologies; Generalizes the description of reconfigurable circuits in terms of hierarchical levels; Assesses disruptive...
A Noise Tolerant and Low Power Dynamic Logic Circuit Using Finfet Technology
Directory of Open Access Journals (Sweden)
Sneha Arora
2015-12-01
Full Text Available For the improvement of performance and noise tolerance in dynamic logic circuits, a technique is proposed in this paper. A two-input AND gate is designed and simulated in 32nm technology using FinFET device. Simulation results indicate that the proposed technique provides improvement in noise tolerance of about three times and the use of FinFET device reduces the power consumption over the conventional MOSFET designs.
Gate contact resistive random access memory in nano scaled FinFET logic technologies
Hsu, Meng-Yin; Shih, Yi-Hong; Chih, Yue-Der; Lin, Chrong Jung; King, Ya-Chin
2017-04-01
A full logic-compatible embedded gate contact resistive random access memory (GC-RRAM) cell in the CMOS FinFET logic process without extra mask or processing steps has been successfully demonstrated for high-density and low-cost logic nonvolatile memory (NVM) applications. This novel GC-RRAM cell is composed of a transition metal oxide from the gate contact plug and interlayer dielectric (ILD) in the middle, and a gate contact and an n-type epitaxial drain terminal as the top and bottom electrodes, respectively. It features low-voltage operation and reset current, compact cell size, and a stable read window. As a promising embedded NVM solution, the compact one transistor and one resistor (1T1R) cell is highly scalable as the technology node progresses. Excellent data retention and cycling capability have also been demonstrated by the reliability testing results. These superior characteristics make GC-RRAM one of a few viable candidates for logic NVM for future FinFET circuits.
Okamoto, Satoru; Sato, Takehiro; Yamanaka, Naoaki
2017-01-01
In this paper, flexible and highly reliable metro and access integrated networks with network virtualization and software defined networking technologies will be presented. Logical optical line terminal (L-OLT) technologies and active optical distribution networks (ODNs) are the key to introduce flexibility and high reliability into the metro and access integrated networks. In the Elastic Lambda Aggregation Network (EλAN) project which was started in 2012, a concept of the programmable optical line terminal (P-OLT) has been proposed. A role of the P-OLT is providing multiple network services that have different protocols and quality of service requirements by single OLT box. Accommodated services will be Internet access, mobile front-haul/back-haul, data-center access, and leased line. L-OLTs are configured within the P-OLT box to support the functions required for each network service. Multiple P-OLTs and programmable optical network units (P-ONUs) are connected by the active ODN. Optical access paths which have flexible capacity are set on the ODN to provide network services from L-OLT to logical ONUs (L-ONUs). The L-OLT to L-ONU path on the active ODN provides a logical connection. Therefore, introducing virtualization technologies becomes possible. One example is moving an L-OLT from one P-OLT to another P-OLT like a virtual machine. This movement is called L-OLT migration. The L-OLT migration provides flexible and reliable network functions such as energy saving by aggregating L-OLTs to a limited number of P-OLTs, and network wide optical access path restoration. Other L-OLT virtualization technologies and experimental results will be also discussed in the paper.
An Analysis of Technology Acceptance in Turkey using Fuzzy Logic and Structural Equation Modelling
Directory of Open Access Journals (Sweden)
Bilgin Şenel
2011-12-01
Full Text Available Technology is in a constant progress in the way of satisfying increasing human needs. This fact will hold true for the years to come. However, the level of adaptation to technological advancements varies greatly across countries. The pace of adjustment is directly proportional to the importance attached to and the funds allocated for this purpose. Despite the abundance of technological investments in Turkey in recent years, there are only a few studies analyzing the current level of individual interest in technology. This study therefore aims to determine the technology acceptance of Turkish people by using the Technology Acceptance Model (TAM developed by Davis (1989 and to demonstrate the reasons to accept or not accept technology departing from the links between dimensions. While accomplishing this aim, Structural Equation Model (SEM that is a highly strong multivariable analysis technique that makes possible the evaluation of latent structures like psychosocial needs, and the Fuzzy Logic Theorem that provides strong and significant instruments for the measurement of ambiguities and provides the opportunity to meaningfully represent ambiguous concepts expressed in the natural language were used. According to the findings of this study, it was determined that the perceived ease of use is more influential in people’s acceptance of technology than the perceived usefulness is. It was also found that technology acceptance does not differ significantly at the statistical significance level of 0.05 with respect to the participants’ demographic characteristics (age, gender, education level, hometown etc.. In addition, analyses performed to define the relationships between the dimensions of the TAM yielded results that highly supported the TAM. In other words, the dimensions affect technology acceptance to positive and significant degrees
Development of a new high transmission phase shift mask technology for 10 nm logic node
Faure, Thomas; Sakamoto, Yoshifumi; Toda, Yusuke; Badger, Karen; Seki, Kazunori; Lawliss, Mark; Isogawa, Takeshi; Zweber, Amy; Kagawa, Masayuki; Wistrom, Richard; Xu, Yongan; Lobb, Granger; Viswanathan, Ramya; Hu, Lin; Inazuki, Yukio; Nishikawa, Kazuhiro
2016-05-01
In this paper we will describe the development of a new 12% high transmission phase shift mask technology for use with the 10 nm logic node. The primary motivation for this work was to improve the lithographic process window for 10 nm node via hole patterning by reducing the MEEF and improving the depth of focus (DOF). First, the simulated MEEF and DOF data will be compared between the 6% and high T PSM masks with the transmission of high T mask blank varying from 12% to 20%. This resulted in selection of a 12% transmission phase shift mask. As part of this work a new 12% attenuated phase shift mask blank was developed. A detailed description and results of the key performance metrics of the new mask blank including radiation durability, dry etch properties, film thickness, defect repair, and defect inspection will be shared. In addition, typical mask critical dimension uniformity and mask minimum feature size performance for 10 nm logic node via level mask patterns will be shown. Furthermore, the results of work to optimize the chrome hard mask film properties to meet the final mask minimum feature size requirements will be shared. Lastly, the key results of detailed lithographic performance comparisons of the process of record 6% and new 12% phase shift masks on wafer will be described. The 12% High T blank shows significantly better MEEF and larger DOF than those of 6% PSM mask blank, which is consistent with our simulation data.
Energy Technology Data Exchange (ETDEWEB)
O`Brien, M.C.; Meservey, R.H.; Little, M.; Ferguson, J.S.; Gilmore, M.C.
1993-09-01
The Idaho National Engineering Laboratory (INEL) Technology Logic Diagram (TLD) was developed to provide a decision support tool that relates Environmental Restoration (ER) and Waste Management (WM) problems at the INEL 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 an environmental restoration need. It is essential that follow-on engineering and system studies be conducted to build on the output of this project. These studies will begin by selecting the most promising technologies identified in this TLD and finding an optimum mix of technologies that will provide a socially acceptable balance between cost and risk to meet the site windows of opportunity. The TLD consists of three separate volumes: Volume I includes the purpose and scope of the TLD, a brief history of the INEL Waste Area Groups, and environmental problems they represent. A description of the TLD, definitions of terms, a description of the technology evaluation process, and a summary of each subelement, is presented. Volume II (this volume) describes the overall layout and development of the TLD in logic diagram format. This section addresses the environmental restoration of contaminated INEL sites. Specific INEL problem areas/contaminants are identified along with technology solutions, the status of the technologies, precise science and technology needs, and implementation requirements. Volume III provides the Technology Evaluation Data Sheets (TEDS) for Environmental Restoration and Waste Management (EM) activities that are referenced by a TEDS codenumber in Volume II. Each of these sheets represents a single logic trace across the TLD. These sheets contain more detail than provided for technologies in Volume II.
A Novel Power Reduction Technique for Dual-Threshold Domino Logic in Sub-65nm Technology
Directory of Open Access Journals (Sweden)
Tarun Kr. Gupta
2013-03-01
Full Text Available A novel technique for dual- threshold is proposed and examined with inputs and clock signals combinationin 65nm dual- threshold footerless domino circuit for reduced leakage current. In this technique a p-typeand an n-type leakage controlled transistor (LCTsare introduced between the pull-up and pull-downnetwork and the gate of one is controlled by the source of the other. A high-threshold transistor is used inthe input for reducing gate oxide leakage current which becomes dominant in nanometer technology.Simulations based on 65nm BISM4 model for proposeddomino circuits shows that CLIL (clock low andinput low and CHIH (clock high and input high state is ineffective for lowering leakage current. TheCLIH (clock low input high state is only effective to suppress the leakage at low and high temperatures forwide fan-in domino circuits but for AND gate CHIL (clock high input low state is preferred to reducetheleakage current. The proposed circuit technique forAND2, OR2, OR4 and OR8 circuits reduces the activepower consumption by 39.6% to 57.9% and by 32.4% to40.3% at low and high die temperaturesrespectively when compared to the standard dual-threshold voltage domino logic circuits.
A Novel Power Reduction Technique for Dual-Threshold Domino Logic in Sub-65nm Technology
Directory of Open Access Journals (Sweden)
Tarun Kr. Gupta
2013-02-01
Full Text Available A novel technique for dual- threshold is proposed and examined with inputs and clock signals combinationin 65nm dual- threshold footerless domino circuit for reduced leakage current. In this technique a p-typeand an n-type leakage controlled transistor (LCTsare introduced between the pull-up and pull-downnetwork and the gate of one is controlled by the source of the other. A high-threshold transistor is used inthe input for reducing gate oxide leakage current which becomes dominant in nanometer technology.Simulations based on 65nm BISM4 model for proposeddomino circuits shows that CLIL (clock low andinput low and CHIH (clock high and input high state is ineffective for lowering leakage current. TheCLIH (clock low input high state is only effective to suppress the leakage at low and high temperatures forwide fan-in domino circuits but for AND gate CHIL (clock high input low state is preferred to reducetheleakage current. The proposed circuit technique forAND2, OR2, OR4 and OR8 circuits reduces the activepower consumption by 39.6% to 57.9% and by 32.4% to40.3% at low and high die temperaturesrespectively when compared to the standard dual-threshold voltage domino logic circuits.
Energy Technology Data Exchange (ETDEWEB)
O`Brien, M.C.; Meservey, R.H.; Little, M.; Ferguson, J.S.; Gilmore, M.C.
1993-09-01
The Idaho National Engineering Laboratory (INEL) Technology Logic Diagram (TLD) was developed to provide a decision support tool that relates Environmental Restoration (ER) and Waste Management (WM) problems at the INEL 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 an environmental restoration need. It is essential that follow-on engineering and system studies be conducted to build on the output of this project. These studies will begin by selecting the most promising technologies identified in this TLD and finding an optimum mix of technologies that will provide a socially acceptable balance between cost and risk to meet the site windows of opportunity. The TLD consists of three separate volumes: Volume I includes the purpose and scope of the TLD, a brief history of the INEL Waste Area Groups, and environmental problems they represent. A description of the TLD, definitions of terms, a description of the technology evaluation process, and a summary of each subelement, is presented. Volume II describes the overall layout and development of the TLD in logic diagram format. This section addresses the environmental restoration of contaminated INEL sites. Volume III (this volume) provides the Technology Evaluation Data Sheets (TEDS) for Environmental Restoration and Waste Management (EM) activities that are reference by a TEDS code number in Volume II. Each of these sheets represents a single logic trace across the TLD. These sheets contain more detail than provided for technologies in Volume II. Data sheets are arranged alphanumerically by the TEDS code number in the upper right corner of each sheet.
Energy Technology Data Exchange (ETDEWEB)
O`Brien, M.C.; Meservey, R.H.; Little, M.; Ferguson, J.S.; Gilmore, M.C.
1993-09-01
The Technology Logic Diagram was developed to provide technical alternatives for environmental restoration projects at the Idaho National Engineering Laboratory. The diagram (three volumes) documents suggested solutions to the characterization, retrieval, and treatment phases of cleanup activities at contaminated sites within 8 of the laboratory`s 10 waste area groups. Contaminated sites at the laboratory`s Naval Reactor Facility and Argonne National Laboratory-West are not included in this diagram.
Cometabolic bioreactor demonstration at the Oak Ridge K-25 Site: Final report
Energy Technology Data Exchange (ETDEWEB)
Lucero, A.J.; Donaldson, T.L.; Jennings, H.L.; Morris, M.I.; Palumbo, A.V.; Herbes, S.E.
1995-08-01
The Oak Ridge National Laboratory (ORNL) conducted a demonstration of cometabolic technology for bioremediation of groundwater contaminated with trichloroethylene (TCE) and other chlorinated solvents. The technology demonstration was located at a seep from the K-1070-C/D Classified Burial Ground at the Oak Ridge K-25 Site. The technology demonstration was designed to evaluate the performance of two different types of cometabolic processes. In both cases, the TCE is cometabolized in the sense that utilization of a different primary substrate is necessary to obtain the simultaneous cometabolism of TCE. Trichloroethylene alone is unable to support growth and maintenance of the microorganisms. Methanotrophic (methane-utilizing) technology was demonstrated first; aromatic-utilizing microorganisms were demonstrated later. The demonstration was based on scaleup of laboratory and bench-scale prototype equipment that was used to establish the technical feasibility of the processes.This report documents the operation of the methanotrophic bioreactor system to treat the seep water at the demonstration site. The initial objectives were to demonstrate stable operation of the bioreactors and associated equipment, including the pretreatment and effluent polishing steps; and evaluate the biodegradation of TCE and other organics in the seep water for the three operating modes--air oxidation pretreatment, steam-stripping pretreatment, and no pretreatment.
DEFF Research Database (Denmark)
Nilsson, Jørgen Fischer
A Gentle introduction to logical languages, logical modeling, formal reasoning and computational logic for computer science and software engineering students......A Gentle introduction to logical languages, logical modeling, formal reasoning and computational logic for computer science and software engineering students...
Directory of Open Access Journals (Sweden)
Mauro Zaninelli
2014-04-01
Full Text Available Intramammary infection affects the quality and quantity of dairy goat milk. Health status (HS and milk quality can be monitored by electrical conductivity (EC. The aim of the study was to determine the detection potential of EC when measured on-line on a daily basis and compared with readings from previous milkings. Milk yields (MYs were investigated with the same approach. To evaluate these relative traits, a multivariate model based on fuzzy logic technology – which provided interesting results in cows – was used. Two foremilk samples from 8 healthy Saanen goats were measured daily over the course of six months. Bacteriological tests and somatic cells counts were used to define the HS. On-line EC measurements for each gland and MYs were also considered. Predicted deviations of EC and MY were calculated using a moving-average model and entered in the fuzzy logic model. The reported accuracy has a sensitivity of 81% and a specificity of 69%. Conclusions show that fuzzy logic is an interesting approach for dairy goats, since it offered better accuracy than other methods previously published. Nevertheless, specificity was lower than in dairy cows, probably due to the lack of a significant decrease of MY in diseased glands. Still, results show that the detection of the HS characteristics with EC is improved, when measured on-line, daily and compared with the readings from previous milkings.
From Boolean logic to switching circuits and automata. Towards modern information technology
Energy Technology Data Exchange (ETDEWEB)
Stankovic, Radomir S. [Nis Univ. (RS). Dept. of Computer Science; Astola, Jaakko [Tampere Univ. of Technology (Finland). Dept. of Signal Processing
2011-07-01
Logic networks and automata are facets of digital systems. The change of the design of logic networks from skills and art into a scientific discipline was possible by the development of the underlying mathematical theory called the Switching Theory. The fundamentals of this theory come from the attempts towards an algebraic description of laws of thoughts presented in the works by George J. Boole and the works on logic by Augustus De Morgan. As often the case in engineering, when the importance of a problem and the need for solving it reach certain limits, the solutions are searched by many scholars in different parts of the word, simultaneously or at about the same time, however, quite independently and often unaware of the work by other scholars. The formulation and rise of Switching Theory is such an example. This book presents a brief account of the developments of Switching Theory and highlights some less known facts in the history of it. The readers will find the book a fresh look into the development of the field revealing how difficult it has been to arrive at many of the concepts that we now consider obvious. Researchers in the history or philosophy of computing will find this book a valuable source of information that complements the standard presentations of the topic. (orig.)
1993 annual report of hazardous waste activities for the Oak Ridge K-25 site
Energy Technology Data Exchange (ETDEWEB)
1994-02-01
This report is a detailed listing of all of the Hazardous Waste activities occurring at Martin Marietta`s K-25 site. Contained herein are hazardous waste notification forms, waste stream reports, generator fee forms and various TSDR reports.
1993 annual report of hazardous waste activities for the Oak Ridge K-25 site
Energy Technology Data Exchange (ETDEWEB)
1994-02-01
This report is a detailed listing of all of the Hazardous Waste activities occurring at Martin Marietta`s K-25 site. Contained herein are hazardous waste notification forms, waste stream reports, generator fee forms and various TSDR reports.
Yanushkevich, Svetlana N
2008-01-01
Preface Design Process and Technology Theory of logic design Analysis and synthesis Implementation technologies Predictable technologies Contemporary CAD of logic networks Number Systems Positional numbers Counting in a positional number system Basic arithmetic operations in various number systems Binary arithmetic Radix-complement representations Techniques for conversion of numbers in various radices Overflow Residue arithmetic Other binary codes Redundancy and reliability Graphical Data Structures Graphs in discrete devices and systems design Basic definitions T
Programmable Logic Controllers.
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…
Smullyan, Raymond
2008-01-01
This book features a unique approach to the teaching of mathematical logic by putting it in the context of the puzzles and paradoxes of common language and rational thought. It serves as a bridge from the author's puzzle books to his technical writing in the fascinating field of mathematical logic. Using the logic of lying and truth-telling, the author introduces the readers to informal reasoning preparing them for the formal study of symbolic logic, from propositional logic to first-order logic, a subject that has many important applications to philosophy, mathematics, and computer science. T
Energy Technology Data Exchange (ETDEWEB)
NONE
1994-12-31
In the UItraviolet/Ultraviolet Catalyzed Groundwater Remediation program, W.J. Schafer Associates, Inc. (WJSA) demonstrated, tested and evaluated a new ultraviolet (UV) lamp integrated with an existing commercial technology employing UV catalyzed peroxide oxidation to destroy organics in groundwater at an Oak Ridge K-25 site. The existing commercial technology is the perox-pure{trademark} process of Peroxidation Systems Incorporated (PSI) that employs standard UV lamp technology to catalyze H{sub 2}O{sub 2} into OH radicals, which attack many organic molecules. In comparison to classical technologies for remediation of groundwater contaminated with organics, the perox-pure{trademark} process not only is cost effective but also reduces contaminants to harmless by-products instead of transferring the contaminants from one medium to another (such as in activated carbon or air stripping). Although the perox-pure{trademark} process is cost effective against many organics, it is not effective for some organic contaminants of interest to DOE such as TCA, which has the highest concentration of the organics at the K-25 test site. Contaminants such as TCA are treated more readily by direct photolysis using short wavelength UV light. WJSA has been developing a unique UV lamp which is very efficient in the short UV wavelength region. Consequently, combining this UV lamp with the perox-pure{trademark} process results in a means for treating essentially all organic contaminants. In the program reported here, the new UV lamp lifetime was improved and the lamp integrated into a PSI demonstration trailer. Even though this UV lamp operated at less than optimum power and UV efficiency, the destruction rate for the TCA was more than double that of the commercial unit. An optimized UV lamp may double again the destruction rate; i.e., a factor of four greater than the commercial system.
Biological Monitoring and Abatement Program for the Oak Ridge K-25 Site
Energy Technology Data Exchange (ETDEWEB)
Kszos, L.A.; Adams, S.M.; Ashwood, T.L.; Blaylock, B.G.; Greeley, M.S.; Loar, J.M.; Peterson, M.J.; Ryon, M.G.; Smith, J.G.; Southworth, G.R. (Oak Ridge National Lab., TN (United States)); Hinzman, R.L. (Oak Ridge Research Inst., TN (United States)); Shoemaker, B.A. (Oak Ridge K-25 Site, TN (United States))
1993-04-01
A proposed Biological Monitoring and Abatement Program (BMAP) for the Oak Ridge K-25 Site was prepared in December 1992 as required by the renewed National Pollutant Discharge Elimination System permit that was issued on October 1, 1992. The proposed BMAP is based on results of biological monitoring conducted from 1986 to 1992 and discussions held on November 12, 1992, between staff of Martin Marietta Energy Systems, Inc. (Oak Ridge National Laboratory and the K-25 Site), and the Tennessee Department of Environment and Conservation, Department of Energy Oversight Division. The proposed BMAP consists of four tasks that reflect different but complementary approaches to evaluating the effects of K-25 Site effluents on the ecological integrity of Mitchell Branch, Poplar Creek, and the Poplar Creek embayment of the Clinch River. These tasks include (1) ambient toxicity monitoring, (2) bioaccumulation monitoring, (3) assessment of fish health, and (4) instream monitoring of biological communities. This overall BMAP plan combines established protocols with current biological monitoring techniques to assess environmental compliance and quantify ecological recovery. The BMAP will also determine whether the effluent limits established for the K-25 Site protect the designated use of the receiving streams (Mitchell Branch, Poplar Creek, and Clinch River) for growth and propagation of fish and other aquatic life. Results obtained from this biological monitoring program will also be used to document the ecological effects (and effectiveness) of remedial actions.
Kleene, Stephen Cole
2002-01-01
Undergraduate students with no prior instruction in mathematical logic will benefit from this multi-part text. Part I offers an elementary but thorough overview of mathematical logic of 1st order. Part II introduces some of the newer ideas and the more profound results of logical research in the 20th century. 1967 edition.
Carbon nanotube high-performance logic technology - challenges and current progress
Han, Shu-Jen
2015-03-01
In the last four decades, we have witnessed a tremendous information technology revolution originated from the relentless scaling of Si complementary metal-oxide semiconductor (CMOS) devices. CMOS scaling provides ever-improved transistor performance, density, power and cost, and will continue to bring new applications and functions to our daily life. However, the conventional homogeneous scaling of silicon devices has become very difficult, firstly due to the unsatisfactory electrostatic control from the gate dielectric. In addition, as we look forward to the technology nodes with sub-10 nm channel length, non-Si based channel materials will be required to provide continuous carrier velocity enhancement when the conventional strained-Si techniques run out of steam. Single-walled carbon nanotubes are promising to replace silicon as the channel material for high-performance electronics near the end of silicon scaling roadmap, with their superb electrical properties, intrinsic ultrathin body, and nearly transparent contact with certain metals. This talk discusses recent advances in modeling and experimental works that reveal the properties and potential of ultra-scaled nanotube transistors, separation and assembly techniques for forming nanotube arrays with high semiconducting nanotube purity and tight pitch separation, and engineering aspects of their implementation in integrated circuits and functional systems. A concluding discussion highlights most significant challenges from technology points of view, and provides perspectives on the future of carbon nanotube based nanoelectronics.
Understanding Social Media Logic
Directory of Open Access Journals (Sweden)
José van Dijck
2013-08-01
Full Text Available Over the past decade, social media platforms have penetrated deeply into the mechanics of everyday life, affecting people's informal interactions, as well as institutional structures and professional routines. Far from being neutral platforms for everyone, social media have changed the conditions and rules of social interaction. In this article, we examine the intricate dynamic between social media platforms, mass media, users, and social institutions by calling attention to social media logic—the norms, strategies, mechanisms, and economies—underpinning its dynamics. This logic will be considered in light of what has been identified as mass media logic, which has helped spread the media's powerful discourse outside its institutional boundaries. Theorizing social media logic, we identify four grounding principles—programmability, popularity, connectivity, and datafication—and argue that these principles become increasingly entangled with mass media logic. The logic of social media, rooted in these grounding principles and strategies, is gradually invading all areas of public life. Besides print news and broadcasting, it also affects law and order, social activism, politics, and so forth. Therefore, its sustaining logic and widespread dissemination deserve to be scrutinized in detail in order to better understand its impact in various domains. Concentrating on the tactics and strategies at work in social media logic, we reassess the constellation of power relationships in which social practices unfold, raising questions such as: How does social media logic modify or enhance existing mass media logic? And how is this new media logic exported beyond the boundaries of (social or mass media proper? The underlying principles, tactics, and strategies may be relatively simple to identify, but it is much harder to map the complex connections between platforms that distribute this logic: users that employ them, technologies that
IAEA workshop and field trial at the Oak Ridge K-25 Site
Energy Technology Data Exchange (ETDEWEB)
Hembree, D.M. Jr.; Ross, H.H.; Carter, J.A.
1995-03-01
In March 1994, members of the International Safeguards Department in the National Security Program Office (NSPO) hosted an environmental monitoring field trial workshop for International Atomic Energy Agency (IAEA) inspectors. The workshop was held at the Oak Ridge K-25 Site and its primary purpose was to train the inspectors in the techniques needed for effective environmental sample collection and handling. The workshop emphasized both sampling theory and practice. First, detailed techniques for swipe, vegetation, soil, biota, and water-associated sampling were covered in the classroom. Subsequently, the inspectors were divided into three groups for actual sample collection in and around the K-25 locale. The collected samples were processed by the Department of Energy (DOE) Network of Analytical Laboratories using established analytical techniques. This activity is part of the IAEA ``Programme 93+2 in. assessment of measures to enhance IAEA safeguards.
Routine environmental audit of the K-25 Site, Oak Ridge, Tennessee
Energy Technology Data Exchange (ETDEWEB)
1994-02-01
This report documents the results of the Routine Environmental Audit of the K-25 Site in Oak Ridge, Tennessee, conducted February 14 through February 25, 1994, by the US Department of Energy`s (DOE`s) Office of Environmental Audit (EH-24) located within the Office of Environment, Safety and Health (EH). The Routine Environmental Audit for the K-25 site was conducted as an environmental management assessment, supported through reviews of the Waste Management Program and the Decontamination and Decommissioning Program. The assessment was conducted jointly with, and built upon, the results provided by the ``DOE Oak Ridge Operations Office Environment, Safety, health and Quality Assurance Appraisal at the K-25 Site.`` DOE 5482.1B, ``Environment, Safety and Health Appraisal Program,`` established the mission of EH-24 to provide comprehensive, independent oversight of Department-wide environmental programs on behalf of the Secretary of Energy. The purpose of this assessment is to provide the Secretary of Energy and senior DOE managers with concise independent information as part of DOE`s continuing effort to improve environmental program performance. The ultimate goal of EH-24 is enhancement of environmental protection and the minimization of risk to public health and the environment. The routine environmental audit is one method by which EH-24 accomplishes its mission, utilizing systematic and periodic evaluations of the Department`s environmental programs within line organizations.
Energy Technology Data Exchange (ETDEWEB)
Goddard, P.L.; Legeay, A.J.; Pesce, D.S.; Stanley, A.M.
1995-11-01
This report, Site Descriptions of Environmental Restoration Units at the Oak Ridge K-25 Site, Oak Ridge, Tennessee, is being prepared to assimilate information on sites included in the Environmental Restoration (ER) Program of the K-25 Site, one of three major installations on the Oak Ridge Reservation (ORR) built during World War III as part of the Manhattan Project. The information included in this report will be used to establish program priorities so that resources allotted to the K-25 ER Program can be best used to decrease any risk to humans or the environment, and to determine the sequence in which any remedial activities should be conducted. This document will be updated periodically in both paper and Internet versions. Units within this report are described in individual data sheets arranged alphanumerically. Each data sheet includes entries on project status, unit location, dimensions and capacity, dates operated, present function, lifecycle operation, waste characteristics, site status, media of concern, comments, and references. Each data sheet is accompanied by a photograph of the unit, and each unit is located on one of 13 area maps. These areas, along with the sub-area, unit, and sub-unit breakdowns within them, are outlined in Appendix A. Appendix B is a summary of information on remote aerial sensing and its applicability to the ER program.
Biological Monitoring and Abatement Program for the Oak Ridge K-25 Site
Energy Technology Data Exchange (ETDEWEB)
Kszos, L. A.; Adams, S. M.; Ashwood, T. L.; Blaylock, B. G.; Greeley, M. S.; Loar, J. M.; Peterson, M. J.; Ryon, M. G.; Smith, J. G.; Southworth, G. R. [Oak Ridge National Lab. (ORNL), Oak Ridge, TN (United States). Environmental Sciences Div.; Shoemaker, B. A. [Oak Ridge K-25 Site, TN (United States); Hinzman, R. L. [Oak Ridge Research Inst., TN (United States)
1993-02-01
A proposed Biological Monitoring and Abatement Program (BMAP) for the Oak Ridge K-25 Site was prepared in December 1992 as required by the renewed National Pollutant Discharge Elimination System permit that was issued on October 1, 1992. The proposed BMAP consists of four tasks that reflect different but complementary approaches to evaluating the effects of K-25 Site effluents on the ecological integrity of Mitchell Branch, Poplar Creek, and the Poplar Creek embayment of the Clinch River. These tasks include (1) ambient toxicity monitoring, (2) bioaccumulation monitoring, (3) assessment of fish health, and (4) instream monitoring of biological communities. This overall BMAP plan combines established protocols with current biological monitoring techniques to assess environmental compliance and quantify ecological recovery. The BMAP will also determine whether the effluent limits established for the K-25 Site protect the designated use of the receiving streams (Mitchell Branch, Poplar Creek, and Clinch River) for growth and propagation of fish and other aquatic life. Results obtained from this biological monitoring program will also be used to document the ecological effects (and effectiveness) of remedial actions.
Kumar, R. Renjith
2017-01-01
The study of formal logic helps to improve the process of thinking and tries to refine and improve the thinking ability. The objectives of this study are to know the effectiveness of formal logic course and to determine the critical thinking variables that are effective and that are ineffective. A sample of 214 students is selected from all the…
The SITE Program funded a field demonstration to evaluate the Eco Logic Gas-Phase Chemical Reduction Process developed by ELI Eco Logic International Inc. (ELI), Ontario, Canada. The Demonstration took place at the Middleground Landfill in Bay City, Michigan using landfill wa...
Carlton, David Bryan
The exponential improvements in speed, energy efficiency, and cost that the computer industry has relied on for growth during the last 50 years are in danger of ending within the decade. These improvements all have relied on scaling the size of the silicon-based transistor that is at the heart of every modern CPU down to smaller and smaller length scales. However, as the size of the transistor reaches scales that are measured in the number of atoms that make it up, it is clear that this scaling cannot continue forever. As a result of this, there has been a great deal of research effort directed at the search for the next device that will continue to power the growth of the computer industry. However, due to the billions of dollars of investment that conventional silicon transistors have received over the years, it is unlikely that a technology will emerge that will be able to beat it outright in every performance category. More likely, different devices will possess advantages over conventional transistors for certain applications and uses. One of these emerging computing platforms is nanomagnetic logic (NML). NML-based circuits process information by manipulating the magnetization states of single-domain nanomagnets coupled to their nearest neighbors through magnetic dipole interactions. The state variable is magnetization direction and computations can take place without passing an electric current. This makes them extremely attractive as a replacement for conventional transistor-based computing architectures for certain ultra-low power applications. In most work to date, nanomagnetic logic circuits have used an external magnetic clocking field to reset the system between computations. The clocking field is then subsequently removed very slowly relative to the magnetization dynamics, guiding the nanomagnetic logic circuit adiabatically into its magnetic ground state. In this dissertation, I will discuss the dynamics behind this process and show that it is greatly
Tugué, Tosiyuki; Slaman, Theodore
1989-01-01
These proceedings include the papers presented at the logic meeting held at the Research Institute for Mathematical Sciences, Kyoto University, in the summer of 1987. The meeting mainly covered the current research in various areas of mathematical logic and its applications in Japan. Several lectures were also presented by logicians from other countries, who visited Japan in the summer of 1987.
Rohwer, Anke; Pfadenhauer, Lisa; Burns, Jacob; Brereton, Louise; Gerhardus, Ansgar; Booth, Andrew; Oortwijn, Wija; Rehfuess, Eva
2017-03-01
To describe the development and application of logic model templates for systematic reviews and health technology assessments (HTAs) of complex interventions. This study demonstrates the development of a method to conceptualize complexity and make underlying assumptions transparent. Examples from systematic reviews with specific relevance to Sub-Saharan Africa (SSA) and other low- and middle-income countries (LMICs) illustrate its usefulness. Two distinct templates are presented: the system-based logic model, describing the system in which the interaction between participants, intervention, and context takes place; and the process-orientated logic model, which displays the processes and causal pathways that lead from the intervention to multiple outcomes. Logic models can help authors of systematic reviews and HTAs to explicitly address and make sense of complexity, adding value by achieving a better understanding of the interactions between the intervention, its implementation, and its multiple outcomes among a given population and context. They thus have the potential to help build systematic review capacity-in SSA and other LMICs-at an individual level, by equipping authors with a tool that facilitates the review process; and at a system-level, by improving communication between producers and potential users of research evidence. Copyright © 2016 Elsevier Inc. All rights reserved.
2014-10-03
that must be woven into proofs of security statements. 03-10-2014 Memorandum Report Logic System-on-a-Chip Distributed systems 9888 ASDR&EAssistant...can be removed without damaging the logic. For all propositional letters p, E1. p ⊃ [r] p From now on, a distributed logic contains at least the...a ∈ x iff 〈h〉 ∈ x. These same definitions work for the canonical relation R for r : h y k where now a ∈ MA(k), [r] a, 〈r〉 a ∈ MA(h), x ∈ CF(h), and
The effect of patterning options on embedded memory cells in logic technologies at iN10 and iN7
Appeltans, Raf; Weckx, Pieter; Raghavan, Praveen; Kim, Ryoung-Han; Kar, Gouri Sankar; Furnémont, Arnaud; Van der Perre, Liesbet; Dehaene, Wim
2017-03-01
Static Random Access Memory (SRAM) cells are used together with logic standard cells as the benchmark to develop the process flow for new logic technologies. In order to achieve successful integration of Spin-Transfer Torque Magnetic Random Access Memory (STT-MRAM) as area efficient higher level embedded cache, it also needs to be included as a benchmark. The simple cell structure of STT-MRAM brings extra patterning challenges to achieve high density. The two memory types are compared in terms of minimum area and critical design rules in both the iN10 and iN7 node, with an extra focus on patterning options in iN7. Both the use of Self-Aligned Quadruple Patterning (SAQP) mandrel and spacer engineering, as well as multi-level via's are explored. These patterning options result in large area gains for the STT-MRAM cell and moreover determine which cell variant is the smallest.
Carlsson, Christer; Fullér, Robert
2004-01-01
Fuzzy Logic in Management demonstrates that difficult problems and changes in the management environment can be more easily handled by bringing fuzzy logic into the practice of management. This explicit theme is developed through the book as follows: Chapter 1, "Management and Intelligent Support Technologies", is a short survey of management leadership and what can be gained from support technologies. Chapter 2, "Fuzzy Sets and Fuzzy Logic", provides a short introduction to fuzzy sets, fuzzy relations, the extension principle, fuzzy implications and linguistic variables. Chapter 3, "Group Decision Support Systems", deals with group decision making, and discusses methods for supporting the consensus reaching processes. Chapter 4, "Fuzzy Real Options for Strategic Planning", summarizes research where the fuzzy real options theory was implemented as a series of models. These models were thoroughly tested on a number of real life investments, and validated in 2001. Chapter 5, "Soft Computing Methods for Reducing...
Energy Technology Data Exchange (ETDEWEB)
1994-03-01
We demonstrated, tested and evaluated a new ultraviolet (UV) lamp integrated with an existing commercial technology employing UV catalyzed peroxide oxidation to destroy organics in groundwater at an Oak Ridge K-25 site. The existing commercial technology is the perox-pure{trademark} process of Peroxidation Systems Incorporated (PSI) that employs standard UV lamp technology to catalyze H{sub 2}O{sub 2} into OH radicals, which attack many organic molecules. In comparison to classical technologies for remediation of groundwater contaminated with organics, the perox-pure{trademark} process not only is cost effective but also reduces contaminants to harmless by-products instead of transferring the contaminants from one medium to another. Although the perox-pure{trademark} process is cost effective against many organics, it is not effective for some organic contaminants of interest to DOE such as TCA, which has the highest concentration of the organics at the K-25 test site. Contaminants such as TCA are treated more readily by direct photolysis using short wavelength UV light. WJSA has been developing a unique UV lamp which is very efficient in the short UV wavelength region. Consequently, combining this UV lamp with the perox-pure{trademark} process results in a means for treating essentially all organic contaminants. In the program reported here, the new UV lamp lifetime was improved and the lamp integrated into a PSI demonstration trailer. Even though this UV lamp operated at less than optimum power and UV efficiency, the destruction rate for the highest concentration organic (TCA) was more than double that of the commercial unit. An optimized UV lamp may double again the destruction rate; i.e., a factor of four greater than the commercial system. The demonstration at K-25 included tests with (1) the commercial PSI system, (2) the new UV lamp-based system and (3) the commercial PSI and new UV lamp systems in series.
Lengyel, Florian
2012-01-01
We define Denial Logic DL, a system of justification logic that models an agent whose justified beliefs are false, who cannot avow his own propositional attitudes and who can believe contradictions but not tautologies of classical propositional logic. Using Artemov's natural semantics for justification logic JL, in which justifications are interpreted as sets of formulas, we provide an inductive construction of models of DL, and prove soundness and completeness results for DL. Some logical notions developed for JL, such as constant specifications and the internalization property, are inconsistent with DL. This leads us to define negative constant specifications for DL, which can be used to model agents with justified false beliefs. Denial logic can therefore be relevant to philosophical skepticism. We use DL with what we call coherent negative constant specifications to model a Putnamian brain in a vat with the justified false belief that it is not a brain in a vat, and derive a model of JL in which "I am a b...
Huynh-Bao, Trong; Ryckaert, Julien; Sakhare, Sushil; Mercha, Abdelkarim; Verkest, Diederik; Thean, Aaron; Wambacq, Piet
2016-03-01
In this paper, we present a layout and performance analysis of logic and SRAM circuits for vertical and lateral GAA FETs using 5nm (iN5) design rules. Extreme ultra-violet lithography (EUVL) processes are exploited to print the critical features: 32 nm gate pitch and 24 nm metal pitch. Layout architectures and patterning compromises for enabling the 5nm node will be discussed in details. A distinct standard-cell template for vertical FETs is proposed and elaborated for the first time. To assess electrical performances, a BSIM-CMG model has been developed and calibrated with TCAD simulations, which accounts for the quasi-ballistic transport in the nanowire channel. The results show that the inbound power rail layout construct for vertical devices could achieve the highest density while the interleaving diffusion template can maximize the port accessibility. By using a representative critical path circuit of a generic low power SoCs, it is shown that the VFET-based circuit is 40% more energy efficient than LFET designs at iso-performance. Regarding SRAMs, benefits given by vertical channel orientation in VFETs has reduced the SRAM area by 20%~30% compared to lateral SRAMs. A double exposures with EUV canner is needed to reach a minimum tip-to-tip (T2T) of 16 nm for middle-of-line (MOL) layers. To enable HD SRAMs with two metal layers, a fully self-aligned gate contact for LFETs and 2D routing of the top electrode for VFETs are required. The standby leakage of vertical SRAMs is 4~6X lower than LFET-based SRAMs at iso-performance and iso-area. The minimum operating voltage (Vmin) of vertical SRAMs is 170 mV lower than lateral SRAMs. A high-density SRAM bitcell of 0.014 um2 can be obtained for the iN5 technology node, which fully follows the SRAM scaling trend for the 45nm nodes and beyond.
DEFF Research Database (Denmark)
Braüner, Torben
2011-01-01
Intuitionistic hybrid logic is hybrid modal logic over an intuitionistic logic basis instead of a classical logical basis. In this short paper we introduce intuitionistic hybrid logic and we give a survey of work in the area.......Intuitionistic hybrid logic is hybrid modal logic over an intuitionistic logic basis instead of a classical logical basis. In this short paper we introduce intuitionistic hybrid logic and we give a survey of work in the area....
Institute of Scientific and Technical Information of China (English)
Hongsheng QI; Daizhan CHENG
2008-01-01
This paper gives a matrix expression of logic. Under the matrix expression, a general description of the logical operators is proposed. Using the semi-tensor product of matrices, the proofs of logical equivalences, implications, etc., can be simplified a lot. Certain general properties are revealed. Then, based on matrix expression, the logical operators are extended to multi-valued logic, which provides a foundation for fuzzy logical inference. Finally, we propose a new type of logic, called mix-valued logic, and a new design technique, called logic-based fuzzy control. They provide a numerically computable framework for the application of fuzzy logic for the control of fuzzy systems.
Evens, Aden
2015-01-01
Building a foundational understanding of the digital, Logic of the Digital reveals a unique digital ontology. Beginning from formal and technical characteristics, especially the binary code at the core of all digital technologies, Aden Evens traces the pathways along which the digital domain of abstract logic encounters the material, human world. How does a code using only 0s and 1s give rise to the vast range of applications and information that constitutes a great and growing portion of our world? Evens' analysis shows how any encounter between the actual and the digital must cross an ontolo
Gibson, J
2013-01-01
Most branches of organizing utilize digital electronic systems. This book introduces the design of such systems using basic logic elements as the components. The material is presented in a straightforward manner suitable for students of electronic engineering and computer science. The book is also of use to engineers in related disciplines who require a clear introduction to logic circuits. This third edition has been revised to encompass the most recent advances in technology as well as the latest trends in components and notation. It includes a wide coverage of application specific integrate
The Logic of Practice in the Practice of Logics
DEFF Research Database (Denmark)
Raviola, Elena; Dubini, Paola
2016-01-01
of logics through a six months full-time ethnographic study at Il Sole-24 Ore, the largest Italian financial newspaper, between 2007 and 2008. An original conceptual framework is developed to analyse how the logic of journalism is enacted vis-à-vis that of advertising in a setting in which an old technology...... for news production – print newspaper – coexists with a new one – website – and thus encounters between new and old technological possibilities make workings of institutional logics particularly visible. The findings point out different mechanisms of institutional work dealing with actions that, made...
Rushton, Andrew
2011-01-01
Many engineers encountering VHDL (very high speed integrated circuits hardware description language) for the first time can feel overwhelmed by it. This book bridges the gap between the VHDL language and the hardware that results from logic synthesis with clear organisation, progressing from the basics of combinational logic, types, and operators; through special structures such as tristate buses, register banks and memories, to advanced themes such as developing your own packages, writing test benches and using the full range of synthesis types. This third edition has been substantially rewritten to include the new VHDL-2008 features that enable synthesis of fixed-point and floating-point hardware. Extensively updated throughout to reflect modern logic synthesis usage, it also contains a complete case study to demonstrate the updated features. Features to this edition include: * a common VHDL subset which will work across a range of different synthesis systems, targeting a very wide range of technologies...
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.
Nucleic acid based logical systems.
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.
Institute of Scientific and Technical Information of China (English)
林作铨; 李未
1995-01-01
Parametric logic is introduced. The language, semantics and axiom system of parametric logic are defined. Completeness theorem of parametric logic is provided. Parametric logic has formal ability powerful enough to capture a wide class of logic as its special cases, and therefore can be viewed as a uniform basis for modern logics.
Energy Technology Data Exchange (ETDEWEB)
Hinzman, R.L. [ed.; Adams, S.M.; Ashwood, T.L. [Oak Ridge National Lab., TN (United States)] [and others
1995-08-01
As a condition of the modified National Pollutant Discharge Elimination System (NPDES) permit issued to the Oak Ridge Gaseous Diffusion Plant (ORGDP; now referred to as the Oak Ridge K-25 Site) on September 11, 1986, a Biological Monitoring and Abatement Program (BMAP) was developed for the receiving stream (Mitchell Branch or K-1700 stream). On October 1, 1992, a renewed NPDES permit was issued for the K-25 Site. A biological monitoring plan was submitted for Mitchell Branch, Poplar Creek, Poplar Creek Embayment of the Clinch River and any unnamed tributaries of these streams. The objectives of BMAP are to (1) demonstrate that the effluent limitations established for the Oak Ridge K-25 Site protect and maintain the use of Mitchell Branch for growth and propagation of fish and other aquatic life and (2) document the effects on stream biota resulting from operation of major new pollution abatement facilities, including the Central Neutralization Facility (CNF) and the Toxic Substances Control Act (TSCA) incinerator. The BMAP consists of four tasks: (1) toxicity monitoring; (2) bioaccumulation monitoring; (3) assessment of fish health; and (4) instream monitoring of biological communities, including benthic macroinvertebrates and fish. This document, the third in a series, reports on the results of the Oak Ridge K-25 Site BMAP; it describes studies that were conducted over various periods of time between June 1990 and December 1993, although monitoring conducted outside this time period is included, as appropriate.
Malcolm, Norman; Altuner, Ilyas
2015-01-01
The paper deals exclusively with the doctrine called ‘Logical Behaviorism’. Although this position does not vogue it enjoyed in the 1930s and 1940s, it will always possess a compelling attraction for anyone who is perplexed by the psychological concepts, who has become aware of worthlessness of an appeal to introspection as an account of how we learn those concepts, and he has no inclination to identify mind with brain. There, of course, are other forms of behaviorism, and of reductionism, wh...
Krötzsch, M
2010-01-01
Ontological modelling today is applied in many areas of science and technology,including the Semantic Web. The W3C standard OWL defines one of the most important ontology languages based on the semantics of description logics. An alternative is to use rule languages in knowledge modelling, as proposed in the W3C's RIF standard. So far, it has often been unclear how to combine both technologies without sacrificing essential computational properties. This book explains this problem and presents new solutions that have recently been proposed. Extensive introductory chapters provide the necessary
Fuzzy Logic Indoor Positioning System
Directory of Open Access Journals (Sweden)
Roberto García Sánz
2008-12-01
Full Text Available The GPS system is not valid for positioning indoors, thus positioning systems are designed using Wi-Fi technology that allows location of a device inside buildings. The use of fuzzy logic is argued by the failure to find positioning systems based on this technology, which seeks toobserve how their use in this field
DEFF Research Database (Denmark)
Modal logic is a subject with ancient roots in the western logical tradition. Up until the last few generations, it was pursued mainly as a branch of philosophy. But in recent years, the subject has taken new directions with connections to topics in computer science and mathematics. This volume...... is the proceedings of the conference of record in its fi eld, Advances in Modal Logic. Its contributions are state-of-the-art papers. The topics include decidability and complexity results for specifi c modal logics, proof theory of modal logic, logics for reasoning about time and space, provability logic, dynamic...... epistemic logic, and the logic of evidence....
Franceschet, Massimo
2010-01-01
Networks are pervasive in the real world. Nature, society, economy, and technology are supported by ostensibly different networks that in fact share an amazing number of interesting structural properties. Network thinking exploded in the last decade, boosted by the availability of large databases on the topology of various real networks, mainly the Web and biological networks, and converged to the new discipline of network analysis - the holistic analysis of complex systems through the study of the network that wires their components. Physicists mainly drove the investigation, studying the structure and function of networks using methods and tools of statistical mechanics. Here, we give an alternative perspective on network analysis, proposing a logic for specifying general properties of networks and a modular algorithm for checking these properties. The logic borrows from two intertwined computing fields: XML databases and model checking.
Institute of Scientific and Technical Information of China (English)
小雨
2006-01-01
A teacher was giving her pu- pils a lesson on logic(逻辑)．“Here is the situation(情景),”she said,“a man is stand- ing up in a boat in the middle of a river,fishing．He loses his bal- ance(平衡),falls in,and begins splashing(泼水)and yelling(叫喊)for help．His wife hears the commotion(喧闹),knows that he can’t swim,and runs down to the bank (河岸)．Why did she run to the bank?” A girl raised her hand and asked,“To draw out(提取)all of his savings(存款)．”
Paraconsistent Computational Logic
DEFF Research Database (Denmark)
Jensen, Andreas Schmidt; Villadsen, Jørgen
2012-01-01
In classical logic everything follows from inconsistency and this makes classical logic problematic in areas of computer science where contradictions seem unavoidable. We describe a many-valued paraconsistent logic, discuss the truth tables and include a small case study....
Doberkat, Ernst-Erich
2009-01-01
Combining coalgebraic reasoning, stochastic systems and logic, this volume presents the principles of coalgebraic logic from a categorical perspective. Modal logics are also discussed, including probabilistic interpretations and an analysis of Kripke models.
Eskolemization in intuitionistic logic
Baaz, Matthias; Iemhoff, R.
In [2] an alternative skolemization method called eskolemization was introduced that is sound and complete for existence logic with respect to existential quantifiers. Existence logic is a conservative extension of intuitionistic logic by an existence predicate. Therefore eskolemization provides a
Energy Technology Data Exchange (ETDEWEB)
Smith, J.G. [ed.; Adams, S.M.; Kszos, L.A.; Ryon, M.G.; Southworth, G.R.; Loar, J.M.
1993-08-01
A modified National Pollutant Discharge Elimination System permit was issued to the Oak Ridge Gaseous Diffusion Plant (now referred to as the Oak Ridge K-25 Site) on September 11, 1986. The Oak Ridge K-25 Site is a former uranium-enrichment production facility, which is currently managed by Martin Marietta Energy Systems, Inc. for the US Department of Energy. As required in Part III (L) of that permit, a plan for the biological monitoring of Mitchell Branch (K-1700 stream) was prepared and submitted for approval to the US Environmental Protection Agency and the Tennessee Department of Environment and Conservation [formerly the Tennessee Department of Health and Environment (Loar et al. 1992b)]. The K-25 Site Biological Monitoring and Abatement Program (BMAP) described biomonitoring activities that would be conducted over the duration of the permit. Because it was anticipated that the composition of existing effluent streams entering Mitchell Branch would be altered shortly after the modified permit was issued, sampling of the benthic invertebrate and fish communities (Task 4 of BMAP) was initiated in August and September 1986 respectively.
Introduction to annotated logics foundations for paracomplete and paraconsistent reasoning
Abe, Jair Minoro; Nakamatsu, Kazumi
2015-01-01
This book is written as an introduction to annotated logics. It provides logical foundations for annotated logics, discusses some interesting applications of these logics and also includes the authors' contributions to annotated logics. The central idea of the book is to show how annotated logic can be applied as a tool to solve problems of technology and of applied science. The book will be of interest to pure and applied logicians, philosophers, and computer scientists as a monograph on a kind of paraconsistent logic. But, the layman will also take profit from its reading.
1984-09-01
digital services upon ISDN technology growth can be modeled. The DSS is executed with the impacts as subjective values and are defined as desirable...communications media cost =I’ 2. Number of ISDN trained personnel = ’PI 3. Ccmpetiticn to provide digital services = ’C’ 4. Growth rate of ISDN
Paraconsistent Computational Logic
DEFF Research Database (Denmark)
Jensen, Andreas Schmidt; Villadsen, Jørgen
2012-01-01
In classical logic everything follows from inconsistency and this makes classical logic problematic in areas of computer science where contradictions seem unavoidable. We describe a many-valued paraconsistent logic, discuss the truth tables and include a small case study.......In classical logic everything follows from inconsistency and this makes classical logic problematic in areas of computer science where contradictions seem unavoidable. We describe a many-valued paraconsistent logic, discuss the truth tables and include a small case study....
Three-valued logics in modal logic
Kooi, Barteld; Tamminga, Allard
2013-01-01
Every truth-functional three-valued propositional logic can be conservatively translated into the modal logic S5. We prove this claim constructively in two steps. First, we define a Translation Manual that converts any propositional formula of any three-valued logic into a modal formula. Second, we
MEMS Logic Using Mixed-Frequency Excitation
Ilyas, Saad
2017-06-22
We present multi-function microelectromechanical systems (MEMS) logic device that can perform the fundamental logic gate AND, OR, universal logic gates NAND, NOR, and a tristate logic gate using mixed-frequency excitation. The concept is based on exciting combination resonances due to the mixing of two or more input signals. The device vibrates at two steady states: a high state when the combination resonance is activated and a low state when no resonance is activated. These vibration states are assigned to logical value 1 or 0 to realize the logic gates. Using ac signals to drive the resonator and to execute the logic inputs unifies the input and output wave forms of the logic device, thereby opening the possibility for cascading among logic devices. We found that the energy consumption per cycle of the proposed logic resonator is higher than those of existing technologies. Hence, integration of such logic devices to build complex computational system needs to take into consideration lowering the total energy consumption. [2017-0041
DEFF Research Database (Denmark)
Modal logic is a subject with ancient roots in the western logical tradition. Up until the last few generations, it was pursued mainly as a branch of philosophy. But in recent years, the subject has taken new directions with connections to topics in computer science and mathematics. This volume i...... epistemic logic, and the logic of evidence.......Modal logic is a subject with ancient roots in the western logical tradition. Up until the last few generations, it was pursued mainly as a branch of philosophy. But in recent years, the subject has taken new directions with connections to topics in computer science and mathematics. This volume...... is the proceedings of the conference of record in its fi eld, Advances in Modal Logic. Its contributions are state-of-the-art papers. The topics include decidability and complexity results for specifi c modal logics, proof theory of modal logic, logics for reasoning about time and space, provability logic, dynamic...
Logical Characterisation of Ontology Construction using Fuzzy Description Logics
DEFF Research Database (Denmark)
Badie, Farshad; Götzsche, Hans
Ontologies based on Description Logics (DLs) have proved to be effective in formally sharing knowledge across semantic technologies, e.g. Semantic Web, Natural Language Processing, Text Analytics, Business intelligence. Our main goal is analysing ontology construction considering vagueness. We have...
Probabilistic Dynamic Epistemic Logic
Kooi, B.P.
2003-01-01
In this paper I combine the dynamic epistemic logic of Gerbrandy (1999) with the probabilistic logic of Fagin and Halpern (1999). The result is a new probabilistic dynamic epistemic logic, a logic for reasoning about probability, information, and information change that takes higher order informatio
New data structures and algorithms for logic synthesis and verification
Amaru, Luca Gaetano
2017-01-01
This book introduces new logic primitives for electronic design automation tools. The author approaches fundamental EDA problems from a different, unconventional perspective, in order to demonstrate the key role of rethinking EDA solutions in overcoming technological limitations of present and future technologies. The author discusses techniques that improve the efficiency of logic representation, manipulation and optimization tasks by taking advantage of majority and biconditional logic primitives. Readers will be enabled to accelerate formal methods by studying core properties of logic circuits and developing new frameworks for logic reasoning engines. · Provides a comprehensive, theoretical study on majority and biconditional logic for logic synthesis; · Updates the current scenario in synthesis and verification – especially in light of emerging technologies; · Demonstrates applications to CMOS technology and emerging technologies.
Institute of Scientific and Technical Information of China (English)
沈理
1997-01-01
A fuzzy logic control VLSI chip,F100,for industry process real-time control has been designed and fabricated with 0.8μm CMOS technology.The chip has the features of simplicity,felexibility and generality.This paper presents the Fuzzy control inrerence method of the chip,its VLSI implementation,and testing esign consideration.
Metamathematics of fuzzy logic
Hájek, Petr
1998-01-01
This book presents a systematic treatment of deductive aspects and structures of fuzzy logic understood as many valued logic sui generis. Some important systems of real-valued propositional and predicate calculus are defined and investigated. The aim is to show that fuzzy logic as a logic of imprecise (vague) propositions does have well-developed formal foundations and that most things usually named `fuzzy inference' can be naturally understood as logical deduction.
DEFF Research Database (Denmark)
Bentzen, Martin Mose
2014-01-01
A new deontic logic, Action Type Deontic Logic, is presented. To motivate this logic, a number of benchmark cases are shown, representing inferences a deontic logic should validate. Some of the benchmark cases are singled out for further comments and some formal approaches to deontic reasoning ar...... the benchmarks. Finally, possibilities for further research are indicated. In the appendix, decidability of the satisfiability of formulas is proved via a technique known from monadic First Order Logic....
Balzani, Vincenzo; Credi, Alberto; Venturi, Margherita
2003-01-13
Miniaturization has been an essential ingredient in the outstanding progress of information technology over the past fifty years. The next, perhaps ultimate, limit of miniaturization is that of molecules, which are the smallest entities with definite size, shape, and properties. Recently, great effort has been devoted to design and investigate molecular-level systems that are capable of transferring, processing, and storing information in binary form. Some of these nanoscale devices can, in fact, perform logic operations of remarkable complexity. This research--although far from being transferred into technology--is attracting interest, as the nanometer realm seems to be out of reach for the "top-down" techniques currently available to microelectronics industry. Moreover, such studies introduce new concepts in the "old" field of chemistry and stimulate the ingenuity of researchers engaged in the "bottom-up" approach to nanotechnology.
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.
Energy Technology Data Exchange (ETDEWEB)
Smith, J.G. [ed.; Adams, S.M.; Hinzman, R.L.; Kszos, L.A.; Loar, J.M.; Peterson, M.J.; Ryon, M.G.; Southworth, G.R. [Oak Ridge National Lab., TN (United States); Crumby, W.D. [Automated Sciences Group, Inc., Oak Ridge, TN (United States)
1994-03-01
On September 11, 1986, a modified National Pollutant Discharge Elimination System permit was issued for the Oak Ridge Gaseous Diffusion Plant (ORGDP; now referred to as the Oak Ridge K-25 Site), a former uranium-enrichment production facility. As required in Part III of the permit, a Biological Monitoring and Abatement Program (BMAP) was developed for the biological monitoring of Mitchell Branch (K-1700 stream) and submitted for approval to the US EPA and the Tennessee Department of Environment and Conservation. The plan described biomonitoring activities that would be conducted over the duration of the permit. The objectives of the BMAP are to demonstrate that the effluent limitations established for the Oak Ridge K-25 Site protect and maintain the use of Mitchell Branch for growth and propagation of fish and other aquatic life, and to document the effects on stream biota resulting from operation of major new pollution abatement facilities. The BMAP consists of four tasks: ambient toxicity testing; bioaccumulation studies; biological indicator studies; and ecological surveys of stream communities, including benthic macroinvertebrates and fish. This document is the second in a series of reports presenting the results of the studies that were conducted over various periods of time between August 1987 and June 1990.
DEFF Research Database (Denmark)
Schürmann, Carsten; Sarnat, Jeffrey
2008-01-01
, such as Twelf, and yet they are often straightforward in proof assistants with stronger meta-logics. In this paper, we propose structural logical relations as a technique for conducting these proofs in systems with limited meta-logical strength by explicitly representing and reasoning about an auxiliary logic......Tait's method (a.k.a. proof by logical relations) is a powerful proof technique frequently used for showing foundational properties of languages based on typed lambda-calculi. Historically, these proofs have been extremely difficult to formalize in proof assistants with weak meta-logics...
A Survey of Paraconsistent Logics
Middelburg, C A
2011-01-01
A survey of paraconsistent logics that are prominent representatives of the different approaches that have been followed to develop paraconsistent logics is provided. The paraconsistent logics that will be discussed are an enrichment of Priest's logic LP, the logic RM3 from the school of relevance logic, da Costa's logics Cn, Jaskowski's logic D2, and Subrahmanian's logics Ptau. A deontic logic based on the first of these logics will be discussed as well. Moreover, some proposed adaptations of the AGM theory of belief revision to paraconsistent logics will be mentioned.
Institute of Scientific and Technical Information of China (English)
林作铨
1996-01-01
A modal nonmonotonic logic is presented based on an experiential modal semantics on typicality and exception.The syntactic and semantics of modal nonmonotonic logic are provided,and the completeness theorem and the theorems relating it to major nonmonotonic logics are proved.It directly formalizes the intuition of nonmonotonic reasoning.Among other things,it provides us a first-order extension of default logic and autoepistemic logic,and simultaneously has the capability of circumscription to infer universal statement.It has important applications in logic programming and deductive data base.As a result,it provides a uniform basis for various nonmonotonic logics,from which the correspondent relationship among major nonmonotonic logics can coincide.
Newton-Smith, WH
2003-01-01
A complete introduction to logic for first-year university students with no background in logic, philosophy or mathematics. In easily understood steps it shows the mechanics of the formal analysis of arguments.
Bolc, Leonard
1992-01-01
Many-valued logics were developed as an attempt to handle philosophical doubts about the "law of excluded middle" in classical logic. The first many-valued formal systems were developed by J. Lukasiewicz in Poland and E.Post in the U.S.A. in the 1920s, and since then the field has expanded dramatically as the applicability of the systems to other philosophical and semantic problems was recognized. Intuitionisticlogic, for example, arose from deep problems in the foundations of mathematics. Fuzzy logics, approximation logics, and probability logics all address questions that classical logic alone cannot answer. All these interpretations of many-valued calculi motivate specific formal systems thatallow detailed mathematical treatment. In this volume, the authors are concerned with finite-valued logics, and especially with three-valued logical calculi. Matrix constructions, axiomatizations of propositional and predicate calculi, syntax, semantic structures, and methodology are discussed. Separate chapters deal w...
Institute of Scientific and Technical Information of China (English)
周键; 周明辉; 吴泉源
2000-01-01
With the process of enterprise requirements,the enterprise application computing model and its developing technology become more complex. In this paper,we analyzed most of enterprise requirements. Based on popular distributed computing technologies, we discussed some different models of enterprise business logic applications,and gave some solutions. By analyzing and combining of these models,enterprise application developer could make efficiency use of the functions of distributed system platform,and could construct enterprise applications with highly quality,optimized model and et al.
Yang, Fan; Väänänen, Jouko
2016-01-01
We consider team semantics for propositional logic, continuing our previous work (Yang & V\\"a\\"an\\"anen 2016). In team semantics the truth of a propositional formula is considered in a set of valuations, called a team, rather than in an individual valuation. This offers the possibility to give meaning to concepts such as dependence, independence and inclusion. We define an expressively maximal propositional team logic, called full propositional team logic. This requires going beyond the logic...
DEFF Research Database (Denmark)
Aiello, Marco; Bezhanishvili, Guram; Bloch, Isabelle
2012-01-01
of mathematical tools developed to represent and work with space. Here we take a special look at this evolution by considering the perspective of Logic. From the initial axiomatic efforts of Euclid, we revisit the major milestones in the logical representation of space and investigate current trends. In doing so......, we do not only consider classical logic, but we indulge ourselves with modal logics. These present themselves naturally by providing simple axiomatizations of different geometries, topologies, space-time causality, and vector spaces....
Institutional Logics in Action
DEFF Research Database (Denmark)
Lounsbury, Michael; Boxenbaum, Eva
2013-01-01
This double volume presents state-of-the-art research and thinking on the dynamics of actors and institutional logics. In the introduction, we briefly sketch the roots and branches of institutional logics scholarship before turning to the new buds of research on the topic of how actors engage ins...... prolific stream of research on institutional logics by deepening our insight into the active use of institutional logics in organizational action and interaction, including the institutional effects of such (inter)actions....
Hierarchies in Dependence Logic
Durand, Arnaud
2011-01-01
We study fragments of dependence logic defined either by restricting the number k of universal quantifiers or the width of dependence atoms in formulas. We find the sublogics of existential second-order logic corresponding to these fragments of dependence logic. We also show that these both ways of defining fragments of dependence logic give rise to a hierarchy in expressive power with respect to k.
Magnetic tunnel junction based spintronic logic devices
Lyle, Andrew Paul
The International Technology Roadmap for Semiconductors (ITRS) predicts that complimentary metal oxide semiconductor (CMOS) based technologies will hit their last generation on or near the 16 nm node, which we expect to reach by the year 2025. Thus future advances in computational power will not be realized from ever-shrinking device sizes, but rather by 'outside the box' designs and new physics, including molecular or DNA based computation, organics, magnonics, or spintronic. This dissertation investigates magnetic logic devices for post-CMOS computation. Three different architectures were studied, each relying on a different magnetic mechanism to compute logic functions. Each design has it benefits and challenges that must be overcome. This dissertation focuses on pushing each design from the drawing board to a realistic logic technology. The first logic architecture is based on electrically connected magnetic tunnel junctions (MTJs) that allow direct communication between elements without intermediate sensing amplifiers. Two and three input logic gates, which consist of two and three MTJs connected in parallel, respectively were fabricated and are compared. The direct communication is realized by electrically connecting the output in series with the input and applying voltage across the series connections. The logic gates rely on the fact that a change in resistance at the input modulates the voltage that is needed to supply the critical current for spin transfer torque switching the output. The change in resistance at the input resulted in a voltage margin of 50--200 mV and 250--300 mV for the closest input states for the three and two input designs, respectively. The two input logic gate realizes the AND, NAND, NOR, and OR logic functions. The three input logic function realizes the Majority, AND, NAND, NOR, and OR logic operations. The second logic architecture utilizes magnetostatically coupled nanomagnets to compute logic functions, which is the basis of
Institute of Scientific and Technical Information of China (English)
刘叙华; 邓安生
1994-01-01
A new approach of operator fuzzy logic, Boolean operator fuzzy logic (BOFL) based on Boolean algebra, is presented. The resolution principle is also introduced into BOFL. BOFL is a natural generalization of classical logic and can be applied to the qualitative description of fuzzy knowledge.
DEFF Research Database (Denmark)
Xue, Bingtian; Larsen, Kim Guldstrand; Mardare, Radu Iulian
2015-01-01
We introduce Concurrent Weighted Logic (CWL), a multimodal logic for concurrent labeled weighted transition systems (LWSs). The synchronization of LWSs is described using dedicated functions that, in various concurrency paradigms, allow us to encode the compositionality of LWSs. To reflect these......-completeness results for this logic. To complete these proofs we involve advanced topological techniques from Model Theory....
DEFF Research Database (Denmark)
Berg Johansen, Christina; Waldorff, Susanne Boch
This study presents new insights into the explanatory power of the institutional logics perspective. With outset in a discussion of seminal theory texts, we identify two fundamental topics that frame institutional logics: overarching institutional orders guides by institutional logics, as well...
DEFF Research Database (Denmark)
Jantzen, Jan
1998-01-01
A logic based on the two truth values True and False is sometimes inadequate when describing human reasoning. Fuzzy logic uses the whole interval between 0 (False) and 1 (True) to describe human reasoning. As a result, fuzzy logic is being applied in rule based automatic controllers, and this paper...
Regular database update logics
Spruit, Paul; Wieringa, Roel; Meyer, John-Jules
2001-01-01
We study regular first-order update logic (FUL), which is a variant of regular dynamic logic in which updates to function symbols as well as to predicate symbols are possible. We fi1rst study FUL without making assumptions about atomic updates. Second, we look at relational algebra update logic (RAU
Uckelman, S.L.
2009-01-01
This dissertation is an exercise in conceptual archeology. Using the tools of contemporary logic we analyse texts in medieval logic and reconstruct their logical theories by creating a formal framework which models them. Our focus is medieval texts which deal with various modalities: the writings on
DEFF Research Database (Denmark)
Christiansen, Henning; Dahl, Veronica
2009-01-01
By extending logic grammars with constraint logic, we give them the ability to create knowledge bases that represent the meaning of an input string. Semantic information is thus defined through extra-grammatical means, and a sentence's meaning logically follows as a by-product of string rewriting....... We formalize these ideas, and exemplify them both within and outside first-order logic, and for both fixed and dynamic knowledge bases. Within the latter variety, we consider the usual left-to-right derivations that are traditional in logic grammars, but also -- in a significant departure from...
DEFF Research Database (Denmark)
Blackburn, Patrick Rowan; Huertas, Antonia; Manzano, Maria;
2014-01-01
Leon Henkin was not a modal logician, but there is a branch of modal logic that has been deeply influenced by his work. That branch is hybrid logic, a family of logics that extend orthodox modal logic with special proposition symbols (called nominals) that name worlds. This paper explains why...... Henkin’s techniques are so important in hybrid logic. We do so by proving a completeness result for a hybrid type theory called HTT, probably the strongest hybrid logic that has yet been explored. Our completeness result builds on earlier work with a system called BHTT, or basic hybrid type theory...... is due to the first-order perspective, which lies at the heart of Henin’s best known work and hybrid logic....
Probabilistic and fuzzy logic in clinical diagnosis.
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.
Reversible logic synthesis methodologies with application to quantum computing
Taha, Saleem Mohammed Ridha
2016-01-01
This book opens the door to a new interesting and ambitious world of reversible and quantum computing research. It presents the state of the art required to travel around that world safely. Top world universities, companies and government institutions are in a race of developing new methodologies, algorithms and circuits on reversible logic, quantum logic, reversible and quantum computing and nano-technologies. In this book, twelve reversible logic synthesis methodologies are presented for the first time in a single literature with some new proposals. Also, the sequential reversible logic circuitries are discussed for the first time in a book. Reversible logic plays an important role in quantum computing. Any progress in the domain of reversible logic can be directly applied to quantum logic. One of the goals of this book is to show the application of reversible logic in quantum computing. A new implementation of wavelet and multiwavelet transforms using quantum computing is performed for this purpose. Rese...
Magnetic-field-controlled reconfigurable semiconductor logic.
Joo, Sungjung; Kim, Taeyueb; Shin, Sang Hoon; Lim, Ju Young; Hong, Jinki; Song, Jin Dong; Chang, Joonyeon; Lee, Hyun-Woo; Rhie, Kungwon; Han, Suk Hee; Shin, Kyung-Ho; Johnson, Mark
2013-02-07
Logic devices based on magnetism show promise for increasing computational efficiency while decreasing consumed power. They offer zero quiescent power and yet combine novel functions such as programmable logic operation and non-volatile built-in memory. However, practical efforts to adapt a magnetic device to logic suffer from a low signal-to-noise ratio and other performance attributes that are not adequate for logic gates. Rather than exploiting magnetoresistive effects that result from spin-dependent transport of carriers, we have approached the development of a magnetic logic device in a different way: we use the phenomenon of large magnetoresistance found in non-magnetic semiconductors in high electric fields. Here we report a device showing a strong diode characteristic that is highly sensitive to both the sign and the magnitude of an external magnetic field, offering a reversible change between two different characteristic states by the application of a magnetic field. This feature results from magnetic control of carrier generation and recombination in an InSb p-n bilayer channel. Simple circuits combining such elementary devices are fabricated and tested, and Boolean logic functions including AND, OR, NAND and NOR are performed. They are programmed dynamically by external electric or magnetic signals, demonstrating magnetic-field-controlled semiconductor reconfigurable logic at room temperature. This magnetic technology permits a new kind of spintronic device, characterized as a current switch rather than a voltage switch, and provides a simple and compact platform for non-volatile reconfigurable logic devices.
Construction of the Graphical Propositional Logic
Directory of Open Access Journals (Sweden)
Yi Wang
2013-08-01
Full Text Available Mathematical logic is the logical basis of the modern computer. It is important for the development of the electronic computer. With the development of computer technology, especially the development of computer visualization technology, the two-dimensional objects, such as graph and table, are more and more frequently as the computer processing object. But, the traditional one-dimensional character grammar already can not process. Then graph grammars that based on the two-dimensional arise at the historic moment. In order to provide the visual logic reasoning mathematical foundation, this paper introduces the basic theory of graph grammars. Through the propositional calculus and propositional logic reasoning two aspects of graphical description, we use graph grammars to construct propositional calculus and propositional reasoning.
Evaluating logic functionality of cascaded fracturable LUTs
Institute of Scientific and Technical Information of China (English)
GUO Zhenhong; LIN Yu; LI Tianyi; JIA Rui; GAO Tongqiang; YANG Haigang
2016-01-01
Look Up Tables(LUTs) are the key components of Field-Programmable Gate Arrays(FPGAs). Many LUT architectures have been studied; nevertheless, it is difficult to quantificationally evaluate an LUT based architecture. Traditionally, dedicated efforts on specific modifications to the technology mapping tools are required for LUT architecture evaluation. A more feasible evaluation method for logic functionality is strongly required for the design of LUT architecture. In this paper, a mathematical method for logic functionality calculation is proposed and conventional and fracturable LUT architectures are analyzed. Furthermore, a cascaded fracturable LUT architecture is presented, which achieves twice logic functionality compared with the conventional LUTs and fracturable LUTs.
Temperature Control System Using Fuzzy Logic Technique
Directory of Open Access Journals (Sweden)
Isizoh A N
2012-06-01
Full Text Available Fuzzy logic technique is an innovative technology used in designing solutions for multi-parameter and non-linear control models for the definition of a control strategy. As a result, it delivers solutions faster than the conventional control design techniques. This paper thus presents a fuzzy logic based-temperature control system, which consists of a microcontroller, temperature sensor, and operational amplifier, Analogue to Digital Converter, display interface circuit and output interface circuit. It contains a design approach that uses fuzzy logic technique to achieve a controlled temperature output function.
Bilayer avalanche spin-diode logic
Energy Technology Data Exchange (ETDEWEB)
Friedman, Joseph S., E-mail: joseph.friedman@u-psud.fr; Querlioz, Damien [Institut d’Electronique Fondamentale, Univ. Paris-Sud, CNRS, 91405 Orsay (France); Fadel, Eric R. [Department of Materials Science, Massachusetts Institute of Technology, Cambridge, MA 02139 (United States); Wessels, Bruce W. [Department of Electrical Engineering & Computer Science, Northwestern University, Evanston, IL 60208 (United States); Department of Materials Science & Engineering, Northwestern University, Evanston, IL 60208 (United States); Sahakian, Alan V. [Department of Electrical Engineering & Computer Science, Northwestern University, Evanston, IL 60208 (United States); Department of Biomedical Engineering, Northwestern University, Evanston, IL 60208 (United States)
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.
Automatic Synthesis of Multilevel Combinational Logic
DEFF Research Database (Denmark)
Andersen, Anders C.; Madsen, Jan; Madsen, J.R.
1989-01-01
This paper describes a system for the synthesis of multilevel combinational logic, transforming functional description into mask layout. The system includes a logic synthesis part, partly consisting of tools developed at Eindhoven University of Technology, which has been interfaced to the layout...... synthesis part in the CATOE-system, developed at the DesignCenter of Electronics Institute. The various steps in the transformation are presented together with a complete design example, implementing a multi-output combinational decoder function....
AN IMPROVED DESIGN OF A MULTIPLIER USING REVERSIBLE LOGIC GATES
Directory of Open Access Journals (Sweden)
H.R.BHAGYALAKSHMI
2010-08-01
Full Text Available Reversible logic gates are very much in demand for the future computing technologies as they are known to produce zero power dissipation under ideal conditions. This paper proposes an improved design of a multiplier using reversible logic gates. Multipliers are very essential for the construction of various computational units of a quantum computer. The quantum cost of a reversible logic circuit can be minimized by reducing the number of reversible logic gates. For this two 4*4 reversible logic gates called a DPG gate and a BVF gate are used.
Dalen, Dirk
1983-01-01
A book which efficiently presents the basics of propositional and predicate logic, van Dalen’s popular textbook contains a complete treatment of elementary classical logic, using Gentzen’s Natural Deduction. Propositional and predicate logic are treated in separate chapters in a leisured but precise way. Chapter Three presents the basic facts of model theory, e.g. compactness, Skolem-Löwenheim, elementary equivalence, non-standard models, quantifier elimination, and Skolem functions. The discussion of classical logic is rounded off with a concise exposition of second-order logic. In view of the growing recognition of constructive methods and principles, one chapter is devoted to intuitionistic logic. Completeness is established for Kripke semantics. A number of specific constructive features, such as apartness and equality, the Gödel translation, the disjunction and existence property have been incorporated. The power and elegance of natural deduction is demonstrated best in the part of proof theory cal...
Low Power Dynamic Logic Ripple Carry Adder Using Footed Diode Domino Logic
Directory of Open Access Journals (Sweden)
P. Krishna Karthik
2014-03-01
Full Text Available In recent electronic devices power saving has more importance than any other thing. Dynamic logic circuits are one of the basic power efficient circuits which comes into picture when dealt with low power. Dynamic logic circuits operate mainly in two phases, namely Pre-charge and evaluate phase. Domino logic circuits are more power efficient and cooperatively faster circuits which operate on the above two phases. For extremely low power applications footed diode domino logic is applied. This paper mainly deals with design of Dynamic logic circuit design based on footed diode domino logic with reduction in power and leakage current. In this proposed circuit we put a diode on the foot of domino logic circuit which results in power reduction as compared to reported and conventional domino logic. We are using NMOS as a diode and due to this extra diode (NMOS, in pre-charge period leakage current reduce due to stacking effect. Approximately 32% of power is saved using footed diode domino logic. For Simulation we are using tanner tool at 180nm technology.
Logical database design principles
Garmany, John; Clark, Terry
2005-01-01
INTRODUCTION TO LOGICAL DATABASE DESIGNUnderstanding a Database Database Architectures Relational Databases Creating the Database System Development Life Cycle (SDLC)Systems Planning: Assessment and Feasibility System Analysis: RequirementsSystem Analysis: Requirements Checklist Models Tracking and Schedules Design Modeling Functional Decomposition DiagramData Flow Diagrams Data Dictionary Logical Structures and Decision Trees System Design: LogicalSYSTEM DESIGN AND IMPLEMENTATION The ER ApproachEntities and Entity Types Attribute Domains AttributesSet-Valued AttributesWeak Entities Constraint
2009-01-01
This dissertation is an exercise in conceptual archeology. Using the tools of contemporary logic we analyse texts in medieval logic and reconstruct their logical theories by creating a formal framework which models them. Our focus is medieval texts which deal with various modalities: the writings on alethic modalities by William of Sherwood, Pseudo-Aquinas, and St. Thomas Aquinas in the 13th century, St. Anselm of Canterbury’s writings on facere and debere in the late 11th century; Lambert of...
Separation Logic and Concurrency
Bornat, Richard
Concurrent separation logic is a development of Hoare logic adapted to deal with pointers and concurrency. Since its inception, it has been enhanced with a treatment of permissions to enable sharing of data between threads, and a treatment of variables as resource alongside heap cells as resource. An introduction to the logic is given with several examples of proofs, culminating in a treatment of Simpson's 4-slot algorithm, an instance of racy non-blocking concurrency.
Embedding Description Logic Programs into Default Logic
Wang, Yisong; Yuan, Li Yan; Shen, Yi-Dong; Eiter, Thomas
2011-01-01
Description logic programs (dl-programs) under the answer set semantics formulated by Eiter {\\em et al.} have been considered as a prominent formalism for integrating rules and ontology knowledge bases. A question of interest has been whether dl-programs can be captured in a general formalism of nonmonotonic logic. In this paper, we study the possibility of embedding dl-programs into default logic. We show that dl-programs under the strong and weak answer set semantics can be embedded in default logic by combining two translations, one of which eliminates the constraint operator from nonmonotonic dl-atoms and the other translates a dl-program into a default theory. For dl-programs without nonmonotonic dl-atoms but with the negation-as-failure operator, our embedding is polynomial, faithful, and modular. In addition, our default logic encoding can be extended in a simple way to capture recently proposed weakly well-supported answer set semantics, for arbitrary dl-programs. These results reinforce the argument ...
Introduction to mathematical logic
Mendelson, Elliott
2015-01-01
The new edition of this classic textbook, Introduction to Mathematical Logic, Sixth Edition explores the principal topics of mathematical logic. It covers propositional logic, first-order logic, first-order number theory, axiomatic set theory, and the theory of computability. The text also discusses the major results of Gödel, Church, Kleene, Rosser, and Turing.The sixth edition incorporates recent work on Gödel's second incompleteness theorem as well as restoring an appendix on consistency proofs for first-order arithmetic. This appendix last appeared in the first edition. It is offered in th
Crossley, J N; Brickhill, CJ; Stillwell, JC
2010-01-01
Although mathematical logic can be a formidably abstruse topic, even for mathematicians, this concise book presents the subject in a lively and approachable fashion. It deals with the very important ideas in modern mathematical logic without the detailed mathematical work required of those with a professional interest in logic.The book begins with a historical survey of the development of mathematical logic from two parallel streams: formal deduction, which originated with Aristotle, Euclid, and others; and mathematical analysis, which dates back to Archimedes in the same era. The streams beg
Ferrite logic reliability study
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.)
DEFF Research Database (Denmark)
Lopez, Hugo Andres; Carbone, Marco; Hildebrandt, Thomas
2010-01-01
We explore logical reasoning for the global calculus, a coordination model based on the notion of choreography, with the aim to provide a methodology for speciﬁcation and veriﬁcation of structured communications. Starting with an extension of Hennessy-Milner logic, we present the global logic (GL...... ), a modal logic describing possible interactions among participants in a choreography. We illustrate its use by giving examples of properties on service speciﬁcations. Finally, we show that, despite GL is undecidable, there is a signiﬁcant decidable fragment which we provide with a sound and complete proof...
Carbone, Marco; Hildebrandt, Thomas T; López, Hugo A; 10.4204/EPTCS.69.3
2011-01-01
We explore logical reasoning for the global calculus, a coordination model based on the notion of choreography, with the aim to provide a methodology for specification and verification of structured communications. Starting with an extension of Hennessy-Milner logic, we present the global logic (GL), a modal logic describing possible interactions among participants in a choreography. We illustrate its use by giving examples of properties on service specifications. Finally, we show that, despite GL is undecidable, there is a significant decidable fragment which we provide with a sound and complete proof system for checking validity of formulae.
Directory of Open Access Journals (Sweden)
Marco Carbone
2011-10-01
Full Text Available We explore logical reasoning for the global calculus, a coordination model based on the notion of choreography, with the aim to provide a methodology for specification and verification of structured communications. Starting with an extension of Hennessy-Milner logic, we present the global logic (GL, a modal logic describing possible interactions among participants in a choreography. We illustrate its use by giving examples of properties on service specifications. Finally, we show that, despite GL is undecidable, there is a significant decidable fragment which we provide with a sound and complete proof system for checking validity of formulae.
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.
Flow Logic for Process Calculi
DEFF Research Database (Denmark)
Nielson, Hanne Riis; Nielson, Flemming; Pilegaard, Henrik
2012-01-01
Flow Logic is an approach to statically determining the behavior of programs and processes. It borrows methods and techniques from Abstract Interpretation, Data Flow Analysis and Constraint Based Analysis while presenting the analysis in a style more reminiscent of Type Systems. Traditionally...... developed for programming languages, this article provides a tutorial development of the approach of Flow Logic for process calculi based on a decade of research. We first develop a simple analysis for the π-calculus; this consists of the specification, semantic soundness (in the form of subject reduction...... and adequacy results), and a Moore Family result showing that a least solution always exists, as well as providing insights on how to implement the analysis. We then show how to strengthen the analysis technology by introducing reachability components, interaction points, and localized environments...
Programming Games for Logical Thinking
Directory of Open Access Journals (Sweden)
H. Tsalapatas
2013-03-01
Full Text Available Analytical thinking is a transversal skill that helps learners synthesize knowledge across subject areas; from mathematics, science, and technology to critical reading, critical examination, and evaluation of lessons. While most would not doubt the importance of analytical capacity in academic settings and its growing demand for the skill in professional environments, school curricula do not comprehensively address its development. As a result, the responsibility for structuring related learning activities falls to teachers. This work examines learning paradigms that can be integrated into mathematics and science school education for developing logical thinking through game-based exercises based on programming. The proposed learning design promotes structured algorithmic mindsets, is based on inclusive universal logic present in all cultures, and promotes constructivism educational approaches encouraging learners to drive knowledge building by composing past and emerging experiences.
DEFF Research Database (Denmark)
Mardare, Radu Iulian; Cardelli, Luca; Larsen, Kim Guldstrand
2012-01-01
Continuous Markovian Logic (CML) is a multimodal logic that expresses quantitative and qualitative properties of continuous-time labelled Markov processes with arbitrary (analytic) state-spaces, henceforth called continuous Markov processes (CMPs). The modalities of CML evaluate the rates of the ...
Ponse, A.; Zwaag, M.B. van der
2002-01-01
We distinguish two interpretations for the truth value `undefined' in Kleene's three-valued logic. Combining these two interpretations leads to a four-valued propositional logic that characterizes two particular ingredients of process algebra: ``choice' and ``inaction'. We study two different bases
S.L. Uckelman
2009-01-01
The origins of treating agency as a modal concept go back at least to the 11th century when Anselm, Archbishop of Canterbury, provided a modal explication of the Latin facere ‘to do’, which can be formalized within the context of modern modal logic and neighborhood semantics. The agentive logic indu
Logic via Computer Programming.
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…
Boyd, Robert
1995-01-01
This article proposes that within the discipline of logic, college students can learn the important elements of persuasive writing. Characteristics of and distinctions between deductive and inductive logic are outlined, and the appropriateness and usefulness of each for different kinds of persuasion are discussed. (MSE)
Inductive Logic and Statistics
Romeijn, J. -W.
2009-01-01
This chapter concerns inductive logic in relation to mathematical statistics. I start by introducing a general notion of probabilistic induc- tive inference. Then I introduce Carnapian inductive logic, and I show that it can be related to Bayesian statistical inference via de Finetti's representatio
Logic of Algorithmic Knowledge
Directory of Open Access Journals (Sweden)
Surowik Dariusz
2015-09-01
Full Text Available In this paper we consider the construction of a LAK system of temporal-epistemic logic which is used to formally describe algorithmic knowledge. We propose an axiom system of LAK and discuss the basic properties of this logic.
Yopp, David
2010-01-01
Understanding logical necessity is an important component of proof and reasoning for teachers of grades K-8. The ability to determine exactly where young students' arguments are faulty offers teachers the chance to give youngsters feedback as they progress toward writing mathematically valid deductive proofs. As defined, logical necessity is the…
Directory of Open Access Journals (Sweden)
Evandro Agazzi
2011-06-01
Full Text Available Humans have used arguments for defending or refuting statements long before the creation of logic as a specialized discipline. This can be interpreted as the fact that an intuitive notion of "logical consequence" or a psychic disposition to articulate reasoning according to this pattern is present in common sense, and logic simply aims at describing and codifying the features of this spontaneous capacity of human reason. It is well known, however, that several arguments easily accepted by common sense are actually "logical fallacies", and this indicates that logic is not just a descriptive, but also a prescriptive or normative enterprise, in which the notion of logical consequence is defined in a precise way and then certain rules are established in order to maintain the discourse in keeping with this notion. Yet in the justification of the correctness and adequacy of these rules commonsense reasoning must necessarily be used, and in such a way its foundational role is recognized. Moreover, it remains also true that several branches and forms of logic have been elaborated precisely in order to reflect the structural features of correct argument used in different fields of human reasoning and yet insufficiently mirrored by the most familiar logical formalisms.
Blackburn, P.; Rijke, M. de
1995-01-01
Combining logics has become a rapidly expanding enterprise that is inspired mainly by concerns about modularity and the wish to join together tailored made logical tools into more powerful but still manageable ones. A natural question is whether it offers anything new over and above existing standar
CSIR Research Space (South Africa)
Klarman, S
2013-05-01
Full Text Available We introduce Description Logics of Context (DLCs) - an extension of Description Logics (DLs) for context-based reasoning. Our approach descends from J. McCarthy's tradition of treating contexts as formal objects over which one can quantify...
Directory of Open Access Journals (Sweden)
Daniel Durante Pereira Alves
2011-04-01
Full Text Available Analyzing the position of two philosophers whose views are recognizably divergent, W. O. Quine and M. Dummett, we intend to support a striking point of agreement between them: the idea that our logical principles constitute our principles about what there is, and therefore, that logic is metaphysics.
Daniel Durante Pereira Alves
2011-01-01
Analyzing the position of two philosophers whose views are recognizably divergent, W. O. Quine and M. Dummett, we intend to support a striking point of agreement between them: the idea that our logical principles constitute our principles about what there is, and therefore, that logic is metaphysics.
DEFF Research Database (Denmark)
Blackburn, Patrick Rowan; Jørgensen, Klaus Frovin
2012-01-01
In this paper we explore the logic of now, yesterday, today and tomorrow by combining the semantic approach to indexicality pioneered by Hans Kamp [9] and refined by David Kaplan [10] with hybrid tense logic. We first introduce a special now nominal (our @now corresponds to Kamp’s original now...
Institute of Scientific and Technical Information of China (English)
王艳华
2011-01-01
Program Logic Technology and Application is the introductory course in software technology. In this course, we explain the logical structure of Java and object-oriented thinking through the four learning scenarios. And these 4 scenarios contain 13 sub-scenarios. Different scenarios, uses different teaching methods. And the most basic methods are multimedia-based teaching, task-driven, and integration of teaching and learning, etc.%《程序逻辑技术与应用》是软件技术专业的入门课程，在这门课程中，主要是通过四个学习情境来讲解Java中的逻辑结构与面向对象的思想，在这四个学习情境中，又包含13个子情境，对于不同的学习情境，采用的教学方法也各不相同，最基本的是多媒体教学，并兼有任务驱动、教学做一体化等方式来完成。
Microelectromechanical reprogrammable logic device
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.
DEFF Research Database (Denmark)
Klose, Karl; Ostermann, Klaus
2010-01-01
In logic metaprogramming, programs are not stored as plain textfiles but rather derived from a deductive database. While the benefits of this approach for metaprogramming are obvious, its incompatibility with separate checking limits its applicability to large-scale projects. We analyze the probl......In logic metaprogramming, programs are not stored as plain textfiles but rather derived from a deductive database. While the benefits of this approach for metaprogramming are obvious, its incompatibility with separate checking limits its applicability to large-scale projects. We analyze...... the problems inhibiting separate checking and propose a class of logics that reconcile logic metaprogramming and separate checking. We have formalized the resulting module system and have proven the soundness of separate checking. We validate its feasibility by presenting the design and implementation...... of a specific logic that is able to express many metaprogramming examples from the literature....
Amplifying genetic logic gates.
Bonnet, Jerome; Yin, Peter; Ortiz, Monica E; Subsoontorn, Pakpoom; Endy, Drew
2013-05-03
Organisms must process information encoded via developmental and environmental signals to survive and reproduce. Researchers have also engineered synthetic genetic logic to realize simpler, independent control of biological processes. We developed a three-terminal device architecture, termed the transcriptor, that uses bacteriophage serine integrases to control the flow of RNA polymerase along DNA. Integrase-mediated inversion or deletion of DNA encoding transcription terminators or a promoter modulates transcription rates. We realized permanent amplifying AND, NAND, OR, XOR, NOR, and XNOR gates actuated across common control signal ranges and sequential logic supporting autonomous cell-cell communication of DNA encoding distinct logic-gate states. The single-layer digital logic architecture developed here enables engineering of amplifying logic gates to control transcription rates within and across diverse organisms.
Heterogeneous logics of competition
DEFF Research Database (Denmark)
Mossin, Christiane
2015-01-01
The purpose of the article is to demonstrate that in order to understand competition as a socially organizing phenomenon, we should not examine competition in isolation, but as constellations of heterogeneous logics. More precisely, the article is based on two main theoretical points: (1) Logics...... of competition are only realized as particular forms of social organization by virtue of interplaying with other kinds of logics, like legal logics. (2) Competition logics enjoy a peculiar status in-between constructedness and givenness; although competition depends on laws and mechanisms of socialization, we...... still experience competition as an expression of spontaneous human activities. On the basis of these perspectives, a study of fundamental rights of EU law, springing from the principle of ‘free movement of people’, is conducted. The first part of the empirical analysis seeks to detect the presence...
Malhas, Othman Qasim
1993-10-01
The concept of “abacus logic” has recently been developed by the author (Malhas, n.d.). In this paper the relation of abacus logic to the concept of fuzziness is explored. It is shown that if a certain “regularity” condition is met, concepts from fuzzy set theory arise naturally within abacus logics. In particular it is shown that every abacus logic then has a “pre-Zadeh orthocomplementation”. It is also shown that it is then possible to associate a fuzzy set with every proposition of abacus logic and that the collection of all such sets satisfies natural conditions expected in systems of fuzzy logic. Finally, the relevance to quantum mechanics is discussed.
Microelectromechanical reprogrammable logic device
Hafiz, M. A. A.
2016-03-29
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.
Nursing and fuzzy logic: an integrative review.
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.
Energy Technology Data Exchange (ETDEWEB)
NONE
1995-02-21
The purpose of this guide is to describe the documents and record series at the K-25 plant that pertain to the handling of waste containing cesium-137 produced as a result of processes to enrich uranium and separate plutonium at the Department of Energy`s (DOE) Oak Ridge National Laboratory (ORNL) and Oak Ride Gaseous Diffusion Plant (ORGDP, called K-25) in Oak Ridge, Tennessee. History Associates Incorporated (HAI) prepared this guide as part of DOE`s Epidemiologic Records Inventory Project, the purpose of which is to verify and conduct inventories of epidemiologic and health-related records at various DOE and DOE contractor sites. This introduction briefly describes the Epidemiologic Records Inventory Project and HAI`s role in it. Specific attention is given to the history of the DOE-Oak Ridge Reservation, the history and development of the K-25 plant, the creation and handling of cesium-contaminated waste, and environmental monitoring efforts at ORNL and K-25 from the late 1940s to the present. This introduction also presents the methodology used to identify the documents and series pertaining to cesium, a discussion of the inventory of these documents, information concerning access to the site and the records, and a description of the arrangement of the chapters.
Dynamic Logic with Trace Semantics
Beckert, Bernhard; Bruns, Daniel
2013-01-01
Dynamic logic is an established instrument for program verification and for reasoning about the semantics of programs and programming languages. In this paper, we define an extension of dynamic logic, called Dynamic Trace Logic (DTL), which combines the expressiveness of program logics such as dynamic logic with that of temporal logic. And we present a sound and relatively complete sequent calculus for proving validity of DTL formulae. Due to its expressiveness, DTL can serve as a basis for p...
Mathematical logic for computer science
Zhong Wan Lu
1998-01-01
Mathematical logic is essentially related to computer science. This book describes the aspects of mathematical logic that are closely related to each other, including classical logic, constructive logic, and modal logic. This book is intended to attend to both the peculiarities of logical systems and the requirements of computer science.In this edition, the revisions essentially involve rewriting the proofs, increasing the explanations, and adopting new terms and notations.
Arthur Prior and medieval logic
2012-01-01
Though Arthur Prior is now best known for his founding of modern temporal logic and hybrid logic, much of his early philosophical career was devoted to history of logic and historical logic. This interest laid the foundations for both of his ground-breaking innovations in the 1950s and 1960s. Because of the important rôle played by Prior’s research in ancient and medieval logic in his development of temporal and hybrid logic, any student of Prior, temporal logic, or hybrid logic should be fam...
Bozzelli, Laura; French, Tim; Hales, James; Pinchinat, Sophie
2012-01-01
In this paper we present refinement modal logic. A refinement is like a bisimulation, except that from the three relational requirements only 'atoms' and 'back' need to be satisfied. Our logic contains a new operator 'forall' in additional to the standard modalities 'Box' for each agent. The operator 'forall' acts as a quantifier over the set of all refinements of a given model. We call it the refinement operator. As a variation on a bisimulation quantifier, it can be seen as a refinement quantifier over a variable not occurring in the formula bound by the operator. The logic combines the simplicity of multi-agent modal logic with some powers of monadic second order quantification. We present a sound and complete axiomatization of multiagent refinement modal logic. We also present an extension of the logic to the modal mu-calculus, and an axiomatization for the single-agent version of this logic. Examples and applications are also discussed: to software verification and design (the set of agents can also be s...
Metaphysics of Logical Realism
Directory of Open Access Journals (Sweden)
Mohammadreza Abdollahnejad
2015-08-01
Full Text Available Despite the often false impression that the analytic philosophy as an anti-metaphysical movement has nothing to do with metaphysics, there can be found good reasons to grant the metaphysical dispositions of analytic philosophers, and thereby, to minimize the anti-metaphysical nature of analytic philosophy in its all phases. Since analytic philosophy is a historical movement the main nature of which developed through several stages, the very kinds of metaphysical dispositions within each one of its various stages can be easily portrayed. In the meantime, logical realism as the early stage of analytic philosophy contains plenty of metaphysical dispositions. Undoubtedly, one cannot say that analytic philosophy in this period was not committed to metaphysical theses about the plurality of entities, the ultimate nature of reality and the logical structure of the world. In this paper, then, after giving a relatively complete explanation of the logical realism, we claimed that although logical realists rejected the traditional speculative metaphysics of their predecessors, they also replaced it by the metaphysics of logic that pursues the metaphysical aims, this time, by logical means. So, we portrayed this kind of metaphysics as Bolzano’s Semantic Platonism, Frege’s and Russell’s Pluralistic Platonism, Russell’s Pluralistic Atomism, and Wittgenstein’s logical atomism.
INTEGRATED PROGRAMMATIC ENVIRONMENT OF THE DEPARTMENTAL OF MATHEMATICAL LOGIC OF «MATLOG»
Directory of Open Access Journals (Sweden)
Yurii I. Sinko
2010-09-01
Full Text Available The article deals with the introduction of new information technologies into the process of mathematical logic learning at the Kherson State University. The basic components of program system of mathematical logic learning are considered.
DEFF Research Database (Denmark)
Hendricks, Vincent Fella; Gierasimczuk, Nina; de Jong, Dick
2014-01-01
Learning and learnability have been long standing topics of interests within the linguistic, computational, and epistemological accounts of inductive in- ference. Johan van Benthem’s vision of the “dynamic turn” has not only brought renewed life to research agendas in logic as the study...... of information processing, but likewise helped bring logic and learning in close proximity. This proximity relation is examined with respect to learning and belief revision, updating and efficiency, and with respect to how learnability fits in the greater scheme of dynamic epistemic logic and scientific method....
DEFF Research Database (Denmark)
Filipiuk, Piotr; Nielson, Flemming; Nielson, Hanne Riis
2012-01-01
We present a logic for the specification of static analysis problems that goes beyond the logics traditionally used. Its most prominent feature is the direct support for both inductive computations of behaviors as well as co-inductive specifications of properties. Two main theoretical contributions...... are a Moore Family result and a parametrized worst case time complexity result. We show that the logic and the associated solver can be used for rapid prototyping of analyses and illustrate a wide variety of applications within Static Analysis, Constraint Satisfaction Problems and Model Checking. In all cases...
Logic in elementary mathematics
Exner, Robert M
2011-01-01
This applications-related introductory treatment explores facets of modern symbolic logic useful in the exposition of elementary mathematics. The authors convey the material in a manner accessible to those trained in standard elementary mathematics but lacking any formal background in logic. Topics include the statement calculus, proof and demonstration, abstract mathematical systems, and the restricted predicate calculus. The final chapter draws upon the methods of logical reasoning covered in previous chapters to develop solutions of linear and quadratic equations, definitions of order and
DEFF Research Database (Denmark)
Mardare, Radu Iulian; Cardelli, Luca; Larsen, Kim Guldstrand
2012-01-01
Continuous Markovian Logic (CML) is a multimodal logic that expresses quantitative and qualitative properties of continuous-time labelled Markov processes with arbitrary (analytic) state-spaces, henceforth called continuous Markov processes (CMPs). The modalities of CML evaluate the rates...... characterizes stochastic bisimilarity and it supports the definition of a quantified extension of the satisfiability relation that measures the "compatibility" between a model and a property. In this context, the metaproperties allows us to prove two robustness theorems for the logic stating that one can...
Propositional Dynamic Logic as a Logic of Belief Revision
D.J.N. van Eijck (Jan); Y. Wang (Yanjing)
2008-01-01
htmlabstractThis paper shows how propositional dynamic logic (PDL) can be interpreted as a logic for multi-agent belief revision. For that we revise and extend the logic of communication and change (LCC) of [9]. Like LCC, our logic uses PDL as a base epistemic language. Unlike LCC, we start out from
Mathematical logic foundations for information science
Li, Wei
2014-01-01
Mathematical logic is a branch of mathematics that takes axiom systems and mathematical proofs as its objects of study. This book shows how it can also provide a foundation for the development of information science and technology. The first five chapters systematically present the core topics of classical mathematical logic, including the syntax and models of first-order languages, formal inference systems, computability and representability, and Gödel’s theorems. The last five chapters present extensions and developments of classical mathematical logic, particularly the concepts of version sequences of formal theories and their limits, the system of revision calculus, proschemes (formal descriptions of proof methods and strategies) and their properties, and the theory of inductive inference. All of these themes contribute to a formal theory of axiomatization and its application to the process of developing information technology and scientific theories. The book also describes the paradigm of three kinds...
Fisher, Michael; Gabbay, Dov; Gough, Graham
2000-01-01
Time is a fascinating subject that has captured mankind's imagination from ancient times to the present. It has been, and continues to be studied across a wide range of disciplines, from the natural sciences to philosophy and logic. More than two decades ago, Pnueli in a seminal work showed the value of temporal logic in the specification and verification of computer programs. Today, a strong, vibrant international research community exists in the broad community of computer science and AI. This volume presents a number of articles from leading researchers containing state-of-the-art results in such areas as pure temporal/modal logic, specification and verification, temporal databases, temporal aspects in AI, tense and aspect in natural language, and temporal theorem proving. Earlier versions of some of the articles were given at the most recent International Conference on Temporal Logic, University of Manchester, UK. Readership: Any student of the area - postgraduate, postdoctoral or even research professor ...
DEFF Research Database (Denmark)
Hendricks, Vincent Fella; Gierasimczuk, Nina; de Jong, Dick
2014-01-01
Learning and learnability have been long standing topics of interests within the linguistic, computational, and epistemological accounts of inductive in- ference. Johan van Benthem’s vision of the “dynamic turn” has not only brought renewed life to research agendas in logic as the study of inform......Learning and learnability have been long standing topics of interests within the linguistic, computational, and epistemological accounts of inductive in- ference. Johan van Benthem’s vision of the “dynamic turn” has not only brought renewed life to research agendas in logic as the study...... of information processing, but likewise helped bring logic and learning in close proximity. This proximity relation is examined with respect to learning and belief revision, updating and efficiency, and with respect to how learnability fits in the greater scheme of dynamic epistemic logic and scientific method....
Directory of Open Access Journals (Sweden)
Schumann Andrew
2016-03-01
Full Text Available The paper considers main features of two groups of logics for biological devices, called Physarum Chips, based on the plasmodium. Let us recall that the plasmodium is a single cell with many diploid nuclei. It propagates networks by growing pseudopodia to connect scattered nutrients (pieces of food. As a result, we deal with a kind of computing. The first group of logics for Physarum Chips formalizes the plasmodium behaviour under conditions of nutrient-poor substrate. This group can be defined as standard storage modification machines. The second group of logics for Physarum Chips covers the plasmodium computing under conditions of nutrient-rich substrate. In this case the plasmodium behaves in a massively parallel manner and propagates in all possible directions. The logics of the second group are unconventional and deal with non-well-founded data such as infinite streams.
Dialectic operator fuzzy logic
Institute of Scientific and Technical Information of China (English)
程晓春; 姜云飞; 刘叙华
1996-01-01
Dialectic operator fuzzy logic (DOFL) is presented which is relevant,paraconsistent and nonmonotonic.DOFL can vividly describe the belief revision in the cognitive process and can infer reasonably well while the knowledge is inconsistent,imprecise or incomplete.
Heterogeneous logics of competition
DEFF Research Database (Denmark)
Mossin, Christiane
2015-01-01
The purpose of the article is to demonstrate that in order to understand competition as a socially organizing phenomenon, we should not examine competition in isolation, but as constellations of heterogeneous logics. More precisely, the article is based on two main theoretical points: (1) Logics...... still experience competition as an expression of spontaneous human activities. On the basis of these perspectives, a study of fundamental rights of EU law, springing from the principle of ‘free movement of people’, is conducted. The first part of the empirical analysis seeks to detect the presence...... of a presumed logic of competition within EU law, whereas the second part focuses on particular legal logics. In this respect, the so-called ‘real link criterion’ (determining the access to transnational social rights for certain groups of unemployed people) is given special attention. What is particularly...
Geneves, Pierre
2008-01-01
This thesis describes the theoretical and practical foundations of a system for the static analysis of XML processing languages. The system relies on a fixpoint temporal logic with converse, derived from the mu-calculus, where models are finite trees. This calculus is expressive enough to capture regular tree types along with multi-directional navigation in trees, while having a single exponential time complexity. Specifically the decidability of the logic is proved in time 2^O(n) where n is the size of the input formula. Major XML concepts are linearly translated into the logic: XPath navigation and node selection semantics, and regular tree languages (which include DTDs and XML Schemas). Based on these embeddings, several problems of major importance in XML applications are reduced to satisfiability of the logic. These problems include XPath containment, emptiness, equivalence, overlap, coverage, in the presence or absence of regular tree type constraints, and the static type-checking of an annotated query....
Reasoning, logic, and psychology.
Stenning, Keith; van Lambalgen, Michiel
2011-09-01
We argue that reasoning has been conceptualized so narrowly in what is known as 'psychology of reasoning' that reasoning's relevance to cognitive science has become well-nigh invisible. Reasoning is identified with determining whether a conclusion follows validly from given premises, where 'valid' is taken to mean 'valid according to classical logic'. We show that there are other ways to conceptualize reasoning, more in line with current logical theorizing, which give it a role in psychological processes ranging from (verbal) discourse comprehension to (nonverbal) planning. En route we show that formal logic, at present marginalized in cognitive science, can be an extremely valuable modeling tool. In particular, there are cases in which probabilistic modeling must fail, whereas logical models do well. WIREs Cogni Sci 2011 2 555-567 DOI: 10.1002/wcs.134 For further resources related to this article, please visit the WIREs website.
Extending Value Logic Thinking to Value Logic Portfolios
DEFF Research Database (Denmark)
Ritter, Thomas; Andersen, Poul Houman
Based on value creation logic theory (Stabell & Fjeldstad, 1998), this paper suggests an extension of the original Stabell & Fjeldstad model by an additional fourth value logic, the value system logic. Furthermore, instead of only allowing one dominant value creation logic for a given firm...... or transaction, an understanding of firms and transactions as a portfolio of value logics (i.e. an interconnected coexistence of different value creation logics) is proposed. These additions to the original value creation logic theory imply interesting avenues for both, strategic decision making in firms...
Energy Technology Data Exchange (ETDEWEB)
Hannon, T.F.; Mihalczo, J.T.; Mullens, J.A.; Uckan, T.; Valentine, T.E.; Wyatt, M.S.
1998-05-01
The Deposit Removal Project was undertaken with the support of the U. S. Department of Energy at the East Tennessee Technology Park (ETTP) formerly the Oak Ridge K-25 Site. The project team performed the safe removal of the hydrated uranyl fluoride (UO{sub 2}F{sub 2}) deposits from the K-29 Building of the former Oak Ridge Gaseous Diffusion Plant. The deposits had developed as a result of air leakage into UF{sub 6} gas process pipes; UO{sub 2}F{sub 2} became hydrated by moisture from the air and deposited inside the pipes. The mass, its distribution, and the hydrogen content [that is, the ratio of H to U (H/U)], were the key parameters that controlled the nuclear criticality safety of the deposits. Earlier gamma-ray spectrometry measurements in K-29 had identified the largest deposits in the building. The first and third largest deposits in the building were measured in this program. The first deposit, found in the Unit 2, Cell 7, B-Line Outlet process pipe (called the ''Hockey Stick'') was about 1,300 kg ({+-} 50% uncertainty) at 3.34 wt% {sup 235}U enrichment ({+-}50% uncertainty) and according to the gamma-ray spectroscopy was uniformly distributed. The second deposit (the third-largest deposit in the building), found in the Unit 2, Cell 6, A-Line Outlet process pipe (called the ''Tee-Pipe''), had a uranium deposit estimated to be about 240 kg ({+-} 50% uncertainty) at 3.4 wt % {sup 235}U enrichment ({+-} 20% uncertainty). Before deposit removal activities began, the Deposit Removal Project team needed to survey the inside of the pipes intrusively to assess the nuclear criticality safety of the deposits. Therefore, the spatial distribution of the deposits, the total uranium deposit mass, and the moderation level resulting from hydration of the deposits, all of which affect nuclear criticality safety were required. To perform the task safely and effectively, the Deposit Removal Project team requested that Oak Ridge National
Tan, Yong
2013-01-01
In this paper, author uses set theory to construct a logic model of abstract figure from binary relation. Based on the uniform quantified structure, author gives two logic system for graph traversal and graph coloring respectively, moreover shows a new method of cutting graph. Around this model, there are six algorithms in this paper including exact graph traversal, Algebra calculation of natural number, graph partition and graph coloring.
DEFF Research Database (Denmark)
Nilsson, Jørgen Fischer
1999-01-01
Conceptual spaces have been proposed as topological or geometric means for establishing conceptual structures and models. This paper, after briey reviewing conceptual spaces, focusses on the relationship between conceptual spaces and logical concept languages with operations for combining concepts...... to form concepts. Speci cally is introduced an algebraic concept logic, for which conceptual spaces are installed as semantic domain as replacement for, or enrichment of, the traditional....
Logic and declarative language
Downward, M
2004-01-01
Logic has acquired a reputation for difficulty, perhaps because many of the approaches adopted have been more suitable for mathematicians than computer scientists. This book shows that the subject is not inherently difficult and that the connections between logic and declarative language are straightforward. Many exercises have been included in the hope that these will lead to a much greater confidence in manual proofs, therefore leading to a greater confidence in automated proofs.
Institute of Scientific and Technical Information of China (English)
Simon Mumford takes a more 'logical' view of gramm
2010-01-01
@@ Many people enjoy puzzles and solving prob lems,and the use of an element of logic can make grammar exercises more interesting.Exercises such as putting words in order and clozes can be consid ered forms of puzzles,but there are many more op portunities to challenge more logically-minded stu dents.Here are some language puzzles for students and teachers alike.
Towards a Formal Occurrence Logic based on Predicate Logic
DEFF Research Database (Denmark)
Badie, Farshad; Götzsche, Hans
2015-01-01
In this discussion we will concentrate on the main characteristics of an alternative kind of logic invented by Hans Götzsche: Occurrence Logic, which is not based on truth functionality. Our approach is based on temporal logic developed and elaborated by A. N. Prior. We will focus on characterising...... argumentation based on formal Occurrence Logic concerning events and occurrences, and illustrate the relations between Predicate Logic and Occurrence Logic. The relationships (and dependencies) is conducive to an approach that can analyse the occurrences of ”logical statements based on different logical...... principles” in different moments. We will also conclude that the elaborated Götzsche’s Occurrence Logic could be able to direct us to a truth-functional independent computer-based logic for analysing argumentation based on events and occurrences....
The Logical Methods and Common Technology of Identifying Fire Start Time%认定起火时间的逻辑方法及常用技术
Institute of Scientific and Technical Information of China (English)
李云波
2012-01-01
The accurate analysis of identifying fire time is an important condition for determining the cause of the fire.On the basis of summing up the study of fire development and spread law and material combustion characteristics,the writer described logical analysis of identifying fire time and the main basis and introduced the common technical means to identifying fire time.%准确分析认定起火时间是正确判定火灾原因的重要条件之一,文章在总结研究火灾发展蔓延规律和物质燃烧特性的基础上,分析阐述了认定起火时间的逻辑分析方法和主要依据,介绍了认定起火时间的常用技术手段。
Energy Technology Data Exchange (ETDEWEB)
Bulsara, Adi R., E-mail: bulsara@spawar.navy.mil [SPAWAR Systems Center Pacific, San Diego, CA 92152-5001 (United States); Dari, Anna, E-mail: adari@asu.edu [Ira A. Fulton School of Engineering, Arizona State University, Tempe, AZ 85287-9309 (United States); Ditto, William L., E-mail: william.ditto@asu.edu [Ira A. Fulton School of Engineering, Arizona State University, Tempe, AZ 85287-9309 (United States); Murali, K., E-mail: kmurali@annauniv.edu [Department of Physics, Anna University, Chennai 600 025 (India); Sinha, Sudeshna, E-mail: sudeshna@imsc.res.in [Institute of Mathematical Sciences, Taramani, Chennai 600 113 (India); Indian Institute of Science Education and Research, Mohali, Transit Campus: MGSIPAP Complex, Sector 26 Chandigarh (India)
2010-10-05
In a recent publication it was shown that, when one drives a two-state system with two square waves as input, the response of the system mirrors a logical output (NOR/OR). The probability of obtaining the correct logic response is controlled by the interplay between the noise-floor and the nonlinearity. As one increases the noise intensity, the probability of the output reflecting a NOR/OR operation increases to unity and then decreases. Varying the nonlinearity (or the thresholds) of the system allows one to morph the output into another logic operation (NAND/AND) whose probability displays analogous behavior. Thus, the outcome of the interplay of nonlinearity and noise is a flexible logic gate with enhanced performance. Here we review this concept of 'Logical Stochastic Resonance' (LSR) and provide details of an electronic circuit system demonstrating LSR. Our proof-of-principle experiment involves a particularly simple realization of a two-state system realized by two adjustable thresholds. We also review CMOS implementations of a simple LSR circuit, and the concatenation of these LSR modules to emulate combinational logic, such as data flip-flop and full adder operations.
Arthur Prior and medieval logic
Uckelman, S.L.
2012-01-01
Though Arthur Prior is now best known for his founding of modern temporal logic and hybrid logic, much of his early philosophical career was devoted to history of logic and historical logic. This interest laid the foundations for both of his ground-breaking innovations in the 1950s and 1960s. Becaus
Relational Parametricity and Separation Logic
DEFF Research Database (Denmark)
Birkedal, Lars; Yang, Hongseok
2008-01-01
Separation logic is a recent extension of Hoare logic for reasoning about programs with references to shared mutable data structures. In this paper, we provide a new interpretation of the logic for a programming language with higher types. Our interpretation is based on Reynolds's relational...... parametricity, and it provides a formal connection between separation logic and data abstraction. Udgivelsesdato: 2008...
Logical Varieties in Normative Reasoning
Burgin, Mark; Mestdagh, de Vey
2011-01-01
Although conventional logical systems based on logical calculi have been successfully used in mathematics and beyond, they have definite limitations that restrict their application in many cases. For instance, the principal condition for any logical calculus is its consistency. At the same time, knowledge about large object domains (in science or in practice) is essentially inconsistent. Logical prevarieties and varieties were introduced to eliminate these limitations in a logically correct way. In this paper, the Logic of Reasonable Inferences is described. This logic has been applied successfully to model legal reasoning with inconsistent knowledge. It is demonstrated that this logic is a logical variety and properties of logical varieties related to legal reasoning are developed.
Discourse Preferences in Dynamic Logic
Jaspars, J; Jaspars, Jan; Kameyama, Megumi
1997-01-01
In order to enrich dynamic semantic theories with a `pragmatic' capacity, we combine dynamic and nonmonotonic (preferential) logics in a modal logic setting. We extend a fragment of Van Benthem and De Rijke's dynamic modal logic with additional preferential operators in the underlying static logic, which enables us to define defeasible (pragmatic) entailments over a given piece of discourse. We will show how this setting can be used for a dynamic logical analysis of preferential resolutions of ambiguous pronouns in discourse.
Non-logic devices in logic processes
Ma, Yanjun
2017-01-01
This book shows readers how to design semiconductor devices using the most common and lowest cost logic CMOS processes. Readers will benefit from the author’s extensive, industrial experience and the practical approach he describes for designing efficiently semiconductor devices that typically have to be implemented using specialized processes that are expensive, time-consuming, and low-yield. The author presents an integrated picture of semiconductor device physics and manufacturing techniques, as well as numerous practical examples of device designs that are tried and true.
Logic and truth: Some logics without theorems
Directory of Open Access Journals (Sweden)
Jayanta Sen
2008-08-01
Full Text Available Two types of logical consequence are compared: one, with respect to matrix and designated elements and the other with respect to ordering in a suitable algebraic structure. Particular emphasis is laid on algebraic structures in which there is no top-element relative to the ordering. The significance of this special condition is discussed. Sequent calculi for a number of such structures are developed. As a consequence it is re-established that the notion of truth as such, not to speak of tautologies, is inessential in order to define validity of an argument.
Characterising equilibrium logic and nested logic programs: Reductions and complexity
Pearce, David; Woltran, Stefan
2009-01-01
Equilibrium logic is an approach to nonmonotonic reasoning that extends the stable-model and answer-set semantics for logic programs. In particular, it includes the general case of nested logic programs, where arbitrary Boolean combinations are permitted in heads and bodies of rules, as special kinds of theories. In this paper, we present polynomial reductions of the main reasoning tasks associated with equilibrium logic and nested logic programs into quantified propositional logic, an extension of classical propositional logic where quantifications over atomic formulas are permitted. We provide reductions not only for decision problems, but also for the central semantical concepts of equilibrium logic and nested logic programs. In particular, our encodings map a given decision problem into some formula such that the latter is valid precisely in case the former holds. The basic tasks we deal with here are the consistency problem, brave reasoning, and skeptical reasoning. Additionally, we also provide encoding...
Directory of Open Access Journals (Sweden)
Shefali Mamataj
2016-07-01
Full Text Available In today‟s world everyday a new technology which is faster, smaller and more complex than its predecessor is being developed. Reversible computation is a research area characterized by having only computational models that is both forward and backward deterministic. Reversible Logic is gaining significant consideration as the potential logic design style for implementation in modern nanotechnology and quantum computing with minimal impact on physical entropy. It has become very popular over the last few years since reversible logic circuits dramatically reduce energy loss. It consumes less power by recovering bit loss from its unique input-output mapping. This paper represents the implementation of conventional Boolean functions for basic digital gate by using COG reversible gate. This paper also represents a multi logic function generator circuit for generating multiple logical function simultaneously using COG gates. And also represents a controlled multi logic function generator circuit for generating any specified output in a controlled way.
Institute of Scientific and Technical Information of China (English)
彭磊; 苏仲铭; 吴欣昱
2014-01-01
Aiming at the development characteristics and current situation of meteorological science and technology service in Loudi City, the development direction was mainly proposed,such as actively exploring new ways of mobile short message meteorological service, strengthening meteorological lightning protection service and the construction of the qualified technological personnel. This article provides a useful reference to enhance prediction ability of meteoro-logical science and technology service, perfect the systems of meteorological service and upgrade service level of public meteorological service.%针对娄底市气象科技服务发展的特点和现状，重点提出要积极探索手机短信气象服务新途径、加强气象防雷服务和科技服务人才队伍建设等未来发展方向，为提高娄底市气象科技服务的预测和预报能力，完善气象服务体系，提升公共气象服务的水平提供了有益的参考。
Fuzzy Logic-Based Audio Pattern Recognition
Malcangi, M.
2008-11-01
Audio and audio-pattern recognition is becoming one of the most important technologies to automatically control embedded systems. Fuzzy logic may be the most important enabling methodology due to its ability to rapidly and economically model such application. An audio and audio-pattern recognition engine based on fuzzy logic has been developed for use in very low-cost and deeply embedded systems to automate human-to-machine and machine-to-machine interaction. This engine consists of simple digital signal-processing algorithms for feature extraction and normalization, and a set of pattern-recognition rules manually tuned or automatically tuned by a self-learning process.
Universal programmable logic gate and routing method
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.
Refining fuzzy logic controllers with machine learning
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.
Cascaded logic gates in nanophotonic plasmon networks.
Wei, Hong; Wang, Zhuoxian; Tian, Xiaorui; Käll, Mikael; Xu, Hongxing
2011-07-12
Optical computing has been pursued for decades as a potential strategy for advancing beyond the fundamental performance limitations of semiconductor-based electronic devices, but feasible on-chip integrated logic units and cascade devices have not been reported. Here we demonstrate that a plasmonic binary NOR gate, a 'universal logic gate', can be realized through cascaded OR and NOT gates in four-terminal plasmonic nanowire networks. This finding provides a path for the development of novel nanophotonic on-chip processor architectures for future optical computing technologies.
Diagnosable structured logic array
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.
Prakash, Manu; Gershenfeld, Neil
2007-02-09
We demonstrate universal computation in an all-fluidic two-phase microfluidic system. Nonlinearity is introduced into an otherwise linear, reversible, low-Reynolds number flow via bubble-to-bubble hydrodynamic interactions. A bubble traveling in a channel represents a bit, providing us with the capability to simultaneously transport materials and perform logical control operations. We demonstrate bubble logic AND/OR/NOT gates, a toggle flip-flop, a ripple counter, timing restoration, a ring oscillator, and an electro-bubble modulator. These show the nonlinearity, gain, bistability, synchronization, cascadability, feedback, and programmability required for scalable universal computation. With increasing complexity in large-scale microfluidic processors, bubble logic provides an on-chip process control mechanism integrating chemistry and computation.
Giordano, Paolo
2009-01-01
We introduce the ring of Fermat reals, an extension of the real field containing nilpotent infinitesimals. The construction takes inspiration from Smooth Infinitesimal Analysis (SIA), but provides a powerful theory of actual infinitesimals without any need of a background in mathematical logic. In particular, on the contrary with respect to SIA, which admits models only in intuitionistic logic, the theory of Fermat reals is consistent with classical logic. We face the problem to decide if the product of powers of nilpotent infinitesimals is zero or not, the identity principle for polynomials, the definition and properties of the total order relation. The construction is highly constructive, and every Fermat real admits a clear and order preserving geometrical representation. Using nilpotent infinitesimals, every smooth functions becomes a polynomial because in Taylor's formulas the rest is now zero. Finally, we present several applications to informal classical calculations used in Physics: now all these calc...
Logic Programming for Linguistics
DEFF Research Database (Denmark)
Christiansen, Henning
2010-01-01
This article gives a short introduction on how to get started with logic pro- gramming in Prolog that does not require any previous programming expe- rience. The presentation is aimed at students of linguistics, but it does not go deeper into linguistics than any student who has some ideas of what...... a computer is, can follow the text. I cannot, of course, cover all aspects of logic programming in this text, and so we give references to other sources with more details. Students of linguistics must have a very good motivation to spend time on programming, and I show here how logic programming can be used...... for modelling different linguistic phenomena. When modelling language in this way, as opposed to using only paper and pencil, your models go live: you can run and test your models and you can use them as automatic language analyzers. This way you will get a better understanding of the dynamics of languages...
Introduction to mathematical logic
Mendelson, Elliott
2009-01-01
The Propositional CalculusPropositional Connectives. Truth TablesTautologies Adequate Sets of Connectives An Axiom System for the Propositional Calculus Independence. Many-Valued LogicsOther AxiomatizationsFirst-Order Logic and Model TheoryQuantifiersFirst-Order Languages and Their Interpretations. Satisfiability and Truth. ModelsFirst-Order TheoriesProperties of First-Order Theories Additional Metatheorems and Derived Rules Rule C Completeness Theorems First-Order Theories with EqualityDefinitions of New Function Letters and Individual Constants Prenex Normal Forms Isomorphism of Interpretati
Stoll, Robert R
1979-01-01
Set Theory and Logic is the result of a course of lectures for advanced undergraduates, developed at Oberlin College for the purpose of introducing students to the conceptual foundations of mathematics. Mathematics, specifically the real number system, is approached as a unity whose operations can be logically ordered through axioms. One of the most complex and essential of modern mathematical innovations, the theory of sets (crucial to quantum mechanics and other sciences), is introduced in a most careful concept manner, aiming for the maximum in clarity and stimulation for further study in
DEFF Research Database (Denmark)
Ramli, Carroline Dewi Puspa Kencana; Nielson, Hanne Riis; Nielson, Flemming
2011-01-01
We study the international standard XACML 3.0 for describing security access control policy in a compositional way. Our main contribution is to derive a logic that precisely captures the idea behind the standard and to formally define the semantics of the policy combining algorithms of XACML....... To guard against modelling artifacts we provide an alternative way of characterizing the policy combining algorithms and we formally prove the equivalence of these approaches. This allows us to pinpoint the shortcoming of previous approaches to formalization based either on Belnap logic or on D-algebra....
DEFF Research Database (Denmark)
Ramli, Carroline Dewi Puspa Kencana; Nielson, Hanne Riis; Nielson, Flemming
2011-01-01
We study the international standard XACML 3.0 for describing security access control policy in a compositional way. Our main contribution is to derive a logic that precisely captures the idea behind the standard and to formally define the semantics of the policy combining algorithms of XACML....... To guard against modelling artefacts we provide an alternative way of characterizing the policy combining algorithms and we formally prove the equivalence of these approaches. This allows us to pinpoint the shortcoming of previous approaches to formalization based either on Belnap logic or on D -algebra....
Reactive standard deontic logic
Gabbay, Dov M.; Straßer, Christian
2015-01-01
We introduce a reactive variant of SDL (standard deontic logic): SDLR1 (reactive standard deontic logic). Given a Kripkean view on the semantics of SDL in terms of directed graphs where arrows -> represent the accessibility relation between worlds, reactive models add two elements: arrows -> are labelled as 'active' or 'inactive', and double arrows a dagger connect arrows, e.g. (x(1) -> x(2)) a dagger (x(3) -> x(4)). The idea is that passing through x(1) -> x(2) activates a switch represented...
Rebuschi, Manuel
2009-01-01
One of the highlights of recent informal epistemology is its growing theoretical emphasis upon various notions of context. The present paper addresses the connections between knowledge and context within a formal approach. To this end, a "contextual epistemic logic", CEL, is proposed, which consists of an extension of standard S5 epistemic modal logic with appropriate reduction axioms to deal with an extra contextual operator. We describe the axiomatics and supply both a Kripkean and a dialogical semantics for CEL. An illustration of how it may fruitfully be applied to informal epistemological matters is provided.
Linear Logical Voting Protocols
DEFF Research Database (Denmark)
DeYoung, Henry; Schürmann, Carsten
2012-01-01
. In response, we promote linear logic as a high-level language for both specifying and implementing voting protocols. Our linear logical specifications of the single-winner first-past-the-post (SW- FPTP) and single transferable vote (STV) protocols demonstrate that this approach leads to concise......Current approaches to electronic implementations of voting protocols involve translating legal text to source code of an imperative programming language. Because the gap between legal text and source code is very large, it is difficult to trust that the program meets its legal specification...... implementations that closely correspond to their legal specification, thereby increasing trust....
Translating Dominant Institutional Logics in Practice
DEFF Research Database (Denmark)
Agger Nielsen, Jeppe; Jensen, Tina Blegind
In this paper we examine the proliferation of a new mobile technology in a structured setting of home care in Denmark, focusing on how actions at multiple levels interact to enable technology diffusion and institutionalization. The case study shows how a dominating field level logic...... of the efficient mobile technology system becomes transformed and institutionalized through translation mechanisms as organizations reformulate and interpret the organizational practices of mobile technology use during the process of adoption. Our study offers a multilevel view on these processes and suggests...
Construction of DNA logic gates utilizing a H+/Ag+ induced i-motif structure.
Shi, Yunhua; Sun, Hongxia; Xiang, Junfeng; Chen, Hongbo; Yang, Qianfan; Guan, Aijiao; Li, Qian; Yu, Lijia; Tang, Yalin
2014-12-18
A simple technology to construct diverse DNA logic gates (OR and INHIBIT) has been designed utilizing a H(+) and/or Ag(+) induced i-motif structure. The logic gates are easily controlled and also show a real time response towards inputs. The research provides a new insight for designing DNA logic gates using an i-motif DNA structure.
A pointer logic and certifying compiler
Institute of Scientific and Technical Information of China (English)
CHEN Yiyun; GE Lin; HUA Baojian; LI Zhaopeng; LIU Cheng; WANG Zhifang
2007-01-01
Proof-Carrying Code brings two big challenges to the research field of programming languages.One is to seek more expressive logics or type systems to specify or reason about the properties of low-level or high-level programs.The other is to study the technology of certifying compilation in which the compiler generates proofs for programs with annotations.This paper presents our progress in the above two aspects.A pointer logic was designed for PointerC (a C-like programming language) in our research.As an extension of Hoare logic,our pointer logic expresses the change of pointer information for each statement in its inference rules to support program verification.Meanwhile,based on the ideas from CAP (Certified Assembly Programming) and SCAP (Stack-based Certified Assembly Programming),a reasoning framework was built to verify the properties of object code in a Hoare style.And a certifying compiler prototype for PointerC was implemented based on this framework.The main contribution of this paper is the design of the pointer logic and the implementation of the certifying compiler prototype.In our certifying compiler,the source language contains rich pointer types and operations and also supports dynamic storage allocation and deallocation.
From logic design to logic programming
Energy Technology Data Exchange (ETDEWEB)
Snyers, D.; Thayse, A.
1987-01-01
The main purpose of the present book is to show that in the same way as P-functions can lead to algorithmic or imperative implementations via the algorithmic state machine model or via the parallel program schema, they can also lead to a declarative type of implementation via the theorem proving model. As P-functions are used for synthesizing algorithms, the result of the synthesis can be interpreted in terms of implementation tools. To the hardware, microprogrammed and programmed (in an algorithmic or imperative programming environment using fortran-like or pascal-like languages) implementations the authors can thus add logic programmed implementation as a possible result of the P-function calculus.
Radiation tolerant combinational logic cell
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.
Greek, Indian and Arabic logic
Gabbay, Dov M
2004-01-01
Greek, Indian and Arabic Logic marks the initial appearance of the multi-volume Handbook of the History of Logic. Additional volumes will be published when ready, rather than in strict chronological order. Soon to appear are The Rise of Modern Logic: From Leibniz to Frege. Also in preparation are Logic From Russell to Gödel, Logic and the Modalities in the Twentieth Century, and The Many-Valued and Non-Monotonic Turn in Logic. Further volumes will follow, including Mediaeval and Renaissance Logic and Logic: A History of its Central. In designing the Handbook of the History of Logic, the Editors have taken the view that the history of logic holds more than an antiquarian interest, and that a knowledge of logic's rich and sophisticated development is, in various respects, relevant to the research programmes of the present day. Ancient logic is no exception. The present volume attests to the distant origins of some of modern logic's most important features, such as can be found in the claim by the authors of t...
Mapping Individual Logical Processes
Smetana, Frederick O.
1975-01-01
A technique to measure and describe concisely a certain class of individual mental reasoning processes has been developed. The measurement is achieved by recording the complete dialog between a large, varied computerized information system with a broad range of logical operations and options and a human information seeker. (Author/RC)
Logicism, intuitionism, and formalism
Symons, John
2008-01-01
Aims to review the programmes in the foundations of mathematics from the classical period and to assess their possible relevance for contemporary philosophy of mathematics. This work is suitable for researchers and graduate students of philosophy, logic, mathematics and theoretical computer science.
Duration Calculus: Logical Foundations
DEFF Research Database (Denmark)
Hansen, Michael Reichhardt; Chaochen, Zhou
1997-01-01
The Duration Calculus (abbreviated DC) represents a logical approach to formal design of real-time systems, where real numbers are used to model time and Boolean valued functions over time are used to model states and events of real-time systems. Since it introduction, DC has been applied to many...
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…
Krötzsch, Markus; Horrocks, Ian
2012-01-01
This paper provides a self-contained first introduction to description logics (DLs). The main concepts and features are explained with examples before syntax and semantics of the DL SROIQ are defined in detail. Additional sections review light-weight DL languages, discuss the relationship to the Web Ontology Language OWL and give pointers to further reading.
DEFF Research Database (Denmark)
Ramli, Carroline Dewi Puspa Kencana; Nielson, Hanne Riis; Nielson, Flemming
2014-01-01
We study the international standard XACML 3.0 for describing security access control policies in a compositional way. Our main contributions are (i) to derive a logic that precisely captures the intentions of the standard, (ii) to formally define a semantics for the XACML 3.0 component evaluation...
Nonmonotonic logics and algebras
Institute of Scientific and Technical Information of China (English)
CHAKRABORTY Mihir Kr; GHOSH Sujata
2008-01-01
Several nonmonotonie logic systems together with their algebraic semantics are discussed. NM-algebra is defined.An elegant construction of an NM-algebra starting from a Boolean algebra is described which gives rise to a few interesting algebraic issues.
DEFF Research Database (Denmark)
Jensen, Jonas Buhrkal; Birkedal, Lars
2012-01-01
, separation means physical separation. In this paper, we introduce \\emph{fictional separation logic}, which includes more general forms of fictional separating conjunctions P * Q, where "*" does not require physical separation, but may also be used in situations where the memory resources described by P and Q...
Logic Programming for Linguistics
DEFF Research Database (Denmark)
Christiansen, Henning
2010-01-01
This article gives a short introduction on how to get started with logic pro- gramming in Prolog that does not require any previous programming expe- rience. The presentation is aimed at students of linguistics, but it does not go deeper into linguistics than any student who has some ideas of what...
LOGICAL SEMANTICS OF MODULARIZATION
DELAVALETTE, GRR
1992-01-01
An algebra of theories, signatures, renamings and the operations import and export is investigated. A normal form theorem for terms of this algebra is proved. Another algebraic approach and the relation with a fragment of second order logic are also considered.
Bergstra, J.A.; Ponse, A.
2010-01-01
Short-circuit evaluation denotes the semantics of propositional connectives in which the second argument is only evaluated if the first argument does not suffice to determine the value of the expression. In programming, short-circuit evaluation is widely used. A short-circuit logic is a variant of p
Quantum probabilistic logic programming
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.
Logical analysis of biological systems
DEFF Research Database (Denmark)
Mardare, Radu Iulian
2005-01-01
R. Mardare, Logical analysis of biological systems. Fundamenta Informaticae, N 64:271-285, 2005.......R. Mardare, Logical analysis of biological systems. Fundamenta Informaticae, N 64:271-285, 2005....
Preferential reasoning for modal logics
CSIR Research Space (South Africa)
Britz, K
2011-11-01
Full Text Available Modal logic is the foundation for a versatile and well-established class of knowledge representation formalisms in artificial intelligence. Enriching modal logics with non-monotonic reasoning capabilities such as preferential reasoning as developed...
Grzegorczyk, Dawid; Mulawka, Jan J.; Nieznański, Edward
In this article there are presented a few methods of proving that can be adopted for epistemic logic. Those methods are used for proving sample thesis in a certain considered epistemic logic also described briefly in this work.
DEFF Research Database (Denmark)
Braüner, Torben
2011-01-01
Hybrid logic is an extension of modal logic which allows us to refer explicitly to points of the model in the syntax of formulas. It is easy to justify interest in hybrid logic on applied grounds, with the usefulness of the additional expressive power. For example, when reasoning about time one...... often wants to build up a series of assertions about what happens at a particular instant, and standard modal formalisms do not allow this. What is less obvious is that the route hybrid logic takes to overcome this problem often actually improves the behaviour of the underlying modal formalism....... For example, it becomes far simpler to formulate proof-systems for hybrid logic, and completeness results can be proved of a generality that is simply not available in modal logic. That is, hybridization is a systematic way of remedying a number of known deficiencies of modal logic. First-order hybrid logic...
Wansing, Heinrich; Willkommen, Caroline; Recent Trends in Philosophical Logic
2014-01-01
This volume presents recent advances in philosophical logic with chapters focusing on non-classical logics, including paraconsistent logics, substructural logics, modal logics of agency and other modal logics. The authors cover themes such as the knowability paradox, tableaux and sequent calculi, natural deduction, definite descriptions, identity, truth, dialetheism, and possible worlds semantics. The developments presented here focus on challenging problems in the specification of fundamental philosophical notions, as well as presenting new techniques and tools, thereby contributing to the development of the field. Each chapter contains a bibliography, to assist the reader in making connections in the specific areas covered. Thus this work provides both a starting point for further investigations into philosophical logic and an update on advances, techniques and applications in a dynamic field. The chapters originate from papers presented during the Trends in Logic XI conference at the Ruhr University ...
Finding Unity in Computational Logic
Miller, Dale
2010-01-01
International audience; While logic was once developed to serve philosophers and mathematicians, it is increasingly serving the varied needs of computer scientists. In fact, recent decades have witnessed the creation of the new discipline of Computational Logic. While Computation Logic can claim involvement in diverse areas of computing, little has been done to systematize the foundations of this new discipline. Here, we envision a unity for Computational Logic organized around the proof theo...
Nguyen, Hung T
2005-01-01
THE CONCEPT OF FUZZINESS Examples Mathematical modeling Some operations on fuzzy sets Fuzziness as uncertainty Exercises SOME ALGEBRA OF FUZZY SETS Boolean algebras and lattices Equivalence relations and partitions Composing mappings Isomorphisms and homomorphisms Alpha-cuts Images of alpha-level sets Exercises FUZZY QUANTITIES Fuzzy quantities Fuzzy numbers Fuzzy intervals Exercises LOGICAL ASPECTS OF FUZZY SETS Classical two-valued logic A three-valued logic Fuzzy logic Fuzzy and Lukasiewi
组合逻辑电路设计在EDA技术中的应用%Application of Combinational Logic Circuit Design in the EDA Technologies
Institute of Scientific and Technical Information of China (English)
杨旭; 杨云; 佟妍
2012-01-01
Multisim9 software is specially designed for electronic circuit simulation and design of EDA software. This will design a lifting of the voting circuit circuit examples of application to EDA. the oretical teaching and EDA technologies combined.for learning theoretical knowledge of digital electronic technology to expand the space.%Multisim9软件是专门用于电子电路仿真与设计的EDA软件,本文将设计一个举重裁判表决电路的组合电路实例应用到EDA中,将理论教学与EDA技术的结合在一起,为学习教字电子技术的理论知识拓展了空间.
Modal Logics for Cryptographic Processes
DEFF Research Database (Denmark)
Frendrup, U.; Huttel, Hans; Jensen, N. J.
2002-01-01
We present three modal logics for the spi-calculus and show that they capture strong versions of the environment sensitive bisimulation introduced by Boreale et al. Our logics differ from conventional modal logics for process calculi in that they allow us to describe the knowledge of an attacker ...
DEFF Research Database (Denmark)
Engberg, Uffe Henrik; Winskel, Glynn
This article shows how individual Petri nets form models of Girard's intuitionistic linear logic. It explores questions of expressiveness and completeness of linear logic with respect to this interpretation. An aim is to use Petri nets to give an understanding of linear logic and give some apprai...
A Review on Energy Efficient CMOS Digital Logic
Directory of Open Access Journals (Sweden)
B. L. Dokic
2013-12-01
Full Text Available Autonomy of power supply used in portable devices directly depends on energy efficiency of digital logic. This means that digital systems, beside high processing power and very complex functionality, must also have very low power consumption. Power consumption depends on many factors: system architecture, technology, basic cells topology-speed, and accuracy of assigned tasks. In this paper, a review and comparison of CMOS topologies techniques and operating modes is given, as CMOS technology is expected to be the optimum choice in the near future. It is shown that there is a full analogy in the behavior of digital circuits in sub-threshold and strong inversion. Therefore, synthesis of digital circuits is the same for both strong and weak operating modes. Analysis of the influence of the technology, MOS transistor threshold voltage (Vt and power supply voltage (Vdd on digital circuit power consumption and speed for both operating modes is given. It is shown that optimal power consumption (minimum power consumption for given speed depends on optimal choice of threshold, and power supply voltage. Multi Vdd /Vt techniques are analyzed as well. A review and analysis of alternative logical circuit's topologies – pass logic (PL, complementary pass logic (CPL, push-pull pass logic (PPL and adiabatic logic – is also given. As shown, adiabatic logic is the optimum choice regarding energy efficiency.
Design of synthetic biological logic circuits based on evolutionary algorithm.
Chuang, Chia-Hua; Lin, Chun-Liang; Chang, Yen-Chang; Jennawasin, Tanagorn; Chen, Po-Kuei
2013-08-01
The construction of an artificial biological logic circuit using systematic strategy is recognised as one of the most important topics for the development of synthetic biology. In this study, a real-structured genetic algorithm (RSGA), which combines general advantages of the traditional real genetic algorithm with those of the structured genetic algorithm, is proposed to deal with the biological logic circuit design problem. A general model with the cis-regulatory input function and appropriate promoter activity functions is proposed to synthesise a wide variety of fundamental logic gates such as NOT, Buffer, AND, OR, NAND, NOR and XOR. The results obtained can be extended to synthesise advanced combinational and sequential logic circuits by topologically distinct connections. The resulting optimal design of these logic gates and circuits are established via the RSGA. The in silico computer-based modelling technology has been verified showing its great advantages in the purpose.
Energy Technology Data Exchange (ETDEWEB)
Beal, D.; Bock, J.; Hatmaker, T.; Zolyniak, J.; Goddard, P. [Oak Ridge K-25 Site, TN (United States); Kucsmas, D. [Oak Ridge National Lab., TN (United States)
1991-10-01
The K-1407-C Retention Basin was a surface impoundment at the Oak Ridge K-25 Site. The basin was used primarily for storing potassium hydroxide scrubber sludge generated at the K-25 Site. In addition, from 1960 to 1973, metal hydroxide sludges that were removed from the K-1407-B Holding Pond were discharged to the K-1407-C Retention Basin. The sludge in the K-1407-B Pond contained discharge from the K-1420 Decontamination and Uranium Recovery, the K-1501 Steam Plant, the K-1413 Laboratory, and the K-1401 Maintenance Building. Radioactive material is also present in the K-1407-C Retention Basin, probably the result of cleaning and decontamination activities at some of the aforementioned facilities. The discharge of waste materials to K-1407-C was discontinued before November of 1988, and all sludge was removed from the retention basin. Some of the sludge was stored, and the remainder was fixed in concrete. This report is specific to the K-1407-C Retention Basin and includes information pertinent to the evaluation of soil contamination. The focus of this evaluation is the effectiveness of the Phase 1 investigation of the K-1407-C Retention Basin to define site conditions adequately to support decisions regarding appropriate closure alternatives. This includes the physical characterization of the site area and the characterization of the nature and extent of contamination at the site in relation to risk characterization and statistical evaluation.
Energy Technology Data Exchange (ETDEWEB)
Beal, D.; Bock, J.; Hatmaker, T.; Zolyniak, J.; Goddard, P. (Oak Ridge K-25 Site, TN (United States)); Kucsmas, D. (Oak Ridge National Lab., TN (United States))
1991-10-01
The K-1407-C Retention Basin was a surface impoundment at the Oak Ridge K-25 Site. The basin was used primarily for storing potassium hydroxide scrubber sludge generated at the K-25 Site. In addition, from 1960 to 1973, metal hydroxide sludges that were removed from the K-1407-B Holding Pond were discharged to the K-1407-C Retention Basin. The sludge in the K-1407-B Pond contained discharge from the K-1420 Decontamination and Uranium Recovery, the K-1501 Steam Plant, the K-1413 Laboratory, and the K-1401 Maintenance Building. Radioactive material is also present in the K-1407-C Retention Basin, probably the result of cleaning and decontamination activities at some of the aforementioned facilities. The discharge of waste materials to K-1407-C was discontinued before November of 1988, and all sludge was removed from the retention basin. Some of the sludge was stored, and the remainder was fixed in concrete. This report is specific to the K-1407-C Retention Basin and includes information pertinent to the evaluation of soil contamination. The focus of this evaluation is the effectiveness of the Phase 1 investigation of the K-1407-C Retention Basin to define site conditions adequately to support decisions regarding appropriate closure alternatives. This includes the physical characterization of the site area and the characterization of the nature and extent of contamination at the site in relation to risk characterization and statistical evaluation.
Pascal, Robert; Pross, Addy
2016-04-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.
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.
DEFF Research Database (Denmark)
Friche, Nanna; Normann Andersen, Vibeke
combined with state funding through a taximeter scheme (pay per student). Secondly, party governance system involving labor market partners at both national and local level formalized through a national Council for Vocational Training and 50 local trade committees as well as local education committees......For the last fifteen years completion rates in Danish vocational education and training (VET) has stayed on a rather low level. In 2014, only half of the students enrolled in a vocational program on upper secondary level, graduated from the program (Flarup et al 2016). In Denmark, like in other...... and well-being of students enrolled in the VETs must be strengthened. We focus on target 1, 2 and 4. The reform is being implemented in a field of VET that can be characterized by four logics of governance. Firstly, a governance logic characterized by institutional independence of vocational colleges...
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.
Delay modeling in logic simulation
Energy Technology Data Exchange (ETDEWEB)
Acken, J. M.; Goldstein, L. H.
1980-01-01
As digital integrated circuit size and complexity increases, the need for accurate and efficient computer simulation increases. Logic simulators such as SALOGS (SAndia LOGic Simulator), which utilize transition states in addition to the normal stable states, provide more accurate analysis than is possible with traditional logic simulators. Furthermore, the computational complexity of this analysis is far lower than that of circuit simulation such as SPICE. An eight-value logic simulation environment allows the use of accurate delay models that incorporate both element response and transition times. Thus, timing simulation with an accuracy approaching that of circuit simulation can be accomplished with an efficiency comparable to that of logic simulation. 4 figures.
Strong Completeness for Markovian Logics
DEFF Research Database (Denmark)
Kozen, Dexter; Mardare, Radu Iulian; Panangaden, Prakash
2013-01-01
In this paper we present Hilbert-style axiomatizations for three logics for reasoning about continuous-space Markov processes (MPs): (i) a logic for MPs defined for probability distributions on measurable state spaces, (ii) a logic for MPs defined for sub-probability distributions and (iii) a logic...... defined for arbitrary distributions. These logics are not compact so one needs infinitary rules in order to obtain strong completeness results. We propose a new infinitary rule that replaces the so-called Countable Additivity Rule (CAR) currently used in the literature to address the problem of proving...
Bisimulations, games, and logic
DEFF Research Database (Denmark)
Nielsen, Mogens; Clausen, Christian
1994-01-01
In a recent paper by Joyal, Nielsen, and Winskel, bisimulation is defined in an abstract and uniform way across a wide range of different models for concurrency. In this paper, following a recent trend in theoretical computer science, we characterize their abstract definition game-theoretically a......-theoretically and logically in a non-interleaving model. Our characterizations appear as surprisingly simple extensions of corresponding characterizations of interleaving bisimulation....
Magnetoresistive logic and biochip
Energy Technology Data Exchange (ETDEWEB)
Brueckl, Hubert E-mail: brueckl@physik.uni-bielefeld.de; Brzeska, Monika; Brinkmann, Dirk; Schotter, J.Joerg; Reiss, Guenter; Schepper, Willi; Kamp, P.-B.; Becker, Anke
2004-11-01
While some magnetoresistive devices based on giant magnetoresistance or spin-dependent tunneling are already commercialized, a new branch of development is evolving towards magnetoresistive logic with magnetic tunnel junctions. Furthermore, the new magnetoelectronic effects show promising properties in magnetoresistive biochips, which are capable of detecting even single molecules (e.g. DNA) by functionalized magnetic markers. The unclear limits of this approach are discussed with two model systems.
Teslenko, Maxim
2008-01-01
This dissertation is in the area of Computer-Aided Design (CAD) of digital Integrated Circuits (ICs). Today's digital ICs, such as microprocessors, memories, digital signal processors (DSPs), etc., range from a few thousands to billions of logic gates, flip-flops, and other components, packed in a few millimeters of area. The creation of such highly complex systems would not be possible without the use of CAD tools. CAD tools play the key role in determining the area, speed and power consumpt...
Probabilistic Logical Characterization
DEFF Research Database (Denmark)
Hermanns, Holger; Parma, Augusto; Segala, Roberto;
2011-01-01
Probabilistic automata exhibit both probabilistic and non-deterministic choice. They are therefore a powerful semantic foundation for modeling concurrent systems with random phenomena arising in many applications ranging from artificial intelligence, security, systems biology to performance model...... modeling. Several variations of bisimulation and simulation relations have proved to be useful as means to abstract and compare different automata. This paper develops a taxonomy of logical characterizations of these relations on image-finite and image-infinite probabilistic automata....
1986-12-01
determining the consequences of assumptions about the behavior of a system . If the space of behaviors is represented by an envisionment , many such...consequences can be represented by pruning states from the envisionment . This paper provides a formal logic of occurrence which justifies the...algorithms involved and provides a language for relating specific histories to envisionments . The concepts and axioms are general enough to be applicable to
Energy Technology Data Exchange (ETDEWEB)
Thiesing, J. W.; Donohoue, Tom; McCague, Jim; Martin, Ray; Royce, Ralph; Thomas, Troy
2008-04-14
The Holdup Measurement System 4 (HMS4) is a portable thallium activated sodium iodide (NaI[Tl]) gamma ray energy spectrometer that, when properly calibrated, is able to make quantifiable assessment of U-235 holdup in the presence of other uranium isotopes and prevailing background radiation. The use and calibration of the HMS4 is based upon the methodologies defined by Russo in La-14206, (Russo 2005), where detection efficiency determination protocols are defined (called Generalized Geometry Holdup [GGH]). The GGH methodology together with attenuation correction algorithms and other modeling parameters are combined in the HMS4 software package to provide a comprehensive tool for conducting in situ gamma-ray measurements. The fundamental principles of these capabilities are discussed.
Complexity of validity for propositional dependence logics
Jonni Virtema
2014-01-01
We study the validity problem for propositional dependence logic, modal dependence logic and extended modal dependence logic. We show that the validity problem for propositional dependence logic is NEXPTIME-complete. In addition, we establish that the corresponding problem for modal dependence logic and extended modal dependence logic is NEXPTIME-hard and in NEXPTIME^NP.
Dynamic Logics of Dynamical Systems
Platzer, André
2012-01-01
We survey dynamic logics for specifying and verifying properties of dynamical systems, including hybrid systems, distributed hybrid systems, and stochastic hybrid systems. A dynamic logic is a first-order modal logic with a pair of parametrized modal operators for each dynamical system to express necessary or possible properties of their transition behavior. Due to their full basis of first-order modal logic operators, dynamic logics can express a rich variety of system properties, including safety, controllability, reactivity, liveness, and quantified parametrized properties, even about relations between multiple dynamical systems. In this survey, we focus on some of the representatives of the family of differential dynamic logics, which share the ability to express properties of dynamical systems having continuous dynamics described by various forms of differential equations. We explain the dynamical system models, dynamic logics of dynamical systems, their semantics, their axiomatizations, and proof calcul...
Plastic Logic quits e-reader market
Perks, Simon
2012-07-01
A UK firm spun out from the University of Cambridge that sought to be a world leader in flexible organic electronic circuits and displays has pulled out of the competitive e-reader market as it struggles to find a commercial outlet for its technology. Plastic Logic announced in May that it is to close its development facility in Mountain View, California, with the loss of around 40 jobs.
Mixed wasted integrated program: Logic diagram
Energy Technology Data Exchange (ETDEWEB)
Mayberry, J.; Stelle, S. [Science Applications International Corp., Idaho Falls, ID (United States); O`Brien, M. [Univ. of Arizona, Tucson, AZ (United States); Rudin, M. [Univ. of Nevada, Las Vegas, NV (United States); Ferguson, J. [Lockheed Idaho Technologies Co., Idaho Falls, ID (United States); McFee, J. [I.T. Corp., Albuquerque, NM (United States)
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).
Fuzzy logic controller to improve powerline communication
Tirrito, Salvatore
2015-12-01
The Power Line Communications (PLC) technology allows the use of the power grid in order to ensure the exchange of data information among devices. This work proposes an approach, based on Fuzzy Logic, that dynamically manages the amplitude of the signal, with which each node transmits, by processing the master-slave link quality measured and the master-slave distance. The main objective of this is to reduce both the impact of communication interferences induced and power consumption.
Disjunctive logic and semantics of disjunctive logic programs
Institute of Scientific and Technical Information of China (English)
沈一栋
1997-01-01
In common sense reasoning with incomplete knowledge bases, conclusions are made by defaultHowever, it is observed that when the negation-by-default operator not is defined as not provable , the disjunctive logic program { a V b, not a, not b} should be consistent because a being not provable and b being nor provable does not imply a V b being riot provable. Such an observation is significant for non-monotonic reasoning, but none of the major current semantics for disjunctive logic programs is able to support it because they are all based on classical first-order logic in which assuming not a and not b implies assuming no: (a V b) A new first-order logic (disjunctive logic ) is developed that fully complies with this observation and new semantics for disjunctive logic programs are established This theory is able to formalize and solve some paradoxical problems, such as the lottery paradox
Instantaneous noise-based logic
Kish, Laszlo B; Peper, Ferdinand
2010-01-01
We show two universal, Boolean, deterministic logic schemes based on binary noise timefunctions that can be realized without time averaging units. The first scheme is based on a new bipolar random telegraph wave scheme and the second one makes use of the recent noise-based logic which is conjectured to be the brain's method of logic operations [Physics Letters A 373 (2009) 2338-2342, arXiv:0902.2033]. For binary-valued logic operations, the two simple Boolean schemes presented in this paper use zero (no noise) for the logic Low (L) state. In the random telegraph wave-based scheme, for multi-valued logic operations, additive superpositions of logic states must be avoided, while multiplicative superpositions utilizing hyperspace base vectors can still be utilized. These modifications, while keeping the information richness of multi-valued (noise-based) logic, result in a significant speedup of logic operations for the same signal bandwidth. The logic hyperspace of the first scheme results random telegraph waves...
MOSFET-like CNFET based logic gate library for low-power application: a comparative study
Gowri Sankar, P. A.; Udhayakumar, K.
2014-07-01
The next generation of logic gate devices are expected to depend upon radically new technologies mainly due to the increasing difficulties and limitations of existing CMOS technology. MOSFET like CNFETs should ideally be the best devices to work with for high-performance VLSI. This paper presents results of a comprehensive comparative study of MOSFET-like carbon nanotube field effect transistors (CNFETs) technology based logic gate library for high-speed, low-power operation than conventional bulk CMOS libraries. It focuses on comparing four promising logic families namely: complementary-CMOS (C-CMOS), transmission gate (TG), complementary pass logic (CPL) and Domino logic (DL) styles are presented. Based on these logic styles, the proposed library of static and dynamic NAND-NOR logic gates, XOR, multiplexer and full adder functions are implemented efficiently and carefully analyzed with a test bench to measure propagation delay and power dissipation as a function of supply voltage. This analysis provides the right choice of logic style for low-power, high-speed applications. Proposed logic gates libraries are simulated using Synopsys HSPICE based on the standard 32 nm CNFET model. The simulation results demonstrate that, it is best to use C-CMOS logic style gates that are implemented in CNFET technology which are superior in performance compared to other logic styles, because of their low average power-delay-product (PDP). The analysis also demonstrates how the optimum supply voltage varies with logic styles in ultra-low power systems. The robustness of the proposed logic gate library is also compared with conventional and state-art of CMOS logic gate libraries.
Classical Mathematical Logic The Semantic Foundations of Logic
Epstein, Richard L
2011-01-01
In Classical Mathematical Logic, Richard L. Epstein relates the systems of mathematical logic to their original motivations to formalize reasoning in mathematics. The book also shows how mathematical logic can be used to formalize particular systems of mathematics. It sets out the formalization not only of arithmetic, but also of group theory, field theory, and linear orderings. These lead to the formalization of the real numbers and Euclidean plane geometry. The scope and limitations of modern logic are made clear in these formalizations. The book provides detailed explanations of all proo
NOVEL REVERSIBLE VARIABLE PRECISION MULTIPLIER USING REVERSIBLE LOGIC GATES
M. Saravanan; K. Suresh Manic
2014-01-01
Multipliers play a vital role in digital systems especially in digital processors. There are many algorithms and designs were proposed in the earlier works, but still there is a need and a greater interest in designing a less complex, low power consuming, fastest multipliers. Reversible logic design became the promising technologies gaining greater interest due to less dissipation of heat and low power consumption. In this study a reversible logic gate based design of variable precision multi...
T Atanassov, Krassimir
2017-01-01
The book offers a comprehensive survey of intuitionistic fuzzy logics. By reporting on both the author’s research and others’ findings, it provides readers with a complete overview of the field and highlights key issues and open problems, thus suggesting new research directions. Starting with an introduction to the basic elements of intuitionistic fuzzy propositional calculus, it then provides a guide to the use of intuitionistic fuzzy operators and quantifiers, and lastly presents state-of-the-art applications of intuitionistic fuzzy sets. The book is a valuable reference resource for graduate students and researchers alike.
Flexible programmable logic module
Energy Technology Data Exchange (ETDEWEB)
Robertson, Perry J. (Albuquerque, NM); Hutchinson, Robert L. (Albuquerque, NM); Pierson, Lyndon G. (Albuquerque, NM)
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.
Computability, complexity, logic
Börger, Egon
1989-01-01
The theme of this book is formed by a pair of concepts: the concept of formal language as carrier of the precise expression of meaning, facts and problems, and the concept of algorithm or calculus, i.e. a formally operating procedure for the solution of precisely described questions and problems. The book is a unified introduction to the modern theory of these concepts, to the way in which they developed first in mathematical logic and computability theory and later in automata theory, and to the theory of formal languages and complexity theory. Apart from considering the fundamental themes an
Substructural Logical Specifications
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
Bright, Liam Kofi
2017-07-10
The logical empiricists expressed a consistent attitude to racial categorisation in both the ethical and scientific spheres. Their attitude may be captured in the following slogan: human racial taxonomy is an empirically meaningful mode of classifying persons that we should refrain from deploying. I offer an interpretation of their position that would render coherent their remarks on race with positions they adopted on the scientific status of taxonomy in general, together with their potential moral or political motivations for adopting that position. Copyright © 2017. Published by Elsevier Ltd.
DOIND: a technique for leakage reduction in nanoscale domino logic circuits
Prasad Shah, Ambika; Neema, Vaibhav; Daulatabad, Shreeniwas
2016-05-01
A novel DOIND logic approach is proposed for domino logic, which reduces the leakage current with a minimum delay penalty. Simulation is performed at 70 nm technology node with supply voltage 1V for domino logic and DOIND logic based AND, OR, XOR and Half Adder circuits using the tanner EDA tool. Simulation results show that the proposed DOIND approach decreases the average leakage current by 68.83%, 66.6%, 77.86% and 74.34% for 2 input AND, OR, XOR and Half Adder respectively. The proposed approach also has 47.76% improvement in PDAP for the buffer circuit as compared to domino logic.
Photonic encryption using all optical logic.
Energy Technology Data Exchange (ETDEWEB)
Blansett, Ethan L.; Schroeppel, Richard Crabtree; Tang, Jason D.; Robertson, Perry J.; Vawter, Gregory Allen; Tarman, Thomas David; Pierson, Lyndon George
2003-12-01
With the build-out of large transport networks utilizing optical technologies, more and more capacity is being made available. Innovations in Dense Wave Division Multiplexing (DWDM) and the elimination of optical-electrical-optical conversions have brought on advances in communication speeds as we move into 10 Gigabit Ethernet and above. Of course, there is a need to encrypt data on these optical links as the data traverses public and private network backbones. Unfortunately, as the communications infrastructure becomes increasingly optical, advances in encryption (done electronically) have failed to keep up. This project examines the use of optical logic for implementing encryption in the photonic domain to achieve the requisite encryption rates. In order to realize photonic encryption designs, technology developed for electrical logic circuits must be translated to the photonic regime. This paper examines two classes of all optical logic (SEED, gain competition) and how each discrete logic element can be interconnected and cascaded to form an optical circuit. Because there is no known software that can model these devices at a circuit level, the functionality of the SEED and gain competition devices in an optical circuit were modeled in PSpice. PSpice allows modeling of the macro characteristics of the devices in context of a logic element as opposed to device level computational modeling. By representing light intensity as voltage, 'black box' models are generated that accurately represent the intensity response and logic levels in both technologies. By modeling the behavior at the systems level, one can incorporate systems design tools and a simulation environment to aid in the overall functional design. Each black box model of the SEED or gain competition device takes certain parameters (reflectance, intensity, input response), and models the optical ripple and time delay characteristics. These 'black box' models are interconnected and
PM 3655 PHILIPS Logic analyzer
A logic analyzer is an electronic instrument that captures and displays multiple signals from a digital system or digital circuit. A logic analyzer may convert the captured data into timing diagrams, protocol decodes, state machine traces, assembly language, or may correlate assembly with source-level software. Logic Analyzers have advanced triggering capabilities, and are useful when a user needs to see the timing relationships between many signals in a digital system.
Generalized logic in experience thinking
Institute of Scientific and Technical Information of China (English)
何华灿; 刘永怀; 何大庆; 成华
1996-01-01
The thinking and mathematical background of raising GL is explained first,then the main definitions and basic features of GL are presented,and finally the relationship between GL and other logic and the GL family are discussed.Although the research of GL just began,it may become the logic of all other logic.GL will be one of the basic theories in AI research,and has promising application.
Methods in Logic Based Control
DEFF Research Database (Denmark)
Christensen, Georg Kronborg
1999-01-01
Desing and theory of Logic Based Control systems.Boolean Algebra, Karnaugh Map, Quine McClusky's algorithm. Sequential control design. Logic Based Control Method, Cascade Control Method. Implementation techniques: relay, pneumatic, TTL/CMOS,PAL and PLC- and Soft_PLC implementation. PLC-design met......Desing and theory of Logic Based Control systems.Boolean Algebra, Karnaugh Map, Quine McClusky's algorithm. Sequential control design. Logic Based Control Method, Cascade Control Method. Implementation techniques: relay, pneumatic, TTL/CMOS,PAL and PLC- and Soft_PLC implementation. PLC...
Admissibility of logical inference rules
Rybakov, VV
1997-01-01
The aim of this book is to present the fundamental theoretical results concerning inference rules in deductive formal systems. Primary attention is focused on: admissible or permissible inference rules the derivability of the admissible inference rules the structural completeness of logics the bases for admissible and valid inference rules. There is particular emphasis on propositional non-standard logics (primary, superintuitionistic and modal logics) but general logical consequence relations and classical first-order theories are also considered. The book is basically self-contained and
Optimization methods for logical inference
Chandru, Vijay
2011-01-01
Merging logic and mathematics in deductive inference-an innovative, cutting-edge approach. Optimization methods for logical inference? Absolutely, say Vijay Chandru and John Hooker, two major contributors to this rapidly expanding field. And even though ""solving logical inference problems with optimization methods may seem a bit like eating sauerkraut with chopsticks. . . it is the mathematical structure of a problem that determines whether an optimization model can help solve it, not the context in which the problem occurs."" Presenting powerful, proven optimization techniques for logic in
Barriers in Concurrent Separation Logic
Hobor, Aquinas; Gherghina, Cristian
We develop and prove sound a concurrent separation logic for Pthreads-style barriers. Although Pthreads barriers are widely used in systems, and separation logic is widely used for verification, there has not been any effort to combine the two. Unlike locks and critical sections, Pthreads barriers enable simultaneous resource redistribution between multiple threads and are inherently stateful, leading to significant complications in the design of the logic and its soundness proof. We show how our logic can be applied to a specific example program in a modular way. Our proofs are machine-checked in Coq.
Popular lectures on mathematical logic
Wang, Hao
2014-01-01
A noted logician and philosopher addresses various forms of mathematical logic, discussing both theoretical underpinnings and practical applications. Author Hao Wang surveys the central concepts and theories of the discipline in a historical and developmental context, and then focuses on the four principal domains of contemporary mathematical logic: set theory, model theory, recursion theory and constructivism, and proof theory.Topics include the place of problems in the development of theories of logic and logic's relation to computer science. Specific attention is given to Gödel's incomplete
Meta-Logical Reasoning in Higher-Order Logic
DEFF Research Database (Denmark)
Villadsen, Jørgen; Schlichtkrull, Anders; Hess, Andreas Viktor
The semantics of first-order logic (FOL) can be described in the meta-language of higher-order logic (HOL). Using HOL one can prove key properties of FOL such as soundness and completeness. Furthermore, one can prove sentences in FOL valid using the formalized FOL semantics. To aid in the constru...
Towards an arithmetical logic the arithmetical foundations of logic
Gauthier, Yvon
2015-01-01
This book offers an original contribution to the foundations of logic and mathematics, and focuses on the internal logic of mathematical theories, from arithmetic or number theory to algebraic geometry. Arithmetical logic is the term used to refer to the internal logic of classical arithmetic, here called Fermat-Kronecker arithmetic, and combines Fermat’s method of infinite descent with Kronecker’s general arithmetic of homogeneous polynomials. The book also includes a treatment of theories in physics and mathematical physics to underscore the role of arithmetic from a constructivist viewpoint. The scope of the work intertwines historical, mathematical, logical and philosophical dimensions in a unified critical perspective; as such, it will appeal to a broad readership from mathematicians to logicians, to philosophers interested in foundational questions. Researchers and graduate students in the fields of philosophy and mathematics will benefit from the author’s critical approach to the foundations of l...
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
Questions and dependency in intuitionistic logic
Ciardelli, Ivano; Iemhoff, Rosalie; Yang, Fan
2017-01-01
In recent years, the logic of questions and dependencies has been investigated in the closely related frameworks of inquisitive logic and dependence logic. These investigations have assumed classical logic as the background logic of statements, and added formulas expressing questions and
Reversible logic gates on Physarum Polycephalum
Energy Technology Data Exchange (ETDEWEB)
Schumann, Andrew [University of Information Technology and Management, Sucharskiego 2, Rzeszow, 35-225 (Poland)
2015-03-10
In this paper, we consider possibilities how to implement asynchronous sequential logic gates and quantum-style reversible logic gates on Physarum polycephalum motions. We show that in asynchronous sequential logic gates we can erase information because of uncertainty in the direction of plasmodium propagation. Therefore quantum-style reversible logic gates are more preferable for designing logic circuits on Physarum polycephalum.
A beginner's guide to mathematical logic
Smullyan, Raymond M
2014-01-01
Combining stories of great philosophers, quotations, and riddles with the fundamentals of mathematical logic, this new textbook for first courses in mathematical logic was written by the subject's creative master. Raymond Smullyan offers clear, incremental presentations of difficult logic concepts with creative explanations and unique problems related to proofs, propositional logic and first-order logic, undecidability, recursion theory, and other topics.
Logical entropy of quantum dynamical systems
Directory of Open Access Journals (Sweden)
Ebrahimzadeh Abolfazl
2016-01-01
Full Text Available This paper introduces the concepts of logical entropy and conditional logical entropy of hnite partitions on a quantum logic. Some of their ergodic properties are presented. Also logical entropy of a quantum dynamical system is dehned and ergodic properties of dynamical systems on a quantum logic are investigated. Finally, the version of Kolmogorov-Sinai theorem is proved.
Reversibility and energy dissipation in adiabatic superconductor logic.
Takeuchi, Naoki; Yamanashi, Yuki; Yoshikawa, Nobuyuki
2017-03-06
Reversible computing is considered to be a key technology to achieve an extremely high energy efficiency in future computers. In this study, we investigated the relationship between reversibility and energy dissipation in adiabatic superconductor logic. We analyzed the evolution of phase differences of Josephson junctions in the reversible quantum-flux-parametron (RQFP) gate and confirmed that the phase differences can change time reversibly, which indicates that the RQFP gate is physically, as well as logically, reversible. We calculated energy dissipation required for the RQFP gate to perform a logic operation and numerically demonstrated that the energy dissipation can fall below the thermal limit, or the Landauer bound, by lowering operation frequencies. We also investigated the 1-bit-erasure gate as a logically irreversible gate and the quasi-RQFP gate as a physically irreversible gate. We calculated the energy dissipation of these irreversible gates and showed that the energy dissipation of these gate is dominated by non-adiabatic state changes, which are induced by unwanted interactions between gates due to logical or physical irreversibility. Our results show that, in reversible computing using adiabatic superconductor logic, logical and physical reversibility are required to achieve energy dissipation smaller than the Landauer bound without non-adiabatic processes caused by gate interactions.
DEFF Research Database (Denmark)
Birkedal, Lars; Sieczkowski, Filip; Thamsborg, Jacob Junker
2012-01-01
We present a logical relation for showing the correctness of program transformations based on a new type-and-eﬀect system for a concurrent extension of an ML-like language with higher-order functions, higher-order store and dynamic memory allocation. We show how to use our model to verify a number...... of interesting program transformations that rely on eﬀect annotations. In particular, we prove a Parallelization Theorem, which expresses when it is sound to run two expressions in parallel instead of sequentially. The conditions are expressed solely in terms of the types and eﬀects of the expressions....... To the best of our knowledge, this is the ﬁrst such result for a concurrent higher-order language with higher-order store and dynamic memory allocation....
Whitfield, J D; Biamonte, J D
2012-01-01
Designing and optimizing cost functions and energy landscapes is a problem encountered in many fields of science and engineering. These landscapes and cost functions can be embedded and annealed in experimentally controllable spin Hamiltonians. Using an approach based on group theory and symmetries, we examine the embedding of Boolean logic gates into the ground state subspace of such spin systems. We describe parameterized families of diagonal Hamiltonians and symmetry operations which preserve the ground state subspace encoding the truth tables of Boolean formulas. The ground state embeddings of adder circuits are used to illustrate how gates are combined and simplified using symmetry. Our work is relevant for experimental demonstrations of ground state embeddings found in both classical optimization as well as adiabatic quantum optimization.
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.
DEFF Research Database (Denmark)
Jensen, Lars Bang
The problematic this thesis investigates, through a specific kind of structuralism derived from a reading of Michel Foucault, Pierre Bourdieu and Gilles Deleuze, concerns how the subject becomes a science subject and potentially a scientist, with interest and literacy in science. The Logic...... of Science – a vivisection of monsters is thus an exploration of Being and Becoming in relation to Science and its Education. The investigation has been derived from, in, and connected to the Youth-to-Youth Project, a regional bridge building project in Northern Jutland in Denmark. The Youth-to-Youth Project...... (2011-2015) attempts to facilitate contact and provide a different kind of counselling and guidance between youths and youths who are ‘one step ahead’ in their educational trajectory. The meetings between the youths are both social and science subject oriented, and the intention is to establish...
Logical Modelling of Physarum Polycephalum
Schumann, Andrew
2011-01-01
We propose a novel model of unconventional computing where a structural part of computation is presented by dynamics of plasmodium of Physarum polycephalum, a large single cell. We sketch a new logical approach combining conventional logic with process calculus to demonstrate how to employ formal methods in design of unconventional computing media presented by Physarum polycephalum.
Flat coalgebraic fixed point logics
Schröder, Lutz
2010-01-01
Fixed point logics have a wide range of applications in computer science, in particular in artificial intelligence and concurrency. The most expressive logics of this type are the mu-calculus and its relatives. However, popular fixed point logics tend to trade expressivity for simplicity and readability, and in fact often live within the single variable fragment of the mu-calculus. The family of such flat fixed point logics includes, e.g., CTL, the *-nesting-free fragment of PDL, and the logic of common knowledge. Here, we extend this notion to the generic semantic framework of coalgebraic logic, thus covering a wide range of logics beyond the standard mu-calculus including, e.g., flat fragments of the graded mu-calculus and the alternating-time mu-calculus (such as ATL), as well as probabilistic and monotone fixed point logics. Our main results are completeness of the Kozen-Park axiomatization and a timed-out tableaux method that matches EXPTIME upper bounds inherited from the coalgebraic mu-calculus but avo...
A Paraconsistent Higher Order Logic
DEFF Research Database (Denmark)
Villadsen, Jørgen
2004-01-01
of the logic is examined by a case study in the domain of medicine. Thus we try to build a bridge between the HOL and MVL communities. A sequent calculus is proposed based on recent work by Muskens. Many non-classical logics are, at the propositional level, funny toys which work quite good, but when one wants...
Sasao, Tsutomu
2011-01-01
This book describes the synthesis of logic functions using memories. It is useful to design field programmable gate arrays (FPGAs) that contain both small-scale memories, called look-up tables (LUTs), and medium-scale memories, called embedded memories. This is a valuable reference for both FPGA system designers and CAD tool developers, concerned with logic synthesis for FPGAs.
A Paraconsistent Higher Order Logic
DEFF Research Database (Denmark)
Villadsen, Jørgen
2004-01-01
of the logic is examined by a case study in the domain of medicine. Thus we try to build a bridge between the HOL and MVL communities. A sequent calculus is proposed based on recent work by Muskens. Many non-classical logics are, at the propositional level, funny toys which work quite good, but when one wants...
Simulated Laboratory in Digital Logic.
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…
Logical Modelling of Physarum Polycephalum
Schumann, Andrew; Adamatzky, Andrew
2011-01-01
We propose a novel model of unconventional computing where a structural part of computation is presented by dynamics of plasmodium of Physarum polycephalum, a large single cell. We sketch a new logical approach combining conventional logic with process calculus to demonstrate how to employ formal methods in design of unconventional computing media presented by Physarum polycephalum.
Institute of Scientific and Technical Information of China (English)
修勤
1995-01-01
In the red corner, Aristotle. In the blue corner, Buddha.It’s the fight of the century, and it’s a grudge match. "Fuzzy theory is wrong, wrong, and pernicious. What we need is more logical thinking, not less," fulminates Professor William Kahan of Berkeley. "Fuzzy logic is the cocaine of science. "
Propositional inquisitive logic: a survey
Directory of Open Access Journals (Sweden)
Ivano Ciardelli
2016-12-01
Full Text Available This paper provides a concise survey of a body of recent work on propositional inquisitive logic. We review the conceptual foundations of inquisitive semantics, introduce the propositional system, discuss its relations with classical, intuitionistic, and dependence logic, and describe an important feature of inquisitive proofs.
Logical Querying of Relational Databases
Directory of Open Access Journals (Sweden)
Luminita Pistol
2016-12-01
Full Text Available This paper aims to demonstrate the usefulness of formal logic and lambda calculus in database programming. After a short introduction in propositional and first order logic, we implement dynamically a small database and translate some SQL queries in filtered java 8 streams, enhanced with Tuples facilities from jOOλ library.
Methods in Logic Based Control
DEFF Research Database (Denmark)
Christensen, Georg Kronborg
1999-01-01
Desing and theory of Logic Based Control systems.Boolean Algebra, Karnaugh Map, Quine McClusky's algorithm. Sequential control design. Logic Based Control Method, Cascade Control Method. Implementation techniques: relay, pneumatic, TTL/CMOS,PAL and PLC- and Soft_PLC implementation. PLC...
Implementation of Effective Code Converters using Reversible Logic Gates
Directory of Open Access Journals (Sweden)
Ponnuru Koteswara Rao
2016-05-01
Full Text Available aThe development in the field of nanometer technology leads to minimize the power consumption of logic circuits. Reversible logic design has been one of the promising technologies gaining greater interest due to less dissipation of heat and low power consumption. In the digital design, the code converters are widely used process. So, the reversible logic gates and reversible circuits for realizing code converters like as Binary to Gray code, Gray to Binary code, BCD to Excess 3 code, Excess 3 to BCD codes using reversible logic gates is proposed. Designing of reversible logic circuit is challenging task, since not enough number of gates are available for design. Reversible processor design needs its building blocks should be reversible in this view the designing of reversible code converters became essential one. In the digital domain, data or information is represented by a combination of 0’s and 1’s. A code is basically the pattern of these 0’s and 1’s used to represent the data. Code converters are a class of combinational digital circuits that are used to convert one type of code in to another. The proposed design leads to the reduction of power consumption compared with conventional logic circuits
Marketing Logics, Ambidexterity and Influence
DEFF Research Database (Denmark)
Tollin, Karin; Schmidt, Marcus
2012-01-01
The duties of companies' chief marketing officers (CMOs) seem incompatible. They are expected to ensure that their company's market assets are properly exploited and recorded, while simultaneously enacting a proactive role in the company's business development. This study shows that about one...... in four CMOs have taken on this challenge, or adopted a marketing logic which could be referred to as ambidextrous. Furthermore, the study shows that this logic exerts a stronger impact on marketing's influence, compared to logics related to assuring brand consistency and measuring the performance...... of marketing processes. Three other ways to enact marketing management were also revealed, namely: an innovation; a communication; and a supporting marketing logic. This leads us to conclude that the influence of companies' marketing functions show up a heterogeneous picture within which the marketing logics...
Logical independence and quantum randomness
Energy Technology Data Exchange (ETDEWEB)
Paterek, T; Kofler, J; Aspelmeyer, M; Zeilinger, A; Brukner, C [Institute for Quantum Optics and Quantum Information, Austrian Academy of Sciences, Boltzmanngasse 3, A-1090 Vienna (Austria); Prevedel, R; Klimek, P [Faculty of Physics, University of Vienna, Boltzmanngasse 5, A-1090 Vienna (Austria)], E-mail: tomasz.paterek@univie.ac.at
2010-01-15
We propose a link between logical independence and quantum physics. We demonstrate that quantum systems in the eigenstates of Pauli group operators are capable of encoding mathematical axioms and show that Pauli group quantum measurements are capable of revealing whether or not a given proposition is logically dependent on the axiomatic system. Whenever a mathematical proposition is logically independent of the axioms encoded in the measured state, the measurement associated with the proposition gives random outcomes. This allows for an experimental test of logical independence. Conversely, it also allows for an explanation of the probabilities of random outcomes observed in Pauli group measurements from logical independence without invoking quantum theory. The axiomatic systems we study can be completed and are therefore not subject to Goedel's incompleteness theorem.
Multiple Valued Logic for Synthesis and Simulation of Digital Circuits
Directory of Open Access Journals (Sweden)
Bharathi.S.L
2015-04-01
Full Text Available The Multiple valued logic(MVL has increased attention in the last decades because of the possibility to represent the information with more than two discrete levels.Advancing from two-valued to four-valued logic provides a progressive approach. In new technologies, the most delay and power occurs in the connections between gates. When designing a function using MVL, we need fewer gates,which implies less number of connections, then less delay. In the existing system, the 4:1 multiplexer is designed using the MVL logic and various paramaters are analysed. In the proposed system, the idea of designing a Barrel shifter using the multiple valued logic and the parameters are all analyzed. All these designs are verified using Modelsim simulator.
Adiabatic logic future trend and system level perspective
Teichmann, Philip
2012-01-01
Adiabatic logic is a potential successor for static CMOS circuit design when it comes to ultra-low-power energy consumption. Future development like the evolutionary shrinking of the minimum feature size as well as revolutionary novel transistor concepts will change the gate level savings gained by adiabatic logic. In addition, the impact of worsening degradation effects has to be considered in the design of adiabatic circuits. The impact of the technology trends on the figures of merit of adiabatic logic, energy saving potential and optimum operating frequency, are investigated, as well as degradation related issues. Adiabatic logic benefits from future devices, is not susceptible to Hot Carrier Injection, and shows less impact of Bias Temperature Instability than static CMOS circuits. Major interest also lies on the efficient generation of the applied power-clock signal. This oscillating power supply can be used to save energy in short idle times by disconnecting circuits. An efficient way to generate the p...
Reversible logic gate using adiabatic superconducting devices
National Research Council Canada - National Science Library
Takeuchi, N; Yamanashi, Y; Yoshikawa, N
2014-01-01
.... However, until now, no practical reversible logic gates have been demonstrated. One of the problems is that reversible logic gates must be built by using extremely energy-efficient logic devices...
Paudel, Amrit; Loyson, Yves; Van den Mooter, Guy
2013-04-01
The present study investigates the effect of changing spray drying temperature (40°C-120°C) and/or atomizing airflow rate (AR; 5-15 L/min) on the phase structure, physical stability, and performance of spray-dried naproxen-polyvinylpyrrolidone (PVP) K 25 amorphous solid dispersions. The modulated differential scanning calorimetry, attenuated total internal reflectance-Fourier transform infrared, and powder X-ray diffractometry (pXRD) studies revealed that higher inlet temperature (IT) or atomization airflow leads to the formation of amorphous-phase-separated dispersions with higher strongly H-bonded and free PVP fractions, whereas that prepared with the lowest IT was more homogeneous. The dispersion prepared with the lowest atomization AR showed trace crystallinity. Upon exposure to 75% relative humidity (RH) for 3 weeks, the phase-separated dispersions generated by spray drying at higher temperature or higher atomization airflow retained relatively higher amorphous drug fraction compared with those prepared at slow evaporation conditions. The humidity-controlled pXRD analysis at 98% RH showed that the dispersion prepared with highest atomization AR displayed the slowest kinetics of recrystallization. The molecular-level changes occurring during recrystallization at 98% RH was elucidated by spectroscopic monitoring at the same humidity. The rate and extent of the drug dissolution was the highest for dispersions prepared at the highest atomizing AR and the lowest for that prepared with the slowest atomizing condition.
Probabilistic Logic Programming under Answer Sets Semantics
Institute of Scientific and Technical Information of China (English)
王洁; 鞠实儿
2003-01-01
Although traditional logic programming languages provide powerful tools for knowledge representation, they cannot deal with uncertainty information (e. g. probabilistic information). In this paper, we propose a probabilistic logic programming language by introduce probability into a general logic programming language. The work combines 4-valued logic with probability. Conditional probability can be easily represented in a probabilistic logic program. The semantics of such a probabilistic logic program i...
Reconfigurable Optical Directed-Logic Circuits
2015-11-20
and their switching delays do not accumulate. This is in contrast to conventional logic circuits where gate delays are cascaded, resulting in a...transistor logic circuits wherein gate delays are cascaded resulting in increased latencies with increased logic elements. Thus directed- logic ... reverse biased at -5 V ( logic ‘1’) and the transmission is high when the bias voltage is zero ( logic ‘0’). So the switch works in the block/pass mode
Scaling trends in energy recovery logic: an analytical approach
Institute of Scientific and Technical Information of China (English)
Jitendra Kanungo; S.Dasgupta
2013-01-01
This paper presents an analytical model to study the scaling trends in energy recovery logic.The energy performance of conventional CMOS and energy recovery logic are compared with scaling the design and technology parameters such as supply voltage,device threshold voltage and gate oxide thickness.The proposed analytical model is validated with simulation results at 90 nm and 65 nm CMOS technology nodes and predicts the scaling behavior accurately that help us to design an energy-efficient CMOS digital circuit design at the nanoscale.This research work shows the adiabatic switching as an ultra-low-power circuit technique for sub-100 nm digital CMOS circuit applications.
Performance evaluation of the distance education system with fuzzy logic
Armaǧan, Hamit; Yiǧit, Tuncay
2017-07-01
Distance education is a kind of education that brought together course advisor, student and educational materials in a different time and place through communicational technologies. In this educational system the success of education is directly related to audio, video and interaction. In this study, a model is created by using fuzzy logic with the success of distance education students and the components of distance education. This study is made by MATLAB fuzzy logic toolbox. Audio, video, educational technology, student achievement are used as parameters in the evaluation. System assessment is carried out depending on parameter.
Modelling object typicality in description logics - [Workshop on Description Logics
CSIR Research Space (South Africa)
Britz, K
2009-07-01
Full Text Available The authors presents a semantic model of typicality of concept members in description logics that accords well with a binary, globalist cognitive model of class membership and typicality. The authors define a general preferential semantic framework...
Formalized Epistemology, Logic, and Grammar
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.
Aristotelian logic and its perspectives
Directory of Open Access Journals (Sweden)
Manuel Correia
2017-05-01
Full Text Available The legitimacy of Aristotelian logic was questioned in the twentieth century. As a result, the question of whether it should be replaced or restored remains unanswered. To resolve this dilemma there have been new findings that show that it is a theory with internal development, which is independent from the provisions of mathematical logic. In this article, I show how to restore its internal unity, development prospects and independence, through the use of three axioms or rules allowing to incorporate indefinite terms in classical categorical and hypothetical syllogistic, which gives it a capacity able to be compared to monadic first order logic.
Coherence in Linear Predicate Logic
Dosen, K
2007-01-01
Coherence with respect to Kelly-Mac Lane graphs is proved for categories that correspond to the multiplicative fragment without constant propositions of classical linear first-order predicate logic without or with mix. To obtain this result, coherence is first established for categories that correspond to the multiplicative conjunction-disjunction fragment with first-order quantifiers of classical linear logic, a fragment lacking negation. These results extend results published in previous two books by the authors, where coherence was established for categories of the corresponding fragments of propositional classical linear logic, which are related to proof nets, and which could be described as star-autonomous categories without unit objects.
Handling Pressures of Community Logic
DEFF Research Database (Denmark)
Minbaeva, Dana; Hotho, Jasper; Muratbekova-Touron, Maral
2013-01-01
The paper aims at investigating how in pluralistic societies, such as emerging economies and countries in transition, organizational decision-makers respond to pressures of community logics in non-community settings, such as the work place. We theorize that in non-community settings, social...... relations and interactions with community members can act as social cues that induce and expose individuals to community logics. We subsequently propose that properties of these relations – immediacy and relatedness - will affect individual response strategies towards community logics. We test these ideas...
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.
Remmel, Jeffrey; Shore, Richard; Sweedler, Moss; Progress in Computer Science and Applied Logic
1993-01-01
The twenty-six papers in this volume reflect the wide and still expanding range of Anil Nerode's work. A conference on Logical Methods was held in honor of Nerode's sixtieth birthday (4 June 1992) at the Mathematical Sciences Institute, Cornell University, 1-3 June 1992. Some of the conference papers are here, but others are from students, co-workers and other colleagues. The intention of the conference was to look forward, and to see the directions currently being pursued, in the development of work by, or with, Nerode. Here is a brief summary of the contents of this book. We give a retrospective view of Nerode's work. A number of specific areas are readily discerned: recursive equivalence types, recursive algebra and model theory, the theory of Turing degrees and r.e. sets, polynomial-time computability and computer science. Nerode began with automata theory and has also taken a keen interest in the history of mathematics. All these areas are represented. The one area missing is Nerode's applied mathematica...
Circuit Simulation of All-Spin Logic
Alawein, Meshal
2016-05-01
With the aggressive scaling of complementary metal-oxide semiconductor (CMOS) nearing an inevitable physical limit and its well-known power crisis, the quest for an alternative/augmenting technology that surpasses the current semiconductor electronics is needed for further technological progress. Spintronic devices emerge as prime candidates for Beyond CMOS era by utilizing the electron spin as an extra degree of freedom to decrease the power consumption and overcome the velocity limit connected with the charge. By using the nonvolatility nature of magnetization along with its direction to represent a bit of information and then manipulating it by spin-polarized currents, routes are opened for combined memory and logic. This would not have been possible without the recent discoveries in the physics of nanomagnetism such as spin-transfer torque (STT) whereby a spin-polarized current can excite magnetization dynamics through the transfer of spin angular momentum. STT have expanded the available means of switching the magnetization of magnetic layers beyond old classical techniques, promising to fulfill the need for a new generation of dense, fast, and nonvolatile logic and storage devices. All-spin logic (ASL) is among the most promising spintronic logic switches due to its low power consumption, logic-in-memory structure, and operation on pure spin currents. The device is based on a lateral nonlocal spin valve and STT switching. It utilizes two nanomagnets (whereby information is stored) that communicate with pure spin currents through a spin-coherent nonmagnetic channel. By using the well-known spin physics and the recently proposed four-component spin circuit formalism, ASL can be thoroughly studied and simulated. Previous attempts to model ASL in the linear and diffusive regime either neglect the dynamic characteristics of transport or do not provide a scalable and robust platform for full micromagnetic simulations and inclusion of other effects like spin Hall
High speed multiplier design using Decomposition Logic
Directory of Open Access Journals (Sweden)
Ramanathan Palaniappan
2009-01-01
Full Text Available The multiplier forms the core of a Digital Signal Processor and is a major source of power dissipation. Often, the multiplier forms the limiting factor for the maximum speed of operation of a Digital Signal Processor. Due to continuing integrating intensity and the growing needs of portable devices, low-power, high-performance design is of prime importance. A new technique of implementing a multiplier circuit using Decomposition Logic is proposed here which improves speed with very little increase in power dissipation when compared to tree structured Dadda multipliers. Tanner EDA was used for simulation in the TSMC 180nm technology.
Screened Intimacies: Tinder and the Swipe Logic
Directory of Open Access Journals (Sweden)
Gaby David
2016-04-01
Full Text Available This article seeks to amplify discursive constructions of social connection through technology with an examination of the proposed and presumed intimacies of the Tinder app. In the first half, we ethnographically examine the sociotechnical dynamics of how users navigate the app and take up or resist the subject positions encouraged by the user interface feature of swiping. In the second half, we provide a discussion of the implications of the swipe logic through post-structural conceptual lenses interrogating the ironic disruption of intimacy of Tinder’s interface.
Computer Fiction: ``A Logic Named Joe''
Ferro, David; Swedin, Eric
The bulk of Science Fiction (SF) has not predicted the most influential computer technologies of the late 20th century. This paper begins with an exception entitled “A Logic Named Joe” and its accurate description of the contemporary environment of PCs and the World Wide Web. It then proposes the possible historical and cultural value of SF in techno-scientific development - more specifically computer development - in both the U.S. and Finland, and argues that social science approaches to understanding technoscience should take SF into account when describing those communities of practice.
Dependable Design Using Programmable Logic Devices
Castañeda Serra, A; Todd, B
2010-01-01
Mission critical systems at the European Organisation for Nuclear Research (CERN) make extensive use of Programmable Logic Devices (PLDs) such as Field Programmable Gate Arrays (FPGAs) to implement their safety critical functions. The dependability of these safety critical functions is difficult to determine using traditional techniques. A robust approach is needed if PLD technology is to be accepted in mission critical systems. This paper discusses techniques which are being developed and employed by CERN to give confidence in the use of PLDs in mission critical systems, the Safe Machine Parameter system development is used as an example
Jon Borresen; Stephen Lynch
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 p...
Energy-Efficient Wide Datapath Integer Arithmetic Logic Units Using Superconductor Logic
Ayala, Christopher Lawrence
Complementary Metal-Oxide-Semiconductor (CMOS) technology is currently the most widely used integrated circuit technology today. As CMOS approaches the physical limitations of scaling, it is unclear whether or not it can provide long-term support for niche areas such as high-performance computing and telecommunication infrastructure, particularly with the emergence of cloud computing. Alternatively, superconductor technologies based on Josephson junction (JJ) switching elements such as Rapid Single Flux Quantum (RSFQ) logic and especially its new variant, Energy-Efficient Rapid Single Flux Quantum (ERSFQ) logic have the capability to provide an ultra-high-speed, low power platform for digital systems. The objective of this research is to design and evaluate energy-efficient, high-speed 32-bit integer Arithmetic Logic Units (ALUs) implemented using RSFQ and ERSFQ logic as the first steps towards achieving practical Very-Large-Scale-Integration (VLSI) complexity in digital superconductor electronics. First, a tunable VHDL superconductor cell library is created to provide a mechanism to conduct design exploration and evaluation of superconductor digital circuits from the perspectives of functionality, complexity, performance, and energy-efficiency. Second, hybrid wave-pipelining techniques developed earlier for wide datapath RSFQ designs have been used for efficient arithmetic and logic circuit implementations. To develop the core foundation of the ALU, the ripple-carry adder and the Kogge-Stone parallel prefix carry look-ahead adder are studied as representative candidates on opposite ends of the design spectrum. By combining the high-performance features of the Kogge-Stone structure and the low complexity of the ripple-carry adder, a 32-bit asynchronous wave-pipelined hybrid sparse-tree ALU has been designed and evaluated using the VHDL cell library tuned to HYPRES' gate-level characteristics. The designs and techniques from this research have been implemented using
Kachalin, G. V.; Mednikov, A. F.; Tkhabisimov, A. B.; Arkad'ev, D. A.; Temkin, S. G.; Senina, N. A.
2016-12-01
Fatigue test results of the rotating steel blades of the fourth stage of the K-25-0.6 low pressure cylinder Geo steam turbine manufactured in the Kaluga Turbine Plant (hereinafter, KTP) with the ion-plasma coating were presented. Coating formation was carried out at the National Research University (MPEI) on the Gefest vacuum pilot plant by the magnetron sputtering method. Characteristics of the obtained coating were analyzed with the use of the scientific-research equipment of the National Research University (MPEI). Fatigue tests of the rotating blades and determination of the fatigue strength of the material with the ion-plasma coating were carried out on the electrodynamic vibration machines VEDS-400A in the KTP structural laboratory. The following characteristics were obtained after tests: Ti-TiN composition, 10-11 μm thickness, 1200 HV 0.05 microhardness. Fatigue tests showed that destruction, regardless of availability or nonavailability of the coating, took place by cross-section in the root zone both on the leading and trailing edges of the blade, i.e., in the most stressed zones. It was found out that the maximum stresses during tests were revealed in the root section along the trailing edge on the blade pressure side, and the less stresses were on the leading edge. Fatigue strength of the working blades after coating formation increased by 12% minimum. Results of the fatigue tests prove the previously obtained data concerning 10-12% increase of the fatigue strength of the blade steel with the ion-plasma coating and allow claiming that the process of their formation exerts the positive influence on the fatigue characteristics of the blade materials.
Logical Theories for Agent Introspection
DEFF Research Database (Denmark)
Bolander, Thomas
2004-01-01
Artificial intelligence systems (agents) generally have models of the environments they inhabit which they use for representing facts, for reasoning about these facts and for planning actions. Much intelligent behaviour seems to involve an ability to model not only one's external environment...... by self-reference. In the standard approach taken in artificial intelligence, the model that an agent has of its environment is represented as a set of beliefs. These beliefs are expressed as logical formulas within a formal, logical theory. When the logical theory is expressive enough to allow...... introspective reasoning, the presence of self-reference causes the theory to be prone to inconsistency. The challenge therefore becomes to construct logical theories supporting introspective reasoning while at the same time ensuring that consistency is retained. In the thesis, we meet this challenge by devising...
Impossible Worlds and Logical Omniscience
DEFF Research Database (Denmark)
Bjerring, Jens Christian Krarup
2013-01-01
the use of impossible worlds where the truths of logic can be false. As we shall see, if we admit impossible worlds where “anything goes” in modal space, it is easy to model extremely non-ideal agents that are incapable of performing even the most elementary logical deductions. A much harder...... falsehoods, they are nevertheless able to rule out blatantly impossible worlds that verify obvious logical falsehoods. To model moderately ideal agents, I argue, the job is to construct a modal space that contains only possible and non-trivially impossible worlds where it is not the case that “anything goes......In this paper, I investigate whether we can use a world-involving framework to model the epistemic states of non-ideal agents. The standard possible-world framework falters in this respect because of a commitment to logical omniscience. A familiar attempt to overcome this problem centers around...
Logic Gates with Ion Transistors
Grebel, Haim
2016-01-01
Electronic logic gates are the basic building blocks of every computing and micro controlling system. Logic gates are made of switches, such as diodes and transistors. Ion-selective, ionic switches may emulate electronic switches [1-8]. If we ever want to create artificial bio-chemical circuitry, then we need to move a step further towards ion-logic circuitry. Here we demonstrate ion XOR and OR gates with electrochemical cells, and specifically, with two wet-cell batteries. In parallel to vacuum tubes, the batteries were modified to include a third, permeable and conductive mid electrode (the gate), which was placed between the anode and cathode in order to affect the ion flow through it. The key is to control the cell output with a much smaller biasing power, as demonstrated here. A successful demonstration points to self-powered ion logic gates.
Logical Theories for Agent Introspection
DEFF Research Database (Denmark)
Bolander, Thomas
2004-01-01
Artificial intelligence systems (agents) generally have models of the environments they inhabit which they use for representing facts, for reasoning about these facts and for planning actions. Much intelligent behaviour seems to involve an ability to model not only one's external environment...... by self-reference. In the standard approach taken in artificial intelligence, the model that an agent has of its environment is represented as a set of beliefs. These beliefs are expressed as logical formulas within a formal, logical theory. When the logical theory is expressive enough to allow...... introspective reasoning, the presence of self-reference causes the theory to be prone to inconsistency. The challenge therefore becomes to construct logical theories supporting introspective reasoning while at the same time ensuring that consistency is retained. In the thesis, we meet this challenge by devising...
A profile of mathematical logic
DeLong, Howard
2012-01-01
This introduction to mathematical logic explores philosophical issues and Gödel's Theorem. Its widespread influence extends to the author of Gödel, Escher, Bach, whose Pulitzer Prize-winning book was inspired by this work.
Dependence logic theory and applications
Kontinen, Juha; Väänänen, Jouko; Vollmer, Heribert
2016-01-01
In this volume, different aspects of logics for dependence and independence are discussed, including both the logical and computational aspects of dependence logic, and also applications in a number of areas, such as statistics, social choice theory, databases, and computer security. The contributing authors represent leading experts in this relatively new field, each of whom was invited to write a chapter based on talks given at seminars held at the Schloss Dagstuhl Leibniz Center for Informatics in Wadern, Germany (in February 2013 and June 2015) and an Academy Colloquium at the Royal Netherlands Academy of Arts and Sciences (March 2014). Altogether, these chapters provide the most up-to-date look at this developing and highly interdisciplinary field and will be of interest to a broad group of logicians, mathematicians, statisticians, philosophers, and scientists. Topics covered include a comprehensive survey of many propositional, modal, and first-order variants of dependence logic; new results concerning ...
Flow Logics and Operational Semantics
DEFF Research Database (Denmark)
Nielson, Flemming; Nielson, Hanne Riis
1998-01-01
Flow logic is a “fast prototyping” approach to program analysis that shows great promise of being able to deal with a wide variety of languages and calculi for computation. However, seemingly innocent choices in the flow logic as well as in the operational semantics may inhibit proving the analysis...... correct. Our main conclusion is that environment based semantics is more flexible than either substitution based semantics or semantics making use of structural congruences (like alpha-renaming)....
A logic generator and validator
Energy Technology Data Exchange (ETDEWEB)
Szabo, J.; Cain, D.G.; Okrent, D.
1985-05-01
The on-line monitoring of a power plant (or any process plant) has three primary functions: data acquisition, data analysis, and data presentation. Relative to the second of these functions, advanced methods for generating reliable data analysis computer codes are presented. The results are illustrated for a safety parameter display system that provides operators with a computer-graphic summary of a nuclear power plant's safety status. In the conventional method of analysis code production, the systems analyst or designer generates rules by which the plant status is being evaluated, while the transcription of those rules to a computer code is done separately by a programmer. Subsequently, the analysis code produced by the programmer must be validated against the specifications prepared by the systems analyst. A logic generator and logic validator are presented to streamline these processes. The logic generator acquires the relevant specifications through a systematic dialogue with the designer and then translates them automatically into an efficient computer logic code, thus solvin the problem of a designer who is not a programmer interfacing with a programmer who is not a designer. The logic generator enhances code reliability in two ways. First, it encourages the systems analyst to produce more reliable and relevant specifications because of the logical structured order in which the interactive session is being conducted. Second, because of the mass production mode b which the logic codes are being generated, proving once the correctness of the code production process ensures the accuracy of all codes to be generated in the future. In the postproduction stage, a logic validator enhances code reliability by displaying a structura overview of the data analysis code, allowing the user an additional opportunity for code evaluation.
ELI ECO Logic International, Inc.'s Thermal Desorption Unit (TDU) is specifically designed for use with Eco Logic's Gas Phase Chemical Reduction Process. The technology uses an externally heated bath of molten tin in a hydrogen atmosphere to desorb hazardous organic compounds fro...
Structural completeness in propositional logics of dependence
Iemhoff, Rosalie; Yang, Fan
2016-01-01
In this paper we prove that three of the main propositional logics of dependence (including propositional dependence logic and inquisitive logic), none of which is structural, are structurally complete with respect to a class of substitutions under which the logics are closed. We obtain an analogous
Hybrid logics with infinitary proof systems
Kooi, Barteld; Renardel de Lavalette, Gerard; Verbrugge, Rineke
2006-01-01
We provide a strongly complete infinitary proof system for hybrid logic. This proof system can be extended with countably many sequents. Thus, although these logics may be non-compact, strong completeness proofs are provided for infinitary hybrid versions of non-compact logics like ancestral logic a
On Structural Completeness of Tabular Superintuitionistic Logics
Citkin, Alexander
2015-01-01
As usual, the superintuitionistic (propositional) logics (that is, logics extending intuitionistic logic) are being studied “modulo derivability”, meaning such logics are viewed extensionally — they are identified with the set of formulae that are valid (derivable in the corresponding calculus) in
PSPACE Bounds for Rank-1 Modal Logics
Schröder, Lutz
2007-01-01
For lack of general algorithmic methods that apply to wide classes of logics, establishing a complexity bound for a given modal logic is often a laborious task. The present work is a step towards a general theory of the complexity of modal logics. Our main result is that all rank-1 logics enjoy a shallow model property and thus are, under mild assumptions on the format of their axiomatisation, in PSPACE. This leads to a unified derivation of tight PSPACE-bounds for a number of logics including K, KD, coalition logic, graded modal logic, majority logic, and probabilistic modal logic. Our generic algorithm moreover finds tableau proofs that witness pleasant proof-theoretic properties including a weak subformula property. This generality is made possible by a coalgebraic semantics, which conveniently abstracts from the details of a given model class and thus allows covering a broad range of logics in a uniform way.
Continuous first order logic and local stability
Yaacov, Itaï Ben
2008-01-01
We develop continuous first order logic, a variant of the logic described in \\cite{Chang-Keisler:ContinuousModelTheory}. We show that this logic has the same power of expression as the framework of open Hausdorff cats, and as such extends Henson's logic for Banach space structures. We conclude with the development of local stability, for which this logic is particularly well-suited.
Institute of Scientific and Technical Information of China (English)
张文君
2015-01-01
Conflicts may arise between democratic politics and political equality in the era of network media. The causes of the conflicts lie in the fact that network media as a type of democratic technology contains two log-ics simultaneously:politics and market.The market logic is likely to erode and substitute the political logic,thus damaging political equality.Based on the empirical analysis of the data collected from the two cases:network media influence on public opinion and the rumor involving Red Crosses spread by web hypers,the paper ex-pounds the possibilities that netizens be misled by network media which is manipulated by certain interest groups. Finally,strategies are proposed to ward off pitfalls of democratic politics in aspects of the relationships between political logic and market logic,between democratic technology and democratic values,between democratic value and political process.%民主政治过程与政治平等两者之间在网络媒体时代存在着冲突的可能，即民主政治过程可能损害政治平等。造成冲突的原因是网络媒体作为一种民主技术同时包含了政治与市场两种逻辑，并有可能出现市场逻辑对政治逻辑的侵蚀与替代，从而损害政治平等。通过对网络媒体对公众舆论的影响力与网络推手制造“红十字会强行募捐事件”两个方面进行数据与案例的实证分析可以看出，网民被由利益集团操纵的网络媒体所误导具有现实的可能性。在对政治逻辑与市场逻辑、民主技术与民主价值、民主价值与政治过程三个方面对民主政治陷阱存在的原因进行理论分析，可以从制度建设的角度为中国的互联网治理提供有价值的政策建议。
Competencies assessment using fuzzy logic
Directory of Open Access Journals (Sweden)
Matej Jevšček
2016-06-01
Full Text Available Research Question: Competencies evaluation is complex. The question is how to evaluate a competency which was assessed with 360° feedback, in one result using fuzzy logic tools so the result represents an actual competency development in an individual. Purpose: The purpose and goal of the study is to determine a possible process of competency evaluation that would enable creating a single competency assessment using fuzzy logic methods. Method: The theoretical part examines the current state and terminology of competencies and fuzzy logic. The empirical part consists of a quantitative research study. Data from the survey questionnaire was used for model testing. Results: An example of an »Initiative« competency evaluation model is created and tested in the research study. Testing confirmed that evaluation using fuzzy logic is efficient. Organization: The study directly affects the development of the HR function in organizations. It enables an easier and more oriented competency evaluation. Society: The study enables easier orientation in competencies development that can improve the social order as well as social responsibility and the environment indirectly. Originality: The study presents a new competency evaluation model using fuzzy logic. Limitations/Future Research: The study is restricted to one competency and certain assessors. Further research could explore the model with several assessors of the same rank.
Fuzzy logic of Aristotelian forms
Energy Technology Data Exchange (ETDEWEB)
Perlovsky, L.I. [Nichols Research Corp., Lexington, MA (United States)
1996-12-31
Model-based approaches to pattern recognition and machine vision have been proposed to overcome the exorbitant training requirements of earlier computational paradigms. However, uncertainties in data were found to lead to a combinatorial explosion of the computational complexity. This issue is related here to the roles of a priori knowledge vs. adaptive learning. What is the a-priori knowledge representation that supports learning? I introduce Modeling Field Theory (MFT), a model-based neural network whose adaptive learning is based on a priori models. These models combine deterministic, fuzzy, and statistical aspects to account for a priori knowledge, its fuzzy nature, and data uncertainties. In the process of learning, a priori fuzzy concepts converge to crisp or probabilistic concepts. The MFT is a convergent dynamical system of only linear computational complexity. Fuzzy logic turns out to be essential for reducing the combinatorial complexity to linear one. I will discuss the relationship of the new computational paradigm to two theories due to Aristotle: theory of Forms and logic. While theory of Forms argued that the mind cannot be based on ready-made a priori concepts, Aristotelian logic operated with just such concepts. I discuss an interpretation of MFT suggesting that its fuzzy logic, combining a-priority and adaptivity, implements Aristotelian theory of Forms (theory of mind). Thus, 2300 years after Aristotle, a logic is developed suitable for his theory of mind.
VLSI implementations of threshold logic-a comprehensive survey.
Beiu, V; Quintana, J M; Avedillo, M J
2003-01-01
This paper is an in-depth review on silicon implementations of threshold logic gates that covers several decades. In this paper, we will mention early MOS threshold logic solutions and detail numerous very-large-scale integration (VLSI) implementations including capacitive (switched capacitor and floating gate with their variations), conductance/current (pseudo-nMOS and output-wired-inverters, including a plethora of solutions evolved from them), as well as many differential solutions. At the end, we will briefly mention other implementations, e.g., based on negative resistance devices and on single electron technologies.
Outpatient health care statistics data warehouse--logical design.
Natek, S
1999-01-01
Outpatient Health Care Statistics on a state level is a central point where all relevant statistic data are collected from various sources from all over the country. Various and complex requirements for processing and reporting data makes Outpatient Health Care Statistics on a state level a perfect example for efficient implementing of Data warehouse technology. The research investigates logical design of data warehouse with a special attention on a different data modeling technique in various phases of a logical data warehouse design. The research shows that a requirement for processing statistical data determines the design decision and thus the scope and semantic value of final data warehouse.
Directory of Open Access Journals (Sweden)
Beni Majid Davoody
2015-09-01
Full Text Available The relationship between Carnap’s Logical Syntax of Language (hereafter LSL ([1934] 1937 and Wittgenstein’s Tractatus Logico-Philosophicus (TLP ([1921] 1922 has been interpreted in several ways during past decades. One of the interpretations has gained keen advocates among Carnap scholars. It was originally provoked by what Caranp said in LSL, and it consists of two parts. First, it indicates that in TLP the possibility of speaking about the logical form of a language within the same language (which happens to be the only language that there is had been foresworn by Wittgenstein, but Carnap proved him wrong by producing a book (LSL written exactly in the manner which had been proscribed by Wittgenstein. This is the debate about the possibility of speaking about logical form.
Sequential operators in computability logic
Japaridze, Giorgi
2007-01-01
Computability logic (CL) (see http://www.cis.upenn.edu/~giorgi/cl.html) is a semantical platform and research program for redeveloping logic as a formal theory of computability, as opposed to the formal theory of truth which it has more traditionally been. Formulas in CL stand for (interactive) computational problems, understood as games between a machine and its environment; logical operators represent operations on such entities; and "truth" is understood as existence of an effective solution, i.e., of an algorithmic winning strategy. The formalism of CL is open-ended, and may undergo series of extensions as the study of the subject advances. The main groups of operators on which CL has been focused so far are the parallel, choice, branching, and blind operators. The present paper introduces a new important group of operators, called sequential. The latter come in the form of sequential conjunction and disjunction, sequential quantifiers, and sequential recurrences. As the name may suggest, the algorithmic ...
Modal Calculus of Illocutionary Logic
Schumann, Andrew
2011-01-01
The aim of illocutionary logic is to explain how context can affect the meaning of certain special kinds of performative utterances. Recall that performative utterances are understood as follows: a speaker performs the illocutionary act (e.g. act of assertion, of conjecture, of promise) with the illocutionary force (resp. assertion, conjecture, promise) named by an appropriate performative verb in the way of representing himself as performing that act. In the paper I proposed many-valued interpretation of illocutionary forces understood as modal operators. As a result, I built up a non-Archimedean valued logic for formalizing illocutionary acts. A formal many-valued approach to illocutionary logic was offered for the first time.
Classical Syllogisms in Logic Teaching
DEFF Research Database (Denmark)
Øhrstrøm, Peter; Sandborg-Petersen, Ulrik; Thorvaldsen, Steinar
2013-01-01
have a tendency correctly to assess valid syllogisms as such more often than correctly assessing invalid syllogisms as such. It is also investigated to what extent the students have improved their skills in practical reasoning by attending the logic courses. Finally, some open questions regarding......This paper focuses on the challenges of introducing classical syllogisms in university courses in elementary logic and human reasoning. Using a program written in Prolog+CG, some empirical studies have been carried out involving three groups of students in Denmark; one group of philosophy students...... and two groups of students of informatics. The skills of the students in syllogistic reasoning before and after the logic courses have been studied and are discussed. The empirical observations made with the program make it possible to identify syllogisms which are found difficult by the students...
Fuzzy logic particle tracking velocimetry
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.
Logic, probability, and human reasoning.
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.
Reversible logic gate using adiabatic superconducting devices
Takeuchi, N.; Yamanashi, Y.; Yoshikawa, N.
2014-09-01
Reversible computing has been studied since Rolf Landauer advanced the argument that has come to be known as Landauer's principle. This principle states that there is no minimum energy dissipation for logic operations in reversible computing, because it is not accompanied by reductions in information entropy. However, until now, no practical reversible logic gates have been demonstrated. One of the problems is that reversible logic gates must be built by using extremely energy-efficient logic devices. Another difficulty is that reversible logic gates must be both logically and physically reversible. Here we propose the first practical reversible logic gate using adiabatic superconducting devices and experimentally demonstrate the logical and physical reversibility of the gate. Additionally, we estimate the energy dissipation of the gate, and discuss the minimum energy dissipation required for reversible logic operations. It is expected that the results of this study will enable reversible computing to move from the theoretical stage into practical usage.
The logical foundations of mathematics
Hatcher, William S
1981-01-01
The Logical Foundations of Mathematics offers a study of the foundations of mathematics, stressing comparisons between and critical analyses of the major non-constructive foundational systems. The position of constructivism within the spectrum of foundational philosophies is discussed, along with the exact relationship between topos theory and set theory.Comprised of eight chapters, this book begins with an introduction to first-order logic. In particular, two complete systems of axioms and rules for the first-order predicate calculus are given, one for efficiency in proving metatheorems, and
Directory of Open Access Journals (Sweden)
Anatoly D. Plotnikov
2001-01-01
Full Text Available For an arbitrary undirected graph G, we are designing a logical model for the Hamiltonian Cycle Problem (HCP, using tools of Boolean algebra only. The obtained model is a logic formulation of the conditions for the existence of the Hamiltonian cycle, and uses m Boolean variables, where m is the number of the edges of a graph. This Boolean expression is true if and only if an initial graph is Hamiltonian. In general, the obtained Boolean expression may have an exponential length (the number of Boolean literals and may be used for construction of the solution algorithm.
Lectures on Logic and Computation
DEFF Research Database (Denmark)
foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation. During two weeks, around 50 courses and 10 workshops are offered to the attendants, each of 1.......5 hours per day during a five days week, with up to seven parallel sessions. ESSLLI also includes a student session (papers and posters by students only, 1.5 hour per day during the two weeks) and four evening lectures by senior scientists in the covered areas. The 6 course notes were carefully reviewed...
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.
Logic programming with social features
Buccafurri, Francesco
2008-01-01
In everyday life it happens that a person has to reason about what other people think and how they behave, in order to achieve his goals. In other words, an individual may be required to adapt his behaviour by reasoning about the others' mental state. In this paper we focus on a knowledge representation language derived from logic programming which both supports the representation of mental states of individual communities and provides each with the capability of reasoning about others' mental states and acting accordingly. The proposed semantics is shown to be translatable into stable model semantics of logic programs with aggregates.
Handbook of logic and language
van Benthem, Johan
2010-01-01
This is an expanding field and the logical study of language is becoming more interdisciplinary playing a role in disciplines such as computer science, artificial intelligence, cognitive science and game theory. Completely revised and updated, this new edition, written by the leading experts in the field, presents an overview of the latest developments at the interface of logic and linguistics as well as providing a historical perspective. It is divided into three parts covering Frameworks, General Topics and Descriptive Themes. Completely revised a
A Logical Approach to Entanglement
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.
Challenging institutional logics in Gourmet
DEFF Research Database (Denmark)
Nickelsen, Niels Christian Mossfeldt; Scheuer, John Damm
2015-01-01
This paper focuses on the initial phase of an organizational transformation. More precisely the paper analyses the moment where an institutional entrepreneur produces ideas, which have the capacity to break with existing logics and thus produces the potential for change by challenging existing fi...... field logics. The empirical case is the gastronomic field in Denmark and in the Nordic countries - more specifically the paper discusses the cook and entrepreneur Claus Meyers ambitions to realize a food-political vision; The New Nordic Kitchen. The theoretical contribution of the paper...
Dynamic positive feedback source-coupled logic (D-PFSCL)
Gupta, Kirti; Pandey, Neeta; Gupta, Maneesha
2016-10-01
This paper presents dynamic positive feedback source-coupled logic (D-PFSCL) style which is derived from positive feedback source-coupled logic (PFSCL). The proposed logic style uses dynamic current source in contrast to constant current source of PFSCL to attain lower power consumption. Two techniques for D-PFSCL style-based multistage applications are suggested. Several D-PFSCL gates are simulated and compared with the respective PFSCL counterparts through SPICE simulations by using Taiwan semiconductor manufacturing company 0.18 µm CMOS technology parameters. A maximum power reduction of 84% is achieved for D-PFSCL gates. The effect of process variation on the power consumption of the D-PFSCL gates shows a maximum variation factor of 1.5 between the best and the worst cases.
Design and performance comparison of fuzzy logic based tracking controllers
Lea, Robert N.; Jani, Yashvant
1992-01-01
Several camera tracking controllers based on fuzzy logic principles have been designed and tested in software simulation in the software technology branch at the Johnson Space Center. The fuzzy logic based controllers utilize range measurement and pixel positions from the image as input parameters and provide pan and tilt gimble rate commands as output. Two designs of the rulebase and tuning process applied to the membership functions are discussed in light of optimizing performance. Seven test cases have been designed to test the performance of the controllers for proximity operations where approaches like v-bar, fly-around and station keeping are performed. The controllers are compared in terms of responsiveness, and ability to maintain the object in the field-of-view of the camera. Advantages of the fuzzy logic approach with respect to the conventional approach have been discussed in terms of simplicity and robustness.
Regulatory Anatomy: How "Safety Logics" Structure European Transplant Medicine.
Hoeyer, Klaus
2015-07-01
This article proposes the term "safety logics" to understand attempts within the European Union (EU) to harmonize member state legislation to ensure a safe and stable supply of human biological material for transplants and transfusions. With safety logics, I refer to assemblages of discourses, legal documents, technological devices, organizational structures, and work practices aimed at minimizing risk. I use this term to reorient the analytical attention with respect to safety regulation. Instead of evaluating whether safety is achieved, the point is to explore the types of "safety" produced through these logics as well as to consider the sometimes unintended consequences of such safety work. In fact, the EU rules have been giving rise to complaints from practitioners finding the directives problematic and inadequate. In this article, I explore the problems practitioners face and why they arise. In short, I expose the regulatory anatomy of the policy landscape.
A detection method for logic functions suitable for dual-logic synthesis
Institute of Scientific and Technical Information of China (English)
Yinshui Xia; Fei Sun; Keyi Mao
2009-01-01
Logic functions can be implemented in either AND/OR/NOT-based traditional Boolean (TB) logic or AND/XOR-based Reed-Mul-ler (RM) logic. To the majority of logic functions, it will be beneficial to be partially implemented in both TB logic and RM logic, called dual-logic. In this paper, a detection condition favoring dual-logic synthesis is proposed. A corresponding detection algorithm is devel-oped and implemented in C. The algorithm is applied to test a set of MCNC91 benchmarks for verifying the algorithm. The results show that the proposed algorithm is more efficient than published ones.
National Research Council Canada - National Science Library
Asassfeh, Sahail M
2014-01-01
The label of 'logical connectors' (LCs) or 'conjunction' suggests that these expressions constitute an area where linguistic intelligence and logical/mathematical intelligence are likely to intersect...
Microelectromechanical resonator based digital logic elements
Hafiz, Md Abdullah Al
2016-10-20
Micro/nano-electromechanical resonator based mechanical computing has recently attracted significant attention. However, its full realization has been hindered by the difficulty in realizing complex combinational logics, in which the logic function is constructed by cascading multiple smaller logic blocks. In this work we report an alternative approach for implementation of digital logic core elements, multiplexer and demultiplexer, which can be used to realize combinational logic circuits by suitable concatenation. Toward this, shallow arch shaped microresonators are electrically connected and their resonance frequencies are tuned based on an electrothermal frequency modulation scheme. This study demonstrates that by reconfiguring the same basic building block, the arch microresonator, complex logic circuits can be realized.
Aspects and modular reasoning in nonmonotonic logic
DEFF Research Database (Denmark)
Ostermann, Klaus
2008-01-01
Nonmonotonic logic is a branch of logic that has been developed to model situations with incomplete information. We argue that there is a connection between AOP and nonmonotonic logic which deserves further study. As a concrete technical contribution and "appetizer", we outline an AO semantics de...... defined in default logic (a form of nonmonotonic logic), propose a definition of modular reasoning, and show that the default logic version of the language semantics admits modular reasoning whereas a conventional language semantics based on weaving does not....
A multi-objective synthesis methodology for majority/minority logic networks
Sarvaghad-Moghaddam, Moein; Orouji, Ali A.; Houshmand, Monireh
2016-01-01
New technologies such as Quantum-dot Cellular Automata (QCA), Single Electron Tunneling (SET), Tunneling Phase Logic (TPL) and all-spin logic (ASL) devices have been widely advocated in nanotechnology as a response to the physical limits associated with complementary metal oxide semiconductor (CMOS) technology in atomic scales. Some of their peculiar features are their smaller size, higher speed, higher switching frequency, lower power consumption, and higher scale integration. In these techn...
Asynchronous Dual-Rail Transition Logic for Enhanced DPA Resistance
Directory of Open Access Journals (Sweden)
Rajath Srivathsav N
2015-02-01
Full Text Available An Asynchronous Dual–Rail Transition Logic (ADTL is proposed in this paper. The new logic style can be used in the encryption circuit of cryptography to counter the differential power analysis (DPA attacks. The resistance to the DPA attacks is achieved by randomizing the power dissipated in the circuit through Manchester input signal coding and unpredictable initial state of the toggle flip-flops (TFF. The proposed logic uses two wires to transmit the signal, in the form of a single transition on either one of the two wires to indicate the input logic value. T-FFs are employed to randomize the power dissipated by the circuit. The randomizing is made possible by making the initial states of the flip-flops un-deterministic. Furthermore, the clock is completely eliminated in the conceived design, thus realizing increased power randomization and resistance to the DPA attacks. The design is demonstrated through the systematic simulations on a typical encryption circuit. The validation of the ADTL is made through extensive comparisons with the existing Dual-rail Transition Logic (DTL for power, delay and the DPA resistance. Industry standard EDA tools with 90nm technology libraries provided by the UMC foundry have been employed in the designs.
Study of Reversible Logic Synthesis with Application in SOC: A Review
Sharma, Chinmay; Pahuja, Hitesh; Dadhwal, Mandeep; Singh, Balwinder
2017-08-01
The prime concern in today’s SOC designs is the power dissipation which increases with technology scaling. The reversible logic possesses very high potential in reducing power dissipation in these designs. It finds its application in latest research fields such as DNA computing, quantum computing, ultra-low power CMOS design and nanotechnology. The reversible circuits can be easily designed using the conventional CMOS technology at a cost of a garbage output which maintains the reversibility. The purpose of this paper is to provide an overview of the developments that have occurred till date in this concept and how the new reversible logic gates are used to design the logic functions.
Relay Protection and Automation Systems Based on Programmable Logic Integrated Circuits
Energy Technology Data Exchange (ETDEWEB)
Lashin, A. V., E-mail: LashinAV@lhp.ru; Kozyrev, A. V. [JSC “Lenhydroproject” (Russian Federation)
2015-09-15
One of the most promising forms of developing the apparatus part of relay protection and automation devices is considered. The advantages of choosing programmable logic integrated circuits to obtain adaptive technological algorithms in power system protection and control systems are pointed out. The technical difficulties in the problems which today stand in the way of using relay protection and automation systems are indicated and a new technology for solving these problems is presented. Particular attention is devoted to the possibility of reconfiguring the logic of these devices, using programmable logic integrated circuits.
Prospects of III-Vs for Logic Applications
Directory of Open Access Journals (Sweden)
U.P. Gomes
2012-05-01
Full Text Available The increasing challenges for further scaling down of Si CMOS require the study of alternative channel materials. This paper highlights the significance of III-V compound semiconductor materials in order to face the looming fate of Si CMOS technology. The potential advantages of using III-Vs as channel materials for future III-V CMOS is its outstanding transport properties that have been widely accepted in high frequency RF applications. However, many significant challenges in front of III-V digital technology needs to be overcome before III-V CMOS becomes feasible for next generation high speed and low power logic applications. But it may be that this situation is changing given recent progress in the fabrication of high-mobility III-Vs based heterostructure electronic devices for logic applications to fulfill the needs towards the everyday evolving III-V CMOS technology.
Fuzzy logic applications to expert systems and control
Lea, Robert N.; Jani, Yashvant
1991-01-01
A considerable amount of work on the development of fuzzy logic algorithms and application to space related control problems has been done at the Johnson Space Center (JSC) over the past few years. Particularly, guidance control systems for space vehicles during proximity operations, learning systems utilizing neural networks, control of data processing during rendezvous navigation, collision avoidance algorithms, camera tracking controllers, and tether controllers have been developed utilizing fuzzy logic technology. Several other areas in which fuzzy sets and related concepts are being considered at JSC are diagnostic systems, control of robot arms, pattern recognition, and image processing. It has become evident, based on the commercial applications of fuzzy technology in Japan and China during the last few years, that this technology should be exploited by the government as well as private industry for energy savings.
Generic physical protection logic trees
Energy Technology Data Exchange (ETDEWEB)
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.
Program Theory Evaluation: Logic Analysis
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.…
Symmetric Structure in Logic Programming
Institute of Scientific and Technical Information of China (English)
Jin-Zhao Wu; Harald Fecher
2004-01-01
It is argued that some symmetric structure in logic programs could be taken into account when implementing semantics in logic programming. This may enhance the declarative ability or expressive power of the semantics. The work presented here may be seen as representative examples along this line. The focus is on the derivation of negative information and some other classic semantic issues. We first define a permutation group associated with a given logic program. Since usually the canonical models used to reflect the common sense or intended meaning are minimal or completed models of the program, we expose the relationships between minimal models and completed models of the original program and its so-called G-reduced form newly-derived via the permutation group defined. By means of this G-reduced form, we introduce a rule to assume negative information termed G-CWA, which is actually a generalization of the GCWA. We also develop the notions of G-definite, G-hierarchical and G-stratified logic programs, which are more general than definite, hierarchical and stratified programs, and extend some well-known declarative and procedural semantics to them, respectively.
Boggle Logic Puzzles: Minimal Solutions
Needleman, Jonathan
2013-01-01
Boggle logic puzzles are based on the popular word game Boggle played backwards. Given a list of words, the problem is to recreate the board. We explore these puzzles on a 3 x 3 board and find the minimum number of three-letter words needed to create a puzzle with a unique solution. We conclude with a series of open questions.
The Logic of Quantum Measurements
Vanni, Leonardo; Laura, Roberto
2013-07-01
We apply our previously developed formalism of contexts of histories, suitable to deal with quantum properties at different times, to the measurement process. We explore the logical implications which are allowed by the quantum theory, about the realization of properties of the microscopic measured system, before and after the measurement process with a given pointer value.
Martin, Donald; Steel, John
1988-01-01
This is the fourth volume of the proceeding of the Caltech-UCLA Logic Seminar, based mainly on material which was presented and discussed in the period 1981-85, but containing also some very recent results. It includes research papers dealing with determinacy hypotheses and their consequences in descriptive set theory. An appendix contains the new Victoria Delfino Problems.
Handling Pressures of Community Logic
DEFF Research Database (Denmark)
Minbaeva, Dana; Hotho, Jasper; Muratbekova-Touron, Maral
2013-01-01
The paper aims at investigating how in pluralistic societies, such as emerging economies and countries in transition, organizational decision-makers respond to pressures of community logics in non-community settings, such as the work place. We theorize that in non-community settings, social relat...
Logic Programming and Knowledge Maintenance.
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
Mathematical Induction: Deductive Logic Perspective
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…
Energy Technology Data Exchange (ETDEWEB)
Olbright, G.R.; Bryan, R.P.; Brennan, T.M.; Lear, K.; Poirier, G.E.; Fu, W.S. (Sandia National Labs., Albuquerque, NM (USA)); Jewell, J.L.; Lee, Y.H. (AT and T Bell Labs., Holmdel, NJ (USA))
1990-10-31
We describe a new class of optical logic devices which consist of integrated phototransistors and surface-emitting lasers. The devices function as optical neurons having high gain and, as arrays, are ideal for neural networks, parallel optical signal processing and optical computing applications. 3 refs., 3 figs.
Model checking mobile stochastic logic.
De Nicola, Rocco; Katoen, Joost P.; Latella, Diego; Loreti, Michele; Massink, Mieke
2007-01-01
The Temporal Mobile Stochastic Logic (MOSL) has been introduced in previous work by the authors for formulating properties of systems specified in STOKLAIM, a Markovian extension of KLAIM. The main purpose of MOSL is to address key functional aspects of global computing such as distribution
Model checking mobile stochastic logic.
De Nicola, Rocco; Katoen, Joost-Pieter; Latella, Diego; Loreti, Michele; Massink, Mieke
2007-01-01
The Temporal Mobile Stochastic Logic (MOSL) has been introduced in previous work by the authors for formulating properties of systems specified in STOKLAIM, a Markovian extension of KLAIM. The main purpose of MOSL is to address key functional aspects of global computing such as distribution awarenes
Fuzzy logic controllers on chip
Acosta, Nelson; Simonelli, Daniel Horacio
2002-01-01
This paper analyzes a fuzzy logic (FL) oriented instruction set (micro)controller and their implementations on FIPSOC1. VHDL code is synthesized using a small portion of FIPSOC FPGA2. This circuits are used from the mP8051 FIPSOC built-in microcontroller to provide efficient arithmetic operations such as multipliers, dividers, minimums and maximums.
Classical Syllogisms in Logic Teaching
DEFF Research Database (Denmark)
Øhrstrøm, Peter; Sandborg-Petersen, Ulrik; Thorvaldsen, Steinar
2013-01-01
This paper focuses on the challenges of introducing classical syllogisms in university courses in elementary logic and human reasoning. Using a program written in Prolog+CG, some empirical studies have been carried out involving three groups of students in Denmark; one group of philosophy student...
Logical Empiricism, Politics, and Professionalism
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…
Logical Empiricism, Politics, and Professionalism
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…
Covering, Packing and Logical Inference
1993-10-01
of Operations Research 43 (1993). [34] *Hooker, J. N., Generalized resolution for 0-1 linear inequalities, Annals of Mathematics and A 16 271-286. [35...Hooker, J. N. and C. Fedjki, Branch-and-cut solution of inference prob- lems in propositional logic, Annals of Mathematics and AI 1 (1990) 123-140. [40
Mathematical Programming and Logical Inference
1990-12-01
solution of inference problems in propositional logic, to appear in Annals of Mathematics and Al. (271 Howard, R. A., and J. E. Matheson, Influence...1981). (281 Jeroslow, R., and J. Wang, Solving propositional satisfiability problems, to appear in Annals of Mathematics and Al. [29] Nilsson, N. J
PTL: A Propositional Typicality Logic
CSIR Research Space (South Africa)
Booth, R
2012-09-01
Full Text Available in which a formula holds. The semantics is in terms of ranked models as studied in KLM-style preferential reasoning. This allows us to show that rational consequence relations can be embedded in our logic. Moreover we show that we can define consequence...
Awodey, Steve
2010-01-01
From a logical point of view, Stone duality for Boolean algebras relates theories in classical propositional logic and their collections of models. The theories can be seen as presentations of Boolean algebras, and the collections of models can be topologized in such a way that the theory can be recovered from its space of models. The situation can be cast as a formal duality relating two categories of syntax and semantics, mediated by homming into a common dualizing object, in this case $2$. In the present work, we generalize the entire arrangement from propositional to first-order logic. Boolean algebras are replaced by Boolean categories presented by theories in first-order logic, and spaces of models are replaced by topological groupoids of models and their isomorphisms. A duality between the resulting categories of syntax and semantics, expressed first in the form of a contravariant adjunction, is established by homming into a common dualizing object, now $\\Sets$, regarded once as a boolean category, and...
Damage Characteristics of the Logical Chip Module Due to Plasma Created by Hypervelocity Impacts
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)
Learning fuzzy logic control system
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
FUZZY LOGIC IN LEGAL EDUCATION
Directory of Open Access Journals (Sweden)
Z. Gonul BALKIR
2011-04-01
Full Text Available The necessity of examination of every case within its peculiar conditions in social sciences requires different approaches complying with the spirit and nature of social sciences. Multiple realities require different and various perceptual interpretations. In modern world and social sciences, interpretation of perception of valued and multi-valued have been started to be understood by the principles of fuzziness and fuzzy logic. Having the verbally expressible degrees of truthness such as true, very true, rather true, etc. fuzzy logic provides the opportunity for the interpretation of especially complex and rather vague set of information by flexibility or equivalence of the variables’ of fuzzy limitations. The methods and principles of fuzzy logic can be benefited in examination of the methodological problems of law, especially in the applications of filling the legal loopholes arising from the ambiguities and interpretation problems in order to understand the legal rules in a more comprehensible and applicable way and the efficiency of legal implications. On the other hand, fuzzy logic can be used as a technical legal method in legal education and especially in legal case studies and legal practice applications in order to provide the perception of law as a value and the more comprehensive and more quality perception and interpretation of value of justice, which is the core value of law. In the perception of what happened as it has happened in legal relationships and formations, the understanding of social reality and sociological legal rules with multi valued sense perspective and the their applications in accordance with the fuzzy logic’s methods could create more equivalent and just results. It can be useful for the young lawyers and law students as a facilitating legal method especially in the materialization of the perception and interpretation of multi valued and variables. Using methods and principles of fuzzy logic in legal
Preface. Philosophy and History of Talmudic Logic
Directory of Open Access Journals (Sweden)
Schumann Andrew
2017-06-01
Full Text Available This volume contains the papers presented at the Philosophy and History of Talmudic Logic Affiliated Workshop of Krakow Conference on History of Logic (KHL2016, held on October 27, 2016, in Krakow, Poland.
Logic functions and equations examples and exercises
Steinbach, Bernd
2009-01-01
With a free, downloadable software package available to help solve the exercises, this book focuses on practical and relevant problems that arise in the field of binary logics, with its two main applications - digital circuit design, and propositional logics.
Mathematical logic foundations for information science
Li, Wei
2010-01-01
This book presents the basic principles and formal calculus of mathematical logic. It covers core contents, extensions and developments of classical mathematical logic, and it offers formal proofs and concrete examples for all theoretical results.
Process algebra with four-valued logic
Bergstra, J.A.; Ponse, A.
2000-01-01
We propose a combination of a fragment of four-valued logic and process algebra. We present an operational semantics in SOS-style, and a completeness result for ACP with conditionals and four-valued logic.
Towards practical defeasible reasoning for description logics
CSIR Research Space (South Africa)
Casini, G
2013-07-01
Full Text Available The formalisation of defeasible reasoning in automated systems is becoming increasingly important. Description Logics (DLs) are nowadays the main logical formalism in the field of formal ontologies. Our focus in this paper is to devise a practical...
MOS Current Mode Logic Near Threshold Circuits
Directory of Open Access Journals (Sweden)
Alexander Shapiro
2014-06-01
Full Text Available Near threshold circuits (NTC are an attractive and promising technology that provides significant power savings with some delay penalty. The combination of NTC technology with MOS current mode logic (MCML is examined in this work. By combining MCML with NTC, the constant power consumption of MCML is reduced to leakage power levels that can be tolerated in certain modern applications. Additionally, the speed of NTC is improved due to the high speed nature of MCML technology. A 14 nm Fin field effect transistor (FinFET technology is used to evaluate these combined circuit techniques. A 32-bit Kogge Stone adder is chosen as a demonstration vehicle for feasibility analysis. MCML with NTC is shown to yield enhanced power efficiency when operated above 1 GHz with a 100% activity factor as compared to standard CMOS. MCML with NTC is more power efficient than standard CMOS beyond 9 GHz over a wide range of activity factors. MCML with NTC also exhibits significantly lower noise levels as compared to standard CMOS. The results of the analysis demonstrate that pairing NTC and MCML is efficient when operating at high frequencies and activity factors.
A predicate spatial logic for mobile processes
Institute of Scientific and Technical Information of China (English)
LIN Huimin
2004-01-01
A modal logic for describing temporal as well as spatial properties of mobile processes, expressed in the asynchronous π-calculus, is presented. The logic has recursive constructs built upon predicate-variables. The semantics of the logic is established and shown to be monotonic, thus guarantees the existence of fixpoints. An algorithm is developed to automatically check if a mobile process has properties described as formulas in the logic. The correctness of the algorithm is proved.
Symbolic logic syntax, semantics, and proof
Agler, David
2012-01-01
Brimming with visual examples of concepts, derivation rules, and proof strategies, this introductory text is ideal for students with no previous experience in logic. Symbolic Logic: Syntax, Semantics, and Proof introduces students to the fundamental concepts, techniques, and topics involved in deductive reasoning. Agler guides students through the basics of symbolic logic by explaining the essentials of two classical systems, propositional and predicate logic. Students will learn translation both from formal language into
A Logic for Diffusion in Social Networks
Christoff, Z.; Hansen, J.U.
2015-01-01
This paper introduces a general logical framework for reasoning about diffusion processes within social networks. The new "Logic for Diffusion in Social Networks" is a dynamic extension of standard hybrid logic, allowing to model complex phenomena involving several properties of agents. We provide a
Set Constraints and Logic Programming (Preprint)
2016-02-24
Assoc Comput Sci Logic Springer September A Aiken D Kozen and E Wimmers Decidability of systems of set constraints with negative...Extensions of Logic Programming ELP volume of Lect Notes Articial Intell pages Springer February J Englefriet Tree... Springer September D Kozen Set constraints and logic programming abstract In JP Jouannaud editor Proc First Conf Constraints in
Weak Completeness of Coalgebraic Dynamic Logics
Kupke, C.; Hansen, H.H.
2015-01-01
We present a coalgebraic generalisation of Fischer and Ladner’s Propositional Dynamic Logic (PDL) and Parikh’s Game Logic (GL). In earlier work, we proved a generic strong completeness result for coalgebraic dynamic logics without iteration. The coalgebraic semantics of such programs is given by a m
Weak Completeness of Coalgebraic Dynamic Logics
Hansen, H.H.; Kupke, C.A.
2015-01-01
We present a coalgebraic generalisation of Fischer and Ladner's Propositional Dynamic Logic (PDL) and Parikh's Game Logic (GL). In earlier work, we proved a generic strong completeness result for coalgebraic dynamic logics without iteration. The coalgebraic semantics of such programs is given by a m
Dialogues as a dynamic framework for logic
Rückert, Helge
2007-01-01
Dialogical logic is a game-theoretical approach to logic. Logic is studied with the help of certain games, which can be thought of as idealized argumentations. Two players, the Proponent, who puts forward the initial thesis and tries to defend it, and the Opponent, who tries to attack the
Hybrid Logical Analyses of the Ambient Calculus
DEFF Research Database (Denmark)
Bolander, Thomas; Hansen, Rene Rydhof
2010-01-01
In this paper, hybrid logic is used to formulate three control flow analyses for Mobile Ambients, a process calculus designed for modelling mobility. We show that hybrid logic is very well-suited to express the semantic structure of the ambient calculus and how features of hybrid logic can...
Piaget's Logic of Meanings: Still Relevant Today
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,…
Logics of Business Education for Sustainability
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.…
Piaget's Logic of Meanings: Still Relevant Today
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,…
Connecting Logics of Choice and Change
van Benthem, J.; Pacuit, E.; Müller, T.
2014-01-01
This chapter is an attempt at clarifying the current scene of sometimes competing action logics, looking for compatibilities and convergences. Current paradigms for deliberate action fall into two broad families: dynamic logics of events, and STIT logics of achieving specified effects. We compare th
An Adequate First Order Logic of Intervals
DEFF Research Database (Denmark)
Chaochen, Zhou; Hansen, Michael Reichhardt
1998-01-01
This paper introduces left and right neighbourhoods as primitive interval modalities to define other unary and binary modalities of intervals in a first order logic with interval length. A complete first order logic for the neighbourhood modalities is presented. It is demonstrated how the logic c...
Lakoff on Linguistics and Natural Logic.
Wilks, Yorick
This paper examines and criticizes Lakoff's notions of a natural logic and of a generative semantics described in terms of logic. The author argues that the relationship of these notions to logic as normally understood is unclear but suggests a number of possible interpretations of the thesis of generative semantics. Further, on these…
A Framed Temporal Logic Programming Language
Institute of Scientific and Technical Information of China (English)
Zhen-Hua Duan; Maciej Koutny
2004-01-01
We discuss the projection temporal logic (PTL), based on a primitive projection operator, prj. A framing technique is also presented, using which a synchronization operator, await, is defined within the underlying logic. A framed temporal logic programming language (FTLL) is presented. To illustrate how to use both the language and framing technique, some examples are given.
The dynamic turn in quantum logic
Baltag, Alexandru; Smets, Sonja
In this paper we show how ideas coming from two areas of research in logic can reinforce each other. The first such line of inquiry concerns the "dynamic turn" in logic and especially the formalisms inspired by Propositional Dynamic Logic (PDL); while the second line concerns research into the
Logics of Business Education for Sustainability
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.…
Single spin universal Boolean logic gate
Energy Technology Data Exchange (ETDEWEB)
Agarwal, H; Pramanik, S; Bandyopadhyay, S [Department of Electrical and Computer Engineering, Virginia Commonwealth University, Richmond, VA 23284 (United States)
2008-01-15
Recent advances in manipulating single electron spins in quantum dots have brought us close to the realization of classical logic gates, where binary bits are encoded in spin polarizations of single electrons. Here, we show that a linear array of three quantum dots, each containing a single spin polarized electron, and with nearest neighbor exchange coupling, acts as a NAND gate. The energy dissipated during switching this gate is the Landauer-Shannon limit of kTln(1/p{sub i} ) (T = ambient temperature and p{sub i}= intrinsic gate error probability). With present day technology, p{sub i} = 10{sup -9} is achievable above 1 K temperature. Even with this small intrinsic error probability, the energy dissipated during switching is only {approx}21kT, while today's nanoscale transistors dissipate about 40 000-50 000kT when they switch.
Applications of Logic Coverage Criteria and Logic Mutation to Software Testing
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…
Fuzzy Versions of Epistemic and Deontic Logic
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.
Photonic encryption : modeling and functional analysis of all optical logic.
Energy Technology Data Exchange (ETDEWEB)
Tang, Jason D.; Schroeppel, Richard Crabtree; Robertson, Perry J.
2004-10-01
With the build-out of large transport networks utilizing optical technologies, more and more capacity is being made available. Innovations in Dense Wave Division Multiplexing (DWDM) and the elimination of optical-electrical-optical conversions have brought on advances in communication speeds as we move into 10 Gigabit Ethernet and above. Of course, there is a need to encrypt data on these optical links as the data traverses public and private network backbones. Unfortunately, as the communications infrastructure becomes increasingly optical, advances in encryption (done electronically) have failed to keep up. This project examines the use of optical logic for implementing encryption in the photonic domain to achieve the requisite encryption rates. This paper documents the innovations and advances of work first detailed in 'Photonic Encryption using All Optical Logic,' [1]. A discussion of underlying concepts can be found in SAND2003-4474. In order to realize photonic encryption designs, technology developed for electrical logic circuits must be translated to the photonic regime. This paper examines S-SEED devices and how discrete logic elements can be interconnected and cascaded to form an optical circuit. Because there is no known software that can model these devices at a circuit level, the functionality of S-SEED devices in an optical circuit was modeled in PSpice. PSpice allows modeling of the macro characteristics of the devices in context of a logic element as opposed to device level computational modeling. By representing light intensity as voltage, 'black box' models are generated that accurately represent the intensity response and logic levels in both technologies. By modeling the behavior at the systems level, one can incorporate systems design tools and a simulation environment to aid in the overall functional design. Each black box model takes certain parameters (reflectance, intensity, input response), and models the optical ripple
Logic circuits from zero forcing
Burgarth, Daniel; Hogben, Leslie; Severini, Simone; Young, Michael
2011-01-01
We design logical 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.
Symmetric normalisation for intuitionistic logic
DEFF Research Database (Denmark)
Guenot, Nicolas; Straßburger, Lutz
2014-01-01
, but using a non-local rewriting. The second system is the symmetric completion of the first, as normally given in deep inference for logics with a DeMorgan duality: all inference rules have duals, as cut is dual to the identity axiom. We prove a generalisation of cut elimination, that we call symmetric...... normalisation, where all rules dual to standard ones are permuted up in the derivation. The result is a decomposition theorem having cut elimination and interpolation as corollaries.......We present two proof systems for implication-only intuitionistic logic in the calculus of structures. The first is a direct adaptation of the standard sequent calculus to the deep inference setting, and we describe a procedure for cut elimination, similar to the one from the sequent calculus...
The Logic Behind Feynman's Paths
García Álvarez, Edgardo T.
The classical notions of continuity and mechanical causality are left in order to reformulate the Quantum Theory starting from two principles: (I) the intrinsic randomness of quantum process at microphysical level, (II) the projective representations of symmetries of the system. The second principle determines the geometry and then a new logic for describing the history of events (Feynman's paths) that modifies the rules of classical probabilistic calculus. The notion of classical trajectory is replaced by a history of spontaneous, random and discontinuous events. So the theory is reduced to determining the probability distribution for such histories accordingly with the symmetries of the system. The representation of the logic in terms of amplitudes leads to Feynman rules and, alternatively, its representation in terms of projectors results in the Schwinger trace formula.
Contextual Validity in Hybrid Logic
DEFF Research Database (Denmark)
Blackburn, Patrick Rowan; Jørgensen, Klaus Frovin
2013-01-01
interpretations. Moreover, such indexicals give rise to a special kind of validity—contextual validity—that interacts with ordinary logi- cal validity in interesting and often unexpected ways. In this paper we model these interactions by combining standard techniques from hybrid logic with insights from the work...... of Hans Kamp and David Kaplan. We introduce a simple proof rule, which we call the Kamp Rule, and first we show that it is all we need to take us from logical validities involving now to contextual validities involving now too. We then go on to show that this deductive bridge is strong enough to carry us...... to contextual validities involving yesterday, today and tomorrow as well....
The logic of medical diagnosis.
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.
Logic and discrete mathematics a concise introduction
Conradie, Willem
2015-01-01
A concise yet rigorous introduction to logic and discrete mathematics. This book features a unique combination of comprehensive coverage of logic with a solid exposition of the most important fields of discrete mathematics, presenting material that has been tested and refined by the authors in university courses taught over more than a decade. The chapters on logic - propositional and first-order - provide a robust toolkit for logical reasoning, emphasizing the conceptual understanding of the language and the semantics of classical logic as well as practical applications through the easy
Logical design for computers and control
Dodd, Kenneth N
1972-01-01
Logical Design for Computers and Control Logical Design for Computers and Control gives an introduction to the concepts and principles, applications, and advancements in the field of control logic. The text covers topics such as logic elements; high and low logic; kinds of flip-flops; binary counting and arithmetic; and Boolean algebra, Boolean laws, and De Morgan's theorem. Also covered are topics such as electrostatics and atomic theory; the integrated circuit and simple control systems; the conversion of analog to digital systems; and computer applications and control. The book is recommend
Parallel optical logic operations on reversible networks
Shamir, Joseph
2013-03-01
A generic optical network architecture is proposed for the implementation of programmable logic operations. Based on reversible optical gate elements the processor is highly energy efficient and intrinsically fast. In this architecture the whole logic operation is executed by light propagating through the system with no energy dissipation. Energy must be spent only at the input interface and at discrete locations where the logic operation results are to be detected. As a consequence, the theoretical lower limit for energy dissipation in logic operations must be reconsidered. The strength of this approach is demonstrated by examples showing the implementation of various lossless logic operations, including Half Adder and Full Adder.
Institute of Scientific and Technical Information of China (English)
林允清
2014-01-01
The notion of logical form plays a central role in the philosophy of language and in linguistics . But what logical form is has not been clear . In this paper I first survey the uses of logical form , and show that this notion has no well-defined meaning . I then discuss three main motivations behind invoking logical form , and argue that two of them are unwarranted , and the third can be satisfied by an approach to the logic of ordinary language that is based on the idea of sentence frames , rather than on the traditional idea of subject and predicate .
Functional Interpretations of Intuitionistic Linear Logic
Ferreira, Gilda
2010-01-01
We present three different functional interpretations of intuitionistic linear logic ILL and show how these correspond to well-known functional interpretations of intuitionistic logic IL via embeddings of IL into ILL. The main difference from previous work of the second author is that in intuitionistic linear logic (as opposed to classical linear logic) the interpretations of !A are simpler and simultaneous quantifiers are no longer needed for the characterisation of the interpretations. We then compare our approach in developing these three proof interpretations with the one of de Paiva around the Dialectica category model of linear logic.
Moot, Richard
2007-01-01
This paper explores several extensions of proof nets for the Lambek calculus in order to handle the different connectives of display logic in a natural way. The new proof net calculus handles some recent additions to the Lambek vocabulary such as Galois connections and Grishin interactions. It concludes with an exploration of the generative capacity of the Lambek-Grishin calculus, presenting an embedding of lexicalized tree adjoining grammars into the Lambek-Grishin calculus.
Logic, Probability, and Human Reasoning
2015-01-01
3–6] and they underlie mathematics , science, and tech- nology [7–10]. Plato claimed that emotions upset reason - ing. However, individuals in the grip...Press 10 Nickerson, R. (2011) Mathematical Reasoning : Patterns, Problems, Conjectures, and Proofs, Taylor & Francis 11 Blanchette, E. and Richards, A...Logic, probability, and human reasoning P.N. Johnson-Laird1,2, Sangeet S. Khemlani3, and Geoffrey P. Goodwin4 1 Princeton University, Princeton, NJ
Session Types in Abelian Logic
Directory of Open Access Journals (Sweden)
Yoichi Hirai
2013-12-01
Full Text Available There was a PhD student who says "I found a pair of wooden shoes. I put a coin in the left and a key in the right. Next morning, I found those objects in the opposite shoes." We do not claim existence of such shoes, but propose a similar programming abstraction in the context of typed lambda calculi. The result, which we call the Amida calculus, extends Abramsky's linear lambda calculus LF and characterizes Abelian logic.
Logical impossibilities in biological networks
Directory of Open Access Journals (Sweden)
Monendra Grover
2011-10-01
Full Text Available Biological networks are complex and involve several kinds of molecules. For proper biological function it is important for these biomolecules to act at an individual level and act at the level of interaction of these molecules. In this paper some of the logical impossibilities that may arise in the biological networks and their possible solutions are discussed. It may be important to understand these paradoxes and their possible solutions in order to develop a holistic view of biological function.
Anaesthesia monitoring using fuzzy logic.
Baig, Mirza Mansoor; Gholamhosseini, Hamid; Kouzani, Abbas; Harrison, Michael J
2011-10-01
Humans have a limited ability to accurately and continuously analyse large amount of data. In recent times, there has been a rapid growth in patient monitoring and medical data analysis using smart monitoring systems. Fuzzy logic-based expert systems, which can mimic human thought processes in complex circumstances, have indicated potential to improve clinicians' performance and accurately execute repetitive tasks to which humans are ill-suited. The main goal of this study is to develop a clinically useful diagnostic alarm system based on fuzzy logic for detecting critical events during anaesthesia administration. The proposed diagnostic alarm system called fuzzy logic monitoring system (FLMS) is presented. New diagnostic rules and membership functions (MFs) are developed. In addition, fuzzy inference system (FIS), adaptive neuro fuzzy inference system (ANFIS), and clustering techniques are explored for developing the FLMS' diagnostic modules. The performance of FLMS which is based on fuzzy logic expert diagnostic systems is validated through a series of off-line tests. The training and testing data set are selected randomly from 30 sets of patients' data. The accuracy of diagnoses generated by the FLMS was validated by comparing the diagnostic information with the one provided by an anaesthetist for each patient. Kappa-analysis was used for measuring the level of agreement between the anaesthetist's and FLMS's diagnoses. When detecting hypovolaemia, a substantial level of agreement was observed between FLMS and the human expert (the anaesthetist) during surgical procedures. The diagnostic alarm system FLMS demonstrated that evidence-based expert diagnostic systems can diagnose hypovolaemia, with a substantial degree of accuracy, in anaesthetized patients and could be useful in delivering decision support to anaesthetists.
Conceptual Modeling via Logic Programming
1990-01-01
interfaces. nism which does not depend on Unix file The object-oriented nature of ProWIN- descriptors. One of the significant problems DOWS (which...Sweet, to CLOS. Reading, Mass.: Addison-Wesley, "Evaluating Alternative Air Defense 1988. Architectures," Signal, January 1987. Kernighan , B., and D...and sity of Waterloo, 1977. Sons, 1988. Robinson, J., "A Machine-Oriented Logic Unix Interface Overview. Mountain View, Based on the Resolution
Skelton, R M
1995-04-01
This paper introduces the reader to modern logic, more particularly the branch of logic called 'Model Theory', which is extensively used by Bion. Logic today is no longer described as the study of 'valid inference', but rather by the notion of consistency of beliefs. This central concern of the logician with consistency is also seen to be that of the psychoanalyst when he aims for eventual resolution of conflict between a patient's contradictory beliefs. Models are explained as the use of the already familiar to explain the unfamiliar, as when, for example, we invoke our familiar planetary system to understand the complex structure of the atom. In psychoanalysis we seek to find the old childhood models underpinning a patient's contemporary model of himself and others. Thus both Model Theory and psychoanalysis are interested in how we 'see the new in terms of the old'. Finally, the creation of models is assimilated to the integrative tendency of depressive activity and the dissolving or collapsing of models linked to paranoid-schizoid activity. As these two processes in the individual are linked by Bion we can see human beings as continually oscillating between creating and destroying models of their inner and outer worlds.
Cosmic logic: a computational model
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.
Kramer, Simon
2012-01-01
We propose a logic of interactive proofs as the first and main step towards an intuitionistic foundation for interactive computation to be obtained via an interactive analog of the G\\"odel-Kolmogorov-Art\\"emov definition of intuitionistic logic as embedded into a classical modal logic of proofs, and of the Curry-Howard isomorphism between intuitionistic proofs and typed programs. Our interactive proofs effectuate a persistent epistemic impact in their intended communities of peer reviewers that consists in the induction of the (propositional) knowledge of their proof goal by means of the (individual) knowledge of the proof with the interpreting reviewer. That is, interactive proofs effectuate a transfer of propositional knowledge---(to-be-)known facts---via the transfer of certain individual knowledge---(to-be-)known proofs---in distributed and multi-agent systems. In other words, we as a community can have the formal common knowledge that a proof is that which if known to one of our peer members would induce...
Interpolation Methods for Dunn Logics and Their Extensions
S. Wintein (Stefan); Muskens, R. (Reinhard)
2017-01-01
textabstractThe semantic valuations of classical logic, strong Kleene logic, the logic of paradox and the logic of first-degree entailment, all respect the Dunn conditions: we call them Dunn logics. In this paper, we study the interpolation properties of the Dunn logics and extensions of these
The open logic and its relation to circumscription
Institute of Scientific and Technical Information of China (English)
林作铨; 李未
1999-01-01
The open logic is defined by model theory which can be viewed as a process-based nonmonotonic logic. Some new notions and results of open logic are introduced. The relation of open logic to circumscription is studied, and the relationship between open logic and other nonmonotonic logics is pointed out as well.
Introduction to fuzzy logic using Matlab
Sivanandam, SN; Deepa, S N
2006-01-01
Fuzzy Logic, at present is a hot topic, among academicians as well various programmers. This book is provided to give a broad, in-depth overview of the field of Fuzzy Logic. The basic principles of Fuzzy Logic are discussed in detail with various solved examples. The different approaches and solutions to the problems given in the book are well balanced and pertinent to the Fuzzy Logic research projects. The applications of Fuzzy Logic are also dealt to make the readers understand the concept of Fuzzy Logic. The solutions to the problems are programmed using MATLAB 6.0 and the simulated results are given. The MATLAB Fuzzy Logic toolbox is provided for easy reference.
All-photonic multifunctional molecular logic device.
Andréasson, Joakim; Pischel, Uwe; Straight, Stephen D; Moore, Thomas A; Moore, Ana L; Gust, Devens
2011-08-03
Photochromes are photoswitchable, bistable chromophores which, like transistors, can implement binary logic operations. When several photochromes are combined in one molecule, interactions between them such as energy and electron transfer allow design of simple Boolean logic gates and more complex logic devices with all-photonic inputs and outputs. Selective isomerization of individual photochromes can be achieved using light of different wavelengths, and logic outputs can employ absorption and emission properties at different wavelengths, thus allowing a single molecular species to perform several different functions, even simultaneously. Here, we report a molecule consisting of three linked photochromes that can be configured as AND, XOR, INH, half-adder, half-subtractor, multiplexer, demultiplexer, encoder, decoder, keypad lock, and logically reversible transfer gate logic devices, all with a common initial state. The system demonstrates the advantages of light-responsive molecules as multifunctional, reconfigurable nanoscale logic devices that represent an approach to true molecular information processing units.
Strong Completeness of Coalgebraic Modal Logics
Schröder, Lutz
2009-01-01
Canonical models are of central importance in modal logic, in particular as they witness strong completeness and hence compactness. While the canonical model construction is well understood for Kripke semantics, non-normal modal logics often present subtle difficulties - up to the point that canonical models may fail to exist, as is the case e.g. in most probabilistic logics. Here, we present a generic canonical model construction in the semantic framework of coalgebraic modal logic, which pinpoints coherence conditions between syntax and semantics of modal logics that guarantee strong completeness. We apply this method to reconstruct canonical model theorems that are either known or folklore, and moreover instantiate our method to obtain new strong completeness results. In particular, we prove strong completeness of graded modal logic with finite multiplicities, and of the modal logic of exact probabilities.
Properties of Measure-based Fuzzy Logic
Institute of Scientific and Technical Information of China (English)
无
2001-01-01
Measure-based fuzzy logic, which is constructed on the basis of eight axioms, is a seemingly powerful fuzzy logic. It possesses several remarkable properties. (1) It is an extended Boolean logic, satisfying all the properties of Boolean algebra, including the law of excluded middle and the law of contradiction. (2) It is conditional. Conditional membership functions play an important role in this logic. (3) The negation operator is not independently defined with the conjunction and disjunction operators, but on the contrary, it is derived from them. (4) Zadehs fuzzy logic is included in it as a particular case. (5) It gives more hints to the relationship between fuzzy logic and probability logic.
Probabilistic Dynamic Logic of Phenomena and Cognition
Vityaev, Evgenii; Perlovsky, Leonid; Smerdov, Stanislav
2011-01-01
The purpose of this paper is to develop further the main concepts of Phenomena Dynamic Logic (P-DL) and Cognitive Dynamic Logic (C-DL), presented in the previous paper. The specific character of these logics is in matching vagueness or fuzziness of similarity measures to the uncertainty of models. These logics are based on the following fundamental notions: generality relation, uncertainty relation, simplicity relation, similarity maximization problem with empirical content and enhancement (learning) operator. We develop these notions in terms of logic and probability and developed a Probabilistic Dynamic Logic of Phenomena and Cognition (P-DL-PC) that relates to the scope of probabilistic models of brain. In our research the effectiveness of suggested formalization is demonstrated by approximation of the expert model of breast cancer diagnostic decisions. The P-DL-PC logic was previously successfully applied to solving many practical tasks and also for modelling of some cognitive processes.
The logic of relations and the logic of management.
Buntinx, W
2008-07-01
Increasing emphasis on financial and administrative control processes is affecting service culture in support organisations for persons with intellectual disability. This phenomenon is currently obvious in Dutch service organisations that find themselves in transition towards more community care and at the same time under pressure from new administrative and funding managerial bureaucracy. As a result, the logic of management is becoming more dominant in direct support settings and risk to overshadow the logic of relationships between staff and clients. The article presents a reflection on this phenomenon, starting from a description of service team characteristics as found in the literature. Next, findings about direct support staff (DSS) continuity are summarised from four Dutch studies. Following up these findings, the concept of 'microsystems' is explored as a possible answer to the organisational challenges demonstrated in the studies. Team characteristics, especially team size and membership continuity for DSS, appear relevant factors for assuring supportive relationships and service quality in direct support teams. The structure of the primary support team shows to be of special interest. The organisational concept of 'microsystems' is explored with respect to transcending the present conflict between bureaucratic managerial pressure and the need for supportive relationships. Service organisations need to create structural conditions for the efficacy of direct support teams in terms of client relationships and relevant client outcomes. At the same time, the need for administrative and control processes can not be denied. The concept of 'microsystems', application of a Quality of Life framework and the use of new instruments, such as the Supports Intensity Scale, can contribute to an organisational solution for the present conflicting logic of relations and management.
Chauhan, Chanderkanta; Bedi, Amna; Kumar, Santosh
2017-02-01
In this ultra fast computing era power optimization is a major technological challenge that requires new computing paradigms. Conservative and reversible logic opens up the possibility of ultralow power computing. In this paper, basic reversible logic gate (double Feynman gate) using the lithium-niobate based Mach-Zehnder interferometer is proposed. The results are verified using beam propagation method and MATLAB simulations.
Nanomagnet logic: progress toward system-level integration.
Niemier, M T; Bernstein, G H; Csaba, G; Dingler, A; Hu, X S; Kurtz, S; Liu, S; Nahas, J; Porod, W; Siddiq, M; Varga, E
2011-12-14
Quoting the International Technology Roadmap for Semiconductors (ITRS) 2009 Emerging Research Devices section, 'Nanomagnetic logic (NML) has potential advantages relative to CMOS of being non-volatile, dense, low-power, and radiation-hard. Such magnetic elements are compatible with MRAM technology, which can provide input–output interfaces. Compatibility with MRAM also promises a natural integration of memory and logic. Nanomagnetic logic also appears to be scalable to the ultimate limit of using individual atomic spins.' This article reviews progress toward complete and reliable NML systems. More specifically, we (i) review experimental progress toward fundamental characteristics a device must possess if it is to be used in a digital system, (ii) consider how the NML design space may impact the system-level energy (especially when considering the clock needed to drive a computation), (iii) explain--using both the NML design space and a discussion of clocking as context—how reliable circuit operation may be achieved, (iv) highlight experimental efforts regarding CMOS friendly clock structures for NML systems, (v) explain how electrical I/O could be achieved, and (vi) conclude with a brief discussion of suitable architectures for this technology. Throughout the article, we attempt to identify important areas for future work. © 2011 IOP Publishing Ltd
PERFORMANCE OF DIFFERENT CMOS LOGIC STYLES FOR LOW POWER AND HIGH SPEED
Directory of Open Access Journals (Sweden)
Sreenivasa Rao.Ijjada
2012-06-01
Full Text Available Designing high-speed low-power circuits with CMOS technology has been a major research problem for many years. Several logic families have been proposed and used to improve circuit performance beyond that of conventional static CMOS family. Fast circuit families are becoming attractive in deep sub micron technologies since the performance benefits obtained from process scaling are decreasing as feature size decreases. This paper presents CMOS differential circuit families such as Dual rail domino logic and pseudo Nmos logic their delay and power variations in terms of adder design and logical design. Domino CMOS has become the prevailing logic family for high performance CMOS applications and it is extensively used in most state-of-the-art processors due to its high speed capabilities. The drawback of domino CMOS is that it provides only non-inverting functions because of its monotonic nature. Dual-Rail Domino logic, (also known as clocked Cascade voltage switch logic where both polarities of the output are generated, provides a robust solution to this problem.
LOW POWER-AREA DESIGN OF FULL ADDER USING SELF RESETTING LOGIC WITH GDI TECHNIQUE
Directory of Open Access Journals (Sweden)
Simran Khokha1
2016-08-01
Full Text Available Various electronic devices such as mobile phones, DSPs,ALU etc., are designed by using VLSI (Very Large Scale Integration technology. In VLSI dynamic CMOS logic circuits are concentrating on the Area ,reducing the power consumption and increasing the Speed by reducing the delay. ALU (Arithmetic Logic Circuits are designed by using adder, subtractors, multiplier, divider, etc.Various adder circuits designs have been proposed over last few years with different logic styles. To reduce the power consumption several parameters are to be taken into account, such as feedthrough, leakage power single-event upsets, charge sharing by parasitic components while connecting source and drain of CMOS transistors There are situations in a logic that permit the use of circuits that can automatically precharge themselves (i.e., reset themselves after some prescribed delays. These circuits are hence called postcharge or self-resetting logic which are widely used in dynamic logic circuits. Overall performance of various adder designs is evaluated by using Tanner tool . The earlier and the proposed SRLGDI primitives are simulated using Tanner EDA with BSIM 0.250 lm technology with supply voltage ranging from 0 V to 5 V in steps of 0.2 V. On comparing the various SRLGDI logic adders, the proposed adder shows low power, delay and low PDP among its counterparts.
GRAPHIC REALIZATION FOUNDATIONS OF LOGIC-SEMANTIC MODELING IN DIDACTICS
Directory of Open Access Journals (Sweden)
V. E. Steinberg
2017-01-01
Full Text Available Introduction. Nowadays, there are not a lot of works devoted to a graphic method of logic-semantic modeling of knowledge. Meanwhile, an interest towards this method increases due to the fact of essential increase of the content of visual component in information and educational sources. The present publication is the authors’ contribution into the solution of the problem of search of new forms and means convenient for visual and logic perception of a training material, its assimilation, operating by elements of knowledge and their transformations.The aim of the research is to justify graphical implementation of the method of logic-semantic modeling of knowledge, presented by a natural language (training language and to show the possibilities of application of figurative and conceptual models in student teaching.Methodology and research methods. The research methodology is based on the specified activity-regulatory, system-multi-dimensional and structural-invariant approach and the principle of multidimensionality. The methodology the graphic realization of the logic-semantic models in learning technologies is based on didactic design using computer training programs.Results and scientific novelty. Social and anthropological-cultural adaptation bases of the method of logical-semantic knowledge modeling to the problems of didactics are established and reasoned: coordinate-invariant matrix structure is presented as the basis of logical-semantic models of figurative and conceptual nature; the possibilities of using such models as multifunctional didactic regulators – support schemes, navigation in the content of the educational material, educational activities carried out by navigators, etc., are shown. The characteristics of new teaching tools as objects of semiotics and didactic of regulators are considered; their place and role in the structure of the external and internal training curricula learning activities are pointed out
Fuzzy logic control of the building structure with CLEMR dampers
Zhang, Xiang-Cheng; Xu, Zhao-Dong; Huang, Xing-Huai; Zhu, Jun-Tao
2013-04-01
The semi-active control technology has been paid more attention in the field of structural vibration control due to its high controllability, excellent control effect and low power requirement. When semi-active control device are used for vibration control, some challenges must be taken into account, such as the reliability and the control strategy of the device. This study presents a new large tonnage compound lead extrusion magnetorheological (CLEMR) damper, whose mathematical model is introduced to describe the variation of damping force with current and velocity. Then a current controller based on the fuzzy logic control strategy is designed to determine control currents of the CLEMR dampers rapidly. A ten-floor frame structure with CLEMR dampers using the fuzzy logic control strategy is built and calculated by using MATLAB. Calculation results show that CLEMR dampers can reduce the seismic responses of structures effectively. Calculation results of the fuzzy logic control strategy are compared with those of the semi-active limit Hrovat control structure, the passive-off control structure, and the uncontrolled structure. Comparison results show that the fuzzy logic control strategy can determine control currents of CLEMR dampers quickly and can reduce seismic responses of the structures more effectively than the passive-off control strategy and the uncontrolled structure.
2012-01-01
In this present study includes the Very Large Scale Integration (VLSI) system implementation of 200MHz, 8-bit, 90nm Complementary Metal Oxide Semiconductor (CMOS) Arithmetic and Logic Unit (ALU) processor control with logic gate design style and 0.12µm six metal 90nm CMOS fabrication technology. The system blocks and the behaviour are defined and the logical design is implemented in gate level in the design phase. Then, the logic circuits are simulated and the subunits are converted in to 90n...
The Distributed Logical Reasoning Language D—Tuili and Its Implementation on Microcomputer Network
Institute of Scientific and Technical Information of China (English)
高全泉; 陆汝钤; 等
1992-01-01
D－Tuili,having been implemented on microcompute network,is a distributed logical reasoning programming language.D-Tuili supports parallel programming on the language level,and couples loosely with the distributed database management system,so data in distributed databases can be used in the distributed logic programs.In this paper,we mainly introduce the components of D-Tuili used to design distributed logic programs.Furthermore,the main principles to implement D-Tuili and the main technologies adopted in the implemented system of D-Tuili are described.
Rethinking Service Companies’ Business Logic: Do We Need a Customer-Dominant Logic as a Guideline?
Heinonen, kristina; Strandvik, Tore; Mickelsson, Karl-Jacob; Edvardsson, Bo; Sundström, Erik; Andersson, Per
2009-01-01
Purpose –This paper explores and expands the roles of customers and companies in creating value by introducing a new a customer-based approach to service. The customer’s logic is examined as being the foundation of a customer-based marketing and business logic. Design/methodology/approach – The authors argue that both goods-dominant logics and service-dominant logics are provider-dominant. Contrasting the customer-dominant logic with provider-dominant logics, the paper examines the creation o...
Computational intelligence synergies of fuzzy logic, neural networks and evolutionary computing
Siddique, Nazmul
2013-01-01
Computational Intelligence: Synergies of Fuzzy Logic, Neural Networks and Evolutionary Computing presents an introduction to some of the cutting edge technological paradigms under the umbrella of computational intelligence. Computational intelligence schemes are investigated with the development of a suitable framework for fuzzy logic, neural networks and evolutionary computing, neuro-fuzzy systems, evolutionary-fuzzy systems and evolutionary neural systems. Applications to linear and non-linear systems are discussed with examples. Key features: Covers all the aspect
Optimized design of BCD adder and Carry skip BCD adder using reversible logic gates
H.R.Bhagyalakshmi,; M K Venkatesha
2011-01-01
Reversible logic is very essential for the construction of low power, low loss computational structures which are very essential for the construction of arithmetic circuits used in quantum computation, nano technology and other low power digital circuits. In the present paper an optimized and low quantum cost one digit BCD adder and an optimized one digit carry skip BCD adder using new reversible logic gates are proposed. The proposed work is best compared to the other existing circuits.
Efficient carry skip Adder design using full adder and carry skip block based on reversible Logic
Varun Pratap Singh; Shiv Dayal; Manish Rai
2015-01-01
In recent years, Reversible Logic is becoming more and more prominent technology having its applications in Quantum Computing, Nanotechnology, and Optical Computing. Reversibility plays an important role when energy efficient computations are considered. In this paper, binary full Adder with Design I and Design II are proposed. The performance analysis is verified using number of reversible gates, Garbage input/outputs, delay, number of logical calculations and Quantum Cost. According t...
The research on high speed underwater target recognition based on fuzzy logic inference
Institute of Scientific and Technical Information of China (English)
JIANG Xiang-Dong; YANG De-Sen; SHI Sheng-guo; LI Si-Chun
2006-01-01
The underwater target recognition is a key technology in acoustic confrontation and underwater defence. In this article, a recognition system based on fuzzy logic inference (FLI) is set up. This system is mainly composed of three parts: the fuzzy input module, the fuzzy logic inference module with a set of inference rules and the de-fuzzy output module. The inference result shows the recognition system is effective in most conditions.
The research on high speed underwater target recognition based on fuzzy logic inference
Jiang, Xiang-Dong; Yang, De-Sen; Shi, Sheng-Guo; Li, Si-Chun
2006-06-01
The underwater target recognition is a key technology in acoustic confrontation and underwater defence. In this article, a recognition system based of fuzzy logic inference (FLI) is set up. This system is mainly composed of three parts: the fuzzy input module, the fuzzy logic inference module with a set of inference rules and the de-fuzzy output module. The inference result shows the recognition system is effective in most conditions.
Optimized design of BCD adder and Carry skip BCD adder using reversible logic gates
Directory of Open Access Journals (Sweden)
H.R.Bhagyalakshmi,
2011-04-01
Full Text Available Reversible logic is very essential for the construction of low power, low loss computational structures which are very essential for the construction of arithmetic circuits used in quantum computation, nano technology and other low power digital circuits. In the present paper an optimized and low quantum cost one digit BCD adder and an optimized one digit carry skip BCD adder using new reversible logic gates are proposed. The proposed work is best compared to the other existing circuits.
Contributions to Logical Database Design
Directory of Open Access Journals (Sweden)
Vitalie COTELEA
2012-01-01
Full Text Available This paper treats the problems arising at the stage of logical database design. It comprises a synthesis of the most common inference models of functional dependencies, deals with the problems of building covers for sets of functional dependencies, makes a synthesizes of normal forms, presents trends regarding normalization algorithms and provides a temporal complexity of those. In addition, it presents a summary of the most known keys’ search algorithms, deals with issues of analysis and testing of relational schemes. It also summarizes and compares the different features of recognition of acyclic database schemas.
Logical inferences in discourse analysis
Institute of Scientific and Technical Information of China (English)
刘峰廷
2014-01-01
Cohesion and coherence are two important characteristics of discourses. Halliday and Hasan have pointed out that cohesion is the basis of coherence and coherence is the premise of forming discourse. The commonly used cohesive devices are: preference, ellipsis, substitution, etc. Discourse coherence is mainly manifested in sentences and paragraphs. However, in real discourse analysis environment, traditional methods on cohesion and coherence are not enough. This article talks about the conception of discourse analysis at the beginning. Then, we list some of the traditional cohesive devices and its uses. Following that, we make corpus analysis. Finally, we explore and find a new device in textual analysis:discourse logical inferences.
Universal Algebra and Mathematical Logic
Luo, Zhaohua
2011-01-01
In this paper, first-order logic is interpreted in the framework of universal algebra, using the clone theory developed in three previous papers. We first define the free clone T(L, C) of terms of a first order language L over a set C of parameters in a standard way. The free right algebra F(L, C) of formulas over T(L, C) is then generated by atomic formulas. Structures for L over C are represented as perfect valuations of F(L, C), and theories of L are represented as filters of F(L). Finally Godel's completeness theorem and first incompleteness theorem are stated as expected.
Klein, Moshe; Maimon, Oded
2016-11-01
We strive to understand, by using mathematical tools, the phenomena where the observer can interpret simultaneously opposite situations, such as the distinct interpretations of the Necker cube. In this study we present a new coordinate system that draws a distinction between -0 and +0. The central theorem presented here postulates that when divisions and multiplications of 0 are combined with real numbers, the Mobius strip provides a model for non-standard analysis. We also suggest that the axis 0 is the fifth dimension extension of the quaternions. We also propose to add the soft logic capability to humanoid type robots, as a way to overcome the Turing test.
5th World Congress of Paraconsistent Logic
Chakraborty, Mihir; Dutta, Soma
2015-01-01
The present book discusses all aspects of paraconsistent logic, including the latest findings, and its various systems. It includes papers by leading international researchers, which address the subject in many different ways: development of abstract paraconsistent systems and new theorems about them; studies of the connections between these systems and other non-classical logics, such as non-monotonic, many-valued, relevant, paracomplete and fuzzy logics; philosophical interpretations of these constructions; and applications to other sciences, in particular quantum physics and mathematics. Reasoning with contradictions is the challenge of paraconsistent logic. The book will be of interest to graduate students and researchers working in mathematical logic, computer science, philosophical logic, linguistics and physics.
A Denotational Semantics for Logic Programming
DEFF Research Database (Denmark)
Frandsen, Gudmund Skovbjerg
A fully abstract denotational semantics for logic programming has not been constructed yet. In this paper we present a denotational semantics that is almost fully abstract. We take the meaning of a logic program to be an element in a Plotkin power domain of substitutions. In this way our result...... shows that standard domain constructions suffice, when giving a semantics for logic programming. Using the well-known fixpoint semantics of logic programming we have to consider two different fixpoints in order to obtain information about both successful and failed computations. In contrast, our...... semantics is uniform in that the (single) meaning of a logic program contains information about both successful, failed and infinite computations. Finally, based on the full abstractness result, we argue that the detail level of substitutions is needed in any denotational semantics for logic programming....
Amortised Resource Analysis with Separation Logic
Atkey, Robert
2011-01-01
Type-based amortised resource analysis following Hofmann and Jost---where resources are associated with individual elements of data structures and doled out to the programmer under a linear typing discipline---have been successful in providing concrete resource bounds for functional programs, with good support for inference. In this work we translate the idea of amortised resource analysis to imperative pointer-manipulating languages by embedding a logic of resources, based on the affine intuitionistic Logic of Bunched Implications, within Separation Logic. The Separation Logic component allows us to assert the presence and shape of mutable data structures on the heap, while the resource component allows us to state the consumable resources associated with each member of the structure. We present the logic on a small imperative language, based on Java bytecode, with procedures and mutable heap. We have formalised the logic and its soundness property within the Coq proof assistant and extracted a certified ver...
Towards applied theories based on computability logic
Japaridze, Giorgi
2008-01-01
Computability logic (CL) (see http://www.cis.upenn.edu/~giorgi/cl.html) is a recently launched program for redeveloping logic as a formal theory of computability, as opposed to the formal theory of truth that logic has more traditionally been. Formulas in it represent computational problems, "truth" means existence of an algorithmic solution, and proofs encode such solutions. Within the line of research devoted to finding axiomatizations for ever more expressive fragments of CL, the present paper introduces a new deductive system CL12 and proves its soundness and completeness with respect to the semantics of CL. Conservatively extending classical predicate calculus and offering considerable additional expressive and deductive power, CL12 presents a reasonable, computationally meaningful, constructive alternative to classical logic as a basis for applied theories. To obtain a model example of such theories, this paper rebuilds the traditional, classical-logic-based Peano arithmetic into a computability-logic-b...