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....
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 ...
ALPES: an advanced logic programming environment
Directory of Open Access Journals (Sweden)
Cristina Ruggieri
1988-11-01
Full Text Available This paper introduces a software programming environment for an extended Prolog language, called ALPES. The purpose of ALPES is to enable a logic programming paradigm to become a software engineering tool to design, develop and prototype traditional software systems, as well as artificial intelligence applications. The key structuring concepts for programs, as well as for the system architecture as a whole are those of contexts, processes and communication. The software design and development methodologies induced by the use of the Alpes-Prolog language have been incrementally used to develop the environment itself. This research was conducted under the Esprit projects P973 (ALPES.
Oracle WebLogic Server 12c advanced administration cookbook
Iwazaki, Dalton
2013-01-01
Using real life problems and simple solutions this book will make any issue seem small. WebLogic Server books can be a bit dry but Dalton keeps the tone light and ensures no matter how complex the problem you always feel like you have someone right there with you helping you along.This book is ideal for those who know the basics of WebLogic but want to dive deeper and get to grips with more advanced topics. So if you are a datacenter operator, system administrator or even a Java developer this book could be exactly what you are looking for to take you one step further with Oracle WebLogic Serv
Advanced nuclear instrumentation design using programmable logic devices
International Nuclear Information System (INIS)
Misra, M. K.; Srivani, L.; Sambasivan, S. I.
2009-01-01
The evolution of semiconductor technology has made the application of Programmable Logic Devices (PLD) inevitable in modern digital systems design but when they are deployed in Safety Critical Systems (SCS), their reliability and safety need to be proved beyond doubt. PLDs are available as off-the-shelf parts that offer a wide range of logic capacity, various features, speed and voltage characteristics. These devices can be customized as per the user requirements. Re-programmable series of PLDs allows designers to change the circuitry as often as they want until the design operates to their satisfaction. To describe the digital designs, IEEE standard Hardware Description Languages (HDL) such as VHDL and Verilog HDL are used. As designs grow more complex, the verification problems increase exponentially. High level Verification Languages (HVL) have emerged to solve the functional verification bottleneck. Using HVLs, directed-random verification approach is adopted to achieve high coverage. The purpose of this approach is to ensure that the system is verified for its functionality in all possible scenarios. A 500 MWe Prototype Fast Breeder Reactor (PFBR) is in the advanced stage of construction at Kalpakkam (Tamilnadu), India. PLDs are extensively utilized in designing instrumentation systems like core monitoring and safety logic functions of PFBR. This paper provides review of advanced digital design methodologies adopted in designing PLD based SCS. (authors)
Van Der Spek, Mijndert; Bonalumi, Davide; Manzolini, Giampaolo; Ramirez, Andrea; Faaij, André P.C.
2018-01-01
This work compares the part load techno-economic performance of CO2 capture from a CCGT using a membrane configuration with selective CO2 recycle and using MEA solvent, under the assumption of flexible power plant dispatch. This is the first time that the techno-economic performance of CO2 capture
DEFF Research Database (Denmark)
Jensen, Torben Elgaard
2013-01-01
Inaugural lecture, Ph.D Torben Elgaard Jensen, professor with special responsibilities in techno anthropology and science and technology studies. The lecture addresses three questions: First, what is the unique approach that STS developed in the late 1970’s and early 1980’s? Second, what is the s......Inaugural lecture, Ph.D Torben Elgaard Jensen, professor with special responsibilities in techno anthropology and science and technology studies. The lecture addresses three questions: First, what is the unique approach that STS developed in the late 1970’s and early 1980’s? Second, what...... is the significance of the enormous growth of STS scholarship that took place in the following 2-3 decades? And third, what are the challenges today for an STS field that has come of age? Finally, the lecture offers reflections on the promises of the new techno anthropology study programme....
Selected Advances in Nanoelectronic Devices Logic, Memory and RF
Joodaki, Mojtaba
2013-01-01
Nanoelectronics, as a true successor of microelectronics, is certainly a major technology boomer in the 21st century. This has been shown by its several applications and also by its enormous potential to influence all areas of electronics, computers, information technology, aerospace defense, and consumer goods. Although the current semiconductor technology is projected to reach its physical limit in about a decade, nanoscience and nanotechnology promise breakthroughs for the future. The present books provides an in-depth review of the latest advances in the technology of nanoelectronic devices and their developments over the past decades. Moreover, it introduces new concepts for the realization of future nanoelectronic devices. The main focus of the book is on three fundamental branches of semiconductor products or applications: logic, memory, and RF and communication. By pointing out to the key technical challenges, important aspects and characteristics of various designs are used to illustrate mechanisms t...
Advances in the LPi and LPi1/2 Logics
Czech Academy of Sciences Publication Activity Database
Cintula, Petr
2003-01-01
Roč. 42, č. 5 (2003), s. 449-468 ISSN 0933-5846 R&D Projects: GA AV ČR IAA1030004 Institutional research plan: AV0Z1030915 Keywords : fuzzy logic * Lukasiewicz logic * product logic Subject RIV: BA - General Mathematics Impact factor: 0.523, year: 2003
High quality mask storage in an advanced Logic-Fab
Jähnert, Carmen; Fritsche, Silvio
2012-02-01
High efficient mask logistics as well as safe and high quality mask storage are essential requirements within an advanced lithography area of a modern logic waferfab. Fast operational availability of the required masks at the exposure tool with excellent mask condition requires a safe mask handling, safeguarding of high mask quality over the whole mask usage time without any quality degradation and an intelligent mask logistics. One big challenge is the prevention of haze on high advanced phase shift masks used in a high volume production line for some thousands of 248nm or 193nm exposures. In 2008 Infineon Dresden qualified a customer specific developed semi-bare mask storage system from DMSDynamic Micro Systems in combination with a high advanced mask handling and an interconnected complex logistic system. This high-capacity mask storage system DMS M1900.22 for more than 3000 masks with fully automated mask and box handling as well as full-blown XCDA purge has been developed and adapted to the Infineon Lithotoollandscape using Nikon and SMIF reticle cases. Advanced features for ESD safety and mask security, mask tracking via RFID and interactions with the exposure tools were developed and implemented. The stocker is remote controlled by the iCADA-RSM system, ordering of the requested mask directly from the affected exposure tool allows fast access. This paper discusses the advantages and challenges for this approach as well as the practical experience gained during the implementation of the new system which improves the fab performance with respect to mask quality, security and throughput. Especially the realization of an extremely low and stable humidity level in addition with a well controlled air flow at each mask surface, preventing masks from haze degradation and particle contamination, turns out to be a notable technical achievement. The longterm stability of haze critical masks has been improved significantly. Relevant environmental parameters like
Dynamic Event Tree advancements and control logic improvements
International Nuclear Information System (INIS)
Alfonsi, Andrea; Rabiti, Cristian; Mandelli, Diego; Sen, Ramazan Sonat; Cogliati, Joshua Joseph
2015-01-01
The RAVEN code has been under development at the Idaho National Laboratory since 2012. Its main goal is to create a multi-purpose platform for the deploying of all the capabilities needed for Probabilistic Risk Assessment, uncertainty quantification, data mining analysis and optimization studies. RAVEN is currently equipped with three different sampling categories: Forward samplers (Monte Carlo, Latin Hyper Cube, Stratified, Grid Sampler, Factorials, etc.), Adaptive Samplers (Limit Surface search, Adaptive Polynomial Chaos, etc.) and Dynamic Event Tree (DET) samplers (Deterministic and Adaptive Dynamic Event Trees). The main subject of this document is to report the activities that have been done in order to: start the migration of the RAVEN/RELAP-7 control logic system into MOOSE, and develop advanced dynamic sampling capabilities based on the Dynamic Event Tree approach. In order to provide to all MOOSE-based applications a control logic capability, in this Fiscal Year an initial migration activity has been initiated, moving the control logic system, designed for RELAP-7 by the RAVEN team, into the MOOSE framework. In this document, a brief explanation of what has been done is going to be reported. The second and most important subject of this report is about the development of a Dynamic Event Tree (DET) sampler named 'Hybrid Dynamic Event Tree' (HDET) and its Adaptive variant 'Adaptive Hybrid Dynamic Event Tree' (AHDET). As other authors have already reported, among the different types of uncertainties, it is possible to discern two principle types: aleatory and epistemic uncertainties. The classical Dynamic Event Tree is in charge of treating the first class (aleatory) uncertainties; the dependence of the probabilistic risk assessment and analysis on the epistemic uncertainties are treated by an initial Monte Carlo sampling (MCDET). From each Monte Carlo sample, a DET analysis is run (in total, N trees). The Monte Carlo employs a pre
Dynamic Event Tree advancements and control logic improvements
Energy Technology Data Exchange (ETDEWEB)
Alfonsi, Andrea [Idaho National Lab. (INL), Idaho Falls, ID (United States); Rabiti, Cristian [Idaho National Lab. (INL), Idaho Falls, ID (United States); Mandelli, Diego [Idaho National Lab. (INL), Idaho Falls, ID (United States); Sen, Ramazan Sonat [Idaho National Lab. (INL), Idaho Falls, ID (United States); Cogliati, Joshua Joseph [Idaho National Lab. (INL), Idaho Falls, ID (United States)
2015-09-01
The RAVEN code has been under development at the Idaho National Laboratory since 2012. Its main goal is to create a multi-purpose platform for the deploying of all the capabilities needed for Probabilistic Risk Assessment, uncertainty quantification, data mining analysis and optimization studies. RAVEN is currently equipped with three different sampling categories: Forward samplers (Monte Carlo, Latin Hyper Cube, Stratified, Grid Sampler, Factorials, etc.), Adaptive Samplers (Limit Surface search, Adaptive Polynomial Chaos, etc.) and Dynamic Event Tree (DET) samplers (Deterministic and Adaptive Dynamic Event Trees). The main subject of this document is to report the activities that have been done in order to: start the migration of the RAVEN/RELAP-7 control logic system into MOOSE, and develop advanced dynamic sampling capabilities based on the Dynamic Event Tree approach. In order to provide to all MOOSE-based applications a control logic capability, in this Fiscal Year an initial migration activity has been initiated, moving the control logic system, designed for RELAP-7 by the RAVEN team, into the MOOSE framework. In this document, a brief explanation of what has been done is going to be reported. The second and most important subject of this report is about the development of a Dynamic Event Tree (DET) sampler named “Hybrid Dynamic Event Tree” (HDET) and its Adaptive variant “Adaptive Hybrid Dynamic Event Tree” (AHDET). As other authors have already reported, among the different types of uncertainties, it is possible to discern two principle types: aleatory and epistemic uncertainties. The classical Dynamic Event Tree is in charge of treating the first class (aleatory) uncertainties; the dependence of the probabilistic risk assessment and analysis on the epistemic uncertainties are treated by an initial Monte Carlo sampling (MCDET). From each Monte Carlo sample, a DET analysis is run (in total, N trees). The Monte Carlo employs a pre-sampling of the
Advanced Concepts in Fuzzy Logic and Systems with Membership Uncertainty
Starczewski, Janusz T
2013-01-01
This book generalizes fuzzy logic systems for different types of uncertainty, including - semantic ambiguity resulting from limited perception or lack of knowledge about exact membership functions - lack of attributes or granularity arising from discretization of real data - imprecise description of membership functions - vagueness perceived as fuzzification of conditional attributes. Consequently, the membership uncertainty can be modeled by combining methods of conventional and type-2 fuzzy logic, rough set theory and possibility theory. In particular, this book provides a number of formulae for implementing the operation extended on fuzzy-valued fuzzy sets and presents some basic structures of generalized uncertain fuzzy logic systems, as well as introduces several of methods to generate fuzzy membership uncertainty. It is desirable as a reference book for under-graduates in higher education, master and doctor graduates in the courses of computer science, computational intelligence, or...
DEFF Research Database (Denmark)
Sigurdsson, Halldór Matthias; Point, J.C.; Million, P.
A techno-economic model for analysing and comparing broadband deployment strategies has been established. The resulting simulation model can compare Capital Expenditure (CAPEX) of dominating broadband technologies in different types of demographic areas. The study reveals the competitiveness...
Techno-Velcro to Techno-Memoria: Technology, Rhetoric, and Family in the Composition Classroom
Ericsson, Patricia Freitag; Muhlhauser, Paul
2011-01-01
"Techno-velcro to Techno-memoria" is an intergenerational collection of techno-memories illustrating the impact of techno-literacies on family communication practices. Guests participating in "Techno-velcro to Techno-memoria" add their voices to create a rich resource of techno-rhetorical connections. Our guest-collaborators remember and describe…
Energy Technology Data Exchange (ETDEWEB)
Bostick, Devin [Linde LLC, Murray Hill, NJ (United States); Stoffregen, Torsten [Linde AG Linde Engineering Division, Dresden (Germany); Rigby, Sean [BASF Corporation, Houston, TX (United States)
2017-01-09
This topical report presents the techno-economic evaluation of a 550 MWe supercritical pulverized coal (PC) power plant utilizing Illinois No. 6 coal as fuel, integrated with 1) a previously presented (for a subcritical PC plant) Linde-BASF post-combustion CO_{2} capture (PCC) plant incorporating BASF’s OASE® blue aqueous amine-based solvent (LB1) [Ref. 6] and 2) a new Linde-BASF PCC plant incorporating the same BASF OASE® blue solvent that features an advanced stripper interstage heater design (SIH) to optimize heat recovery in the PCC process. The process simulation and modeling for this report is performed using Aspen Plus V8.8. Technical information from the PCC plant is determined using BASF’s proprietary thermodynamic and process simulation models. The simulations developed and resulting cost estimates are first validated by reproducing the results of DOE/NETL Case 12 representing a 550 MWe supercritical PC-fired power plant with PCC incorporating a monoethanolamine (MEA) solvent as used in the DOE/NETL Case 12 reference [Ref. 2]. The results of the techno-economic assessment are shown comparing two specific options utilizing the BASF OASE® blue solvent technology (LB1 and SIH) to the DOE/NETL Case 12 reference. The results are shown comparing the energy demand for PCC, the incremental fuel requirement, and the net higher heating value (HHV) efficiency of the PC power plant integrated with the PCC plant. A comparison of the capital costs for each PCC plant configuration corresponding to a net 550 MWe power generation is also presented. Lastly, a cost of electricity (COE) and cost of CO_{2} captured assessment is shown illustrating the substantial cost reductions achieved with the Linde-BASF PCC plant utilizing the advanced SIH configuration in combination with BASF’s OASE® blue solvent technology as compared to the DOE/NETL Case 12 reference. The key factors contributing to the reduction of COE and the cost of CO_{2} captured
Directory of Open Access Journals (Sweden)
C. Subba Rami Reddy
2011-07-01
Full Text Available This paper introduces an Integrated fuzzy logic controller (IFLC for brushless dc (BLDC motor drives using advanced simulation model and presents a comparative study of performances of PID controller and IFLC. The dynamic characteristics of speed and torque are effectively monitored and analyzed using the proposed model. The aim of IFLC is to obtain improved performance in terms of disturbance rejection or parameter variation than obtained using PID controller. The IFLC is constructed by using Fuzzy logic controller (FLC and PID controller. A performance comparison of the controllers is also given based on the integral of the absolute value of the error (IAE, the integral of the squared error (ISE, the integral of the time-weighted absolute error (ITAE and the integral of the time-weighted squared error (ITSE. The results show the effectiveness of the proposed controller.
Fuzzy logic-based advanced on–off control for thermal comfort in residential buildings
International Nuclear Information System (INIS)
Kang, Chang-Soon; Hyun, Chang-Ho; Park, Mignon
2015-01-01
Highlights: • Fuzzy logic-based advanced on–off control is proposed. • An anticipative control mechanism is implemented by using fuzzy theory. • Novel thermal analysis program including solar irradiation as a factor is developed. • The proposed controller solves over-heating and under-heating thermal problems. • Solar energy compensation method is applied to compensate for the solar energy. - Abstract: In this paper, an advanced on–off control method based on fuzzy logic is proposed for maintaining thermal comfort in residential buildings. Due to the time-lag of the control systems and the late building thermal response, an anticipative control mechanism is required to reduce energy loss and thermal discomfort. The proposed controller is implemented based on an on–off controller combined with a fuzzy algorithm. On–off control was chosen over other conventional control methods because of its structural simplicity. However, because conventional on–off control has a fixed operating range and a limited ability for improvements in control performance, fuzzy theory can be applied to overcome these limitations. Furthermore, a fuzzy-based solar energy compensation algorithm can be applied to the proposed controller to compensate for the energy gained from solar radiation according to the time of day. Simulations were conducted to compare the proposed controller with a conventional on–off controller under identical external conditions such as outdoor temperature and solar energy; these simulations were carried out by using a previously reported thermal analysis program that was modified to consider such external conditions. In addition, experiments were conducted in a residential building called Green Home Plus, in which hydronic radiant floor heating is used; in these experiments, the proposed system performed better than a system employing conventional on–off control methods
Lawton, Joseph T.
1977-01-01
Tests Ausubel's (1960) subsumption theory of learning in the context of children's use of causal and logical connectives. Predicts that the acquisition of prior cognitive structure organizers would facilitate the learning and retention of subsequently presented concepts and logical operations and lead to a decrease of syncretic reasoning and…
Introduction Of Techno-Economy
International Nuclear Information System (INIS)
Park, Woo Hui
2001-08-01
This book gives descriptions of science, technology and techno-economy, invention and science and technology in the Twenty-First century, theory and model of technological innovation, technology and economy technology and industry, technology and business, spread and transfer of technique, technology and international economy, science, technique and culture, science, technology and government, development of technology in Korea and developing countries, and conclusion on the past and the future of techno-economy.
Process Techno – Innovation Using TQM in Developing Countries
Directory of Open Access Journals (Sweden)
Fasil Taddese
2010-08-01
Full Text Available Techno-innovation has been competitive edge for most manufacturing companies. Rapid advancement in technology-innovation geared-up with global mega-competition has resulted in unprecedented economic growth where TQM has played major role. Despite slow economic growth in developing countries caused by incapability to develop their own technology, failure to make wise decision in adopting competent technology, and inability to properly utilize adopted technologies; tremendous developments are seen in some. Examples can be Indian companies that won the prestigious Deming Prize and Japan Quality Medal after adopting necessary technologies from Japan under TQM. We have addressed process techno-innovation by 4M (Man, Machine, Method, Material and 1E (working condition-corporate culture approach. Results indicate that TQM affects process techno-innovation by primary effect on human resource and working condition/corporate culture. Three stage gates vis-à-vis: process understanding, process improvement and technology learning, and process techno-innovation are the mechanisms through which TQM promotes process techno-innovation in developing countries.
A techno-economic review of thermochemical cellulosic biofuel pathways.
Brown, Tristan R
2015-02-01
Recent advances in the thermochemical processing of biomass have resulted in efforts to commercialize several cellulosic biofuel pathways. Until commercial-scale production is achieved, however, techno-economic analysis is a useful methodology for quantifying the economic competitiveness of these pathways with petroleum, providing one indication of their long-term feasibility under the U.S. revised Renewable Fuel Standard. This review paper covers techno-economic analyses of thermochemical cellulosic biofuel pathways in the open literature, discusses and compares their results, and recommends the adoption of additional analytical methodologies that will increase the value of future pathway analyses. Copyright © 2014 Elsevier Ltd. All rights reserved.
Nucleic acids and smart materials: advanced building blocks for logic systems.
Pu, Fang; Ren, Jinsong; Qu, Xiaogang
2014-09-03
Logic gates can convert input signals into a defined output signal, which is the fundamental basis of computing. Inspired by molecular switching from one state to another under an external stimulus, molecular logic gates are explored extensively and recognized as an alternative to traditional silicon-based computing. Among various building blocks of molecular logic gates, nucleic acid attracts special attention owing to its specific recognition abilities and structural features. Functional materials with unique physical and chemical properties offer significant advantages and are used in many fields. The integration of nucleic acids and functional materials is expected to bring about several new phenomena. In this Progress Report, recent progress in the construction of logic gates by combining the properties of a range of smart materials with nucleic acids is introduced. According to the structural characteristics and composition, functional materials are categorized into three classes: polymers, noble-metal nanomaterials, and inorganic nanomaterials. Furthermore, the unsolved problems and future challenges in the construction of logic gates are discussed. It is hoped that broader interests in introducing new smart materials into the field are inspired and tangible applications for these constructs are found. © 2014 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.
Nonlinear Aerodynamic Modeling From Flight Data Using Advanced Piloted Maneuvers and Fuzzy Logic
Brandon, Jay M.; Morelli, Eugene A.
2012-01-01
Results of the Aeronautics Research Mission Directorate Seedling Project Phase I research project entitled "Nonlinear Aerodynamics Modeling using Fuzzy Logic" are presented. Efficient and rapid flight test capabilities were developed for estimating highly nonlinear models of airplane aerodynamics over a large flight envelope. Results showed that the flight maneuvers developed, used in conjunction with the fuzzy-logic system identification algorithms, produced very good model fits of the data, with no model structure inputs required, for flight conditions ranging from cruise to departure and spin conditions.
The spatial and logical organization of devices in an advanced industrial robot system
Ruoff, C. F.
1980-01-01
This paper describes the geometrical and device organization of a robot system which is based in part upon transformations of Cartesian frames and exchangeable device tree structures. It discusses coordinate frame transformations, geometrical device representation and solution degeneracy along with the data structures which support the exchangeable logical-physical device assignments. The system, which has been implemented in a minicomputer, supports vision, force, and other sensors. It allows tasks to be instantiated with logically equivalent devices and it allows tasks to be defined relative to appropriate frames. Since these frames are, in turn, defined relative other frames this organization provides a significant simplification in task specification and a high degree of system modularity.
Hot metal temperature prediction in blast furnace using advanced model based on fuzzy logic tools
Energy Technology Data Exchange (ETDEWEB)
Martin, R.D.; Obeso, F.; Mochon, J.; Barea, R.; Jimenez, J.
2007-05-15
The present work presents a model based on fuzzy logic tools to predict and simulate the hot metal temperature in a blast furnace (BF). As input variables this model uses the control variables of a current BF such as moisture, pulverised coal injection, oxygen addition, mineral/coke ratio and blast volume, and it yields as a result of the hot metal temperature. The variables employed to develop the model have been obtained from data supplied by current sensors of a Spanish BF In the model training stage the adaptive neurofuzzy inference system and the subtractive clustering algorithms have been used.
Advances In Infection Surveillance and Clinical Decision Support With Fuzzy Sets and Fuzzy Logic.
Koller, Walter; de Bruin, Jeroen S; Rappelsberger, Andrea; Adlassnig, Klaus-Peter
2015-01-01
By the use of extended intelligent information technology tools for fully automated healthcare-associated infection (HAI) surveillance, clinicians can be informed and alerted about the emergence of infection-related conditions in their patients. Moni--a system for monitoring nosocomial infections in intensive care units for adult and neonatal patients--employs knowledge bases that were written with extensive use of fuzzy sets and fuzzy logic, allowing the inherent un-sharpness of clinical terms and the inherent uncertainty of clinical conclusions to be a part of Moni's output. Thus, linguistic as well as propositional uncertainty became a part of Moni, which can now report retrospectively on HAIs according to traditional crisp HAI surveillance definitions, as well as support clinical bedside work by more complex crisp and fuzzy alerts and reminders. This improved approach can bridge the gap between classical retrospective surveillance of HAIs and ongoing prospective clinical-decision-oriented HAI support.
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...
Dreher, Melanie C; Clinton, Patricia; Sperhac, Arlene
2014-01-01
The Institute of Medicine (IOM; 2010) has called for a transformation of the nursing profession to lead the redesign of health care in the United States. It acknowledges the need for profound change in nursing education, particularly advanced practice education, to produce the next generation of leaders in sufficient quantity to expand access, improve quality, and reduce cost. Although the IOM provides welcome validation of nursing's significant role, most of the recommendations are not new and have been advocated by nurse educators for decades. What has prevented us from creating the nimble and responsive educational programs that would ensure a sufficient corpus of advanced practice nurses with the relevant knowledge and skill to transform our ailing health system? Conceptualizing nursing as a complex, adaptive system (J.W. Begun and K. White, 1997), this article explores three examples of the dominant logic, grounded in a historical legacy that has kept the nursing profession from realizing its promise as a potent force: (a) the continuing preference for experience over education, (b) the belief that only nurses can teach nurses, and (c) the hegemony of the research doctorate. © 2014.
Biotic elements of NPP techno-ecosystem
International Nuclear Information System (INIS)
Protasov, A.A.; Silaeva, A.A.
2013-01-01
Specific features of biotic elements in the NPP techno-ecosystems were considered and compared with natural ecosystems. Relationships between biotic communities and environmental factors that are specific to the techno-ecosystems were discussed, and the problems of limitation of biological hindrances in operation of equipment, principles of hydrobiological and environmental monitoring were considered.
Internet use during childhood and the ecological techno-subsystem
Directory of Open Access Journals (Sweden)
Genevieve Marie Johnson
2008-12-01
Full Text Available Research findings suggest both positive and negative developmental consequences of Internet use during childhood (e.g., playing video games have been associated with enhanced visual skills as well as increased aggression. Several studies have concluded that environmental factors mediate the developmental impact of childhood online behaviour. From an ecological perspective, we propose the techno-subsystem, a dimension of the microsystem (i.e., immediate environments. The techno-subsystem includes child interaction with both living (e.g., peers and nonliving (e.g., hardware elements of communication, information, and recreation technologies in direct environments. By emphasizing the role of technology in child development, the ecological techno-subsystem encourages holistic exploration of the developmental consequences of Internet use (and future technological advances during childhood. L’usage d’Internet chez les enfants et le sous-système Techno écologique Résumé : Les résultats de recherche semblent indiquer que l’usage d’Internet chez les enfants aurait des conséquences développementales qui soit à la fois positives et négatives (ex. : l’usage des jeux vidéo auraient été associés à un accroissement des habileté visuelles ainsi qu’à un accroissement de l’agressivité. Plusieurs études ont aussi conclue que l’impact du comportement des enfants quand il sont en ligne sur leur développement serait affecté par des facteurs environnementaux. Dans une perspective écologique, nous proposons le sous-système Techno, une dimension du microsystème (ex :. les environnements immédiats. Le sous-système Techno comprend l’interaction de l’enfant avec des éléments vivants (e. : les paires et non vivants (ex; les ordinateurs de communication, d’information et de technologie de jeux dans des environnements directes.
Krasilenko, Vladimir G.; Nikolskyy, Aleksandr I.; Lazarev, Alexander A.
2015-01-01
We have proposed a design and simulation of hardware realizations of smart multifunctional continuous logic devices (SMCLD) as advanced basic cells of the sensor systems with MIMO- structure for images processing and interconnection. The SMCLD realize function of two-valued, multi-valued and continuous logics with current inputs and current outputs. Such advanced basic cells realize function nonlinear time-pulse transformation, analog-to-digital converters and neural logic. We showed advantages of such elements. It's have a number of advantages: high speed and reliability, simplicity, small power consumption, high integration level. The conception of construction of SMCLD consists in the use of a current mirrors realized on 1.5μm technology CMOS transistors. Presence of 50÷70 transistors, 1 PD and 1 LED makes the offered circuits quite compact. The simulation results of NOT, MIN, MAX, equivalence (EQ), normalize summation, averaging and other functions, that implemented SMCLD, showed that the level of logical variables can change from 0.1μA to 10μA for low-power consumption variants. The SMCLD have low power consumption <1mW and processing time about 1÷11μS at supply voltage 2.4÷3.3V.
Techno-Economics & Life Cycle Assessment (Presentation)
Energy Technology Data Exchange (ETDEWEB)
Dutta, A.; Davis, R.
2011-12-01
This presentation provides an overview of the techno-economic analysis (TEA) and life cycle assessment (LCA) capabilities at the National Renewable Energy Laboratory (NREL) and describes the value of working with NREL on TEA and LCA.
Embedding Logics into Product Logic
Czech Academy of Sciences Publication Activity Database
Baaz, M.; Hájek, Petr; Krajíček, Jan; Švejda, David
1998-01-01
Roč. 61, č. 1 (1998), s. 35-47 ISSN 0039-3215 R&D Projects: GA AV ČR IAA1030601 Grant - others:COST(XE) Action 15 Keywords : fuzzy logic * Lukasiewicz logic * Gödel logic * product logic * computational complexity * arithmetical hierarchy Subject RIV: BA - General Mathematics
van der Spek, Mijndert; Sanchez Fernandez, Eva; Eldrup, Nils Henrik; Skagestad, Ragnhild; Ramirez, Andrea; Faaij, André
2017-01-01
This paper addresses the uncertainty and variability in techno-economic studies of carbon capture technologies, based on a detailed comparison of the results of different studies on postcombustion CO2 capture with advanced amines, and on an in-depth uncertainty analysis using a combination of
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 ...
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
Kleene, Stephen Cole
1967-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.
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......, CWL contains modal operators indexed with rational numbers to predicate over the numerical labels of LWSs as well as a binary modal operator that encodes properties concerning the (de-) composition of LWSs. We develop a Hilbert-style axiomatic system for CWL and we prove weak- and strong......-completeness results for this logic. To complete these proofs we involve advanced topological techniques from Model Theory....
Lectures on Logic and Computation
DEFF Research Database (Denmark)
The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computation. ESSLLI offers...... 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...
from ethno from ethno te t to techno te t to techno te t to techno te t
African Journals Online (AJOL)
Tracie1
From Ethno-Text to Techno-Text : The Language of Post-Indiginst African Drama. 164 modern urban, global, technological culture) ..... spiders web around us (Oti 66). Mazi Kanu: Mazi Kanu: The sky is as dark and ... such deep roots in the indigenous traditions are difficult to find. For instance, ulu Sofola, late Nigeria s first ...
Techno-Optimism and Rational Superstition
DEFF Research Database (Denmark)
Wilson, Alexander
2017-01-01
of retro-causation, where the future is held to somehow have a retroactive effect on the past. This suggests, I argue, that the underlying mechanism by which techno-optimism is supposed to be instrumental in bringing about the future is fundamentally superstitious. But does this superstition not go against...
Making a Noise – Making a Difference: Techno-Punk and Terra-ism
Directory of Open Access Journals (Sweden)
Graham St John
2010-07-01
Full Text Available This article charts the convergence of post-punk/post-settler logics in the techno-punk development in Australia. Exploring how punk would become implicated in the cultural politics of a settler society struggling for legitimacy, it maps the ground out of which Labrats sound system (and their hybrid outfit Combat Wombat arose. It provides an entry to punk through an analysis of the concept of hardcore in the context of cultural mobilisations which, following more than two centuries of European colonisation, evince desires to make reparations and forge alliances with indigenous people and landscape. To achieve this, the article traces the contours and investigates the implications of Sydney’s techno-punk emergence (as seen in The Jellyheads, Non Bossy Posse, Vibe Tribe and Ohms not Bombs, tracking the mobile and media savvy exploits of 1990s DIY sound systems and techno terra-ists, aesthetes and activists adopting intimate and tactical media technologies, committing to independent and decentralised EDM creativity, and implicated in a movement for legitimate presence.
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.
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.
Stochastic techno-economic analysis of alcohol-to-jet fuel production
Yao, Guolin; Tyner, Wallace E.; Staples, Mark Douglas; Malina, Robert
2016-01-01
Background: Alcohol-to-jet (ATJ) is one of the technical feasible biofuel technologies. It produces jet fuel from sugary, starchy, and lignocellulosic biomass, such as sugarcane, corn grain, and switchgrass, via fermentation of sugars to ethanol or other alcohols. This study assesses the ATJ biofuel production pathway for these three biomass feedstocks, and advances existing techno-economic analyses of biofuels in three ways. First, we incorporate technical uncertainty for all by-products and...
Techno-Anthropological Sensibilities in Health Informatics
DEFF Research Database (Denmark)
Bossen, Claus
2015-01-01
impressive for people with similar degrees in medicine, computer science, and business administration. Another challenge is to design an engagement with health informatics that will generate insights which often requires time, while also providing quick results for project sponsors or collaborators......What kind of knowledges, skills and competences may be required by Techno-Anthropology engaging with health informatics? If we understand Techno-Anthropology to mean conducting anthropological analyses of the interwoven and mutually shaping relationship between organizing, technologies and actors...... and determine social development, whereas detailed studies reveal that determinants and causes are both technical and social. The challenges include the one of making one's knowledge and skills legitimate and relevant to health informatics. Having a degree from arts or social sciences is not necessarily...
Techno-Anthropologists as Change Agents
DEFF Research Database (Denmark)
Petersen, Lone Stub
2015-01-01
Studying technology will often involve studying change – or in the perspective of this chapter should involve not just studying but also actively being involved with change. Your presence and the questions you ask shape the way people think and act and on the other hand their responses and your...... study of practice change the researchers perspective. For Techno-Anthropologist, this means that asking in specific ways about technology and having a focus on technology in the data collection and fieldwork will (should) influence what they see, the data they collect and their analysis – and also...... the way the informants think and the way people talk about practice and technology. The Techno-Anthropological researcher should be aware and actively use the potential for change in the empirical study of technology. In this chapter I exemplify and examine how and why change can be embraced and seen...
Energy Technology Data Exchange (ETDEWEB)
Solantausta, Y.
1995-12-31
The objectives of the IEA Bioenergy Technoeconomic Analysis Activity are: To promote development of thermochemical biomass conversion methods by carrying out selected site specific feasibility studies in participating countries. Both agricultural and woody biomasses will be converted either into electricity or boiler fuels. To compare advanced technologies to commercial alternatives based on techno-economic basis to establish future development needs. To facilitate information exchange between participants on relevant basic process issues. Five countries (Finland, Canada, USA, Norway, Austria) are participating to the Activity. Initially two feasibility studies are planned for each country. Each study has three common elements: site specific, technical, and economic data. The site specific cases are described below in short. Products in the cases are electricity, heat and fuel oil. Total of two cases per country are planned
Copies of classical logic in intuitionistic logic
Gaspar, Jaime
2012-01-01
Classical logic (the logic of non-constructive mathematics) is stronger than intuitionistic logic (the logic of constructive mathematics). Despite this, there are copies of classical logic in intuitionistic logic. All copies usually found in the literature are the same. This raises the question: is the copy unique? We answer negatively by presenting three different copies.
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
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
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....
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...
Smets, P
1995-01-01
We start by describing the nature of imperfect data, and giving an overview of the various models that have been proposed. Fuzzy sets theory is shown to be an extension of classical set theory, and as such has a proeminent role or modelling imperfect data. The mathematic of fuzzy sets theory is detailled, in particular the role of the triangular norms. The use of fuzzy sets theory in fuzzy logic and possibility theory,the nature of the generalized modus ponens and of the implication operator for approximate reasoning are analysed. The use of fuzzy logic is detailled for application oriented towards process control and database problems.
DEFF Research Database (Denmark)
Reynolds, John C.
2002-01-01
In joint work with Peter O'Hearn and others, based on early ideas of Burstall, we have developed an extension of Hoare logic that permits reasoning about low-level imperative programs that use shared mutable data structure. The simple imperative programming language is extended with commands (not...... with the inductive definition of predicates on abstract data structures, this extension permits the concise and flexible description of structures with controlled sharing. In this paper, we will survey the current development of this program logic, including extensions that permit unrestricted address arithmetic...
Krasilenko, Vladimir G.; Nikolsky, Alexander I.; Lazarev, Alexander A.; Michalnichenko, Nikolay N.
2004-04-01
The article deals with a conception of building arithmetic-logic devices (ALD) with a 2D-structure and optical 2D-array inputs-outputs as advanced high-productivity parallel basic operational training modules for realization of basic operation of continuous, neuro-fuzzy, multilevel, threshold and others logics and vector-matrix, vector-tensor procedures in neural networks, that consists in use of time-pulse coding (TPC) architecture and 2D-array smart optoelectronic pulse-width (or pulse-phase) modulators (PWM or PPM) for transformation of input pictures. The input grayscale image is transformed into a group of corresponding short optical pulses or time positions of optical two-level signal swing. We consider optoelectronic implementations of universal (quasi-universal) picture element of two-valued ALD, multi-valued ALD, analog-to-digital converters, multilevel threshold discriminators and we show that 2D-array time-pulse photoconverters are the base elements for these devices. We show simulation results of the time-pulse photoconverters as base components. Considered devices have technical parameters: input optical signals power is 200nW_200μW (if photodiode responsivity is 0.5A/W), conversion time is from tens of microseconds to a millisecond, supply voltage is 1.5_15V, consumption power is from tens of microwatts to a milliwatt, conversion nonlinearity is less than 1%. One cell consists of 2-3 photodiodes and about ten CMOS transistors. This simplicity of the cells allows to carry out their integration in arrays of 32x32, 64x64 elements and more.
Krasilenko, Vladimir G.; Lazarev, Alexander A.; Nikitovich, Diana V.
2017-10-01
The paper considers results of design and modeling of continuously logical base cells (CL BC) based on current mirrors (CM) with functions of preliminary analogue and subsequent analogue-digital processing for creating sensor multichannel analog-to-digital converters (SMC ADCs) and image processors (IP). For such with vector or matrix parallel inputs-outputs IP and SMC ADCs it is needed active basic photosensitive cells with an extended electronic circuit, which are considered in paper. Such basic cells and ADCs based on them have a number of advantages: high speed and reliability, simplicity, small power consumption, high integration level for linear and matrix structures. We show design of the CL BC and ADC of photocurrents and their various possible implementations and its simulations. We consider CL BC for methods of selection and rank preprocessing and linear array of ADCs with conversion to binary codes and Gray codes. In contrast to our previous works here we will dwell more on analogue preprocessing schemes for signals of neighboring cells. Let us show how the introduction of simple nodes based on current mirrors extends the range of functions performed by the image processor. Each channel of the structure consists of several digital-analog cells (DC) on 15-35 CMOS. The amount of DC does not exceed the number of digits of the formed code, and for an iteration type, only one cell of DC, complemented by the device of selection and holding (SHD), is required. One channel of ADC with iteration is based on one DC-(G) and SHD, and it has only 35 CMOS transistors. In such ADCs easily parallel code can be realized and also serial-parallel output code. The circuits and simulation results of their design with OrCAD are shown. The supply voltage of the DC is 1.8÷3.3V, the range of an input photocurrent is 0.1÷24μA, the transformation time is 20÷30nS at 6-8 bit binary or Gray codes. The general power consumption of the ADC with iteration is only 50÷100μW, if the
Techno-Economic Assessment of Four CO2 Storage Sites
Directory of Open Access Journals (Sweden)
Gruson J.-F.
2015-04-01
features that explain the high estimated costs. For the Italian site, the short duration of CO2 injection associated with a low injection rate makes the CO2 project comparable to a demo project. The Norwegian site is an offshore site located in a virgin area with high infrastructure costs and a combination of injection duration and injection rate that makes the derived costs very sensitive to the discount rate. Table 1. Summary of the cost range in Euro per tonne (discount rate at 8% €/t CO2 Equivalent storage cost at 8% DR Injectivity (Mt CO2/year Injection duration (year Base case Base case Base case UK 11.4 5 20 Denmark 3.2 1.5 40 Norway 26.6 1 40 Italy 29 1 10 The results for both UK and Danish sites confirm therefore the value range calculated by the European Technology Platform for Zero Emission Fossil Fuel Power Plants (ZEP. The main uncertainties in the costs are linked both to the choice of economic parameters (e.g. injected quantities, contingencies and to the technical choice of operations. This has been studied by sensitivity analyses: for example, if an injection rate is halved and the injection duration is doubled, the Equivalent Storage Cost (ESC increases by 23% (UK case at 8% DR. Introducing a water production well and water treatment facilities also increases the ESC by 23%, at least on an onshore site. Techno-economic assessments were basically carried out using an 8% discount rate. For projects of long lifetime such a rate severely discounts the late cash flow, especially after 40 years, so that a discount rate of around 4% more in logic of public investment. Compared to other studies, it has to be noted that the scope of the SiteChar analysis does not consider compression and pumping cost, nor transportation cost. This simplifies the techno-economic evaluation but it may not adequately reflect the specific conditions of the individual developments and, hence, distort the comparison between different cases. Lastly, techno-economic evaluation poses
Thermo Techno Modern Analytical Equipment for Research and Industrial Laboratories
Directory of Open Access Journals (Sweden)
Khokhlov, S.V.
2014-03-01
Full Text Available A brief overview of some models of Thermo Techno analytical equipment and possible areas of their application is given. Thermo Techno Company was created in 2000 as a part of representative office of international corporation Thermo Fisher Scientific — world leader in manufacturing analytical equipments. Thermo Techno is a unique company in its integrated approach in solving the problems of the user, which includes a series of steps: setting the analytical task, selection of effective analysis methods, sample delivery and preparation as well as data transmitting and archiving.
DEFF Research Database (Denmark)
Carbone, Marco; Montesi, Fabrizio; Schürmann, Carsten
2014-01-01
In Choreographic Programming, a distributed system is programmed by giving a choreography, a global description of its interactions, instead of separately specifying the behaviour of each of its processes. Process implementations in terms of a distributed language can then be automatically...... projected from a choreography. We present Linear Compositional Choreographies (LCC), a proof theory for reasoning about programs that modularly combine choreographies with processes. Using LCC, we logically reconstruct a semantics and a projection procedure for programs. For the first time, we also obtain...... a procedure for extracting choreographies from process terms....
Malcolm, Norman; Altuner, Ilyas
2014-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...
Logical consecutions in discrete linear temporal logic
Rybakov, V. V.
2005-01-01
We investigate logical consequence in temporal logics in terms of logical consecutions, i.e., inference rules. First, we discuss the question: what does it mean for a logical consecution to be ’correct’ in a propositional logic. We consider both valid and admissible consecutions in linear temporal logics and discuss the distinction between these two notions. The linear temporal logic LDTL, consisting of all formulas valid in the frame 〈 , ≤, ≥ 〉 of all integer numbers, is the prime object of...
Techno-Economics of Residential Broadband Deployment
DEFF Research Database (Denmark)
Sigurdsson, Halldor Matthias
2007-01-01
as much profit as possible from their previous investments. However, the operators are not restricted by these considerations, and they will often choose a fiber-to-the home solution (FTTH, Fiber-to-the-Home), which will offer a far more substantial data capacity in the long run. The choice of the proper...... broadband deployment strategy is depending on a complexed set of parameters, and there is a demand for precise techno-economic cost models estimating financial feasibility. The existing cost models do not consider the dynamic developments in the market caused by competition. The PhD thesis has a profound...... analysis of the transmission requirements of future broadband services and the technical parameters with importance for the deployment strategy. The framework of the project is interdisciplinary and combines a solid technological knowledge about telecom networks and services with economic and telecom...
Techno-economic feasibility of waste biorefinery
DEFF Research Database (Denmark)
Shahzad, Khurram; Narodoslawsky, Michael; Sagir, Muhammad
2017-01-01
The utilization of industrial waste streams as input materials for bio-mediated production processes constitutes a current R&D objective not only to reduce process costs at the input side but in parallel, to minimize hazardous environmental emissions. In this context, the EU-funded project ANIMPOL...... elaborated a process for the production of polyhydroxyalkanoate (PHA) biopolymers starting from diverse waste streams of the animal processing industry. This article provides a detailed economic analysis of PHA production from this waste biorefinery concept, encompassing the utilization of low......-quality biodiesel, offal material and meat and bone meal (MBM). Techno-economic analysis reveals that PHA production cost varies from 1.41 €/kg to 1.64 €/kg when considering offal on the one hand as waste, or, on the other hand, accounting its market price, while calculating with fixed costs for the co...
International Nuclear Information System (INIS)
Mittelstaedt, P.
1979-01-01
The subspaces of Hilbert space constitute an orthocomplemented quasimodular lattice Lsub(q) for which neither a two-valued function nor generalized truth function exist. A generalisation of the dialogic method can be used as an interpretation of a lattice Lsub(qi), which may be considered as the intuitionistic part of Lsub(q). Some obvious modifications of the dialogic method are introduced which come from the possible incommensurability of propositions about quantum mechanical systems. With the aid of this generalized dialogic method a propositional calculus Qsub(eff) is derived which is similar to the calculus of effective (intuitionistic) logic, but contains a few restrictions which are based on the incommensurability of quantum mechanical propositions. It can be shown within the framework of the calculus Qsub(eff) that the value-definiteness of the elementary propositions which are proved by quantum mechanical propositions is inherited by all finite compund propositions. In this way one arrives at the calculus Q of full quantum logic which incorporates the principle of excluded middle for all propositions and which is a model for the lattice Lsub(q). (Auth.)
The techno-economic study of innovative reactor IRIS-350
International Nuclear Information System (INIS)
Sahala M-Lumbanraja; Rr-Arum P-Rijanti; Imam Bustori
2005-01-01
Disturbance of security of electricity supply in Indonesia, especially In Jawa-Madura-Bali grid system should be addressed wisely. The disturbance in electricity supply may be resulted from the rise of hydrocarbon fuel prices as well as only a few of power plants in operation. This problem may impose negative effect to the national socioeconomic system. NPP maybe come one of viable options to support the security of electricity supply, and therefore. Some studies regarding the feasibility of NPP operation in Indonesia should be done. This study on techno-economic of an Innovative reactor IRIS-350 is aimed to access technical and economical aspects of the reactor. IRIS-350(International Reactor Innovative and Secure)Is an advanced light water cooled modular reactor being developed by an International consortium led by Westinghouse. This reactor is based on simplified operation & maintenance, enhanced safety, easy to Inspect, short construction time, small Investment cost, competitive generating cost, and easily suited to the Infrastructures. IRIS main characteristic is integral reactor concept, being all the major reactor coolant system components located Inside the pressure vessel. IRIS-350 reactor is very interesting if operated in Indonesia because investment cost less than the large NPP type, but the national participation is very small. (author)
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
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.
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....
Logic programming extensions of Horn clause logic
Directory of Open Access Journals (Sweden)
Ron Sigal
1988-11-01
Full Text Available Logic programming is now firmly established as an alternative programming paradigm, distinct and arguably superior to the still dominant imperative style of, for instance, the Algol family of languages. The concept of a logic programming language is not precisely defined, but it is generally understood to be characterized buy: a declarative nature; foundation in some well understood logical system, e.g., first order logic.
Using Logical Problems in ESP.
Dorrity, Terry
1983-01-01
A course in scientific English for science researchers and advanced civil engineering students in Belgium has a central problem--the heterogeneous nature of the group and lack of common research experience around which to build a curriculum. An attempt to overcome this difficulty by using two logical problems for discussion is presented. (MSE)
A History of Probabilistic Inductive Logic Programming
Directory of Open Access Journals (Sweden)
Fabrizio eRiguzzi
2014-09-01
Full Text Available The field of Probabilistic Logic Programming (PLP has seen significant advances in the last 20 years, with many proposals for languages that combine probability with logic programming. Since the start, the problem of learning probabilistic logic programs has been the focus of much attention. Learning these programs represents a whole subfield of Inductive Logic Programming (ILP. In Probabilistic ILP (PILP two problems are considered: learning the parameters of a program given the structure (the rules and learning both the structure and the parameters. Usually structure learning systems use parameter learning as a subroutine. In this article we present an overview of PILP and discuss the main results.
Hooked on an Affect: Detroit Techno and Dystopian Digital Culture
Directory of Open Access Journals (Sweden)
Richard Pope
2011-03-01
Full Text Available Detroit techno is typically historicized as having grown out of the late 1970s and early 1980s middle-class, consumerist, and aspirational high school social party scene, giving the impression that Detroit techno artists created forward-thinking music as a means to acquire subcultural capital and (reproduce their identities. In this essay, this position is nuanced for a more complex understanding of techno’s relation to the quotidian phenomenological encounter with the dystopian setting of Detroit. Concomitantly, predominant theorizations of affect within the humanities, which emphasize the utopian, hopeful dimensions of affect’s inherent productivity, are supplemented for an understanding of productive energy revolving around affects of dystopia and on a certain hopelessness which scholars, in the years ahead, will increasingly have to negotiate.Keywords: techno, Detroit, dystopia, affect, aesthetic, desire, subculture
Topoi the categorial analysis of logic
Goldblatt, Robert
2013-01-01
A classic exposition of a branch of mathematical logic that uses category theory, this text is suitable for advanced undergraduates and graduate students and accessible to both philosophically and mathematically oriented readers.
Analogy: Justification for Logic.
Sacksteder, William
1979-01-01
Presents and defends the thesis that it is analogy which provides justification for any logic, and for any argument to the extent that it depends on logic for justification. Analogy acquires inept support from logic, but logic acquires adroit support from analogy. (JMF)
Sequential logic analysis and synthesis
Cavanagh, Joseph
2007-01-01
Until now, there was no single resource for actual digital system design. Using both basic and advanced concepts, Sequential Logic: Analysis and Synthesis offers a thorough exposition of the analysis and synthesis of both synchronous and asynchronous sequential machines. With 25 years of experience in designing computing equipment, the author stresses the practical design of state machines. He clearly delineates each step of the structured and rigorous design principles that can be applied to practical applications. The book begins by reviewing the analysis of combinatorial logic and Boolean a
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.
Logical formalization and the formalization of logic(s)
Czech Academy of Sciences Publication Activity Database
Peregrin, Jaroslav; Svoboda, Vladimír
2016-01-01
Roč. 59, č. 233 (2016), s. 55-80 ISSN 0024-5836 R&D Projects: GA ČR(CZ) GA13-21076S Institutional support: RVO:67985955 Keywords : logical formalization * logical analysis * reflective equilibrium Subject RIV: AA - Philosophy ; Religion
Techno economic systems and excessive consumption: a political economy of 'pathological' gambling.
Reith, Gerda
2013-12-01
This article argues that gambling is a paradigmatic form of consumption that captures the intensified logic at the heart of late modern capitalist societies. As well as a site of intensified consumption, it claims that gambling has also become the location of what has been described as a new form of 'social pathology' related to excess play. Drawing on Castells' (1996) notion of techno-economic systems, it explores the ways that intersections between technology, capital and states have generated the conditions for this situation, and critiques the unequal distribution of gambling environments that result. It argues that, while the products of these systems are consumed on a global scale, the risks associated with them tend to be articulated in bio-psychological discourses of 'pathology' which are typical of certain types of knowledge that have salience in neo-liberal societies, and which work to conceal wider structural relationships. We argue that a deeper understanding of the political and cultural economy of gambling environments is necessary, and provide a synoptic overview of the conditions upon which gambling expansion is based. This perspective highlights parallels with the wider global economy of finance capital, as well as the significance of intensified consumption, of which gambling is an exemplary instance. It also reveals the existence of a geo-political dispersal of 'harms', conceived as deteriorations of financial, temporal and social relationships, which disproportionately affect vulnerable social groups. From this, we urge an understanding of commercial gambling based on a critique of the wider social body of gambling environments within techno economic systems, rather than the (flawed) individual bodies within them. © London School of Economics and Political Science 2013.
Practice in Master Course of Techno-Business Administration as a Techno-Business School
Nakamura, Takashi; Matsuura, Chikako
In this paper, the educational practice of the master course of techno-business administration (MTA) at Nagoya Institute of Technology (NIT) is introduced to propose the practical engineering education at a postgraduate level. MTA was established in 2003 on the basis of hundred years' engineering education at NIT. An objective of this school is to educate engineers to be leaders, entrepreneurs and managers. The practical tuition covers the fields in Industrial Management of Technologies, Core-Technologies and Laboratories work. Among these, the most focused and effective subject is “Case-Study,” in which students are encouraged to simulate business settings using elemental technologies developed by teaching staff. Discussions are made to apply the technology to match the possible markets. This type of experiences certainly motivates the students work and is clearly reflected in their research paper.
Food quality management : A techno-managerial approach
Luning, P.A.; Marcelis, W.J.; Jongen, W.M.F.
2002-01-01
The book focuses on consumer-driven Quality Management in food production systems using a product-based approach. It integrates organizational and technological aspects of food product quality into one techno-managerial concept and it presents an integrated view of how Quality Management is to be
Which Techno-mathematical Literacies Are Essential for Future Engineers?
van der Wal, Nathalie J.; Bakker, Arthur; Drijvers, Paul
Due to increased use of technology, the workplace practices of engineers have changed. So-called techno-mathematical literacies (TmL) are necessary for engineers of the 21st century. Because it is still unknown which TmL engineers actually use in their professional practices, the purpose of this
The techno-entrepreneur of the future : Perspectives and Practices
Ravesteijn, W.; Sjoer, E.
2010-01-01
Present sustainability problems require a new type of techno-entrepreneurship, in which traditional entrepreneurial qualities are combined with new capabilities related to the role, mission and responsibilities of future engineers. There are two sources of these new capabilities: Innovation Systems
Why all anthropology should be called techno-anthropology
DEFF Research Database (Denmark)
Birkbak, Andreas
2013-01-01
of such efforts, namely Sherry Turkle’s recent work on care robots and other new technologies that mediate human relationships. I move on to suggest that with Latour’s notion of delegation, such mediation appears less alien. In order to develop further the consequences of Latour’s techno-anthropologist moves, I...
Many-valued Logic and Fuzzy Logic
Czech Academy of Sciences Publication Activity Database
Hájek, Petr
2011-01-01
Roč. 27, č. 2 (2011), s. 315-324 ISSN 0970-7794 R&D Projects: GA ČR GEICC/08/E018 Institutional research plan: CEZ:AV0Z10300504 Keywords : many valued logic * fuzzy logic Subject RIV: BA - General Mathematics
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.
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...
National Research Council Canada - National Science Library
Bickford, Mark
2008-01-01
.... This report describes the design of an Event Logic Assistant (Elan) that provides powerful automated support for applying event logic to the design and implementation of high-assurance distributed protocols...
National Research Council Canada - National Science Library
Jaspan, Ciera; Quan, Trisha; Aldrich, Jonathan
2008-01-01
... it. In this paper, we introduce error reporting logic (ERL), an algorithm and tool that produces succinct explanations for why a target system violates a specification expressed in first order predicate logic...
Shalack, V.
2013-01-01
The article offers a look at the combinatorial logic as the logic of signs operating in the most general sense. For this it is proposed slightly reformulate it in terms of introducing and replacement of the definitions.
Fuzzy logic controller optimization
Sepe, Jr., Raymond B; Miller, John Michael
2004-03-23
A method is provided for optimizing a rotating induction machine system fuzzy logic controller. The fuzzy logic controller has at least one input and at least one output. Each input accepts a machine system operating parameter. Each output produces at least one machine system control parameter. The fuzzy logic controller generates each output based on at least one input and on fuzzy logic decision parameters. Optimization begins by obtaining a set of data relating each control parameter to at least one operating parameter for each machine operating region. A model is constructed for each machine operating region based on the machine operating region data obtained. The fuzzy logic controller is simulated with at least one created model in a feedback loop from a fuzzy logic output to a fuzzy logic input. Fuzzy logic decision parameters are optimized based on the simulation.
James, A. P.; Francis, L. R. V. J.; Kumar, D.
2013-01-01
We report a resistance based threshold logic family useful for mimicking brain like large variable logic functions in VLSI. A universal Boolean logic cell based on an analog resistive divider and threshold logic circuit is presented. The resistive divider is implemented using memristors and provides output voltage as a summation of weighted product of input voltages. The output of resistive divider is converted into a binary value by a threshold operation implemented by CMOS inverter and/or O...
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....
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...
Indian Academy of Sciences (India)
andoh
1Indian Institute of Science Education and Research, Mohali. 2The Institute of Mathematical Sciences, Chennai ... Bottomline of this work: One can obtain very reliable Logic Circuit. Elements by exploiting nonlinearity in the presence of ... with the truth tables of the basic logic operations. Sudeshna Sinha. Logical Stochastic ...
DEFF Research Database (Denmark)
Berg Johansen, Christina; Waldorff, Susanne Boch
as change and agency generated by friction between logics. We use these topics as basis for an analysis of selected empirical papers, with the aim of understanding how institutional logics contribute to institutional theory at large, and which social matters institutional logics can and cannot explore...
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...
Czech Academy of Sciences Publication Activity Database
Horčík, Rostislav; Cintula, Petr
2004-01-01
Roč. 43, - (2004), s. 477-503 ISSN 1432-0665 R&D Projects: GA AV ČR IAA1030004; GA ČR GA201/02/1540 Grant - others:GA CTU(CZ) project 0208613; net CEEPUS(SK) SK-042 Institutional research plan: CEZ:AV0Z1030915 Keywords : fuzzy logic * many-valued logic * Lukasiewicz logic * Lpi logic * Takeuti-Titani logic * MV-algebras * product MV-algebras Subject RIV: BA - General Mathematics Impact factor: 0.295, year: 2004
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...... are evaluated with respect to the benchmark cases. After that follows an informal introduction to the ideas behind the formal semantics, focussing on the distinction between action types and action tokens. Then the syntax and semantics of Action Type Deontic Logic is presented and it is shown to meet...
Cognitive radio policy and regulation techno-economic studies to facilitate dynamic spectrum access
Holland, Oliver
2014-01-01
This book offers a timely reflection on how the proliferation of advanced wireless communications technologies, particularly cognitive radio (CR) can be enabled by thoroughly-considered policy and appropriate regulation. It looks at the prospects of CR from the divergent standpoints of technological development and economic market reality. The book provides a broad survey of various techno-economic and policy aspects of CR development, and provides the reader with an understanding of the complexities involved as well as a toolbox of possible solutions to enable the evolutionary leap towards successful implementation of disruptive CR technology or indeed any other novel wireless technologies. Cognitive Radio Policy and Regulation showcases the original ideas and concepts introduced into the field of CR and dynamic spectrum access policy over nearly four years of work within COST Action IC0905 TERRA, a think-tank with participants from more than 20 countries. The book’s subject matter includes: • deploymen...
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....
Zhao, Lili; Zhang, Xiliang; Xu, Jie; Ou, Xunmin; Chang, Shiyan; Wu, Maorong
2015-01-01
Lignocellulosic biomass-based ethanol is categorized as 2 nd generation bioethanol in the advanced biofuel portfolio. To make sound incentive policy proposals for the Chinese government and to develop guidance for research and development and industrialization of the technology, the paper reports careful techno-economic and sensitivity analyses performed to estimate the current competitiveness of the bioethanol and identify key components which have the greatest impact on its plant-gate price...
All optical logic gates using semiconductor optical amplifiers
McAulay, Alastair D.
2002-11-01
All-optical logic can avoid expensive demultiplexing back to electronics in telecommunications. The term all-optical is used to described processing in which all signal paths are optical whether used for control or information. Semiconductor optical amplifiers (SOAs) can perform all optical logic because they have nonlinearity, low latency, and require low power. We use highly accurate computer models to simulate and evaluate NOR and NXOR logic gates using SOAs. These elements can act as building blocks for advanced logic systems. For example, in previous publications we described an approach to constructing arithmetic units from optical logic elements.
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...
Czech Academy of Sciences Publication Activity Database
Peliš, Michal
2017-01-01
Roč. 26, č. 3 (2017), s. 357-381 ISSN 1425-3305 R&D Projects: GA ČR(CZ) GC16-07954J Institutional support: RVO:67985955 Keywords : epistemic logic * erotetic implication * erotetic logic * logic of questions Subject RIV: AA - Philosophy ; Religion OBOR OECD: Philosophy , History and Philosophy of science and technology http://apcz.umk.pl/czasopisma/index.php/LLP/article/view/LLP.2017.007
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
Energy Technology Data Exchange (ETDEWEB)
Wall, M.J.W.
1992-07-01
The notion of {open_quotes}probability{close_quotes} is generalized to that of {open_quotes}likelihood,{close_quotes} and a natural logical structure is shown to exist for any physical theory which predicts likelihoods. Two physically based axioms are given for this logical structure to form an orthomodular poset, with an order-determining set of states. The results strengthen the basis of the quantum logic approach to axiomatic quantum theory. 25 refs.
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...... overlap. We demonstrate, via a range of examples, how fictional separation logic can be used to reason locally and modularly about mutable abstract data types, possibly implemented using sophisticated sharing. Fictional separation logic is defined on top of standard separation logic, and both the meta...
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 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...
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.
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
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.
Towards a Formal Occurrence Logic based on Predicate Logic
DEFF Research Database (Denmark)
Badie, Farshad; Götzsche, Hans
2015-01-01
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...
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
Balegedde Ramachandran, P.; Oudenhoven, Stijn; Kersten, Sascha R.A.; van Rossum, G.; van der Ham, Aloysius G.J.
2013-01-01
The present article deals with the techno-economic assessment of the hybrid steam reforming (HSR) process of glycerol (obtained via transesterification) together with natural gas to produce biomethanol via the synthesis gas route. In this techno-economic assessment, a model is developed in the
Çoklar, Ahmet Naci; Efilti, Erkan; Sahin, Yusef Levent; Akçay, Arif
2016-01-01
Techno-stress is defined as a modern adaptation disorder resulting from the failure in coping with new technologies in a healthy way. Techno-stress affects many occupational groups, including teachers. FATIH project and many other previous studies conducted in Turkey in recent years have necessitated the use of technology for teachers. The present…
Report and analysis of techno-economic issues within SII Chain projects
DEFF Research Database (Denmark)
Takhokorpi, Markku; Falch, Morten; Skouby, Knud Erik
1997-01-01
This document reports the finings related to techno-economic issues within the SII-trial projects and analyses profitability of various proposed networked multimedia architectures.......This document reports the finings related to techno-economic issues within the SII-trial projects and analyses profitability of various proposed networked multimedia architectures....
Approach to increasing techno-economic effects of ventilation in uranium mines
International Nuclear Information System (INIS)
Zhou Xinhuo
1989-01-01
The main factors affecting techno-economic effects of ventilation in uranium mines are discussed in this paper. Under the conditions of technical feasibility and economic rationality, the method of economic analysis for ventilation and radiation protection in uranium mines is proposed. The technically feasible and economically reasonable suggestions are presented for increasing the techno-economic effects of ventilation in uranium mines
Criteria for logical formalization
Czech Academy of Sciences Publication Activity Database
Peregrin, Jaroslav; Svoboda, Vladimír
2013-01-01
Roč. 190, č. 14 (2013), s. 2897-2924 ISSN 0039-7857 R&D Projects: GA ČR(CZ) GAP401/10/1279 Institutional support: RVO:67985955 Keywords : logic * logical form * formalization * reflective equilibrium Subject RIV: AA - Philosophy ; Religion Impact factor: 0.637, year: 2013
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)
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.
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...
A. Ponse (Alban); M.B. van der Zwaag
2002-01-01
textabstractWe 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
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...
Indian Academy of Sciences (India)
andoh
Our motivation stems from an issue that is receiving considerable attention today: As computational devices and platforms continue to shrink in size .... Changing C changes the symmetry of the potential wells : leads to different logical responses. Morphing Logic Gate. In effect, we are able to obtain the basic ingredients of ...
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, Md Abdullah Al
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.
Caulfield, H. John
2005-05-01
Progress of optical logic has been anything but uniform or even monotonic. The hope for "all optical computers" was largely abandoned after devastating critiques by Keyes. Over time, optical logic transformed into a very viable niche activity by the needs of optical communication for "all optical" logic and the advent of a critical component: the SOA or Semiconductor Optical Amplifier. I argue that a new phase in this uneven history can be defined - linear (single photon, not multiple entangled photon) quantum optical logic. These can perform conservative, reversible logic operations without energy or time penalties, but cascading requires the irreversible act of measurement, so only single devices or single layers can deliver those advantages.
Logic for computer science foundations of automatic theorem proving
Gallier, Jean H
2015-01-01
This advanced text for undergraduate and graduate students introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic construction of formal proofs. The self-contained treatment is also useful for computer scientists and mathematically inclined readers interested in the formalization of proofs and basics of automatic theorem proving. Topics include propositional logic and its resolution, first-order logic, Gentzen's cut elimination theorem and applications, and Gentzen's sharpened Hauptsatz and Herbrand's theorem. Additional subjects include resolution in fir
Bajpai, Vikas; Saraya, Anoop
2012-01-01
Conquering disease and ill health has been an age old pursuit of man. The scientific and technological revolution of the last century ushered in major and important advances in preventive and curative medical technology which fired a new hope in the fight against communicable diseases. However, the experience over centuries shows that major decline in communicable diseases began much before the advent of modern technology due to advances in the socio-economic and environmental conditions of the people. There has been an attempt by the multilateral and unilateral agencies to supplant the expedient of technological interventions like vaccination campaigns as a substitute to socio-economic advancement in the third world countries. The dividends of this approach have been equivocal and have had an effect of distorting public health priorities in the third world. There seems to be an obsession with technology among the policy planners - a phenomenon that we call as techno-centrism; the latest example of which is the pulse polio campaign. This paper draws upon an epidemiological approach to vaccination programs as a tool to unravel this phenomenon.
International Nuclear Information System (INIS)
Werkoff, F.; Mansilla, C.
2007-01-01
Further advances in nuclear energy system design can broaden the opportunities for the use of nuclear energy. To explore these opportunities, several countries are involved in a forum on the development of next generation nuclear energy systems known as 'Generation IV'. Six concepts have been chosen by the forum, to be studied. The Very High Temperature Reactor (VHTR) offers perspectives for producing electricity and hydrogen with high efficiencies. Nuclear production of hydrogen by thermochemical means is one of the prime candidates for powering the hydrogen economy without producing green house gases. Among them, the Sulphur-Iodine (S-I) thermochemical cycle appeared well fitted with the VHTR, due to the temperature needed for the decomposition of the sulphuric acid. It was invented in the 1970's and it benefits from a revival of interest in the framework of Generation IV. In the last past years, assessments of the S-I process, coupled with a VHTR have been carried out. It appeared that these assessments have to be considered, looking with a particular care to the recommendations of the Generation IV crosscutting economics group [1]: a Generation IV system will: 1. Have a clear life-cost advantage over other energy systems. 2. Have a level of financial risk comparable to other energy projects. The experience gained from techno-economic studies [2, 3] which consider the S-I cycle, indicates that the choice of alternatives cycles to the S-I one must be driven by the characteristic of a previously selected nuclear reactor, mainly the temperature at the nuclear core outlet. Moreover, the net efficiency of the thermochemical cycle must be higher than a reference value defined from the alkaline electrolysis fed by the electricity produced from the selected reactor. Besides, the technical feasibility of the thermochemical processes is not yet established and the production cost of hydrogen from these processes is the result of the sum of several cost factors which are
A techno-economic approach to plant life management
International Nuclear Information System (INIS)
Morland, E.; Tomkins, B.; Irvine, N.M.
1994-01-01
This paper discusses the need for changing priorities in plant life management. Following a brief review of the major world-wide trends which are affecting plant life management, the fundamental nature of the plant life management process itself is considered. It is suggested that a consistent approach to the management of economic and safety risk can provide a mechanism for continuous improvement of the process. One such approach, Techno-Economic Ageing and Maintenance Management - TEAMM, is described. The tool required for this process are discussed and examples given of its application to ageing plant and evaluation of life extension. 2 figs
Techno-economic analysis of supercritical carbon dioxide power blocks
Meybodi, Mehdi Aghaei; Beath, Andrew; Gwynn-Jones, Stephen; Veeraragavan, Anand; Gurgenci, Hal; Hooman, Kamel
2017-06-01
Developing highly efficient power blocks holds the key to enhancing the cost competitiveness of Concentration Solar Thermal (CST) technologies. Supercritical CO2 (sCO2) Brayton cycles have proved promising in providing equivalent or higher cycle efficiency than supercritical or superheated steam cycles at temperatures and scales relevant for Australian CST applications. In this study, a techno-economic methodology is developed using a stochastic approach to determine the ranges for the cost and performance of different components of central receiver power plants utilizing sCO2 power blocks that are necessary to meet the Australian Solar Thermal Initiative (ASTRI) final LCOE target of 12 c/kWh.
Beyond Techno-Utopia: Critical Approaches to Digital Health Technologies
Directory of Open Access Journals (Sweden)
Deborah Lupton
2014-12-01
Full Text Available This editorial presents an overview of digital health technologies, discusses previous research and introduces the contributions to the special issue “Beyond Techno-Utopia: Critical Approaches to Digital Health Technologies”. It is argued that thus far, few critical analyses of digital health technologies have been published in the social science literature, particularly in relation to the newest technologies. While the articles collected here in this special issue have gone some way in offering a critical response to digital health technologies, they represent only a beginning. Many more compelling topics remain to be investigated. The editorial ends with outlining directions for future research in this area.
Techno-economic feasibility analysis of solar thermal systems
International Nuclear Information System (INIS)
Kumar, S.; Tiwari, G.N.; Sinha, S.
1993-01-01
This communication introduces the basic concepts for techno-economic feasibility assessment of various solar thermal systems in a dynamic and market oriented economic environment. An analytical expression for calculating the payback period is derived by assuming a non-linear increase in maintenance cost and incorporating subsidy and salvage values. Further, a method is evolved to ascertain the lifetime of the system for an optimal return on investment mode, incorporating capital inflation during the lifetime and a non-linear increase in maintenance cost. The results for the payback period have been used, along with the lifetime, to optimize the cost of the system. (author)
Techno-Economic, Sustainability & Environmental Impact Diagnosis (TESED) Framework
DEFF Research Database (Denmark)
Loureiro da Costa Lira Gargalo, Carina; Carvalho, Ana; Matos, Henrique A.
2014-01-01
Nowadays, companies are looking for new sustainable design alternatives that improve their original processes.To assesst he best designalternative, economic aspects have been the preferred indicators. However, environmental and social concerns should also be included in the decision process so...... that truly sustainable design alternatives can befound.This work proposes a framework,called ‘Techno-Economic Sustainability Environmental Impact Diagnosis’ (TESED) that allows users to assess chemical/biochemical processes in a product oriented analysis.TESED is asystematic and generic approach that can...
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)
Hendricks, Vincent Fella; Gierasimczuk, Nina; de Jong, Dick
2014-01-01
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.......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...
International Nuclear Information System (INIS)
Bialkowski, J.; Moszynski, M.; Zagorski, A.
1981-01-01
The logic diagram principle of operation and some details of the design of the multiplicity logic unit are presented. This unit was specially designed to fulfil the requirements of a multidetector arrangement for gamma-ray multiplicity measurements. The unit is equipped with 16 inputs controlled by a common coincidence gate. It delivers a linear output pulse with the height proportional to the multiplicity of coincidences and logic pulses corresponding to 0, 1, ... up to >= 5-fold coincidences. These last outputs are used to steer the routing unit working with the multichannel analyser. (orig.)
Logical inference and evaluation
International Nuclear Information System (INIS)
Perey, F.G.
1981-01-01
Most methodologies of evaluation currently used are based upon the theory of statistical inference. It is generally perceived that this theory is not capable of dealing satisfactorily with what are called systematic errors. Theories of logical inference should be capable of treating all of the information available, including that not involving frequency data. A theory of logical inference is presented as an extension of deductive logic via the concept of plausibility and the application of group theory. Some conclusions, based upon the application of this theory to evaluation of data, are also given
DEFF Research Database (Denmark)
Aiello, Marco; Bezhanishvili, Guram; Bloch, Isabelle
2012-01-01
Since the early days of physics, space has called for means to represent, experiment, and reason about it. Apart from physicists, the concept of space has intrigued also philosophers, mathematicians and, more recently, computer scientists. This longstanding interest has left us with a plethora...... 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....
Henson, C Ward; Kechris, Alexander S; Odell, Edward; Finet, Catherine; Michaux, Christian; Cassels, J W S
2003-01-01
This volume comprises articles from four outstanding researchers who work at the cusp of analysis and logic. The emphasis is on active research topics; many results are presented that have not been published before and open problems are formulated.
DEFF Research Database (Denmark)
Monica, Dario Della; Goranko, Valentin; Montanari, Angelo
2011-01-01
We discuss a family of modal logics for reasoning about relational structures of intervals over (usually) linear orders, with modal operators associated with the various binary relations between such intervals, known as Allen’s interval relations. The formulae of these logics are evaluated...... at intervals rather than points and the main eect of that semantic feature is substantially higher expressiveness and computational complexity of the interval logics as compared to point-based ones. Without purporting to provide a comprehensive survey of the field, we take the reader to a journey through...... the main developments in it over the past 10 years and outline some landmark results on expressiveness and (un)decidability of the satisfiability problem for the family of interval logics....
The Geostrategic, Techno-Nationalist Push Into Space
Directory of Open Access Journals (Sweden)
Joan Johnson-Freese
2014-12-01
Full Text Available The technological benefits of space hardware are universally recognized. One is hard pressed to find an area of the world where satellite dishes for television reception, satellite use for data transmission, or the Global Positioning System (GPS for multiple purposes are not utilized. But utilization of commercial or of other countries’ space assets does not equate to being a space-faring nation. Space-faring nations have, to varying degrees, their own capabilities. The importance of status as a space-faring nation comes from two sources: not having to rely on others for access to the benefits of space assets, and prestige that can translate into geopolitical influence. Beyond users and space-faring nations, there are those countries actively asserting space leadership in some form, whether regional or global. What pushes countries to go beyond being a spacefaring nation and assert leadership potential, including potentially engaging in an implicit or explicit space race, is techno-nationalism, which for the purposes of this paper refers to nationalism that becomes the impetus for technology development as an indicator of geostrategic power. It is often triggered by a threat or perception of a threat, including a threat to perceived leadership. Techno-nationalism carries with it an inherent quest for leadership, by some definition.
Characterization of quantum logics
International Nuclear Information System (INIS)
Lahti, P.J.
1980-01-01
The quantum logic approach to axiomatic quantum mechanics is used to analyze the conceptual foundations of the traditional quantum theory. The universal quantum of action h>0 is incorporated into the theory by introducing the uncertainty principle, the complementarity principle, and the superposition principle into the framework. A characterization of those quantum logics (L,S) which may provide quantum descriptions is then given. (author)
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.
Philosophical Foundations of Intuitionistic Logic
Directory of Open Access Journals (Sweden)
L Nabavi
2013-02-01
Full Text Available Intuitionistic logic, as a non-classical logic, encompasses the principles of logical reasoning which were used by L. E. J. Brouwer in developing his intuitionistic mathematics. Brouwer rejected the principle of the excluded middle on the basis of his philosophy. In his philosophical view, logic is the application of mathematics to the language of mathematics. In other words, logic studies the patterns that characterize valid inference. The resulting linguistic system of logic may be studied mathematically, even independently of the mathematical activities that it was originally abstracted from. In this paper, the philosophical basis of Brouwerâs view about Logic and Mathematics is explained.
Philosophical Foundations of Intuitionistic Logic
Directory of Open Access Journals (Sweden)
L Nabavi
2013-03-01
Full Text Available Intuitionistic logic, as a non-classical logic, encompasses the principles of logical reasoning which were used by L. E. J. Brouwer in developing his intuitionistic mathematics. Brouwer rejected the principle of the excluded middle on the basis of his philosophy. In his philosophical view, logic is the application of mathematics to the language of mathematics. In other words, logic studies the patterns that characterize valid inference. The resulting linguistic system of logic may be studied mathematically, even independently of the mathematical activities that it was originally abstracted from. In this paper, the philosophical basis of Brouwer’s view about Logic and Mathematics is explained.
A Paraconsistent Higher Order Logic
DEFF Research Database (Denmark)
Villadsen, Jørgen
2004-01-01
of paraconsistent logics in knowledge-based systems, logical semantics of natural language, etc. Higher order logics have the advantages of being expressive and with several automated theorem provers available. Also the type system can be helpful. We present a concise description of a paraconsistent higher order...... logic with countable infinite indeterminacy, where each basic formula can get its own indeterminate truth value (or as we prefer: truth code). The meaning of the logical operators is new and rather different from traditional many-valued logics as well as from logics based on bilattices. The adequacy...
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.
Uncertain Reasoning in Justification Logic
Kokkinis, Ioannis
2016-01-01
This thesis studies the combination of two well known formal systems for knowledge representation: probabilistic logic and justification logic. Our aim is to design a formal framework that allows the analysis of epistemic situations with incomplete information. In order to achieve this we introduce two probabilistic justification logics, which are defined by adding probability operators to the minimal justification logic J. We prove soundness and completeness theorems for our logics and estab...
Connections among quantum logics. Pt. 1. Quantum propositional logics
Energy Technology Data Exchange (ETDEWEB)
Lock, P.F. (Saint Lawrence Univ., Canton, New York (USA). Dept. of Mathematics); Hardegree, G.M. (Massachusetts Univ., Amherst (USA). Dept. of Philosophy)
1985-01-01
In this paper, a theory of quantum logics is proposed which is general enough to enable us to reexamine a previous work on quantum logics in the context of this theory. It is then easy to assess the differences between the different systems studied. The quantum logical systems which are incorporated are divided into two groups which we call ''quantum propositional logics'' and ''quantum event logics''. The work of Kochen and Specker (partial Boolean algebras) is included and so is that of Greechie and Gudder (orthomodular partially ordered sets), Domotar (quantum mechanical systems), and Foulis and Randall (operational logics) in quantum propositional logics; and Abbott (semi-Boolean algebras) and Foulis and Randall (manuals) in quantum event logics, In this part of the paper, an axiom system for quantum propositional logics is developed and the above structures in the context of this system examined.
A Techno-Economic Optimization of the Power Conversion System of a Very High Temperature Reactor
International Nuclear Information System (INIS)
Mansilla, Christine; Dumas, Michel; Werkoff, Francois
2006-01-01
Generation IV nuclear reactors will not be implemented unless they enable lower production costs than with the current systems. In such a context a techno-economic optimization method was developed and then applied to the power conversion system of a very high temperature reactor. Techno-economic optimization consists in minimizing an objective function that depends on technical variables and economic ones. The advantage of the techno-economic optimization is that it can take into account both investment costs and operating costs. A techno-economic model was implemented in a specific optimization software named Vizir, which is based on genetic algorithms. The calculation of the thermodynamic cycle is performed by a software named Tugaz. The results are the values of the decision variables that lead to a minimum cost, according to the model. The total production cost is evaluated. The influence of the various variables and constraints is also pointed out. (authors)
The logical interpretation and the measurement problem
Vuletic, Mark I.
The measurement problem is one of the two key problems in the foundations of quantum mechanics, carrying with it the seeming implication that instead of the familiar definite states of affairs we think we experience, there typically should exist only phenomenologically ill-defined "superpositions" of such states of affairs. Dissatisfaction with this implication has led to the development of many wildly different interpretations of quantum mechanics, positing everything from pilot waves to splitting universes. A recent tradition of interpretation draws heavily upon decoherence and a "consistent histories" formalism to try to resolve the standard conceptual problems of quantum mechanics. Roland Omnes, one physicist in this tradition, argues that his own "logical interpretation" resolves every paradox and conceptual difficulty raised by quantum mechanics, except for what he calls the "objectification problem." Figuring out what relation the objectification problem has to the measurement problem, and, more generally, what the logical interpretation has to say about the measurement problem, turns out to be very difficult, even with the benefit of correspondence. In my dissertation, I have tried to narrow down the possibilities for what Omnes might have in mind with respect to the measurement problem, and considered whether any of these constitutes an advance over what came before. I conclude that there are two plausible possibilities: either (i) an overly aggressive pragmatic spirit has caused Omnes to fail to even realize that a critical part of the measurement problem exists, or (ii) the logical interpretation is best understood as offering a stochastic hidden factor interpretation, with complementarity operating at the level of the hidden factors, even though Omnes himself would resist describing the logical interpretation in this way. I also conclude that the logical interpretation, far from saving classical logic, actually undermines it. While this may not
Logical reasoning with diagrams
Allwein, Gerard
1996-01-01
PART A: Theoretical Issues. 1. Visual Information and Valid Reasoning, Jon Barwise and John Etchemendy. 2. Operational Constraints in Diagrammatic Reasoning, Atsushi Shimojima. 3. Diagrams and the Concept of Logical System, Jon Barwise and Eric Hammer. PART B: Case Studies. 4. Situation-Theoretic Account of Valid Reasoning with Venn Diagrams, Sun-Joo Shin. 5. Towards a Model Theory of Venn Diagrams, eric Hammer and Norman Danner. 6. Peircean Graphs for Propositional Logic, Eric Hammer. 7. A Diagrammatic Subsystem of Hilbert''s Geometry, Isabel Luengo. PART C: Heterogenous Systems. 8. Heterogenous Logic, Jon Barwise and John Etchemendy. 9. Toward the Rigorous Use of Diagrams in Reasoning about Hardware, Steven D. Johnson, Jon Barwise, and Gerard Allwein. 10. Exploiting the Potential of Diagrams in Guiding Hardware Reasoning, Kathi D. Fisler
Directory of Open Access Journals (Sweden)
Zoltan Erdei
2011-12-01
Full Text Available In this paper the authors present the usefulness of fuzzy logic in controlling engineering processes or applications. Although fuzzy logic does not represent a novelty for the scientific and engineering field, it enjoys a great appreciation from those involved in the two domains. The fact that fuzzy logic uses sentences kindred with the natural language make it easier to comprehend that a complex mathematical model required by the classic control theory. In MatLab software there are dedicated toolboxes to this subject that make the design of a fuzzy controller a facile one. In the paper design methods of a fuzzy controller are being presented both in Simulink and MatLab.
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...... case studies and it has been extended in several directions. The aim of this paper is to provide a thorough presentation of the logic.......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...
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...
Techno-economic analysis of biofuel production considering logistic configurations.
Li, Qi; Hu, Guiping
2016-04-01
In the study, a techno-economic analysis method considering logistic configurations is proposed. The economic feasibility of a low temperature biomass gasification pathway and an integrated pathway with fast pyrolysis and bio-oil gasification are evaluated and compared with the proposed method in Iowa. The results show that both pathways are profitable, biomass gasification pathway could achieve an Internal Rate of Return (IRR) of 10.00% by building a single biorefinery and integrated bio-oil gasification pathway could achieve an IRR of 3.32% by applying decentralized supply chain structure. A Monte-Carlo simulation considering interactions among parameters is also proposed and conducted, which indicates that both pathways are at high risk currently. Copyright © 2016 Elsevier Ltd. All rights reserved.
Humusica 2, article 16: Techno humus systems and recycling of waste
Zanella, Augusto; Ponge, Jean-François; Guercini, Stefano; Rumor, Clelia; Nold, François; Sambo, Paolo; Gobbi, Valentina; Schimmer, Claudia; Chaabane, Catherine; Mouchard, Marie-Laure; García, Elena; van Deventer, Piet
2018-01-01
International audience; Techno humus systems correspond to man-made topsoils under prominent man influence. They may be purposely conceived for supporting agricultural activities or dumping of waste products, sometimes abandoned to an unknown evolution. Both categories needed a more scientific frame. This is the reason we classified them as morpho-functional humus systems. Improving agricultural soils with organic waste products is an ancestral practice. We present four examples of Techno hum...
Modern Logical Frameworks Design
DEFF Research Database (Denmark)
Murawska, Agata Anna
2017-01-01
Throughout the years, logical frameworks have been a successful tool for prototyping and developing a number of logics and programming languages. However, to use the full power of the LF approach, the behaviour of variables in the system being mechanised must match the behaviour of those used...... or a cryptographic protocol used in a voting system, we need the ability to model and reason about both the building blocks of these systems and the intricate connections between them. To this end, this dissertation is an investigation into LF-based formalisms that might help address the aforementioned issues. We...
Conventions and Institutional Logics
DEFF Research Database (Denmark)
Westenholz, Ann
Two theoretical approaches – Conventions and Institutional Logics – are brought together and the similarities and differences between the two are explored. It is not the intention to combine the approaches, but I would like to open both ‘boxes’ and make them available to each other with the purpose...... analyses. The theoretical quest of both Conventions and Institutional Logics has been to understand the increasing indeterminacy, uncertainty and ambiguity in people’s lives where a sense of reality, of value, of moral, of feelings is not fixed. Both approaches have created new theoretical insights...
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...
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
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....
Progress in Programmable Logic
Directory of Open Access Journals (Sweden)
Jozef Cuntala
2004-01-01
Full Text Available Programmable logic devices (PLD are situated on important place among microelectronic components thanks to the continuing technological development of semiconductor components, due to new architectures and new approaches to digital systems design. Software design of various complicated digital systems becomes advantageous article of many firms. The Department of Electronics and Electrotechnology pays pemanent attention to mentioned components in application field. The collective of authors wants in this article point out on possibilities of design of digital system using the PLD. The paper plan contains the following basic parts: Technological aspects that influence development of configurable logic devices, Methodology od design and implementation and Flexibility of PLD interface.
Defining aging in cyborgs: a bio-techno-social definition of aging.
Wejbrandt, Anita
2014-12-01
Initially the aim of this article was to discuss and define aging at the intersection point between biology and sociology. However, recent biomedical and technological advances are changing the discourse on aging, and against this background the author of this article argues that current definitions of aging should be improved. The author emphasizes that there is a need to update current definitions of aging, or to formulate new multidisciplinary ones. The author suggests that (besides biology, psychology and sociology) the technological discipline should be included in the integrative gerontology model. Finally, in this article a new definition of aging is put forward. According to the author of this article, human bio-techno-social aging is characterized by: (a) a time-bound process of change including, (b) both reversible and irreversible biological processes, (c) social processes forming an irreversible chain of events, and (d) an increasing use of technological artifacts whose purpose is to support or replace damaged biological functions; and/or an increasing use of technological artifacts whose purpose is to facilitate or enable interaction. Copyright © 2014 Elsevier Inc. All rights reserved.
Techno-economic analysis of wood biomass boilers for the greenhouse industry
International Nuclear Information System (INIS)
Chau, J.; Sowlati, T.; Sokhansanj, S.; Preto, F.; Melin, S.; Bi, X.
2009-01-01
The objective of this study is to perform a techno-economic analysis on a typical wood pellet and wood residue boiler for generation of heat to an average-sized greenhouse in British Columbia. The variables analyzed included greenhouse size and structure, boiler efficiency, fuel types, and source of carbon dioxide (CO 2 ) for crop fertilization. The net present value (NPV) show that installing a wood pellet or a wood residue boiler to provide 40% of the annual heat demand is more economical than using a natural gas boiler to provide all the heat at a discount rate of 10%. For an assumed lifespan of 25 years, a wood pellet boiler system could generate NPV of C$259,311 without electrostatic precipitator (ESP) and C$74,695 with ESP, respectively. While, installing a wood residue boiler with or without an ESP could provide NPV of C$919,922 or C$1,104,538, respectively. Using a wood biomass boiler could also eliminate over 3000 tonne CO 2 equivalents of greenhouse gases annually. Wood biomass combustion generates more particulate matters than natural gas combustion. However, an advanced emission control system could significantly reduce particulate matters emission from wood biomass combustion which would bring the particulate emission to a relatively similar level as for natural gas
A Transition to Which Bioeconomy? An Exploration of Diverging Techno-Political Choices
Directory of Open Access Journals (Sweden)
Daniel Hausknost
2017-04-01
Full Text Available To date the concept of the bioeconomy—an economy based primarily on biogenic instead of fossil resources—has largely been associated with visions of “green growth” and the advancement of biotechnology and has been framed from within an industrial perspective. However, there is no consensus as to what a bioeconomy should effectively look like, and what type of society it would sustain. In this paper, we identify different types of narratives constructed around this concept and carve out the techno-political implications they convey. We map these narratives on a two-dimensional option space, which allows for a rough classification of narratives and their related imaginaries into four paradigmatic quadrants. We draw the narratives from three different sources: (i policy documents of national and supra-national authorities; (ii stakeholder interviews; and (iii scenarios built in a biophysical modelling exercise. Our analysis shows that there is a considerable gap between official policy papers and visions supported by stakeholders. At least in the case of Austria there is also a gap between the official strategies and the option space identified through biophysical modelling. These gaps testify to the highly political nature of the concept of the bioeconomy and the diverging visions of society arising from it.
GOAL Agents Instantiate Intention Logic
Hindriks, Koen; van der Hoek, Wiebe
2008-01-01
It is commonly believed there is a big gap between agent logics and computational agent frameworks. In this paper, we show that this gap is not as big as believed by showing that GOAL agents instantiate Intention Logic of Cohen and Levesque. That is, we show that GOAL agent programs can be formally related to Intention Logic.We do so by proving that the GOAL Verification Logic can be embedded into Intention Logic. It follows that (a fragment of) Intention Logic can be used t...
Quantum logics with existence property
Energy Technology Data Exchange (ETDEWEB)
Schindler, C. (Univ. Bern (Switzerland))
1991-04-01
A quantum logic ({sigma}-orthocomplete orthomodular poset L with a convex, unital, and separating set {Delta} of states) is said to have the existence property if the expectation functionals on lin({Delta}) associated with the bounded observables of L form a vector space. Classical quantum logics as well as the Hilbert space logics of traditional quantum mechanics have this property. The author shows that, if a quantum logic satisfies certain conditions in addition to having property E, then the number of its blocks (maximal classical subsystems) must either be one (classical logics) or uncountable (as in Hilbert space logics).
Some relationships between logic programming and multiple-valued logic
International Nuclear Information System (INIS)
Rine, D.C.
1986-01-01
There have been suggestions in the artificial intelligence literature that investigations into relationships between logic programming and multiple-valued logic may be helpful. This paper presents some of these relationships through equivalent algebraic evaluations
DEFF Research Database (Denmark)
Filipiuk, Piotr; Nielson, Flemming; Nielson, Hanne Riis
2012-01-01
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...
Temporal logic motion planning
CSIR Research Space (South Africa)
Seotsanyana, M
2010-01-01
Full Text Available In this paper, a critical review on temporal logic motion planning is presented. The review paper aims to address the following problems: (a) In a realistic situation, the motion planning problem is carried out in real-time, in a dynamic, uncertain...
Foundations of mathematical logic
Curry, Haskell B
2010-01-01
Written by a pioneer of mathematical logic, this comprehensive graduate-level text explores the constructive theory of first-order predicate calculus. It covers formal methods, including algorithms and epitheory, and offers a brief treatment of Markov's approach to algorithms, explains elementary facts about lattices and similar algebraic systems, and more. 1963 edition.
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 ...
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.
Czech Academy of Sciences Publication Activity Database
Svoboda, Vladimír; Peregrin, Jaroslav
2016-01-01
Roč. 30, č. 3 (2016), s. 263-287 ISSN 0920-427X R&D Projects: GA ČR(CZ) GA13-21076S Institutional support: RVO:67985955 Keywords : argumentation * logical form * incorrect argument * correct arguments Subject RIV: AA - Philosophy ; Religion Impact factor: 0.689, year: 2016
Dynamic epistemic temporal logic
Renne, B.; Sack, Joshua; Yap, Audrey; He, X.; Horty, J.; Pacuit, E.
2009-01-01
We introduce a new type of arrow in the update frames (or "action models") of Dynamic Epistemic Logic in a way that enables us to reason about epistemic temporal dynamics in multi-agent systems that need not be synchronous. Since van Benthem and Pacuit (later joined by Hoshi and Gerbrandy) showed
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...
Harding, John; Yang, Taewon
2015-12-01
Since the work of Crown (J. Natur. Sci. Math. 15(1-2), 11-25 1975) in the 1970's, it has been known that the projections of a finite-dimensional vector bundle E form an orthomodular poset ( omp) {P}(E). This result lies in the intersection of a number of current topics, including the categorical quantum mechanics of Abramsky and Coecke (2004), and the approach via decompositions of Harding (Trans. Amer. Math. Soc. 348(5), 1839-1862 1996). Moreover, it provides a source of omps for the quantum logic program close to the Hilbert space setting, and admitting a version of tensor products, yet having important differences from the standard logics of Hilbert spaces. It is our purpose here to initiate a basic investigation of the quantum logic program in the vector bundle setting. This includes observations on the structure of the omps obtained as {P}(E) for a vector bundle E, methods to obtain states on these omps, and automorphisms of these omps. Key theorems of quantum logic in the Hilbert setting, such as Gleason's theorem and Wigner's theorem, provide natural and quite challenging problems in the vector bundle setting.
Czech Academy of Sciences Publication Activity Database
Peregrin, Jaroslav
2010-01-01
Roč. 4, č. 2 (2010), s. 207-223 ISSN 1661-8297 R&D Projects: GA ČR(CZ) GAP401/10/1279 Institutional research plan: CEZ:AV0Z9009908 Keywords : logic * natural selection * modus potens * inferentialism Subject RIV: AA - Philosophy ; Religion
Expressivist Perspective on Logicality
Czech Academy of Sciences Publication Activity Database
Arazim, Pavel
2017-01-01
Roč. 11, č. 4 (2017), s. 409-419 ISSN 1661-8297 R&D Projects: GA ČR(CZ) GA17-15645S Institutional support: RVO:67985955 Keywords : logical constant * expressivism * topic-neutrality * proof-theory * conservativity Subject RIV: AA - Philosophy ; Religion OBOR OECD: Philosophy, History and Philosophy of science and technology
Czech Academy of Sciences Publication Activity Database
Klev, Ansten
2017-01-01
Roč. 25, č. 3 (2017), s. 341-368 ISSN 0031-8019 Institutional support: RVO:67985955 Keywords : Philosophy of mathematics * logicism * Richard Dedekind Subject RIV: AA - Philosophy ; Religion OBOR OECD: Philosophy, History and Philosophy of science and technology Impact factor: 0.419, year: 2016
Parametric Linear Dynamic Logic
Directory of Open Access Journals (Sweden)
Peter Faymonville
2014-08-01
Full Text Available We introduce Parametric Linear Dynamic Logic (PLDL, which extends Linear Dynamic Logic (LDL by temporal operators equipped with parameters that bound their scope. LDL was proposed as an extension of Linear Temporal Logic (LTL that is able to express all ω-regular specifications while still maintaining many of LTL's desirable properties like an intuitive syntax and a translation into non-deterministic Büchi automata of exponential size. But LDL lacks capabilities to express timing constraints. By adding parameterized operators to LDL, we obtain a logic that is able to express all ω-regular properties and that subsumes parameterized extensions of LTL like Parametric LTL and PROMPT-LTL. Our main technical contribution is a translation of PLDL formulas into non-deterministic Büchi word automata of exponential size via alternating automata. This yields a PSPACE model checking algorithm and a realizability algorithm with doubly-exponential running time. Furthermore, we give tight upper and lower bounds on optimal parameter values for both problems. These results show that PLDL model checking and realizability are not harder than LTL model checking and realizability.
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.
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...
Extending Value Logic Thinking to Value Logic Portfolios
DEFF Research Database (Denmark)
Ritter, Thomas; Andersen, Poul Houman
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...... and for research into strategic management....
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....
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...
Information Flow in Logical Environments
Kent, Robert E.
2016-01-01
This paper describes information flow within logical environments. The theory of information flow, the logic of distributed systems, was first defined by Barwise and Seligman (Information Flow: The Logic of Distributed Systems. 1997). Logical environments are a semantic-oriented version of institutions. The theory of institutions, which was initiated by Goguen and Burstall (Institutions: Abstract Model Theory for Specification and Programming. 1992), is abstract model theory. Information flow...
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
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...... had the extension of ontologies with Fuzzy Logic capabilities which plan to make proper backgrounds for ontology driven reasoning and argumentation on vague and imprecise domains. This presentation conceptualises learning from fuzzy classes using the Inductive Logic Programming framework. Then......, employs Description Logics in characterising and analysing fuzzy statements. And finally, provides a conceptual framework describing fuzzy concept learning in ontologies using the Inductive Logic Programming....
Directory of Open Access Journals (Sweden)
Baranov G. V.
2016-12-01
Full Text Available in this article the logic perspective in information culture is investigated. The contents of four laws of logical thinking in their value for thinking and humanitarian culture of the personality are described. Formal and logical laws are characterized by a condition of uniform information culture of mankind.
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 ...
Lectures on Logic and Computation
DEFF Research Database (Denmark)
The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computation. ESSLLI offers fo...
Games for topological fixpoint logic
Bezhanishvili, N.; Kupke, C.
2016-01-01
Topological fixpoint logics are a family of logics that admits topological models and where the fixpoint operators are defined with respect to the topological interpretations. Here we consider a topological fixpoint logic for relational structures based on Stone spaces, where the fixpoint operators
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...
Conventions and Institutional Logics
DEFF Research Database (Denmark)
Westenholz, Ann
Two theoretical approaches – Conventions and Institutional Logics – are brought together and the similarities and differences between the two are explored. It is not the intention to combine the approaches, but I would like to open both ‘boxes’ and make them available to each other with the purpose...... of creating a space for dialog. Both approaches were developed in the mid-1980s as a reaction to rational-choice economic theory and collectivistic sociological theory. These two theories were oversimplifying social life as being founded either in actor-micro level analyses or in structure-macro level...... analyses. The theoretical quest of both Conventions and Institutional Logics has been to understand the increasing indeterminacy, uncertainty and ambiguity in people’s lives where a sense of reality, of value, of moral, of feelings is not fixed. Both approaches have created new theoretical insights...
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.
1981-01-01
Rapport, Groupe Intelligence Pasero, R., Artificielle , Universite d’Aix-Marseille, Roussel, P. Luminy, France, 1973. [Kowalski 1974] Kowalski, R. A...THIS PAGZ(Whan Doee Es tMord) Item 20 (Cont’d) ------ work in the area of artificial intelligence and those used in general program development into a...logic programming with LISP for implementing intelligent data base query systems. Continued developments will allow for enhancements to be made to the
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...... 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....
Magnetoresistive logic and biochip
International Nuclear Information System (INIS)
Brueckl, Hubert; Brzeska, Monika; Brinkmann, Dirk; Schotter, J.Joerg; Reiss, Guenter; Schepper, Willi; Kamp, P.-B.; Becker, Anke
2004-01-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
Marketing Logics, Ambidexterity and Influence
DEFF Research Database (Denmark)
Tollin, Karin; Schmidt, Marcus
2012-01-01
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...
Querying Natural Logic Knowledge Bases
DEFF Research Database (Denmark)
Andreasen, Troels; Bulskov, Henrik; Jensen, Per Anker
2017-01-01
This paper describes the principles of a system applying natural logic as a knowledge base language. Natural logics are regimented fragments of natural language employing high level inference rules. We advocate the use of natural logic for knowledge bases dealing with querying of classes in ontol......This paper describes the principles of a system applying natural logic as a knowledge base language. Natural logics are regimented fragments of natural language employing high level inference rules. We advocate the use of natural logic for knowledge bases dealing with querying of classes...... in ontologies and class-relationships such as are common in life-science descriptions. The paper adopts a version of natural logic with recursive restrictive clauses such as relative clauses and adnominal prepositional phrases. It includes passive as well as active voice sentences. We outline a prototype...
Concrete Quantum Logics and Δ -Logics, States and Δ -States
Hroch, Michal; Pták, Pavel
2017-12-01
By a concrete quantum logic (in short, by a logic) we mean the orthomodular poset that is set-representable. If L=({Ω },L) is a logic and L is closed under the formation of symmetric difference, Δ , we call L a Δ -logic. In the first part we situate the known results on logics and states to the context of Δ -logics and Δ -states (the Δ -states are the states that are subadditive with respect to the symmetric difference). Moreover, we observe that the rather prominent logic E^{ {even}}_{Ω } of all even-coeven subsets of the countable set Ω possesses only Δ -states. Then we show when a state on the logics given by the divisibility relation allows for an extension as a state. In the next paragraph we consider the so called density logic and its Δ -closure. We find that the Δ -closure coincides with the power set. Then we investigate other properties of the density logic and its factor.
Autopoiesis of the techno-social systems as a factor of social risks proliferation
Directory of Open Access Journals (Sweden)
D E Orlov
2015-12-01
Full Text Available The article describes the problem of the unpredictable proliferation and complication of techno-social systems (such as Internet and financial markets. The authors try to explicate the social risks generated by these systems with the theoretical resources of the system theory of communication (N. Luhmann, which is based on the concepts of ‘recursion’, ‘process’ (‘operation’, ‘operationally closed system’, ‘autopoiesis’, etc. The authors believe that the autopoietic system response to external stimuli cannot be predicted by classical means of sociology and cybernetics. Turbulence and continuous complication of techno-social objects let the authors suggest that the dynamics of the systems under consideration contains some features of autopoiesis. Thus, the analysis of the financial market as a complex techno-social object based on the ideas of G. Akerlof (theory of irrational economic behavior and K. Knorr Cetina (object-centric sociology allows to better understand the phenomenon of unpredictable market dynamics (the risk of proliferation of market expectations, inability to capture the control level by any of the participants, etc. The authors believe that such a conceptualization helps to bring together sociological practices of the techno-social objects research and perspective methods of applied mathematics (fractal geometry, theory of reflexive relations, ‘soft’ models, etc., as well as contributes to the search of effective tools for modeling complex techno-social objects, and, thus, social risks accompanying them.
Techno-Economic Analysis of Biofuel Production from Macroalgae (Seaweed
Directory of Open Access Journals (Sweden)
Mohsen Soleymani
2017-11-01
Full Text Available A techno-economic evaluation of bioenergy production from macroalgae was carried out in this study. Six different scenarios were examined for the production of different energy products and by-products. Seaweed was produced either via the longline method or the grid method. Final products of these scenarios were either ethanol from fermentation, or electricity from anaerobic digestion (AD. By-products were digestate for AD, and animal feed, or electricity and digestate, for the fermentation pathway. Bioenergy breakeven selling prices were investigated according to the cost components and the feedstock supply chain, while suggestions for potential optimization of costs were provided. The lowest production level of dry seaweed to meet 0.93 ($/L for ethanol fuel and 0.07 $/kW-h for electricity was found to be 0.68 and 3.7 million tonnes (dry basis, respectively. At the moment, biofuel production from seaweed has been determined not to be economically feasible, but achieving economic production may be possible by lowering production costs and increasing the area under cultivation.
An updated comprehensive techno-economic analysis of algae biodiesel.
Nagarajan, Sanjay; Chou, Siaw Kiang; Cao, Shenyan; Wu, Chen; Zhou, Zhi
2013-10-01
Algae biodiesel is a promising but expensive alternative fuel to petro-diesel. To overcome cost barriers, detailed cost analyses are needed. A decade-old cost analysis by the U.S. National Renewable Energy Laboratory indicated that the costs of algae biodiesel were in the range of $0.53-0.85/L (2012 USD values). However, the cost of land and transesterification were just roughly estimated. In this study, an updated comprehensive techno-economic analysis was conducted with optimized processes and improved cost estimations. Latest process improvement, quotes from vendors, government databases, and other relevant data sources were used to calculate the updated algal biodiesel costs, and the final costs of biodiesel are in the range of $0.42-0.97/L. Additional improvements on cost-effective biodiesel production around the globe to cultivate algae was also recommended. Overall, the calculated costs seem promising, suggesting that a single step biodiesel production process is close to commercial reality. Copyright © 2012 Elsevier Ltd. All rights reserved.
Tracking Porters: Learning the Craft of Techno-Anthropology.
Bruun, Maja Hojer; Krause-Jensen, Jakob; Saltofte, Margit
2015-01-01
Anthropology attempts to gain insight into people's experiential life-worlds through long-term fieldwork. The quality of anthropological knowledge production, however, does not depend solely on the duration of the stay in the field, but also on a particular way of seeing social situations. The anthropological perspective is grounded in socio-cultural theory and forged by a distinct relativist or contextualist epistemological stance. The point is to understand events, concepts and phenomena from the insiders' point of view and to show how this view relates to the particular social and cultural context. In this chapter, we argue that although anthropology has its specific methodology - including a myriad of ethnographic data-gathering tools, techniques, analytical approaches and theories - it must first and foremost be understood as a craft. Anthropology as craft requires a specific 'anthropological sensibility' that differs from the standardized procedures of normal science. To establish our points we use an example of problem-based project work conducted by a group of Techno-Anthropology students at Aalborg University, we focus on key aspects of this craft and how the students began to learn it: For two weeks the students followed the work of a group of porters. Drawing on anthropological concepts and research strategies the students gained crucial insights about the potential effects of using tracking technologies in the hospital.
Techno-Economic Analysis of Biofuel Production from Macroalgae (Seaweed).
Soleymani, Mohsen; Rosentrater, Kurt A
2017-11-26
A techno-economic evaluation of bioenergy production from macroalgae was carried out in this study. Six different scenarios were examined for the production of different energy products and by-products. Seaweed was produced either via the longline method or the grid method. Final products of these scenarios were either ethanol from fermentation, or electricity from anaerobic digestion (AD). By-products were digestate for AD, and animal feed, or electricity and digestate, for the fermentation pathway. Bioenergy breakeven selling prices were investigated according to the cost components and the feedstock supply chain, while suggestions for potential optimization of costs were provided. The lowest production level of dry seaweed to meet 0.93 ($/L) for ethanol fuel and 0.07 $/kW-h for electricity was found to be 0.68 and 3.7 million tonnes (dry basis), respectively. At the moment, biofuel production from seaweed has been determined not to be economically feasible, but achieving economic production may be possible by lowering production costs and increasing the area under cultivation.
Techno-Economic Analysis of Biofuel Production from Macroalgae (Seaweed)
Soleymani, Mohsen
2017-01-01
A techno-economic evaluation of bioenergy production from macroalgae was carried out in this study. Six different scenarios were examined for the production of different energy products and by-products. Seaweed was produced either via the longline method or the grid method. Final products of these scenarios were either ethanol from fermentation, or electricity from anaerobic digestion (AD). By-products were digestate for AD, and animal feed, or electricity and digestate, for the fermentation pathway. Bioenergy breakeven selling prices were investigated according to the cost components and the feedstock supply chain, while suggestions for potential optimization of costs were provided. The lowest production level of dry seaweed to meet 0.93 ($/L) for ethanol fuel and 0.07 $/kW-h for electricity was found to be 0.68 and 3.7 million tonnes (dry basis), respectively. At the moment, biofuel production from seaweed has been determined not to be economically feasible, but achieving economic production may be possible by lowering production costs and increasing the area under cultivation. PMID:29186857
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......, employs Description Logics in characterising and analysing fuzzy statements. And finally, provides a conceptual framework describing fuzzy concept learning in ontologies using the Inductive Logic Programming....
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...
de Silva, A Prasanna
2011-03-01
Chemists are now able to emulate the ideas and instruments of mathematics and computer science with molecules. The integration of molecular logic gates into small arrays has been a growth area during the last few years. The design principles underlying a collection of these cases are examined. Some of these computing molecules are applicable in medical- and biotechnologies. Cases of blood diagnostics, 'lab-on-a-molecule' systems, and molecular computational identification of small objects are included. Copyright © 2011 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.
Flexible programmable logic module
Robertson, Perry J.; Hutchinson, Robert L.; Pierson, Lyndon G.
2001-01-01
The circuit module of this invention is a VME board containing a plurality of programmable logic devices (PLDs), a controlled impedance clock tree, and interconnecting buses. The PLDs are arranged to permit systolic processing of a problem by offering wide data buses and a plurality of processing nodes. The board contains a clock reference and clock distribution tree that can drive each of the PLDs with two critically timed clock references. External clock references can be used to drive additional circuit modules all operating from the same synchronous clock reference.
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
DEFF Research Database (Denmark)
Øhrstrøm, Peter
2009-01-01
This paper deals with A.N. Prior's analysis of the concepts of dynamic and static time, i.e. McTaggart's so-called A- and B-concepts. The relations and mutual dependencies between these temporal concepts are investigated, and Prior's response to McTaggart's views is discussed. Futhermore, Prior......'s notion of branching time is analysed. It is argued that Prior can be criticized for identifying 'plain future'. Finally, Prior's four grades of tense-logical involvement are introduced and discussed. It is argued that the third grade is the most attractive form a philosophical point of view....
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
Bright, Liam Kofi
2017-10-01
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 Elsevier Ltd. All rights reserved.
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.
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
The Logic of Practice in the Practice of Logics
DEFF Research Database (Denmark)
Raviola, Elena; Dubini, Paola
2016-01-01
This paper investigates the workings of institutional logics in practice, by focusing in particular on the interplay between material, practical and linguistic dimensions of practices. In other words, drawing on Bourdieu's sens pratique, the paper explores the logic of practice in the practice...... 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...
Synthetic spider silk sustainability verification by techno-economic and life cycle analysis
Edlund, Alan
Major ampullate spider silk represents a promising biomaterial with diverse commercial potential ranging from textiles to medical devices due to the excellent physical and thermal properties from the protein structure. Recent advancements in synthetic biology have facilitated the development of recombinant spider silk proteins from Escherichia coli (E. coli), alfalfa, and goats. This study specifically investigates the economic feasibility and environmental impact of synthetic spider silk manufacturing. Pilot scale data was used to validate an engineering process model that includes all of the required sub-processing steps for synthetic fiber manufacture: production, harvesting, purification, drying, and spinning. Modeling was constructed modularly to support assessment of alternative protein production methods (alfalfa and goats) as well as alternative down-stream processing technologies. The techno-economic analysis indicates a minimum sale price from pioneer and optimized E. coli plants at 761 kg-1 and 23 kg-1 with greenhouse gas emissions of 572 kg CO2-eq. kg-1 and 55 kg CO2-eq. kg-1, respectively. Spider silk sale price estimates from goat pioneer and optimized results are 730 kg-1 and 54 kg-1, respectively, with pioneer and optimized alfalfa plants are 207 kg-1 and 9.22 kg-1 respectively. Elevated costs and emissions from the pioneer plant can be directly tied to the high material consumption and low protein yield. Decreased production costs associated with the optimized plants include improved protein yield, process optimization, and an Nth plant assumption. Discussion focuses on the commercial potential of spider silk, the production performance requirements for commercialization, and impact of alternative technologies on the sustainability of the system.
Games for Topological Fixpoint Logic
Directory of Open Access Journals (Sweden)
Nick Bezhanishvili
2016-09-01
Full Text Available Topological fixpoint logics are a family of logics that admits topological models and where the fixpoint operators are defined with respect to the topological interpretations. Here we consider a topological fixpoint logic for relational structures based on Stone spaces, where the fixpoint operators are interpreted via clopen sets. We develop a game-theoretic semantics for this logic. First we introduce games characterising clopen fixpoints of monotone operators on Stone spaces. These fixpoint games allow us to characterise the semantics for our topological fixpoint logic using a two-player graph game. Adequacy of this game is the main result of our paper. Finally, we define bisimulations for the topological structures under consideration and use our game semantics to prove that the truth of a formula of our topological fixpoint logic is bisimulation-invariant.
Superconducting digital logic amplifier
International Nuclear Information System (INIS)
Przybysz, J.X.
1989-01-01
This paper describes a superconducting digital logic amplifier for interfacing between a Josephson junction logic circuit having output current and a higher voltage semiconductor circuit input. The amplifier comprising: an input terminal for connection to a; an output terminal for connection to a semiconductor circuit input; an input, lower critical current, Josephson junction having first and second terminals; a first series string of at least three lower critical current Josephson junctions. The first series string being connected to the first terminal of the input Josephson junction such that the first series string is in series with the input Josephson junction to provide a series combination. The input terminal being connected to the first terminal of the input Josephson junction, and with the critical current of the lower critical current Josephson junctions of the input Josephson junction and the first series Josephson junctions being less than the output current of the low voltage Josephson junction circuit; a second series string of at least four higher critical current Josephson junctions. The second string being connected in parallel with the series combination to provide parallel strings having an upper common connection and a lower common connection. The lower common connection being connected to the second terminal of the input Josephson junction and the upper common connection being connected to the output terminal; and a pulsed DC current source connected the parallel strings at the upper common connection. The DC current source having a current at least equal to the critical current of the higher critical current Josephson junctions
Out of Site & Out of Mind: Speculative Historiographies of Techno Trash
Directory of Open Access Journals (Sweden)
Mél Hogan
2015-06-01
Full Text Available Out of Site & Out of Mind: Speculative Historiographies of Techno Trash by Mel Hogan and Andrea Zeffiro. Our contribution to the “Aesthetics of Trash” introduces an online participatory storytelling project, Speculative Historiographies of Techno Trash (technotrash.org. In its current iteration, technotrash.org is a website through which we are soliciting and featuring personal written reflections on the consumption and disposal of media technologies. Our project goal is to render the material and immaterial residues generated from of our everyday media practices more visible by accentuating the ecological and ethical dilemmas posed by the production, consumption, and disposal of media technologies.
Twistact techno-economic analysis for wind turbine applications.
Energy Technology Data Exchange (ETDEWEB)
Naughton, Brian Thomas [Sandia National Lab. (SNL-NM), Albuquerque, NM (United States); Koplow, Jeffrey P. [Sandia National Lab. (SNL-CA), Livermore, CA (United States); Vanness, Justin William [Sandia National Lab. (SNL-CA), Livermore, CA (United States); Sethuraman, Latha [National Renewable Energy Lab. (NREL), Golden, CO (United States); Maness, Michael [National Renewable Energy Lab. (NREL), Golden, CO (United States); Dykes, Katherine [National Renewable Energy Lab. (NREL), Golden, CO (United States)
2017-09-01
This report is the final deliverable for a techno-economic analysis of the Sandia National Laboratories-developed Twistact rotary electrical conductor. The U.S. Department of Energy Wind Energy Technologies Office supported a team of researchers at Sandia National Laboratories and the National Renewable Energy Laboratory to evaluate the potential of the Twistact technology to serve as a viable replacement to rare-earth materials used in permanent-magnet direct-drive wind turbine generators. This report compares three detailed generator models, two as baseline technologies and a third incorporating the Twistact technology. These models are then used to calculate the levelized cost of energy (LCOE) for three comparable offshore wind plants using the three generator topologies. The National Renewable Energy Laboratorys techno-economic analysis indicates that Twistact technology can be used to design low-maintenance, brush-free, and wire-wound (instead of rare-earth-element (REE) permanent-magnet), direct-drive wind turbine generators without a significant change in LCOE and generation efficiency. Twistact technology acts as a hedge against sources of uncertain costs for direct-drive generators. On the one hand, for permanent-magnet direct-drive (PMDD) generators, the long-term price of REEs may increase due to increases in future demand, from electric vehicles and other technologies, whereas the supply remains limited and geographically concentrated. The potential higher prices in the future adversely affect the cost competitiveness of PMDD generators and may thwart industry investment in the development of the technology for wind turbine applications. Twistact technology can eliminate industry risk around the uncertainty of REE price and availability. Traditional wire-wound direct-drive generators experience reliability issues and higher maintenance costs because of the wear on the contact brushes necessary for field excitation. The brushes experience
Logical Full Abstraction and PCF
Longley, John R; Plotkin, Gordon
2000-01-01
We introduce the concept of logical full abstraction, generalising the usual equational notion. We consider the language PCF and two extensions with “parallel” operations. The main result is that, for standard interpretations, logical full abstraction is equivalent to equational full abstraction together with universality; the proof involves constructing enumeration operators. We also consider restrictions on logical complexity and on the level of types.
A Logic for Miranda, Revisited
Thompson, Simon
1995-01-01
This paper expands upon work begun in the author's paper 'A Logic for Miranda', Formal Aspects of Computing 1 (1989), in building a logic for the Miranda functional programming language. After summarising the work in that paper, a translation of Miranda definitions into logical formulas is presented, and illustrated by means of examples. This work expands upon the earlier paper in giving a complete treatment of sequences of equations, and by examining how to translate the local definitions in...
Techno-economic study of different alternatives for biodiesel production
Energy Technology Data Exchange (ETDEWEB)
Marchetti, J.M.; Miguel, V.U.; Errazu, A.F. [Planta Piloto de Ingenieria Quimica (UNS-CONICET), Camino Carrindanga Km. 7 (8000) Bahia Blanca (Argentina)
2008-08-15
Biodiesel has become an attractive diesel fuel substitute due to its environmental benefits since it can be made from renewable resource. However, the high costs surrounding biodiesel production remains the main problem in making it competitive in the fuel market either as a blend or as a neat fuel. More than 80% of the production cost is associated with the feedstock itself and consequently, efforts are focused on developing technologies capable of using lower-cost feedstocks, such as recycled cooking oils and wastes from animal or vegetable oil processing operations. The main issue with spent oils is the high level of free fatty acids found in the recycled materials. The conventional technology employs sodium methoxide as a homogeneous base catalyst for the transesterification reaction and illustrates the drawbacks in working with feedstocks that contain high levels of free fatty acids. On the other hand, homogeneous acidic catalysts are being used for exactly such feedstocks. Both acid and basic homogeneous catalyzed processes require downstream purification equipment to neutralize the catalyst and to purify the biodiesel as well as the glycerol. Recent studies have been conducted to employ heterogeneous catalysts, such acidic or basic solid resins, or immobilized lipases. These catalysts will allow the use of different feedstocks that will permit operation at lower investment costs and will require less downstream process equipment. A conceptual design of these alternative production plants has been done with a techno-economic analysis in order to compare these alternatives. A process simulator was employed to carry out the conceptual design and simulation of each technology. Using these models it was possible to analyze different scenarios and to evaluate productivity, raw material consumption, economic competitiveness, and environmental impacts of each process. (author)
Tensor product of quantum logics
Pulmannová, Sylvia
1985-01-01
A quantum logic is the couple (L,M) where L is an orthomodular σ-lattice and M is a strong set of states on L. The Jauch-Piron property in the σ-form is also supposed for any state of M. A ``tensor product'' of quantum logics is defined. This definition is compared with the definition of a free orthodistributive product of orthomodular σ-lattices. The existence and uniqueness of the tensor product in special cases of Hilbert space quantum logics and one quantum and one classical logic are studied.
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
Contextual logic for quantum systems
International Nuclear Information System (INIS)
Domenech, Graciela; Freytes, Hector
2005-01-01
In this work we build a quantum logic that allows us to refer to physical magnitudes pertaining to different contexts from a fixed one without the contradictions with quantum mechanics expressed in no-go theorems. This logic arises from considering a sheaf over a topological space associated with the Boolean sublattices of the ortholattice of closed subspaces of the Hilbert space of the physical system. Different from standard quantum logics, the contextual logic maintains a distributive lattice structure and a good definition of implication as a residue of the conjunction
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
DEFF Research Database (Denmark)
A.N. Prior (1914-69) in the course of the 1950s and 1960s founded a new and revolutionary paradigm in philosophy and logic. Its most central feature is the preoccupation with time and the development of the logic of time. However, this was inseparably interwoven with fundamental questions about...... human freedom, ethics, and existence. This remarkable integration of themes also embodies an original and in fact revolutionary conception of logic. The book series, Logic and Philosophy of Time, is dedicated to a deep investigation and also the further development of Prior’s paradigm. ...
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
Logic from nonlinear dynamical evolution
Energy Technology Data Exchange (ETDEWEB)
Murali, K. [J. Crayton Pruitt Family Department of Biomedical Engineering, University of Florida, Gainesville, FL 32611-6131 (United States); Department of Physics, Anna University, Chennai 600 025 (India)], E-mail: kmurali@annauniv.edu; Miliotis, Abraham; Ditto, William L. [J. Crayton Pruitt Family Department of Biomedical Engineering, University of Florida, Gainesville, FL 32611-6131 (United States); Sinha, Sudeshna [Institute of Mathematical Sciences, C.I.T. Campus, Chennai 600 113 (India)
2009-03-30
We propose a direct and flexible implementation of logic operations using the dynamical evolution of a nonlinear system. The concept involves the observation of the state of the system at different times to obtain different logic outputs. We explicitly implement the basic NAND, AND, NOR, OR and XOR logic gates, as well as multiple-input XOR and XNOR logic gates. Further we demonstrate how the single dynamical system can do more complex operations such as bit-by-bit addition in just a few iterations.
Logic from nonlinear dynamical evolution
International Nuclear Information System (INIS)
Murali, K.; Miliotis, Abraham; Ditto, William L.; Sinha, Sudeshna
2009-01-01
We propose a direct and flexible implementation of logic operations using the dynamical evolution of a nonlinear system. The concept involves the observation of the state of the system at different times to obtain different logic outputs. We explicitly implement the basic NAND, AND, NOR, OR and XOR logic gates, as well as multiple-input XOR and XNOR logic gates. Further we demonstrate how the single dynamical system can do more complex operations such as bit-by-bit addition in just a few iterations
Implicational (Semilinear) Logics I: A New Hierarchy
Czech Academy of Sciences Publication Activity Database
Cintula, Petr; Noguera, C.
2010-01-01
Roč. 49, č. 4 (2010), s. 417-446 ISSN 1432-0665 R&D Projects: GA ČR GEICC/08/E018 Institutional research plan: CEZ:AV0Z10300504 Keywords : abstract algebraic logic * hierarchy of implicational logics * implicative logics * Leibniz hierarchy * linearly ordered logical matrices * mathematical fuzzy logic * non-classical logics * semilinear logics Subject RIV: BA - General Mathematics Impact factor: 0.414, year: 2010
The Logic of Reflection: Samuel Taylor Coleridge's "treatise on Logic"
Land, Janet Sanders
Though others discuss Coleridge's interest in science, light imagery, the phenomenon of reflection, and his references to Newton and Opticks,^1 this is the first study to examine Coleridge's art in terms of optics, its developing theories, and the nature-of-light debate. This study examines Coleridge's early predilection for visions, illusions, and the supernatural and demonstrates that he gradually shifts from the supernatural to the scientific aspects of "visions" and "illusions," concentrating on causes of illusions and the effects of their deceptive qualities rather than their mystical features. By the 1820's, his preoccupation with illusions had become an interest in optics, fueled, no doubt, by the increasing controversy of the nature-of-light debate and the number of advances in optics resulting from the efforts of its opponents to prove their theories. Tracing the development of the debate, its escalation in the early nineteenth century, and the formation of Coleridge's opinion concerning key issues of the debate, I outline the evolution of Coleridge's theory of reflection and examine the exposition of that theory in his treatise, Logic (1981). Finally, I analyze the relationship between the advances in optics and Coleridge's concepts of thought and knowledge and his notion of the mind as an instrument of knowledge. These ideas in turn, altered his opinions concerning the validity of knowledge resulting from philosophic debate, scientific experiment, and poetic exploration. ftn^1John Beer, "Coleridge and Wordsworth on Reflection," The Wordsworth Circle 20 (1989): 20-29; Coleridge the Visionary. London: Chatto and Windus, 1959; and Coleridge's Poetic Intelligence. London: Macmillan, 1977 and M. H. Abrams Natural Supernaturalism: Tradition and Revolution in Romantic Literature. New York: Norton, 1971; and "Coleridge's 'A Light in Sound': Science, Metascience, and Poetic Imagination." The Correspondent Breeze: Essays on English Romanticism. Eds. M. H. Abrams
Energy Technology Data Exchange (ETDEWEB)
Zhang, X.; Wan, C.H., E-mail: wancaihua@iphy.ac.cn; Yuan, Z.H.; Fang, C.; Kong, W.J.; Wu, H.; Zhang, Q.T.; Tao, B.S.; Han, X.F., E-mail: xfhan@iphy.ac.cn
2017-04-15
Confronting with the gigantic volume of data produced every day, raising integration density by reducing the size of devices becomes harder and harder to meet the ever-increasing demand for high-performance computers. One feasible path is to actualize more logic functions in one cell. In this respect, we experimentally demonstrate a prototype spin-orbit torque based spin logic cell integrated with five frequently used logic functions (AND, OR, NOT, NAND and NOR). The cell can be easily programmed and reprogrammed to perform desired function. Furthermore, the information stored in cells is symmetry-protected, making it possible to expand into logic gate array where the cell can be manipulated one by one without changing the information of other undesired cells. This work provides a prospective example of multi-functional spin logic cell with reprogrammability and nonvolatility, which will advance the application of spin logic devices. - Highlights: • Experimental demonstration of spin logic cell based on spin Hall effect. • Five logic functions are realized in a single logic cell. • The logic cell is reprogrammable. • Information in the cell is symmetry-protected. • The logic cell can be easily expanded to logic gate array.
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
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...
The potential of geological storage of CO2 in Austria: a techno-economic assessment
Brüstle, Anna Katharina; Welkenhuysen, Kris; Bottig, Magdalena; Piessens, Kris; Ramirez, Andrea; Swenner, Rudy
2014-05-01
An impressive two-third or about 40GWh/y of electricity in Austria is produced from renewable energy sources, in particular hydro energy. For the remaining part the country depends on fossil fuels, which together with iron & steel production form the most CO2 intensive industries in Austria with a combined emission of just over 20Mt/y. According to the IEA, CO2 capture and geological storage (CCS) can reduce the global CO2 emission until 2050 by 17%. A correct assessment of CCS needs to start with the storage potential. Prior to this study, only general estimates of the theoretical capacity of Austrian reservoirs were available, thus, up until now, the realistic potential for CCS technology has not been assessed. Both for policy and industry, an assessment of the matched capacity is required, which is the capacity that actually will be used in CCS projects. This hurdle can be taken by applying a recently developed methodology (Welkenhuysen et al., 2013). This policy support system (PSS) consists of two parts, PSS Explorer and PSS III simulator. In brief, the methodology is based on expert judgements of potential reservoirs. These assessments can provide the best available data, including the expert's experience and possibly confidential data, without disclosing specific data. The geo-techno-economic calculation scheme PSS Explorer uses the expert input to calculate for each individual reservoir an assessment of the practical capacity (as probability density functions), in function of an acceptable price for storage. This practical capacity can then be used by the techno-economic PSS III simulator to perform advanced source-sink matching until 2050 and thus provide the matched reservoir capacity. The analysed reservoirs are 7 active or abandoned oil and gas reservoirs in Austria. The simulation of the electricity and iron & steel sector of Austria resulted in the estimation of the geological storage potential, taking into account geological, technological and
Borresen, Jon; Lynch, Stephen
2012-01-01
In the 1940s, the first generation of modern computers used vacuum tube oscillators as their principle components, however, with the development of the transistor, such oscillator based computers quickly became obsolete. As the demand for faster and lower power computers continues, transistors are themselves approaching their theoretical limit and emerging technologies must eventually supersede them. With the development of optical oscillators and Josephson junction technology, we are again presented with the possibility of using oscillators as the basic components of computers, and it is possible that the next generation of computers will be composed almost entirely of oscillatory devices. Here, we demonstrate how coupled threshold oscillators may be used to perform binary logic in a manner entirely consistent with modern computer architectures. We describe a variety of computational circuitry and demonstrate working oscillator models of both computation and memory. PMID:23173034
Partial quantum logics revisited
Vetterlein, Thomas
2011-01-01
Partial Boolean algebras (PBAs) were introduced by Kochen and Specker as an algebraic model reflecting the mutual relationships among quantum-physical yes-no tests. The fact that not all pairs of tests are compatible was taken into special account. In this paper, we review PBAs from two sides. First, we generalise the concept, taking into account also those yes-no tests which are based on unsharp measurements. Namely, we introduce partial MV-algebras, and we define a corresponding logic. Second, we turn to the representation theory of PBAs. In analogy to the case of orthomodular lattices, we give conditions for a PBA to be isomorphic to the PBA of closed subspaces of a complex Hilbert space. Hereby, we do not restrict ourselves to purely algebraic statements; we rather give preference to conditions involving automorphisms of a PBA. We conclude by outlining a critical view on the logico-algebraic approach to the foundational problem of quantum physics.
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......, and (iii) to define a semantics for the XACML 3.0 standard combining operators. To guard against modeling artefacts we provide an alternative lattice based way of characterizing the policy combining operators and we formally prove the equivalence of these approaches thereby increasing our faith in either...... one. We then discuss several ways of extending XACML: one direction is to extend XACML with new combining operators, and another direction is to incorporate the notion of conflict into XACML. We conclude by discussing the possibility of analysing XACML policies for gaps and conflicts....
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.
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.
Reversible logic gates on Physarum Polycephalum
International Nuclear Information System (INIS)
Schumann, Andrew
2015-01-01
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
Fuzzy Logic and Arithmetical Hierarchy III
Czech Academy of Sciences Publication Activity Database
Hájek, Petr
2001-01-01
Roč. 68, č. 1 (2001), s. 129-142 ISSN 0039-3215 R&D Projects: GA AV ČR IAA1030004 Institutional research plan: AV0Z1030915 Keywords : fuzzy logic * basic fuzzy logic * Lukasiewicz logic * Godel logic * product logic * arithmetical hierarchy Subject RIV: BA - General Mathematics
Flat Coalgebraic Fixed Point Logics
Schröder, Lutz; Venema, Yde
Fixed point logics are widely used in computer science, in particular in artificial intelligence and concurrency. The most expressive logics of this type are the μ-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 μ-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 μ-calculus including, e.g., flat fragments of the graded μ-calculus and the alternating-time μ-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 μ-calculus but avoids using automata.
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...
Injection--ejection protection logic
International Nuclear Information System (INIS)
Brown, H.
1975-01-01
A brief sketch is given of the beginnings of the protective logic which would be needed to guard against quenches or damage in the ISA rings. Two logic diagrams are presented which illustrate the most obvious facets of the hard-wired protection system
DEFF Research Database (Denmark)
By blending historical research with current research, this collection (loosely inspired by themes from the work of Arthur Prior) demonstrates the importance of Prior's writings and helps us to gain a deeper understanding of time, its logic(s), and its language(s)....
Dynamic Logics of Belief Change
van Benthem, J.; Smets, S.; van Ditmarsch, H.; Halpern, J.; van der Hoek, W.; Kooi, B.
2015-01-01
This chapter gives an overview of current dynamic logics that describe belief update and revision, both for single agents and in multi-agent settings. We employ a mixture of ideas from AGM belief revision theory and dynamic-epistemic logics of information-driven agency. After describing the basic
Hybrid logics with Sahlqvist axioms
ten Cate, B.; Marx, M.; Viana, P.
2005-01-01
We show that every extension of the basic hybrid logic with modal Sahlqvist axioms is complete. As a corollary of our approach, we also obtain the Beth property for a large class of hybrid logics. Finally, we show that the new completeness result cannot be combined with the existing general
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...
Japanese Logic Puzzles and Proof
Wanko, Jeffrey J.
2009-01-01
An understanding of proof does not start in a high school geometry course. Rather, attention to logical reasoning throughout a student's school experience can help the development of proof readiness. In the spirit of problem solving, the author has begun to use some Japanese logic puzzles other than sudoku to help students develop additional…
Epistemic logics for sceptical agents
Czech Academy of Sciences Publication Activity Database
Bílková, M.; Majer, Ondrej; Peliš, Michal
2016-01-01
Roč. 26, č. 6 (2016), s. 1815-1841 ISSN 0955-792X R&D Projects: GA ČR(CZ) GA13-21076S Institutional support: RVO:67985955 Keywords : epistemic logic * substructural logic * frame semantics Subject RIV: AA - Philosophy ; Religion Impact factor: 0.909, year: 2016
Towards Logical Designs In Biology
Indian Academy of Sciences (India)
Towards Logical Designs in Biology. Garima Agarwal. General Article Volume 12 Issue 2 February 2007 pp 29-38. Fulltext. Click here to view fulltext PDF. Permanent link: http://www.ias.ac.in/article/fulltext/reso/012/02/0029-0038. Keywords. Synthetic biology; logic gates; regulatory modules; gene circuits. Author Affiliations.
Structural Completeness in Fuzzy Logics
Czech Academy of Sciences Publication Activity Database
Cintula, Petr; Metcalfe, G.
2009-01-01
Roč. 50, č. 2 (2009), s. 153-183 ISSN 0029-4527 R&D Projects: GA MŠk(CZ) 1M0545 Institutional research plan: CEZ:AV0Z10300504 Keywords : structral logics * fuzzy logics * structural completeness * admissible rules * primitive variety * residuated lattices Subject RIV: BA - General Mathematics
Zalta on Unnecessary Logical Truths
Directory of Open Access Journals (Sweden)
MA Hojati
2013-09-01
Full Text Available According to a traditional view all logical truths are necessary however, this thesis recently has been faced with various critiques from different points of view. Introducing some logical operators, David Kaplan and Edward Zalta claim that there are logical truths regarding common definition ‒ that are not necessary. William Hanson objects Zalta's examples believing that they rely on unjustified presuppositions especially he does not accept real world validity as a proper notion for presenting logical truth. Nelson and Zalta reply to his objections claiming that they have unacceptable grounds. In this paper, we introduce logical truths, then present Kaplan's and Zalta's examples and explore Hanson's objections together with their replies. At last we try to show the metaphysical roots of the debates.
Zalta on Unnecessary Logical Truths
Directory of Open Access Journals (Sweden)
SH Shahryari
2013-08-01
Full Text Available According to a traditional view all logical truths are necessary however, this thesis recently has been faced with various critiques from different points of view. Introducing some logical operators, David Kaplan and Edward Zalta claim that there are logical truths regarding common definition â that are not necessary. William Hanson objects Zalta's examples believing that they rely on unjustified presuppositions especially he does not accept real world validity as a proper notion for presenting logical truth. Nelson and Zalta reply to his objections claiming that they have unacceptable grounds. In this paper, we introduce logical truths, then present Kaplan's and Zalta's examples and explore Hanson's objections together with their replies. At last we try to show the metaphysical roots of the debates.
Logical independence and quantum randomness
International Nuclear Information System (INIS)
Paterek, T; Kofler, J; Aspelmeyer, M; Zeilinger, A; Brukner, C; Prevedel, R; Klimek, P
2010-01-01
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.
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.
PSYCHOANALYTIC INTERPRETATION OF JUSTICE IN CONTEXT OF TECHNO-GENESIS PROBLEMS (Part I
Directory of Open Access Journals (Sweden)
N. I. Mushinskij
2009-01-01
Full Text Available Problem of Justice takes a great significance in the context of the processes of techno-genesis. Ethics of psychoanalysis connects a category of Justice with the notion of Unconscious. A psychoanalytic methodology of Freud helps successfully to solve modern technogenic problems.
SPECIFICATION AND TECHNO ECONOMIC ANALYSIS FOR PLANT WITH RENEWABLE ENERGY SOURCES
Directory of Open Access Journals (Sweden)
Ljiljana Stošić Mihajlović
2015-01-01
Full Text Available The topic of this seminar paper are techno economic specification and analysis of systems with renewable energy sources. Necessary technological innovations in the manufacturing of renewable energy and economic control to produce enough energy and that this has a negative impact on the ecology and economy.
The Real Virtual World: Connectivity and Techno-Mediation in the Lives of College Students
Standlee, Alecea
2012-01-01
This dissertation examines the way in which techno-mediated communication technologies, such as social media, text messaging, and virtual communities are used to negotiate, establish and maintain interpersonal relationships among college students. Using in-depth interview and online participant observation, I explore the relationship between…
PSYCHOANALYTIC INTERPRETATION OF JUSTICE IN CONTEXT OF PROBLEMS OF TECHNO-GENESIS (Part II)
N. I. Mushinskij
2009-01-01
Carl Gustav Jung, Erich Fromm, Karen Horney, Jacques Lacan, Gilles Deleuze, Felix Guattari continue to develop a psychoanalytic theory of Freud under modern conditions. They investigate archetypes of unconscious which are linked with up-to-date conception of Justice. Ethics of psychoanalysis interprets the category of Justice from humanistic positions in the context of the techno-genesis processes.
The Influence of Different Virtual Manipulative Types on Student-Led Techno-Mathematical Discourse
Anderson-Pence, Katie; Moyer-Packenham, Patricia
2016-01-01
This exploratory study examined the influence of different virtual manipulative (VM) types on the nature of student pairs' techno-mathematical discourse (TMD). Three fifth-grade student pairs participated in 9 sessions of mathematics instruction using VMs. The study compared three VM types: linked, pictorial, and tutorial. Students' levels of…
Williamson, Ben
2017-01-01
Silicon Valley's high-tech companies, tech-philanthropists, startups, and culture of venture capital are "the centre of a techno-economic revolution" that is "now spreading outwards across the world, with major societal effects and implications" (Duff 2016, 5). In this article, Ben Williamson traces and maps how education is…
Techno-Mathematical Discourse: A Conceptual Framework for Analyzing Classroom Discussions
Anderson-Pence, Katie L.
2017-01-01
Extensive research has been published on the nature of classroom mathematical discourse and on the impact of technology tools, such as virtual manipulatives (VM), on students' learning, while less research has focused on how technology tools facilitate that mathematical discourse. This paper presents an emerging construct, the Techno-Mathematical…
Yildiz, Avni
2017-01-01
Students' high-level thinking skills, like critical thinking, have been developed thanks to the use of technology. When the previous researches in the literature are analyzed, it will be understood that this research is original by providing significant contributions to the literature. This research aims to investigate whether techno-pedagogical…
PSYCHOANALYTIC INTERPRETATION OF JUSTICE IN CONTEXT OF PROBLEMS OF TECHNO-GENESIS (Part II
Directory of Open Access Journals (Sweden)
N. I. Mushinskij
2009-01-01
Full Text Available Carl Gustav Jung, Erich Fromm, Karen Horney, Jacques Lacan, Gilles Deleuze, Felix Guattari continue to develop a psychoanalytic theory of Freud under modern conditions. They investigate archetypes of unconscious which are linked with up-to-date conception of Justice. Ethics of psychoanalysis interprets the category of Justice from humanistic positions in the context of the techno-genesis processes.
Techno-economic assessment of the production of bio-based chemicals from glutamic acid
Lammens, T.M.; Gangarapu, S.; Franssen, M.C.R.; Scott, E.L.; Sanders, J.P.M.
2012-01-01
In this review, possible process steps for the production of bio-based industrial chemicals from glutamic acid are described, including a techno-economic assessment of all processes. The products under investigation were those that were shown to be synthesized from glutamic acid on lab-scale, namely
In this study, a process model of a 2000 metric ton per day (MTPD) eucalyptus Tail Gas Reactive Pyrolysis (TGRP) and electricity generation plant was developed and simulated in SimSci Pro/II software for the purpose of evaluating its techno-economic viability in Brazil. Two scenarios were compared b...
Pyrolysis of forest residues: an approach to techno-economics for bio-fuel production
The techno-economics for producing liquid fuels from Maine forest residues were determined from a combination of: (1) laboratory experiments at USDA-ARS’s Eastern Regional Research Center using hog fuel (a secondary woody residue produced from mill byproducts such as sawdust, bark and shavings) as a...
Claudio Moraga a passion for multi-valued logic and soft computing
Allende-Cid, Héctor
2017-01-01
The book is an authoritative collection of contributions by leading experts on the topics of fuzzy logic, multi-valued logic and neural network. Originally written as an homage to Claudio Moraga, seen by his colleagues as an example of concentration, discipline and passion for science, the book also represents a timely reference guide for advance students and researchers in the field of soft computing, and multiple-valued logic. .
Biomass torrefaction technology: Techno-economic status and future prospects
International Nuclear Information System (INIS)
Batidzirai, B.; Mignot, A.P.R.; Schakel, W.B.; Junginger, H.M.; Faaij, A.P.C.
2013-01-01
Torrefaction is a promising bioenergy pre-treatment technology, with potential to make a major contribution to the commodification of biomass. However, there is limited scientific knowledge on the techno-economic performance of torrefaction. This study therefore improves available knowledge on torrefaction by providing detailed insights into state of the art prospects of the commercial utilisation of torrefaction technology over time. Focussing on and based on the current status of the compact moving bed reactor, we identify process performance characteristics such as thermal efficiency and mass yield and discuss their determining factors through analysis of mass and energy balances. This study has shown that woody biomass can be torrefied with a thermal and mass efficiency of 94% and 48% respectively (on a dry ash free basis). For straw, the corresponding theoretical energetic efficiency is 96% and mass efficiency is 65%. In the long term, the technical performance of torrefaction processes is expected to improve and energy efficiencies are expected to be at least 97% as optimal torgas use and efficient heat transfer are realised. Short term production costs for woody biomass TOPs (torrefied pellets) are estimated to be between 3.3 and 4.8 US$/GJ LHV , falling to 2.1–5.1 US$/GJ LHV in the long term. At such cost levels, torrefied pellets would become competitive with traditional pellets. For full commercialisation, torrefaction reactors still require to be optimised. Of importance to torrefaction system performance is the achievement of consistent and homogeneous, fully hydrophobic and stable product, capable of utilising different feedstocks, at desired end-use energy densities. - Highlights: • Woody biomass torrefaction thermal efficiency is 94% and mass efficiency is 48% on a daf basis. • Straw theoretical torrefaction energetic efficiency is 96% and mass efficiency is 65%. • Current woody TOPs production costs are between 3.3 and 4.8 US$/GJ LHV , 50
Techno-Economic Analysis of a Secondary Air Stripper Process
Energy Technology Data Exchange (ETDEWEB)
Heberle, J.R. [Electric Power Research Inst. (EPRI), Palo Alto, CA (United States); Nikolic, Heather [Center for Applied Energy Research, University of Kentucky, Lexington, KY (United States); Thompson, Jesse [Center for Applied Energy Research, University of Kentucky, Lexington, KY (United States); Liu, Kunlei [Center for Applied Energy Research, University of Kentucky, Lexington, KY (United States); Pinkerton, Lora L. [WorleyParsons, Reading, PA (United States); Brubaker, David [WorleyParsons, Reading, PA (United States); Simpson, James C. [WorleyParsons, Reading, PA (United States); Wu, Song [Mitsubishi Hitachi Power Systems America, Inc, Basking Ridge, NJ (United States); Bhown, Abhoyjit S. [Electric Power Research Inst. (EPRI), Palo Alto, CA (United States)
2017-08-22
We present results of an initial techno-economic assessment on a post-combustion CO2 capture process developed by the Center for Applied Energy Research (CAER) at the University of Kentucky using Mitsubishi Hitachi Power Systems’ H3-1 aqueous amine solvent. The analysis is based on data collected at a 0.7 MWe pilot unit combined with laboratory data and process simulations. The process adds a secondary air stripper to a conventional solvent process, which increases the cyclic loading of the solvent in two ways. First, air strips additional CO2 from the solvent downstream of the conventional steam-heated thermal stripper. This extra stripping of CO2 reduces the lean loading entering the absorber. Second, the CO2-enriched air is then sent to the boiler for use as secondary air. This recycling of CO2 results in a higher concentration of CO2 in the flue gas sent to the absorber, and hence a higher rich loading of the solvent exiting the absorber. A process model was incorporated into a full-scale supercritical pulverized coal power plant model to determine the plant performance and heat and mass balances. The performance and heat and mass balance data were used to size equipment and develop cost estimates for capital and operating costs. Lifecycle costs were considered through a levelized cost of electricity (LCOE) assessment based on the capital cost estimate and modeled performance. The results of the simulations show that the CAER process yields a regeneration energy of 3.12 GJ/t CO2, a $53.05/t CO2 capture cost, and LCOE of $174.59/MWh. This compares to the U.S. Department of Energy’s projected costs (Case 10) of regeneration energy of 3.58 GJ/t CO2 , a $61.31/t CO2 capture cost, and LCOE of $189.59/MWh. For H3-1, the CAER process results in a regeneration energy of 2.62 GJ/tCO2 with a stripper pressure of 5.2 bar, a capture cost of $46.93/t CO2, and an LCOE of $164.33/MWh.
Energy Technology Data Exchange (ETDEWEB)
Dmitrievsky, A.I.; Basniev, K.S.; Sedykh, A.D.; Zhidenko, G.G.; Sidorov, V.A. [Russian Academy of Sciences, Institute of Oil and Gas Problems of Russian Academy of Sciences, I.M. Gubkin Russian State, Moscow (Russian Federation)
2000-07-01
The present-day stage of industrial advance is associated with a risk of occurrence of anomalous and catastrophic natural and techno-genic events. The process of hydrocarbon field development can result in adverse consequences for the interior of the earth and for the environment in general. Two factors that complement and intensify each other can be conducive to that: the natural factor (geodynamic conditions) and the techno-genic factor (engineering and technological solutions employed for the development of formations). The lithosphere undergoes current geodynamic processes of high activity. Tectonic flexure faults bring about leakage from the wells and from the reservoirs in the process of fluid withdrawal. Man changes inevitably the interior of the earth and, as a consequence, the face of the planet while producing significant volumes of oil, gas and water. It is necessary to minimize the damage from penetration into the earth required to find very much needed energy. Negative after-effects are examined, in particular rock subsidence, failure of well casing strings, hydrodynamic changes in gas-bearing formations, techno-genic and induced earthquakes, etc. Cited are methods to reduce the after-effects that have already been worked out. It is emphasized that there is a need in registering and forecasting the environmental consequences of the natural and techno-genic events. (authors)
On logical, algebraic, and probabilistic aspects of fuzzy set theory
Mesiar, Radko
2016-01-01
The book is a collection of contributions by leading experts, developed around traditional themes discussed at the annual Linz Seminars on Fuzzy Set Theory. The different chapters have been written by former PhD students, colleagues, co-authors and friends of Peter Klement, a leading researcher and the organizer of the Linz Seminars on Fuzzy Set Theory. The book also includes advanced findings on topics inspired by Klement’s research activities, concerning copulas, measures and integrals, as well as aggregation problems. Some of the chapters reflect personal views and controversial aspects of traditional topics, while others deal with deep mathematical theories, such as the algebraic and logical foundations of fuzzy set theory and fuzzy logic. Originally thought as an homage to Peter Klement, the book also represents an advanced reference guide to the mathematical theories related to fuzzy logic and fuzzy set theory with the potential to stimulate important discussions on new research directions in the fiel...
Logic regression and its extensions.
Schwender, Holger; Ruczinski, Ingo
2010-01-01
Logic regression is an adaptive classification and regression procedure, initially developed to reveal interacting single nucleotide polymorphisms (SNPs) in genetic association studies. In general, this approach can be used in any setting with binary predictors, when the interaction of these covariates is of primary interest. Logic regression searches for Boolean (logic) combinations of binary variables that best explain the variability in the outcome variable, and thus, reveals variables and interactions that are associated with the response and/or have predictive capabilities. The logic expressions are embedded in a generalized linear regression framework, and thus, logic regression can handle a variety of outcome types, such as binary responses in case-control studies, numeric responses, and time-to-event data. In this chapter, we provide an introduction to the logic regression methodology, list some applications in public health and medicine, and summarize some of the direct extensions and modifications of logic regression that have been proposed in the literature. Copyright © 2010 Elsevier Inc. All rights reserved.
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...
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...
Logic with a Probability Semantics
Hailperin, Theodore
2010-01-01
The present study is an extension of the topic introduced in Dr. Hailperin's Sentential Probability Logic, where the usual true-false semantics for logic is replaced with one based more on probability, and where values ranging from 0 to 1 are subject to probability axioms. Moreover, as the word "sentential" in the title of that work indicates, the language there under consideration was limited to sentences constructed from atomic (not inner logical components) sentences, by use of sentential connectives ("no," "and," "or," etc.) but not including quantifiers ("for all," "there is"). An initial
Nanoelectromechanical resonator for logic operations
Kazmi, Syed N. R.
2017-08-29
We report an electro-thermally tunable in-plane doubly-clamped nanoelectromechanical resonator capable of dynamically performing NOR, NOT, XNOR, XOR, and AND logic operations. Toward this, a silicon based resonator is fabricated using standard e-beam lithography and surface nanomachining of a highly conductive device layer of a silicon-on-insulator (SOI) wafer. The performance of this logic device is examined at elevated temperatures, ranging from 25 °C to 85 °C, demonstrating its resilience for most of the logic operations; thereby paving the way towards nano-elements-based mechanical computing.
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...... in the construction of the proof an interactive proof assistant like Isabelle can be used. The proof assistant can even automate simple proofs using the formalized FOL semantics....
Grammar as a Gateway into Discourse: A Systemic Functional Approach to Subject, Theme, and Logic
Teruya, Kazuhiro
2009-01-01
The paper illustrates grammar as a meaning-making resource for early intermediate to advanced adult learners. It focuses on the environment of clause complexing, where different functions, such as Subject and Theme, are unified to construct a rhetorically oriented language logic. The paper suggests that learners' awareness of this logic offers a…
Fernandez Dacosta, Cora; Posada, John A.; Kleerebezem, Robbert; Cuellar, Maria C.; Ramirez, Andrea
2015-01-01
This work investigates the potential for polyhydroxybutyrate (PHB) production from wastewater, from a techno-economic and an environmental perspective, examining scale-up opportunities and bottlenecks prior to commercialisation. Conceptual process design, economic, environmental impacts and
Techno-economic feasibility of food irradiation in Ghana
International Nuclear Information System (INIS)
Appiah, V.; Nketsia-Tabiri, J.; Bansa, D.; Montford, K.G.; Sakyi Dawson, E.; Alhassan, R.; Edwards, J.
2002-01-01
The major causes of spoilage in the post-harvest handling of yam were identified as poor harvest, storage and transportation conditions and physiological damage. The effect of gamma irradiation on yam and maize storage and their functionality in the Ghanaian food system were determined. Results indicated that all unirradiated yams sprouted by the 3rd month of storage. Gamma irradiation at a dose of 120-130 Gy effectively inhibited sprouting of yams for 6 months under ambient conditions. There was less rotting in yams stored on the barn compared to those stored on the ground and less rotting in the irradiated yam stored on the barn. Food products from irradiated yams were judged better in quality than those from unirradiated ones. Semi-commercial studies on radiation preservation of maize were conducted with the view to determining the effect of radiation treatment on the physico-chemical and functional properties as well as the microbiological quality of maize. The study also investigated techno-economic feasibility of radiation preservation of maize in Ghana and consumer attitudes towards foods such as 'Ga kenkey' and 'Fanti kenkey' prepared from irradiated maize. In the first study 127 bags of 50kg maize were used. Maize was repacked in 5-kg consumer packs made from 0.003mm thick polyethylene bags. Ten of the consumer packs were put into woven polypropylene sacks to make up 50kg bag of maize. Eighty-seven bags of maize were irradiated to a minimum of 2.6 and maximum of 5.6 kGy gamma radiation. Both the irradiated and the unirradiated maize were stored for six months in a commercial warehouse. Results indicated that the moisture content (7.2-7.8%), free fatty acid (<0.1%) and peroxide value (35-40 mEq/kg fat) of the maize were stable during storage. The initial mould count of 100-156 cfu/g decreased to 30-43 cfu/g; Aspergillus oryzae and Asp. tamari were identified. Sitophilus sp. was the predominant insect in the control but was replaced by Rhyzopertha sp. in the
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...... 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...... by developments within semantics for logic programming within computational logic and formal theories of truth within philosophical logic. The thesis provides a number of examples showing how the developed theories can be used as reasoning frameworks for agents with introspective abilities. In Danish...
Preferential reasoning for modal logics
CSIR Research Space (South Africa)
Britz, K
2011-11-01
Full Text Available representation results for both preferential and rational consequence, which paves the way for effective decision procedures for modal preferential reasoning. They then illustrate applications of their constructions to modal logics widely used in AI, notably...
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 ...
Counting proofs in propositional logic
David, René; Zaionc, Marek
2009-01-01
International audience; We give a procedure for counting the number of different proofs of a formula in various sorts of propositional logic. This number is either an integer (that may be 0 if the formula is not provable) or infinite.
Shemfe, Mobolaji; Gu, Sai; Fidalgo, B
2017-01-01
Biofuels have been identified as a mid-term greenhouse gas (GHG) emissions abatement solution for decarbonising the transport sector. This study examines the techno-economic analysis of biofuel production via biomass fast pyrolysis and subsequent bio-oil upgrading via zeolite cracking. The aim of this study is to compare the techno-economic feasibility of two conceptual catalyst regeneration configurations for the zeolite cracking process: (i) a two-stage regenerator operating sequentially in...
Observation Predicates in Flow Logic
DEFF Research Database (Denmark)
Nielson, Flemming; Nielson, Hanne Riis; Sun, Hongyan
2003-01-01
in such a way that the hard constraints are satisfi ed exactly when the observation predicates report no violations. The development is carried out in a large fragment of a first order logic with negation and also takes care of the transformations necessary in order to adhere to the stratification restrictions...... inherent in Alternation-free Least Fixed Point Logic and similar formalisms such as Datalog....
LTE-advanced air interface technology
Zhang, Xincheng
2012-01-01
Opportunities are at hand for professionals eager to learn and apply the latest theories and practices in air interface technologies. Written by experienced researchers and professionals, LTE-Advanced Air Interface Technology thoroughly covers the performance targets and technology components studied by 3GPP for LTE-Advanced. Besides being an explanatory text about LTE-Advanced air interface technology, this book exploits the technical details in the 3GPP specification, and explains the motivation and implication behind the specifications.After a general description of wireless cellular techno
Stochastic techno-economic analysis of alcohol-to-jet fuel production.
Yao, Guolin; Staples, Mark D; Malina, Robert; Tyner, Wallace E
2017-01-01
Alcohol-to-jet (ATJ) is one of the technical feasible biofuel technologies. It produces jet fuel from sugary, starchy, and lignocellulosic biomass, such as sugarcane, corn grain, and switchgrass, via fermentation of sugars to ethanol or other alcohols. This study assesses the ATJ biofuel production pathway for these three biomass feedstocks, and advances existing techno-economic analyses of biofuels in three ways. First, we incorporate technical uncertainty for all by-products and co-products though statistical linkages between conversion efficiencies and input and output levels. Second, future price uncertainty is based on case-by-case time-series estimation, and a local sensitivity analysis is conducted with respect to each uncertain variable. Third, breakeven price distributions are developed to communicate the inherent uncertainty in breakeven price. This research also considers uncertainties in utility input requirements, fuel and by-product outputs, as well as price uncertainties for all major inputs, products, and co-products. All analyses are done from the perspective of a private firm. The stochastic dominance results of net present values (NPV) and breakeven price distributions show that sugarcane is the lowest cost feedstock over the entire range of uncertainty with the least risks, followed by corn grain and switchgrass, with the mean breakeven jet fuel prices being $0.96/L ($3.65/gal), $1.01/L ($3.84/gal), and $1.38/L ($5.21/gal), respectively. The variation of revenues from by-products in corn grain pathway can significantly impact its profitability. Sensitivity analyses show that technical uncertainty significantly impacts breakeven price and NPV distributions. Technical uncertainty is critical in determining the economic performance of the ATJ fuel pathway. Technical uncertainty needs to be considered in future economic analyses. The variation of revenues from by-products plays a significant role in profitability. With the distribution of breakeven
Energy Technology Data Exchange (ETDEWEB)
Kadam, K.L. [National Renewable Energy Lab., Golden, CO (United States)
1996-12-31
Power plants burning fossil fuels are a major source of CO{sub 2} which is implicated in global warming. Microalgal systems which photosynthetically assimilate carbon dioxide can be used for mitigation of this major greenhouse gas. A techno-economic model was developed for trapping carbon dioxide from flue gases by microalgae in outdoor ponds. The model also shows that algal lipid content and growth rate are both important for an economical process, but a trade-off exists between the two, i.e., a high lipid content and low growth rate combination can be as effective as a low lipid content and high growth rate combination. Hence, these two parameters may be treated as a composite parameter to be optimized to yield the least CO{sub 2} mitigation cost. Model predictions were also used to compare the microalgal technology with alternative technologies in terms of CO{sub 2} mitigation costs. Incorporating advances anticipated in the future into the design basis, the model yields a CO{sub 2} mitigation cost that is competitive with other CO{sub 2} remediation technologies currently being proposed. Furthermore, this technology also provides a lipid feedstock for producing a renewable fuel such as biodiesel. Deployment of this technology for CO{sub 2} mitigation looks attractive if research goals put forth by the model are achieved.
Raffaeli, Leah R.
Techno-economic and systems studies on microalgal growth scenarios to date are abbreviated and missing a number of important variables. By including these variables in a detailed model integrating biology, chemistry, engineering, and financial aspects, a more defined systems analysis is possible. Through optimizing the model productivity based on the resulting net profit, the system analysis results in a more accurate assessment of environmental and economic sustainability of specific algal growth scenarios. Photobioreactor algal growth scenario optimization in the system model has resulted in realistic engineering design requirements based on algal growth requirements and fluid dynamics analysis. Results show feasibility for photobioreactor growth scenarios to be economically sustainable when co-products are included, but definite technological advancements and productivity improvements must be made. The main factors inhibiting a cost effective photobioreactor growth scenario are culture density, temperature, and lighting distribution for solar illuminated photobioreactors, and lighting cost for artificially illuminated photobioreactors. Open pond algal growth scenarios do not show any prospect of economic or environmental sustainability with current technology due to the large amount of surface area required, inefficient water use, and low culture density. All algal growth scenarios are inferior to petro-diesel regarding energy inputs, carbon emissions, and environmental sustainability. No algal growth scenarios analyzed in this study meet the U.S. requirement of biofuel emitting at least 20% less carbon emissions than diesel from crude oil.
Pathak, Ashish; Morrison, Liam; Healy, Mark Gerard
2017-04-01
Bioleaching is considered to be a low-cost, eco-friendly technique for leaching valuable metals from a variety of matrixes. However, the inherent slow dissolution kinetics and low metal leaching yields have restricted its wider commercial applicability. Recent advancements in bio-hydrometallurgy have suggested that these critical issues can be successfully alleviated through the addition of a catalyst. The catalyzing properties of a variety of metals ions (Ag + , Hg ++ , Bi +++ , Cu ++ , Co ++ etc.) during bioleaching have been successfully demonstrated. In this article, the role and mechanisms of these metal species in catalyzing bioleaching from different minerals (chalcopyrite, complex sulfides, etc.) and waste materials (spent batteries) are reviewed, techno-economic and environmental challenges associated with the use of metals ions as catalysts are identified, and future prospectives are discussed. Based on the analysis, it is suggested that metal ion-catalyzed bioleaching will play a key role in the development of future industrial bio-hydrometallurgical processes. Copyright © 2017 Elsevier Ltd. All rights reserved.
Lopes, Mariana
Concentrating Solar Power (CSP) plant technology can produce reliable and dispatchable electric power from an intermittent solar resource. Recent advances in thermochemical energy storage (TCES) can offer further improvements to increase off-sun operating hours, improve system efficiency, and the reduce cost of delivered electricity. This work describes a 111.7 MWe CSP plant with TCES using a mixed ionic-electronic conducting metal oxide, CAM28, as both the heat transfer and thermal energy storage media. Turbine inlet temperatures reach 1200 °C in the combined cycle power block. A techno-economic model of the CSP system is developed to evaluate design considerations to meet targets for low-cost and renewable power with 6-14 hours of dispatchable storage for off-sun power generation. Hourly solar insolation data is used for Barstow, California, USA. Baseline design parameters include a 6-hour storage capacity and a 1.8 solar multiple. Sensitivity analyses are performed to evaluate the effect of engineering parameters on total installed cost, generation capacity, and levelized cost of electricity (LCOE). Calculated results indicate a full-scale 111.7 MWe system at 274 million in installed cost can generate 507 GWh per year at a levelized cost of 0.071 per kWh. Expected improvements to design, performance, and costs illustrate options to reduce energy costs to less than $0.06 per kWh.
Linear logical relations and observational equivalences for session-based concurrency
Perez, Jorge A.; Caires, Luis; Pfenning, Frank; Toninho, Bernardo
2014-01-01
We investigate strong normalization, confluence, and behavioral equality in the realm of session-based concurrency. These interrelated issues underpin advanced correctness analysis in models of structured communications. The starting point for our study is an interpretation of linear logic
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
Mars, John L.; Zientek, M.L.; Hammarstrom, J.M.; Johnson, K.M.; Pierce, F.W.
2014-01-01
Regional maps of phyllic and argillic hydrothermal alteration were compiled using Advanced Spaceborne Thermal Emission and Reflection Radiometer (ASTER) data and logical operator algorithms. The area mapped extends from northwestern Iran to southeastern Pakistan and includes volcanic and magmatic arcs that make up the Urumieh-Dokhtar volcanic belt (UDVB), the Chagai volcanic belt (CVB), and the central part of the Alborz magmatic belt (AMB). The volcanic belts span the Zagros-Makran transform zone and the present day Baluchistan (Makran) volcanic arc. ASTER visible near infrared (VNIR) data contain three bands between 0.52 and 0.86 micrometers (μm) and the short-wave infrared (SWIR) data consist of six bands spanning 1.6 to 2.43 μm with 15-meter (m), and 30-m resolution, respectively.
Proposal for the Formalization of Dialectical Logic
Directory of Open Access Journals (Sweden)
José Luis Usó-Doménech
2016-12-01
Full Text Available Classical logic is typically concerned with abstract analysis. The problem for a synthetic logic is to transcend and unify available data to reconstruct the object as a totality. Three rules are proposed to pass from classic logic to synthetic logic. We present the category logic of qualitative opposition using examples from various sciences. This logic has been defined to include the neuter as part of qualitative opposition. The application of these rules to qualitative opposition, and, in particular, its neuter, demonstrated that a synthetic logic allows the truth of some contradictions. This synthetic logic is dialectical with a multi-valued logic, which gives every proposition a truth value in the interval [0,1] that is the square of the modulus of a complex number. In this dialectical logic, contradictions of the neuter of an opposition may be true.
Parametric sensitivity analysis for techno-economic parameters in Indian power sector
International Nuclear Information System (INIS)
Mallah, Subhash; Bansal, N.K.
2011-01-01
Sensitivity analysis is a technique that evaluates the model response to changes in input assumptions. Due to uncertain prices of primary fuels in the world market, Government regulations for sustainability and various other technical parameters there is a need to analyze the techno-economic parameters which play an important role in policy formulations. This paper examines the variations in technical as well as economic parameters that can mostly affect the energy policy of India. MARKAL energy simulation model has been used to analyze the uncertainty in all techno-economic parameters. Various ranges of input parameters are adopted from previous studies. The results show that at lower discount rate coal is the least preferred technology and correspondingly carbon emission reduction. With increased gas and nuclear fuel prices they disappear from the allocations of energy mix.
Techno-economic Assessment of Biomass Pellets for Power Generation in India
Purohit, P.; Chaturvedi, V.
2016-01-01
Biomass pellet production has increased considerably in recent years, mainly due to the demand created by policies and bioenergy-use targets in the European Union (EU). Global biomass pellet production was 24.1 million tonne (Mt) in 2014. In this study, a preliminary attempt has been made to assess the techno-economic feasibility of biomass pellets for electricity generation in India produced from biomass surplus available from agriculture and forestry/wasteland. Biomass surplus availability ...
Techno-economic feasibility analysis of solar photovoltaic power generation for buildings
International Nuclear Information System (INIS)
Zhang, Xiongwen; Li, Menyu; Ge, Yuanfei; Li, Guojun
2016-01-01
Highlights: • A model for optimal component sizes of hybrid energy system (HES) is presented. • The techno-economic feasibility of PV for building in context of China is studied. • The use of PV reduces COE by 46% for customers in the commercial building. • The use of PV increases COE by 9.55% for customers in the residential building. - Abstract: The Building Added PV (BAPV) plays an important role for developing green buildings. This work conducts a techno-economic feasibility study of BAPV for commercial and residential building hybrid energy systems (HES). A component sizing model based on the optimal power dispatch simulations with the objective of minimum cost of energy (COE) is used to determine the component sizes of HES. The techno-economic performances of two HES composed of BAPV and batteries for residential and commercial buildings are investigated. The results show that the use of BAPV in the commercial building HES can reduce the electricity bill for customers owing to the government subsidies on PV as well as due to the similar characteristics of the load profile as to the solar radiation profile. However, due to temporal dislocation between the load and solar radiation patterns, the use of PV in the residential building HES may significantly increase the initial capital cost and replacement cost of battery, resulting in the COE of the residential building HES with BAPV even higher than the residential electricity price. The techno-economic performances of battery (e.g., the lifetime and capital cost) have more effect on the COE of the residential building HES than that of PV.
Techno-economic study on conversion of SAFARI-1 to LEU silicide fuel
International Nuclear Information System (INIS)
Ball, G.; Malherbe, F.J.
2004-01-01
This paper marks the conclusion of the techno-economic study into the conversion of SAFARI-1 reactor in South Africa to LEU silicide fuel. Several different fuel types were studied and their characteristics compared to the current HEU fuel. The technical feasibility of operating SAFARI-1 with the different fuels as well as the overall economic impact of the fuels is discussed and conclusions drawn.(author)
Techno-Bureaucratic Governance and Public Service Delivery: Indonesia and Nigeria in Perspectives
Directory of Open Access Journals (Sweden)
Jacob Olufemi Fatile
2015-09-01
Full Text Available Techno-bureaucratic governance is fundamental to contemporary public service. This is because the roles of the bureaucrats and technocrats become more relevant in policy formulation and implementation when the government had to (reinvent its institutions to move from routine administration to that of development planning and management. Utilizing a qualitative approach, the paper notes that techno-bureaucratic ideology values technical expertise itself and its technical experts, efficiency, economic development and effective public service delivery. Adopting comparative perspective, the paper examines techno-bureaucratic governance and public service delivery in Indonesia and Nigeria. The paper takes a cursory look at the similarities and differences between the two countries. The paper notes that the technocracy nurtured by the New Order in Indonesia was cohesive and effective because of its technical expertise and has helped Indonesia to turn oil income into productive investments,whereas in Nigeria the oil income was used for prestigious projects to the detriment of productive investments. The paper therefore recommend among others that developing societies need a new strategy in delivery services in their public service, and this can be achieved through skilled professionals, technocrats and knowledge based actors. It concludes that for public service to deliver effective services, an efficient bureaucracy and technocracy remain invaluable.
Towards low carbon business park energy systems: Classification of techno-economic energy models
International Nuclear Information System (INIS)
Timmerman, Jonas; Vandevelde, Lieven; Van Eetvelde, Greet
2014-01-01
To mitigate climate destabilisation, human-induced greenhouse gas emissions urgently need to be curbed. A major share of these emissions originates from the industry and energy sectors. Hence, a low carbon shift in industrial and business park energy systems is called for. Low carbon business parks minimise energy-related carbon dioxide emissions by maximal exploitation of local renewable energy production, enhanced energy efficiency, and inter-firm heat exchange, combined in a collective energy system. The holistic approach of techno-economic energy models facilitates the design of such systems, while yielding an optimal trade-off between energetic, economic and environmental performances. However, no models custom-tailored for industrial park energy systems are detected in literature. In this paper, existing energy model classifications are scanned for adequate model characteristics and accordingly, a confined number of models are selected and described. Subsequently, a practical typology is proposed, existing of energy system evolution, optimisation, simulation, accounting and integration models, and key model features are compared. Finally, important features for a business park energy model are identified. - Highlights: • A holistic perspective on (low carbon) business park energy systems is introduced. • A new categorisation of techno-economic energy models is proposed. • Model characteristics are described per model category. • Essential model features for business park energy system modelling are identified. • A strategy towards a techno-economic energy model for business parks is proposed
Techno-economic analysis and comparison of coal based olefins processes
International Nuclear Information System (INIS)
Xiang, Dong; Yang, Siyu; Qian, Yu
2016-01-01
Highlights: • The coal based Fischer–Tropsch-to-olefins (CFTO) process is proposed and analyzed. • The CFTO suffers from lower energy efficiency and serious CO 2 emissions. • Approaches for improving techno-economic performance of the CFTO are obtained. - Abstract: Traditional olefins production is heavily dependent on oil. In the background of the scarcity of oil and richness of coal in China, olefins production from coal has been attracting more attention of the chemical process industry. The first coal based methanol-to-olefins (CMTO) plant has been commercialized in China. For shorter process route and lower capital cost, Fischer–Fropsch has been put forward in the last few years. The coal based Fischer–Tropsch-to-olefins (CFTO) process is designed in this paper and then its techno-economic and environmental performance was detailed studied in this paper, in comparison with the CMTO. Results show that at the present olefins selectivity, the CFTO suffers from relative lower energy efficiency and higher CO 2 emissions. In economic aspect, the capital investment and product cost of the CFTO are roughly equivalent to that of the CMTO. Although the conversion route of the CFTO is shorter, its techno-economic performance is still inferior to that of the CMTO. It is also found that increase of olefins selectivity by cracking oil or decrease of CO 2 selectivity by improving catalyst could significantly improve the performance of the CFTO.
Carbon Capture and Storage Development Trends from a Techno-Paradigm Perspective
Directory of Open Access Journals (Sweden)
Bobo Zheng
2014-08-01
Full Text Available The world’s energy needs have been continually growing over the past decade, yet fossil fuels are limited. Renewable energies are becoming more prevalent, but are still a long way from being commonplace worldwide. Literature mining is applied to review carbon capture and storage (CCS development trends and to develop and examine a novel carbon capture and storage technological paradigm (CCSTP, which incorporates CCSTP competition, diffusion and shift. This paper first provides an overview of the research and progress in CCS technological development, then applies a techno-paradigm theory to analyze CCSTP development and to provide a guide for future CCS technological trends. CCS could avoid CO2 being released into the atmosphere. Moreover, bioenergy with CCS (BECCS can make a significant contribution to a net removal of anthropogenic CO2 emissions. In this study, we compare the different CCSTP developmental paths and the conventional techno-paradigm by examining the S-curves. The analyses in this paper provide a useful guide for scholars seeking new inspiration in their research and for potential investors who are seeking to invest research funds in more mature technologies. We conclude that political barriers and public acceptance are the major distinctions between the CCSTP and the conventional techno-paradigm. It is expected that policy instruments and economic instruments are going to play a pivotal role in the accomplishment of global carbon reduction scenarios.
A new hierarchy of infinitary logics in abstract algebraic logic
Czech Academy of Sciences Publication Activity Database
Lávička, Tomáš; Noguera, Carles
2017-01-01
Roč. 105, č. 3 (2017), s. 521-551 ISSN 0039-3215 R&D Projects: GA ČR GA13-14654S EU Projects: European Commission(XE) 689176 - SYSMICS Institutional support: RVO:67985556 ; RVO:67985807 Keywords : Abstract algebraic logic * consequence relations * infinitary logics * completeness properties Subject RIV: BA - General Mathematics; BA - General Mathematics (UIVT-O) OBOR OECD: Pure mathematics; Computer science s, information science , bioinformathics (hardware development to be 2.2, social aspect to be 5.8) (UIVT-O) Impact factor: 0.589, year: 2016 http://library.utia.cas.cz/separaty/2017/MTR/noguera-0469118.pdf
Directory of Open Access Journals (Sweden)
Iryna Khomenko
2018-04-01
Full Text Available The challenges of the global time require new solutions and up-to-date ways of thinking and communication. These challenges call for the ability to use critical thinking to face the ever-changing world and the ability to maintain a dialog based on the effective skills of communication. Studies in the fields of logic and argumentation theory are of particular importance in this regard. Nowadays they can be presented as a mix of theoretical and practical approaches. In this paper, I will present my reflections on informal logic, which was formed in the late 1970s. Unfortunately, in spite of numerous papers, books, and text-books published over the last forty years, consensus on many issues in this field has not been achieved so far. Therefore, it is difficult to treat informal logic as one of the well-defined approaches to argumentation. The goal of this paper is to take a look at the place of informal logic in state-of-the art study of argumentation by clarifying its subject matter and figuring out the realm to which informal logic belongs.
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.
Strategies and logics of internationalization
Directory of Open Access Journals (Sweden)
Mahjouba Ben Salem
2013-07-01
Full Text Available The race between firms to acquire capacities worldwide has evolved in a chronological order which centered at first around products, then around position to move later on to skills and to focus currently on networks. Similarly, when observing the evolution of the different international development strategies, it was found out that they have started by the exportation and the setting up of production subsidiaries to move more recently to such strategies as mergers & acquisitions and international alliances. The present paper investigates the relationship between the internationalization strategies and logics and comes to the conclusion that, a particular logic is behind every choice made. Indeed, the present work was conducted within the Tunisian food enterprises and helped confirm this hypothesis as it was found out that the position logic is behind the choice of exportation and the creation of production subsidiaries while the choice of partnership is based on the logic of skills. The option for merger, on the other hand, is motivated by the networks logic.
Impossible Worlds and Logical Omniscience
DEFF Research Database (Denmark)
Bjerring, Jens Christian Krarup
2013-01-01
”. But I prove that it is impossible to develop an impossible-world framework that can do this job and that satisfies certain standard conditions. Effectively, I show that attempts to model moderately ideal agents in a world-involving framework collapse to modeling either logical omniscient agents......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...... 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...
Fuzzy Logic Reliability Centered Maintenance
Directory of Open Access Journals (Sweden)
Felecia .
2014-01-01
Full Text Available Reliability Centered Maintenence (RCM is a systematic maintenence strategy based on system reliability. Application of RCM process will not always come out with a binary output of “yes” and “no”. Most of the time they are not supported with available detail information to calculate system reliability. The fuzzy logic method attempts to eliminate the uncertainty by providing “truth” in different degrees.Data and responses from maintenance department will be processed using the two methods (reliability centered maintenance and fuzzy logic to design maintenance strategy for the company. The results of the fuzzy logic RCM application are maintenance strategy which fit with current and future condition.
The Pointer Assertion Logic Engine
DEFF Research Database (Denmark)
Møller, Anders; Schwartzbach, Michael Ignatieff
2001-01-01
in the logical tradition by encoding the programs and partial specifications as formulas in monadic second-order logic. Validity of these formulas is checked by the MONA tool, which also can provide explicit counterexamples to invalid formulas. To make verification decidable, the technique requires explicit loop...... restricted to simple special cases such as lists or trees. Even so, our current implementation is as fast as the previous specialized tools. Programs are annotated with partial specifications expressed in Pointer Assertion Logic, a new notation for expressing properties of the program store. We work......We present a new framework for verifying partial specifications of programs in order to catch type and memory errors and check data structure invariants. Our technique can verify a large class of data structures, namely all those that can be expressed as graph types. Earlier versions were...
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.
'Memristive' switches enable 'stateful' logic operations via material implication.
Borghetti, Julien; Snider, Gregory S; Kuekes, Philip J; Yang, J Joshua; Stewart, Duncan R; Williams, R Stanley
2010-04-08
The authors of the International Technology Roadmap for Semiconductors-the industry consensus set of goals established for advancing silicon integrated circuit technology-have challenged the computing research community to find new physical state variables (other than charge or voltage), new devices, and new architectures that offer memory and logic functions beyond those available with standard transistors. Recently, ultra-dense resistive memory arrays built from various two-terminal semiconductor or insulator thin film devices have been demonstrated. Among these, bipolar voltage-actuated switches have been identified as physical realizations of 'memristors' or memristive devices, combining the electrical properties of a memory element and a resistor. Such devices were first hypothesized by Chua in 1971 (ref. 15), and are characterized by one or more state variables that define the resistance of the switch depending upon its voltage history. Here we show that this family of nonlinear dynamical memory devices can also be used for logic operations: we demonstrate that they can execute material implication (IMP), which is a fundamental Boolean logic operation on two variables p and q such that pIMPq is equivalent to (NOTp)ORq. Incorporated within an appropriate circuit, memristive switches can thus perform 'stateful' logic operations for which the same devices serve simultaneously as gates (logic) and latches (memory) that use resistance instead of voltage or charge as the physical state variable.
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
An exercise in 'anhomomorphic logic'
International Nuclear Information System (INIS)
Sorkin, Rafael D
2007-01-01
A classical logic exhibits a threefold inner structure comprising an algebra of propositions U, a space of 'truth values' V, and a distinguished family of mappings φ from propositions to truth values. Classically U is a Boolean algebra, V = Z 2 , and the admissible maps φ: U Z 2 are homomorphisms. If one admits a larger set of maps, one obtains an anhomomorphic logic that seems better suited to quantal reality (and the needs of quantum gravity). I explain these ideas and illustrate them with three simple examples
Logical space and the origins of pluralism in logic
Czech Academy of Sciences Publication Activity Database
Arazim, Pavel
-, č. 2 (2017), s. 7-26 ISSN 0567-8293 R&D Projects: GA ČR(CZ) GA17-15645S Institutional support: RVO:67985955 Keywords : pluralism * expressivism * logical space * geometry * holism Subject RIV: AA - Philosophy ; Religion OBOR OECD: Philosophy, History and Philosophy of science and technology
Mathematics of Fuzzy Sets and Fuzzy Logic
Bede, Barnabas
2013-01-01
This book presents a mathematically-based introduction into the fascinating topic of Fuzzy Sets and Fuzzy Logic and might be used as textbook at both undergraduate and graduate levels and also as reference guide for mathematician, scientists or engineers who would like to get an insight into Fuzzy Logic. Fuzzy Sets have been introduced by Lotfi Zadeh in 1965 and since then, they have been used in many applications. As a consequence, there is a vast literature on the practical applications of fuzzy sets, while theory has a more modest coverage. The main purpose of the present book is to reduce this gap by providing a theoretical introduction into Fuzzy Sets based on Mathematical Analysis and Approximation Theory. Well-known applications, as for example fuzzy control, are also discussed in this book and placed on new ground, a theoretical foundation. Moreover, a few advanced chapters and several new results are included. These comprise, among others, a new systematic and constructive approach for fuzzy infer...
Lu, Jiao Yang; Zhang, Xin Xing; Huang, Wei Tao; Zhu, Qiu Yan; Ding, Xue Zhi; Xia, Li Qiu; Luo, Hong Qun; Li, Nian Bing
2017-09-19
The most serious and yet unsolved problems of molecular logic computing consist in how to connect molecular events in complex systems into a usable device with specific functions and how to selectively control branchy logic processes from the cascading logic systems. This report demonstrates that a Boolean logic tree is utilized to organize and connect "plug and play" chemical events DNA, nanomaterials, organic dye, biomolecule, and denaturant for developing the dual-signal electrochemical evolution aptasensor system with good resettability for amplification detection of thrombin, controllable and selectable three-state logic computation, and keypad lock security operation. The aptasensor system combines the merits of DNA-functionalized nanoamplification architecture and simple dual-signal electroactive dye brilliant cresyl blue for sensitive and selective detection of thrombin with a wide linear response range of 0.02-100 nM and a detection limit of 1.92 pM. By using these aforementioned chemical events as inputs and the differential pulse voltammetry current changes at different voltages as dual outputs, a resettable three-input biomolecular keypad lock based on sequential logic is established. Moreover, the first example of controllable and selectable three-state molecular logic computation with active-high and active-low logic functions can be implemented and allows the output ports to assume a high impediment or nothing (Z) state in addition to the 0 and 1 logic levels, effectively controlling subsequent branchy logic computation processes. Our approach is helpful in developing the advanced controllable and selectable logic computing and sensing system in large-scale integration circuits for application in biomedical engineering, intelligent sensing, and control.
Petri Nets as Models of Linear Logic
DEFF Research Database (Denmark)
Engberg, Uffe Henrik; Winskel, Glynn
1990-01-01
The chief purpose of this paper is to appraise the feasibility of Girad's linear logic as a specification language for parallel processes. To this end we propose an interpretation of linear logic in Petri nets, with respect to which we investigate the expressive power of the logic......The chief purpose of this paper is to appraise the feasibility of Girad's linear logic as a specification language for parallel processes. To this end we propose an interpretation of linear logic in Petri nets, with respect to which we investigate the expressive power of the logic...
Implicational (semilinear) logics III: completeness properties
Czech Academy of Sciences Publication Activity Database
Cintula, Petr; Noguera, Carles
2018-01-01
Roč. 57, 3-4 (2018), s. 391-420 ISSN 0933-5846 R&D Projects: GA ČR GA13-14654S EU Projects: European Commission(XE) 689176 - SYSMICS Institutional support: RVO:67985807 ; RVO:67985556 Keywords : abstract algebraic logic * protoalgebraic logics * implicational logics * disjunctional logics * semilinear logics * non-classical logics * completeness theorems * rational completeness Subject RIV: BA - General Mathematics; BA - General Mathematics (UTIA-B) OBOR OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8) Impact factor: 0.394, year: 2016
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.
Implicational (semilinear) logics III: completeness properties
Czech Academy of Sciences Publication Activity Database
Cintula, Petr; Noguera, Carles
2018-01-01
Roč. 57, 3-4 (2018), s. 391-420 ISSN 0933-5846 R&D Projects: GA ČR GA13-14654S EU Projects: European Commission(XE) 689176 - SYSMICS Institutional support: RVO:67985807 ; RVO:67985556 Keywords : abstract algebraic logic * protoalgebraic logics * implicational logics * disjunctional logics * semilinear logics * non-classical logics * completeness theorems * rational completeness Subject RIV: BA - General Mathematics; BA - General Mathematics (UTIA-B) OBOR OECD: Computer science s, information science , bioinformathics (hardware development to be 2.2, social aspect to be 5.8) Impact factor: 0.394, year: 2016
Techno-economic analysis of a biomass depot
Energy Technology Data Exchange (ETDEWEB)
Jacobson, Jacob Jordan [Idaho National Lab. (INL), Idaho Falls, ID (United States); Lamers, Patrick [Idaho National Lab. (INL), Idaho Falls, ID (United States); Roni, Mohammad Sadekuzzaman [Idaho National Lab. (INL), Idaho Falls, ID (United States); Cafferty, Kara Grace [Idaho National Lab. (INL), Idaho Falls, ID (United States); Kenney, Kevin Louis [Idaho National Lab. (INL), Idaho Falls, ID (United States); Heath, Brendi May [Idaho National Lab. (INL), Idaho Falls, ID (United States); Hansen, Jason K [Idaho National Lab. (INL), Idaho Falls, ID (United States)
2014-10-01
The U.S. Department of Energy (DOE) Bioenergy Technologies Office (BETO) promotes the production of an array of liquid fuels and fuel blendstocks from lignocellulosic biomass feedstocks by funding fundamental and applied research that advances the state of technology in biomass collection, conversion, and sustainability. As part of its involvement in this program, the Idaho National Laboratory (INL) investigates the technical, economic, and environmental performance of different feedstock supply systems and their impacts on the downstream conversion processes.
Digital systems from logic gates to processors
Deschamps, Jean-Pierre; Terés, Lluís
2017-01-01
This textbook for a one-semester course in Digital Systems Design describes the basic methods used to develop “traditional” Digital Systems, based on the use of logic gates and flip flops, as well as more advanced techniques that enable the design of very large circuits, based on Hardware Description Languages and Synthesis tools. It was originally designed to accompany a MOOC (Massive Open Online Course) created at the Autonomous University of Barcelona (UAB), currently available on the Coursera platform. Readers will learn what a digital system is and how it can be developed, preparing them for steps toward other technical disciplines, such as Computer Architecture, Robotics, Bionics, Avionics and others. In particular, students will learn to design digital systems of medium complexity, describe digital systems using high level hardware description languages, and understand the operation of computers at their most basic level. All concepts introduced are reinforced by plentiful illustrations, examples, ...
Alghoul, M. A.; Ali, Amer; Kannanaikal, F. V.; Amin, N.; Aljaafar, A. A.; Kadhim, Mohammed; Sopian, K.
2017-11-01
The aim of this study is to evaluate the variation in techno-economic feasibility of PV power system under different data sources of solar radiation. HOMER simulation tool is used to predict the techno-economic feasibility parameters of PV power system in Baghdad city, Iraq located at (33.3128° N, 44.3615° E) as a case study. Four data sources of solar radiation, different annual capacity shortages percentage (0, 2.5, 5, and 7.5), and wide range of daily load profile (10-100 kWh/day) are implemented. The analyzed parameters of the techno-economic feasibility are COE (/kWh), PV array power capacity (kW), PV electrical production (kWh/year), No. of batteries and battery lifetime (year). The main results of the study revealed the followings: (1) solar radiation from different data sources caused observed to significant variation in the values of the techno-economic feasibility parameters; therefore, careful attention must be paid to ensure the use of an accurate solar input data; (2) Average solar radiation from different data sources can be recommended as a reasonable input data; (3) it is observed that as the size and of PV power system increases, the effect of different data sources of solar radiation increases and causes significant variation in the values of the techno-economic feasibility parameters.
Contextual Validity in Hybrid Logic
DEFF Research Database (Denmark)
Blackburn, Patrick Rowan; Jørgensen, Klaus Frovin
2013-01-01
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...
Testing Superconductor Logic Integrated Circuits
Arun, A.J.; Kerkhoff, Hans G.
2005-01-01
Superconductor logic has the potential of extremely low-power consumption and ultra-fast digital signal processing. Unfortunately, the obtained yield of the present processes is low and specific faults occur. This paper deals with fault-modelling, Design-for-Test structures, and ATPG for these
Complexity Issues in Basic Logic
Czech Academy of Sciences Publication Activity Database
Aguzzoli, S.; Gerla, B.; Haniková, Zuzana
2005-01-01
Roč. 9, - (2005), s. 919-934 ISSN 1432-7643 R&D Projects: GA MŠk LN00A056 Institutional research plan: CEZ:AV0Z10300504 Keywords : basic fuzzy logic (BL) * computational complexity * functional representation Subject RIV: BA - General Mathematics Impact factor: 0.538, year: 2005
Phonotactics in inductive logic programming
Nerbonne, J.; Konstantopoulos, S.; Klopotek, M.A.; Wierzchon, S.T.; Trojanowski, K.
2004-01-01
We examine the results of applying inductive logic programming (ILP) to a relatively simple linguistic task, that of recognizing monosyllables in one language. ILP is suited to linguistic problems given linguists' preference for formulating their theories in discrete rules, and because of ILP's
Flow Logic for Process Calculi
DEFF Research Database (Denmark)
Nielson, Hanne Riis; Nielson, Flemming; Pilegaard, Henrik
2012-01-01
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...
Towards Logical Designs In Biology
Indian Academy of Sciences (India)
Administrator
This article highlights an emerging field known as syn- thetic biology that envisions integrating designed circuits into living organisms in order to instruct them to make logical decisions based on the prevailing intracellular and extracellular conditions and produce a reliable behavior. The attempt is to design cells capable of ...
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.
Probabilistic Logic and Probabilistic Networks
Haenni, R.; Romeijn, J.-W.; Wheeler, G.; Williamson, J.
2009-01-01
While in principle probabilistic logics might be applied to solve a range of problems, in practice they are rarely applied at present. This is perhaps because they seem disparate, complicated, and computationally intractable. However, we shall argue in this programmatic paper that several approaches
Logics of communication and change
van Benthem, Johan; van Eijck, Jan; Kooi, Barteld
2006-01-01
Current dynamic epistemic logics for analyzing effects of informational events often become cumbersome and opaque when common knowledge is added for groups of agents. Still, postconditions involving common knowledge are essential to successful multi-agent communication. We propose new systems that
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.
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…
Generic physical protection logic trees
International Nuclear Information System (INIS)
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
Contexts in Dynamic Predicate Logic
Visser, A.
1995-01-01
In this paper we introduce a notion of context for Groenendijk & Stokhof's Dynamic Predicate Logic DPL. We use these contexts to give a characterization of the relations on assignments that can be generated by composition from tests/conditions and random resettings in the case that we are working
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…
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...
Coreflections in Algebraic Quantum Logic
Jacobs, Bart; Mandemaker, Jorik
2012-07-01
Various generalizations of Boolean algebras are being studied in algebraic quantum logic, including orthomodular lattices, orthomodular po-sets, orthoalgebras and effect algebras. This paper contains a systematic study of the structure in and between categories of such algebras. It does so via a combination of totalization (of partially defined operations) and transfer of structure via coreflections.
Linguistics, Logic, and Finite Trees
Blackburn, P.; Meyer-Viol, W.
1993-01-01
A modal logic is developed to deal with finite ordered binary trees as they are used in (computational) linguistics. A modal language is introduced with operators for the 'mother of', 'first daughter of' and 'second daughter of' relations together with their transitive reflexive closures.
An overview of Interpretability Logic
Visser, A.
A miracle happens. In one hand we have a class of marvelously complex theories in predicate logic, theories with 'sufficient coding potential', like PA (Peano Arithmetic) or ZF (Zermelo Fraenkel Set Theory). In the other we have certain modal propositional theories of striking simplicity. We
Morpho (?) phono (?) logical fuzzy edges
African Journals Online (AJOL)
Open Access DOWNLOAD FULL TEXT Subscription or Fee Access. Morpho (?) phono (?) logical fuzzy edges: The case of {-/}/{-/U/} semantic (?) contrast in Shona. K. G. Mkangwanwi. Abstract. (ZAMBEZIA: Journal of Humanities of the Univ of Zimbabwe, 2000 27(1): 47-54). Full Text: EMAIL FULL TEXT EMAIL FULL TEXT
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 normalisation for intuitionistic logic
DEFF Research Database (Denmark)
Guenot, Nicolas; Straßburger, Lutz
2014-01-01
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...
Completeness for Coalgebraic Fixpoint Logic
Enqvist, S.; Seifan, F.; Venema, Y.
2016-01-01
We introduce an axiomatization for the coalgebraic fixed point logic which was introduced by Venema as a generalization, based on Moss' coalgebraic modality, of the well-known modal mu-calculus. Our axiomatization can be seen as a generalization of Kozen's proof system for the modal mu-calculus to
Indian Academy of Sciences (India)
Home; Journals; Resonance – Journal of Science Education; Volume 10; Issue 11. The Logic of Animal Conflict. Raghavendra Gadagkar. Article-in-a-Box Volume 10 Issue 11 November 2005 pp 5-5. Fulltext. Click here to view fulltext PDF. Permanent link: http://www.ias.ac.in/article/fulltext/reso/010/11/0005-0005 ...
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
G(sup 4)FET Implementations of Some Logic Circuits
Mojarradi, Mohammad; Akarvardar, Kerem; Cristoleveanu, Sorin; Gentil, Paul; Blalock, Benjamin; Chen, Suhan
2009-01-01
Some logic circuits have been built and demonstrated to work substantially as intended, all as part of a continuing effort to exploit the high degrees of design flexibility and functionality of the electronic devices known as G(sup 4)FETs and described below. These logic circuits are intended to serve as prototypes of more complex advanced programmable-logicdevice-type integrated circuits, including field-programmable gate arrays (FPGAs). In comparison with prior FPGAs, these advanced FPGAs could be much more efficient because the functionality of G(sup 4)FETs is such that fewer discrete components are needed to perform a given logic function in G(sup 4)FET circuitry than are needed perform the same logic function in conventional transistor-based circuitry. The underlying concept of using G(sup 4)FETs as building blocks of programmable logic circuitry was also described, from a different perspective, in G(sup 4)FETs as Universal and Programmable Logic Gates (NPO-41698), NASA Tech Briefs, Vol. 31, No. 7 (July 2007), page 44. A G(sup 4)FET can be characterized as an accumulation-mode silicon-on-insulator (SOI) metal oxide/semiconductor field-effect transistor (MOSFET) featuring two junction field-effect transistor (JFET) gates. The structure of a G(sup 4)FET (see Figure 1) is the same as that of a p-channel inversion-mode SOI MOSFET with two body contacts on each side of the channel. The top gate (G1), the substrate emulating a back gate (G2), and the junction gates (JG1 and JG2) can be biased independently of each other and, hence, each can be used to independently control some aspects of the conduction characteristics of the transistor. The independence of the actions of the four gates is what affords the enhanced functionality and design flexibility of G(sup 4)FETs. The present G(sup 4)FET logic circuits include an adjustable-threshold inverter, a real-time-reconfigurable logic gate, and a dynamic random-access memory (DRAM) cell (see Figure 2). The configuration
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.
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.
Set-Theory and Logic in School
Kapadia, Ramesh
1976-01-01
The author argues that the emphasis on logic and set theory in the school mathematics program is unnecessary and possibly harmful. He discusses briefly the relationships between semantics and logic. (SD)
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.
Eco-logical successes : January 2011
2011-01-01
This document identifies and explains each Eco-Logical signatory agency's strategic environmental programs, projects, and efforts that are either directly related to or share the vision set forth in Eco-Logical. A brief description of an agency's key...
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.
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
Czech Academy of Sciences Publication Activity Database
Horčík, Rostislav; Noguera, C.; Petrík, M.
2007-01-01
Roč. 53, č. 3 (2007), s. 268-288 ISSN 0942-5616 R&D Projects: GA AV ČR 1ET100300517 Institutional research plan: CEZ:AV0Z10300504 Keywords : algebraic logic * fuzzy logics * generalized contraction * generalized excluded middle * left-continuous t-norms * MTL-algebras * non-classical logics * residuated lattices * standard completeness * substructural logics * varieties * weak cancellation Subject RIV: BA - General Mathematics Impact factor: 0.317, year: 2007
Logic without energy or bandwidth limits
Caulfield, Henry J.; Westphal, Jonathan
2003-07-01
Boolean logic is an inherently irreversible, hence lossy operation. It has a well-known energy cost and an obvious time cost. To avoid those costs, we must do a different kind of logic. But, it is Boolean logic that we wish to do. We solved that dilemma by using a quantum optical logic gate that is fully reversible that yields the Boolean result after the irreversible loss of information in detection occurs.
FOLE: The First-order Logical Environment
Kent, Robert E.
2013-01-01
This paper describes the first-order logical environment FOLE. Institutions in general, and logical environments in particular, give equivalent heterogeneous and homogeneous representations for logical systems. As such, they offer a rigorous and principled approach to distributed interoperable information systems via system consequence. Since FOLE is a particular logical environment, this provides a rigorous and principled approach to distributed interoperable first-order information systems....
APPLICATION OF FUZZY LOGIC TOOLBOX FOR MODELLING FUZZY LOGIC CONTROLLERS
Olesiak, Krzysztof
2017-01-01
Computer technology, which has been developing very fast in the recent years, can be also fruitfully applied in teaching. For example, the software package Matlab is highly useful in teaching students at Bachelor Programs of Electrical Engineering and Automatics and Robotics. Fuzzy Logic Toolbox of the Matlab package can be used for designing and modelling controllers. Thanks to a large number of pre-defined elements available in the libraries, it is possible to create even highly complicated...
BIO Logical Agents: Norms, Beliefs, Intentions in Defeasible Logic
Governatori, Guido; Rotolo, Antonino
2007-01-01
In this paper we follow the BOID (Belief, Obligation, Intention, Desire) architecture to describe agents and agent types in Defeasible Logic. We argue, in particular, that the introduction of obligations can provide a new reading of the concepts of intention and intentionality. Then we examine the notion of social agent (i.e., an agent where obligations prevail over intentions) and discuss some computational and philosophical issues related to it. We show th...
Wong, Ming-Chao; Almond, Helen; Cummings, Elizabeth; Roehrer, Erin; Showell, Chris; Turner, Paul
2015-01-01
This chapter explores how Techno-Anthropology can contribute to more explicitly professional and ethically responsible reflections on the socio-technical practices involved in meaningfully engaging patients in health informatics research. The chapter draws on insights from health informatics research projects focused on chronic disease and self-management conducted in Tasmania during the last 10 years. Through these projects the paper explores three topics of relevance to 'meaningful engagement' with patients: (i) Patient Self-Management and Chronic Disease (ii) Patients as Users in Health Informatics research, and, (iii) Evaluations of outcomes in Health and Health Informatics Interventions. Techno-Anthropological reflections are then discussed through the concepts of liminality, polyphony and power. This chapter argues that beyond its contribution to methodology, an important role for Techno-Anthropology in patient centred health informatics research may be its capacity to support new ways of conceptualising and critically reflecting on the construction and mediation of patients' needs, values and perspectives.
The Limits of Logic-Based Inherent Safety of Social Robots
DEFF Research Database (Denmark)
Bentzen, Martin Mose
2017-01-01
Social robots can reason and act while taking into accountsocial and cultural structures, for instance by complying withsocial or ethical norms or values. As social robots are likely to becomemore common and advanced and thus likely to interact withhuman beings in increasingly complex situations......-based safety for ethical robots is shown. Afterwards,an empirical study is used to show that there is a clash betweendeontic reasoning and most formal deontic logics. I give anexample as to how this clash can cause problems in human-robot interaction.I conclude that deontic logics closer to natural......, ensuring safety insuch situations will become very important. In this chapter, I investigatethe safety of social robots, focusing on the idea that robotsshould be logically guaranteed to act in a certain way, here calledlogic-based inherent safety. A meta-logical limitation of a particularprogram for logic...
Destructive Capitalism, an Investigation on the Inner Logic of Capital
Saavedra, Roque Martin
2008-01-01
This research, while centered upon capital development, will concentrate its efforts on explaining the urgent contingencies behind its destructive aspects. If capitalism in order to advance must destroy the past, what are the sources and effects of this inexorable tension between creation and destruction? Moreover, what are the principles of this contradictory logic that determines destruction in order to make progress? This research will not investigate the totality of the destructive...
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
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...... that combining an institutional logic perspective with a translation perspective furthers our understanding of the malleability of institutional logics....
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 can...... support formal specification and verification of liveness and fairness, and also of various notions of real analysis....
Towards a formal logic of design rationalization
DEFF Research Database (Denmark)
Galle, Per
1997-01-01
Certain extensions to standard predicate logic are proposed and used as a framework for critical logical study of patterns of inference in design reasoning. It is shown that within this framework a modal logic of design rationalization (suggested by an empirical study reported earlier) can be for...
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
Mathematical Fuzzy Logic - State of Art 2001
Czech Academy of Sciences Publication Activity Database
Hájek, Petr
2003-01-01
Roč. 24, - (2003), s. 71-89 ISSN 0103-9059. [WOLLIC'2001. Brasília, 31.07.2001-03.08.2001] R&D Projects: GA MŠk LN00A056 Keywords : fuzzy logic * many valued logic * basic fuzzy logic BL Subject RIV: BA - General Mathematics http://www.mat.unb.br/~matcont/24_4.pdf
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,…
On Product Logic with Truth-Constants
Czech Academy of Sciences Publication Activity Database
Savický, Petr; Cignoli, R.; Esteva, F.; Godo, L.; Noguera, C.
2006-01-01
Roč. 16, č. 2 (2006), s. 205-225 ISSN 0955-792X R&D Projects: GA MŠk 1M0545 Keywords : non-classical logic * fuzzy logic * product logic * truth-constants * standard completeness Subject RIV: BA - General Mathematics Impact factor: 0.840, year: 2006
Parity Games and Automata for Game Logic
Hansen, H.H.; Kupke, C.; Marti, J.; Venema, Y.; Madeira, A.; Benevides, M.
2018-01-01
Parikh’s game logic is a PDL-like fixpoint logic interpreted on monotone neighbourhood frames that represent the strategic power of players in determined two-player games. Game logic translates into a fragment of the monotone μ-calculus, which in turn is expressively equivalent to monotone modal
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
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...
Intuitionistic Rules : Admissible Rules of Intermediate Logics
Goudsmit, J.P.
2015-01-01
In this thesis, we investigate the admissible rules of intermediate logics. On the one hand, one can characterize the admissibility of rules in certain logic, and on the other hand, one can characterize logics through their admissible rules. We take both approaches, and reach new results in both
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.…
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…
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.
The Relevance of Hegel's Logic
Directory of Open Access Journals (Sweden)
John W Burbidge
2007-12-01
Full Text Available Hegel defines his Logic as the science that thinks about thinking.nbsp; But when we interpret that work as outlining what happens when we reason we are vulnerable to Fregersquo;s charge of psychologism.nbsp; I use Hegelrsquo;s tripartite distinction among understanding, dialectical and speculative reason as operations of pure thought to suggest how thinking can work with objective concepts.nbsp; In the last analysis, however, our ability to move from the subjective contingency of representations and ideas to the pure concepts we think develops from mechanical memory, which separates sign from sense so hat we can focus simply on the latter.nbsp; By becoming aware of the connections that underlie our thinking processes we may be able to both move beyond the abstractions of symbolic logic and clarify what informal logicians call relevance.
An Embedded Reconfigurable Logic Module
Tucker, Jerry H.; Klenke, Robert H.; Shams, Qamar A. (Technical Monitor)
2002-01-01
A Miniature Embedded Reconfigurable Computer and Logic (MERCAL) module has been developed and verified. MERCAL was designed to be a general-purpose, universal module that that can provide significant hardware and software resources to meet the requirements of many of today's complex embedded applications. This is accomplished in the MERCAL module by combining a sub credit card size PC in a DIMM form factor with a XILINX Spartan I1 FPGA. The PC has the ability to download program files to the FPGA to configure it for different hardware functions and to transfer data to and from the FPGA via the PC's ISA bus during run time. The MERCAL module combines, in a compact package, the computational power of a 133 MHz PC with up to 150,000 gate equivalents of digital logic that can be reconfigured by software. The general architecture and functionality of the MERCAL hardware and system software are described.
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...... 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...... is a conceptualization of the way in which an institutional entrepreneur initiates change in an organizational field. More specifically the paper discusses a system of concepts offered by Svejenova et al. (2007). According to Svejenova et al. the Spanish haute cuisine chef of the 3 star Michelin restaurant El Bulli...
Nanowire NMOS Logic Inverter Characterization.
Hashim, Yasir
2016-06-01
This study is the first to demonstrate characteristics optimization of nanowire N-Channel Metal Oxide Semiconductor (NW-MOS) logic inverter. Noise margins and inflection voltage of transfer characteristics are used as limiting factors in this optimization. A computer-based model used to produce static characteristics of NW-NMOS logic inverter. In this research two circuit configuration of NW-NMOS inverter was studied, in first NW-NMOS circuit, the noise margin for (low input-high output) condition was very low. For second NMOS circuit gives excellent noise margins, and results indicate that optimization depends on applied voltage to the inverter. Increasing gate to source voltage with (2/1) nanowires ratio results better noise margins. Increasing of applied DC load transistor voltage tends to increasing in decreasing noise margins; decreasing this voltage will improve noise margins significantly.
Techno-economic analysis for the evaluation of three UCG synthesis gas end use approaches
Nakaten, Natalie; Kempka, Thomas; Burchart-Korol, Dorota; Krawczyk, Piotr; Kapusta, Krzysztof; Stańczyk, Krzysztof
2016-04-01
Underground coal gasification (UCG) enables the utilization of coal reserves that are economically not exploitable because of complex geological boundary conditions. In the present study we investigate UCG as a potential economic approach for conversion of deep-seated coals into a synthesis gas and its application within three different utilization options. Related to geological boundary conditions and the chosen gasification agent, UCG synthesis gas composes of varying methane, hydrogen, nitrogen, carbon monoxide and carbon dioxide amounts. In accordance to its calorific value, the processed UCG synthesis gas can be utilized in different manners, as for electricity generation in a combined cycle power plant or for feedstock production making use of its various chemical components. In the present study we analyze UCG synthesis gas utilization economics in the context of clean electricity generation with an integrated carbon capture and storage process (CCS) as well as synthetic fuel and fertilizer production (Kempka et al., 2010) based on a gas composition achieved during an in situ UCG trial in the Wieczorek Mine. Hereby, we also consider chemical feedstock production in order to mitigate CO2 emissions. Within a sensitivity analysis of UCG synthesis gas calorific value variations, we produce a range of capital and operational expenditure bandwidths that allow for an economic assessment of different synthesis gas end use approaches. To carry out the integrated techno-economic assessment of the coupled systems and the sensitivity analysis, we adapted the techno-economic UCG-CCS model developed by Nakaten et al. (2014). Our techno-economic modeling results demonstrate that the calorific value has a high impact on the economics of UCG synthesis gas utilization. In the underlying study, the synthesis gas is not suitable for an economic competitive electricity generation, due to the relatively low calorific value of 4.5 MJ/Nm³. To be a profitable option for electricity
Far from the Lonely Crowd: The Trenchant Techno-Cynicism of Mr. Robot.
Volmar, Daniel
2017-12-01
Mr. Robot is a television drama with an unusually techno-cynical premise, tying cybersecurity to the contemporary malaise of social alienation and political disengagement. Weary of consumer capitalism, the show's youthful protagonists seek a more authentic sense of belonging by exploiting the vulnerability of a global economic system that depends critically on creaking technological infrastructures. A remarkable display of iconoclasm for commercial entertainment, Mr. Robot suggests rising discontentment with the commodification of friendship through consumer electronics, but it may also offer media enterprises a model for how to profit from that discontentment in the future. Copyright © 2017 Elsevier Ltd. All rights reserved.
DEFF Research Database (Denmark)
Loureiro da Costa Lira Gargalo, Carina; Sin, Gürkan; Carvalho, Ana
2016-01-01
The need to achieve a sustainable process performance has become increasingly important in order to keep a competitive advantage in the global markets. Development of comprehensive and systematic methods to accomplish this goal is the subject of this work. To this end, a multi-level framework...... for techno-economic and environmental sustainability analysis through risk assessment is proposed for the early-stage design and screening of conceptual process alternatives. The alternatives within the design space are analyzed following the framework’s work-flow, which targets the following: (i) quantify...
Renewable hydrocarbon fuels from hydrothermal liquefaction: A techno-economic analysis
DEFF Research Database (Denmark)
Pedersen, Thomas Helmer; Hansen, Nick Høy; Pérez, Oscar Miralles
2018-01-01
This study demonstrates the economic feasibility of producing renewable transportation drop-in fuels from lignocellulosic biomass through hydrothermal liquefaction and upgrading. An Aspen Plus® process model is developed based on extensive experimental data to document a techno-economic assessment...... by thermal cracking and hydroprocessing. Results show that a minimum fuel selling price (MFSP) of 1.14 $ per liter of gasoline equivalent (LGE) can be obtained. In Scenario II, only wood is used as feedstock, which reduces the MFSP to 0.82 $/LGE. Scenario III is also based on a pure wood feedstock...
Electricity from Wind for Off-Grid Applications in Bangladesh: A Techno-Economic Assessment
Directory of Open Access Journals (Sweden)
Md. Mustafizur Rahman
2017-03-01
Keywords: GHG emission, cost of electricity, off-grid, wind energy, electricity generation. Article History: Received October 15th 2016; Received in revised form January 26th 2017; Accepted February 4th 2017; Available online How to Cite This Article: Rahman, M.M., Baky, M.A.H, and Islam, A.K.M.S. (2017 Electricity from Wind for Off-Grid Applications in Bangladesh: A Techno-Economic Assessment. International Journal of Renewable Energy Develeopment, 6(1, 55-64. http://dx.doi.org/10.14710/ijred.6.1.55-64
Territoires hybrides: connectivité et expériences communicatives techno-métropolitaines
La Rocca, Fabio; Université Paul Valéry Montpellier 3
2016-01-01
L’intelligence collective dont parlait Pierre Lévy (1994) cède la place à une intelligence connective, une intelligence comme « mise en commun » selon l’indication fournie par l’analyse de Derrick de Kerckhove (1997). De notre point de vue, cette connectivité permanente représente une valorisation des formes d’existence, d’un dasein technologique où l’espace physique s’entremêle avec le paysage du Web dans un continuum d’interconnexion. Cela forme un mundus techno-urbain qui affecte la mutati...
Techno-economic analysis of key renewable energy technologies (PV, CSP and wind)
Energy Technology Data Exchange (ETDEWEB)
Hernandez Guevara, H.; Tuebke, A. [Joint Research Centre JRC, Institute for Prospective Technological Studies IPTS, Sevilla (Spain); Folkerts, W. [Ecofys, Utrecht (Netherlands); Brizard, N. [Enerdata, Lyon (France); Lako, P. [Unit Policy Studies, Energy research Centre of the Netherlands ECN, Petten (Netherlands)
2011-09-15
This report shows the results of a techno-economic analysis of key renewable energy technologies: Solar Photovoltaics (PV), Concentrating Solar Power (CSP), and Wind Energy Technologies (wind). For this purpose, bottom-up company-data were collected, market supply and demand factors addressed, the regulatory framework examined, and EU industry compared against its main competitors. Personal interviews with 10 key industrialists from these sectors were undertaken to generate first-hand feedback from companies. The information generated was validated in a workshop with selected study participants, industrialists and policymakers.
Techno-Economic Analysis of Bioconversion of Methane into Biofuel and Biochemical (Poster)
Energy Technology Data Exchange (ETDEWEB)
Fei, Q.; Tao, L.; Pienkos, P .T.; Guarnieri, M.; Palou-Rivera, I.
2014-10-01
In light of the relatively low price of natural gas and increasing demands of liquid transportation fuels and high-value chemicals, attention has begun to turn to novel biocatalyst for conversion of methane (CH4) into biofuels and biochemicals [1]. A techno-economic analysis (TEA) was performed for an integrated biorefinery process using biological conversion of methane, such as carbon yield, process efficiency, productivity (both lipid and acid), natural gas and other raw material prices, etc. This analysis is aimed to identify research challenges as well provide guidance for technology development.
Techno-economic analysis of organosolv pretreatment process from lignocellulosic biomass
DEFF Research Database (Denmark)
Rodrigues Gurgel da Silva, Andrè; Errico, Massimiliano; Rong, Ben-Guang
2018-01-01
Lignocellulosic ethanol is a promising alternative to replace liquid fossil fuels for the transportation sector in the near future. Organosolv pretreatment has been tested as a method for separating lignin from the biomass and commercializing it as a biopolymer. Based on published laboratory scale...... data, we propose a feasible process flowsheet for organosolv pretreatment. Simulation of the pretreatment process provided mass and energy balances for a techno-economic analysis, and the values were compared with the most prevalent and mature pretreatment method: diluted acid. Organosolv pretreatment...
Techno-economic analysis and optimization of the heat recovery of utility boiler flue gas
International Nuclear Information System (INIS)
Xu, Gang; Huang, Shengwei; Yang, Yongping; Wu, Ying; Zhang, Kai; Xu, Cheng
2013-01-01
Highlights: • Four typical flue gas heat recovery schemes are quantitatively analyzed. • The analysis considers thermodynamic, heat transfer and hydrodynamics factors. • Techno-economic analysis and optimization design are carried out. • High-stage steam substitute scheme obtains better energy-saving effect. • Large heat transfer area and high flue gas resistances weaken overall performance. - Abstract: Coal-fired power plants in China consume nearly half of available coals, and the resulting CO 2 emissions cover over 40% of total national emissions. Therefore, reducing the energy expenditure of coal-fired power plants is of great significance to China’s energy security and greenhouse gas reduction programs. For coal-fired power plants, the temperature of a boiler’s exhaust gas reaches 120–150 °C or even higher. The thermal energy of boiler’s exhaust accounts for approximately 3–8% of the total energy of fuel input. Given these factors, we conducted a techno-economic analysis and optimization design of the heat recovery system using boiler exhaust gas. This research is conformed to the principles of thermodynamic, heat transfer, and hydrodynamics. Based on the data from an existing 1000 MW typical power generation unit in China, four typical flue gas heat recovery schemes are quantitatively analyzed from the thermodynamics perspective. The impacts of flue gas heat recovery on net work output and standard coal consumption rate of various schemes are performed. Furthermore, the transfer area of heat recovery exchanger and the draft fan work increment due to the flue gas pressure drop are analyzed. Finally, a techno-economic analysis of the heat recovery schemes is conducted, and some recommendations on optimization design parameters are proposed, with full consideration of various factors such as the decrease on fuel cost due to energy conservation as well as the investment cost of heat recovery retrofitting. The results revealed that, high
Techno-economic and environmental analysis of low carbon energy technologies: Indian perspective
Energy Technology Data Exchange (ETDEWEB)
Saha, Vijay Prakash; Kumar, Rahul; Kumar, Manish; Deswal, Surinder; Chandna, Pankaj
2010-09-15
In this paper, techno-economic and an environmental investigation and analysis of Low Carbon Technologies (LCTs) has been presented, with special emphasis on India. The paper identify, analyze and recommend, on the basis of available and collected / collated information and data, the promising and potential low carbon energy technology options suited to Indian conditions for grid connected power generation. The evaluation criteria adopted include - emission reduction potential, technological feasibility, and economic viability; and on its basis recommend a detailed action plan and strategy for guiding future research and development with a more focused approach considering current Indian policy framework.
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.
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...... with an experimental vignette study of the effects of clan and kinship ties on recruitment and selection decisions in Kazakhstan, followed by qualitative interviews....
Logic Learning in Hopfield Networks
Sathasivam, Saratha; Abdullah, Wan Ahmad Tajuddin Wan
2008-01-01
Synaptic weights for neurons in logic programming can be calculated either by using Hebbian learning or by Wan Abdullah's method. In other words, Hebbian learning for governing events corresponding to some respective program clauses is equivalent with learning using Wan Abdullah's method for the same respective program clauses. In this paper we will evaluate experimentally the equivalence between these two types of learning through computer simulations.
Admissible Rules of Lukasiewicz Logic
Czech Academy of Sciences Publication Activity Database
Jeřábek, Emil
2010-01-01
Roč. 20, č. 2 (2010), s. 425-447 ISSN 0955-792X R&D Projects: GA AV ČR IAA900090703; GA AV ČR IAA100190902; GA MŠk(CZ) 1M0545 Institutional research plan: CEZ:AV0Z10190503 Keywords : linear temporal logic * unification * consecutions Subject RIV: BA - General Mathematics Impact factor: 0.586, year: 2010 http://logcom.oxfordjournals.org/content/20/2/425
Modelling Emotions with Multidimensional Logic
Gershenson, Carlos
1999-01-01
One of the objectives of Artificial Intelligence has been the modelling of "human" characteristics, such as emotions, behaviour, conscience, etc. But in such characteristics we might find certain degree of contradiction. Previous work on modelling emotions and its problems are reviewed. A model for emotions is proposed using multidimensional logic, which handles the degree of contradiction that emotions might have. The model is oriented to simulate emotions in artificial societies...
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.
Is special relativity logically inconsistent
International Nuclear Information System (INIS)
Prokhovnik, S.J.
1980-01-01
The author gives his view that Special Relativity is logically and mathematically consistent, as well as physically comprehensible if, and only if, it is firmly based on the single assumption of a unique fundamental reference frame for light propagation. The theory and all its results are derivable from this assumption; the Relativity and Light Principles become intelligible consequences of this assumption; the physical significance and source of time dilation and length contraction are made manifest thereby. (Auth.)
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.
Texture classification using logical operators.
Manian, V; Vasquez, R; Katiyar, P
2000-01-01
In this paper, a new algorithm for texture classification based on logical operators is presented. Operators constructed from logical building blocks are convolved with texture images. An optimal set of six operators are selected based on their texture discrimination ability. The responses are then converted to standard deviation matrices computed over a sliding window. Zonal sampling features are computed from these matrices. A feature selection process is applied and the new set of features are used for texture classification. Classification of several natural and synthetic texture images are presented demonstrating the excellent performance of the logical operator method. The computational superiority and classification accuracy of the algorithm is demonstrated by comparison with other popular methods. Experiments with different classifiers and feature normalization are also presented. The Euclidean distance classifier is found to perform best with this algorithm. The algorithm involves only convolutions and simple arithmetic in the various stages which allows faster implementations. The algorithm is applicable to different types of classification problems which is demonstrated by segmentation of remote sensing images, compressed and reconstructed images and industrial images.
Between quantum logic and concurrency
Directory of Open Access Journals (Sweden)
Luca Bernardinello
2014-07-01
Full Text Available We start from two closure operators defined on the elements of a special kind of partially ordered sets, called causal nets. Causal nets are used to model histories of concurrent processes, recording occurrences of local states and of events. If every maximal chain (line of such a partially ordered set meets every maximal antichain (cut, then the two closure operators coincide, and generate a complete orthomodular lattice. In this paper we recall that, for any closed set in this lattice, every line meets either it or its orthocomplement in the lattice, and show that to any line, a two-valued state on the lattice can be associated. Starting from this result, we delineate a logical language whose formulas are interpreted over closed sets of a causal net, where every line induces an assignment of truth values to formulas. The resulting logic is non-classical; we show that maximal antichains in a causal net are associated to Boolean (hence "classical" substructures of the overall quantum logic.
Cosmic logic: a computational model
International Nuclear Information System (INIS)
Vanchurin, Vitaly
2016-01-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
A Resolution Prover for Coalition Logic
Directory of Open Access Journals (Sweden)
Cláudia Nalon
2014-04-01
Full Text Available We present a prototype tool for automated reasoning for Coalition Logic, a non-normal modal logic that can be used for reasoning about cooperative agency. The theorem prover CLProver is based on recent work on a resolution-based calculus for Coalition Logic that operates on coalition problems, a normal form for Coalition Logic. We provide an overview of coalition problems and of the resolution-based calculus for Coalition Logic. We then give details of the implementation of CLProver and present the results for a comparison with an existing tableau-based solver.
Asynchronous Operators of Sequential Logic Venjunction & Sequention
Vasyukevich, Vadim
2011-01-01
This book is dedicated to new mathematical instruments assigned for logical modeling of the memory of digital devices. The case in point is logic-dynamical operation named venjunction and venjunctive function as well as sequention and sequentional function. Venjunction and sequention operate within the framework of sequential logic. In a form of the corresponding equations, they organically fit analytical expressions of Boolean algebra. Thus, a sort of symbiosis is formed using elements of asynchronous sequential logic on the one hand and combinational logic on the other hand. So, asynchronous
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
All-optical symmetric ternary logic gate
Chattopadhyay, Tanay
2010-09-01
Symmetric ternary number (radix=3) has three logical states (1¯, 0, 1). It is very much useful in carry free arithmetical operation. Beside this, the logical operation using this type of number system is also effective in high speed computation and communication in multi-valued logic. In this literature all-optical circuits for three basic symmetrical ternary logical operations (inversion, MIN and MAX) are proposed and described. Numerical simulation verifies the theoretical model. In this present scheme the different ternary logical states are represented by different polarized state of light. Terahertz optical asymmetric demultiplexer (TOAD) based interferometric switch has been used categorically in this manuscript.
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
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.
Enric Trillas a passion for fuzzy sets : a collection of recent works on fuzzy logic
Verdegay, Jose; Esteva, Francesc
2015-01-01
This book presents a comprehensive collection of the latest and most significant research advances and applications in the field of fuzzy logic. It covers fuzzy structures, rules, operations and mathematical formalisms, as well as important applications of fuzzy logic in a number of fields, like decision-making, environmental prediction and prevention, communication, controls and many others. Dedicated to Enric Trillas in recognition of his pioneering research in the field, the book also includes a foreword by Lotfi A. Zadeh and an outlook on the future of fuzzy logic.
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.
van der Spek, M.W.; Manzolini, Giampaolo; Ramirez, C.A.
2017-01-01
Techno-economic assessment of fossil-fueled power plants with (and/or without) carbon capture and storage (CCS) is generally carried out at full load conditions assuming a capacity factor of typically around 85%1−3 or even 100%.4 This approach allows for straightforward assessment and easy
Identifying techno-economic criteria in PLC/BPL applications and commercialization
Energy Technology Data Exchange (ETDEWEB)
Brown, P.A. [White Box Associates Ltd., Lancaster (United Kingdom)
2005-07-01
Several techno-economic research and commercialization issues for power line communications (PLC) and broadband over power lines (BPL) were reviewed in this conference panel presentation by way of a number of personal computer based spreadsheet modelling examples. These examples illustrate the dependencies, interactivity, and trends in a variety of related techno-economic data. The presentation identified some criteria such as dimensioning of network, reach, repeaters, customers, bandwidth provisioning, and return on investment. An illustration of a theoretical and practical network infrastructure was provided. In addition, a typical medium voltage electricity distribution network in North America and a North American distribution substation were illustrated. Distribution components were shown in picture format. Other illustrations included low voltage transformers and secondary distribution, a typical underground service entrance, and a pad mount distribution transformer. Customer densities in Europe and Asia and North America per low voltage transformer were provided. The presentation then discussed network trade-offs versus system characteristics. A single PLC substation cell topography was provided and propagation models were presented. Field strength regression was also analysed. The presentation addressed the issue of multiple PLC substation cells, the incremental increase in noise floor, service penetration, bandwidth provisioning, and a review of BPL expenditures and profits. 7 tabs., 6 figs.
Assessing the techno-economics of modular hybrid solar thermal systems
Lim, Jin Han; Chinnici, Alfonso; Dally, Bassam; Nathan, Graham
2017-06-01
A techno-economic assessment was performed on modular hybrid solar thermal (in particular, solar power tower) systems with combustion from natural gas as backup to provide a continuous supply of electricity. Two different configurations were compared, i.e. a Hybrid Solar Receiver Combustor (HSRC), in which the functions of a solar cavity receiver and a combustor are integrated into a single device, and a Solar Gas Hybrid (SGH), which is a reference hybrid solar thermal system with a standalone solar-only cavity receiver and a backup boiler. The techno-economic benefits were assessed by varying the size of the modular components, i.e. the heliostat field and the solar receivers. It was found that for modularization to be cost effective requires more than the increased learning from higher production of a larger number of smaller units, such as access to alternative, lower-cost manufacturing methods and/or the use of a low melting point Heat Transfer Fluid (HTF) such as sodium to reduce parasitic losses. In particular, for a plant with 30 units of 1MWth modules, the Levelized Cost of Electricity is competitive compared with a single unit of 30MWth after ˜100 plants are installed for both the HSRC and SGH if the systems employ the use of sodium as the heat transfer fluid.
International Nuclear Information System (INIS)
Petrus Zacharias; Abdul Jami
2010-01-01
Researches conducted by Batan's researchers have resulted in a number competences that can be used to produce goods and services, which will be applied to industrial sector. However, there are difficulties how to convey and utilize the R and D products into industrial sector. Evaluation results show that each research result should be completed with techno-economy analysis to obtain the feasibility of a product for industry. Further analysis on multy-product concept, in which one business can produce many main products, will be done. For this purpose, a software package simulating techno-economy I economic feasibility which uses deterministic and stochastic data (Monte Carlo method) was been carried out for multi-product including side product. The programming language used in Visual Basic Studio Net 2003 and SQL as data base processing software. This software applied sensitivity test to identify which investment criteria is sensitive for the prospective businesses. Performance test (trial test) has been conducted and the results are in line with the design requirement, such as investment feasibility and sensitivity displayed deterministically and stochastically. These result can be interpreted very well to support business decision. Validation has been performed using Microsoft Excel (for single product). The result of the trial test and validation show that this package is suitable for demands and is ready for use. (author)
Techno-Economic Analysis of Biogas Utilization as an Alternative Fuel
Directory of Open Access Journals (Sweden)
Merry Indahsari Devi
2014-07-01
Full Text Available This paper will discuss the feasibility and economic analysis of biogas energy as a supply for the diesel engine generator. The techno-economic analysis was performed by using three parameters which are Net Present Value (NPV, Internal Rate of Return (IRR, and Payback Period (PP as the feasibility indicators of the biogas power plant project. Calculation of substitution was obtained from the comparison between data of diesel engine using diesel fuel and dual-fuel with biogas. Economic calculations include the substitution percentage of diesel fuel by biogas for dual-fuel. Meanwhile, the calculation of savings was based on the ratio of energy content between diesel fuel and biogas. The eventual outcome is determined using economic comparison between the use of diesel fuel and dual-fuel mode. Feasibility shows that the pilot plant of 1 to 6 kWh using diesel fuel and dual-fuel are not feasible while techno-economic parameter analysis shows that NPV<0, IRR
Techno-economic analysis for brewer's spent grains use on a biorefinery concept: the Brazilian case.
Mussatto, Solange I; Moncada, Jonathan; Roberto, Inês C; Cardona, Carlos A
2013-11-01
A techno-economic analysis for use of brewer's spent grains (BSG) on a biorefinery concept for the Brazilian case is presented. Four scenarios based on different levels of heat and mass integration for the production of xylitol, lactic acid, activated carbon and phenolic acids are shown. A simulation procedure using the software Aspen Plus and experimental yields was used. Such procedure served as basis for the techno-economic and environmental assessment according to the Brazilian conditions. Full mass integration on water and full energy integration was the configuration with the best economic and environmental performance. For this case, the obtained economic margin was 62.25%, the potential environmental impact was 0.012 PEI/kg products, and the carbon footprint of the processing stage represented 0.96 kg CO2-e/kg of BSG. This result served as basis to draw recommendations on the technological, economic and environmental feasibility for implementation of such type of biorefinery in Brazil. Copyright © 2013 Elsevier Ltd. All rights reserved.
International Nuclear Information System (INIS)
Koku, Oludolapo; Perry, Simon; Kim, Jin-Kuk
2014-01-01
Highlights: • Development of thermal integration modelling framework for the utilisation of LNG cold energy. • Feasibility study for various design options for the integration of low-temperature cold energy. • Provision of a design approach for achieving efficient use of cold energy in LNG terminals. • Understanding of techno-economic impacts associated with the thermal integration of LNG cold energy. - Abstract: This paper addresses a conceptual study investigating the techno-economic feasibility for the thermal Integration of LNG cold vaporisation energy in power generation applications. In conventional regasification systems, this valuable LNG cold energy is often being wasted to ambient heat sources, representing a thermodynamic inefficient process with a significant thermal impact on the local environment. A combined facility consisting of a non-integrated Combined Cycle Power Plant (CCPP) and an LNG receiving terminal employing traditional Open Rack Vaporisers (ORV) technology, has been modelled, as a base case. Retrofit strategies for the integration of LNG cold energy have been investigated, and their impacts on power production and system efficiency are systematically compared. Retrofit design options considered in this work include the use of a propane Rankine cycle coupled with the direct expansion of natural gas, the integration of a closed-loop water cycle or open-loop water circuit with a steam Rankine cycle, and the facilitation of integrated air cooling for a gas turbine
Societies of Control: State techno-surveillance and Civic Resistance in Mexico
Directory of Open Access Journals (Sweden)
Paola Ricaurte Quijano
2014-08-01
Full Text Available The aim of this article is to discuss the global and local implications of State surveillance in the light of the theoretical approach around control societies. We hold that the systematic, continuous and total techno-surveillance is an undeniable fact that promotes and requires multivaried forms of civil resistance. To demonstrate our position, we conducted a brief count of the actions undertaken by the Mexican civil society against the laws that promote the use of technology as a monitoring tool in Mexico, and the presence of spyware in Mexican operators. Finally, we present the consequences of techno-surveillance for journalists, activists and human rights advocates. This article concludes that monitoring practices in control societies are implemented by means of socio-technical mechanisms which articulate the public with the private sphere and are carried out with the civilian consent. However, various forms of civic resistance emerge in the continuity of the private and the public, the virtual and the physical, the local and the global.
The universal magnetic tunnel junction logic gates representing 16 binary Boolean logic operations
Lee, Junwoo; Suh, Dong Ik; Park, Wanjun
2015-05-01
The novel devices are expected to shift the paradigm of a logic operation by their own nature, replacing the conventional devices. In this study, the nature of our fabricated magnetic tunnel junction (MTJ) that responds to the two external inputs, magnetic field and voltage bias, demonstrated seven basic logic operations. The seven operations were obtained by the electric-field-assisted switching characteristics, where the surface magnetoelectric effect occurs due to a sufficiently thin free layer. The MTJ was transformed as a universal logic gate combined with three supplementary circuits: A multiplexer (MUX), a Wheatstone bridge, and a comparator. With these circuits, the universal logic gates demonstrated 16 binary Boolean logic operations in one logic stage. A possible further approach is parallel computations through a complimentary of MUX and comparator, capable of driving multiple logic gates. A reconfigurable property can also be realized when different logic operations are produced from different level of voltages applying to the same configuration of the logic gate.
The Techno-Thriller in the Classroom: "Red Storm Rising" as a Guide to World War III.
Wirtz, James J.
1989-01-01
Proposes the use of fictional "techno-thrillers" such as "Red Storm Rising" in a seminar on the topic of war. Explains how these thrillers provide descriptions of how opposing strategies and armies might interact during a future war. Provides a course reading list. (NL)
Berghout, N.A.; Kuramochi, T.; van den Broek, M.A.; Ramirez, C.A.; Faaij, A.P.C.
2013-01-01
This paper evaluated the techno economic performance of several CO2 capture-network configurations for a cluster of sixteen industrial plants in the Netherlands using bottom up analysis. Preliminary findings indicate that centralizing capture equipment instead of capture equipment at plant sites
Bobakova, Daniela
2013-01-01
Jongeren die deel uitmaken van jeugdsubculturen als hip-hop, techno-scene, metal, punk en skinheads, gebruiken vaker drugs, zijn vaker dronken, spijbelen vaker en beginnen eerder aan seks. Roma-jongeren zijn minder vaak dronken. Dat concludeert Daniela Bobáková op basis van een onderzoek onder deze
DEFF Research Database (Denmark)
Xydis, George
2013-01-01
Renewable Energy Sources (RES) and especially wind energy are seen as an essential part of the future clean energy system. In the present paper, the wind potential of Kythira Island was studied and a techno-economic analysis was done aiming at identifying the optimum solution for the proposed Wind...
Schwenzfeier, A.
2013-01-01
In this thesis, the mild isolation of an algae soluble protein isolate (ASPI) and the characterisation of its techno-functional properties are described. The ASPI was isolated from the green microalgae Tetraselmis sp. by beadmilling and subsequent anion exchange adsorption. The isolate obtained
Techno-Tourism and Post-industrial Neo-Romanticism in Berlin’s Electronic Dance Music Scenes
Garcia, Luis-Manuel
2015-01-01
This article profiles the ‘techno-tourists’ of Berlin: music fans who return repeatedly to the city in order to participate in the local electronic dance music (EDM) scenes. Based on interviews, this article sketches a profile of these music-minded voyagers, surveying their motivations, their
DEFF Research Database (Denmark)
Furlan, Felipe F.; Costa, Caliane B B; Secchi, Argimiro R.
2016-01-01
for the main process metrics, providing feedback to the research and development team and setting goals for experimental efforts. The present study proposes a methodology for performing such a "retro" techno-economic analysis. It consists of choosing the most important variables of the process and finding...
Van Eijck, Michiel; Claxton, Nicholas Xumthoult
2009-01-01
Educators repeatedly underscore the intimate relationship between science and technology. This is problematic because technology, far from being "applied science," presupposes a unique epistemology (techno-epistemology). A focus on the role of science in technology overshadows this unique way of knowing and hence limits technology…
Techno-economic assessments of oxy-fuel technology for South African coal-fired power stations
CSIR Research Space (South Africa)
Oboirien, BO
2014-03-01
Full Text Available at the technical and economic viability of oxy-fuel technology for CO(sub2) capture for South African coal-fired power stations. This study presents a techno-economic analysis for six coal fired power stations in South Africa. Each of these power stations has a...
Conceptual Modeling via Logic Programming
1990-01-01
CONCEPTUAL MODELING VIA LOGIC PROGRAMaNG 12. PERSONAL AUTHOR(S) John Burge, Bill Noah, Las Smith 13a. TYPE OF REPORT 13b. TIME COVERED 14. DATE OF...interpreter and named it Prolog for middle. He found that his program got into an "Programmation en logique ." It provided the infinite loop unless he used... lA N C I WA v Cruse Mle Submartine 44 0 0 0 0 0835 I 9 33 ICC 33 High F.e cruise Misaile 640 0 8S S44 0 0 High Post cruise missile 840 2 7S 440 too
CSIR Research Space (South Africa)
Britz, K
2014-07-01
Full Text Available (T !) ⊆ atm(α). A proof of this theorem is given by Makinson [35]. Essentially, it establishes that, for every theory T , there is a unique least set of elementary atoms such that T may be expressed equivalently using only atoms from that set. Hence... forgetting as a generalization of weak forgetting in the power set algebra as- sociated with the propositional language L. Brink [8] gives a general account of power structures in the context of logic. Definition 10. Let f : An −→ A be an n-ary operation...
Quantum logic properties of hypergraphs
Energy Technology Data Exchange (ETDEWEB)
Klaey, M.P.
1987-10-01
In quantum logics, the notions of strong and full order determination and unitality for states on orthomodular posets are well known. These notions are defined for hypergraphs and their state spaces in a consistent manner and the relations between them and to the notions defined for orthomodular posets are discussed. The state space of a hypergraph is a polytope. This polytope is a simplex if and only if every superposition of pure states is a mixture of these same pure states. Isomorphic hypergraphs have convexly isomorphic state spaces. A class of hypergraphs is given whose group of automorphisms is group-isomorphic to the group of convex automorphisms of their state spaces.
Logical Entity Level Sentiment Analysis
DEFF Research Database (Denmark)
Petersen, Niklas Christoffer; Villadsen, Jørgen
2017-01-01
We present a formal logical approach using a combinatory categorial grammar for entity level sentiment analysis that utilizes machine learning techniques for efficient syntactical tagging and performs a deep structural analysis of the syntactical properties of texts in order to yield precise...... results. The method should be seen as an alternative to pure machine learning methods for sentiment analysis, which are argued to have high difficulties in capturing long distance dependencies, and can be dependent on significant amount of domain specific training data. The results show that the method...
Digital logic design using verilog coding and RTL synthesis
Taraate, Vaibbhav
2016-01-01
This book is designed to serve as a hands-on professional reference with additional utility as a textbook for upper undergraduate and some graduate courses in digital logic design. This book is organized in such a way that that it can describe a number of RTL design scenarios, from simple to complex. The book constructs the logic design story from the fundamentals of logic design to advanced RTL design concepts. Keeping in view the importance of miniaturization today, the book gives practical information on the issues with ASIC RTL design and how to overcome these concerns. It clearly explains how to write an efficient RTL code and how to improve design performance. The book also describes advanced RTL design concepts such as low-power design, multiple clock-domain design, and SOC-based design. The practical orientation of the book makes it ideal for training programs for practicing design engineers and for short-term vocational programs. The contents of the book will also make it a useful read for students a...
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 creatio...
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.
Constraint Logic Programming approach to protein structure prediction
Directory of Open Access Journals (Sweden)
Fogolari Federico
2004-11-01
Full Text Available Abstract Background The protein structure prediction problem is one of the most challenging problems in biological sciences. Many approaches have been proposed using database information and/or simplified protein models. The protein structure prediction problem can be cast in the form of an optimization problem. Notwithstanding its importance, the problem has very seldom been tackled by Constraint Logic Programming, a declarative programming paradigm suitable for solving combinatorial optimization problems. Results Constraint Logic Programming techniques have been applied to the protein structure prediction problem on the face-centered cube lattice model. Molecular dynamics techniques, endowed with the notion of constraint, have been also exploited. Even using a very simplified model, Constraint Logic Programming on the face-centered cube lattice model allowed us to obtain acceptable results for a few small proteins. As a test implementation their (known secondary structure and the presence of disulfide bridges are used as constraints. Simplified structures obtained in this way have been converted to all atom models with plausible structure. Results have been compared with a similar approach using a well-established technique as molecular dynamics. Conclusions The results obtained on small proteins show that Constraint Logic Programming techniques can be employed for studying protein simplified models, which can be converted into realistic all atom models. The advantage of Constraint Logic Programming over other, much more explored, methodologies, resides in the rapid software prototyping, in the easy way of encoding heuristics, and in exploiting all the advances made in this research area, e.g. in constraint propagation and its use for pruning the huge search space.
[Continuity and transformation of body logic].
Bolens, Guillemette
2003-01-01
This article is concerned with two distinct corporeal logics. In the first, corporeality is founded on joints, tendons, and mobility; in the second, the envelope and its apertures are considered primordial. The first logic is extant in very few works. Although these texts (e.g. The Iliad, Beowulf) clearly share the same, very specific, conception of the body, they belong to different histories. The corporeal logic of the 'jointed body' (corps articulaire) cannot, therefore, be appraised in terms of longue durée. The texts represent, instead, a moment of transition between the psychodynamics of orality and literacy. A problem correlated to this fact is that readers (ancient and modern) no longer think using the same logic as that pertaining to the jointed body. They tend to translate information regarding the logic of the jointed body into data meaningful in their own logic.
All optical programmable logic array (PLA)
Hiluf, Dawit
2018-03-01
A programmable logic array (PLA) is an integrated circuit (IC) logic device that can be reconfigured to implement various kinds of combinational logic circuits. The device has a number of AND and OR gates which are linked together to give output or further combined with more gates or logic circuits. This work presents the realization of PLAs via the physics of a three level system interacting with light. A programmable logic array is designed such that a number of different logical functions can be combined as a sum-of-product or product-of-sum form. We present an all optical PLAs with the aid of laser light and observables of quantum systems, where encoded information can be considered as memory chip. The dynamics of the physical system is investigated using Lie algebra approach.
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.
Molecular processors: from qubits to fuzzy logic.
Gentili, Pier Luigi
2011-03-14
Single molecules or their assemblies are information processing devices. Herein it is demonstrated how it is possible to process different types of logic through molecules. As long as decoherent effects are maintained far away from a pure quantum mechanical system, quantum logic can be processed. If the collapse of superimposed or entangled wavefunctions is unavoidable, molecules can still be used to process either crisp (binary or multi-valued) or fuzzy logic. The way for implementing fuzzy inference engines is declared and it is supported by the examples of molecular fuzzy logic systems devised so far. Fuzzy logic is drawing attention in the field of artificial intelligence, because it models human reasoning quite well. This ability may be due to some structural analogies between a fuzzy logic system and the human nervous system. Copyright © 2011 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.
Trends in merged DRAM-logic computing
Gebis, Joseph
2000-11-01
Recent trends suggest that the current practice of fabricating DRAM and logic on separate dies and different processes should be reexamined. The gap between processing speed and memory latency is growing at 50% per year, and portable systems, where physical size and weight are critical issues, are becoming more popular. Merged DRAM-logic processes address these issues by combining DRAM and logic on a single die; this technology also promises to offer advantages such as increased memory bandwidth, reduced power consumption, and greater flexibility in memory organization. Merged DRAM-logic chips have already been successfully used in several commercial products. More commercial products are planned, and academic research projects are examining future uses of merged DRAM- logic processing. This paper describes the current state of merged DRAM-logic chips and examines proposed architectures, their performance and applications. Finally, tradeoffs and challenges related to the technology are discussed.
How Objects Shape Logics in Construction
DEFF Research Database (Denmark)
Tryggestad, Kjell; Georg, Susse
2011-01-01
The notion of institutional logics is a key tenet in institutional theory but few studies have attended to the micro‐foundations of logics. The sociology of associations is used to explore the micro‐foundations of logics, their emergence and temporal–spatial importance. A case study of the constr......The notion of institutional logics is a key tenet in institutional theory but few studies have attended to the micro‐foundations of logics. The sociology of associations is used to explore the micro‐foundations of logics, their emergence and temporal–spatial importance. A case study...... and identities as emergent and contingent outcomes of the material practices of building construction. The argument is concluded by considering the building construction as a materially mediated meaning structure....
Interdisciplinarity, logic of uncertainty and fuzzy logic in primary school
Directory of Open Access Journals (Sweden)
Luciana Delli Rocili
2015-12-01
Full Text Available On the occasion of the 120th anniversary of Mathesis, this work wants to be a memory, a tribute to two great presidents of Mathesis: Bruno de Finetti and Angelo Fadini. Both have pursued the idea of interdisciplinary teaching and research. Bruno de Finetti, with his books on The invention of truth, (1934, and on Logic and Intuitive Mathematics, (1959, and his very famous "Theory of probability", (1970, shows a rejection of formal education, comfortable, monodisciplinary, made of certainties, and chooses the impervious way of addressing the problems that are to the base of science. Angelo Fadini, with his papers and books on Theory of Fuzzy Sets, shows first in Italy several logical questions which puts as the basis for practical applications in Architecture. This paper is an attempt to experiment, in an interdisciplinary framework, the basic ideas of Bruno de Finetti and Angelo Fadini in primary school, in the belief that in the Primary School are formed ideas and intuitions, while in the secondary school the attention is focused mainly on specific issues of Mathematics. We shows some results of a still ongoing experimentation. Interdisciplinarietà, logica dell'incerto e logica sfumata nella scuola primaria In occasione dei 120 anni della Mathesis, questo lavoro vuole essere un ricordo, un omaggio a due grandi Presidenti della Mathesis: Bruno de Finetti e Angelo Fadini. Entrambi hanno portato avanti l’idea della interdisciplinarietà nell’insegnamento e nella ricerca. Bruno de Finetti, con la sua “Matematica Logico Intuitiva” del 1959, e la sua “Teoria delle probabilità”, del 1970, e ancora prima, con “L’invenzione della verità”, del 1934, mostra un rifiuto dell’insegnamento formale, comodo, monodisciplinare, fatto di certezze, e sceglie la strada impervia dell’affrontare i problemi che sono alla base della scienza. Angelo Fadini, con la sua Teoria degli Insiemi Sfocati, mostra per primo in Italia varie questioni
DC motor speed control using fuzzy logic controller
Ismail, N. L.; Zakaria, K. A.; Nazar, N. S. Moh; Syaripuddin, M.; Mokhtar, A. S. N.; Thanakodi, S.
2018-02-01
The automatic control has played a vital role in the advance of engineering and science. Nowadays in industries, the control of direct current (DC) motor is a common practice thus the implementation of DC motor controller speed is important. The main purpose of motor speed control is to keep the rotation of the motor at the present speed and to drive a system at the demand speed. The main purpose of this project is to control speed of DC Series Wound Motor using Fuzzy Logic Controller (FLC). The expectation of this project is the Fuzzy Logic Controller will get the best performance compared to dc motor without controller in terms of settling time (Ts), rise time (Tr), peak time (Tp) and percent overshoot (%OS).
Innovation barriers originating from the differing logics of network actors:
DEFF Research Database (Denmark)
Aarikka-Stenroos, Leena; Alaranta, Mar
2016-01-01
and negative consequences, such as innovation barriers, it is important to capture how logics are interconnected and how certain organizations influence the conditions of others. we lack understanding of how the diversity challenges innovating in innovation networks and systems by setting innovation barriers....../organization, inter-organizational and ecosystem levels. Our results advance knowledge on the diversity of barriers in collaborative innovation and commercializing science and how they relate to the different actors: a body of knowledge that is increasingly discussed among IMP stream........ The heterogeneity can originate also from the differences in the priorities, interests, and interactional goals of companies (and other organizations) that are labelled as “logics” of innovating firms. Since the different organizations' logics set the structural conditions for innovation and cause both positive...
Analogical proportions: another logical view
Prade, Henri; Richard, Gilles
This paper investigates the logical formalization of a restricted form of analogical reasoning based on analogical proportions, i.e. statements of the form a is to b as c is to d. Starting from a naive set theoretic interpretation, we highlight the existence of two noticeable companion proportions: one states that a is to b the converse of what c is to d (reverse analogy), while the other called paralogical proportion expresses that what a and b have in common, c and d have it also. We identify the characteristic postulates of the three types of proportions and examine their consequences from an abstract viewpoint. We further study the properties of the set theoretic interpretation and of the Boolean logic interpretation, and we provide another light on the understanding of the role of permutations in the modeling of the three types of proportions. Finally, we address the use of these proportions as a basis for inference in a propositional setting, and relate it to more general schemes of analogical reasoning. The differences between analogy, reverse-analogy, and paralogy is still emphasized in a three-valued setting, which is also briefly presented.
Fuzzy Logic for Incidence Geometry
2016-01-01
The paper presents a mathematical framework for approximate geometric reasoning with extended objects in the context of Geography, in which all entities and their relationships are described by human language. These entities could be labelled by commonly used names of landmarks, water areas, and so forth. Unlike single points that are given in Cartesian coordinates, these geographic entities are extended in space and often loosely defined, but people easily perform spatial reasoning with extended geographic objects “as if they were points.” Unfortunately, up to date, geographic information systems (GIS) miss the capability of geometric reasoning with extended objects. The aim of the paper is to present a mathematical apparatus for approximate geometric reasoning with extended objects that is usable in GIS. In the paper we discuss the fuzzy logic (Aliev and Tserkovny, 2011) as a reasoning system for geometry of extended objects, as well as a basis for fuzzification of the axioms of incidence geometry. The same fuzzy logic was used for fuzzification of Euclid's first postulate. Fuzzy equivalence relation “extended lines sameness” is introduced. For its approximation we also utilize a fuzzy conditional inference, which is based on proposed fuzzy “degree of indiscernibility” and “discernibility measure” of extended points. PMID:27689133
Fuzzy logic based robotic controller
Attia, F.; Upadhyaya, M.
1994-01-01
Existing Proportional-Integral-Derivative (PID) robotic controllers rely on an inverse kinematic model to convert user-specified cartesian trajectory coordinates to joint variables. These joints experience friction, stiction, and gear backlash effects. Due to lack of proper linearization of these effects, modern control theory based on state space methods cannot provide adequate control for robotic systems. In the presence of loads, the dynamic behavior of robotic systems is complex and nonlinear, especially where mathematical modeling is evaluated for real-time operators. Fuzzy Logic Control is a fast emerging alternative to conventional control systems in situations where it may not be feasible to formulate an analytical model of the complex system. Fuzzy logic techniques track a user-defined trajectory without having the host computer to explicitly solve the nonlinear inverse kinematic equations. The goal is to provide a rule-based approach, which is closer to human reasoning. The approach used expresses end-point error, location of manipulator joints, and proximity to obstacles as fuzzy variables. The resulting decisions are based upon linguistic and non-numerical information. This paper presents a solution to the conventional robot controller which is independent of computationally intensive kinematic equations. Computer simulation results of this approach as obtained from software implementation are also discussed.
A Dynamic Logic for Learning Theory
DEFF Research Database (Denmark)
Baltag, Alexandru; Gierasimczuk, Nina; Özgün, Aybüke
2017-01-01
Building on previous work that bridged Formal Learning Theory and Dynamic Epistemic Logic in a topological setting, we introduce a Dynamic Logic for Learning Theory (DLLT), extending Subset Space Logics with dynamic observation modalities, as well as with a learning operator, which encodes...... the learner’s conjecture after observing a finite sequence of data. We completely axiomatise DLLT, study its expressivity and use it to characterise various notions of knowledge, belief, and learning. ...
On syntactic action refinement and logic
Majster-Cederbaum, Mila; Salger, Frank
1999-01-01
Action refinement is a useful methodology for the development of concurrent processes in a stepwise manner. We are here interested in establishing a connection between syntactic action refinement and logic. In the syntactic approach to action refinement, reduction functions are used to remove the refinement operators from process-algebraic expressions thereby providing semantics for them. We incorporate a syntactic action refinement operator to the Hennessy-Milner-Logic and define a logical r...
Formalization of Many-Valued Logics
DEFF Research Database (Denmark)
Villadsen, Jørgen; Schlichtkrull, Anders
2017-01-01
Partiality is a key challenge for computational approaches to artificial intelligence in general and natural language in particular. Various extensions of classical two-valued logic to many-valued logics have been investigated in order to meet this challenge. We use the proof assistant Isabelle...... to formalize the syntax and semantics of many-valued logics with determinate as well as indeterminate truth values. The formalization allows for a concise presentation and makes automated verification possible....
DESIGN POWER SYSTEM STABILIZER MENGGUNAKAN FUZZY LOGIC
Directory of Open Access Journals (Sweden)
Ivo Salvador Soares Miranda
2014-10-01
Full Text Available Stabiltas merupakan kemampuan sistem untuk menjaga kondisi operasi seimbang dan kembali kekondisi operasi normal ketika terjadi gangguan. Penerapan power system stabilizer pada sistem tenaga mampu memberikan sinyal respon yang cepat atas berbagai kondisi gangguan dan mengupayakan tidak meluasnya jangkauan gangguan. Dalam mendesign power system stabilizer menggunakan robust fuzzy logic, menggunakan satu sinyal input yaitu kecepatan deviasi rotor. Hasil simulasinya dibandingkan dengan metode fuzzy logic dan kovensional. Studi simulasi menunjukan, design power system stabilizer menggunakan robust fuzzy logic memiliki nilai sinyal peak time dan settling time relatif kecil dibandingkan dengan metode fuzzy logic dan konvensional.
A Verification Logic for GOAL Agents
Hindriks, K. V.
Although there has been a growing body of literature on verification of agents programs, it has been difficult to design a verification logic for agent programs that fully characterizes such programs and to connect agent programs to agent theory. The challenge is to define an agent programming language that defines a computational framework but also allows for a logical characterization useful for verification. The agent programming language GOAL has been originally designed to connect agent programming to agent theory and we present additional results here that GOAL agents can be fully represented by a logical theory. GOAL agents can thus be said to execute the corresponding logical theory.
Towards a formal logic of design rationalization
DEFF Research Database (Denmark)
Galle, Per
1997-01-01
Certain extensions to standard predicate logic are proposed and used as a framework for critical logical study of patterns of inference in design reasoning. It is shown that within this framework a modal logic of design rationalization (suggested by an empirical study reported earlier) can...... be formally defined in terms of quantification over a universe of discourse of ‘relevant points of view’. Five basic principles of the extended predicate logic are listed, on the basis of which the validity of ten modal patterns of inference encountered in design rationalization is tested. The basic idea...
Classical Logic and Quantum Logic with Multiple and Common Lattice Models
Directory of Open Access Journals (Sweden)
Mladen Pavičić
2016-01-01
Full Text Available We consider a proper propositional quantum logic and show that it has multiple disjoint lattice models, only one of which is an orthomodular lattice (algebra underlying Hilbert (quantum space. We give an equivalent proof for the classical logic which turns out to have disjoint distributive and nondistributive ortholattices. In particular, we prove that both classical logic and quantum logic are sound and complete with respect to each of these lattices. We also show that there is one common nonorthomodular lattice that is a model of both quantum and classical logic. In technical terms, that enables us to run the same classical logic on both a digital (standard, two-subset, 0-1-bit computer and a nondigital (say, a six-subset computer (with appropriate chips and circuits. With quantum logic, the same six-element common lattice can serve us as a benchmark for an efficient evaluation of equations of bigger lattice models or theorems of the logic.
Devaraju, Naga Sai Gopi K; Unger, Marc A
2012-11-21
Advances in microfluidics now allow an unprecedented level of parallelization and integration of biochemical reactions. However, one challenge still faced by the field has been the complexity and cost of the control hardware: one external pressure signal has been required for each independently actuated set of valves on chip. Using a simple post-modification to the multilayer soft lithography fabrication process, we present a new implementation of digital fluidic logic fully analogous to electronic logic with significant performance advances over the previous implementations. We demonstrate a novel normally closed static gain valve capable of modulating pressure signals in a fashion analogous to an electronic transistor. We utilize these valves to build complex fluidic logic circuits capable of arbitrary control of flows by processing binary input signals (pressure (1) and atmosphere (0)). We demonstrate logic gates and devices including NOT, NAND and NOR gates, bi-stable flip-flops, gated flip-flops (latches), oscillators, self-driven peristaltic pumps, delay flip-flops, and a 12-bit shift register built using static gain valves. This fluidic logic shows cascade-ability, feedback, programmability, bi-stability, and autonomous control capability. This implementation of fluidic logic yields significantly smaller devices, higher clock rates, simple designs, easy fabrication, and integration into MSL microfluidics.
Techno-economic assessment of catalytic gasification of biomass powders for methanol production.
Carvalho, Lara; Furusjö, Erik; Kirtania, Kawnish; Wetterlund, Elisabeth; Lundgren, Joakim; Anheden, Marie; Wolf, Jens
2017-08-01
This study evaluated the techno-economic performance and potential benefits of methanol production through catalytic gasification of forest residues and lignin. The results showed that while catalytic gasification enables increased cold gas efficiencies and methanol yields compared to non-catalytic gasification, the additional pre-treatment energy and loss of electricity production result in small or no system efficiency improvements. The resulting required methanol selling prices (90-130€/MWh) are comparable with production costs for other biofuels. It is concluded that catalytic gasification of forest residues can be an attractive option as it provides operational advantages at production costs comparable to non-catalytic gasification. The addition of lignin would require lignin costs below 25€/MWh to be economically beneficial. Copyright © 2017 Elsevier Ltd. All rights reserved.
Techno-economic evaluation of hybrid energy storage technologies for a solar–wind generation system
International Nuclear Information System (INIS)
Ren, L.; Tang, Y.; Shi, J.; Dou, J.; Zhou, S.; Jin, T.
2013-01-01
Highlights: ► The techno-economic feasibility of four ESSs is studied. ► The hybrid ESS applied on a renewable energy generation system is feasible. ► From the technical and economic viewpoint, case 3 is the optimal hybrid ESS. -- Abstract: Huazhong University of Science and Technology is planning to establish a hybrid solar–wind generation dynamic simulation laboratory. Energy storage technologies will be vital to this system for load leveling, power quality control and stable output. In this paper, the technical feasibility of energy storage technologies for renewable intermittent sources like wind and solar generation is analyzed. Furthermore, the different combination modes of energy storage technologies are proposed. The involved energy storage technologies include superconducting magnetic energy storage systems (SMESs), flywheels (FWs), electrochemical super-capacitors (SCs) and redox flow batteries (RFBs). Based on that, the economic analysis of hybrid energy storage technologies is conducted
Dark science and techno-utopia: the conservative approach of C. S. Lewis
Directory of Open Access Journals (Sweden)
Mario Ramos Vera
2017-08-01
Full Text Available The rise of scientific, illustrated and progressive late nineteenth century utopias triggered proposals with alternative meanings. Some of those were articulated through a conservative thought as well as a christian, transcendent and otherworldly metanarrative. C. S. Lewis, for example, provided his answer to the techno-utopia in his essay The Abolition of Man as well as in the novel That Hideous Strength —conclusion of the Cosmic Trilogy (or Ransom Trilogy. We will introduce his challenge through three different arguments: (1 contrary to the project of personality conditioning , education is a link of continuity with the past and of respect for tradition; (2 in the light of the methodological atheism of these dystopias elicited the metaphysical and transcendent lewisian foundation of the imperfection of the human condition; (3 He will reply to the arrogance of social and political engineering by reducing power to a technical criterion of instrumental knowledge with the modest language of politics.
Techno-economic Analysis for the Thermochemical Conversion of Biomass to Liquid Fuels
Energy Technology Data Exchange (ETDEWEB)
Zhu, Yunhua; Tjokro Rahardjo, Sandra A.; Valkenburt, Corinne; Snowden-Swan, Lesley J.; Jones, Susanne B.; Machinal, Michelle A.
2011-06-01
). This study is part of an ongoing effort within the Department of Energy to meet the renewable energy goals for liquid transportation fuels. The objective of this report is to present a techno-economic evaluation of the performance and cost of various biomass based thermochemical fuel production. This report also documents the economics that were originally developed for the report entitled “Biofuels in Oregon and Washington: A Business Case Analysis of Opportunities and Challenges” (Stiles et al. 2008). Although the resource assessments were specific to the Pacific Northwest, the production economics presented in this report are not regionally limited. This study uses a consistent technical and economic analysis approach and assumptions to gasification and liquefaction based fuel production technologies. The end fuels studied are methanol, ethanol, DME, SNG, gasoline and diesel.
A techno-economic comparison of rural electrification based on solar home systems and PV microgrids
International Nuclear Information System (INIS)
Chaurey, A.; Kandpal, T.C.
2010-01-01
Solar home systems are typically used for providing basic electricity services to rural households that are not connected to electric grid. Off-grid PV power plants with their own distribution network (micro/minigrids) are also being considered for rural electrification. A techno-economic comparison of the two options to facilitate a choice between them is presented in this study on the basis of annualised life cycle costs (ALCC) for same type of loads and load patterns for varying number of households and varying length and costs of distribution network. The results highlight that microgrid is generally a more economic option for a village having a flat geographic terrain and more than 500 densely located households using 3-4 low power appliances (e.g. 9 W CFLs) for an average of 4 h daily. The study analyses the viability of the two options from the perspectives of the user, an energy service company and the society.
Techno-economic analysis of a local district heating plant under fuel flexibility and performance
DEFF Research Database (Denmark)
Rudra, Souman; Rosendahl, Lasse
2017-01-01
Brovst is a small district in Denmark. This paper analyses the use of local renewable resources in the district heating systems of Brovst. The present use of fossil fuels in the Brovst district heating plant (DHP) represents an increasing environmental and climate-related load. Therefore......, an investigation has been made to reduce the use of fossil fuels for district heating system and make use of the local renewable resources (biogas, solar, and heat pump) for district heating purposes. In this article, the techno-economic assessment is achieved through the development of a suite of models......PRO, which has been used to analyze the integration of a large-scale energy system into the domestic district heating system. A model of the current work on the basis of information from the Brovst plant (using fossil fuel) is established and named as a reference option. Then, four other options...
Introducing GEOPHIRES v2.0: Updated Geothermal Techno-Economic Simulation Tool
Energy Technology Data Exchange (ETDEWEB)
Beckers, Koenraad J [National Renewable Energy Laboratory (NREL), Golden, CO (United States); McCabe, Kevin [National Renewable Energy Laboratory (NREL), Golden, CO (United States)
2018-02-14
This paper presents an updated version of the geothermal techno-economic simulation tool GEOPHIRES (GEOthermal energy for Production of Heat and electricity ('IR') Economically Simulated). GEOPHIRES combines engineering models of the reservoir, wellbores, and surface plant facilities of a geothermal plant with an economic model to estimate the capital and operation and maintenance costs, lifetime energy production, and overall levelized cost of energy. The available end-use options are electricity, direct-use heat, and cogeneration. The main updates in the new version include conversion of the source code from FORTRAN to Python, the option to import temperature data (e.g., measured or from stand-alone reservoir simulator), updated cost correlations, and more flexibility in selecting the time step and number of injection and production wells. In this paper, we provide an overview of all the updates and two case studies to illustrate the tool's new capabilities.
TECHNO-ECONOMIC STUDY FOR L-LYSINE PRODUCTION AS THE BUSINESS OPPORTUNITIES IN SUGAR INDUSTRY
Directory of Open Access Journals (Sweden)
Glenia Rabassa Olazábal
2015-10-01
Full Text Available In the present work, we made a techno-economic evaluation in order to produce L-lysine through modern tools of evaluation and processes investigation such as the SuperPro Designer® simulator, version 9.0 (9 and Microsoft Excel. We evaluate the employment of final honey as main raw material. All the stages for the process of production are set and we define the unitary and updated rules and prices, the capacity and the equipment cost. From the conducted study, we conclude that is feasible the production of L-lysine as a business opportunity for the sugar industry because it produce positive and dynamic indicators such as a NPV of $703 000, an IRR of 18.30 %, and a recovery time of 4.84 years. What influences the most the costs is the acquisition of raw material with a 50.28 % of total operation costs.
INTERACTIVITY BETWEEN BODIES AND MILIEUS WITHIN TECHNO-AESTHETIC ART OBJECTS
Directory of Open Access Journals (Sweden)
Andreia Machado Oliveira
Full Text Available Abstract Relations consist of processual interactivity between bodies and milieus which do not differentiate between the natural and the artificial, human and non-human. Our paper seeks to problematize the experience of the encounter with an artwork seen as a techno-aesthetic object constitutive of interactivity and addresses the idea of degrees of interactivity as produced with and within an artwork as an associated milieu. In this sense, we posit various degrees of interactivity in a relational experience: mixtures, attractions, embodiments and perceptions. Thus, interactive processes are driven by an ethics of the potential of bodies to act by what a body can do in its intensity, in the dynamics of degrees of interactivity in the experience. These ideas emerge from the philosophical writings of Baruch Spinoza, Gilbert Simondon and Gilles Deleuze and are applied to the field of art in order to allow an understanding of the relations between bodies and associated milieus.
Black liquor fractionation for biofuels production - a techno-economic assessment.
Mesfun, Sennai; Lundgren, Joakim; Grip, Carl-Erik; Toffolo, Andrea; Nilsson, Rasika Lasanthi Kudahettige; Rova, Ulrika
2014-08-01
The hemicelluloses fraction of black liquor is an underutilized resource in many chemical pulp mills. It is possible to extract and separate the lignin and hemicelluloses from the black liquor and use the hemicelluloses for biochemical conversion into biofuels and chemicals. Precipitation of the lignin from the black liquor would consequently decrease the thermal load on the recovery boiler, which is often referred to as a bottleneck for increased pulp production. The objective of this work is to techno-economically evaluate the production of sodium-free lignin as a solid fuel and butanol to be used as fossil gasoline replacement by fractionating black liquor. The hydrolysis and fermentation processes are modeled in Aspen Plus to analyze energy and material balances as well as to evaluate the plant economics. A mathematical model of an existing pulp and paper mill is used to analyze the effects on the energy performance of the mill subprocesses. Copyright © 2014 Elsevier Ltd. All rights reserved.
Techno-economic modelling to strategize energy exports in the Central Asian Caspian region.
Bakdolotov, Aidyn; Miglio, Rocco De; Akhmetbekov, Yerbol; Baigarin, Kanat
2017-04-01
This paper studies the concept of energy security from export-oriented countries' point of view. It aims to test the effects of long-term energy export strategies in the Central Asian Caspian (CAC) region, by exploring the trade-offs between a "risk" indicator and some key variables of the energy system such as the total cost, the quantities exported, and the corresponding revenues. Risk reduction goals are combined with securing a minimum level of revenues from the hydrocarbon exports goals. It is also attempted to provide a definition and a quantification of a risk indicator on the basis of four components. The analysis makes use of a techno-economic energy system model to quantitatively evaluate the response of the energy sector to energy security risks, and its sensitivity to different export strategies.
Comparative techno-economic assessment and LCA of selected integrated sugarcane-based biorefineries.
Gnansounou, Edgard; Vaskan, Pavel; Pachón, Elia Ruiz
2015-11-01
This work addresses the economic and environmental performance of integrated biorefineries based on sugarcane juice and residues. Four multiproduct scenarios were considered; two from sugar mills and the others from ethanol distilleries. They are integrated biorefineries producing first (1G) and second (2G) generation ethanol, sugar, molasses (for animal feed) and electricity in the context of Brazil. The scenarios were analysed and compared using techno-economic value-based approach and LCA methodology. The results show that the best economic configuration is provided by a scenario with largest ethanol production while the best environmental performance is presented by a scenario with full integration sugar - 1G2G ethanol production. Copyright © 2015 Elsevier Ltd. All rights reserved.
Electrical Components for Marine Renewable Energy Arrays: A Techno-Economic Review
Directory of Open Access Journals (Sweden)
Adam J. Collin
2017-11-01
Full Text Available This paper presents a review of the main electrical components that are expected to be present in marine renewable energy arrays. The review is put in context by appraising the current needs of the industry and identifying the key components required in both device and array-scale developments. For each component, electrical, mechanical and cost considerations are discussed; with quantitative data collected during the review made freely available for use by the community via an open access online repository. This data collection updates previous research and addresses gaps specific to emerging offshore technologies, such as marine and floating wind, and provides a comprehensive resource for the techno-economic assessment of offshore energy arrays.
Directory of Open Access Journals (Sweden)
Alejandra Roca
2015-06-01
Full Text Available In this paper, we want to explore the modifications and procedures that delineate limits between the notions of body, sexuality, and nature. Based on ethnographic fieldwork in public institutions of Buenos Aires and La Plata (Argentina, we examine the medical-legal process concerning "sex reassignment" in transsexual people, which illuminates the unfold senses about the plasticity and precariousness of 'human essences', as well as the tensions between what human is (identity and what he/she wants to be (project. We discuss the proposals of transhumanism, accepting that the soteriological dimension of biosciences enable the hopes of techno-redemption. Finally, we intend to contribute with a reflection about the role of scientific categories and the political perspective of the emergence of identities and collective resistances about the tutelage of cognitive and material control of the biosciences.
Techno-economic assessment of central sorting at material recovery facilities
DEFF Research Database (Denmark)
Cimpan, Ciprian; Maul, Anja; Wenzel, Henrik
2016-01-01
by documenting typical steps taken in a techno-economic assessment of MRFs, using the specific example of lightweight packaging waste (LWP) sorting in Germany. Thus, the study followed the steps of dimensioning of buildings and equipment, calculation of processing costs and projections of revenues from material......) and technological level, the analysis revealed the cost impact of economies of scale, as well as complementary relations linking capacity, technology and process efficiency. Hence, within a fourfold increase in capacity (from 25,000 to 100,000 tonnes per year), the total capital investment was shown to triple from...... 7 to 21 million EUR and the yearly operational expenditure grew by a factor of 2.4 from 2 to 4.7 million EUR. As a result, specific unit processing cost decreased from 110 to 70 EUR/tonne. Material sales and disposal costs summed to between a net cost of 25 EUR/tonne and net revenue of 50 EUR...
Introducing GEOPHIRES v2.0: Updated Geothermal Techno-Economic Simulation Tool: Preprint
Energy Technology Data Exchange (ETDEWEB)
Beckers, Koenraad J [National Renewable Energy Laboratory (NREL), Golden, CO (United States); McCabe, Kevin [National Renewable Energy Laboratory (NREL), Golden, CO (United States)
2018-02-16
This paper presents an updated version of the geothermal techno-economic simulation tool GEOPHIRES (GEOthermal Energy for Production of Heat and electricity (IR) Economically Simulated). GEOPHIRES combines reservoir, wellbore, surface plant and economic models to estimate the capital, and operation and maintenance costs, lifetime energy production, and overall levelized cost of energy of a geothermal plant. The available end-use options are electricity, direct-use heat and cogeneration. The main updates in the new version include conversion of the source code from FORTRAN to Python, the option to couple to an external reservoir simulator, updated cost correlations, and more flexibility in selecting the time step and number of injection and production wells. An overview of all the updates and two case-studies to illustrate the tool's new capabilities are provided in this paper.
Techno-economic risk analysis of glycerol biorefinery concepts against market price fluctuation
DEFF Research Database (Denmark)
Gargalo, Carina L.; Cheali, Peam; Gernaey, Krist
. The high-value added bio-products boost profitability, the high-volume fuel helps meet national energy targets, and the power production cuts costs and dodges greenhouse-gas emissions [1] [2] [3]. The increasing amount of biodiesel production worldwide (e.g. from vegetable oils, palm oil, animal fats...... glycerol prices. Therefore, in order to increase the economic competitiveness of the biodiesel industry, there is an increasing interest in adding value using the glycerol waste stream as feedstock for the synthesis of bio-derived building block compounds and polymers [5] [6] [7] [8] [4] [9]. Moreover...... earlier [11][12][13][14][15] and compare them in terms of techno-economic performance including minimum selling price calculation for potential high-value added products. In particular, we address the challenge of price volatility (both glycerol as feedstock and high-value added chemicals...
Han, Wei; Fang, Jun; Liu, Zhixiang; Tang, Junhong
2016-02-01
In this study, the techno-economic evaluation of a combined bioprocess based on solid state fermentation for fermentative hydrogen production from food waste was carried out. The hydrogen production plant was assumed to be built in Hangzhou and designed for converting 3 ton food waste per day into hydrogen. The total capital cost (TCC) and the annual production cost (APC) were US$583092 and US$88298.1/year, respectively. The overall revenue after the tax was US$146473.6/year. The return on investment (ROI), payback period (PBP) and internal rate of return (IRR) of the plant were 26.75%, 5 years and 24.07%, respectively. The results exhibited that the combined bioprocess for hydrogen production from food waste was feasible. This is an important study for attracting investment and industrialization interest for hydrogen production from food waste in the industrial scale. Copyright © 2015 Elsevier Ltd. All rights reserved.
Cavity-cavity conditional logic
Rosenblum, Serge; Gao, Yvonne Y.; Reinhold, Philip; Wang, Chen; Axline, Christopher; Frunzio, Luigi; Girvin, Steven M.; Jiang, Liang; Mirrahimi, Mazyar; Devoret, Michel H.; Schoelkopf, Robert J.
In a superconducting circuit architecture, the highest coherence times are typically offered by 3D cavities. Moreover, these cavities offer a hardware-efficient way of redundantly encoding quantum information. While single-qubit control on a cavity has already been demonstrated, there is a need for a universal two-qubit gate between such cavities. In this talk, we demonstrate a cavity-cavity gate by parametric pumping on a fixed-frequency transmon interacting with the two cavities. Every gate application lowers the state fidelity by only 1%, while maintaining an entangling rate on-off ratio of 29dB. Additionally, we show that the gate is applicable not only to qubits consisting of single photons, but also to more complex encodings. These results illustrate the usefulness of cavities beyond the mere storage of quantum information, and pave the way towards gates between error-corrected logical qubits.
Design of reconfigurable logic controllers
Bukowiec, Arkadiusz; Doligalski, Michał; Tkacz, Jacek
2016-01-01
This book presents the original concepts and modern techniques for specification, synthesis, optimisation and implementation of parallel logical control devices. It deals with essential problems of reconfigurable control systems like dependability, modularity and portability. Reconfigurable systems require a wider variety of design and verification options than the application-specific integrated circuits. The book presents a comprehensive selection of possible design techniques. The diversity of the modelling approaches covers Petri nets, state machines and activity diagrams. The preferences of the presented optimization and synthesis methods are not limited to increasing of the efficiency of resource use. One of the biggest advantages of the presented methods is the platform independence, the FPGA devices and single board computers are some of the examples of possible platforms. These issues and problems are illustrated with practical cases of complete control systems. If you expect a new look at the recon...
Logical errors on proving theorem
Sari, C. K.; Waluyo, M.; Ainur, C. M.; Darmaningsih, E. N.
2018-01-01
In tertiary level, students of mathematics education department attend some abstract courses, such as Introduction to Real Analysis which needs an ability to prove mathematical statements almost all the time. In fact, many students have not mastered this ability appropriately. In their Introduction to Real Analysis tests, even though they completed their proof of theorems, they achieved an unsatisfactory score. They thought that they succeeded, but their proof was not valid. In this study, a qualitative research was conducted to describe logical errors that students made in proving the theorem of cluster point. The theorem was given to 54 students. Misconceptions on understanding the definitions seem to occur within cluster point, limit of function, and limit of sequences. The habit of using routine symbol might cause these misconceptions. Suggestions to deal with this condition are described as well.
Classical foundations of quantum logic
International Nuclear Information System (INIS)
Garola, C.
1991-01-01
The author constructs a language L for a classical first-order predicate calculus with monadic predicates only, extended by means of a family of statistical quantifiers. Then, a formal semantic model M is put forward for L which is compatible with a physical interpretation and embodies a truth theory which provides the statistical quantifiers with properties that fit their interpretation; in this framework, the truth mode of physical laws is suitably characterized and a probability-frequency correlation principle is established. By making use of L and M, a set of basic physical laws is stated that hold both in classical physics (CP) and in quantum physics (QP), which allow the selection of suitable subsets of primitive predicates of L and the introduction on these subsets of binary relations. Two languages L E x and L E S are constructed that can be mapped into L; the mapping induces on them mathematical structures, some kind of truth function, an interpretation. The formulas of L E S can be endowed with two different interpretations as statements about the frequency of some physical property in some class (state) of physical objects; consequently, a two-valued truth function and a multivalued fuzzy-truth function are defined on L E S . In all cases the algebras of propositions of these 'logics' are complete ortho-complemented lattices isomorphic to (E E , prec). These results hold both in CP and in QP; further physical assumptions endow the lattice (E E , prec), hence L E x and L E s , with further properties, such as distributivity in CP and weak modularity and covering law in QP. In the latter case, L E x and L E s , together with their interpretations, can be considered different models of the same basic mathematical structure, and can be identified with standard (elementary) quantum logics