Low Power, Reduced Dynamic Voltage Swing Domino Logic Circuits
Salendra.Govindarajulu; Dr.T.Jayachandra Prasad; Rangappa, P
2010-01-01
Dynamic domino logic circuits are widely used in modern digital VLSI circuits. These dynamic circuits are often favoured in high performance designs because of the speed advantage offered over static CMOS logic circuits. The main drawbacks of dynamic logic are a lack of design automation, a decreased tolerance to noise and increased power dissipation. In this work, new reduced – swing domino logic techniques which provide significant low power dissipation as compared to traditional domino cir...
DOIND: a technique for leakage reduction in nanoscale domino logic circuits
Prasad Shah, Ambika; Neema, Vaibhav; Daulatabad, Shreeniwas
2016-05-01
A novel DOIND logic approach is proposed for domino logic, which reduces the leakage current with a minimum delay penalty. Simulation is performed at 70 nm technology node with supply voltage 1V for domino logic and DOIND logic based AND, OR, XOR and Half Adder circuits using the tanner EDA tool. Simulation results show that the proposed DOIND approach decreases the average leakage current by 68.83%, 66.6%, 77.86% and 74.34% for 2 input AND, OR, XOR and Half Adder respectively. The proposed approach also has 47.76% improvement in PDAP for the buffer circuit as compared to domino logic.
Low Power Dynamic Logic Ripple Carry Adder Using Footed Diode Domino Logic
Directory of Open Access Journals (Sweden)
P. Krishna Karthik
2014-03-01
Full Text Available In recent electronic devices power saving has more importance than any other thing. Dynamic logic circuits are one of the basic power efficient circuits which comes into picture when dealt with low power. Dynamic logic circuits operate mainly in two phases, namely Pre-charge and evaluate phase. Domino logic circuits are more power efficient and cooperatively faster circuits which operate on the above two phases. For extremely low power applications footed diode domino logic is applied. This paper mainly deals with design of Dynamic logic circuit design based on footed diode domino logic with reduction in power and leakage current. In this proposed circuit we put a diode on the foot of domino logic circuit which results in power reduction as compared to reported and conventional domino logic. We are using NMOS as a diode and due to this extra diode (NMOS, in pre-charge period leakage current reduce due to stacking effect. Approximately 32% of power is saved using footed diode domino logic. For Simulation we are using tanner tool at 180nm technology.
A Novel Power Reduction Technique for Dual-Threshold Domino Logic in Sub-65nm Technology
Directory of Open Access Journals (Sweden)
Tarun Kr. Gupta
2013-03-01
Full Text Available A novel technique for dual- threshold is proposed and examined with inputs and clock signals combinationin 65nm dual- threshold footerless domino circuit for reduced leakage current. In this technique a p-typeand an n-type leakage controlled transistor (LCTsare introduced between the pull-up and pull-downnetwork and the gate of one is controlled by the source of the other. A high-threshold transistor is used inthe input for reducing gate oxide leakage current which becomes dominant in nanometer technology.Simulations based on 65nm BISM4 model for proposeddomino circuits shows that CLIL (clock low andinput low and CHIH (clock high and input high state is ineffective for lowering leakage current. TheCLIH (clock low input high state is only effective to suppress the leakage at low and high temperatures forwide fan-in domino circuits but for AND gate CHIL (clock high input low state is preferred to reducetheleakage current. The proposed circuit technique forAND2, OR2, OR4 and OR8 circuits reduces the activepower consumption by 39.6% to 57.9% and by 32.4% to40.3% at low and high die temperaturesrespectively when compared to the standard dual-threshold voltage domino logic circuits.
A Novel Power Reduction Technique for Dual-Threshold Domino Logic in Sub-65nm Technology
Directory of Open Access Journals (Sweden)
Tarun Kr. Gupta
2013-02-01
Full Text Available A novel technique for dual- threshold is proposed and examined with inputs and clock signals combinationin 65nm dual- threshold footerless domino circuit for reduced leakage current. In this technique a p-typeand an n-type leakage controlled transistor (LCTsare introduced between the pull-up and pull-downnetwork and the gate of one is controlled by the source of the other. A high-threshold transistor is used inthe input for reducing gate oxide leakage current which becomes dominant in nanometer technology.Simulations based on 65nm BISM4 model for proposeddomino circuits shows that CLIL (clock low andinput low and CHIH (clock high and input high state is ineffective for lowering leakage current. TheCLIH (clock low input high state is only effective to suppress the leakage at low and high temperatures forwide fan-in domino circuits but for AND gate CHIL (clock high input low state is preferred to reducetheleakage current. The proposed circuit technique forAND2, OR2, OR4 and OR8 circuits reduces the activepower consumption by 39.6% to 57.9% and by 32.4% to40.3% at low and high die temperaturesrespectively when compared to the standard dual-threshold voltage domino logic circuits.
Domino logic designs for high-performance and leakage-tolerant applications
DEFF Research Database (Denmark)
Moradi, Farshad; Vu Cao, Tuan; Vatajelu, Elena Ioana;
2013-01-01
Robustness of high fan-in domino circuits is degraded by technology scaling due to exponential increase in leakage. In this paper, we propose several domino logic circuit techniques to improve the robustness and performance along with leakage power. Lower total power consumption is achieved by ut...
Domino logic designs for high-performance and leakage-tolerant applications
DEFF Research Database (Denmark)
Moradi, Farshad; Vu Cao, Tuan; Vatajelu, Elena Ioana
2013-01-01
Robustness of high fan-in domino circuits is degraded by technology scaling due to exponential increase in leakage. In this paper, we propose several domino logic circuit techniques to improve the robustness and performance along with leakage power. Lower total power consumption is achieved...... by utilizing proposed techniques. According to the simulations in TSMC 65 nm CMOS process, the proposed circuits increase noise immunity for wide OR gates by at least 3.5X and shows performance improvement of up to 20% compared to conventional domino logic circuits. For FinFET simulation TCAD tools have been...
Robustness aware high performance high fan-in domino OR logic design
Institute of Scientific and Technical Information of China (English)
Gong Na; Wang Jinhui; Guo Baozeng; Wang Yongqing; Cao Xiaobing; Tian Xiuli
2009-01-01
A novel technique using a keeper with a simultaneous low supply voltage and low body voltage is proposed to improve the overall performance of high fan-in OR gates without modifying the physical dimensions of the keeper. Simulation results of a 16-input domino OR gate using 45 nm CMOS technology show that the proposed technique could trade off between a high power/speed efficient operation and the robustness to noise effectively.Also, a Monte Carlo analysis indicates that the proposed domino OR gate is more robust to parameter variation compared to a conventional domino OR gate.
Off-Line Testing for Bridge Faults in CMOS Domino Logic Circuits
Bennett, K.; Lala, P. K.; Busaba, F.
1997-01-01
Bridge faults, especially in CMOS circuits, have unique characteristics which make them difficult to detect during testing. This paper presents a technique for detecting bridge faults which have an effect on the output of CMOS Domino logic circuits. The faults are modeled at the transistor level and this technique is based on analyzing the off-set of the function during off-line testing.
DEFF Research Database (Denmark)
Moradi, Farshad; Peiravi, Ali; Mahmoodi, Hamid
As the CMOS manufacturing process scales down into the ultra deep sub-micron regime, the leakage current becomes an increasingly more important consideration in VLSI circuit design. In this paper, a high speed and noise immune domino logic circuit is presented which uses the property of the footer...... transistor to alleviate the sensitivity of the dynamic node to noise and results in improved performance. The new circuit has been added to conventional footed standard domino logic for highly improving leakage tolerance, especially at the beginning of the evaluation phase. According to simulation results...
Voltage controlled spintronics device for logic applications.
Energy Technology Data Exchange (ETDEWEB)
Bader, S. D.; You, C.-Y.
1999-09-03
We consider logic device concepts based on our previously proposed spintronics device element whose magnetization orientation is controlled by application of a bias voltage instead of a magnetic field. The basic building block is the voltage-controlled rotation (VCR) element that consists of a four-layer structure--two ferromagnetic layers separated by both nanometer-thick insulator and metallic spacer layers. The interlayer exchange coupling between the two ferromagnetic layers oscillates as a function of applied voltage. We illustrate transistor-like concepts and re-programmable logic gates based on VCR elements.
DEFF Research Database (Denmark)
Moradi, Farshad; Peiravi, Ali; Mahmoodi, Hamid
As the CMOS manufacturing process scales down into the ultra deep sub-micron regime, the leakage current becomes an increasingly more important consideration in VLSI circuit design. In this paper, a high speed and noise immune domino logic circuit is presented which uses the property of the footer...
Monte Carlo analysis of a low power domino gate under parameter fluctuation
Institute of Scientific and Technical Information of China (English)
Wang Jinhui; Wu Wuchen; Gong Na; Hou Ligang; Peng Xiaohong; Gao Daming
2009-01-01
Using the multiple-parameter Monte Carlo method, the effectiveness of the dual threshold voltage technique (DTV) in low power domino logic design is analyzed. Simulation results indicate that under significant temperature and process fluctuations, DTV is still highly effective in reducing the total leakage and active power consumption for domino gates with speed loss. Also, regarding power and delay characteristics, different structure domino gates with DTV have different robustness against temperature and process fluctuation.
Monte Carlo analysis of a low power domino gate under parameter fluctuation
Energy Technology Data Exchange (ETDEWEB)
Wang Jinhui; Wu Wuchen; Hou Ligang; Peng Xiaohong; Gao Daming [VLSI and System Laboratory, Beijing University of Technology, Beijing 100124 (China); Gong Na, E-mail: wangjinhui888@emails.bjut.edu.c [Department of Computer Science and Engineering, State University of New York at Buffalo, Buffalo 14260, NY (United States)
2009-12-15
Using the multiple-parameter Monte Carlo method, the effectiveness of the dual threshold voltage technique (DTV) in low power domino logic design is analyzed. Simulation results indicate that under significant temperature and process fluctuations, DTV is still highly effective in reducing the total leakage and active power consumption for domino gates with speed loss. Also, regarding power and delay characteristics, different structure domino gates with DTV have different robustness against temperature and process fluctuation. (semiconductor integrated circuits)
Gallium Arsenide Domino Circuit
Yang, Long; Long, Stephen I.
1990-01-01
Advantages include reduced power and high speed. Experimental gallium arsenide field-effect-transistor (FET) domino circuit replicated in large numbers for use in dynamic-logic systems. Name of circuit denotes mode of operation, which logic signals propagate from each stage to next when successive stages operated at slightly staggered clock cycles, in manner reminiscent of dominoes falling in a row. Building block of domino circuit includes input, inverter, and level-shifting substages. Combinational logic executed in input substage. During low half of clock cycle, result of logic operation transmitted to following stage.
Ravan, Hadi; Amandadi, Mojdeh; Esmaeili-Mahani, Saeed
2017-06-06
In recent years, the analytical application of logical nanodevices has attracted much attention for making accurate decisions on molecular diagnosis. Herein, a DNA domino-based nanoscale logic circuit has been constructed by integrating three logic gates (AND-AND-YES) for simultaneous analysis of multiple nucleic acid biomarkers. In the first AND gate, a chimeric target DNA comprising of four biomarkers was hybridized to three biomarker-specific oligonucleotides (TRs) via their 5'-end regions and to a capture probe-magnetic microparticle. After harvesting the complex, 3' overhang regions of the TRs were labeled with three distinct monolayer double-stranded (ds) DNA-gold nanoparticles (DNA-AuNPs). Upon gleaning the complex and addition of initiator oligonucleotide, a series of toehold-mediated strand displacement reactions, which are reminiscent of a domino chain, spontaneously occurred between the confined dsDNAs on the nanoparticles' surface in the second AND gate. The output of the second gate entered into the last gate and triggered an exponential hairpin assembly to form four-way junction nanostructures. The resulting nanostructures bear split parts of DNAzyme at each end of the four arms which, in the presence of hemin, form catalytic hemin/G-quadruplex DNAzymes with peroxidase activity. The smart biosensor has exhibited a turn-on signal when all biomarkers are present in the sample. In fact, should any of the biomarkers be nonexistent, the signal remains turned-off. The biosensor can detect the biomarkers with a LOD value of 100 aM and a noticeable capability to discriminate single-nucleotide substitutions.
Subnanowatt carbon nanotube complementary logic enabled by threshold voltage control.
Geier, Michael L; Prabhumirashi, Pradyumna L; McMorrow, Julian J; Xu, Weichao; Seo, Jung-Woo T; Everaerts, Ken; Kim, Chris H; Marks, Tobin J; Hersam, Mark C
2013-10-09
In this Letter, we demonstrate thin-film single-walled carbon nanotube (SWCNT) complementary metal-oxide-semiconductor (CMOS) logic devices with subnanowatt static power consumption and full rail-to-rail voltage transfer characteristics as is required for logic gate cascading. These results are enabled by a local metal gate structure that achieves enhancement-mode p-type and n-type SWCNT thin-film transistors (TFTs) with widely separated and symmetric threshold voltages. These complementary SWCNT TFTs are integrated to demonstrate CMOS inverter, NAND, and NOR logic gates at supply voltages as low as 0.8 V with ideal rail-to-rail operation, subnanowatt static power consumption, high gain, and excellent noise immunity. This work provides a direct pathway for solution processable, large area, power efficient SWCNT advanced logic circuits and systems.
van Leeuwen, J M J
2013-01-01
The conditions are investigated under which a row of increasing dominoes is able to keep tumbling over. The analysis is restricted to the simplest case of frictionless dominoes that only can topple not slide. The model is scale invariant, i.e. dominoes and distance grow in size at a fixed rate, while keeping the aspect ratios of the dominoes constant. The maximal growth rate for which a domino effect exist is determined as a function of the mutual separation.
Low-Voltage MOS Current Mode Logic Multiplexer
Directory of Open Access Journals (Sweden)
K. Gupta
2013-04-01
Full Text Available In this paper, a new low-voltage MOS current mode logic (MCML multiplexer based on the triple-tail cell concept is proposed. An analytical model for static parameters is formulated and is applied to develop a design approach for the proposed low-voltage MCML multiplexer. The delay of the proposed low-voltage MCML multiplexer is expressed in terms of the bias current and the voltage swing so that it can be traded off with the power consumption. The proposed low-voltage MCML multiplexer is analyzed for the three design cases namely high-speed, power-efficient, and low-power. Finally, a comparison in performance of the proposed low-voltage MCML multiplexer with the traditional MCML multiplexer is carried out for all the cases.
DEFF Research Database (Denmark)
Hu, Junjie; Zecchino, Antonio; Marinelli, Mattia
2016-01-01
either locally or remotely. To evaluate and compare the control performances of the three control logics, all the tests use the same loading profiles. The experimental results indicate that the modified line compensation control can regulate voltage in a safe band in the case of various load......This paper investigates the control logics of an on-load tap-changer (OLTC) transformer by means of an experimental system validation. The experimental low-voltage unbalanced system consists of a decoupled single-phase OLTC transformer, a 75-metre 16 mm2 cable, a controllable single-phase resistive...... load and an electric vehicle, which has the vehicle-to-grid function. Three control logics of the OLTC transformer are described in the study. The three control logics are classified based on their control objectives and control inputs, which include network currents and voltages, and can be measured...
Larham, Ron
2013-01-01
In response to a challenge in a recent paper to measure the propagation speed of the wave of collapse of an array of dominoes (the Domino Effect), a novel method of measuring the speed of such waves has been developed using sound recordings of the collapse and DEMON (Detection of Modulation on Noise) analysis to extract the frequency of domino impacts and hence the speed of propagation of the domino wave. This paper presents this method and a discussion of the other published measurements and models and some comments on the precess of mathematical modelling.
Three-Function Logic Gate Controlled by Analog Voltage
Zebulum, Ricardo; Stoica, Adrian
2006-01-01
The figure is a schematic diagram of a complementary metal oxide/semiconductor (CMOS) electronic circuit that performs one of three different logic functions, depending on the level of an externally applied control voltage, V(sub sel). Specifically, the circuit acts as A NAND gate at V(sub sel) = 0.0 V, A wire (the output equals one of the inputs) at V(sub sel) = 1.0 V, or An AND gate at V(sub sel) = -1.8 V. [The nominal power-supply potential (VDD) and logic "1" potential of this circuit is 1.8 V.] Like other multifunctional circuits described in several prior NASA Tech Briefs articles, this circuit was synthesized following an automated evolutionary approach that is so named because it is modeled partly after the repetitive trial-and-error process of biological evolution. An evolved circuit can be tested by computational simulation and/or tested in real hardware, and the results of the test can provide guidance for refining the design through further iteration. The evolutionary synthesis of electronic circuits can now be implemented by means of a software package Genetic Algorithms for Circuit Synthesis (GACS) that was developed specifically for this purpose. GACS was used to synthesize the present trifunctional circuit. As in the cases of other multifunctional circuits described in several prior NASA Tech Briefs articles, the multiple functionality of this circuit, the use of a single control voltage to select the function, and the automated evolutionary approach to synthesis all contribute synergistically to a combination of features that are potentially advantageous for the further development of robust, multiple-function logic circuits, including, especially, field-programmable gate arrays (FPGAs). These advantages include the following: This circuit contains only 9 transistors about half the number of transistors that would be needed to obtain equivalent NAND/wire/AND functionality by use of components from a standard digital design library. If
Efficient Hardware Trojan Detection with Differential Cascade Voltage Switch Logic
Directory of Open Access Journals (Sweden)
Wafi Danesh
2014-01-01
Full Text Available Offshore fabrication, assembling and packaging challenge chip security, as original chip designs may be tampered by malicious insertions, known as hardware Trojans (HTs. HT detection is imperative to guarantee the chip performance and safety. Existing HT detection methods have limited capability to detect small-scale HTs and are further challenged by the increased process variation. To increase HT detection sensitivity and reduce chip authorization time, we propose to exploit the inherent feature of differential cascade voltage switch logic (DCVSL to detect HTs at runtime. In normal operation, a system implemented with DCVSL always produces complementary logic values in internal nets and final outputs. Noncomplementary values on inputs and internal nets in DCVSL systems potentially result in abnormal power behavior and even system failures. By examining special power characteristics of DCVSL systems upon HT insertion, we can detect HTs, even if the HT size is small. Simulation results show that the proposed method achieves up to 100% HT detection rate. The evaluation on ISCAS benchmark circuits shows that the proposed method obtains a HT detection rate in the range of 66% to 98%.
Institute of Scientific and Technical Information of China (English)
Wu Kaiyuan; Huang Shisheng; Meng Yongmin
2005-01-01
According to the feature of arc voltage control in welding steel using pulsed MIG welding, a correction factor based double model fuzzy logic controller (FLC) was developed to realize the arc voltage control by means of arc voltage feedback.When the error of peak arc voltage was great, a coarse adjusting fuzzy logic control rules with correction factor was designed,in the controller, the peak arc voltage was controlled by the wire feeding speed by means of arc voltage feedback. When the error of peak arc voltage was small, a fine adjusting fuzzy logic control rules with correction factor was designed, in this controller, the peak arc voltage was controlled by the background time by means of arc voltage feedback. The FLC was realized in a Look-Up Table ( LUT) method. Experiments had been carried out aiming at implementing the control strategy to control the arc length change in welding process. Experimental results show that the controller proposed enables the consistency of arc length and the stabolity of arc voltage and welding process to be achieved in pulsed MIG welding process.
PERFORMANCE OF DIFFERENT CMOS LOGIC STYLES FOR LOW POWER AND HIGH SPEED
Directory of Open Access Journals (Sweden)
Sreenivasa Rao.Ijjada
2012-06-01
Full Text Available Designing high-speed low-power circuits with CMOS technology has been a major research problem for many years. Several logic families have been proposed and used to improve circuit performance beyond that of conventional static CMOS family. Fast circuit families are becoming attractive in deep sub micron technologies since the performance benefits obtained from process scaling are decreasing as feature size decreases. This paper presents CMOS differential circuit families such as Dual rail domino logic and pseudo Nmos logic their delay and power variations in terms of adder design and logical design. Domino CMOS has become the prevailing logic family for high performance CMOS applications and it is extensively used in most state-of-the-art processors due to its high speed capabilities. The drawback of domino CMOS is that it provides only non-inverting functions because of its monotonic nature. Dual-Rail Domino logic, (also known as clocked Cascade voltage switch logic where both polarities of the output are generated, provides a robust solution to this problem.
A voltage-controlled ring oscillator using InP full enhancement-mode HEMT logic
Rui, Du; Yang, Dai; Yanling, Chen; Fuhua, Yang
2009-03-01
A voltage-controlled ring oscillator (VCO) based on a full enhancement-mode InAlAs/InGaAs/InP high electron mobility transistor (HEMT) logic is proposed. An enhancement-mode HEMT (E-HEMT) is fabricated, whose threshold is demonstrated to be 10 mV. The model of the E-HEMT is established and used in the SPICE simulation of the VCO. The result proves that the full E-HEMT logic technology can be applied to the VCO. And compared with the HEMT DCFL technology, the complexity of our fabrication process is reduced and the reliability is improved.
A voltage-controlled ring oscillator using InP full enhancement-mode HEMT logic
Institute of Scientific and Technical Information of China (English)
Du Rui; Dai Yang; Chen Yanling; Yang Fuhua
2009-01-01
A voltage-controlled ring oscillator (VCO) based on a full enhancement-mode InAIAs/InGaAs/InP high electron mobility transistor (HEMT) logic is proposed. An enhancement-mode HEMT (E-HEMT) is fabricated, whose threshold is demonstrated to be 10 mV. The model of the E-HEMT is established and used in the SPICE simulation of the VCO. The result proves that the full E-HEMT logic technology can be applied to the VCO. And compared with the HEMT DCFL technology, the complexity of our fabrication process is reduced and the reliability is improved.
Buchanan, Andrew; Ryba, Alex
2011-01-01
A domino covering of a board is saturated if no domino is redundant. We introduce the concept of a fragment tiling and show that a minimal fragment tiling always corresponds to a maximal saturated domino covering. The size of a minimal fragment tiling is the domination number of the board. We define a class of regular boards and show that for these boards the domination number gives the size of a minimal X-pentomino covering. Natural sequences that count maximal saturated domino coverings of square and rectangular boards are obtained. These include the new sequences A193764, A193765, A193766, A193767, and A193768 of OEIS.
Exploration of dual supply voltage logic synthesis in state-of-the-art ASIC design flows
Directory of Open Access Journals (Sweden)
T. Mahnke
2003-01-01
Full Text Available Dual supply voltage scaling (DSVS for logiclevel power optimization at the has increasingly attracted attention over the last few years. However, mainly due to the fact that the most widely used design tools do not support this new technique, it has still not become an integral part of real-world design flows. In this paper, a novel logic synthesis methodology that enables DSVS while relying entirely on standard tools is presented. The key to this methodology is a suitably modeled dual supply voltage (DSV standard cell library. A basic evaluation of the methodology has been carried out on a number of MCNC benchmark circuits. In all these experiments, the results of state-of-the-art powerdriven single supply voltage (SSV logic synthesis have been used as references in order to determine the true additional benefit of DSVS. Compared with the results of SSV power optimization, additional power reductions of 10% on average have been achieved. The results prove the feasibility of the new approach and reveal its greater efficiency in comparison with a well-known dedicated DSVS algorithm. Finally, the methodology has been applied to an embedded microcontroller core in order to further explore the potentials and limitations of DSVS in an existing industrial design environment.
Hur, Seung-Hyun; Yoon, Myung-Han; Gaur, Anshu; Shim, Moonsub; Facchetti, Antonio; Marks, Tobin J; Rogers, John A
2005-10-12
We report the implementation of three dimensionally cross-linked, organic nanodielectric multilayers as ultrathin gate dielectrics for a type of thin film transistor device that uses networks of single-walled carbon nanotubes as effective semiconductor thin films. Unipolar n- and p-channel devices are demonstrated by use of polymer coatings to control the behavior of the networks. Monolithically integrating these devices yields complementary logic gates. The organic multilayers provide exceptionally good gate dielectrics for these systems and allow for low voltage, low hysteresis operation. The excellent performance characteristics suggest that organic dielectrics of this general type could provide a promising path to SWNT-based thin film electronics.
A Practical Fast Acting Control Scheme For Fuzzy Logic-Based Voltage Stabilization Control
Directory of Open Access Journals (Sweden)
E. E. EL-Kholy
2005-03-01
Full Text Available This paper presents a simplified control model for stabilizing a load voltage using a switched reactor in parallel with a fixed capacitor of static VAR compensator. Two IGBT’s are used to control the reactance of the switched reactor. A uniform pulse width modulation is used for controlling the two switches. The compensator has a simple control circuit and structure. A complete modeling and numerical simulation for the proposed systems is presented. A high speed Digital Signal Processor is used for implementing proportional-integral (PI and fuzzy load voltage controllers. Experimental results indicate the superiority of fuzzy logic control over the conventional proportional-integral control method. Simulation results are reported and proved to be in good agreement with the relevant experimental results.
Voltage Source Inverter/Converter for the Improvement of Power Quality Using Fuzzy Logic Controller
Directory of Open Access Journals (Sweden)
T Jagan Mohan Rao
2014-05-01
Full Text Available In recent years, the applications of power electronics have grown tremendously. These power electronic systems offer highly nonlinear characteristics. To overcome those non linearities active power filters are preferred. This paper presents and compares the performance of two controllers namely Fuzzy Logic and Proportional Integral (PI applied to a voltage source inverter / converter which operates as an active power filter. The active power filter is operated to compensate harmonics generated by the non-linear load . This work is done to make an accurate comparison of the performance of fuzzy logic controller and classical control technique such as PI controller in compensating harmonics in the ac mains current. Fuzzy control rule design is based on the general dynamic behavior of the process. A novel control method is implemented for suppressing the harmonics. The compensation process is instantaneous, which is achieved without employing any complicated control logic. The control scheme is based on sensing line currents only; an approach different from convention ones, which are based on sensing harmonics of the nonlinear load. In the control scheme a hysteresis controller based on current control is employed to generate switching signals to the PWM converter.
PERFORMANCE OF DIFFERENT CMOS LOGIC STYLES FOR LOW POWER AND HIGH SPEED
Directory of Open Access Journals (Sweden)
Sreenivasa Rao.Ijjada
2011-07-01
Full Text Available Designing high-speed low-power circuits with CMOS technology has been a major research problem formany years. Several logic families have been proposed and used to improve circuit performance beyondthat of conventional static CMOS family. Fast circuit families are becoming attractive in deep submicrontechnologies since the performance benefits obtained from process scaling are decreasing as feature sizedecreases. This paper presents CMOS differential circuit families such as Dual rail domino logic andpseudo Nmos logic their delay and power variations in terms of adder design and logical design. DominoCMOS has become the prevailing logic family for high performance CMOS applications and it isextensively used in most state-of-the-art processors due to its high speed capabilities. The drawback ofdomino CMOS is that it provides only non-inverting functions because of its monotonic nature. Dual-RailDomino logic, (also known as clocked Cascade voltage switch logic where both polarities of the output aregenerated, provides a robust solution to this problem.
Kim, Hoon-Sik; Won, Sang Min; Ha, Young-Geun; Ahn, Jong-Hyun; Facchetti, Antonio; Marks, Tobin J.; Rogers, John A.
2009-11-01
This letter reports the fabrication and electrical characterization of mechanically flexible and low operating voltage transistors and logic gates (NOT, NAND, and NOR gates) using printed silicon nanomembranes and self-assembled nanodielectrics on thin plastic substrates. The transistors exhibit effective linear mobilities of ˜680 cm2/V s, on/off ratios >107, gate leakage current densities <2.8×10-7 A/cm2, and subthreshold slopes ˜120 mV/decade. The inverters show voltage gains as high as 4.8. Simple digital logic gates (NAND and NOR gates) demonstrate the possible application of this materials combination in digital integrated circuits.
Shunt hybrid active power filter under nonideal voltage based on fuzzy logic controller
Dey, Papan; Mekhilef, Saad
2016-09-01
In this paper, a synchronous reference frame (SRF) method based on a modified phase lock loop (PLL) circuit is developed for a three-phase four-wire shunt hybrid active power filter (APF). Its performance is analysed under unbalanced grid conditions. The dominant lower order harmonics as well as reactive power can be compensated by the passive elements, whereas the active part mitigates the remaining distortions and improves the power quality. As different control methods show contradictory performance, fuzzy logic controller is considered here for DC-link voltage regulation of the inverter. Extensive simulations of the proposed technique are carried out in a MATLAB-SIMULINK environment. A laboratory prototype has been built on dSPACE1104 platform to verify the feasibility of the suggested SHAPF controller. The simulation and experimental results validate the effectiveness of the proposed technique.
DESIGN OF TERNARY COUNTER BASED ON ADIABATIC DOMINO CIRCUIT
Institute of Scientific and Technical Information of China (English)
Yang Qiankun; Wang Pengjun; Zheng Xuesong
2013-01-01
By researching the ternary counter and low power circuit design method,a novel design of low power ternary Domino counter on switch-level is proposed.Firstly,the switch-level structure expression of ternary loop operation circuit with enable pin is derived according to the switch-signal theory,and the one bit ternary counter is obtained combining the ternary adiabatic Domino literal operation circuit and buffer.Then the switch-level structure expression of enable signal circuit is derived,and the four bits ternary counter is obtained by cascade connection.Finally,the circuit is simulated by Spice tool and the output waveforms transform in proper order indicating that the logic function is correct.The energy consumption of the four bits ternary adiabatic Domino counter is 63％ less than the conventional Domino counterpart.
Directory of Open Access Journals (Sweden)
José Raúl Castro
2016-02-01
Full Text Available This paper presents an efficient algorithm to solve the multi-objective (MO voltage control problem in distribution networks. The proposed algorithm minimizes the following three objectives: voltage variation on pilot buses, reactive power production ratio deviation, and generator voltage deviation. This work leverages two optimization techniques: fuzzy logic to find the optimum value of the reactive power of the distributed generation (DG and Pareto optimization to find the optimal value of the pilot bus voltage so that this produces lower losses under the constraints that the voltage remains within established limits. Variable loads and DGs are taken into account in this paper. The algorithm is tested on an IEEE 13-node test feeder and the results show the effectiveness of the proposed model.
Stimulating Mathematical Thinking through Domino Games
Gough, John
2015-01-01
Most readers would be familiar with the standard domino set which is played with rectangular domino tiles. The domino set, sometimes called a deck or pack, consists of 28 dominoes, colloquially nicknamed bones, cards, tiles, stones, or spinners. A domino set is a generic gaming device, similar to playing cards or dice, in that a variety of games…
Stimulating Mathematical Thinking through Domino Games
Gough, John
2015-01-01
Most readers would be familiar with the standard domino set which is played with rectangular domino tiles. The domino set, sometimes called a deck or pack, consists of 28 dominoes, colloquially nicknamed bones, cards, tiles, stones, or spinners. A domino set is a generic gaming device, similar to playing cards or dice, in that a variety of games…
Takeuchi, Naoki; Suzuki, Hideo; Yoshikawa, Nobuyuki
2017-05-01
Adiabatic quantum-flux-parametron (AQFP) is an energy-efficient superconductor logic. The advantage of AQFP is that the switching energy can be reduced by lowering operation frequencies or by increasing the quality factors of Josephson junctions, while keeping the energy barrier height much larger than thermal energy. In other words, both low energy dissipation and low bit error rates (BERs) can be achieved. In this paper, we report the first measurement results of the low BERs of AQFP logic. We used a superconductor voltage driver with a stack of dc superconducting-quantum-interference-devices to amplify the logic signals of AQFP gates into mV-range voltage signals for the BER measurement. Our measurement results showed 3.3 dB and 2.6 dB operation margins, in which BERs were less than 10-20, for 1 Gbps and 2 Gbps data rates, respectively. While the observed BERs were very low, the estimated switching energy for the 1-Gbps operation was only 2 zJ or 30kBT, where kB is the Boltzmann's constant and T is the temperature. Unlike conventional non-adiabatic logic, BERs are not directly associated with switching energy in AQFP.
Design of ternary low-power Domino JKL flip-flop and its application
Institute of Scientific and Technical Information of China (English)
Wang Pengjun; Yang Qiankun; Zheng Xuesong
2012-01-01
By researching the ternary flip-flop and the adiabatic Domino circuit,a novel design of low-power ternary Domino JKL flip-flop on the switch level is proposed.First,the switch-level structure of the ternary adiabatic Domino JKL flip-flop is derived according to the switch-signal theory and its truth table.Then the ternary loop operation circuit and ternary reverse loop operation circuit are achieved by employing the ternary JKL flip-flop.Finally,the circuit is simulated by using the Spice tool and the results show that the logic function is correct.The energy consumption of the ternary adiabatic Domino JKL flip-flop is 69％ less than its conventional Domino counterpart.
Gold-catalyzed domino reactions.
Michelet, Véronique
2015-01-01
Gold-catalyzed reactions have appeared to be highly attractive tools for chemists to promote novel transformations to prepare elaborated structures from simple starting materials. This chapter presents selected and original examples of domino processes in the presence of gold catalysts, highlighting reports implying hydration, hydroxylation, and hydroamination as key starting point for cascade transformations. Domino processes implying 1,n-enynes, asymmetric domino transformations, and applications of all the presented processes in total synthesis are presented.
High-speed dynamic domino circuit implemented with gaas mesfets
Yang, Long (Inventor); Long, Stephen I. (Inventor)
1990-01-01
A dynamic logic circuit (AND or OR) utilizes one depletion-mode metal-semiconductor FET for precharging an internal node A, and a plurality of the same type of FETs in series, or a FET in parallel with one or more of the series connected FETs for implementing the logic function. A pair of FETs are connected to provide an output inverter with two series diodes for level shift. A coupling capacitor may be employed with a further FET to provide level shifting required between the inverter and the logic circuit output terminal. These circuits may be cascaded to form a domino chain.
Low voltage logic circuits exploiting gate level dynamic body biasing in 28 nm UTBB FD-SOI
Taco, Ramiro; Levi, Itamar; Lanuzza, Marco; Fish, Alexander
2016-03-01
In this paper, the recently proposed gate level body bias (GLBB) technique is evaluated for low voltage logic design in state-of-the-art 28 nm ultra-thin body and box (UTBB) fully-depleted silicon-on-insulator (FD-SOI) technology. The inherent benefits of the low-granularity body-bias control, provided by the GLBB approach, are emphasized by the efficiency of forward body bias (FBB) in the FD-SOI technology. In addition, the possibility to integrate PMOS and NMOS devices into a single common well configuration allows significant area reduction, as compared to an equivalent triple well implementation. Some arithmetic circuits were designed using GLBB approach and compared to their conventional CMOS and DTMOS counterparts under different running conditions at low voltage regime. Simulation results shows that, for 300 mV of supply voltage, a 4 × 4-bit GLBB Baugh Wooley multiplier allows performance improvement of about 30% and area reduction of about 35%, while maintaining low energy consumption as compared to the conventional CMOS ⧹ DTMOS solutions. Performance and energy benefits are maintained over a wide range of process-voltage-temperature (PVT) variations.
Perréard, S
1993-01-01
Many processes are controlled by experts using some kind of mental model to decide actions and make conclusions. This model, based on heuristic knowledge, can often be conveniently represented in rules and has not to be particularly accurate. This is the case for the problem of conditioning high voltage radio-frequency cavities: the expert has to decide, by observing some criteria, if he can increase or if he has to decrease the voltage and by how much. A program has been implemented which can be applied to a class of similar problems. The kernel of the program is a small rule base, which is independent of the kind of cavity. To model a specific cavity, we use fuzzy logic which is implemented as a separate routine called by the rule base. We use fuzzy logic to translate from numeric to symbolic information. The example we chose for applying this kind of technique can be implemented by sequential programming. The two versions exist for comparison. However, we believe that this kind of programming can be powerf...
Finite Random Domino Automaton
Bialecki, Mariusz
2012-01-01
Finite version of Random Domino Automaton (FRDA) - recently proposed a toy model of earthquakes - is investigated. Respective set of equations describing stationary state of the FRDA is derived and compared with infinite case. It is shown that for the system of big size, these equations are coincident with RDA equations. We demonstrate a non-existence of exact equations for size N bigger then 4 and propose appropriate approximations, the quality of which is studied in examples obtained within Markov chains framework. We derive several exact formulas describing properties of the automaton, including time aspects. In particular, a way to achieve a quasi-periodic like behaviour of RDA is presented. Thus, based on the same microscopic rule - which produces exponential and inverse-power like distributions - we extend applicability of the model to quasi-periodic phenomena.
Directory of Open Access Journals (Sweden)
Zhiming Yang
2016-01-01
Full Text Available The reliability of Very Large Scale Integration (VLSI circuits has become increasingly susceptible to transient faults induced by environmental noise with the scaling of technology. Some commonly used fault tolerance strategies require statistical methods to accurately estimate the fault rate in different parts of the logic circuit, and Monte Carlo (MC simulation is often applied to complete this task. However, the MC method suffers from impractical computation costs due to the size of the circuits. Furthermore, circuit aging effects, such as negative bias temperature instability (NBTI, will change the characteristics of the circuit during its lifetime, leading to a change in the circuit’s noise margin. This change will increase the complexity of transient fault rate estimation tasks. In this paper, an NBTI-aware statistical analysis method based on probability voltage transfer characteristics is proposed for combinational logic circuit. This method can acquire accurate fault rates using a discrete probability density function approximation process, thus resolving the computation cost problem of the MC method. The proposed method can also consider aging effects and analyze statistical changes in the fault rates. Experimental results demonstrate that, compared to the MC simulation, our method can achieve computation times that are two orders of magnitude shorter while maintaining an error rate less than 9%.
MOSFET-like CNFET based logic gate library for low-power application: a comparative study
Gowri Sankar, P. A.; Udhayakumar, K.
2014-07-01
The next generation of logic gate devices are expected to depend upon radically new technologies mainly due to the increasing difficulties and limitations of existing CMOS technology. MOSFET like CNFETs should ideally be the best devices to work with for high-performance VLSI. This paper presents results of a comprehensive comparative study of MOSFET-like carbon nanotube field effect transistors (CNFETs) technology based logic gate library for high-speed, low-power operation than conventional bulk CMOS libraries. It focuses on comparing four promising logic families namely: complementary-CMOS (C-CMOS), transmission gate (TG), complementary pass logic (CPL) and Domino logic (DL) styles are presented. Based on these logic styles, the proposed library of static and dynamic NAND-NOR logic gates, XOR, multiplexer and full adder functions are implemented efficiently and carefully analyzed with a test bench to measure propagation delay and power dissipation as a function of supply voltage. This analysis provides the right choice of logic style for low-power, high-speed applications. Proposed logic gates libraries are simulated using Synopsys HSPICE based on the standard 32 nm CNFET model. The simulation results demonstrate that, it is best to use C-CMOS logic style gates that are implemented in CNFET technology which are superior in performance compared to other logic styles, because of their low average power-delay-product (PDP). The analysis also demonstrates how the optimum supply voltage varies with logic styles in ultra-low power systems. The robustness of the proposed logic gate library is also compared with conventional and state-art of CMOS logic gate libraries.
Takeda, Yasunori; Hayasaka, Kazuma; Shiwaku, Rei; Yokosawa, Koji; Shiba, Takeo; Mamada, Masashi; Kumaki, Daisuke; Fukuda, Kenjiro; Tokito, Shizuo
2016-05-09
Ultrathin electronic circuits that can be manufactured by using conventional printing technologies are key elements necessary to realize wearable health sensors and next-generation flexible electronic devices. Due to their low level of power consumption, complementary (CMOS) circuits using both types of semiconductors can be easily employed in wireless devices. Here, we describe ultrathin CMOS logic circuits, for which not only the source/drain electrodes but also the semiconductor layers were printed. Both p-type and n-type organic thin film transistor devices were employed in a D-flip flop circuit in the newly developed stacked structure and exhibited excellent electrical characteristics, including good carrier mobilities of 0.34 and 0.21 cm(2) V(-1) sec(-1), and threshold voltages of nearly 0 V with low operating voltages. These printed organic CMOS D-flip flop circuits exhibit operating frequencies of 75 Hz and demonstrate great potential for flexible and printed electronics technology, particularly for wearable sensor applications with wireless connectivity.
Takeda, Yasunori; Hayasaka, Kazuma; Shiwaku, Rei; Yokosawa, Koji; Shiba, Takeo; Mamada, Masashi; Kumaki, Daisuke; Fukuda, Kenjiro; Tokito, Shizuo
2016-05-01
Ultrathin electronic circuits that can be manufactured by using conventional printing technologies are key elements necessary to realize wearable health sensors and next-generation flexible electronic devices. Due to their low level of power consumption, complementary (CMOS) circuits using both types of semiconductors can be easily employed in wireless devices. Here, we describe ultrathin CMOS logic circuits, for which not only the source/drain electrodes but also the semiconductor layers were printed. Both p-type and n-type organic thin film transistor devices were employed in a D-flip flop circuit in the newly developed stacked structure and exhibited excellent electrical characteristics, including good carrier mobilities of 0.34 and 0.21 cm2 V‑1 sec‑1, and threshold voltages of nearly 0 V with low operating voltages. These printed organic CMOS D-flip flop circuits exhibit operating frequencies of 75 Hz and demonstrate great potential for flexible and printed electronics technology, particularly for wearable sensor applications with wireless connectivity.
Romanczyk, Brian R.
With voltage scaling to reduce power consumption in scaled transistors the subthreshold swing is becoming a critical factor influencing the minimum voltage margin between the transistor on and off-states. Conventional metal-oxide-semiconductor field-effect transistors (MOSFETs) are fundamentally limited to a 60 mV/dec swing due to the thermionic emission current transport mechanism at room temperature. Tunnel field-effect transistors (TFETs) utilize band-to-band tunneling as the current transport mechanism resulting in the potential for sub-60 mV/dec subthreshold swings and have been identified as a possible replacement to the MOSFET for low-voltage logic applications. The TFET operates as a gated p-i-n diode under reverse bias where the gate electrode is placed over the intrinsic channel allowing for modulation of the tunnel barrier thickness. When the barrier is sufficiently thin the tunneling probability increases enough to allow for significant number of electrons to tunnel from the source into the channel. To date, experimental TFET reports using III-V semiconductors have failed to produce devices that combine a steep subthreshold swing with a large enough drive current to compete with scaled CMOS. This study developed the foundations for TFET fabrication by improving an established Esaki tunnel diode process flow and extending it to include the addition of a gate electrode to form a TFET. The gating process was developed using an In0.53Ga 0.57As TFET which demonstrated a minimum subthreshold slope of 100 mV/dec. To address the issue of TFET drive current an InAs/GaSb heterojunction TFET structure was investigated taking advantage of the smaller tunnel barrier height.
Playing with Dominoes: Proof by Induction
Kaplan, Gail
2009-01-01
This article describes a hands-on approach to learning proofs by induction. Students create patterns of dominos so that when the first domino is pushed, the entire design collapses, one domino at a time. Students then build designs that do not work. By constructing a list of conditions that ensure a given pattern will collapse, students discover…
Playing with Dominoes: Proof by Induction
Kaplan, Gail
2009-01-01
This article describes a hands-on approach to learning proofs by induction. Students create patterns of dominos so that when the first domino is pushed, the entire design collapses, one domino at a time. Students then build designs that do not work. By constructing a list of conditions that ensure a given pattern will collapse, students discover…
Domino effect analysis using Bayesian networks.
Khakzad, Nima; Khan, Faisal; Amyotte, Paul; Cozzani, Valerio
2013-02-01
A new methodology is introduced based on Bayesian network both to model domino effect propagation patterns and to estimate the domino effect probability at different levels. The flexible structure and the unique modeling techniques offered by Bayesian network make it possible to analyze domino effects through a probabilistic framework, considering synergistic effects, noisy probabilities, and common cause failures. Further, the uncertainties and the complex interactions among the domino effect components are captured using Bayesian network. The probabilities of events are updated in the light of new information, and the most probable path of the domino effect is determined on the basis of the new data gathered. This study shows how probability updating helps to update the domino effect model either qualitatively or quantitatively. The methodology is applied to a hypothetical example and also to an earlier-studied case study. These examples accentuate the effectiveness of Bayesian network in modeling domino effects in processing facility. © 2012 Society for Risk Analysis.
Domino Effect: mechanic factors role
Nardi, Alfredo; Tarantino, Umberto; Ventura, Lorenzo; Armotti, Pierantonio; Resmini, Giuseppina; Cozzi, Luisella; Tonini, Greta; Ramazzina, Emilio; Rossini, Maurizio
2011-01-01
Summary The rapid onset of the Domino Effect following the first Vertebral Compression Fracture is a direct consequence of the mechanical variations that affect the spine when physiological curves are modified. The degree of kyphosis influences the intensity of the Flexor Moment; this is greater on vertebrae D7, D8 and on vertebrae D12, L1 when the spine flexes. Fractures of D7, D8, D12 and L1 are, by far, the most frequent and also the main cause of the mechanical alterations that can trigger the Domino Effect. For these considerations vertebrae D7, D8, D12 and L1 have to be taken in consideration as “critical". In the case of critical clinical vertebral fractures it is useful to provide an indication for minimally invasive surgical reduction or intrasomatic stabilization. When occurs a fracture of a “critical vertebra”, prompt restoration of the heights leads to a reduction in the Kyphosis Index and therefore in the Flexor Moment, not only of the fractured vertebra but also, in turn, of all the other metameres which, even if morphologically still intact, are structurally fragile; so, through the restoration of the mechanical vertebral proprieties, we can reduce the risk of the Domino Effect. At the same time the prompt implementation of osteoinductive therapy is indispensable in order to achieve rapid and intense reconstruction of the trabecular bone, the strength of which increases significantly in a short period of time. Clinical studies are necessary to confirm the reduction of the domino effect following a fragility fracture of "critical vertebrae" with the restoration of the mechanical properties together with anabolic therapy. PMID:22461815
Domino Effect: mechanic factors role.
Nardi, Alfredo; Tarantino, Umberto; Ventura, Lorenzo; Armotti, Pierantonio; Resmini, Giuseppina; Cozzi, Luisella; Tonini, Greta; Ramazzina, Emilio; Rossini, Maurizio
2011-05-01
The rapid onset of the Domino Effect following the first Vertebral Compression Fracture is a direct consequence of the mechanical variations that affect the spine when physiological curves are modified. The degree of kyphosis influences the intensity of the Flexor Moment; this is greater on vertebrae D7, D8 and on vertebrae D12, L1 when the spine flexes. Fractures of D7, D8, D12 and L1 are, by far, the most frequent and also the main cause of the mechanical alterations that can trigger the Domino Effect. For these considerations vertebrae D7, D8, D12 and L1 have to be taken in consideration as "critical". In the case of critical clinical vertebral fractures it is useful to provide an indication for minimally invasive surgical reduction or intrasomatic stabilization. When occurs a fracture of a "critical vertebra", prompt restoration of the heights leads to a reduction in the Kyphosis Index and therefore in the Flexor Moment, not only of the fractured vertebra but also, in turn, of all the other metameres which, even if morphologically still intact, are structurally fragile; so, through the restoration of the mechanical vertebral proprieties, we can reduce the risk of the Domino Effect. At the same time the prompt implementation of osteoinductive therapy is indispensable in order to achieve rapid and intense reconstruction of the trabecular bone, the strength of which increases significantly in a short period of time. Clinical studies are necessary to confirm the reduction of the domino effect following a fragility fracture of "critical vertebrae" with the restoration of the mechanical properties together with anabolic therapy.
Biological Derived Nanomotors in a ``Domino Fashion''
Maksoed, W. H.
2015-11-01
For disproportionation of H2 O2 , we also considers an electrokinetic mechanism they appear.So far, the more efficient micro/nanoscale motors are derived from biological systems [2003]. Besides, a control experimenting using 3 stripped Au/Pt/Au rods with catalyzed the composition of H2 O2 , at a similar rate-Walter F Paxton: ``Catalytic Nanomotors,'' JACS, 2004. We also intended to accomaplishes the HCCI quotes from Marcin Frackowiak, dissertation, 2009, just in several characters seems as twin of IGNITION through IceCube document project held since Oct 11, 2001 ever concludes as ``saw none'' so they can be follows the ITER/IFMIF. Refers to S29286 file in UI retrieved: ``magnetic quantum-dot cellular automata which is nonvolatile & lower power consist of nanomagnets. Since they are magnetically coupled, logic can be performed by switching, on the other hand in a DOMINO fashion..'' [A. Klenm: ``Fabrication of Magnetic Tunnel Junction-based Spintronic Devices..,'' convocation, Aug 11-14, 2010]. Acknowledgments devotes to BB Mandelbrot: ``Fractal Geometry: What is it & What Does it do?''.
Motzkin numbers out of Random Domino Automaton
Białecki, Mariusz
2011-01-01
Motzkin numbers are derived from a special case of Random Domino Automaton - recently proposed toy model of earthquakes. An exact solution of the set of equations describing stationary state of Random Domino Automaton in "inverse-power" case is presented. A link with Motzkin numbers allows to present explicit form of asymptotic behaviour of the automaton.
Catalytic Radical Domino Reactions in Organic Synthesis.
Sebren, Leanne J; Devery, James J; Stephenson, Corey R J
2014-02-07
Catalytic radical-based domino reactions represent important advances in synthetic organic chemistry. Their development benefits synthesis by providing atom- and step-economical methods to complex molecules. Intricate combinations of radical, cationic, anionic, oxidative/reductive, and transition metal mechanistic steps result in cyclizations, additions, fragmentations, ring-expansions, and rearrangements. This Perspective summarizes recent developments in the field of catalytic domino processes.
High speed and leakage-tolerant domino circuits for high fan-in applications in 70nm CMOS technology
DEFF Research Database (Denmark)
Moradi, Farshad; Wisland, Dag; Mahmoodi, Hamid;
with latter proposed circuit. According to simulations in a predictive 70 nm process, the proposed circuit increases noise immunity by more than 26X for wide OR gates and shows performance improvement of up to 20% compared to conventional domino logic circuits. The proposed circuit reduces the contention...
High speed and leakage-tolerant domino circuits for high fan-in applications in 70nm CMOS technology
DEFF Research Database (Denmark)
Moradi, Farshad; Wisland, Dag; Mahmoodi, Hamid
with latter proposed circuit. According to simulations in a predictive 70 nm process, the proposed circuit increases noise immunity by more than 26X for wide OR gates and shows performance improvement of up to 20% compared to conventional domino logic circuits. The proposed circuit reduces the contention...
Dao, Toan Thanh; Sakai, Heisuke; Nguyen, Hai Thanh; Ohkubo, Kei; Fukuzumi, Shunichi; Murata, Hideyuki
2016-07-20
We present controllable and reliable complementary organic transistor circuits on a PET substrate using a photoactive dielectric layer of 6-[4'-(N,N-diphenylamino)phenyl]-3-ethoxycarbonylcoumarin (DPA-CM) doped into poly(methyl methacrylate) (PMMA) and an electron-trapping layer of poly(perfluoroalkenyl vinyl ether) (Cytop). Cu was used for a source/drain electrode in both the p-channel and n-channel transistors. The threshold voltage of the transistors and the inverting voltage of the circuits were reversibly controlled over a wide range under a program voltage of less than 10 V and under UV light irradiation. At a program voltage of -2 V, the inverting voltage of the circuits was tuned to be at nearly half of the supply voltage of the circuit. Consequently, an excellent balance between the high and low noise margins (NM) was produced (64% of NMH and 68% of NML), resulting in maximum noise immunity. Furthermore, the programmed circuits showed high stability, such as a retention time of over 10(5) s for the inverter switching voltage. Our findings bring about a flexible, simple way to obtain robust, high-performance organic circuits using a controllable complementary transistor inverter.
Catalytic Radical Domino Reactions in Organic Synthesis
Sebren, Leanne J.; Devery, James J.; Stephenson, Corey R.J.
2014-01-01
Catalytic radical-based domino reactions represent important advances in synthetic organic chemistry. Their development benefits synthesis by providing atom- and step-economical methods to complex molecules. Intricate combinations of radical, cationic, anionic, oxidative/reductive, and transition metal mechanistic steps result in cyclizations, additions, fragmentations, ring-expansions, and rearrangements. This Perspective summarizes recent developments in the field of catalytic domino processes. PMID:24587964
Evaluation of domino liver transplantations in Germany.
Bolte, Fabian Johannes; Schmidt, Hartmut H-J; Becker, Thomas; Braun, Felix; Pascher, Andreas; Klempnauer, Jürgen; Schmidt, Jan; Nadalin, Silvio; Otto, Gerd; Barreiros, Ana Paula
2013-07-01
A retrospective multicenter study has been conducted to evaluate domino liver transplantations (DLTs) in Germany. The study provides insight into survival and features having an impact on the assessment of neuropathy after DLT. In addition, a neurologic follow-up program with a scheme to estimate the likelihood of de novo amyloidosis is presented. A series of 61 DLTs at seven transplant centers in Germany was enrolled. The mean age of domino recipients at the time of transplantation was 58 years, 46 of them being men, and 15 being women. The median follow-up was 46 months. The overall 1-, 3-, and 5-year survival of domino recipients was 81.6%, 70.8% and 68.8%, respectively. Causes of death were primarily not related to familial amyloidosis. The main indication of DLT was hepatocellular carcinoma. Two of the reported domino recipients developed symptoms and signs of de novo amyloidosis within 10 years after transplantation. A total of 30 domino graft recipients (49.18%) presented with diabetes post transplantation. In conclusion, an advanced follow-up program is crucial to evaluate the risk of transmitting familial amyloidosis by DLT and to establish more strict selection criteria for domino recipients. © 2013 Steunstichting ESOT. Published by John Wiley & Sons Ltd.
Institute of Scientific and Technical Information of China (English)
杨华
2008-01-01
domino（多米诺骨牌）是西方人常玩的一种长方形骨牌，通常有骨制的，也有木制的。如果人们把许多张骨牌依次竖排成行，碰倒第一张，其余的牌也会一张张依次倒下。人们把这种现象称为domino phenomenon（多米诺现象）或domino effect（多米诺效应），并用它们比喻“连锁反应现象”。
Domino Reactions in Drug Design and Discovery.
Bhar, Shanta; Ramana, Mucheli M V
2016-01-01
With reference to challenges in developing varied and exceedingly complex scaffolds expeditiously through atom economy, domino reactions have assumed a significant role in several transformative endeavors towards established pharmaceuticals and new chemical entities across diverse therapeutic classes such as HIV integrase inhibitors, DPP4 [dipeptidyl peptidase IV] inhibitors, GSK- 3 (Glycogen Synthase Kinase 3) inhibitors, neoplastic drugs and microtubule antagonists. The very large chemical space of Domino Reactions can be leveraged for the design strategy of drugs and drug- like candidates with leading examples like Indinavir (Crixivan), Trandolapril (Mavik), Biyouyanagin A, endo pyrrolizidinone diastereomer [GSK] and several others. Domino reactions therefore constitute an integral part of both creative and functional aspects of drug design and discovery, contributing both enhanced efficiency as well as synthetic versatility to pharmaceutical drug design.
Current status of domino heart transplantation.
Shudo, Yasuhiro; Ma, Michael; Boyd, Jack H; Woo, Yiping Joseph
2017-03-01
Domino heart transplant, wherein the explanted heart from the recipient of an en-bloc heart-lung is utilized for a second recipient, represents a unique surgical strategy for patients with end-stage heart failure. With a better understanding of the potential advantages and disadvantages of this procedure, its selective use in the current era can improve and maximize organ allocation in the United States. In this report, we reviewed the current status of domino heart transplantation. © 2017 Wiley Periodicals, Inc.
Domino reactions: More than just a game
Broja, Thomas; Fuchs, Patrick J. W.; Zeitler, Kirsten
2015-12-01
Catalytic methods are among the most valuable tools for sustainable synthesis. Domino catalysis enables multiple reactions to be combined so that synthetic efficiency may begin to approach that of nature, but significant challenges remain before this promising approach can fulfil the needs of pharmaceutical and materials chemistry.
Some bijective correspondence involving domino tableaux
Leeuwen, M.A.A. van
1997-01-01
We elaborate on the results in ``Splitting the square of a Schur function into its symmetric and antisymmetric parts '' [Carre Leclerc, J. algebr. combinat. 4, 1995]. We give bijective proof of a number of identities that were established there, in particular between the Yamanouchi domino tableaux,
Analysis of domino effect in pipelines.
Ramírez-Camacho, J Giovanni; Pastor, Elsa; Casal, Joaquim; Amaya-Gómez, Rafael; Muñoz-Giraldo, Felipe
2015-11-15
Parallel pipelines are frequently installed over long distances, due to the difficulty in creating or maintaining the required corridor. This implies that a release in one pipeline can seriously affect another one. The main risks associated with this domino effect are erosion by fluid-sand jets and the thermal action of jet fires. In this paper a survey has been performed on the accidents that have occurred, and the diverse associated domino sequences are analyzed. The probability of occurrence of domino effect is a function of the location of the hole, the jet direction and solid angle, the diameter of both pipelines and the distance between them. A mathematical model has been developed to estimate this probability. The model shows how the probability of domino effect decreases with the distance and diameter of the source pipe, and increases with the diameter of the target pipe. Its frequency can be estimated from this probability and from the frequency of the initiating pipe failure plus, in the case of jet fire impingement, the probability of ignition. The frequency of the target pipe failure thus calculated, always higher than its individual frequency, allows a more realistic risk analysis. Copyright © 2015 Elsevier B.V. All rights reserved.
Domino tableaux, Schutzenberger involution, and the symmetric group action
Berenstein, A D; Berenstein, Arkady; Kirillov, Anatol N.
1997-01-01
We define an action of the symmetric group on the set of domino tableaux, and prove that the number of domino tableaux of a given weight does not depend on the permutation of components of the last. A bijective proof of the well-known result due to J. Stembridge that the number of self-evacuating tableaux of a given shape is equal to that of domino tableaux of the same shape is given.
Application of Lotus Domino / Notes in OA System%Lotus Domino/Notes在OA系统中的应用
Institute of Scientific and Technical Information of China (English)
李国强; 王芳
2012-01-01
Lotus Domino/Notes是实现和运行办公自动化的最有效的平台之一.本文介绍了Lotus Domino/Notes在办公自动化方面的优势,提出了OA系统的设计思路,并对系统应用Lotus Domino/Notes的部分关键技术进行了讨论.
Heat flux modulation in domino dynamo model
Reshetnyak, Maxim
2012-01-01
Using domino dynamo model we show how variations of the heat flux at the core-mantle boundary change frequency of geomagnetic field reversals. In fact, we are able to demonstrate effect known from the modern 3D planetary dynamo models using ensemble of the interacting spins, which obey equations of the Langevin-type with a random force. We also consider applications to the giant- planets and offer explanations of some specific episodes of the geomagnetic field in the past.
Modifications in CMOS Dynamic Logic Style: A Review Paper
Meher, Preetisudha; Mahapatra, Kamalakanta
2015-12-01
Dynamic logic style is used in high performance circuit design because of its fast speed and less transistors requirement as compared to CMOS logic style. But it is not widely accepted for all types of circuit implementations due to its less noise tolerance and charge sharing problems. A small noise at the input of the dynamic logic can change the desired output. Domino logic uses one static CMOS inverter at the output of dynamic node which is more noise immune and consuming very less power as compared to other proposed circuit. In this paper, an overview and classification of these techniques are first presented and then compared according to their performance.
Reconfigurable Optical Directed-Logic Circuits
2015-11-20
and their switching delays do not accumulate. This is in contrast to conventional logic circuits where gate delays are cascaded, resulting in a...transistor logic circuits wherein gate delays are cascaded resulting in increased latencies with increased logic elements. Thus directed- logic ... reverse biased at -5 V ( logic ‘1’) and the transmission is high when the bias voltage is zero ( logic ‘0’). So the switch works in the block/pass mode
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...
Wave-spectrum of domino-system
Guzev, Mikhail; Tarasov, Boris
2016-04-01
In [1, 2] we proposed a mathematical model of recently identified shear rupture mechanism. This model gives the simplest description of the fan-mechanism and demonstrates that the fan-head represents a self-unbalancing the domino-structure. The domino-structure plays an essential role in determination of rock instability at failure and causes spontaneous rupture development. In the framework of the proposed model it is possible to understand how shear rupture mechanism can provide propagation of faults through the highly confined intact rock mass at shear stress levels significantly less than frictional strength of pre-existing faults. Mathematical model of the domino-structure is described by the system of coupled inverted pendulums. The case of small linear oscillations in a vicinity of the stable equilibrium position is studied and described in the literature [3]. In particular, the wave spectrum is calculated exactly. In our work we considered the mathematical 1D model of the weak coupling inverted pendulums. The corresponding equations for a finite number of pendulums are obtained. We calculated the wave spectrum for the case of linear interaction between pendulums. It was found that there is the critical value of a parameter separating different modes of the wave behavior. This parameter is linked with the dimensionless interaction parameter. If the value of the parameter is less than the critical one we have oscillatory process. In other case the wave spectrum contains exponentially growing contributions and the domino-system is unstable. The asymptotic formula for the critical value with respect to N is proposed in the work. It is shown that the critical value decreases monotonically with respect to N. This investigation was supported by the Russian Scientific Foundation (grant no. 14-11-00079). References [1] Tarasov, B.G., Guzev, M.A., 2013. New insight into the nature of size dependence and the lower limit of rock strength. Proceedings 8th International
Tiling a Pyramidal Polycube with Dominoes
Directory of Open Access Journals (Sweden)
Olivier Bodini
2007-05-01
Full Text Available The notion of pyramidal polycubes, namely the piling-up of bricks of a non-increasing size, generalizes in ℝ n the concept of trapezoidal polyominoes. In the present paper, we prove that n-dimensional dominoes can tile a pyramidal polycube if and only if the latter is balanced, that is, if the number of white cubes is equal to the number of black ones for a chessboard-like coloration, generalizing the result of [BC92] when n=2
三值绝热多米诺加法器开关级设计%Design of Ternary Adiabatic Domino Adder on Switch-level
Institute of Scientific and Technical Information of China (English)
汪鹏君; 杨乾坤; 郑雪松
2012-01-01
通过对绝热多米诺电路和加法器的研究,该文提出一种新颖低功耗三值加法器的开关级设计方案.该方案首先利用开关-信号理论,结合绝热多米诺电路结构特点,推导出三值加法器本位和电路与进位电路的开关级结构式,由此得到一位三值加法器单元电路；然后通过单元电路的级联得到四位三值绝热多米诺加法器；最后,利用Spice软件对所设计的电路进行模拟,结果显示所设计的四位三值绝热多米诺加法器具有正确的逻辑功能,与四位常规多米诺三值加法器相比,能耗节省约61％.%By researching the adiabatic domino circuit and the adder, a novel design of low power ternary adder on switch-level is proposed. First, the switch-level structure of ternary adder's summing circuit and carrying circuit are derived according to the switch-signal theory and the peculiarity of adiabatic domino circuit. The design of the one bit adiabatic Domino adder unit and the four bit adder are obtained. Finally, the circuit is simulated by Spice tool and the results show that the logic function of the four bit adiabatic Domino adder is correct. The energy consumption of the four bit adiabatic Domino adder is 61% less than the conventional Domino counterpart.
Economics of tipping the climate dominoes
Lemoine, Derek; Traeger, Christian P.
2016-05-01
Greenhouse gas emissions can trigger irreversible regime shifts in the climate system, known as tipping points. Multiple tipping points affect each other’s probability of occurrence, potentially causing a `domino effect’. We analyse climate policy in the presence of a potential domino effect. We incorporate three different tipping points occurring at unknown thresholds into an integrated climate-economy model. The optimal emission policy considers all possible thresholds and the resulting interactions between tipping points, economic activity, and policy responses into the indefinite future. We quantify the cost of delaying optimal emission controls in the presence of uncertain tipping points and also the benefit of detecting when individual tipping points have been triggered. We show that the presence of these tipping points nearly doubles today’s optimal carbon tax and reduces peak warming along the optimal path by approximately 1 °C. The presence of these tipping points increases the cost of delaying optimal policy until mid-century by nearly 150%.
On Hospital Wards, Patient Crises May Have 'Domino Effect'
... https://medlineplus.gov/news/fullstory_162758.html On Hospital Wards, Patient Crises May Have 'Domino Effect' When ... should serve as a wake-up call for hospital-based physicians," study author Dr. Matthew Churpek, an ...
Domino liver graft from a patient with homozygous familial hypercholesterolemia.
Liu, Chinsu; Niu, Dau-Ming; Loong, Che-Chuan; Hsia, Cheng-Yuan; Tsou, Mei-Yung; Tsai, Hsin-Lin; Wei, Choufu
2010-05-01
HFH is a metabolic disease caused by a defect in the gene that encodes the synthesis of the cellular receptor for LDL-Rs. A high plasma level of cholesterol is present from birth and leads to severe atherosclerosis in childhood, and death from myocardial infarction usually occurs before the age of 20 yr. The liver contains approximately 50-75% of the total body LDL-Rs; therefore, liver transplantation has been carried out to treat this metabolic disorder effectively. The rationale for using an HFH liver for a domino graft is that the absence of functional LDL-Rs in the liver may be compensated for by the extra-hepatic LDL-Rs. Therefore, an HFH liver can possibly be used as a domino graft for a recipient with a normal plasma cholesterol level before transplantation. We herein report a domino liver transplantation using an HFH liver as a domino graft with successful results. To expand the donor pool, especially in Asian countries, domino grafts from HFH should be encouraged by careful selection of the domino recipient.
Tripathi, A.K.; Smits, E.C.P.; Putten, J.B.P.H. van der; Neer, M. van; Myny, K.; Nag, M.; Steudel, S.; Vicca, P.; O'Neill, K.; Veenendaal, E. van; Genoe, G.; Heremans, P.; Gelinck, G.H.
2011-01-01
In this work a technology to fabricate low-voltage amorphous gallium-indium-zinc oxide thin film transistors (TFTs) based integrated circuits on 25 µm foils is presented. High performance TFTs were fabricated at low processing temperatures (<150 °C) with field effect mobility around 17 cm2 /V s. The
Representations of knowledge about dominoes in demented and normal elderly players.
Beatty, W W; English, S; Dean, K; Rogers, C L; Olson, K A
1999-04-01
1. Dementia patients who retain musical and game-playing skills exhibit impaired performance on explicit memory tests of knowledge about their retained skill. 2. Dementia patients who retain skill at playing dominoes can answer complex questions about the play of the game almost as well as normal elderly domino players when the questions are presented with real dominoes. 3. The aim of this study was to determine if skilled dementia patients could answer questions about domino play when the stimuli were two-dimensional drawings of dominoes. 4. Seventeen dementia patients and eight normal elderly domino players were tested on two forms of the Domino Quiz: first with real dominoes, then with two-dimensional drawings; other neuropsychological tests were given at the same time. 5. Fourteen of the 17 patients and all of the controls showed no decline in answering questions about domino play when two-dimensional drawings were used. These patients showed retained symbolic processing of information about dominoes despite declines in overall mental status, generation of words from specific semantic categories, and recognition memory for domino terminology. 6. Because the 14 patients with retained domino skill performed as accurately as controls on both administrations of a letter cancellation task, the ability to process familiar symbols may be important to their game-playing skill.
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
A Distributed AI Aided 3D Domino Game
Amrahov, Şahin Emrah
2010-01-01
In the article a turn-based game played on four computers connected via network is investigated. There are three computers with natural intelligence and one with artificial intelligence. Game table is seen by each player's own view point in all players' monitors. Domino pieces are three dimensional. For distributed systems TCP/IP protocol is used. In order to get 3D image, Microsoft XNA technology is applied. Domino 101 game is nondeterministic game that is result of the game depends on the initial random distribution of the pieces. Number of the distributions is equal to the multiplication of following combinations: . Moreover, in this game that is played by four people, players are divided into 2 pairs. Accordingly, we cannot predict how the player uses the dominoes that is according to the dominoes of his/her partner or according to his/her own dominoes. The fact that the natural intelligence can be a player in any level affects the outcome. These reasons make it difficult to develop an AI. In the article ...
[Development of domino reactions based on skeletal rearrangement].
Sugimoto, Kenji
2011-01-01
Domino reactions, which enable formations of several chemical bonds and multi-step transformation in one-pot process, have received much attention as an efficient synthetic methodology to preserve chemists from time-consuming purification protocols and protection-deprotection procedures. Furthermore, the domino processes containing skeletal rearrangement have been utilized for constructions of complex molecules because of their potential that they could afford entirely different valuable structures from readily available simple substrates. We recently developed novel domino reactions including ring enlargement process, which could afford biologically important cyclopentanones and nitrogen heterocycles. In this review, we will describe 1) a novel type of palladium-catalyzed domino insertion-ring expansion reaction of dienylcyclobutanols, which could enable a stereospecific synthesis of (Z)-2-(3-aryl-1-propenyl)cyclopentanones, 2) ruthenium-catalyzed domino ring expansion-insertion reaction of 1-acetylenylcyclobutanols for a construction of 2-alkylidenecyclopentanones, and 3) DIBALH-mediated reductive ring expansion reaction of oximes and studies on the reaction mechanisms. The rationales for the observed stereoselectivities in each reaction are also discussed.
Luong, G. V.; Strangio, S.; Tiedemannn, A.; Lenk, S.; Trellenkamp, S.; Bourdelle, K. K.; Zhao, Q. T.; Mantl, S.
2016-01-01
In this work, strained Si (sSi) nanowire array of n-TFETs with gates all around (GAA) yielding ON-currents of 5 μA/μm at a supply voltage Vdd = 0.5 V are presented. Tilted ion implantation with BF2+ into NiSi2 dopant has been used to form a highly doped pocket for the source to channel tunneling junction. These devices indicate sub-threshold slopes (SS) below 60 mV/dec for Id Common analog device characteristics have been determined at Vdd = 0.5 V resulting in a transconductance gm = 24 μS/μm, transconductance efficiency gm/Id = 23 V-1 and the conductance gd = 0.8 μS/μm normalized to the gate width. Based on the good saturation behavior in the output characteristic, an intrinsic gain of 188 is observed. In addition, we present operation of the first experimental sSi GAA NW C-TFET inverter. In spite of ambipolar behavior, the voltage transfer curves (VTC) indicate wide and constant noise margin levels with steep transitions offering a voltage gain of 25 at Vdd = 1 V.
A domino model for geomagnetic field reversals
Mori, N; Ferriz-Mas, A; Wicht, J; Mouri, H; Nakamichi, A; Morikawa, M
2011-01-01
We solve the equations of motion of a one-dimensional planar Heisenberg (or Vaks-Larkin) model consisting of a system of interacting macro-spins aligned along a ring. Each spin has unit length and is described by its angle with respect to the rotational axis. The orientation of the spins can vary in time due to random forcing and spin-spin interaction. We statistically describe the behaviour of the sum of all spins for different parameters. The term "domino model" in the title refers to the interaction among the spins. We compare the model results with geomagnetic field reversals and find strikingly similar behaviour. The aggregate of all spins keeps the same direction for a long time and, once in a while, begins flipping to change the orientation by almost 180 degrees (mimicking a geomagnetic reversal) or to move back to the original direction (mimicking an excursion). Most of the time the spins are aligned or anti-aligned and deviate only slightly with respect to the rotational axis (mimicking the secular v...
Iatrogenic amyloid polyneuropathy after domino liver transplantation.
Mnatsakanova, Diana; Živković, Saša A
2017-01-28
Liver transplantation has been used in treatment of transthyretin amyloidosis, and some patients undergo domino liver transplantation (DLT) with explanted liver being transplanted to another patient with liver failure as the liver is otherwise usually functionally normal. Until end of 2015, there were 1154 DLT performed worldwide. DLT for transthyretin amyloidosis is associated with the risk of developing de novo systemic amyloidosis and amyloid neuropathy, and the risk may be greater with some non-Val30Met mutations. De novo amyloid neuropathy has been described in up to 23% of transplant recipients. Neuropathy may be preceded by asymptomatic amyloid deposition in various tissues and symptoms of neuropathy started after a median of 7 years following DLT (5.7 ± 3.2 years; range 2 mo to 10 years). Typical initial symptoms include neuropathic pain and sensory loss, while dysautonomia usually starts later. Progression of neuropathy may necessitate liver re-transplantation, and subsequent improvement of neuropathy has been reported in some patients. Explant allograft recipients need close monitoring for signs of systemic amyloidosis, neuropathy and dysautonomia as progressive symptoms may require re-transplantation.
Kleene, Stephen Cole
2002-01-01
Undergraduate students with no prior instruction in mathematical logic will benefit from this multi-part text. Part I offers an elementary but thorough overview of mathematical logic of 1st order. Part II introduces some of the newer ideas and the more profound results of logical research in the 20th century. 1967 edition.
Institute of Scientific and Technical Information of China (English)
蒋伟民
2002-01-01
@@ Lotus Domino服务器具备了作为Internet和Intranet主机服务器的所有要求,如具有标准的In-ternet邮件系统、群体、交互式Web站点等功能.使用Domino在Web方面的强大功能,可以创建交互式的、动态的、安全的Web站点.为了使Web服务器发挥作用,首先必须设置好Domino Web服务器.本文以Domino Server 4.6为例说明DominoWeb服务器的设置.
Domino/Notes调用SQL数据库技术方案研究%The Research of Technology in Domino/Notes Transferring SQL Database
Institute of Scientific and Technical Information of China (English)
汪本标
2005-01-01
以通信公司的大客户系统为例,研究了Lotus Domino/Notes查询调用SQL数据库的方案与实现技术.首先对Lotus Domino/Notes的背景应用进行了总结,然后具体分析了Lotus Domino/Notes调用SQL数据库的方案及其实现技术.
Validation of a Model of the Domino Effect?
Larham, Ron
2008-01-01
A recent paper proposing a model of the limiting speed of the domino effect is discussed with reference to its need and the need of models in general for validation against experimental data. It is shown that the proposed model diverges significantly from experimentally derived speed estimates over a significant range of domino spacing using data from the existing literature and this author's own measurements, hence if its use had had economic importance its use outside its range of validity could have led to loses of one sort or another to its users.
Enantioselective Stereodivergent Nucleophile-Dependent Isothiourea-Catalysed Domino Reactions.
Matviitsuk, Anastassia; Taylor, James E; Cordes, David B; Slawin, Alexandra M Z; Smith, Andrew D
2016-12-05
α,β-Unsaturated acyl ammoniums generated from the reaction of α,β-unsaturated 2,4,6-trichlorophenol (TCP) esters bearing a pendent enone with an isothiourea organocatalyst are versatile intermediates in a range of enantioselective nucleophile-dependent domino processes to form complex products of diverse topology with excellent stereoselectivity. Use of either 1,3-dicarbonyls, acyl benzothiazoles, or acyl benzimidazoles as nucleophiles allows three distinct, diastereodivergent domino reaction pathways to be accessed to form various fused polycyclic cores containing multiple contiguous stereocentres. © 2016 The Authors. Published by Wiley-VCH Verlag GmbH & Co. KGaA.
Arctic circles, domino tilings and square Young tableaux
Romik, Dan
2009-01-01
The arctic circle theorem of Jockusch, Propp, and Shor asserts that uniformly random domino tilings of an Aztec diamond of high order are frozen with asymptotically high probability outside the "arctic circle" inscribed within the diamond. A similar arctic circle phenomenon has been observed in the limiting behavior of random square Young tableaux. In this paper, we show that random domino tilings of the Aztec diamond are asymptotically related to random square Young tableaux in a more refined sense that looks also at the behavior inside the arctic circle. This is done by giving a new derivation of the limiting shape of the height function of a random domino tiling of the Aztec diamond that uses the large-deviation techniques developed for the square Young tableaux problem in a previous paper by Pittel and the author. The solution of the variational problem that arises for domino tilings is almost identical to the solution for the case of square Young tableaux by Pittel and the author. The analytic techniques...
'Domino' systems biology and the 'A' of ATP
Verma, M.; Zakhartsev, M.; Reuss, M.; Westerhoff, H.V.
2013-01-01
We develop a strategic 'domino' approach that starts with one key feature of cell function and the main process providing for it, and then adds additional processes and components only as necessary to explain provoked experimental observations. The approach is here applied to the energy metabolism o
Domino congres brengt waterpartijen bij elkaar rond informatiemanagement
Peters, R.; Os, N. van; Spaling, G.; Willems, R.F.W.M.
2015-01-01
Op 20, 21 en 22 mei vond in Zwijndrecht het Dominocongres plaats. Domino adresseert de uitdaging van een “common operational picture” bij een groot overstromingsincident en de rol van informatiemanagement. Het IFV en de regio Zuid-Holland Zuid traden op als gastheer van een aantal geschakelde evenem
The Domino Effect: Problem Solving with Common Table Games.
Reimer, Wilbert
1989-01-01
Domino games are used to illustrate problem-solving techniques in a college principles-of-mathematics course. Students develop tables and use Pascal's triangle to find the total number of pips and the sum of numbers on the pieces. (DC)
Contagion as Domino Effect in Global Stock Markets
T.D. Markwat (Thijs); H.J.W.G. Kole (Erik); D.J.C. van Dijk (Dick)
2008-01-01
textabstractThis paper shows that stock market contagion operates through a domino effect, where small crashes evolve into more severe crashes. Using a novel unifying framework we model the occurrence of local, regional and global crashes in terms of past occurrences of these different crashes and f
'Domino' systems biology and the 'A' of ATP
Verma, M.; Zakhartsev, M.; Reuss, M.; Westerhoff, H.V.
2013-01-01
We develop a strategic 'domino' approach that starts with one key feature of cell function and the main process providing for it, and then adds additional processes and components only as necessary to explain provoked experimental observations. The approach is here applied to the energy metabolism o
Risk management of domino effects considering dynamic consequence analysis.
Khakzad, Nima; Khan, Faisal; Amyotte, Paul; Cozzani, Valerio
2014-06-01
Domino effects are low-probability high-consequence accidents causing severe damage to humans, process plants, and the environment. Because domino effects affect large areas and are difficult to control, preventive safety measures have been given priority over mitigative measures. As a result, safety distances and safety inventories have been used as preventive safety measures to reduce the escalation probability of domino effects. However, these safety measures are usually designed considering static accident scenarios. In this study, we show that compared to a static worst-case accident analysis, a dynamic consequence analysis provides a more rational approach for risk assessment and management of domino effects. This study also presents the application of Bayesian networks and conflict analysis to risk-based allocation of chemical inventories to minimize the consequences and thus to reduce the escalation probability. It emphasizes the risk management of chemical inventories as an inherent safety measure, particularly in existing process plants where the applicability of other safety measures such as safety distances is limited. © 2013 Society for Risk Analysis.
Contagion as Domino Effect in Global Stock Markets
T.D. Markwat (Thijs); H.J.W.G. Kole (Erik); D.J.C. van Dijk (Dick)
2008-01-01
textabstractThis paper shows that stock market contagion operates through a domino effect, where small crashes evolve into more severe crashes. Using a novel unifying framework we model the occurrence of local, regional and global crashes in terms of past occurrences of these different crashes and
Radical addition-initiated domino reactions of conjugated oxime ethers.
Ueda, Masafumi
2014-01-01
The application of conjugated oxime ethers to the synthesis of complex chemical scaffolds using domino radical reactions has been described in detail. The triethylborane-mediated hydroxysulfenylation reaction allows for the regioselective construction of a carbon-sulfur bond and a carbon-oxygen bond in a single operation for the formation of β-hydroxy sulfides. This reaction proceeds via a radical pathway involving regioselective thiyl addition and the subsequent trapping of the resulting α-imino radical with O₂, where the imino group enhances the stability of the intermediate radical. Hydroxyalkylation reactions that occur via a carbon radical addition reaction followed by the hydroxylation of the resulting N-borylenamine with O₂ have also been developed. We investigated sequential radical addition aldol-type reactions in detail to explore the novel domino reactions that occur via the generation of N-borylenamine. The radical reaction of a conjugated oxime ether with triethylborane in the presence of an aldehyde affords γ-butyrolactone via sequential processes including ethyl radical addition, the generation of N-borylenamine, an aldol-type reaction with an aldehyde, and a lactonization reaction. A novel domino reaction has also been developed involving the [3,3]-sigmatropic rearrangement of N-boryl-N-phenoxyenamine. The triethylborane-mediated domino reactions of O-phenyl-conjugated oxime ethers afforded the corresponding benzofuro[2,3-b]pyrrol-2-ones via a radical addition/[3,3]-sigmatropic rearrangement/cyclization/lactamization cascade.
'Domino' systems biology and the 'A' of ATP
Verma, M.; Zakhartsev, M.; Reuss, M.; Westerhoff, H.V.
2013-01-01
We develop a strategic 'domino' approach that starts with one key feature of cell function and the main process providing for it, and then adds additional processes and components only as necessary to explain provoked experimental observations. The approach is here applied to the energy metabolism
The Domino Effect: Problem Solving with Common Table Games.
Reimer, Wilbert
1989-01-01
Domino games are used to illustrate problem-solving techniques in a college principles-of-mathematics course. Students develop tables and use Pascal's triangle to find the total number of pips and the sum of numbers on the pieces. (DC)
Raffa, G M; Pellegrini, C; Viganò, M
2010-11-01
"Domino" cardiac procedure is an effective option to increase the donor pool when heart-lung transplantation (HLT) is the only treatment for patients with terminal cardiopneumopathy. We reviewed the long-term outcomes of domino cardiac donors and recipients at our institution. Ten of 35 patients who underwent HLT from 1991 onward served as domino cardiac donors. They included eight female and two male subjects of overall mean age of 33 years and mean weight of 55 kg. Their diagnoses were primary pulmonary hypertension (n = 6) as well as cystic fibrosis, bronchiectasis, Eisenmenger's syndrome, and bronchiolitis obliterans (n = 1 each). The domino cardiac recipients included six males and four females of overall mean age of 47 years and mean weight of 61 kg. They were affected by ischemic heart disease (n = 5), cardiomyopathy (n = 4), and valvular heart disease (n = 1). Mean pulmonary vascular resistance was 3 Wood units. The heart was used either in the orthotopic (n = 8) or in the heterotopic position (n = 2). The 1-, 5-, and 10-year survivals for the domino cardiac donors versus their recipients were 60%, 40%, 30% versus 90%, 70%, 60%, respectively. Five domino donors developed bronchiolitis obliterans syndrome. Among the domino recipients group, cardiac allograft vasculopathy was rare (n = 1). Common causes of late death were in the domino recipients infections in the domino donors (n = 2) and malignancies. Our experience suggested good long-term results of the domino procedure. Copyright © 2010 Elsevier Inc. All rights reserved.
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.
Muthupandi, Pandi; Sundaravelu, Nallappan; Sekar, Govindasamy
2017-02-17
An efficient domino reaction has been developed for the synthesis of thiochromenes through Cu-catalyzed in situ incorporation of sulfur. This domino method avoids the use of less accessible and unpleasant arenethiols as starting materials, instead utilizes very stable aryl halides along with potassium ethyl xanthate as an odorless sulfur surrogate. The domino methodology proceeds through C(aryl)-S coupling, thioester cleavage, sulfa-Michael addition, aldol reaction, and elimination reaction sequences to provide thiochromenes in good yields.
2014-10-03
that must be woven into proofs of security statements. 03-10-2014 Memorandum Report Logic System-on-a-Chip Distributed systems 9888 ASDR&EAssistant...can be removed without damaging the logic. For all propositional letters p, E1. p ⊃ [r] p From now on, a distributed logic contains at least the...a ∈ x iff 〈h〉 ∈ x. These same definitions work for the canonical relation R for r : h y k where now a ∈ MA(k), [r] a, 〈r〉 a ∈ MA(h), x ∈ CF(h), and
Lengyel, Florian
2012-01-01
We define Denial Logic DL, a system of justification logic that models an agent whose justified beliefs are false, who cannot avow his own propositional attitudes and who can believe contradictions but not tautologies of classical propositional logic. Using Artemov's natural semantics for justification logic JL, in which justifications are interpreted as sets of formulas, we provide an inductive construction of models of DL, and prove soundness and completeness results for DL. Some logical notions developed for JL, such as constant specifications and the internalization property, are inconsistent with DL. This leads us to define negative constant specifications for DL, which can be used to model agents with justified false beliefs. Denial logic can therefore be relevant to philosophical skepticism. We use DL with what we call coherent negative constant specifications to model a Putnamian brain in a vat with the justified false belief that it is not a brain in a vat, and derive a model of JL in which "I am a b...
Successful Domino Liver Transplantation from a Patient with Methylmalonic Acidemia.
Khanna, A; Gish, R; Winter, S C; Nyhan, W L; Barshop, B A
2016-01-01
Liver transplantation has been reported in patients with methylmalonic acidemia (MMA), but long-term outcome is controversial. Many patients with other approved indications for liver transplantation die before donor grafts are available. A 28-year-old man with MMA underwent cadaveric liver transplantation. His liver was used as a domino graft for a 61-year-old man with primary sclerosing cholangitis, who had low priority on the transplant waiting list. Surgical outcome was successful, and after transplantation both patients have excellent graft function. The patient with MMA showed substantial decrease in methylmalonate in urine (from 5,277 ± 1,968 preoperatively to 1,068 ± 384 mmol/mol creatinine) and plasma (from 445.9 ± 257.0 to 333.3 ± 117.7 μmol/l) over >1-year follow-up, while dietary protein intake increased from 0.6 to 1.36 ± 0.33 g/kg/day. The domino recipient maintained near-normal levels of plasma amino acids but did develop elevated methylmalonate in blood and urine while receiving an unrestricted diet (peak plasma methylmalonate 119 μmol/l and urine methylmalonate 84-209 mmol/mol creatinine, with 1.0-1.9 g/kg/day protein). Neither patient demonstrated any apparent symptoms of MMA or metabolic decompensation during the postoperative period or following discharge. Liver transplantation substantially corrects methylmalonate metabolism in MMA and greatly attenuates the disease. In this single patient experience, a liver from a patient with MMA functioned well as domino graft although it did result in subclinical methylmalonic acidemia and aciduria in the recipient. Patients with MMA can be considered as domino liver donors for patients who might otherwise spend long times waiting for liver transplantation.
Flexible synthesis of anthracycline aglycone mimics via domino carbopalladation reactions
Directory of Open Access Journals (Sweden)
Markus Leibeling
2013-10-01
Full Text Available A synthesis of anthracycline aglycone derivatives is described. The key step utilizes a powerful domino carbopalladation approach and subsequent ring closure. During this process two of the four rings of the anthracycline scaffold are formed. Differently substituted carbohydrates and dialkyne chains serve as versatile and simple starting materials for the reaction sequence. Diverse building blocks lead to a variety of different products and a broad range of structural diversity.
'Domino' systems biology and the 'A' of ATP.
Verma, Malkhey; Zakhartsev, Maksim; Reuss, Matthias; Westerhoff, Hans V
2013-01-01
We develop a strategic 'domino' approach that starts with one key feature of cell function and the main process providing for it, and then adds additional processes and components only as necessary to explain provoked experimental observations. The approach is here applied to the energy metabolism of yeast in a glucose limited chemostat, subjected to a sudden increase in glucose. The puzzles addressed include (i) the lack of increase in adenosine triphosphate (ATP) upon glucose addition, (ii) the lack of increase in adenosine diphosphate (ADP) when ATP is hydrolyzed, and (iii) the rapid disappearance of the 'A' (adenine) moiety of ATP. Neither the incorporation of nucleotides into new biomass, nor steady de novo synthesis of adenosine monophosphate (AMP) explains. Cycling of the 'A' moiety accelerates when the cell's energy state is endangered, another essential domino among the seven required for understanding of the experimental observations. This new domino analysis shows how strategic experimental design and observations in tandem with theory and modeling may identify and resolve important paradoxes. It also highlights the hitherto unexpected role of the 'A' component of ATP. Crown Copyright © 2012. Published by Elsevier B.V. All rights reserved.
DEFF Research Database (Denmark)
Braüner, Torben
2011-01-01
Intuitionistic hybrid logic is hybrid modal logic over an intuitionistic logic basis instead of a classical logical basis. In this short paper we introduce intuitionistic hybrid logic and we give a survey of work in the area.......Intuitionistic hybrid logic is hybrid modal logic over an intuitionistic logic basis instead of a classical logical basis. In this short paper we introduce intuitionistic hybrid logic and we give a survey of work in the area....
Institute of Scientific and Technical Information of China (English)
Hongsheng QI; Daizhan CHENG
2008-01-01
This paper gives a matrix expression of logic. Under the matrix expression, a general description of the logical operators is proposed. Using the semi-tensor product of matrices, the proofs of logical equivalences, implications, etc., can be simplified a lot. Certain general properties are revealed. Then, based on matrix expression, the logical operators are extended to multi-valued logic, which provides a foundation for fuzzy logical inference. Finally, we propose a new type of logic, called mix-valued logic, and a new design technique, called logic-based fuzzy control. They provide a numerically computable framework for the application of fuzzy logic for the control of fuzzy systems.
Nasir, Na'ilah Suad
2005-01-01
In this article, I explore the relation between the sociocultural and individual cognitive structuring as elementary school students, high school students, and adults play the strategic game of dominoes. I present data from a study in which players at each level were observed and video-recorded during domino tournament play. Findings reveal the…
Institute of Scientific and Technical Information of China (English)
孙健
2001-01-01
介绍了Domino/Notes校验与认证、存取控制等数种安全机制、针对Domino/Notes安全设计理论的空白,提出了网状安全设计的思想,详细介绍了设计步骤,并用实例辅以说明
What Do Children Learn by Trying to Produce the Domino Effect?
Ozaki, Kyoko; Yamamoto, Naoko; Kamii, Constance
2008-01-01
Preschool teachers use the domino effect--standing dominos on end in rows and pushing one over--to examine how play contributes to children's acquisition of knowledge. Using diagrams, photos, and vignettes of children between the ages of 3 and 5 years, the authors demonstrate how children at different stages of development use physical knowledge…
What Do Children Learn by Trying to Produce the Domino Effect?
Ozaki, Kyoko; Yamamoto, Naoko; Kamii, Constance
2008-01-01
Preschool teachers use the domino effect--standing dominos on end in rows and pushing one over--to examine how play contributes to children's acquisition of knowledge. Using diagrams, photos, and vignettes of children between the ages of 3 and 5 years, the authors demonstrate how children at different stages of development use physical knowledge…
Noise-based logic: Binary, multi-valued, or fuzzy, with optional superposition of logic states
Kish, Laszlo B
2008-01-01
A new type of deterministic (non-probabilistic) computer logic system inspired by the stochasticity of brain signals is shown. The distinct values are represented by independent stochastic processes: independent voltage (or current) noises. The orthogonality of these processes provides a natural way to construct binary or multi-valued logic circuitry with arbitrary number N of logic values by using analog circuitry. Moreover, the logic values on a single wire can be made a (weighted) superposition of the N distinct logic values. Fuzzy logic is also naturally represented by a two-component superposition within the binary case (N=2). Error propagation and accumulation are suppressed. Other relevant advantages are reduced energy dissipation and leakage current problems, and robustness against circuit noise and background noises such as 1/f, Johnson, shot and crosstalk noise. Variability problems are also nonexistent because the logic value is an AC signal. A similar logic system can be built with orthogonal sinu...
Institute of Scientific and Technical Information of China (English)
武坤; 徐刚
2002-01-01
随着社会竞争的加剧,各行各业对数据的安全性的要求越来越高.而Lotus Domino/Notes由于它在数据库方面的独特的优势,使用越来越广.为了让人们了解Lotus Domino/Notes的安全机制,本文通过对Domino/Notes数据库安全需求的分析,向读者剖析了Lotus Domino/Notes安全机制,以便用户在开发信息系统时能合适选择所需的安全机制的组件,同时阐述了安全机制的应用.
Creating Domino Web Sites Using HTML Authoring Tools%用HTML编写工具和Domino Designer结合开发Web站点
Institute of Scientific and Technical Information of China (English)
袁亦韧
2001-01-01
用HTML编写工具和Domino Designer结合可以便捷地设计出既美观、又有价值的商用Web站点.介绍了Lotus公司提供的组件DDC与DIS.并用一个实例来说明如何利用它来结合Web站点编写工具建立Domino Web站点.
Zadeh, Lofti A.
1988-01-01
The author presents a condensed exposition of some basic ideas underlying fuzzy logic and describes some representative applications. The discussion covers basic principles; meaning representation and inference; basic rules of inference; and the linguistic variable and its application to fuzzy control.
FUZZY LOGIC CONTROLLED CATHODIC PROTECTION CIRCUIT DESIGN
AKÇAYOL, M. Ali
2010-01-01
In this study, output voltage of automatic transformer-rectifier (TR) unit of impressed current cathodic protection has been controlled by using fuzzy logic controller. To prevent corrosion, voltage between the protection metal and the auxiliary anode has to be controlled on a desired level. Because soil resistance in the environment changes with humidity and soil characteristics, TRs must control the output voltage between protection metal and auxiliary anode automatically. In this study, a ...
Recipient aging accelerates acquired transthyretin amyloidosis after domino liver transplantation.
Misumi, Yohei; Narita, Yasuko; Oshima, Toshinori; Ueda, Mitsuharu; Yamashita, Taro; Tasaki, Masayoshi; Obayashi, Konen; Isono, Kaori; Inomata, Yukihiro; Ando, Yukio
2016-05-01
Domino liver transplantation (DLT) with liver grafts from patients with hereditary transthyretin (TTR) amyloidosis has been performed throughout the world because of a severe liver graft shortage. Reports of acquired systemic TTR amyloidosis in domino liver recipients have been increasing; however, the precise pathogenesis and clinical course of acquired TTR amyloidosis remains unclear. We analyzed the relationship between the occurrence of acquired amyloidosis and clinical features in 22 consecutive domino liver donors with hereditary TTR amyloidosis (10 males and 12 females; mean age at DLT: 37.2 years; TTR mutations: V30M [n = 19], Y114C [n = 1], L55P [n = 1], and S50I [n = 1]) and 22 liver recipients (16 males and 6 females; mean age at DLT, 46.2 years). The mean times from DLT to amyloid first appearance and transplant recipient symptom onset were 8.2 years and 9.9 years, respectively. Kaplan-Meier analysis and quantification of the amyloid deposition revealed aging of recipients correlated with early de novo amyloid deposition. The sex of donors and recipients and the age, disease duration, and disease severity of donors had no significant effect on the latency of de novo amyloid deposition. In conclusion, our results demonstrate that recipient aging is associated with the early onset de novo amyloidosis. Because acquired amyloidosis will likely increase, careful follow-up for early amyloidosis detection and new treatments, including TTR stabilizers and gene-silencing therapies, are required. Liver Transplantation 22 656-664 2016 AASLD. © 2015 American Association for the Study of Liver Diseases.
Torsional Detwinning Domino in Nanotwinned One-Dimensional Nanostructures.
Zhou, Haofei; Li, Xiaoyan; Wang, Ying; Liu, Zishun; Yang, Wei; Gao, Huajian
2015-09-09
How to maintain sustained deformation in one-dimensional nanostructures without localized failure is an important question for many applications of nanotechnology. Here we report a phenomenon of torsional detwinning domino that leads to giant rotational deformation without localized failure in nanotwinned one-dimensional metallic nanostructures. This mechanism is demonstrated in nanotwinned Cu nanorods via molecular dynamics simulations, where coherent twin boundaries are transformed into twist boundaries and then dissolved one by one, resulting in practically unlimited rotational deformation. This finding represents a fundamental advance in our understanding of deformation mechanisms in one-dimensional metallic nanostructures.
Domino shuffling for the Del Pezzo 3 lattice
Cottrell, Cyndie
2010-01-01
We present a version of the domino shuffling algorithm (due to Elkies, Kuperberg, Larsen and Propp) which works on a different lattice: the hexagonal lattice superimposed on its dual graph. We use our algorithm to count perfect matchings on a family of finite subgraphs of this lattice whose boundary conditions are compatible with our algorithm. In particular, we re-prove an enumerative theorem of Ciucu, as well as finding a related family of subgraphs which have 2^{(n+1)^2} perfect matchings. We also give three-variable generating functions for perfect matchings on both families of graphs, which encode certain statistics on the height functions of these graphs.
Ellis, Kaitlyn; Friedman, Chloe; Yedvobnick, Barry
2015-01-01
The Drosophila domino gene encodes protein of the SWI2/SNF2 family that has widespread roles in transcription, replication, recombination and DNA repair. Here, the potential relationship of Domino protein to other chromatin-associated proteins has been investigated through a genetic interaction analysis. We scored for genetic modification of a domino wing margin phenotype through coexpression of RNAi directed against a set of previously characterized and more newly characterized chromatin-encoding loci. A set of other SWI2/SNF2 loci were also assayed for interaction with domino. Our results show that the majority of tested loci exhibit synergistic enhancement or suppression of the domino wing phenotype. Therefore, depression in domino function sensitizes the wing margin to alterations in the activity of numerous chromatin components. In several cases the genetic interactions are associated with changes in the level of cell death measured across the dorsal-ventral margin of the wing imaginal disc. These results highlight the broad realms of action of many chromatin proteins and suggest significant overlap with Domino function in fundamental cell processes, including cell proliferation, cell death and cell signaling.
Saner, Fuat H; Treckmann, Juergen; Pratschke, Johann; Arbogast, Helmut; Rahmel, Axel; Vester, Udo; Paul, Andreas
2010-10-15
Organ shortage is responsible for high mortality rates of patients awaiting liver transplantation (LT). Domino transplantation has had reported success in patients with metabolic disorders. Primary hyperoxaluria type 1 (PH1) is a rare metabolic disorder. There are a few case reports that suggest that PH1 livers originating from donors that have undergone combined liver-kidney transplantation can be successfully used for domino transplantation. In the last decade, five patients received a domino liver transplant from patients with PH1 in the EUROTRANSPLANT region. In this study, we report the clinical course and outcome of these five patients who were received a domino graft transplant. All patients, with the exception of one, suffered from multifocal hepatocellular carcinoma and underwent domino LT from patients undergoing combined liver-kidney transplantation for PH1. Within the first 4 weeks, all the domino recipients developed dialysis-dependent kidney failure despite good liver function. Four of the five patients died. The only survivor underwent retransplantation due to hepatic artery thrombosis. Twenty months after transplantation, this patient is doing well and has had no recurrence of hepatocellular carcinoma. Domino LT using donors with PH1 results in early renal failure and cannot be recommended for transplantation unless preventive strategies have been identified.
Institute of Scientific and Technical Information of China (English)
林作铨; 李未
1995-01-01
Parametric logic is introduced. The language, semantics and axiom system of parametric logic are defined. Completeness theorem of parametric logic is provided. Parametric logic has formal ability powerful enough to capture a wide class of logic as its special cases, and therefore can be viewed as a uniform basis for modern logics.
HIGH SPEED LOW POWER CMOS DOMINO OR GATE DESIGN IN 16NM TECHNOLOGY
Directory of Open Access Journals (Sweden)
P. Koti Lakshmi
2015-07-01
Full Text Available Dynamic logic circuits provide more compact designs with faster switching speeds and low power consumption compared with the other CMOS design styles. This paper proposes a wide fan-in circuit with increased switching speed and noise immunity. Speed is achieved by quickly removing the charge on the dynamic node during evaluation phase, compared to the other circuits. The design also offers very less Power Delay Product (PDP. The design is exercised for 20% variation in supply voltage.
Domino: Extracting, Comparing, and Manipulating Subsets across Multiple Tabular Datasets
Gratzl, Samuel; Gehlenborg, Nils; Lex, Alexander; Pfister, Hanspeter; Streit, Marc
2016-01-01
Answering questions about complex issues often requires analysts to take into account information contained in multiple interconnected datasets. A common strategy in analyzing and visualizing large and heterogeneous data is dividing it into meaningful subsets. Interesting subsets can then be selected and the associated data and the relationships between the subsets visualized. However, neither the extraction and manipulation nor the comparison of subsets is well supported by state-of-the-art techniques. In this paper we present Domino, a novel multiform visualization technique for effectively representing subsets and the relationships between them. By providing comprehensive tools to arrange, combine, and extract subsets, Domino allows users to create both common visualization techniques and advanced visualizations tailored to specific use cases. In addition to the novel technique, we present an implementation that enables analysts to manage the wide range of options that our approach offers. Innovative interactive features such as placeholders and live previews support rapid creation of complex analysis setups. We introduce the technique and the implementation using a simple example and demonstrate scalability and effectiveness in a use case from the field of cancer genomics. PMID:26356916
High Speed Boosted Cmos Differential Logic for Ripple Carry Adders
Directory of Open Access Journals (Sweden)
Meenu Roy,
2014-01-01
Full Text Available This paper describes a high speed boosted CMOS differential logic which is applicable in Ripple Carry Adders. The proposed logic operating with supply voltage approaching the MOS threshold voltage. The logic style improves switching speed by boosting the gate-source voltage of transistors along timing critical signal path. It allows a single boosting circuit to be shared by complementary outputs as a result the area overhead also minimizes. As compared to the conventional logic gates the EDP (energy delay product is improved. The test sets of logic gates and adders where designed in tsmc0.18μm of Mentor Graphics EDA tool. The experimental result for Ripple Carry Adders using the proposed logic style revealed that the addition time is reduced as compared with the conventional CMOS circuits.
Malcolm, Norman; Altuner, Ilyas
2015-01-01
The paper deals exclusively with the doctrine called ‘Logical Behaviorism’. Although this position does not vogue it enjoyed in the 1930s and 1940s, it will always possess a compelling attraction for anyone who is perplexed by the psychological concepts, who has become aware of worthlessness of an appeal to introspection as an account of how we learn those concepts, and he has no inclination to identify mind with brain. There, of course, are other forms of behaviorism, and of reductionism, wh...
Digital Repository Service at National Institute of Oceanography (India)
Patre, R.E.; Gawas, S.; Sen, S.; Parameswaran, P.S.; Tilve, S.G.
A domino Wittig Diels - Alder reaction has been employed in delineating a short and flexible synthetic stratagem for ready access to the AB ring system and the tricyclic framework of furanosesquiterpenes, such as the bioactive natural products...
High-efficiency transition between rectangular waveguide and domino plasmonic waveguide
Liu, Liangliang; Li, Zhuo; Xu, Bingzheng; Gu, Changqing; Chen, Chen; Ning, Pingping; Yan, Jian; Chen, Xingyu
2015-02-01
In this work, we propose an optimized transition structure to realize smooth and high efficiency conversion from the guided wave supported by a conventional rectangular waveguide (CRW) to the domino plasmon polaritons (DPPs) supported by a domino plasmonic waveguide (DPW) and vice versa in the X-band (8.2GHz˜12.4GHz). This transition structure consists of two tapered CRWs connected by a gradient domino array with optimized gradient heights and lateral widths. Experimental results of the S-parameters show excellent agreement with the simulations and the optimization scheme can be readily extended to other bands. Furthermore, a domino plasmonic power divider is implemented to demonstrate the application of the transition structure in the integration of conventional microwave circuits with plasmonic devices.
Formation of pentacyclic structures by a domino sequence on cyclic enamides.
Satyanarayana, Gedu; Maichle-Mössmer, Caecilia; Maier, Martin E
2009-03-28
Novel spiropentacyclic compounds were obtained from cyclic enamides of type , featuring a (2-bromophenyl)propyl substituent in the 5-position, through a Pd-mediated domino sequence taking place via Heck insertion and C-H activation.
Prevention of domino effect: from active and passive strategies to inherently safer design.
Cozzani, Valerio; Tugnoli, Alessandro; Salzano, Ernesto
2007-01-10
The possible application of an inherent safety approach to the prevention of domino accidents was explored. The application of the inherent safety guidewords to the definition of effective actions for the prevention of domino events was analyzed. Due to the constraints originated by the conventional approach to process design, the "limitation of effects" guideword resulted the more effective in the identification of inherent safety actions to avoid domino events. Detailed design criteria for the improvement of layout in the framework of inherent safety were identified and discussed. Simple rules of thumbs were obtained for the preliminary assessment of safety distances and of critical inventories with respect to the escalation of fires and explosions. The results evidenced that the integration of inherent safety criteria with conventional passive or active protections seems a promising route for the prevention of severe domino accidental scenarios in chemical and process plants.
Kumar, Mukesh; Chauhan, Pankaj; Valkonen, Arto; Rissanen, Kari; Enders, Dieter
2017-06-02
A highly stereoselective triple domino reaction for the synthesis of functionalized tricyclic chromane scaffolds has been developed. A secondary amine-catalyzed domino Michael/Michael/aldol condensation reaction between aliphatic aldehydes, nitro-chromenes, and α,β-unsaturated aldehydes leads to the formation of synthetically important tricyclic chromanes bearing four contiguous stereogenic centers including a tetrasubstituted carbon in good yields (20-66%) and excellent stereoselectivities (>20:1 dr and >99% ee).
Pavlova, Anna S; Ivanova, Olga A; Chagarovskiy, Alexey O; Stebunov, Nikolay S; Orlov, Nikolay V; Shumsky, Alexey N; Budynina, Ekaterina M; Rybakov, Victor B; Trushkov, Igor V
2016-12-12
A highly efficient and selective domino reaction producing valuable di- and tetrahydropyrrole-based skeletons from azidoethyl-substituted CH-acids and (thio)carbonyl compounds has been developed. By involving the additional functional groups in starting compounds into the domino reaction or postmodification of the primary reaction products, the simple construction of the pharmaceutically relevant three- and polycyclic azaheterocyclic scaffolds was demonstrated. © 2016 Wiley-VCH Verlag GmbH & Co. KGaA, Weinheim.
Novel domino procedures for the synthesis of chromene derivatives and their isomerization.
Zonouzi, Afsaneh; Izakian, Zakieh; Ng, Seik Weng
2016-08-01
Novel tricyclic keto diesters have been synthesized by a one-pot three-component procedure via DABCO-catalyzed domino Knoevenagel-Michael addition reactions. Also, an efficient four-component reaction for the synthesis of another new group of tricyclic keto diesters has been developed via domino Knoevenagel-intramolecular oxo-Diels-Alder reactions. A selective thermal isomerization of the synthesized chromenes to fumarates is also described. X-ray analyses confirm unambiguously the structures of the products.
Reniers, Genserik; Dullaert, Wout; Karel, Soudan
2009-08-15
Every company situated within a chemical cluster faces domino effect risks, whose magnitude depends on every company's own risk management strategies and on those of all others. Preventing domino effects is therefore very important to avoid catastrophes in the chemical process industry. Given that chemical companies are interlinked by domino effect accident links, there is some likelihood that even if certain companies fully invest in domino effects prevention measures, they can nonetheless experience an external domino effect caused by an accident which occurred in another chemical enterprise of the cluster. In this article a game-theoretic approach to interpret and model behaviour of chemical plants within chemical clusters while negotiating and deciding on domino effects prevention investments is employed.
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....
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
Institute of Scientific and Technical Information of China (English)
小雨
2006-01-01
A teacher was giving her pu- pils a lesson on logic(逻辑)．“Here is the situation(情景),”she said,“a man is stand- ing up in a boat in the middle of a river,fishing．He loses his bal- ance(平衡),falls in,and begins splashing(泼水)and yelling(叫喊)for help．His wife hears the commotion(喧闹),knows that he can’t swim,and runs down to the bank (河岸)．Why did she run to the bank?” A girl raised her hand and asked,“To draw out(提取)all of his savings(存款)．”
Three-level description of the domino cellular automaton
Czechowski, Zbigniew
2010-01-01
Inspired by the approach of kinetic theory of gases, a three-level description (microscopic, mesoscopic and macroscopic) of cellular automaton is presented. To provide an analytical treatment a simple domino cellular automaton with avalanches was constructed. Formulas concerning exact relations for density, clusters, avalanches and other parameters in an equilibrium state were derived. It appears that some relations are approximately valid for deviations from the equilibrium, so the adequate Ito equation could be constructed. The equation provides the time evolution description of some variable on the macroscopic level. The results also suggest a motive for applying of the procedure of construction of the Ito equation (from time series data) to natural time series.
Chandrasekar, Selvaraj; Sekar, Govidasamy
2016-03-21
An efficient chemoselective domino oxidative homocoupling of 2-aminoaryl ketones in the presence of 2-iodoxybenzoic acid (IBX) for the synthesis of iminoquinone has been developed. The domino reaction proceeds via three consecutive steps, such as domino ortho-hydroxylation of 2-aminoaryl ketones, oxidation of a phenol derivative to benzoquinone and dimerization through imine formation to yield iminoquinone. Importantly, this reaction allows the recycling of the oxidant IBX by recovering the by-product iodosobenzoic acid (IBA) and oxidizing it back to IBX. A four step domino strategy for the synthesis of iminoquinone through in situ generation of 2-amino benzophenone from (2-amino phenyl)(phenyl)methanol was also developed.
LOGIC DEVICES, *OPTICAL CIRCUITS, *OPTICAL SWITCHING, HETEROJUNCTIONS, PHOTOTRANSISTORS, ELECTROOPTICS, LASER CAVITIES, OPTICAL PROCESSING, PARALLEL PROCESSING, BISTABLE DEVICES, GATES(CIRCUITS), VOLTAGE, BINARY ARITHMETIC .
Paraconsistent Computational Logic
DEFF Research Database (Denmark)
Jensen, Andreas Schmidt; Villadsen, Jørgen
2012-01-01
In classical logic everything follows from inconsistency and this makes classical logic problematic in areas of computer science where contradictions seem unavoidable. We describe a many-valued paraconsistent logic, discuss the truth tables and include a small case study....
Doberkat, Ernst-Erich
2009-01-01
Combining coalgebraic reasoning, stochastic systems and logic, this volume presents the principles of coalgebraic logic from a categorical perspective. Modal logics are also discussed, including probabilistic interpretations and an analysis of Kripke models.
Eskolemization in intuitionistic logic
Baaz, Matthias; Iemhoff, R.
In [2] an alternative skolemization method called eskolemization was introduced that is sound and complete for existence logic with respect to existential quantifiers. Existence logic is a conservative extension of intuitionistic logic by an existence predicate. Therefore eskolemization provides a
Paraconsistent Computational Logic
DEFF Research Database (Denmark)
Jensen, Andreas Schmidt; Villadsen, Jørgen
2012-01-01
In classical logic everything follows from inconsistency and this makes classical logic problematic in areas of computer science where contradictions seem unavoidable. We describe a many-valued paraconsistent logic, discuss the truth tables and include a small case study.......In classical logic everything follows from inconsistency and this makes classical logic problematic in areas of computer science where contradictions seem unavoidable. We describe a many-valued paraconsistent logic, discuss the truth tables and include a small case study....
Reprogammable universal logic device based on mems technology
Hafiz, Md Adbdullah Al
2017-06-15
Various examples of reprogrammable universal logic devices are provided. In one example, the device can include a tunable AC input (206) to an oscillator/resonator; a first logic input and a second logic input to the oscillator/resonator, the first and second logic inputs provided by separate DC voltage sources (VA, VB), each of the first and second logic inputs including an on/off switch (A, B); and the oscillator/resonator including an output terminal (215). The tunable oscillator/resonator can be a MEMS/NEMS resonator. Switching of one or both of the first or second logic inputs on or off in association with the tuning of the AC input (206) can provide logic gate operation. The device can easily be extended to a 3-bit or n-bit device by providing additional logic inputs. Binary comparators and encoders can be implemented using a plurality of oscillators/resonators.
Three-valued logics in modal logic
Kooi, Barteld; Tamminga, Allard
2013-01-01
Every truth-functional three-valued propositional logic can be conservatively translated into the modal logic S5. We prove this claim constructively in two steps. First, we define a Translation Manual that converts any propositional formula of any three-valued logic into a modal formula. Second, we
DEFF Research Database (Denmark)
Modal logic is a subject with ancient roots in the western logical tradition. Up until the last few generations, it was pursued mainly as a branch of philosophy. But in recent years, the subject has taken new directions with connections to topics in computer science and mathematics. This volume i...... epistemic logic, and the logic of evidence.......Modal logic is a subject with ancient roots in the western logical tradition. Up until the last few generations, it was pursued mainly as a branch of philosophy. But in recent years, the subject has taken new directions with connections to topics in computer science and mathematics. This volume...... is the proceedings of the conference of record in its fi eld, Advances in Modal Logic. Its contributions are state-of-the-art papers. The topics include decidability and complexity results for specifi c modal logics, proof theory of modal logic, logics for reasoning about time and space, provability logic, dynamic...
Magnetic tunnel junction based spintronic logic devices
Lyle, Andrew Paul
The International Technology Roadmap for Semiconductors (ITRS) predicts that complimentary metal oxide semiconductor (CMOS) based technologies will hit their last generation on or near the 16 nm node, which we expect to reach by the year 2025. Thus future advances in computational power will not be realized from ever-shrinking device sizes, but rather by 'outside the box' designs and new physics, including molecular or DNA based computation, organics, magnonics, or spintronic. This dissertation investigates magnetic logic devices for post-CMOS computation. Three different architectures were studied, each relying on a different magnetic mechanism to compute logic functions. Each design has it benefits and challenges that must be overcome. This dissertation focuses on pushing each design from the drawing board to a realistic logic technology. The first logic architecture is based on electrically connected magnetic tunnel junctions (MTJs) that allow direct communication between elements without intermediate sensing amplifiers. Two and three input logic gates, which consist of two and three MTJs connected in parallel, respectively were fabricated and are compared. The direct communication is realized by electrically connecting the output in series with the input and applying voltage across the series connections. The logic gates rely on the fact that a change in resistance at the input modulates the voltage that is needed to supply the critical current for spin transfer torque switching the output. The change in resistance at the input resulted in a voltage margin of 50--200 mV and 250--300 mV for the closest input states for the three and two input designs, respectively. The two input logic gate realizes the AND, NAND, NOR, and OR logic functions. The three input logic function realizes the Majority, AND, NAND, NOR, and OR logic operations. The second logic architecture utilizes magnetostatically coupled nanomagnets to compute logic functions, which is the basis of
基于Lotus Domino/Notes的电话站管理信息系统的设计与实现
Institute of Scientific and Technical Information of China (English)
颜湘军
2003-01-01
本文介绍了Lotus Domino/Notes的特点,探讨了利用Lotus Domino/Notes基于网络的实际应用方法,即在Lotus Domino/Notes平台上建立电话站管理信息系统的设计和实现方法.
Energy Technology Data Exchange (ETDEWEB)
Bozzolan, Jean-Claude
2006-07-01
Accidents caused by domino effect are among the most severe accidents in the chemical and process industry. Although the destructive potential of these accidental scenarios is widely known, little attention has been paid to this problem in the technical literature and a complete methodology for quantitative assessment of domino accidents contribution to industrial risk is still lacking. The present study proposed a systematic procedure for the quantitative assessment of the risk caused by domino effect in chemical plants that are part of nuclear fuel cycle plants. This work is based on recent advances in the modeling of fire and explosion damage to process equipment due to different escalation vectors (heat radiation, overpressure and fragment projection). Available data from literature and specific vulnerability models derived for several categories of process equipment had been used in the present work. The proposed procedure is applied to a typical storage area of a reconversion plant situated in a complex that shelters other nuclear fuel cycle facilities. The top-events and escalation vectors are identified, their consequences estimated and credible domino scenarios selected on the basis of their frequencies. (author)
Gronert, Joie; Marshall, Sally
Activities and games which use dominoes to reinforce basic arithmetic skills are presented. Instructions and materials are provided for the activities and games, most of which involve addition and subtraction. Other skill areas which are covered include recognition and matching of domino patterns, multiplication, and division. A seven-item list of…
Gronert, Joie; Marshall, Sally
Activities and games which use dominoes to reinforce basic arithmetic skills are presented. Instructions and materials are provided for the activities and games, most of which involve addition and subtraction. Other skill areas which are covered include recognition and matching of domino patterns, multiplication, and division. A seven-item list of…
Magnetic-field-controlled reconfigurable semiconductor logic.
Joo, Sungjung; Kim, Taeyueb; Shin, Sang Hoon; Lim, Ju Young; Hong, Jinki; Song, Jin Dong; Chang, Joonyeon; Lee, Hyun-Woo; Rhie, Kungwon; Han, Suk Hee; Shin, Kyung-Ho; Johnson, Mark
2013-02-07
Logic devices based on magnetism show promise for increasing computational efficiency while decreasing consumed power. They offer zero quiescent power and yet combine novel functions such as programmable logic operation and non-volatile built-in memory. However, practical efforts to adapt a magnetic device to logic suffer from a low signal-to-noise ratio and other performance attributes that are not adequate for logic gates. Rather than exploiting magnetoresistive effects that result from spin-dependent transport of carriers, we have approached the development of a magnetic logic device in a different way: we use the phenomenon of large magnetoresistance found in non-magnetic semiconductors in high electric fields. Here we report a device showing a strong diode characteristic that is highly sensitive to both the sign and the magnitude of an external magnetic field, offering a reversible change between two different characteristic states by the application of a magnetic field. This feature results from magnetic control of carrier generation and recombination in an InSb p-n bilayer channel. Simple circuits combining such elementary devices are fabricated and tested, and Boolean logic functions including AND, OR, NAND and NOR are performed. They are programmed dynamically by external electric or magnetic signals, demonstrating magnetic-field-controlled semiconductor reconfigurable logic at room temperature. This magnetic technology permits a new kind of spintronic device, characterized as a current switch rather than a voltage switch, and provides a simple and compact platform for non-volatile reconfigurable logic devices.
Probabilistic Dynamic Epistemic Logic
Kooi, B.P.
2003-01-01
In this paper I combine the dynamic epistemic logic of Gerbrandy (1999) with the probabilistic logic of Fagin and Halpern (1999). The result is a new probabilistic dynamic epistemic logic, a logic for reasoning about probability, information, and information change that takes higher order informatio
Roodnat, J I; Zuidema, W; van de Wetering, J; de Klerk, M; Erdman, R A M; Massey, E K; Hilhorst, M T; Ijzermans, J N M; Weimar, W
2010-04-01
Between January 2000 and July 2009, 132 individuals inquired about altruistic kidney donation to strangers. These donors were willing to donate to genetically and emotionally unrelated patients. Some altruistic donors wished to donate to a specific person, but most wished to donate anonymously. In domino-paired donation, the altruistic donor donates to the recipient of an incompatible couple; the donor of that couple (domino-donor) donates to another couple or to the waiting list. In contrast to kidney-exchange donation where bilateral matching of couples is required, recipient and donor matching are unlinked in domino-paired donation. This facilitates matching for unsuccessful couples from the kidney-exchange program where blood type O prevails in recipients and is under-represented in donors. Fifty-one altruistic donors (39%) donated their kidney and 35 domino-donors were involved. There were 29 domino procedures, 24 with 1 altruistic donor and 1 domino-donor, 5 with more domino-donors. Eighty-six transplantations were performed. Donor and recipient blood type distribution in the couples limited allocation to blood type non-O waiting list patients. The success rate of domino-paired donation is dependent on the composition of the pool of incompatible pairs, but it offers opportunities for difficult to match pairs that were unsuccessful in the kidney-exchange program.
Xu, Cheng; Jia, Feng-Cheng; Zhou, Zhi-Wen; Zheng, Si-Jie; Li, Han; Wu, An-Xin
2016-04-01
An efficient three-component domino reaction of 2-bromoaldehydes, benzylamines, and sodium azide has been developed for the synthesis of quinazoline derivatives. This domino process involves copper-catalyzed SNAr, oxidation/cyclization, and denitrogenation sequences. The mild catalytic system enabled the effective construction of three C-N bonds in one operation.
Observation of optical domino modes in arrays of non-resonant plasmonic nanoantennas
Sinev, Ivan S.; Samusev, Anton K.; Voroshilov, Pavel M.; Mukhin, Ivan S.; Denisyuk, Andrey I.; Guzhva, Mikhail E.; Belov, Pavel A.; Simovski, Constantin R.
2014-09-01
Domino modes are highly-confined collectivemodes that were first predicted for a periodic arrangement of metallic parallelepipeds in far-infrared region. The main feature of domino modes is the advantageous distribution of the local electric field, which is concentrated between metallic elements (hot spots), while its penetration depth in metal is much smaller than the skin-depth. Therefore, arrays of non-resonant plasmonic nanoantennas exhibiting domino modes can be employed as broadband light trapping coatings for thin-film solar cells. However, until now in the excitation of such modes was demonstrated only in numerical simulations. Here, we for the first time demonstrate experimentally the excitation of optical domino modes in arrays of non-resonant plasmonic nanoantennas. We characterize the nanoantenna arrays produced by means of electron beam lithography both experimentally using an aperture-type near-field scanning optical microscope and numerically. The proof of domino modes concept for plasmonic arrays of nanoantennas in the visible spectral region opens new pathways for development of low-absorptive structures for effective focusing of light at the nanoscale.
The first case of domino-split-liver transplantation in maple syrup urine disease.
Herden, Uta; Li, Jun; Fischer, Lutz; Brinkert, Florian; Blohm, Martin; Santer, René; Nashan, Bjoern; Grabhorn, Enke
2017-09-01
The enzymatic defect in MSUD results in accumulation of neurotoxic metabolites of BCAAs. LTX has shown to be a feasible strategy in patients non-responsive to diet. Because of sufficient enzyme activity in extrahepatic tissues in healthy people, the MSUD liver graft is a suitable domino organ. We present the first case of a technical challenging ex situ split of a MSUD domino organ transplanted into two pediatric recipients. The domino graft donor was a 21-year-old female (58 kg) suffering from MSUD with recurrent metabolic decompensation despite strict diet. The organ was allocated to a 14-year-old girl (55 kg) with primary sclerosing cholangitis. Due to excellent organ quality and suitable anatomy, a backward split for a girl of 3 months (5 kg) with decompensated liver cirrhosis due to biliary atresia was performed. The postoperative course was without relevant complications, and the three recipients were discharged on postoperative days 28, 29, and 45, respectively, with good organ function. BCAAs in plasma were normal in the two domino graft recipients, and the MSUD patient showed mildly elevated but stable BCAA concentrations despite an unrestricted diet. Split-domino LTX enabled successful transplantation of three patients of the waiting list with only one deceased donor graft. © 2017 John Wiley & Sons A/S. Published by John Wiley & Sons Ltd.
Metamathematics of fuzzy logic
Hájek, Petr
1998-01-01
This book presents a systematic treatment of deductive aspects and structures of fuzzy logic understood as many valued logic sui generis. Some important systems of real-valued propositional and predicate calculus are defined and investigated. The aim is to show that fuzzy logic as a logic of imprecise (vague) propositions does have well-developed formal foundations and that most things usually named `fuzzy inference' can be naturally understood as logical deduction.
DEFF Research Database (Denmark)
Bentzen, Martin Mose
2014-01-01
A new deontic logic, Action Type Deontic Logic, is presented. To motivate this logic, a number of benchmark cases are shown, representing inferences a deontic logic should validate. Some of the benchmark cases are singled out for further comments and some formal approaches to deontic reasoning ar...... the benchmarks. Finally, possibilities for further research are indicated. In the appendix, decidability of the satisfiability of formulas is proved via a technique known from monadic First Order Logic....
Domino boudinage under layer-parallel simple shear
Dabrowski, Marcin; Grasemann, Bernhard
2014-11-01
The boudin segments of a torn competent layer experience synthetic rotation in layer-parallel simple shear. As long as the individual segments in a boudin train are constrained by their neighbors, even a highly viscous boudin deforms internally to create the necessary space for rotation. The rotation rate is then much smaller compared to the case of an isolated segment. Hence, a small tilt of boudin segments is not indicative of low strain. The rotation rate at this stage largely depends on the aspect ratio of the boudin segments and the scaled gap width. Once the tilted boudins are no longer constrained by their neighbors, the rotation rate greatly accelerates. In the case of a low viscosity ratio between the boudins and the host, the boudin segments develop complex shapes, which may give an impression of shear-band boudins forming under the opposite shear sense. We furthermore investigate the behavior of boudin trains of finite length. The terminal segments are displaced out of the shear plane, deforming into isoclinal folds, and separate into groups of boudin segments that rotate into the shear direction and eventually lead to an overall chaotic appearance of the structure. Natural examples of domino boudinage from a high shear -strain detachment zone in the Western Cyclades (Greece) show many similarities with the modeled structures suggesting that, under simple shear deformation, the rotation and separation of boudin segments is an indicator for high shear strain.
Domino et fraturi: An unpublished graffito from roman Sirmium
Directory of Open Access Journals (Sweden)
Nedeljković Vojin
2012-01-01
Full Text Available In the Regional Museum of Srem in Sremska Mitrovica, Serbia, a Roman brick is preserved, containing an inscription (Inv. A/5342. Originating from any of the numerous Roman structures in the capital city of Sirmium - most probably from Site 4 (Villa or Site 1a (Palace - the brick exhibits a graffito in Latin which reads as follows: Domino et fraturi Maxime salutem Valerus Januarius Written before the brick was baked, this greeting obviously went from somebody present at the brick plant to another person engaged locally in the business of construction. To address the recipient of a message as dominus frater is a well-attested style in Roman military circles, especially between equals, from the early 2nd century on. Phonologically, the spelling fraturi (for fratri is a remarkable instance of anaptyxis, vulgar, but only rarely occurring in the sources. The pendent vocative Maxime is probably due to the actual formula being a contamination of two known types, Maximo salutem and Maxime vale. Judging by their cognomenta, both men, Januarius and Maximus, may very well have been of indigenous origin, whereas the nomen Valerius may have been acquired through service in the imperial army or administration under the Tetrarchs.
Energy Technology Data Exchange (ETDEWEB)
Courau, T.; Moustafa, S.; Plagne, L.; Poncot, A. [EDF R and D, 1, Av du General de Gaulle, F92141 Clamart cedex (France)
2013-07-01
As part of its activity, EDF R and D is developing a new nuclear core simulation code named COCAGNE. This code relies on DIABOLO, a Simplified PN (SPN) method to compute the neutron flux inside the core for eigenvalue calculations. In order to assess the accuracy of SPN calculations, we have developed DOMINO, a new 3D Cartesian SN solver. The parallel implementation of DOMINO is very efficient and allows to complete an eigenvalue calculation involving around 300 x 10{sup 9} degrees of freedom within a few hours on a single shared-memory supercomputing node. This computation corresponds to a 26-group S{sub 8} 3D PWR core model used to assess the SPN accuracy. At the pin level, the maximal error for the SP{sub 5} DIABOLO fission production rate is lower than 0.2% compared to the S{sub 8} DOMINO reference for this 3D PWR core model. (authors)
Obata, Tomoyuki; Suzuki, Sho; Nakagawa, Asuka; Kajihara, Ryota; Noguchi, Keiichi; Saito, Akio
2016-08-19
A domino synthesis of benzofurans with the modification of side chains from α-alkoxyalkyl o-alkynylaryl ethers (n = 0) and electron-rich arenes has been developed. In the present domino reaction, which would proceed via the α-alkoxyalkylation of arenes with an intermediate in the migratory cycloisomerization of o-alkynylaryl ethers followed by the nucleophilic addition of benzofurans to benzyl ethers, a cationic Au(III) catalyst activates the C-C π bond and the C-O σ bond. The present method could be extended to Au(I)-catalyzed domino synthesis of tetracyclic isochromans from α-alkoxyalkyl (o-alkynylaryl)methyl ethers (n = 1) and aryl methoxymethyl ethers.
Wave Pipelining Using Self Reset Logic
Directory of Open Access Journals (Sweden)
Miguel E. Litvin
2008-01-01
Full Text Available This study presents a novel design approach combining wave pipelining and self reset logic, which provides an elegant solution at high-speed data throughput with significant savings in power and area as compared with other dynamic CMOS logic implementations. To overcome some limitations in SRL art, we employ a new SRL family, namely, dual-rail self reset logic with input disable (DRSRL-ID. These gates depict fairly constant timing parameters, specially the width of the output pulse, for varying fan-out and logic depth, helping accommodate process, supply voltage, and temperature variations (PVT. These properties simplify the implementation of wave pipelined circuits. General timing analysis is provided and compared with previous implementations. Results of circuit implementation are presented together with conclusions and future work.
DEFF Research Database (Denmark)
Schürmann, Carsten; Sarnat, Jeffrey
2008-01-01
, such as Twelf, and yet they are often straightforward in proof assistants with stronger meta-logics. In this paper, we propose structural logical relations as a technique for conducting these proofs in systems with limited meta-logical strength by explicitly representing and reasoning about an auxiliary logic......Tait's method (a.k.a. proof by logical relations) is a powerful proof technique frequently used for showing foundational properties of languages based on typed lambda-calculi. Historically, these proofs have been extremely difficult to formalize in proof assistants with weak meta-logics...
A Survey of Paraconsistent Logics
Middelburg, C A
2011-01-01
A survey of paraconsistent logics that are prominent representatives of the different approaches that have been followed to develop paraconsistent logics is provided. The paraconsistent logics that will be discussed are an enrichment of Priest's logic LP, the logic RM3 from the school of relevance logic, da Costa's logics Cn, Jaskowski's logic D2, and Subrahmanian's logics Ptau. A deontic logic based on the first of these logics will be discussed as well. Moreover, some proposed adaptations of the AGM theory of belief revision to paraconsistent logics will be mentioned.
Institute of Scientific and Technical Information of China (English)
张青松; 杨一楠; 郑薇
2013-01-01
The present paper is dedicated to a study of the pool fire Domino effect in fuel tank district based on Bayes probability theory.In order to prevent the pool fire Domino effect,we have attempted to bring the Bayes theory into the analysis of the effect in hoping to quantify the probability of such a kind of Domino effect.For this purpose,we have established a novel Bayes model of pool fire Domino effect in fuel tank district with the basic performance steps proposed.First of all,we have chosen the first accident as the parent node of the Bayes net and then analyzed the radiation path of the pool fire Domino effect so as to confirm all the other accidents of the pool fire Domino effect.Having performed the above 3 steps of Bayes net reasoning principle,it would be easier to accomplish Bayes net chart according to all the different final accidents.Besides,step (5) should be the fulfillment of the condition probability table,in which the prior probabilities can be worked out with the adoption of equipment damage probability model.Based on the fulfillment of the prior probabilities,we have worked out all the posterior probabilities of all the accident scenarios with the biggest posterior probability ascertained.The last step is to control the measuring institution on the basis of reassuring the best control point to the accident and the logic features of the accident links.Combined with a typical example,we have confirmed the posterior probability that perpetrates the biggest contribution to the pool fire Domino effect through the application of Bayes model in fuel tank district.And,consequently,we have managed to improve the control measure in accordance with the energy transfer sequence of the relative accident links.%将贝叶斯理论引入油库池火灾多米诺效应分析中,建立油库池火灾多米诺效应的贝叶斯模型并给出建模的基本步骤,推理得出油库池火灾多米诺效应的事故场景,提出基于池火灾多米诺效应的贝叶
Institute of Scientific and Technical Information of China (English)
林作铨
1996-01-01
A modal nonmonotonic logic is presented based on an experiential modal semantics on typicality and exception.The syntactic and semantics of modal nonmonotonic logic are provided,and the completeness theorem and the theorems relating it to major nonmonotonic logics are proved.It directly formalizes the intuition of nonmonotonic reasoning.Among other things,it provides us a first-order extension of default logic and autoepistemic logic,and simultaneously has the capability of circumscription to infer universal statement.It has important applications in logic programming and deductive data base.As a result,it provides a uniform basis for various nonmonotonic logics,from which the correspondent relationship among major nonmonotonic logics can coincide.
Newton-Smith, WH
2003-01-01
A complete introduction to logic for first-year university students with no background in logic, philosophy or mathematics. In easily understood steps it shows the mechanics of the formal analysis of arguments.
Bolc, Leonard
1992-01-01
Many-valued logics were developed as an attempt to handle philosophical doubts about the "law of excluded middle" in classical logic. The first many-valued formal systems were developed by J. Lukasiewicz in Poland and E.Post in the U.S.A. in the 1920s, and since then the field has expanded dramatically as the applicability of the systems to other philosophical and semantic problems was recognized. Intuitionisticlogic, for example, arose from deep problems in the foundations of mathematics. Fuzzy logics, approximation logics, and probability logics all address questions that classical logic alone cannot answer. All these interpretations of many-valued calculi motivate specific formal systems thatallow detailed mathematical treatment. In this volume, the authors are concerned with finite-valued logics, and especially with three-valued logical calculi. Matrix constructions, axiomatizations of propositional and predicate calculi, syntax, semantic structures, and methodology are discussed. Separate chapters deal w...
Yang, Fan; Väänänen, Jouko
2016-01-01
We consider team semantics for propositional logic, continuing our previous work (Yang & V\\"a\\"an\\"anen 2016). In team semantics the truth of a propositional formula is considered in a set of valuations, called a team, rather than in an individual valuation. This offers the possibility to give meaning to concepts such as dependence, independence and inclusion. We define an expressively maximal propositional team logic, called full propositional team logic. This requires going beyond the logic...
DEFF Research Database (Denmark)
Aiello, Marco; Bezhanishvili, Guram; Bloch, Isabelle
2012-01-01
of mathematical tools developed to represent and work with space. Here we take a special look at this evolution by considering the perspective of Logic. From the initial axiomatic efforts of Euclid, we revisit the major milestones in the logical representation of space and investigate current trends. In doing so......, we do not only consider classical logic, but we indulge ourselves with modal logics. These present themselves naturally by providing simple axiomatizations of different geometries, topologies, space-time causality, and vector spaces....
Institutional Logics in Action
DEFF Research Database (Denmark)
Lounsbury, Michael; Boxenbaum, Eva
2013-01-01
This double volume presents state-of-the-art research and thinking on the dynamics of actors and institutional logics. In the introduction, we briefly sketch the roots and branches of institutional logics scholarship before turning to the new buds of research on the topic of how actors engage ins...... prolific stream of research on institutional logics by deepening our insight into the active use of institutional logics in organizational action and interaction, including the institutional effects of such (inter)actions....
Hierarchies in Dependence Logic
Durand, Arnaud
2011-01-01
We study fragments of dependence logic defined either by restricting the number k of universal quantifiers or the width of dependence atoms in formulas. We find the sublogics of existential second-order logic corresponding to these fragments of dependence logic. We also show that these both ways of defining fragments of dependence logic give rise to a hierarchy in expressive power with respect to k.
Integrated System on Domino 6 Platform Using Web Service%应用Web Service技术实现Domino 6平台系统整合
Institute of Scientific and Technical Information of China (English)
康永; 唐巍
2008-01-01
在分析了目前Domino的优势和所面临的整合问题的基础上,提出应用WebService技术实现Domino 6平台系统整合,同时在Domino平台上给出了实现WebService技术的几种方式,并针对几种方式进行了性能上的比较.
用Domino/Notes开发基于Web的办公自动化系统%Using Domino/Notes to develop office-automation system based on web
Institute of Scientific and Technical Information of China (English)
谢丽红; 战亚杰
2004-01-01
结合包钢炼钢厂办公自动化系统介绍了在Domino/NotesR5平台上开发基于Web的办公自动化系统的一点心得体会,以及对Domino系统管理和数据库维护方面的几点建议.
Institute of Scientific and Technical Information of China (English)
刘叙华; 邓安生
1994-01-01
A new approach of operator fuzzy logic, Boolean operator fuzzy logic (BOFL) based on Boolean algebra, is presented. The resolution principle is also introduced into BOFL. BOFL is a natural generalization of classical logic and can be applied to the qualitative description of fuzzy knowledge.
DEFF Research Database (Denmark)
Xue, Bingtian; Larsen, Kim Guldstrand; Mardare, Radu Iulian
2015-01-01
We introduce Concurrent Weighted Logic (CWL), a multimodal logic for concurrent labeled weighted transition systems (LWSs). The synchronization of LWSs is described using dedicated functions that, in various concurrency paradigms, allow us to encode the compositionality of LWSs. To reflect these......-completeness results for this logic. To complete these proofs we involve advanced topological techniques from Model Theory....
DEFF Research Database (Denmark)
Berg Johansen, Christina; Waldorff, Susanne Boch
This study presents new insights into the explanatory power of the institutional logics perspective. With outset in a discussion of seminal theory texts, we identify two fundamental topics that frame institutional logics: overarching institutional orders guides by institutional logics, as well...
DEFF Research Database (Denmark)
Jantzen, Jan
1998-01-01
A logic based on the two truth values True and False is sometimes inadequate when describing human reasoning. Fuzzy logic uses the whole interval between 0 (False) and 1 (True) to describe human reasoning. As a result, fuzzy logic is being applied in rule based automatic controllers, and this paper...
Regular database update logics
Spruit, Paul; Wieringa, Roel; Meyer, John-Jules
2001-01-01
We study regular first-order update logic (FUL), which is a variant of regular dynamic logic in which updates to function symbols as well as to predicate symbols are possible. We fi1rst study FUL without making assumptions about atomic updates. Second, we look at relational algebra update logic (RAU
Uckelman, S.L.
2009-01-01
This dissertation is an exercise in conceptual archeology. Using the tools of contemporary logic we analyse texts in medieval logic and reconstruct their logical theories by creating a formal framework which models them. Our focus is medieval texts which deal with various modalities: the writings on
Indian Academy of Sciences (India)
Selvarangam E Kiruthika; Paramasivan T Perumal; C Balachandran; S Ignacimuthu
2014-01-01
A base-catalysed domino reaction for the synthesis of spirocarbocycles in excellent yields using chalcones and vinyl malononitriles is reported. This consists of a series of steps including Knoevenagel condensation followed by intermolecular vinylogous Michael addition and intramolecular cyclization. The synthesized compounds were evaluated for their antimicrobial activity and the compounds exhibited moderate to excellent activities.
Pizza Hut, Domino's, and the Public Schools: Making Sense of Commercialization.
Stark, Andrew
2001-01-01
Describes different types of partnerships between schools and businesses, discussing the benefits of and drawbacks to the commercial aspects of programs like Pizza Hut's, in which children who read a certain number of books receive free pizza, and programs like Dominos', in which schools receive materials or money in return for students buying…
Bialecki, Mariusz
2010-01-01
Inspired by extremely simplified view of the earthquakes we propose the stochastic domino cellular automaton model exhibiting avalanches. From elementary combinatorial arguments we derive a set of nonlinear equations describing the automaton. Exact relations between the average parameters of the model are presented. Depending on imposed triggering, the model reproduces both exponential and inverse power statistics of clusters.
Domino Server System Design%Domino服务器系统设计
Institute of Scientific and Technical Information of China (English)
刘跃
2015-01-01
This paper mainly introduces the design of Domino OA server system,including its installation and configu-ration method.%本文主要介绍OA Domino服务器系统设计，内容包括其安装与配置方法。
Domino [Pd]-Catalysis: One-Pot Synthesis of Isobenzofuran-1(3H)-ones.
Mahendar, Lodi; Satyanarayana, Gedu
2016-09-02
An efficient domino [Pd]-catalysis for the synthesis of isobenzofuran-1(3H)-ones is presented. The strategy shows broad substrate scope and is amenable to o-bromobenzyl tertiary/secondary/primary alcohols. Significantly, the method was applied to the synthesis of antiplatelet drug n-butyl phthalide and cytotoxic agonist 3a-[4'-methoxylbenzyl]-5,7-dimethoxyphthalide.
Dominos in the dairy: An analysis of transgenic maize in Dutch dairy farming
Groeneveld, R.A.; Wesseler, J.H.H.; Berentsen, P.B.M.
2013-01-01
EU member states require farmers growing transgenic maize to respect a minimum distance from fields with non-transgenic maize. Previous studies have theoretically argued that such minimum distance requirements may lead to a so-called ‘domino effect’ where farmers who want to grow transgenic maize
Gong, Jian; Xie, Fuchun; Ren, Wenming; Chen, Hong; Hu, Youhong
2012-01-21
Domino reactions of 2-methyl substituted chromones containing an electron withdrawing group at the 3-position with chromone-fused dienes synthesized a diverse range of benzo[a]xanthones and complicated chromone derivatives. These multiple-step reactions result in either two or three new C-C bonds without a transition metal catalyst or an inert atmosphere.
A general approach to aza-heterocycles by means of domino sequences driven by hydroformylation.
Airiau, Etienne; Spangenberg, Thomas; Girard, Nicolas; Schoenfelder, Angèle; Salvadori, Jessica; Taddei, Maurizio; Mann, André
2008-01-01
The development of hydroformylative domino reactions of easily accessible vinyl acetamides is described. Extremely regioselective hydroformylation of terminal double bounds provides a transient N-acyliminium that can be trapped by various nucleophiles to give several aza-heterocylic scaffolds in a diastereoselective manner.
Khakzad, Nima; Landucci, Gabriele; Reniers, Genserik
2017-09-01
In the present study, we have introduced a methodology based on graph theory and multicriteria decision analysis for cost-effective fire protection of chemical plants subject to fire-induced domino effects. By modeling domino effects in chemical plants as a directed graph, the graph centrality measures such as out-closeness and betweenness scores can be used to identify the installations playing a key role in initiating and propagating potential domino effects. It is demonstrated that active fire protection of installations with the highest out-closeness score and passive fire protection of installations with the highest betweenness score are the most effective strategies for reducing the vulnerability of chemical plants to fire-induced domino effects. We have employed a dynamic graph analysis to investigate the impact of both the availability and the degradation of fire protection measures over time on the vulnerability of chemical plants. The results obtained from the graph analysis can further be prioritized using multicriteria decision analysis techniques such as the method of reference point to find the most cost-effective fire protection strategy. © 2016 Society for Risk Analysis.
Consecutive One-Pot versus Domino Multicomponent Approaches to 3-(Diarylmethylene)oxindoles.
Park, Sunhwa; Lee, Jiyun; Shin, Kye Jung; Oh, Euichaul; Seo, Jae Hong
2017-03-22
Based on consecutive one-pot conditions combining three palladium-catalyzed reactions (Sonogashira, Heck and Suzuki-Miyaura reactions), a more efficient domino multicomponent method has been successfully developed to access a wide variety of 3-(diarylmethylene)oxindoles. Microwave irradiation and use of a silver salt were the most important factors to achieve high yields and stereoselectivity.
Copper(I-BINOL Catalyzed Domino Synthesis of 1,4-Benzoxathiines through (-O Bond Formation
Directory of Open Access Journals (Sweden)
Chiranjeevi Korupalli
2011-01-01
Full Text Available 1,4-benzoxathiine moieties can be synthesized by domino SN2 ring opening of epoxide with o-halothiophenols followed by the copper(I-BINOL catalyzed Ullmann-type coupling cyclization (intramolecular C(aryl-O bond formation with moderate to good yields.
Directory of Open Access Journals (Sweden)
Jing Sun
2012-10-01
Full Text Available In the presence of p-toluenesulfonic acid as catalyst the domino reaction of arylamines, methyl propiolates and aromatic aldehydes in ethanol proceeded smoothly to give polysubstituted 1,2,3,4-tetrahydroquinolines in moderate yields. The reaction is believed to involve the Povarov reaction of in situ generated β-enamino ester with the in situ formed aromatic imine.
Pizza Hut, Domino's, and the Public Schools: Making Sense of Commercialization.
Stark, Andrew
2001-01-01
Describes different types of partnerships between schools and businesses, discussing the benefits of and drawbacks to the commercial aspects of programs like Pizza Hut's, in which children who read a certain number of books receive free pizza, and programs like Dominos', in which schools receive materials or money in return for students buying…
Meteorology during the DOMINO campaign and its connection with trace gases and aerols
Adame, J.A.; Martinez, M.; Sorribas, M.; Hidalgo, P.J.; Vilà-Guerau de Arellano, J.
2014-01-01
The DOMINO (Diel Oxidant Mechanisms in relation to Nitrogen Oxides) campaign was carried out from 21 November to 8 December 2008 at the El Arenosillo station (SW of Spain) in a coastal-rural environment. The main weather conditions are analysed using local meteorological variables, meteorological
DEFF Research Database (Denmark)
Christiansen, Henning; Dahl, Veronica
2009-01-01
By extending logic grammars with constraint logic, we give them the ability to create knowledge bases that represent the meaning of an input string. Semantic information is thus defined through extra-grammatical means, and a sentence's meaning logically follows as a by-product of string rewriting....... We formalize these ideas, and exemplify them both within and outside first-order logic, and for both fixed and dynamic knowledge bases. Within the latter variety, we consider the usual left-to-right derivations that are traditional in logic grammars, but also -- in a significant departure from...
DEFF Research Database (Denmark)
Blackburn, Patrick Rowan; Huertas, Antonia; Manzano, Maria;
2014-01-01
Leon Henkin was not a modal logician, but there is a branch of modal logic that has been deeply influenced by his work. That branch is hybrid logic, a family of logics that extend orthodox modal logic with special proposition symbols (called nominals) that name worlds. This paper explains why...... Henkin’s techniques are so important in hybrid logic. We do so by proving a completeness result for a hybrid type theory called HTT, probably the strongest hybrid logic that has yet been explored. Our completeness result builds on earlier work with a system called BHTT, or basic hybrid type theory...... is due to the first-order perspective, which lies at the heart of Henin’s best known work and hybrid logic....
Experimental study of debris flow caused by domino failures of landslide dams
Institute of Scientific and Technical Information of China (English)
Hua-Yong CHEN; Peng CUI; Gordon G.D.ZHOU; Xing-Hua ZHU; Jin-Bo TANG
2014-01-01
The formation of landslide dams is often induced by earthquakes in mountainous areas. The failure of a landslide dam typically results in catastrophic flash floods or debris flows downstream. Significant attention has been given to the processes and mechanisms involved in the failure of individual landslide dams. However, the processes leading to domino failures of multiple landslide dams remain unclear. In this study, experimental tests were carried out to investigate the domino failure of landslide dams and the consequent enlargement of downstream debris flows. Different blockage conditions were considered, including complete blockage, partial blockage and erodible bed (no blockage). The mean velocity of the flow front was estimated by videos. Total stress transducers (TSTs) and Laser range finders (LRFs) were employed to measure the total stress and the depth of the flow front, respectively. Under a complete blockage pattern, a portion of the debris flow was trapped in front of each retained landslide dam before the latter collapsed completely. This was accompanied by a dramatic decrease in the mean velocity of the flow front. Conversely, under both partial blockage and erodible bed conditions, the mean velocity of the flow front increased gradually downward along the sloping channel. Domino failures of the landslide dams were triggered when a series of dams (complete blockage and partial blockage) were distributed along the flume. However, not all of these domino failures led to enlarged debris flows. The modes of dam failures have significant impacts on the enlargement of debris flows. Therefore, further research is necessary to understand the mechanisms of domino failures of landslide dams and their effects on the enlargement of debris flows.
A Review on Energy Efficient CMOS Digital Logic
Directory of Open Access Journals (Sweden)
B. L. Dokic
2013-12-01
Full Text Available Autonomy of power supply used in portable devices directly depends on energy efficiency of digital logic. This means that digital systems, beside high processing power and very complex functionality, must also have very low power consumption. Power consumption depends on many factors: system architecture, technology, basic cells topology-speed, and accuracy of assigned tasks. In this paper, a review and comparison of CMOS topologies techniques and operating modes is given, as CMOS technology is expected to be the optimum choice in the near future. It is shown that there is a full analogy in the behavior of digital circuits in sub-threshold and strong inversion. Therefore, synthesis of digital circuits is the same for both strong and weak operating modes. Analysis of the influence of the technology, MOS transistor threshold voltage (Vt and power supply voltage (Vdd on digital circuit power consumption and speed for both operating modes is given. It is shown that optimal power consumption (minimum power consumption for given speed depends on optimal choice of threshold, and power supply voltage. Multi Vdd /Vt techniques are analyzed as well. A review and analysis of alternative logical circuit's topologies – pass logic (PL, complementary pass logic (CPL, push-pull pass logic (PPL and adiabatic logic – is also given. As shown, adiabatic logic is the optimum choice regarding energy efficiency.
Domino effects induced from rockfalls on industrial plants, Brescia, Italy
Lari, Serena; Frattini, Paolo; Battista Crosta, Giovanni; Agliardi, Federico; Buldrini, Marco; Oliveri, Stefano; Seminati, Paolo; Pozza, Francesco
2010-05-01
blocks impacting each industrial plant is obtained. The triggering of an accident caused by rockfall is assumed to occur when the modelled kinetic energy exceeds a critical threshold value. For each plant, the accident scenarios were defined based on existing External Emergency Plans. Both scenarios for fire and flash fire have been considered. The analysis shows the societal and economic risks due to domino effects of rockfalls on industrial plants are not negligible.
Synthetic studies on taxanes: A domino-enyne metathesis/Diels-Alder approach to the AB-ring
Indian Academy of Sciences (India)
Krishna P Kaliappan; Velayutham Ravikumar; Sandip A Pujari
2008-01-01
A domino enyne cross-metathesis/intramolecular Diels-Alder reaction has been successfully used to synthesize a bicyclo[5.3.1] undecene, corresponding to AB-ring of taxol without the gem dimethyl group.
基于Lotus Domino平台的系统安全%System Security Based on Lotus Domino Platform
Institute of Scientific and Technical Information of China (English)
邓海潮
2012-01-01
阐述了Domino安全标准准则,分析了Domino/Notes平台的安全性,研究该平台用户标识符、检验字、交叉认证技术和数字签名原理,剖析了该平台多层次的安全模型,解释了Domino的安全配置问题。%This paper presents the guidelines for Domino safety standards, analyzes the security of Domino / Notes platform, and studies the platform＇s user identifier, test words, cross-certification technology and digital signature principle. In-depth analysis is also conducted as to the platform＇s multi-level security model and explanation is made as to Domino safe configuration.
Reduced Voltage Scaling in Clock Distribution Networks
Directory of Open Access Journals (Sweden)
Khader Mohammad
2009-01-01
Full Text Available We propose a novel circuit technique to generate a reduced voltage swing (RVS signals for active power reduction on main buses and clocks. This is achieved without performance degradation, without extra power supply requirement, and with minimum area overhead. The technique stops the discharge path on the net that is swinging low at a certain voltage value. It reduces active power on the target net by as much as 33% compared to traditional full swing signaling. The logic 0 voltage value is programmable through control bits. If desired, the reduced-swing mode can also be disabled. The approach assumes that the logic 0 voltage value is always less than the threshold voltage of the nMOS receivers, which eliminate the need of the low to high voltage translation. The reduced noise margin and the increased leakage on the receiver transistors using this approach have been addressed through the selective usage of multithreshold voltage (MTV devices and the programmability of the low voltage value.
基于Lotus Domino的Intranet构建技术%The techology of building intranet with lotus domino
Institute of Scientific and Technical Information of China (English)
金飚; 陈传波
2001-01-01
通过一个具体的实例,讨论了Lotus Domino的特点,并给出了基于Lotus Domino的Intranet构建方法及关键技术,为企业的Intranet建设提供了参考和借鉴.%The specialities of Lotus Domino and the method of building Intranet based on Lotus Domino by an instance were discussed in this paper, These experiences are very useful for the building of Intranet.
Joie, Céline; Deckers, Kristina; Enders, Dieter
2014-03-01
The organocatalytic asymmetric synthesis of functionalized 1,3,5-triarylpyrrolidin-2-ones bearing three contiguous stereocenters through an aza-Michael/aldol domino reaction of α-ketoamides with α,β-unsaturated aldehydes is described. The domino products were further derivatized by aldehyde olefination under one-pot conditions. The reaction proceeds with excellent diastereoselectivities (>20:1) and good to excellent enantioselectivities (60-96% ee).
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...
Paul, Kartick; Bera, Krishnendu; Jalal, Swapnadeep; Sarkar, Soumen; Jana, Umasish
2014-04-18
A new and efficient protocol to synthesize substituted benzo[b]carbazole derivatives has been demonstrated involving iron-catalyzed domino isomerization/cyclodehydration sequences from substituted 2-[(indoline-3-ylidene)(methyl)]benzaldehyde derivatives. The substrates could be easily made via Pd-catalyzed domino Heck-Suzuki coupling from 2-bromo-N-propargylanilide derivatives in high yields. Notably, the generality and efficiency of this two-stage domino strategy was further exemplified by the synthesis of a polycyclic benzofuran derivative.
Logical database design principles
Garmany, John; Clark, Terry
2005-01-01
INTRODUCTION TO LOGICAL DATABASE DESIGNUnderstanding a Database Database Architectures Relational Databases Creating the Database System Development Life Cycle (SDLC)Systems Planning: Assessment and Feasibility System Analysis: RequirementsSystem Analysis: Requirements Checklist Models Tracking and Schedules Design Modeling Functional Decomposition DiagramData Flow Diagrams Data Dictionary Logical Structures and Decision Trees System Design: LogicalSYSTEM DESIGN AND IMPLEMENTATION The ER ApproachEntities and Entity Types Attribute Domains AttributesSet-Valued AttributesWeak Entities Constraint
2009-01-01
This dissertation is an exercise in conceptual archeology. Using the tools of contemporary logic we analyse texts in medieval logic and reconstruct their logical theories by creating a formal framework which models them. Our focus is medieval texts which deal with various modalities: the writings on alethic modalities by William of Sherwood, Pseudo-Aquinas, and St. Thomas Aquinas in the 13th century, St. Anselm of Canterbury’s writings on facere and debere in the late 11th century; Lambert of...
Separation Logic and Concurrency
Bornat, Richard
Concurrent separation logic is a development of Hoare logic adapted to deal with pointers and concurrency. Since its inception, it has been enhanced with a treatment of permissions to enable sharing of data between threads, and a treatment of variables as resource alongside heap cells as resource. An introduction to the logic is given with several examples of proofs, culminating in a treatment of Simpson's 4-slot algorithm, an instance of racy non-blocking concurrency.
Embedding Description Logic Programs into Default Logic
Wang, Yisong; Yuan, Li Yan; Shen, Yi-Dong; Eiter, Thomas
2011-01-01
Description logic programs (dl-programs) under the answer set semantics formulated by Eiter {\\em et al.} have been considered as a prominent formalism for integrating rules and ontology knowledge bases. A question of interest has been whether dl-programs can be captured in a general formalism of nonmonotonic logic. In this paper, we study the possibility of embedding dl-programs into default logic. We show that dl-programs under the strong and weak answer set semantics can be embedded in default logic by combining two translations, one of which eliminates the constraint operator from nonmonotonic dl-atoms and the other translates a dl-program into a default theory. For dl-programs without nonmonotonic dl-atoms but with the negation-as-failure operator, our embedding is polynomial, faithful, and modular. In addition, our default logic encoding can be extended in a simple way to capture recently proposed weakly well-supported answer set semantics, for arbitrary dl-programs. These results reinforce the argument ...
Introduction to mathematical logic
Mendelson, Elliott
2015-01-01
The new edition of this classic textbook, Introduction to Mathematical Logic, Sixth Edition explores the principal topics of mathematical logic. It covers propositional logic, first-order logic, first-order number theory, axiomatic set theory, and the theory of computability. The text also discusses the major results of Gödel, Church, Kleene, Rosser, and Turing.The sixth edition incorporates recent work on Gödel's second incompleteness theorem as well as restoring an appendix on consistency proofs for first-order arithmetic. This appendix last appeared in the first edition. It is offered in th
Crossley, J N; Brickhill, CJ; Stillwell, JC
2010-01-01
Although mathematical logic can be a formidably abstruse topic, even for mathematicians, this concise book presents the subject in a lively and approachable fashion. It deals with the very important ideas in modern mathematical logic without the detailed mathematical work required of those with a professional interest in logic.The book begins with a historical survey of the development of mathematical logic from two parallel streams: formal deduction, which originated with Aristotle, Euclid, and others; and mathematical analysis, which dates back to Archimedes in the same era. The streams beg
Ferrite logic reliability study
Baer, J. A.; Clark, C. B.
1973-01-01
Development and use of digital circuits called all-magnetic logic are reported. In these circuits the magnetic elements and their windings comprise the active circuit devices in the logic portion of a system. The ferrite logic device belongs to the all-magnetic class of logic circuits. The FLO device is novel in that it makes use of a dual or bimaterial ferrite composition in one physical ceramic body. This bimaterial feature, coupled with its potential for relatively high speed operation, makes it attractive for high reliability applications. (Maximum speed of operation approximately 50 kHz.)
DEFF Research Database (Denmark)
Lopez, Hugo Andres; Carbone, Marco; Hildebrandt, Thomas
2010-01-01
We explore logical reasoning for the global calculus, a coordination model based on the notion of choreography, with the aim to provide a methodology for speciﬁcation and veriﬁcation of structured communications. Starting with an extension of Hennessy-Milner logic, we present the global logic (GL...... ), a modal logic describing possible interactions among participants in a choreography. We illustrate its use by giving examples of properties on service speciﬁcations. Finally, we show that, despite GL is undecidable, there is a signiﬁcant decidable fragment which we provide with a sound and complete proof...
Carbone, Marco; Hildebrandt, Thomas T; López, Hugo A; 10.4204/EPTCS.69.3
2011-01-01
We explore logical reasoning for the global calculus, a coordination model based on the notion of choreography, with the aim to provide a methodology for specification and verification of structured communications. Starting with an extension of Hennessy-Milner logic, we present the global logic (GL), a modal logic describing possible interactions among participants in a choreography. We illustrate its use by giving examples of properties on service specifications. Finally, we show that, despite GL is undecidable, there is a significant decidable fragment which we provide with a sound and complete proof system for checking validity of formulae.
Directory of Open Access Journals (Sweden)
Marco Carbone
2011-10-01
Full Text Available We explore logical reasoning for the global calculus, a coordination model based on the notion of choreography, with the aim to provide a methodology for specification and verification of structured communications. Starting with an extension of Hennessy-Milner logic, we present the global logic (GL, a modal logic describing possible interactions among participants in a choreography. We illustrate its use by giving examples of properties on service specifications. Finally, we show that, despite GL is undecidable, there is a significant decidable fragment which we provide with a sound and complete proof system for checking validity of formulae.
Howard, Ayanna
2005-01-01
The Fuzzy Logic Engine is a software package that enables users to embed fuzzy-logic modules into their application programs. Fuzzy logic is useful as a means of formulating human expert knowledge and translating it into software to solve problems. Fuzzy logic provides flexibility for modeling relationships between input and output information and is distinguished by its robustness with respect to noise and variations in system parameters. In addition, linguistic fuzzy sets and conditional statements allow systems to make decisions based on imprecise and incomplete information. The user of the Fuzzy Logic Engine need not be an expert in fuzzy logic: it suffices to have a basic understanding of how linguistic rules can be applied to the user's problem. The Fuzzy Logic Engine is divided into two modules: (1) a graphical-interface software tool for creating linguistic fuzzy sets and conditional statements and (2) a fuzzy-logic software library for embedding fuzzy processing capability into current application programs. The graphical- interface tool was developed using the Tcl/Tk programming language. The fuzzy-logic software library was written in the C programming language.
利用DOMINO建立WEB应用的研究与实现%How to Establish the Web Service By Using Domino
Institute of Scientific and Technical Information of China (English)
王军; 黄海茹
2001-01-01
文章详细介绍了Domino作为Web服务器的特点及Domino的Web结构，介绍了Domino的开发工具及Domino和数据库的连接。最后说明了Domino的Web服务器的设置方法。%This paper introduces the characteristic and structure of DominoWeb service.The it also introduces the tools to develop Domino and the ways to connect Domino to database.And finally the author describes how to set up the Domino server.
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
ERP系统应用与Lotus Domino for AS/400的集成%ERP System Application and Integration of Lotus Domino for AS/400
Institute of Scientific and Technical Information of China (English)
曹玉华; 王晶洁
2001-01-01
IBM eServer AS/400以其功能强大的数据库系统DB2/400,逐渐成为ERP系统应用的核心.Lotus Domino for AS/400是以邮件为驱动的群件系统服务器,它为企业办公提供了安全方便的流程管理机制.通过分析Domino与DB2/400的集成技术,提出在Domino中实现ERP系统应用的可行方案.
Golbus, Jessica R; Farhat, Linda; Fontana, Robert J; Rubenfire, Melvyn
2017-07-22
Familial hypercholesterolemia (FH) is an autosomal dominant disorder characterized by impaired clearance of low-density lipoprotein cholesterol. Given limitations in pharmacologic therapy and the significant morbidity and mortality associated with this disease, liver transplantation may be offered to select homozygous FH patients in childhood in an effort to slow progression of atherosclerotic cardiovascular disease. In rare cases, domino liver transplantation can be performed, transplanting the livers of patients with various metabolic disorders into elderly recipients whose projected survival precludes prolonged waiting on the transplant list. Herein, we report a case of domino liver transplantation using the liver of a 14-year-old boy with homozygous FH into a 65-year-old man with primary sclerosing cholangitis and cirrhosis who developed rapidly progressive atherosclerotic cardiovascular disease involving the arteries of his proximal bilateral lower extremities, carotid arteries and superior mesenteric artery. Copyright © 2017 National Lipid Association. Published by Elsevier Inc. All rights reserved.
Tietze, Lutz F; Waldecker, Bernd; Ganapathy, Dhandapani; Eichhorst, Christoph; Lenzer, Thomas; Oum, Kawon; Reichmann, Sven O; Stalke, Dietmar
2015-08-24
A highly efficient palladium-catalyzed fourfold tandem-domino reaction consisting of two carbopalladation and two C-H-activation steps was developed for the synthesis of two types of tetrasubstituted alkenes 3 and 6 with intrinsic helical chirality starting from substrates 1 and 4, respectively. A sixfold tandem-domino reaction was also developed by including a Sonogashira reaction. 20 compounds with different substitution patterns were prepared with yields of up to 97 %. Structure elucidation by X-ray crystallography confirmed helical chirality of the two alkene moieties. Photophysical investigations of some of the compounds showed pronounced switching properties through light-controlled changes of their stereochemical configuration. © 2015 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.
DEFF Research Database (Denmark)
Mardare, Radu Iulian; Cardelli, Luca; Larsen, Kim Guldstrand
2012-01-01
Continuous Markovian Logic (CML) is a multimodal logic that expresses quantitative and qualitative properties of continuous-time labelled Markov processes with arbitrary (analytic) state-spaces, henceforth called continuous Markov processes (CMPs). The modalities of CML evaluate the rates of the ...
Ponse, A.; Zwaag, M.B. van der
2002-01-01
We distinguish two interpretations for the truth value `undefined' in Kleene's three-valued logic. Combining these two interpretations leads to a four-valued propositional logic that characterizes two particular ingredients of process algebra: ``choice' and ``inaction'. We study two different bases
S.L. Uckelman
2009-01-01
The origins of treating agency as a modal concept go back at least to the 11th century when Anselm, Archbishop of Canterbury, provided a modal explication of the Latin facere ‘to do’, which can be formalized within the context of modern modal logic and neighborhood semantics. The agentive logic indu
Logic via Computer Programming.
Wieschenberg, Agnes A.
This paper proposed the question "How do we teach logical thinking and sophisticated mathematics to unsophisticated college students?" One answer among many is through the writing of computer programs. The writing of computer algorithms is mathematical problem solving and logic in disguise and it may attract students who would otherwise stop…
Boyd, Robert
1995-01-01
This article proposes that within the discipline of logic, college students can learn the important elements of persuasive writing. Characteristics of and distinctions between deductive and inductive logic are outlined, and the appropriateness and usefulness of each for different kinds of persuasion are discussed. (MSE)
Inductive Logic and Statistics
Romeijn, J. -W.
2009-01-01
This chapter concerns inductive logic in relation to mathematical statistics. I start by introducing a general notion of probabilistic induc- tive inference. Then I introduce Carnapian inductive logic, and I show that it can be related to Bayesian statistical inference via de Finetti's representatio
Logic of Algorithmic Knowledge
Directory of Open Access Journals (Sweden)
Surowik Dariusz
2015-09-01
Full Text Available In this paper we consider the construction of a LAK system of temporal-epistemic logic which is used to formally describe algorithmic knowledge. We propose an axiom system of LAK and discuss the basic properties of this logic.
Programmable Logic Controllers.
Insolia, Gerard; Anderson, Kathleen
This document contains a 40-hour course in programmable logic controllers (PLC), developed for a business-industry technology resource center for firms in eastern Pennsylvania by Northampton Community College. The 10 units of the course cover the following: (1) introduction to programmable logic controllers; (2) DOS primer; (3) prerequisite…
Yopp, David
2010-01-01
Understanding logical necessity is an important component of proof and reasoning for teachers of grades K-8. The ability to determine exactly where young students' arguments are faulty offers teachers the chance to give youngsters feedback as they progress toward writing mathematically valid deductive proofs. As defined, logical necessity is the…
Directory of Open Access Journals (Sweden)
Evandro Agazzi
2011-06-01
Full Text Available Humans have used arguments for defending or refuting statements long before the creation of logic as a specialized discipline. This can be interpreted as the fact that an intuitive notion of "logical consequence" or a psychic disposition to articulate reasoning according to this pattern is present in common sense, and logic simply aims at describing and codifying the features of this spontaneous capacity of human reason. It is well known, however, that several arguments easily accepted by common sense are actually "logical fallacies", and this indicates that logic is not just a descriptive, but also a prescriptive or normative enterprise, in which the notion of logical consequence is defined in a precise way and then certain rules are established in order to maintain the discourse in keeping with this notion. Yet in the justification of the correctness and adequacy of these rules commonsense reasoning must necessarily be used, and in such a way its foundational role is recognized. Moreover, it remains also true that several branches and forms of logic have been elaborated precisely in order to reflect the structural features of correct argument used in different fields of human reasoning and yet insufficiently mirrored by the most familiar logical formalisms.
Blackburn, P.; Rijke, M. de
1995-01-01
Combining logics has become a rapidly expanding enterprise that is inspired mainly by concerns about modularity and the wish to join together tailored made logical tools into more powerful but still manageable ones. A natural question is whether it offers anything new over and above existing standar
CSIR Research Space (South Africa)
Klarman, S
2013-05-01
Full Text Available We introduce Description Logics of Context (DLCs) - an extension of Description Logics (DLs) for context-based reasoning. Our approach descends from J. McCarthy's tradition of treating contexts as formal objects over which one can quantify...
Directory of Open Access Journals (Sweden)
Daniel Durante Pereira Alves
2011-04-01
Full Text Available Analyzing the position of two philosophers whose views are recognizably divergent, W. O. Quine and M. Dummett, we intend to support a striking point of agreement between them: the idea that our logical principles constitute our principles about what there is, and therefore, that logic is metaphysics.
Daniel Durante Pereira Alves
2011-01-01
Analyzing the position of two philosophers whose views are recognizably divergent, W. O. Quine and M. Dummett, we intend to support a striking point of agreement between them: the idea that our logical principles constitute our principles about what there is, and therefore, that logic is metaphysics.
DEFF Research Database (Denmark)
Blackburn, Patrick Rowan; Jørgensen, Klaus Frovin
2012-01-01
In this paper we explore the logic of now, yesterday, today and tomorrow by combining the semantic approach to indexicality pioneered by Hans Kamp [9] and refined by David Kaplan [10] with hybrid tense logic. We first introduce a special now nominal (our @now corresponds to Kamp’s original now...
Scaling trends in energy recovery logic: an analytical approach
Institute of Scientific and Technical Information of China (English)
Jitendra Kanungo; S.Dasgupta
2013-01-01
This paper presents an analytical model to study the scaling trends in energy recovery logic.The energy performance of conventional CMOS and energy recovery logic are compared with scaling the design and technology parameters such as supply voltage,device threshold voltage and gate oxide thickness.The proposed analytical model is validated with simulation results at 90 nm and 65 nm CMOS technology nodes and predicts the scaling behavior accurately that help us to design an energy-efficient CMOS digital circuit design at the nanoscale.This research work shows the adiabatic switching as an ultra-low-power circuit technique for sub-100 nm digital CMOS circuit applications.
Domino shuffling on Novak half-hexagons and Aztec half-diamonds
Nordenstam, Eric
2011-01-01
We explore the connections between the well-studied Aztec Diamond graphs and a new family of graphs called the Half-Hexagons, discovered by Jonathan Novak. In particular, both families of graphs have very simple domino shuffling algorithms, which turn out to be intimately related. This connection allows us to prove an "arctic parabola" theorem for the Half-Hexagons as a corollary of the Arctic Circle theorem for the Aztec Diamond.
Domino instability effect of surrounding rock-coal pillars in a room-and-pillar gob
Institute of Scientific and Technical Information of China (English)
Li Chong; Xu Jinhai; Wang Zhongliang; Qin Shuai
2013-01-01
To discuss the domino instability effect and large area roof falling and roof accidents of surrounding rock-coal pillars in a room-and-pillar gob, the equilibrium equation for a roof-coal pillar-floor system with the influence of mining floor was developed based on the engineering conditions of the surrounding rock in a room-and-pillar gob in the 3-2 coal seam of Tanggonggou mine. The conditions of system instability and the relationship between system stability and system stiffness were analyzed from an energetic point of view. Numerical simulation using the discrete element software UDEC was also carried out to simulate conditions causing the domino effect on surrounding rock-coal pillars in a 3-2 room-and-pillar gob. The results show that:if we want the system to destabilize, the collective energy in roof-and-floor must be larger than that in the coal pillar. When the stiffness of the coal pillars and the roof-and-floor are both greater than zero, the system is stable. When the stiffness of the coal pillars is negative but the summed stiffness of the coal pillars and roof-and-floor is larger than or equal to zero, the system is statically destroyed. When the sum of the coal pillars and the roof-floor stiffness is negative, the system suffers from severe damages. For equal advance distances of the coal mining face, the wider coal pillars can reduce the probability of domino type instability. Conversely, the smaller width pillars can increase the instability probability. Domino type instability of surrounding rock-coal pillars is predicted to be unli-kely when the width of coal pillars is not less than 8 m.
Zou, Liang-Hua; Philipps, Arne R; Raabe, Gerhard; Enders, Dieter
2015-01-01
An efficient, highly stereoselective asymmetric synthesis of fully functionalized cyclopentanes bearing an oxindole moiety and several other functional groups in one pot has been developed. Key step is an organocatalytic triple Michael domino reaction forming three C–C bonds and six stereocenters, including a quaternary one. Starting from equimolar amounts of simple substrates, a high molecular complexity can be reached after a Wittig olefination in one pot. The new protocol can easily be scaled up to gram amounts. PMID:25470781
Dong, Kaiwu; Sang, Rui; Soule, Jean-Francois; Bruneau, Christian; Franke, Robert; Jackstell, Ralf; Beller, Matthias
2015-12-07
An improved domino hydroformylation/benzoin condensation to give α-hydroxy ketones has been developed. Easily available olefins are smoothly converted into the corresponding α-hydroxy ketones in high yields with excellent regioselectivities. Key to success is the use of a specific catalytic system consisting of a rhodium/phosphine complex and the CO2 adduct of an N-heterocyclic carbene. © 2015 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.
Directory of Open Access Journals (Sweden)
Amit Kumar
2013-10-01
Full Text Available An Ugi four-component reaction of propargylamine with 3-formylindole and various acids and isonitriles produces adducts which are subjected to a cationic gold-catalyzed diastereoselective domino cyclization to furnish diversely substituted spiroindolines. All the reactions run via an exo-dig attack in the hydroarylation step followed by an intramolecular diastereoselective trapping of the imminium ion. The whole sequence is atom economic and the application of a multicomponent reaction assures diversity.
Fang, Xianjie; Jackstell, Ralf; Börner, Armin; Beller, Matthias
2014-11-24
A general and highly chemo- and regioselective synthesis of ketones from olefins by domino hydroformylation/aldol condensation/hydrogenation reaction has been developed. A variety of olefins are efficiently converted into various ketones in good to excellent yields and regioselectivities in the presence of a specific rhodium phosphine/base-acid catalyst system. © 2014 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.
Microelectromechanical reprogrammable logic device
Hafiz, M. A. A.; Kosuru, L.; Younis, M. I.
2016-03-01
In modern computing, the Boolean logic operations are set by interconnect schemes between the transistors. As the miniaturization in the component level to enhance the computational power is rapidly approaching physical limits, alternative computing methods are vigorously pursued. One of the desired aspects in the future computing approaches is the provision for hardware reconfigurability at run time to allow enhanced functionality. Here we demonstrate a reprogrammable logic device based on the electrothermal frequency modulation scheme of a single microelectromechanical resonator, capable of performing all the fundamental 2-bit logic functions as well as n-bit logic operations. Logic functions are performed by actively tuning the linear resonance frequency of the resonator operated at room temperature and under modest vacuum conditions, reprogrammable by the a.c.-driving frequency. The device is fabricated using complementary metal oxide semiconductor compatible mass fabrication process, suitable for on-chip integration, and promises an alternative electromechanical computing scheme.
DEFF Research Database (Denmark)
Klose, Karl; Ostermann, Klaus
2010-01-01
In logic metaprogramming, programs are not stored as plain textfiles but rather derived from a deductive database. While the benefits of this approach for metaprogramming are obvious, its incompatibility with separate checking limits its applicability to large-scale projects. We analyze the probl......In logic metaprogramming, programs are not stored as plain textfiles but rather derived from a deductive database. While the benefits of this approach for metaprogramming are obvious, its incompatibility with separate checking limits its applicability to large-scale projects. We analyze...... the problems inhibiting separate checking and propose a class of logics that reconcile logic metaprogramming and separate checking. We have formalized the resulting module system and have proven the soundness of separate checking. We validate its feasibility by presenting the design and implementation...... of a specific logic that is able to express many metaprogramming examples from the literature....
Amplifying genetic logic gates.
Bonnet, Jerome; Yin, Peter; Ortiz, Monica E; Subsoontorn, Pakpoom; Endy, Drew
2013-05-03
Organisms must process information encoded via developmental and environmental signals to survive and reproduce. Researchers have also engineered synthetic genetic logic to realize simpler, independent control of biological processes. We developed a three-terminal device architecture, termed the transcriptor, that uses bacteriophage serine integrases to control the flow of RNA polymerase along DNA. Integrase-mediated inversion or deletion of DNA encoding transcription terminators or a promoter modulates transcription rates. We realized permanent amplifying AND, NAND, OR, XOR, NOR, and XNOR gates actuated across common control signal ranges and sequential logic supporting autonomous cell-cell communication of DNA encoding distinct logic-gate states. The single-layer digital logic architecture developed here enables engineering of amplifying logic gates to control transcription rates within and across diverse organisms.
Heterogeneous logics of competition
DEFF Research Database (Denmark)
Mossin, Christiane
2015-01-01
The purpose of the article is to demonstrate that in order to understand competition as a socially organizing phenomenon, we should not examine competition in isolation, but as constellations of heterogeneous logics. More precisely, the article is based on two main theoretical points: (1) Logics...... of competition are only realized as particular forms of social organization by virtue of interplaying with other kinds of logics, like legal logics. (2) Competition logics enjoy a peculiar status in-between constructedness and givenness; although competition depends on laws and mechanisms of socialization, we...... still experience competition as an expression of spontaneous human activities. On the basis of these perspectives, a study of fundamental rights of EU law, springing from the principle of ‘free movement of people’, is conducted. The first part of the empirical analysis seeks to detect the presence...
Malhas, Othman Qasim
1993-10-01
The concept of “abacus logic” has recently been developed by the author (Malhas, n.d.). In this paper the relation of abacus logic to the concept of fuzziness is explored. It is shown that if a certain “regularity” condition is met, concepts from fuzzy set theory arise naturally within abacus logics. In particular it is shown that every abacus logic then has a “pre-Zadeh orthocomplementation”. It is also shown that it is then possible to associate a fuzzy set with every proposition of abacus logic and that the collection of all such sets satisfies natural conditions expected in systems of fuzzy logic. Finally, the relevance to quantum mechanics is discussed.
Microelectromechanical reprogrammable logic device
Hafiz, M. A. A.
2016-03-29
In modern computing, the Boolean logic operations are set by interconnect schemes between the transistors. As the miniaturization in the component level to enhance the computational power is rapidly approaching physical limits, alternative computing methods are vigorously pursued. One of the desired aspects in the future computing approaches is the provision for hardware reconfigurability at run time to allow enhanced functionality. Here we demonstrate a reprogrammable logic device based on the electrothermal frequency modulation scheme of a single microelectromechanical resonator, capable of performing all the fundamental 2-bit logic functions as well as n-bit logic operations. Logic functions are performed by actively tuning the linear resonance frequency of the resonator operated at room temperature and under modest vacuum conditions, reprogrammable by the a.c.-driving frequency. The device is fabricated using complementary metal oxide semiconductor compatible mass fabrication process, suitable for on-chip integration, and promises an alternative electromechanical computing scheme.
Reconstruction of the Outflow Tract in Cross-Auxiliary Double-Domino Donor Liver Transplantation.
Qu, W; Zhu, Z-J; Wei, L; Sun, L-Y; Liu, Y; Zeng, Z-G
2016-10-01
Auxiliary liver transplantation is accepted as an effective manner to expand the liver donor pool. A difficult surgical technical challenge of the procedure is hepatic vein reconstruction of the graft. To resolve this problem, complex techniques are used to perform an innovative outflow tract reconstruction in the world's first cross-auxiliary double-domino donor liver transplantation with two whole liver grafts. The inferior vena cava-sparing hepatectomy technique was applied at harvest in the two domino liver donors. For each donor, the three major hepatic veins (right, middle, and left) were joined together to create one single orifice, but there was no sufficient tissue to perform a direct anastomosis. The hepatic vein was reconstructed with the use of a longitudinally opened iliac vein graft from a cadaveric donor to prolong the outflow tract for the piggyback suturing. This new technique might provide an innovative surgical approach for reconstructing the complex outflow tract of domino transplantation. Copyright © 2016 Elsevier Inc. All rights reserved.
Domino Flaps for Repairing of Secondary Bilateral Cleft Lip With Severe Columella Deformity.
Wei, Jiao; Chiang, Cheng-An; Zhou, Da; Li, Qingfeng; Liu, Kai
2017-01-01
The patients with secondary bilateral cleft lip and nasal deformity always suffer from a serious part of the horizontal and vertical soft tissue deficiencies in the upper lip and nose, especially the columella. Normally, the Abbe flap is used to increase the soft tissue volume of upper lip. However, how to reconstruct the sever columella deficient, how to make full use of the Abbe flap and the remaining soft tissue of the upper lip, are always the problems that need to be solved by plastic surgeons. Twenty-nine patients with secondary bilateral cleft lip and severe columella deficiency were simultaneously reconstructed with several local flaps like dominos that was called "Domino sliding flaps." Six of the patients had their nasal tip and dorsum or collumella augmented and modified with autologous costal cartilage at the same time. The other 23 patients underwent the autologous auricular cartilage augmentation. The patients were followed from 15 months to 50 months. No secondary deformation occurred in any of the patients. 93.1% patients were satisfied with the aesthetics postoperatively, 89.7% patients were satisfied with the incision and donor site scar. Among them, 3 of the patients got hypertrophic scar on the upper lip and were modified 1 year after their first operations. The operational technique of the domino sliding flaps could better play the role of the Abbe flap. It also gave plastic surgeons an effective method to modify the severe deformities of bilateral cleft lip in 1 stage.
Bechiri, M Y; Eliahou, L; Rouzet, F; Fouret, P-J; Antonini, T; Samuel, D; Adam, R; Adams, D; Slama, M S; Algalarrondo, V
2016-07-01
We report the case of a 62-year-old man hospitalized in May 2015 for symptomatic heart failure. His medical history included two liver transplantations. The first liver transplantation was performed in 1999 for a mixed alcoholic and hepatitis C-related cirrhosis and the patient received the liver of another patient with Val30Met transthyretin amyloidosis using the domino technique. In 2008, he complained of neuropathic pains and an iatrogenic-acquired transthyretin amyloidosis was diagnosed. On cardiac evaluation, amyloidosis was suspected. In March 2010, a second liver transplantation was performed with a deceased donor without complication. In May 2015, a first episode of symptomatic heart failure occurred and cardiac amyloidosis was investigated by a multimodality evaluation. Electrocardiogram, cardiac biomarkers, echocardiography, and cardiac MRI were in favor of the diagnosis of amyloidosis, whereas (99m) Tc-dicarboxypropane diphosphonate scintigraphy was not. Endomyocardial biopsy finally confirmed the positive diagnosis of iatrogenic-acquired cardiac amyloidosis. This case is, to the best of our knowledge, the first to report biopsy-proven cardiac amyloidosis induced by domino liver transplantation and progressing heart failure in spite of retransplantation. The diagnostic modalities are discussed. This case should alert physicians to the cardiac risk in domino liver transplanted patients. © Copyright 2016 The American Society of Transplantation and the American Society of Transplant Surgeons.
Sequential circuit design for radiation hardened multiple voltage integrated circuits
Clark, Lawrence T.; McIver, III, John K.
2009-11-24
The present invention includes a radiation hardened sequential circuit, such as a bistable circuit, flip-flop or other suitable design that presents substantial immunity to ionizing radiation while simultaneously maintaining a low operating voltage. In one embodiment, the circuit includes a plurality of logic elements that operate on relatively low voltage, and a master and slave latches each having storage elements that operate on a relatively high voltage.
Dynamic Logic with Trace Semantics
Beckert, Bernhard; Bruns, Daniel
2013-01-01
Dynamic logic is an established instrument for program verification and for reasoning about the semantics of programs and programming languages. In this paper, we define an extension of dynamic logic, called Dynamic Trace Logic (DTL), which combines the expressiveness of program logics such as dynamic logic with that of temporal logic. And we present a sound and relatively complete sequent calculus for proving validity of DTL formulae. Due to its expressiveness, DTL can serve as a basis for p...
Mathematical logic for computer science
Zhong Wan Lu
1998-01-01
Mathematical logic is essentially related to computer science. This book describes the aspects of mathematical logic that are closely related to each other, including classical logic, constructive logic, and modal logic. This book is intended to attend to both the peculiarities of logical systems and the requirements of computer science.In this edition, the revisions essentially involve rewriting the proofs, increasing the explanations, and adopting new terms and notations.
Arthur Prior and medieval logic
2012-01-01
Though Arthur Prior is now best known for his founding of modern temporal logic and hybrid logic, much of his early philosophical career was devoted to history of logic and historical logic. This interest laid the foundations for both of his ground-breaking innovations in the 1950s and 1960s. Because of the important rôle played by Prior’s research in ancient and medieval logic in his development of temporal and hybrid logic, any student of Prior, temporal logic, or hybrid logic should be fam...
Bozzelli, Laura; French, Tim; Hales, James; Pinchinat, Sophie
2012-01-01
In this paper we present refinement modal logic. A refinement is like a bisimulation, except that from the three relational requirements only 'atoms' and 'back' need to be satisfied. Our logic contains a new operator 'forall' in additional to the standard modalities 'Box' for each agent. The operator 'forall' acts as a quantifier over the set of all refinements of a given model. We call it the refinement operator. As a variation on a bisimulation quantifier, it can be seen as a refinement quantifier over a variable not occurring in the formula bound by the operator. The logic combines the simplicity of multi-agent modal logic with some powers of monadic second order quantification. We present a sound and complete axiomatization of multiagent refinement modal logic. We also present an extension of the logic to the modal mu-calculus, and an axiomatization for the single-agent version of this logic. Examples and applications are also discussed: to software verification and design (the set of agents can also be s...
Metaphysics of Logical Realism
Directory of Open Access Journals (Sweden)
Mohammadreza Abdollahnejad
2015-08-01
Full Text Available Despite the often false impression that the analytic philosophy as an anti-metaphysical movement has nothing to do with metaphysics, there can be found good reasons to grant the metaphysical dispositions of analytic philosophers, and thereby, to minimize the anti-metaphysical nature of analytic philosophy in its all phases. Since analytic philosophy is a historical movement the main nature of which developed through several stages, the very kinds of metaphysical dispositions within each one of its various stages can be easily portrayed. In the meantime, logical realism as the early stage of analytic philosophy contains plenty of metaphysical dispositions. Undoubtedly, one cannot say that analytic philosophy in this period was not committed to metaphysical theses about the plurality of entities, the ultimate nature of reality and the logical structure of the world. In this paper, then, after giving a relatively complete explanation of the logical realism, we claimed that although logical realists rejected the traditional speculative metaphysics of their predecessors, they also replaced it by the metaphysics of logic that pursues the metaphysical aims, this time, by logical means. So, we portrayed this kind of metaphysics as Bolzano’s Semantic Platonism, Frege’s and Russell’s Pluralistic Platonism, Russell’s Pluralistic Atomism, and Wittgenstein’s logical atomism.
Accurate Switched-Voltage voltage averaging circuit
金光, 一幸; 松本, 寛樹
2006-01-01
Abstract ###This paper proposes an accurate Switched-Voltage (SV) voltage averaging circuit. It is presented ###to compensated for NMOS missmatch error at MOS differential type voltage averaging circuit. ###The proposed circuit consists of a voltage averaging and a SV sample/hold (S/H) circuit. It can ###operate using nonoverlapping three phase clocks. Performance of this circuit is verified by PSpice ###simulations.
DEFF Research Database (Denmark)
Hendricks, Vincent Fella; Gierasimczuk, Nina; de Jong, Dick
2014-01-01
Learning and learnability have been long standing topics of interests within the linguistic, computational, and epistemological accounts of inductive in- ference. Johan van Benthem’s vision of the “dynamic turn” has not only brought renewed life to research agendas in logic as the study...... of information processing, but likewise helped bring logic and learning in close proximity. This proximity relation is examined with respect to learning and belief revision, updating and efficiency, and with respect to how learnability fits in the greater scheme of dynamic epistemic logic and scientific method....
DEFF Research Database (Denmark)
Filipiuk, Piotr; Nielson, Flemming; Nielson, Hanne Riis
2012-01-01
We present a logic for the specification of static analysis problems that goes beyond the logics traditionally used. Its most prominent feature is the direct support for both inductive computations of behaviors as well as co-inductive specifications of properties. Two main theoretical contributions...... are a Moore Family result and a parametrized worst case time complexity result. We show that the logic and the associated solver can be used for rapid prototyping of analyses and illustrate a wide variety of applications within Static Analysis, Constraint Satisfaction Problems and Model Checking. In all cases...
Logic in elementary mathematics
Exner, Robert M
2011-01-01
This applications-related introductory treatment explores facets of modern symbolic logic useful in the exposition of elementary mathematics. The authors convey the material in a manner accessible to those trained in standard elementary mathematics but lacking any formal background in logic. Topics include the statement calculus, proof and demonstration, abstract mathematical systems, and the restricted predicate calculus. The final chapter draws upon the methods of logical reasoning covered in previous chapters to develop solutions of linear and quadratic equations, definitions of order and
DEFF Research Database (Denmark)
Mardare, Radu Iulian; Cardelli, Luca; Larsen, Kim Guldstrand
2012-01-01
Continuous Markovian Logic (CML) is a multimodal logic that expresses quantitative and qualitative properties of continuous-time labelled Markov processes with arbitrary (analytic) state-spaces, henceforth called continuous Markov processes (CMPs). The modalities of CML evaluate the rates...... characterizes stochastic bisimilarity and it supports the definition of a quantified extension of the satisfiability relation that measures the "compatibility" between a model and a property. In this context, the metaproperties allows us to prove two robustness theorems for the logic stating that one can...
Absalom, A. R.; Lee, M.; Menon, D. K.; Sharar, S. R.; De Smet, T.; Halliday, J.; Ogden, M.; Corlett, P.; Honey, G. D.; Fletcher, P. C.
2007-01-01
Background. Healthy volunteers received low-dose target-controlled infusions (TCI) of ketamine controlled by the Domino model while cognitive function tests and functional neuroimaging were performed. The aim of the current study was to assess the predictive performance of the Domino model during th
Copeland, Margaret Leitch; Gimilaro, Susan
2010-01-01
In "The Service Profit Chain," Harvard Business School professors James Heskett, Earl Sasser, and Leonard Schlesinger (1997) offer two anecdotes--from Domino's Pizza and a Dallas Cadillac dealership--that illuminate the concept of valuing a lifetime customer. Experts estimate that the lifetime value of a loyal Domino's Pizza customer is $4,000 and…
Copeland, Margaret Leitch; Gimilaro, Susan
2010-01-01
In "The Service Profit Chain," Harvard Business School professors James Heskett, Earl Sasser, and Leonard Schlesinger (1997) offer two anecdotes--from Domino's Pizza and a Dallas Cadillac dealership--that illuminate the concept of valuing a lifetime customer. Experts estimate that the lifetime value of a loyal Domino's Pizza customer is $4,000 and…
Absalom, A. R.; Lee, M.; Menon, D. K.; Sharar, S. R.; De Smet, T.; Halliday, J.; Ogden, M.; Corlett, P.; Honey, G. D.; Fletcher, P. C.
2007-01-01
Background. Healthy volunteers received low-dose target-controlled infusions (TCI) of ketamine controlled by the Domino model while cognitive function tests and functional neuroimaging were performed. The aim of the current study was to assess the predictive performance of the Domino model during th
Propositional Dynamic Logic as a Logic of Belief Revision
D.J.N. van Eijck (Jan); Y. Wang (Yanjing)
2008-01-01
htmlabstractThis paper shows how propositional dynamic logic (PDL) can be interpreted as a logic for multi-agent belief revision. For that we revise and extend the logic of communication and change (LCC) of [9]. Like LCC, our logic uses PDL as a base epistemic language. Unlike LCC, we start out from
Fisher, Michael; Gabbay, Dov; Gough, Graham
2000-01-01
Time is a fascinating subject that has captured mankind's imagination from ancient times to the present. It has been, and continues to be studied across a wide range of disciplines, from the natural sciences to philosophy and logic. More than two decades ago, Pnueli in a seminal work showed the value of temporal logic in the specification and verification of computer programs. Today, a strong, vibrant international research community exists in the broad community of computer science and AI. This volume presents a number of articles from leading researchers containing state-of-the-art results in such areas as pure temporal/modal logic, specification and verification, temporal databases, temporal aspects in AI, tense and aspect in natural language, and temporal theorem proving. Earlier versions of some of the articles were given at the most recent International Conference on Temporal Logic, University of Manchester, UK. Readership: Any student of the area - postgraduate, postdoctoral or even research professor ...
DEFF Research Database (Denmark)
Hendricks, Vincent Fella; Gierasimczuk, Nina; de Jong, Dick
2014-01-01
Learning and learnability have been long standing topics of interests within the linguistic, computational, and epistemological accounts of inductive in- ference. Johan van Benthem’s vision of the “dynamic turn” has not only brought renewed life to research agendas in logic as the study of inform......Learning and learnability have been long standing topics of interests within the linguistic, computational, and epistemological accounts of inductive in- ference. Johan van Benthem’s vision of the “dynamic turn” has not only brought renewed life to research agendas in logic as the study...... of information processing, but likewise helped bring logic and learning in close proximity. This proximity relation is examined with respect to learning and belief revision, updating and efficiency, and with respect to how learnability fits in the greater scheme of dynamic epistemic logic and scientific method....
Directory of Open Access Journals (Sweden)
Schumann Andrew
2016-03-01
Full Text Available The paper considers main features of two groups of logics for biological devices, called Physarum Chips, based on the plasmodium. Let us recall that the plasmodium is a single cell with many diploid nuclei. It propagates networks by growing pseudopodia to connect scattered nutrients (pieces of food. As a result, we deal with a kind of computing. The first group of logics for Physarum Chips formalizes the plasmodium behaviour under conditions of nutrient-poor substrate. This group can be defined as standard storage modification machines. The second group of logics for Physarum Chips covers the plasmodium computing under conditions of nutrient-rich substrate. In this case the plasmodium behaves in a massively parallel manner and propagates in all possible directions. The logics of the second group are unconventional and deal with non-well-founded data such as infinite streams.
Dialectic operator fuzzy logic
Institute of Scientific and Technical Information of China (English)
程晓春; 姜云飞; 刘叙华
1996-01-01
Dialectic operator fuzzy logic (DOFL) is presented which is relevant,paraconsistent and nonmonotonic.DOFL can vividly describe the belief revision in the cognitive process and can infer reasonably well while the knowledge is inconsistent,imprecise or incomplete.
Heterogeneous logics of competition
DEFF Research Database (Denmark)
Mossin, Christiane
2015-01-01
The purpose of the article is to demonstrate that in order to understand competition as a socially organizing phenomenon, we should not examine competition in isolation, but as constellations of heterogeneous logics. More precisely, the article is based on two main theoretical points: (1) Logics...... still experience competition as an expression of spontaneous human activities. On the basis of these perspectives, a study of fundamental rights of EU law, springing from the principle of ‘free movement of people’, is conducted. The first part of the empirical analysis seeks to detect the presence...... of a presumed logic of competition within EU law, whereas the second part focuses on particular legal logics. In this respect, the so-called ‘real link criterion’ (determining the access to transnational social rights for certain groups of unemployed people) is given special attention. What is particularly...
Geneves, Pierre
2008-01-01
This thesis describes the theoretical and practical foundations of a system for the static analysis of XML processing languages. The system relies on a fixpoint temporal logic with converse, derived from the mu-calculus, where models are finite trees. This calculus is expressive enough to capture regular tree types along with multi-directional navigation in trees, while having a single exponential time complexity. Specifically the decidability of the logic is proved in time 2^O(n) where n is the size of the input formula. Major XML concepts are linearly translated into the logic: XPath navigation and node selection semantics, and regular tree languages (which include DTDs and XML Schemas). Based on these embeddings, several problems of major importance in XML applications are reduced to satisfiability of the logic. These problems include XPath containment, emptiness, equivalence, overlap, coverage, in the presence or absence of regular tree type constraints, and the static type-checking of an annotated query....
Reasoning, logic, and psychology.
Stenning, Keith; van Lambalgen, Michiel
2011-09-01
We argue that reasoning has been conceptualized so narrowly in what is known as 'psychology of reasoning' that reasoning's relevance to cognitive science has become well-nigh invisible. Reasoning is identified with determining whether a conclusion follows validly from given premises, where 'valid' is taken to mean 'valid according to classical logic'. We show that there are other ways to conceptualize reasoning, more in line with current logical theorizing, which give it a role in psychological processes ranging from (verbal) discourse comprehension to (nonverbal) planning. En route we show that formal logic, at present marginalized in cognitive science, can be an extremely valuable modeling tool. In particular, there are cases in which probabilistic modeling must fail, whereas logical models do well. WIREs Cogni Sci 2011 2 555-567 DOI: 10.1002/wcs.134 For further resources related to this article, please visit the WIREs website.
Extending Value Logic Thinking to Value Logic Portfolios
DEFF Research Database (Denmark)
Ritter, Thomas; Andersen, Poul Houman
Based on value creation logic theory (Stabell & Fjeldstad, 1998), this paper suggests an extension of the original Stabell & Fjeldstad model by an additional fourth value logic, the value system logic. Furthermore, instead of only allowing one dominant value creation logic for a given firm...... or transaction, an understanding of firms and transactions as a portfolio of value logics (i.e. an interconnected coexistence of different value creation logics) is proposed. These additions to the original value creation logic theory imply interesting avenues for both, strategic decision making in firms...
Institute of Scientific and Technical Information of China (English)
郭成宝
2014-01-01
Achieving the SSO(Single Sign-On) between Liferay Portal and Lotus Domino OA, with the advantages of Liferay platform and Domino platform, then we can have better collaboration. Liferay Portal is the effective platform that is running for ofifce automation. This paper introduces the implementation of SSO and the key technologies were discussed.%本文介绍了Liferay门户与lotus Domino OA服务器的单点登录的实现，系统介绍Liferay门户应用优势和Lotus Domino平台在企业协作方面的优势，描述了单点登录认证方式的实现原理，并对其关键技术进行了讨论。
Tan, Yong
2013-01-01
In this paper, author uses set theory to construct a logic model of abstract figure from binary relation. Based on the uniform quantified structure, author gives two logic system for graph traversal and graph coloring respectively, moreover shows a new method of cutting graph. Around this model, there are six algorithms in this paper including exact graph traversal, Algebra calculation of natural number, graph partition and graph coloring.
DEFF Research Database (Denmark)
Nilsson, Jørgen Fischer
1999-01-01
Conceptual spaces have been proposed as topological or geometric means for establishing conceptual structures and models. This paper, after briey reviewing conceptual spaces, focusses on the relationship between conceptual spaces and logical concept languages with operations for combining concepts...... to form concepts. Speci cally is introduced an algebraic concept logic, for which conceptual spaces are installed as semantic domain as replacement for, or enrichment of, the traditional....
Logic and declarative language
Downward, M
2004-01-01
Logic has acquired a reputation for difficulty, perhaps because many of the approaches adopted have been more suitable for mathematicians than computer scientists. This book shows that the subject is not inherently difficult and that the connections between logic and declarative language are straightforward. Many exercises have been included in the hope that these will lead to a much greater confidence in manual proofs, therefore leading to a greater confidence in automated proofs.
Institute of Scientific and Technical Information of China (English)
Simon Mumford takes a more 'logical' view of gramm
2010-01-01
@@ Many people enjoy puzzles and solving prob lems,and the use of an element of logic can make grammar exercises more interesting.Exercises such as putting words in order and clozes can be consid ered forms of puzzles,but there are many more op portunities to challenge more logically-minded stu dents.Here are some language puzzles for students and teachers alike.
Yanushkevich, Svetlana N
2008-01-01
Preface Design Process and Technology Theory of logic design Analysis and synthesis Implementation technologies Predictable technologies Contemporary CAD of logic networks Number Systems Positional numbers Counting in a positional number system Basic arithmetic operations in various number systems Binary arithmetic Radix-complement representations Techniques for conversion of numbers in various radices Overflow Residue arithmetic Other binary codes Redundancy and reliability Graphical Data Structures Graphs in discrete devices and systems design Basic definitions T
Towards a Formal Occurrence Logic based on Predicate Logic
DEFF Research Database (Denmark)
Badie, Farshad; Götzsche, Hans
2015-01-01
In this discussion we will concentrate on the main characteristics of an alternative kind of logic invented by Hans Götzsche: Occurrence Logic, which is not based on truth functionality. Our approach is based on temporal logic developed and elaborated by A. N. Prior. We will focus on characterising...... argumentation based on formal Occurrence Logic concerning events and occurrences, and illustrate the relations between Predicate Logic and Occurrence Logic. The relationships (and dependencies) is conducive to an approach that can analyse the occurrences of ”logical statements based on different logical...... principles” in different moments. We will also conclude that the elaborated Götzsche’s Occurrence Logic could be able to direct us to a truth-functional independent computer-based logic for analysing argumentation based on events and occurrences....
Realization of Fuzzy Logic Controlled Brushless DC Motor Drives Using Matlab/Simulink
Çunkas, Mehmet; Aydoğdu, Omer
2010-01-01
In this paper, an efficient simulation model for fuzzy logic controlled brushless direct current motor drives using Matlab/Simulink is presented. The brushless direct current (BLDC) motor is efficiently controlled by Fuzzy logic controller (FLC). The control algorithms, fuzzy logic and PID are compared. Also, the dynamic characteristics of the BLDC motor (i.e. speed and torque) and as well as currents and voltages of the inverter components are easily observed and analyzed by using the develo...
Energy Technology Data Exchange (ETDEWEB)
Bulsara, Adi R., E-mail: bulsara@spawar.navy.mil [SPAWAR Systems Center Pacific, San Diego, CA 92152-5001 (United States); Dari, Anna, E-mail: adari@asu.edu [Ira A. Fulton School of Engineering, Arizona State University, Tempe, AZ 85287-9309 (United States); Ditto, William L., E-mail: william.ditto@asu.edu [Ira A. Fulton School of Engineering, Arizona State University, Tempe, AZ 85287-9309 (United States); Murali, K., E-mail: kmurali@annauniv.edu [Department of Physics, Anna University, Chennai 600 025 (India); Sinha, Sudeshna, E-mail: sudeshna@imsc.res.in [Institute of Mathematical Sciences, Taramani, Chennai 600 113 (India); Indian Institute of Science Education and Research, Mohali, Transit Campus: MGSIPAP Complex, Sector 26 Chandigarh (India)
2010-10-05
In a recent publication it was shown that, when one drives a two-state system with two square waves as input, the response of the system mirrors a logical output (NOR/OR). The probability of obtaining the correct logic response is controlled by the interplay between the noise-floor and the nonlinearity. As one increases the noise intensity, the probability of the output reflecting a NOR/OR operation increases to unity and then decreases. Varying the nonlinearity (or the thresholds) of the system allows one to morph the output into another logic operation (NAND/AND) whose probability displays analogous behavior. Thus, the outcome of the interplay of nonlinearity and noise is a flexible logic gate with enhanced performance. Here we review this concept of 'Logical Stochastic Resonance' (LSR) and provide details of an electronic circuit system demonstrating LSR. Our proof-of-principle experiment involves a particularly simple realization of a two-state system realized by two adjustable thresholds. We also review CMOS implementations of a simple LSR circuit, and the concatenation of these LSR modules to emulate combinational logic, such as data flip-flop and full adder operations.
Arthur Prior and medieval logic
Uckelman, S.L.
2012-01-01
Though Arthur Prior is now best known for his founding of modern temporal logic and hybrid logic, much of his early philosophical career was devoted to history of logic and historical logic. This interest laid the foundations for both of his ground-breaking innovations in the 1950s and 1960s. Becaus
Relational Parametricity and Separation Logic
DEFF Research Database (Denmark)
Birkedal, Lars; Yang, Hongseok
2008-01-01
Separation logic is a recent extension of Hoare logic for reasoning about programs with references to shared mutable data structures. In this paper, we provide a new interpretation of the logic for a programming language with higher types. Our interpretation is based on Reynolds's relational...... parametricity, and it provides a formal connection between separation logic and data abstraction. Udgivelsesdato: 2008...
Logical Varieties in Normative Reasoning
Burgin, Mark; Mestdagh, de Vey
2011-01-01
Although conventional logical systems based on logical calculi have been successfully used in mathematics and beyond, they have definite limitations that restrict their application in many cases. For instance, the principal condition for any logical calculus is its consistency. At the same time, knowledge about large object domains (in science or in practice) is essentially inconsistent. Logical prevarieties and varieties were introduced to eliminate these limitations in a logically correct way. In this paper, the Logic of Reasonable Inferences is described. This logic has been applied successfully to model legal reasoning with inconsistent knowledge. It is demonstrated that this logic is a logical variety and properties of logical varieties related to legal reasoning are developed.
Nanoeletromechanical switch and logic circuits formed therefrom
Nordquist, Christopher D [Albuquerque, NM; Czaplewski, David A [Albuquerque, NM
2010-05-18
A nanoelectromechanical (NEM) switch is formed on a substrate with a source electrode containing a suspended electrically-conductive beam which is anchored to the substrate at each end. This beam, which can be formed of ruthenium, bows laterally in response to a voltage applied between a pair of gate electrodes and the source electrode to form an electrical connection between the source electrode and a drain electrode located near a midpoint of the beam. Another pair of gate electrodes and another drain electrode can be located on an opposite side of the beam to allow for switching in an opposite direction. The NEM switch can be used to form digital logic circuits including NAND gates, NOR gates, programmable logic gates, and SRAM and DRAM memory cells which can be used in place of conventional CMOS circuits, or in combination therewith.
Discourse Preferences in Dynamic Logic
Jaspars, J; Jaspars, Jan; Kameyama, Megumi
1997-01-01
In order to enrich dynamic semantic theories with a `pragmatic' capacity, we combine dynamic and nonmonotonic (preferential) logics in a modal logic setting. We extend a fragment of Van Benthem and De Rijke's dynamic modal logic with additional preferential operators in the underlying static logic, which enables us to define defeasible (pragmatic) entailments over a given piece of discourse. We will show how this setting can be used for a dynamic logical analysis of preferential resolutions of ambiguous pronouns in discourse.
Sitarek, Julian; Mazin, Daniel; Paoletti, Riccardo; Tescaro, Diego
2013-01-01
Recently the readout of the MAGIC telescopes has been upgraded to a new system based on the Domino Ring Sampler version 4 chip. We present the analysis techniques and the signal extraction performance studies of this system. We study the behaviour of the baseline, the noise, the cross-talk, the linearity and the time resolution. We investigate also the optimal signal extraction. In addition we show some of the analysis techniques specific to the readout based on the Domino Ring Sampler version 2 chip, previously used in the MAGIC II telescope.
从NT Domino服务器到Lotus Domino 向AS／400的移植方法
Institute of Scientific and Technical Information of China (English)
郁春江; 邓伟; 等
2002-01-01
AS/400以其卓越的性能，越来越受到用户的青睐，把原来基于其它平台的Domino系统移植到AS/400上成为我们首先面临的问题，本文主要介绍了如何在对Notes client影响最小的情况下，把NT Domino server移植到Lotus Domino for AS/400上。
Zhao, Kun; Zhi, Ying; Shu, Tao; Valkonen, Arto; Rissanen, Kari; Enders, Dieter
2016-09-19
An asymmetric organocatalytic domino oxa-Michael/1,6-addition reaction of ortho-hydroxyphenyl-substituted para-quinone methides and isatin-derived enoates has been developed. In the presence of 5 mol % of a bifunctional thiourea organocatalyst, this scalable domino reaction affords 4-phenyl-substituted chromans bearing spiro-connected oxindole scaffolds and three adjacent stereogenic centers in good to excellent yields (up to 98 %) and with very high stereoselectivities (up to >20:1 d.r., >99 % ee). © 2016 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.
Bhattacharyya, Aditya; Kavitha, C V; Ghorai, Manas K
2016-08-05
Lewis acid catalyzed domino ring-opening cyclization of activated aziridines with aryl and alkyl isothiocyanates has been accomplished leading to the formation of a wide variety of highly substituted and functionalized 2-iminothiazolidines with excellent diastereo- and enantiospecificity (de, ee up to >99%). The reaction proceeds via a Lewis acid catalyzed SN2-type ring-opening of the activated aziridine followed by a concomitant 5-exo-dig cyclization in a domino fashion to furnish the 2-iminothiazolidine derivative in excellent yields (up to 99%).
Zhang, Muliang; Xi, Junwei; Ruzi, Rehanguli; Li, Nan; Wu, Zhongkai; Li, Weipeng; Zhu, Chengjian
2017-09-15
Domino-fluorination-protodefluorination decarboxylative cross-coupling of α-keto acids with styrene has been developed via photoredox catalysis. The critical part of this strategy is the formation of the carbon-fluorine (C-F) bond by the capture of a carbon-centered radical intermediate, which will overcome side reactions during the styrene radical functionalization process. Experimental studies have provided evidence indicating a domino-fluorination-protodefluorination pathway with α-keto acid initiating the photoredox cycle. The present catalytic protocol also affords a novel approach for the construction of α,β-unsaturated ketones under mild conditions.
Kamimoto, Natsuyo; Schollmeyer, Dieter; Mitsudo, Koichi; Suga, Seiji; Waldvogel, Siegfried R
2015-05-26
Palladium-catalyzed domino C-H/N-H functionalization for the synthesis of novel nitrogen-bridged thienoacenes and 10H-benzo[4,5]thieno[3,2-b]indole derivatives from dihaloarene is reported. This domino sequence consists of initial C-H functionalization of the benzo[b]thiophene moiety, followed by Buchwald-Hartwig coupling. This transformation is also useful for the synthesis of highly π-extended compounds. © 2015 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.
Non-logic devices in logic processes
Ma, Yanjun
2017-01-01
This book shows readers how to design semiconductor devices using the most common and lowest cost logic CMOS processes. Readers will benefit from the author’s extensive, industrial experience and the practical approach he describes for designing efficiently semiconductor devices that typically have to be implemented using specialized processes that are expensive, time-consuming, and low-yield. The author presents an integrated picture of semiconductor device physics and manufacturing techniques, as well as numerous practical examples of device designs that are tried and true.
Logic and truth: Some logics without theorems
Directory of Open Access Journals (Sweden)
Jayanta Sen
2008-08-01
Full Text Available Two types of logical consequence are compared: one, with respect to matrix and designated elements and the other with respect to ordering in a suitable algebraic structure. Particular emphasis is laid on algebraic structures in which there is no top-element relative to the ordering. The significance of this special condition is discussed. Sequent calculi for a number of such structures are developed. As a consequence it is re-established that the notion of truth as such, not to speak of tautologies, is inessential in order to define validity of an argument.
Characterising equilibrium logic and nested logic programs: Reductions and complexity
Pearce, David; Woltran, Stefan
2009-01-01
Equilibrium logic is an approach to nonmonotonic reasoning that extends the stable-model and answer-set semantics for logic programs. In particular, it includes the general case of nested logic programs, where arbitrary Boolean combinations are permitted in heads and bodies of rules, as special kinds of theories. In this paper, we present polynomial reductions of the main reasoning tasks associated with equilibrium logic and nested logic programs into quantified propositional logic, an extension of classical propositional logic where quantifications over atomic formulas are permitted. We provide reductions not only for decision problems, but also for the central semantical concepts of equilibrium logic and nested logic programs. In particular, our encodings map a given decision problem into some formula such that the latter is valid precisely in case the former holds. The basic tasks we deal with here are the consistency problem, brave reasoning, and skeptical reasoning. Additionally, we also provide encoding...
Risk-based design of process plants with regard to domino effects and land use planning
Energy Technology Data Exchange (ETDEWEB)
Khakzad, Nima, E-mail: nkhakzad@gmail.com [Safety and Security Science Group (S3G), Faculty of Technology, Policy and Management, TU Delft, Delft (Netherlands); Reniers, Genserik [Safety and Security Science Group (S3G), Faculty of Technology, Policy and Management, TU Delft, Delft (Netherlands); Antwerp Research Group on Safety and Security (ARGoSS), Faculty of Applied Economics, Universiteit Antwerpen, Antwerp (Belgium); Research Group CEDON, Campus Brussels, KULeuven, Brussels (Belgium)
2015-12-15
Highlights: • A Bayesian network methodology has been developed to estimate the total probability of major accidents in chemical plants. • Total probability of accidents includes the probability of individual accidents and potential domino effects. • The methodology has been extended to calculate on-site and off-site risks. • The results of the risk analysis have been used in a multi-criteria decision analysis technique to risk-based design of chemical plants. - Abstract: Land use planning (LUP) as an effective and crucial safety measure has widely been employed by safety experts and decision makers to mitigate off-site risks posed by major accidents. Accordingly, the concept of LUP in chemical plants has traditionally been considered from two perspectives: (i) land developments around existing chemical plants considering potential off-site risks posed by major accidents and (ii) development of existing chemical plants considering nearby land developments and the level of additional off-site risks the land developments would be exposed to. However, the attempts made to design chemical plants with regard to LUP requirements have been few, most of which have neglected the role of domino effects in risk analysis of major accidents. To overcome the limitations of previous work, first, we developed a Bayesian network methodology to calculate both on-site and off-site risks of major accidents while taking domino effects into account. Second, we combined the results of risk analysis with Analytic Hierarchical Process to design an optimal layout for which the levels of on-site and off-site risks would be minimum.
Indian Academy of Sciences (India)
AFSHIN YAZDANI-ELAH-ABADI; MALEK-TAHER MAGHSOODLOU; RAZIEH MOHEBAT; REZA HEYDARI
2017-06-01
A simple and convenient multi-component domino reaction has been described for the synthesis of novel spirofuran-indenoquinoxaline derivatives. Products were obtained by a three-component condensation reaction between ninhydrin, aromatic 1,2-diamines and dialkyl ethynedicarboxylates in the presence of a catalytic amount of triphenylphosphine in CH2Cl2 at ambient temperature in excellent yields. This one-pot process produces biologically and pharmacologically significant heterocycles with the formation of five new bonds (one C–C, two C=N and two C–O) and two new rings in a single operation.
Mingguang, Zhang; Juncheng, Jiang
2008-10-30
Overpressure is one important cause of domino effect in accidents of chemical process equipments. Damage probability and relative threshold value are two necessary parameters in QRA of this phenomenon. Some simple models had been proposed based on scarce data or oversimplified assumption. Hence, more data about damage to chemical process equipments were gathered and analyzed, a quantitative relationship between damage probability and damage degrees of equipment was built, and reliable probit models were developed associated to specific category of chemical process equipments. Finally, the improvements of present models were evidenced through comparison with other models in literatures, taking into account such parameters: consistency between models and data, depth of quantitativeness in QRA.
Versatile synthesis of amino acid functionalized nucleosides via a domino carboxamidation reaction
Directory of Open Access Journals (Sweden)
Vicky Gheerardijn
2014-11-01
Full Text Available Functionalized oligonucleotides have recently gained increased attention for incorporation in modified nucleic acid structures both for the design of aptamers with enhanced binding properties as well as the construction of catalytic DNA and RNA. As a shortcut alternative to the incorporation of multiple modified residues, each bearing one extra functional group, we present here a straightforward method for direct linking of functionalized amino acids to the nucleoside base, thus equipping the nucleoside with two extra functionalities at once. As a proof of principle, we have introduced three amino acids with functional groups frequently used as key-intermediates in DNA- and RNAzymes via an efficient and straightforward domino carboxamidation reaction.
Zou, Liang-Hua; Philipps, Arne R; Raabe, Gerhard; Enders, Dieter
2015-01-12
An efficient, highly stereoselective asymmetric synthesis of fully functionalized cyclopentanes bearing an oxindole moiety and several other functional groups in one pot has been developed. Key step is an organocatalytic triple Michael domino reaction forming three C-C bonds and six stereocenters, including a quaternary one. Starting from equimolar amounts of simple substrates, a high molecular complexity can be reached after a Wittig olefination in one pot. The new protocol can easily be scaled up to gram amounts. © 2015 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.
Domino tilings and the six-vertex model at its free-fermion point
Energy Technology Data Exchange (ETDEWEB)
Ferrari, Patrik L; Spohn, Herbert [Zentrum Mathematik and Physik Department, Technische Universitaet Muenchen, D-85747 Garching (Germany)
2006-08-18
At the free-fermion point, the six-vertex model with domain wall boundary conditions (DWBC) can be related to the Aztec diamond, a domino tiling problem. We study the mapping on the level of complete statistics for general domains and boundary conditions. This is obtained by associating with both models a set of non-intersecting lines in the Lindstroem-Gessel-Viennot (LGV) scheme. One of the consequences for DWBC is that the boundaries of the ordered phases are described by the Airy process in the thermodynamic limit.
Domino tilings and the six-vertex model at its free-fermion point
Ferrari, Patrik L.; Spohn, Herbert
2006-08-01
At the free-fermion point, the six-vertex model with domain wall boundary conditions (DWBC) can be related to the Aztec diamond, a domino tiling problem. We study the mapping on the level of complete statistics for general domains and boundary conditions. This is obtained by associating with both models a set of non-intersecting lines in the Lindström-Gessel-Viennot (LGV) scheme. One of the consequences for DWBC is that the boundaries of the ordered phases are described by the Airy process in the thermodynamic limit.
Directory of Open Access Journals (Sweden)
Hadi Sefidgar
2014-06-01
Full Text Available in this paper, a fuzzy logic control (FLC is proposed for maximum power point tracking (MPPT in wind turbine connection to Permanent Magnet Synchronous Generator (PMSG. The proposed fuzzy logic controller tracks the maximum power point (MPP by measurements the load voltage and current. This controller calculates the load power and sent through the fuzzy logic system. The main goal of this paper is design of the fuzzy logic controller in the model of DC-DC converter (boost converter. This method allows the MPPT controller output (duty cycle adjusts the voltage input to the converter to track the maximum power point of the wind generator.
FUZZY LOGIC CONTROLLER IMPLEMENTATION FOR PHOTOVOLTAIC STATION
Directory of Open Access Journals (Sweden)
Imad Zein
2014-01-01
Full Text Available Solar panels have a nonlinear voltage-current characteristic, with a distinct maximum power point (MPP, which depends on the environmental factors, such as temperature and irradiation. In order to continuously harvest maximum power from the solar panels, they have to operate at their MPP despite the inevitable changes in the environment. This is why the controllers of all solar power electronic converters employ some method for maximum power point tracking (MPPT . Over the past years many MPPT techniques have been published and based on that the main paper’s objective is to analyze one of the most promising MPPT control algorithms: fuzzy logic controller.
Starting Circuit For Erasable Programmable Logic Device
Cole, Steven W.
1990-01-01
Voltage regulator bypassed to supply starting current. Starting or "pullup" circuit supplies large inrush of current required by erasable programmable logic device (EPLD) while being turned on. Operates only during such intervals of high demand for current and has little effect any other time. Performs needed bypass, acting as current-dependent shunt connecting battery or other source of power more nearly directly to EPLD. Input capacitor of regulator removed when starting circuit installed, reducing probability of damage to transistor in event of short circuit in or across load.
Diagnosable structured logic array
Whitaker, Sterling (Inventor); Miles, Lowell (Inventor); Gambles, Jody (Inventor); Maki, Gary K. (Inventor)
2009-01-01
A diagnosable structured logic array and associated process is provided. A base cell structure is provided comprising a logic unit comprising a plurality of input nodes, a plurality of selection nodes, and an output node, a plurality of switches coupled to the selection nodes, where the switches comprises a plurality of input lines, a selection line and an output line, a memory cell coupled to the output node, and a test address bus and a program control bus coupled to the plurality of input lines and the selection line of the plurality of switches. A state on each of the plurality of input nodes is verifiably loaded and read from the memory cell. A trusted memory block is provided. The associated process is provided for testing and verifying a plurality of truth table inputs of the logic unit.
Prakash, Manu; Gershenfeld, Neil
2007-02-09
We demonstrate universal computation in an all-fluidic two-phase microfluidic system. Nonlinearity is introduced into an otherwise linear, reversible, low-Reynolds number flow via bubble-to-bubble hydrodynamic interactions. A bubble traveling in a channel represents a bit, providing us with the capability to simultaneously transport materials and perform logical control operations. We demonstrate bubble logic AND/OR/NOT gates, a toggle flip-flop, a ripple counter, timing restoration, a ring oscillator, and an electro-bubble modulator. These show the nonlinearity, gain, bistability, synchronization, cascadability, feedback, and programmability required for scalable universal computation. With increasing complexity in large-scale microfluidic processors, bubble logic provides an on-chip process control mechanism integrating chemistry and computation.
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...
Giordano, Paolo
2009-01-01
We introduce the ring of Fermat reals, an extension of the real field containing nilpotent infinitesimals. The construction takes inspiration from Smooth Infinitesimal Analysis (SIA), but provides a powerful theory of actual infinitesimals without any need of a background in mathematical logic. In particular, on the contrary with respect to SIA, which admits models only in intuitionistic logic, the theory of Fermat reals is consistent with classical logic. We face the problem to decide if the product of powers of nilpotent infinitesimals is zero or not, the identity principle for polynomials, the definition and properties of the total order relation. The construction is highly constructive, and every Fermat real admits a clear and order preserving geometrical representation. Using nilpotent infinitesimals, every smooth functions becomes a polynomial because in Taylor's formulas the rest is now zero. Finally, we present several applications to informal classical calculations used in Physics: now all these calc...
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...
Logic Programming for Linguistics
DEFF Research Database (Denmark)
Christiansen, Henning
2010-01-01
This article gives a short introduction on how to get started with logic pro- gramming in Prolog that does not require any previous programming expe- rience. The presentation is aimed at students of linguistics, but it does not go deeper into linguistics than any student who has some ideas of what...... a computer is, can follow the text. I cannot, of course, cover all aspects of logic programming in this text, and so we give references to other sources with more details. Students of linguistics must have a very good motivation to spend time on programming, and I show here how logic programming can be used...... for modelling different linguistic phenomena. When modelling language in this way, as opposed to using only paper and pencil, your models go live: you can run and test your models and you can use them as automatic language analyzers. This way you will get a better understanding of the dynamics of languages...
Bock, Christina M; Parameshwarappa, Gangajji; Bönisch, Simon; Bauer, Walter; Hutterer, Corina; Leidenberger, Maria; Friedrich, Oliver; Marschall, Manfred; Kappes, Barbara; Görling, Andreas; Tsogoeva, Svetlana B
2017-06-01
The straightforward and efficient synthesis of complex aza- and carbobicyclic compounds, which are of importance for medicinal chemistry, is a challenge for modern chemical methodology. An unprecedented metal-free six-step domino reaction of aldehydes with malononitrile was presented in our previous study to provide, in a single operation, these bicyclic nitrogen-containing molecules. Presented here is a deeper investigation of this atom-economical domino process by extending the scope of aldehydes, performing post-modifications of domino products, applying bifunctional organocatalysts and comprehensive NMR studies of selected domino products. The thermodynamic aspects of the overall reaction are also demonstrated using DFT methods in conjunction with a semi-empirical treatment of van der Waals interactions. Furthermore, biological studies of seven highly functionalized and artemisinin-containing domino products against human cytomegalovirus (HCMV) and Plasmodium falciparum 3D7 are presented. Remarkably, in vitro tests against HCMV revealed five domino products to be highly active compounds (EC50 0.071-1.8 μm), outperforming the clinical reference drug ganciclovir (EC50 2.6 μm). Against P. falciparum 3D7, three of the investigated artemisinin-derived domino products (EC50 0.72-1.8 nm) were more potent than the clinical drug chloroquine (EC50 9.1 nm).
Bock, Christina M.; Parameshwarappa, Gangajji; Bönisch, Simon; Bauer, Walter; Hutterer, Corina; Leidenberger, Maria; Friedrich, Oliver; Marschall, Manfred; Kappes, Barbara; Görling, Andreas
2017-01-01
Abstract The straightforward and efficient synthesis of complex aza‐ and carbobicyclic compounds, which are of importance for medicinal chemistry, is a challenge for modern chemical methodology. An unprecedented metal‐free six‐step domino reaction of aldehydes with malononitrile was presented in our previous study to provide, in a single operation, these bicyclic nitrogen‐containing molecules. Presented here is a deeper investigation of this atom‐economical domino process by extending the scope of aldehydes, performing post‐modifications of domino products, applying bifunctional organocatalysts and comprehensive NMR studies of selected domino products. The thermodynamic aspects of the overall reaction are also demonstrated using DFT methods in conjunction with a semi‐empirical treatment of van der Waals interactions. Furthermore, biological studies of seven highly functionalized and artemisinin‐containing domino products against human cytomegalovirus (HCMV) and Plasmodium falciparum 3D7 are presented. Remarkably, in vitro tests against HCMV revealed five domino products to be highly active compounds (EC50 0.071–1.8 μm), outperforming the clinical reference drug ganciclovir (EC50 2.6 μm). Against P. falciparum 3D7, three of the investigated artemisinin‐derived domino products (EC50 0.72–1.8 nm) were more potent than the clinical drug chloroquine (EC50 9.1 nm). PMID:28638769
Introduction to mathematical logic
Mendelson, Elliott
2009-01-01
The Propositional CalculusPropositional Connectives. Truth TablesTautologies Adequate Sets of Connectives An Axiom System for the Propositional Calculus Independence. Many-Valued LogicsOther AxiomatizationsFirst-Order Logic and Model TheoryQuantifiersFirst-Order Languages and Their Interpretations. Satisfiability and Truth. ModelsFirst-Order TheoriesProperties of First-Order Theories Additional Metatheorems and Derived Rules Rule C Completeness Theorems First-Order Theories with EqualityDefinitions of New Function Letters and Individual Constants Prenex Normal Forms Isomorphism of Interpretati
Stoll, Robert R
1979-01-01
Set Theory and Logic is the result of a course of lectures for advanced undergraduates, developed at Oberlin College for the purpose of introducing students to the conceptual foundations of mathematics. Mathematics, specifically the real number system, is approached as a unity whose operations can be logically ordered through axioms. One of the most complex and essential of modern mathematical innovations, the theory of sets (crucial to quantum mechanics and other sciences), is introduced in a most careful concept manner, aiming for the maximum in clarity and stimulation for further study in
DEFF Research Database (Denmark)
Ramli, Carroline Dewi Puspa Kencana; Nielson, Hanne Riis; Nielson, Flemming
2011-01-01
We study the international standard XACML 3.0 for describing security access control policy in a compositional way. Our main contribution is to derive a logic that precisely captures the idea behind the standard and to formally define the semantics of the policy combining algorithms of XACML....... To guard against modelling artifacts we provide an alternative way of characterizing the policy combining algorithms and we formally prove the equivalence of these approaches. This allows us to pinpoint the shortcoming of previous approaches to formalization based either on Belnap logic or on D-algebra....
DEFF Research Database (Denmark)
Ramli, Carroline Dewi Puspa Kencana; Nielson, Hanne Riis; Nielson, Flemming
2011-01-01
We study the international standard XACML 3.0 for describing security access control policy in a compositional way. Our main contribution is to derive a logic that precisely captures the idea behind the standard and to formally define the semantics of the policy combining algorithms of XACML....... To guard against modelling artefacts we provide an alternative way of characterizing the policy combining algorithms and we formally prove the equivalence of these approaches. This allows us to pinpoint the shortcoming of previous approaches to formalization based either on Belnap logic or on D -algebra....
Reactive standard deontic logic
Gabbay, Dov M.; Straßer, Christian
2015-01-01
We introduce a reactive variant of SDL (standard deontic logic): SDLR1 (reactive standard deontic logic). Given a Kripkean view on the semantics of SDL in terms of directed graphs where arrows -> represent the accessibility relation between worlds, reactive models add two elements: arrows -> are labelled as 'active' or 'inactive', and double arrows a dagger connect arrows, e.g. (x(1) -> x(2)) a dagger (x(3) -> x(4)). The idea is that passing through x(1) -> x(2) activates a switch represented...
Rebuschi, Manuel
2009-01-01
One of the highlights of recent informal epistemology is its growing theoretical emphasis upon various notions of context. The present paper addresses the connections between knowledge and context within a formal approach. To this end, a "contextual epistemic logic", CEL, is proposed, which consists of an extension of standard S5 epistemic modal logic with appropriate reduction axioms to deal with an extra contextual operator. We describe the axiomatics and supply both a Kripkean and a dialogical semantics for CEL. An illustration of how it may fruitfully be applied to informal epistemological matters is provided.
Evens, Aden
2015-01-01
Building a foundational understanding of the digital, Logic of the Digital reveals a unique digital ontology. Beginning from formal and technical characteristics, especially the binary code at the core of all digital technologies, Aden Evens traces the pathways along which the digital domain of abstract logic encounters the material, human world. How does a code using only 0s and 1s give rise to the vast range of applications and information that constitutes a great and growing portion of our world? Evens' analysis shows how any encounter between the actual and the digital must cross an ontolo
Gibson, J
2013-01-01
Most branches of organizing utilize digital electronic systems. This book introduces the design of such systems using basic logic elements as the components. The material is presented in a straightforward manner suitable for students of electronic engineering and computer science. The book is also of use to engineers in related disciplines who require a clear introduction to logic circuits. This third edition has been revised to encompass the most recent advances in technology as well as the latest trends in components and notation. It includes a wide coverage of application specific integrate
Linear Logical Voting Protocols
DEFF Research Database (Denmark)
DeYoung, Henry; Schürmann, Carsten
2012-01-01
. In response, we promote linear logic as a high-level language for both specifying and implementing voting protocols. Our linear logical specifications of the single-winner first-past-the-post (SW- FPTP) and single transferable vote (STV) protocols demonstrate that this approach leads to concise......Current approaches to electronic implementations of voting protocols involve translating legal text to source code of an imperative programming language. Because the gap between legal text and source code is very large, it is difficult to trust that the program meets its legal specification...... implementations that closely correspond to their legal specification, thereby increasing trust....
Directory of Open Access Journals (Sweden)
M. Subhashini,
2014-06-01
Full Text Available To achieve the most energy-efficient operation, this brief presents a circuit design technique for separating the power supply voltage (VDD of flip-flops (FFs from that of combinational circuits, called the higher voltage FF (HVFF. Although VDD scaling can reduce the energy, the minimum operating voltage (VDDmin of FFs prevents the operation at the optimum supply voltage that minimizes the energy, because the VDDmin of FFs is higher than the optimum supply voltage. In HVFF, the VDD of combinational logic gates is reduced below the VDDmin of FFs while keeping the VDD of FFs at their VDDmin. This makes it possible to minimize the energy without power and delay penalties at the nominal supply voltage (1.2 V as well as without FF topological difications. A four bit alu is designed in these paper by using dual supply voltage usig DSCH.
Online fuzzy voltage collapse risk quantification
Energy Technology Data Exchange (ETDEWEB)
Berizzi, A.; Bovo, C.; Delfanti, M.; Merlo, M. [Politecnico di Milano, 20133 Milano (Italy); Cirio, D. [CESI Ricerca (Italy); Pozzi, M. [CESI (Italy)
2009-05-15
Many voltage stability indicators have been proposed in the past for the voltage collapse assessment. Almost all of them are determined through quite complex analytical tools; therefore, it is difficult for system operators to give them a physical meaning. In order to perform a simple and reliable evaluation of the security margins, it is necessary to make a synthesis of the information given by the various indices. The present work proposes an Artificial Intelligence-based tool for the evaluation of the voltage security. In particular, a Fuzzy Inference Engine is developed and optimized by two different approaches (Neural Networks and Genetic Algorithms). Starting from the state estimation, a given set of mathematical indices is computed to represent a snapshot of the current electric system operating point. The numerical values are then translated into a set of symbolic and linguistic quantities that are manipulated through a set of logical connectives and Inference Methods provided by the mathematical logic. As a result, the Fuzzy Logic gives a MW measure of the distance from the collapse limit, a metric usually appreciated by system operators. The Fuzzy System has been built and optimized by using, as a test system, a detailed model of the EHV Italian transmission network connected to an equivalent of the UCTE network (about 1700 buses). (author)
From logic design to logic programming
Energy Technology Data Exchange (ETDEWEB)
Snyers, D.; Thayse, A.
1987-01-01
The main purpose of the present book is to show that in the same way as P-functions can lead to algorithmic or imperative implementations via the algorithmic state machine model or via the parallel program schema, they can also lead to a declarative type of implementation via the theorem proving model. As P-functions are used for synthesizing algorithms, the result of the synthesis can be interpreted in terms of implementation tools. To the hardware, microprogrammed and programmed (in an algorithmic or imperative programming environment using fortran-like or pascal-like languages) implementations the authors can thus add logic programmed implementation as a possible result of the P-function calculus.
Radiation tolerant combinational logic cell
Maki, Gary R. (Inventor); Gambles, Jody W. (Inventor); Whitaker, Sterling (Inventor)
2009-01-01
A system has a reduced sensitivity to Single Event Upset and/or Single Event Transient(s) compared to traditional logic devices. In a particular embodiment, the system includes an input, a logic block, a bias stage, a state machine, and an output. The logic block is coupled to the input. The logic block is for implementing a logic function, receiving a data set via the input, and generating a result f by applying the data set to the logic function. The bias stage is coupled to the logic block. The bias stage is for receiving the result from the logic block and presenting it to the state machine. The state machine is coupled to the bias stage. The state machine is for receiving, via the bias stage, the result generated by the logic block. The state machine is configured to retain a state value for the system. The state value is typically based on the result generated by the logic block. The output is coupled to the state machine. The output is for providing the value stored by the state machine. Some embodiments of the invention produce dual rail outputs Q and Q'. The logic block typically contains combinational logic and is similar, in size and transistor configuration, to a conventional CMOS combinational logic design. However, only a very small portion of the circuits of these embodiments, is sensitive to Single Event Upset and/or Single Event Transients.
Greek, Indian and Arabic logic
Gabbay, Dov M
2004-01-01
Greek, Indian and Arabic Logic marks the initial appearance of the multi-volume Handbook of the History of Logic. Additional volumes will be published when ready, rather than in strict chronological order. Soon to appear are The Rise of Modern Logic: From Leibniz to Frege. Also in preparation are Logic From Russell to Gödel, Logic and the Modalities in the Twentieth Century, and The Many-Valued and Non-Monotonic Turn in Logic. Further volumes will follow, including Mediaeval and Renaissance Logic and Logic: A History of its Central. In designing the Handbook of the History of Logic, the Editors have taken the view that the history of logic holds more than an antiquarian interest, and that a knowledge of logic's rich and sophisticated development is, in various respects, relevant to the research programmes of the present day. Ancient logic is no exception. The present volume attests to the distant origins of some of modern logic's most important features, such as can be found in the claim by the authors of t...
Ashokkumar, Veeramanoharan; Siva, Ayyanar
2017-03-22
Proline based metal free organocatalysts were developed by using a new approach for the synthesis of epoxide derivatives through a domino reaction. This domino reaction (oxidative coupling) allows a direct access to epoxides from various alkenes and aldehydes through C-H functionalization and C-C/C-O bond formation. The catalytic efficiencies of the newly synthesized organocatalysts were also determined by domino reaction in the presence of various functional groups containing aldehyde and alkene derivatives with very good yields (up to 95%) and ee's (up to 99%).
Mapping Individual Logical Processes
Smetana, Frederick O.
1975-01-01
A technique to measure and describe concisely a certain class of individual mental reasoning processes has been developed. The measurement is achieved by recording the complete dialog between a large, varied computerized information system with a broad range of logical operations and options and a human information seeker. (Author/RC)
Logicism, intuitionism, and formalism
Symons, John
2008-01-01
Aims to review the programmes in the foundations of mathematics from the classical period and to assess their possible relevance for contemporary philosophy of mathematics. This work is suitable for researchers and graduate students of philosophy, logic, mathematics and theoretical computer science.
Duration Calculus: Logical Foundations
DEFF Research Database (Denmark)
Hansen, Michael Reichhardt; Chaochen, Zhou
1997-01-01
The Duration Calculus (abbreviated DC) represents a logical approach to formal design of real-time systems, where real numbers are used to model time and Boolean valued functions over time are used to model states and events of real-time systems. Since it introduction, DC has been applied to many...
Welty, Gordon A.
The logic of the evaluation of educational and other action programs is discussed from a methodological viewpoint. However, no attempt is made to develop methods of evaluating programs. In Part I, the structure of an educational program is viewed as a system with three components--inputs, transformation of inputs into outputs, and outputs. Part II…
Krötzsch, Markus; Horrocks, Ian
2012-01-01
This paper provides a self-contained first introduction to description logics (DLs). The main concepts and features are explained with examples before syntax and semantics of the DL SROIQ are defined in detail. Additional sections review light-weight DL languages, discuss the relationship to the Web Ontology Language OWL and give pointers to further reading.
DEFF Research Database (Denmark)
Ramli, Carroline Dewi Puspa Kencana; Nielson, Hanne Riis; Nielson, Flemming
2014-01-01
We study the international standard XACML 3.0 for describing security access control policies in a compositional way. Our main contributions are (i) to derive a logic that precisely captures the intentions of the standard, (ii) to formally define a semantics for the XACML 3.0 component evaluation...
Nonmonotonic logics and algebras
Institute of Scientific and Technical Information of China (English)
CHAKRABORTY Mihir Kr; GHOSH Sujata
2008-01-01
Several nonmonotonie logic systems together with their algebraic semantics are discussed. NM-algebra is defined.An elegant construction of an NM-algebra starting from a Boolean algebra is described which gives rise to a few interesting algebraic issues.
DEFF Research Database (Denmark)
Jensen, Jonas Buhrkal; Birkedal, Lars
2012-01-01
, separation means physical separation. In this paper, we introduce \\emph{fictional separation logic}, which includes more general forms of fictional separating conjunctions P * Q, where "*" does not require physical separation, but may also be used in situations where the memory resources described by P and Q...
Logic Programming for Linguistics
DEFF Research Database (Denmark)
Christiansen, Henning
2010-01-01
This article gives a short introduction on how to get started with logic pro- gramming in Prolog that does not require any previous programming expe- rience. The presentation is aimed at students of linguistics, but it does not go deeper into linguistics than any student who has some ideas of what...
LOGICAL SEMANTICS OF MODULARIZATION
DELAVALETTE, GRR
1992-01-01
An algebra of theories, signatures, renamings and the operations import and export is investigated. A normal form theorem for terms of this algebra is proved. Another algebraic approach and the relation with a fragment of second order logic are also considered.
Bergstra, J.A.; Ponse, A.
2010-01-01
Short-circuit evaluation denotes the semantics of propositional connectives in which the second argument is only evaluated if the first argument does not suffice to determine the value of the expression. In programming, short-circuit evaluation is widely used. A short-circuit logic is a variant of p
Quantum probabilistic logic programming
Balu, Radhakrishnan
2015-05-01
We describe a quantum mechanics based logic programming language that supports Horn clauses, random variables, and covariance matrices to express and solve problems in probabilistic logic. The Horn clauses of the language wrap random variables, including infinite valued, to express probability distributions and statistical correlations, a powerful feature to capture relationship between distributions that are not independent. The expressive power of the language is based on a mechanism to implement statistical ensembles and to solve the underlying SAT instances using quantum mechanical machinery. We exploit the fact that classical random variables have quantum decompositions to build the Horn clauses. We establish the semantics of the language in a rigorous fashion by considering an existing probabilistic logic language called PRISM with classical probability measures defined on the Herbrand base and extending it to the quantum context. In the classical case H-interpretations form the sample space and probability measures defined on them lead to consistent definition of probabilities for well formed formulae. In the quantum counterpart, we define probability amplitudes on Hinterpretations facilitating the model generations and verifications via quantum mechanical superpositions and entanglements. We cast the well formed formulae of the language as quantum mechanical observables thus providing an elegant interpretation for their probabilities. We discuss several examples to combine statistical ensembles and predicates of first order logic to reason with situations involving uncertainty.
Risk-based design of process plants with regard to domino effects and land use planning.
Khakzad, Nima; Reniers, Genserik
2015-12-15
Land use planning (LUP) as an effective and crucial safety measure has widely been employed by safety experts and decision makers to mitigate off-site risks posed by major accidents. Accordingly, the concept of LUP in chemical plants has traditionally been considered from two perspectives: (i) land developments around existing chemical plants considering potential off-site risks posed by major accidents and (ii) development of existing chemical plants considering nearby land developments and the level of additional off-site risks the land developments would be exposed to. However, the attempts made to design chemical plants with regard to LUP requirements have been few, most of which have neglected the role of domino effects in risk analysis of major accidents. To overcome the limitations of previous work, first, we developed a Bayesian network methodology to calculate both on-site and off-site risks of major accidents while taking domino effects into account. Second, we combined the results of risk analysis with Analytic Hierarchical Process to design an optimal layout for which the levels of on-site and off-site risks would be minimum. Copyright © 2015 Elsevier B.V. All rights reserved.
Applying "domino" model to study dipolar geomagnetic field reversals and secular variation
Peqini, Klaudio; Duka, Bejo
2014-05-01
Aiming to understand the physical processes underneath the reversals events of geomagnetic field, different numerical models have been conceived. We considered the so named "domino" model, an Ising-Heisenberg model of interacting magnetic spins aligned along a ring [Mazaud and Laj, EPSL, 1989; Mori et al., arXiv:1110.5062v2, 2012]. We will present here some results which are slightly different from the already published results, and will give our interpretation on the differences. Following the empirical studies of the long series of the axial magnetic moment (dipolar moment or "magnetization") generated by the model varying all model parameters, we defined the set of parameters that supply the longest mean time between reversals. Using this set of parameters, a short time series (about 10,000 years) of axial magnetic moment was generated. After de-noising the fluctuation of this time series, we compared it with the series of dipolar magnetic moment values supplied by CALS10K.1b model for the last 10000 years. We found similar behavior of the both series, even if the "domino" model could not supply a full explanation of the geomagnetic field SV. In a similar way we will compare a 14000 years long series with the dipolar magnetic moment obtained by the model SHA.DIF.14k [Pavón-Carrasco et al., EPSL, 2014].
Outflow reconstruction with arterial patch in domino liver transplantation：a new technical option
Institute of Scientific and Technical Information of China (English)
Laura Lladó; Emilio Ramos; Sofia De LaSerna; Joan Fabregat
2014-01-01
Domino liver transplantation (LT), using livers from familial amyloidotic polyneuropathy (FAP) patients, is a well described technique useful to expand donor pool. One of the main difficulties of this type of LT arises from the necessity to share the vascular pedicles between the graft and the donor. The most important challenge resides in restoring a proper hepatic venous outflow in the FAP-liver recipient. This is specially challenging when using the piggy-back technique, because the hepatic stumps may be too short. To overcome this issue, surgeons explored several techniques using different types of venous grafts. We describe a new technical option by using an arterial graft from the deceased donor. By using both iliac arteries a long graft is created and sutured as needed to the hepatic vein stump. We describe herein this new technique employed in a domino liver recipient who underwent retransplantation for ischemic cholangitis. The procedure was performed using the piggy-back technique; the venous stump of the FAP liver was reconstructed with the arterial graft. The patient had uneventful postoperative and mid-term hepatic function, and anastomosis was patent 24 months after LT.
Gnaim, Samer; Shabat, Doron
2017-07-26
Self-immolative polymers are distinctive materials able to disassemble in a domino-like mechanism from head-to-tail upon a triggering event induced by an external stimulus. We have developed an effective molecular method to intrinsically assimilate a chemiluminescence turn-ON mechanism with a domino-like fragmentation mechanism. A unique molecular unit was synthesized, which could combine the abilities of executing the duel function of quinone-methide elimination and chemiexcitation. Incorporation of this unit as a monomer, results with the first class of stimuli-responsive self-immolative polymers with amplified chemiluminescence output. Responsive groups for various analytes were introduced as a head-trigger during the polymer synthesis. The polymers were demonstrated as chemiluminescence probes for detection of different chemical analytes. The obtained polymers were able to amplify the intensity and the duration of the light emission signal by factors correlated to their length. We anticipate that the chemiluminescence self-immolative polymers described here will find use for various research topics such as signal amplification, light-emitting new materials, and molecular probes with long-lasting light emission and imaging capabilities.
Peudru, Flavie; Le Cavelier, Fabien; Lohier, Jean-François; Gulea, Mihaela; Reboul, Vincent
2013-11-15
A new asymmetric three-component domino process, based on a diastereoselective hetero-Diels-Alder reaction, involving an aldehyde, an alkene, and a chiral thiocarbamate was developed. The chiral auxiliary is directly removed during this process, leading to enantioenriched 2H-1,3-thiazin-2-ones with up to 96% ee.
Brankaer, Carmen; Ghesquière, Pol; De Smedt, Bert
2015-01-01
Children with mild intellectual disabilities (MID) appear to have particular problems in understanding the numerical meaning of Arabic digits. Therefore, we developed and evaluated a numerical domino game that specifically targeted the association between these digits and the numerical magnitudes they represent. Participants were 30 children with…
Institute of Scientific and Technical Information of China (English)
Rahul R. NAGAWADE; Devanand B. SHINDE
2006-01-01
The tetrahydroquinoline moiety is a structural feature of many natural products. By using a domino reaction of aromatic amines and cyclic enol ethers catalyzed by zirconyl chloride in water, various tetrahydroquinoline derivatives were synthesized efficiently. Most cyclized products showed cis selectivity. The cis selectivity was tentatively rationalized due to chelation control in water.
Mohan, N; Karkra, S; Rastogi, A; Vohra, V; Soin, A S
2016-05-01
MSUD occurs due to deficiency of enzyme BCKAD required for metabolism of leucine, isoleucine, and valine leading to the accumulation of these and their ketoacids causing acute metabolic decompensation manifesting as encephalopathy or sudden death. The patient requires special protein-restricted diet to survive. As this enzyme is expressed in liver, liver transplantation has been successfully performed as a cure. We report two patients of MSUD who underwent LDLT while their livers were used as a domino graft for other biliary cirrhotic patients. A 22-month-old male child diagnosed as a case of classic MSUD underwent LDLT from an altruistic aunt as donor following which his serum leucine levels normalized on an unrestricted protein diet. His liver was used as a domino graft. A 38-month-old female child with diagnosed MSUD underwent LDLT from a swap donor, and her liver was used as a domino graft. Her DQ improved post-transplant. LDLT from non-heterozygous donors is a cure for classical MSUD. Their livers can be used as domino grafts for non-MSUD cases. © 2016 John Wiley & Sons A/S. Published by John Wiley & Sons Ltd.
Directory of Open Access Journals (Sweden)
Jairo Quiroga
2014-04-01
Full Text Available Diastereoselective reactions between 4-formylpyrazoles, N-substituted maleimides and glycine derivates led to new series of pyrazolyldipyrrolo [3,4-a:3',4'-f]pyrrolizines and pyrazolylpyrrolo[3,4-c]pyrroles in good yields. The reactions proceeded by a domino process through azomethine ylides formed in situ via a 1,3-dipolar cycloaddition reaction.
Brankaer, Carmen; Ghesquière, Pol; De Smedt, Bert
2015-01-01
Children with mild intellectual disabilities (MID) appear to have particular problems in understanding the numerical meaning of Arabic digits. Therefore, we developed and evaluated a numerical domino game that specifically targeted the association between these digits and the numerical magnitudes they represent. Participants were 30 children with…
Preinfalk, Alexander; Misale, Antonio; Maulide, Nuno
2016-10-04
The reaction of aryl-substituted allenes with alcohols under gold catalysis led to highly substituted indenes in good yields, with low catalyst loading and under mild conditions. During this domino transformation, two C-C bonds are formed with water as the only byproduct. © 2016 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.
Mahajan, Suruchi; Chauhan, Pankaj; Loh, Charles C J; Uzungelis, Server; Raabe, Gerhard; Enders, Dieter
2015-04-01
A highly diastereo- and enantioselective domino Michael/Henry reaction of 1-acetylindolin-3-ones with o-formyl-(E)-β-nitrostyrenes catalyzed by low loading of a quinine-derived amine-squaramide provides the corresponding indolin-3-one derivatives bearing four adjacent stereogenic centers in good to high yields and with excellent stereoselectivities.
Lourenco, Pedro M.; Kentie, Rosemarie; Schroeder, Julia; Groen, Niko M.; Piersma, Theunis; Bairlein, F.; Hooijmeijer, Jos C.E.W.
2011-01-01
When early breeding is advantageous, migrants underway to the breeding areas may be time stressed. The timing of sequential events such as migration and breeding is expected to be correlated because of a "domino effect", and would be of particular biological importance if timings are repeatable
Frías-López, Cristina; Sánchez-Herrero, José F; Guirao-Rico, Sara; Mora, Elisa; Arnedo, Miquel A; Sánchez-Gracia, Alejandro; Rozas, Julio
2016-12-15
The development of molecular markers is one of the most important challenges in phylogenetic and genome wide population genetics studies, especially in studies with non-model organisms. A highly promising approach for obtaining suitable markers is the utilization of genomic partitioning strategies for the simultaneous discovery and genotyping of a large number of markers. Unfortunately, not all markers obtained from these strategies provide enough information for solving multiple evolutionary questions at a reasonable taxonomic resolution. We have developed Development Of Molecular markers In Non-model Organisms (DOMINO), a bioinformatics tool for informative marker development from both next generation sequencing (NGS) data and pre-computed sequence alignments. The application implements popular NGS tools with new utilities in a highly versatile pipeline specifically designed to discover or select personalized markers at different levels of taxonomic resolution. These markers can be directly used to study the taxa surveyed for their design, utilized for further downstream PCR amplification in a broader set taxonomic scope, or exploited as suitable templates to bait design for target DNA enrichment techniques. We conducted an exhaustive evaluation of the performance of DOMINO via computer simulations and illustrate its utility to find informative markers in an empirical dataset. DOMINO is freely available from www.ub.edu/softevol/domino CONTACT: elsanchez@ub.edu or jrozas@ub.eduSupplementary information: Supplementary data are available at Bioinformatics online. © The Author 2016. Published by Oxford University Press. All rights reserved. For Permissions, please e-mail: journals.permissions@oup.com.
Logical analysis of biological systems
DEFF Research Database (Denmark)
Mardare, Radu Iulian
2005-01-01
R. Mardare, Logical analysis of biological systems. Fundamenta Informaticae, N 64:271-285, 2005.......R. Mardare, Logical analysis of biological systems. Fundamenta Informaticae, N 64:271-285, 2005....
Preferential reasoning for modal logics
CSIR Research Space (South Africa)
Britz, K
2011-11-01
Full Text Available Modal logic is the foundation for a versatile and well-established class of knowledge representation formalisms in artificial intelligence. Enriching modal logics with non-monotonic reasoning capabilities such as preferential reasoning as developed...
Grzegorczyk, Dawid; Mulawka, Jan J.; Nieznański, Edward
In this article there are presented a few methods of proving that can be adopted for epistemic logic. Those methods are used for proving sample thesis in a certain considered epistemic logic also described briefly in this work.
DEFF Research Database (Denmark)
Braüner, Torben
2011-01-01
Hybrid logic is an extension of modal logic which allows us to refer explicitly to points of the model in the syntax of formulas. It is easy to justify interest in hybrid logic on applied grounds, with the usefulness of the additional expressive power. For example, when reasoning about time one...... often wants to build up a series of assertions about what happens at a particular instant, and standard modal formalisms do not allow this. What is less obvious is that the route hybrid logic takes to overcome this problem often actually improves the behaviour of the underlying modal formalism....... For example, it becomes far simpler to formulate proof-systems for hybrid logic, and completeness results can be proved of a generality that is simply not available in modal logic. That is, hybridization is a systematic way of remedying a number of known deficiencies of modal logic. First-order hybrid logic...
Wansing, Heinrich; Willkommen, Caroline; Recent Trends in Philosophical Logic
2014-01-01
This volume presents recent advances in philosophical logic with chapters focusing on non-classical logics, including paraconsistent logics, substructural logics, modal logics of agency and other modal logics. The authors cover themes such as the knowability paradox, tableaux and sequent calculi, natural deduction, definite descriptions, identity, truth, dialetheism, and possible worlds semantics. The developments presented here focus on challenging problems in the specification of fundamental philosophical notions, as well as presenting new techniques and tools, thereby contributing to the development of the field. Each chapter contains a bibliography, to assist the reader in making connections in the specific areas covered. Thus this work provides both a starting point for further investigations into philosophical logic and an update on advances, techniques and applications in a dynamic field. The chapters originate from papers presented during the Trends in Logic XI conference at the Ruhr University ...
Finding Unity in Computational Logic
Miller, Dale
2010-01-01
International audience; While logic was once developed to serve philosophers and mathematicians, it is increasingly serving the varied needs of computer scientists. In fact, recent decades have witnessed the creation of the new discipline of Computational Logic. While Computation Logic can claim involvement in diverse areas of computing, little has been done to systematize the foundations of this new discipline. Here, we envision a unity for Computational Logic organized around the proof theo...
Nguyen, Hung T
2005-01-01
THE CONCEPT OF FUZZINESS Examples Mathematical modeling Some operations on fuzzy sets Fuzziness as uncertainty Exercises SOME ALGEBRA OF FUZZY SETS Boolean algebras and lattices Equivalence relations and partitions Composing mappings Isomorphisms and homomorphisms Alpha-cuts Images of alpha-level sets Exercises FUZZY QUANTITIES Fuzzy quantities Fuzzy numbers Fuzzy intervals Exercises LOGICAL ASPECTS OF FUZZY SETS Classical two-valued logic A three-valued logic Fuzzy logic Fuzzy and Lukasiewi
Reliable switching in MRAM and multiferroic logic
Munira, Kamaram; Bandyopadhyay, Supriyo; Atulasimha, Jayasimha; Chen, Eugene; Ghosh, Avik W.
2012-02-01
Low reliable writing in spintronic devices limits their applicability in the automotive and defense industries. Coupling stochastic macromagnetic simulator with quantum transport, we show how greater reliable switching can be achieved in MRAM and multiferroic logic. Using a combination of spin-transfer torque and small applied perpendicular field in MRAM, the error rate can be considerably reduced for a given voltage pulse. In multiferroic logic, strain plays the role of the magnetic field. Information is passed along an array of nanomagnets (NM) (magnetostrictive + piezoelectric layers) through dipole coupling with neighboring NMs. A low voltage applied to the piezoelectric element causes the NM's magnetization to switch to its hard axis. Upon releasing the stress, the magnetization of the NM relaxes to the easy axis, with its final orientation determined by the dipolar coupling with the left NM, thus achieving a low power Bennett clocked computation. In the face of stagnation points along the potential energy landscape, the success rate of the straintronic switching can be controlled with by how fast the stress is removed from the NM. (Funding: DARPA, GRANDIS, NSF-NEB).
Modal Logics for Cryptographic Processes
DEFF Research Database (Denmark)
Frendrup, U.; Huttel, Hans; Jensen, N. J.
2002-01-01
We present three modal logics for the spi-calculus and show that they capture strong versions of the environment sensitive bisimulation introduced by Boreale et al. Our logics differ from conventional modal logics for process calculi in that they allow us to describe the knowledge of an attacker ...
DEFF Research Database (Denmark)
Engberg, Uffe Henrik; Winskel, Glynn
This article shows how individual Petri nets form models of Girard's intuitionistic linear logic. It explores questions of expressiveness and completeness of linear logic with respect to this interpretation. An aim is to use Petri nets to give an understanding of linear logic and give some apprai...
Pascal, Robert; Pross, Addy
2016-04-01
In this paper we propose a logical connection between the physical and biological worlds, one resting on a broader understanding of the stability concept. We propose that stability manifests two facets - time and energy, and that stability's time facet, expressed as persistence, is more general than its energy facet. That insight leads to the logical formulation of the Persistence Principle, which describes the general direction of material change in the universe, and which can be stated most simply as: nature seeks persistent forms. Significantly, the principle is found to express itself in two mathematically distinct ways: in the replicative world through Malthusian exponential growth, and in the `regular' physical/chemical world through Boltzmann's probabilistic considerations. By encompassing both `regular' and replicative worlds, the principle appears to be able to help reconcile two of the major scientific theories of the 19th century - the Second Law of Thermodynamics and Darwin's theory of evolution - within a single conceptual framework.
Pascal, Robert; Pross, Addy
2016-11-01
In this paper we propose a logical connection between the physical and biological worlds, one resting on a broader understanding of the stability concept. We propose that stability manifests two facets - time and energy, and that stability's time facet, expressed as persistence, is more general than its energy facet. That insight leads to the logical formulation of the Persistence Principle, which describes the general direction of material change in the universe, and which can be stated most simply as: nature seeks persistent forms. Significantly, the principle is found to express itself in two mathematically distinct ways: in the replicative world through Malthusian exponential growth, and in the `regular' physical/chemical world through Boltzmann's probabilistic considerations. By encompassing both `regular' and replicative worlds, the principle appears to be able to help reconcile two of the major scientific theories of the 19th century - the Second Law of Thermodynamics and Darwin's theory of evolution - within a single conceptual framework.
DEFF Research Database (Denmark)
Friche, Nanna; Normann Andersen, Vibeke
combined with state funding through a taximeter scheme (pay per student). Secondly, party governance system involving labor market partners at both national and local level formalized through a national Council for Vocational Training and 50 local trade committees as well as local education committees......For the last fifteen years completion rates in Danish vocational education and training (VET) has stayed on a rather low level. In 2014, only half of the students enrolled in a vocational program on upper secondary level, graduated from the program (Flarup et al 2016). In Denmark, like in other...... and well-being of students enrolled in the VETs must be strengthened. We focus on target 1, 2 and 4. The reform is being implemented in a field of VET that can be characterized by four logics of governance. Firstly, a governance logic characterized by institutional independence of vocational colleges...
Franceschet, Massimo
2010-01-01
Networks are pervasive in the real world. Nature, society, economy, and technology are supported by ostensibly different networks that in fact share an amazing number of interesting structural properties. Network thinking exploded in the last decade, boosted by the availability of large databases on the topology of various real networks, mainly the Web and biological networks, and converged to the new discipline of network analysis - the holistic analysis of complex systems through the study of the network that wires their components. Physicists mainly drove the investigation, studying the structure and function of networks using methods and tools of statistical mechanics. Here, we give an alternative perspective on network analysis, proposing a logic for specifying general properties of networks and a modular algorithm for checking these properties. The logic borrows from two intertwined computing fields: XML databases and model checking.
Pascal, Robert; Pross, Addy
2016-11-01
In this paper we propose a logical connection between the physical and biological worlds, one resting on a broader understanding of the stability concept. We propose that stability manifests two facets - time and energy, and that stability's time facet, expressed as persistence, is more general than its energy facet. That insight leads to the logical formulation of the Persistence Principle, which describes the general direction of material change in the universe, and which can be stated most simply as: nature seeks persistent forms. Significantly, the principle is found to express itself in two mathematically distinct ways: in the replicative world through Malthusian exponential growth, and in the 'regular' physical/chemical world through Boltzmann's probabilistic considerations. By encompassing both 'regular' and replicative worlds, the principle appears to be able to help reconcile two of the major scientific theories of the 19th century - the Second Law of Thermodynamics and Darwin's theory of evolution - within a single conceptual framework.
Delay modeling in logic simulation
Energy Technology Data Exchange (ETDEWEB)
Acken, J. M.; Goldstein, L. H.
1980-01-01
As digital integrated circuit size and complexity increases, the need for accurate and efficient computer simulation increases. Logic simulators such as SALOGS (SAndia LOGic Simulator), which utilize transition states in addition to the normal stable states, provide more accurate analysis than is possible with traditional logic simulators. Furthermore, the computational complexity of this analysis is far lower than that of circuit simulation such as SPICE. An eight-value logic simulation environment allows the use of accurate delay models that incorporate both element response and transition times. Thus, timing simulation with an accuracy approaching that of circuit simulation can be accomplished with an efficiency comparable to that of logic simulation. 4 figures.
Strong Completeness for Markovian Logics
DEFF Research Database (Denmark)
Kozen, Dexter; Mardare, Radu Iulian; Panangaden, Prakash
2013-01-01
In this paper we present Hilbert-style axiomatizations for three logics for reasoning about continuous-space Markov processes (MPs): (i) a logic for MPs defined for probability distributions on measurable state spaces, (ii) a logic for MPs defined for sub-probability distributions and (iii) a logic...... defined for arbitrary distributions. These logics are not compact so one needs infinitary rules in order to obtain strong completeness results. We propose a new infinitary rule that replaces the so-called Countable Additivity Rule (CAR) currently used in the literature to address the problem of proving...
Bisimulations, games, and logic
DEFF Research Database (Denmark)
Nielsen, Mogens; Clausen, Christian
1994-01-01
In a recent paper by Joyal, Nielsen, and Winskel, bisimulation is defined in an abstract and uniform way across a wide range of different models for concurrency. In this paper, following a recent trend in theoretical computer science, we characterize their abstract definition game-theoretically a......-theoretically and logically in a non-interleaving model. Our characterizations appear as surprisingly simple extensions of corresponding characterizations of interleaving bisimulation....
Magnetoresistive logic and biochip
Energy Technology Data Exchange (ETDEWEB)
Brueckl, Hubert E-mail: brueckl@physik.uni-bielefeld.de; Brzeska, Monika; Brinkmann, Dirk; Schotter, J.Joerg; Reiss, Guenter; Schepper, Willi; Kamp, P.-B.; Becker, Anke
2004-11-01
While some magnetoresistive devices based on giant magnetoresistance or spin-dependent tunneling are already commercialized, a new branch of development is evolving towards magnetoresistive logic with magnetic tunnel junctions. Furthermore, the new magnetoelectronic effects show promising properties in magnetoresistive biochips, which are capable of detecting even single molecules (e.g. DNA) by functionalized magnetic markers. The unclear limits of this approach are discussed with two model systems.
Teslenko, Maxim
2008-01-01
This dissertation is in the area of Computer-Aided Design (CAD) of digital Integrated Circuits (ICs). Today's digital ICs, such as microprocessors, memories, digital signal processors (DSPs), etc., range from a few thousands to billions of logic gates, flip-flops, and other components, packed in a few millimeters of area. The creation of such highly complex systems would not be possible without the use of CAD tools. CAD tools play the key role in determining the area, speed and power consumpt...
Energy Technology Data Exchange (ETDEWEB)
Rudin, M.J. [Univ. of Nevada, Las Vegas NV (United States); O`Brien, M.C. [Univ. of Arizona, Tucson, AZ (United States)
1995-04-01
A planning and management tool was developed that relates environmental restoration and waste management problems to technologies that can be used to remediate these problems. Although the Technology Logic Diagram has been widely used within the US Department of Energy`s Office of Environmental Restoration and Waste Management, it can be modified for use during the planning of any waste management and environmental cleanup effort.
Probabilistic Logical Characterization
DEFF Research Database (Denmark)
Hermanns, Holger; Parma, Augusto; Segala, Roberto;
2011-01-01
Probabilistic automata exhibit both probabilistic and non-deterministic choice. They are therefore a powerful semantic foundation for modeling concurrent systems with random phenomena arising in many applications ranging from artificial intelligence, security, systems biology to performance model...... modeling. Several variations of bisimulation and simulation relations have proved to be useful as means to abstract and compare different automata. This paper develops a taxonomy of logical characterizations of these relations on image-finite and image-infinite probabilistic automata....
1986-12-01
determining the consequences of assumptions about the behavior of a system . If the space of behaviors is represented by an envisionment , many such...consequences can be represented by pruning states from the envisionment . This paper provides a formal logic of occurrence which justifies the...algorithms involved and provides a language for relating specific histories to envisionments . The concepts and axioms are general enough to be applicable to
Directory of Open Access Journals (Sweden)
Athanasios G. Lazaropoulos
2013-01-01
Full Text Available This paper considers the potential of replacing step-down power transformers of the entire power grid as well as part of their transmission line branches with wireless power transfer (WPT technology components. Exploiting the state-of-the-art evolutions in the fields of WPT technology, coupled resonators in domino arrangements—domino coupled resonator (DCR configurations—are proposed as suitable technological substitute for step-down power transformers and are investigated in terms of performance metrics such as power transfer efficiency (PTE and transformation ratio (TR. The contribution of this paper is fivefold. First, an analytical theoretical analysis appropriate to the study of practical DCR configurations is demonstrated. In order to support the DCR configuration replacement venture, a detailed set of assumptions regarding efficient mid- and long-range high-power WPTs as well as related technical issues is first presented. The validity of the theoretical analysis is verified through experimental measurements. Second, applying the proposed theoretical analysis, a wealth of system parameters that mainly influences the PTE and TR of DCR configurations is identified. Their quantitative effect as well as corresponding DCR configuration adjustments are first presented. Third, an approximate method, denoted as approximate chain scattering matrix (CSM method, is first introduced. Based on the scattering matrix theory formalism, the approximate CSM method is suitable for mid- and long-range DCR configurations when the theoretical analysis becomes computationally slow. The numerical results of approximate CSM method are compared with the respective ones of theoretical analysis validating the extent and the accuracy of approximate CSM method. Fourth, the potential of power transformer replacement with practical DCR configurations is thoroughly investigated in terms of their TRs. A plethora of high-voltage/medium-voltage (HV/MV, MV/low-voltage
Complexity of validity for propositional dependence logics
Jonni Virtema
2014-01-01
We study the validity problem for propositional dependence logic, modal dependence logic and extended modal dependence logic. We show that the validity problem for propositional dependence logic is NEXPTIME-complete. In addition, we establish that the corresponding problem for modal dependence logic and extended modal dependence logic is NEXPTIME-hard and in NEXPTIME^NP.
Dynamic Logics of Dynamical Systems
Platzer, André
2012-01-01
We survey dynamic logics for specifying and verifying properties of dynamical systems, including hybrid systems, distributed hybrid systems, and stochastic hybrid systems. A dynamic logic is a first-order modal logic with a pair of parametrized modal operators for each dynamical system to express necessary or possible properties of their transition behavior. Due to their full basis of first-order modal logic operators, dynamic logics can express a rich variety of system properties, including safety, controllability, reactivity, liveness, and quantified parametrized properties, even about relations between multiple dynamical systems. In this survey, we focus on some of the representatives of the family of differential dynamic logics, which share the ability to express properties of dynamical systems having continuous dynamics described by various forms of differential equations. We explain the dynamical system models, dynamic logics of dynamical systems, their semantics, their axiomatizations, and proof calcul...
构建Lotus Domino的Brower/Web Server模式%Construction of the Lotus Domino Brower / Web Server model
Institute of Scientific and Technical Information of China (English)
李金穗
2008-01-01
随着企业原来开发lotus Domino/Notes的Client/Server(客户端朋艮务器)模式,改为现今Brower/Web Serv-er(浏览器/服务器)模式及其实际应用,详细讲述企业局域网B/S模式优势以及如何构建Lotus Domino/Notes的B/S运行模式的具体方法.
Sayyad, Masthanvali; Wani, Imtiyaz Ahmad; Babu, Raja; Nanaji, Yerramsetti; Ghorai, Manas K
2017-03-03
A simple and efficient strategy for the synthesis of various 1,4-disubstituted tetrahydro-β-carbolines with excellent stereoselectivity (de, ee up to >99%) via domino ring opening cyclization (DROC) of activated aziridines with 2-vinylindoles is described. The reaction proceeds through LiClO4-catalyzed Friedel-Crafts-type alkylation of 2-vinylindoles with activated aziridines followed by an intramolecular aza-Michael reaction in a domino fashion.
Wagner, Patrick; Gulea, Mihaela; Suffert, Jean; Donnard, Morgan
2017-06-01
The synthesis of diversely substituted 2,3-dihydro-benzo[c]siloles through an unprecedented palladium-catalyzed domino sequence is reported, involving a cyclocarbopalladation of an internal silylalkyne. This reaction proceeds with complete stereoselectivity to lead to a fully substituted exocyclic C=C double bond. Notably, the overall domino sequence appears to be crucial to obtain the desired cyclic vinylsilanes. © 2017 Wiley-VCH Verlag GmbH & Co. KGaA, Weinheim.
Medelius, Pedro J. (Inventor); Simpson, Howard J. (Inventor)
2002-01-01
A voltage transient recorder can detect lightning induced transient voltages. The recorder detects a lightning induced transient voltage and adjusts input amplifiers to accurately record transient voltage magnitudes. The recorder stores voltage data from numerous monitored channels, or devices. The data is time stamped and can be output in real time, or stored for later retrieval. The transient recorder, in one embodiment, includes an analog-to-digital converter and a voltage threshold detector. When an input voltage exceeds a pre-determined voltage threshold, the recorder stores the incoming voltage magnitude and time of arrival. The recorder also determines if its input amplifier circuits clip the incoming signal or if the incoming signal is too low. If the input data is clipped or too low, the recorder adjusts the gain of the amplifier circuits to accurately acquire subsequent components of the lightning induced transients.
Universal logic gates via liquid-electronic hybrid divider
Zhou, Bingpu
2012-01-01
We demonstrated two-input microdroplet-based universal logic gates using a liquid-electronic hybrid divider. All 16 Boolean logic functions have been realized by manipulating the applied voltages. The novel platform consists of a microfluidic chip with integrated microdroplet detectors and external electronic components. The microdroplet detectors act as the communication media for fluidic and electronic information exchange. The presence or absence of microdroplets at the detector translates into the binary signal 1 or 0. The embedded micro-mechanical pneumatically actuated valve (PAV), fabricated using the well-developed multilayer soft lithography technique, offers biocompatibility, flexibility and accuracy for the on-chip realization of different logic functions. The microfluidic chip can be scaled up to construct large-scale microfluidic logic computation. On the other hand, the microfluidic chip with a specific logic function can be applied to droplet-based chemical reactions for on-demand bio or chemical analysis. Our experimental results have presented an autonomously driven, precision-controlled microfluidic chip for chemical reactions based on the IF logic function. © 2012 The Royal Society of Chemistry.
Z Source Inverter for Photovoltaic System with Fuzzy Logic Controller
Directory of Open Access Journals (Sweden)
Vijayabalan R
2012-10-01
Full Text Available In this paper, the photovoltaic system is used to extract the maximum power from sun to get the dc voltage. The output dc voltage is boost up into maximum voltage level by using the SEPIC converter. This converter voltage is fed to Z source inverter to get the AC voltage. The Z source inverter system can boost the given input voltage by controlling the boost factor, to obtain the maximum voltage. PWM technique which is used as to given the gating pulse to the inverter switches. Modified system is very promising for residential solar energy system. In stand-alone systems the solar energy yield is matched to the energy demand. Wherever it was not possible to install an electricity supply from the mains utility grid, or desirable, stand-alone photovoltaic systems could be installed. This proposed system is cost-effective for photovoltaic stand-alone applications. This paper describes the design of a rule based Fuzzy Logic Controller (FLC for Z Source inverter. The obtained AC Voltage contains harmonics of both odd and even harmonics of lower and higher order. Higher order harmonics are eliminated with the help of Filters. Here the impedance network act as a filter to reduce the lower order harmonics obtained in the system. So with the help of FFT analysis this value is obtained to be 15.82%.
Photonic encryption using all optical logic.
Energy Technology Data Exchange (ETDEWEB)
Blansett, Ethan L.; Schroeppel, Richard Crabtree; Tang, Jason D.; Robertson, Perry J.; Vawter, Gregory Allen; Tarman, Thomas David; Pierson, Lyndon George
2003-12-01
With the build-out of large transport networks utilizing optical technologies, more and more capacity is being made available. Innovations in Dense Wave Division Multiplexing (DWDM) and the elimination of optical-electrical-optical conversions have brought on advances in communication speeds as we move into 10 Gigabit Ethernet and above. Of course, there is a need to encrypt data on these optical links as the data traverses public and private network backbones. Unfortunately, as the communications infrastructure becomes increasingly optical, advances in encryption (done electronically) have failed to keep up. This project examines the use of optical logic for implementing encryption in the photonic domain to achieve the requisite encryption rates. In order to realize photonic encryption designs, technology developed for electrical logic circuits must be translated to the photonic regime. This paper examines two classes of all optical logic (SEED, gain competition) and how each discrete logic element can be interconnected and cascaded to form an optical circuit. Because there is no known software that can model these devices at a circuit level, the functionality of the SEED and gain competition devices in an optical circuit were modeled in PSpice. PSpice allows modeling of the macro characteristics of the devices in context of a logic element as opposed to device level computational modeling. By representing light intensity as voltage, 'black box' models are generated that accurately represent the intensity response and logic levels in both technologies. By modeling the behavior at the systems level, one can incorporate systems design tools and a simulation environment to aid in the overall functional design. Each black box model of the SEED or gain competition device takes certain parameters (reflectance, intensity, input response), and models the optical ripple and time delay characteristics. These 'black box' models are interconnected and
基于OS/400的Domino应用平移升级的实现%Migrating and Upgrading Domino Application Based on 0S/400
Institute of Scientific and Technical Information of China (English)
宋芬
2009-01-01
Lotus Domino is a cross-platform support of the OA system, because of the demand for OA is evolving, hardware and software platform has been replaced by another, and they are bound to be there the issue of migration or upgrade. Based on the Suzhou University OA system upgrade details of translation, on the application of the Domino server from one 0S/400 transplantation to another 0S/400 servers, and application platform to upgrade from Domino B5 to Domino R8 realization process,to later provide some can learn from experience.%Lotus Domino是一个跨平台的OA支持系统.由于对OA的需求是不断发展变化的,硬件和软件平台也在不断更新换代,就必然要出现迁移或者升级的问题.通过对苏州大学OA系统平移升级的详细介绍,阐述了把Domino应用从一台OS/400服务器移植到另一台OS/400服务器,并且把应用平台从Domino R5升级到Domino R8的实现过程.给后来者提供一些可以借鉴的经验.
The assessment of the damage probability of storage tanks in domino events triggered by fire.
Landucci, Gabriele; Gubinelli, Gianfilippo; Antonioni, Giacomo; Cozzani, Valerio
2009-11-01
An approach aimed to the quantitative assessment of the risk caused by escalation scenarios triggered by fire was developed. Simplified models for the estimation of the vessel time to failure (ttf) with respect to the radiation intensity on the vessel shell were obtained using a multi-level approach to the analysis of vessel wall failure under different fire conditions. Each vessel "time to failure" calculated by this approach for the specific fire scenario of concern was compared to a reference time required for effective mitigation actions and related to the escalation probability. The failure probability of each vessel was correlated to the probability of scenarios involving multiple vessel failure as a consequence of the primary fire, thus allowing a comprehensive assessment of domino scenarios triggered by fire. The application of the methodology to the analysis of several case-studies allowed the estimation of the quantitative contribution of escalation events triggered by fire to the overall individual and societal risk indexes.
Leaky domino-modes in regular arrays of substantially thick metal nanostrips
Voroshilov, Pavel M.; Simovski, Constantin R.
2016-07-01
In previous works, an efficient light trapping performed by arrays of metal nanoantennas whose building block was a slightly tapered (trapezoidal) substantially thick nanostrip was revealed. This light trapping implied a broad spectrum of solar light concentrated in a subwavelength depth of the semiconductor substrate. This is a very advantageous feature allowing our structure to enhance thin-film solar cells. However, the physics of the broadband resonant absorption in the substrate was not investigated. In the present paper, we show that our arrays support so-called leaky domino-modes, responsible for such the light trapping. These modes are multipole oscillations of the array of substantially thick nanostrips. In this work we have thoroughly studied these leaky modes relating them to resonances of high-order multipole moments and to broadband light-trapping effect.
Löb, D; Lengert, N; Chagin, V O; Reinhart, M; Casas-Delucchi, C S; Cardoso, M C; Drossel, B
2016-04-07
DNA replication dynamics in cells from higher eukaryotes follows very complex but highly efficient mechanisms. However, the principles behind initiation of potential replication origins and emergence of typical patterns of nuclear replication sites remain unclear. Here, we propose a comprehensive model of DNA replication in human cells that is based on stochastic, proximity-induced replication initiation. Critical model features are: spontaneous stochastic firing of individual origins in euchromatin and facultative heterochromatin, inhibition of firing at distances below the size of chromatin loops and a domino-like effect by which replication forks induce firing of nearby origins. The model reproduces the empirical temporal and chromatin-related properties of DNA replication in human cells. We advance the one-dimensional DNA replication model to a spatial model by taking into account chromatin folding in the nucleus, and we are able to reproduce the spatial and temporal characteristics of the replication foci distribution throughout S-phase.
Bellucci, Maria Cristina; Sani, Monica; Sganappa, Aurora; Volonterio, Alessandro
2014-12-08
Both multicomponent reactions and diversity oriented synthesis are indispensable tools for the modern medicinal chemist. However, their employment for the synthesis of multivalent glycomimetics has not been exploited so far although the importance that such compounds play in exploring multivalency on glycoside inhibition. Herein, we report the combinatorial synthesis of diversity oriented hetero di- and trivalent glycomimetics through a multicomponent domino process. The process is high yielding and very general, working efficiently with easily accessible sugar starting materials such as glycosylamines, glycosylazides, and glycosylisothiocyanates, having the reactive functional groups tethered either directly to the anomeric carbon, through a suitable linker, or to the primary 6 position of hexoses (or 5 position of pentoses), leading, in the latter case, to glycomimetics with artificial enzymatically stable backbone. The process has been also exploited for the multicomponent synthesis of aminoglycoside (neomycin) conjugates.
Time and charge calibration of Cherenkov telescope data acquired by Domino Ring Sampler 4 chips
Energy Technology Data Exchange (ETDEWEB)
Hoerbe, Mario; Doert, Marlene [Ruhr-Universitaet Bochum (Germany); Bruegge, Kai; Buss, Jens; Bockermann, Christian; Egorov, Alexej [TU Dortmund (Germany)
2016-07-01
Very-high-energy gamma-ray astronomy aims to give an insight into the most energetic phenomena in our Universe. Earthbound Cherenkov telescopes can measure Cherenkov light emitted by atmospheric particle showers which are produced by incoming cosmic particles at high energies. Current Cherenkov telescopes, e.g. operated in the FACT and the MAGIC experiments, utilize Domino Ring Sampler 4 (DRS4) chips for recording signals at high speed coming from the telescopes' cameras. DRS4 chips will also be used in the cameras of the Large-Size telescopes of the projected Cherenkov Telescope Array (CTA). We aim at developing a software solution for the calibration of DRS4 data based on the streams-framework, a software tool for streaming analysis which has been developed within the Collaborative Research Center SFB 876. The objectives and the current status of the project are presented.
Wan, Jie-Ping; Gao, Yong
2016-06-01
Electron-deficient enamines such as enaminones and enaminoesters are moieties showing widespread application in organic synthesis. Among the various available electron-deficient enamines, the N,N-disubstituted amino-functionalized ones (tertiary enamines) represent a class of special enamines with distinct properties and important applications. Based on our longstanding interest in exploring novel synthetic methods using electron-deficient tertiary enamines, we present herein the research advances in organic synthesis via domino reactions making use of the combinatorial C-N, C=C, C-H, and other bond transformations of electron-deficient tertiary enamines. © 2016 The Chemical Society of Japan & Wiley-VCH Verlag GmbH & Co. KGaA, Weinheim.
Pawliczek, Martin; Milde, Bastian; Jones, Peter G; Werz, Daniel B
2015-08-24
An intramolecular domino process consisting of a formal anti-carbopalladation followed by Heck reaction is realized. Complex oligo(hetero)cyclic scaffolds are efficiently obtained in one synthetic step from easily obtainable enyne precursors. In contrast to common syn-carbopalladation reactions of alkyne units, the carbopalladation employed here is designed to afford an anti-arrangement of the two new substituents across the emerging double bond. A prerequisite is that the residues next to the alkyne should lack any β-hydrogen atoms. The method paves the way to tri- and tetrasubstituted double-bond systems that have not been accessible by conventional Pd catalysis. © 2015 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.
Liao, Jen-Yu; Selvaraju, Manikandan; Chen, Chih-Hau; Sun, Chung-Ming
2013-04-21
An efficient, facile synthesis of structurally diverse benzimidazole integrated benzoxazole and benzothiazoles has been developed. In a multi-step synthetic sequence, 4-fluoro-3-nitrobenzoic acid was converted into benzimidazole bis-heterocycles, via the intermediacy of benzimidazole linked ortho-chloro amines. The amphiphilic reactivity of this intermediate was designed to achieve the title compounds by the reaction of various acid chlorides and isothiocyanates in a single step through the in situ formation of ortho-chloro anilides and thioureas under microwave irradiation. A versatile one pot domino annulation reaction was developed to involve the reaction of benzimidazole linked ortho-chloro amines with acid chlorides and isothiocyanates. The initial acylation and urea formation followed by copper catalyzed intramolecular C-O and C-S cross coupling reactions furnished the angularly oriented bis-heterocycles which bear a close resemblance to the streptomyces antibiotic UK-1.
Disjunctive logic and semantics of disjunctive logic programs
Institute of Scientific and Technical Information of China (English)
沈一栋
1997-01-01
In common sense reasoning with incomplete knowledge bases, conclusions are made by defaultHowever, it is observed that when the negation-by-default operator not is defined as not provable , the disjunctive logic program { a V b, not a, not b} should be consistent because a being not provable and b being nor provable does not imply a V b being riot provable. Such an observation is significant for non-monotonic reasoning, but none of the major current semantics for disjunctive logic programs is able to support it because they are all based on classical first-order logic in which assuming not a and not b implies assuming no: (a V b) A new first-order logic (disjunctive logic ) is developed that fully complies with this observation and new semantics for disjunctive logic programs are established This theory is able to formalize and solve some paradoxical problems, such as the lottery paradox
Instantaneous noise-based logic
Kish, Laszlo B; Peper, Ferdinand
2010-01-01
We show two universal, Boolean, deterministic logic schemes based on binary noise timefunctions that can be realized without time averaging units. The first scheme is based on a new bipolar random telegraph wave scheme and the second one makes use of the recent noise-based logic which is conjectured to be the brain's method of logic operations [Physics Letters A 373 (2009) 2338-2342, arXiv:0902.2033]. For binary-valued logic operations, the two simple Boolean schemes presented in this paper use zero (no noise) for the logic Low (L) state. In the random telegraph wave-based scheme, for multi-valued logic operations, additive superpositions of logic states must be avoided, while multiplicative superpositions utilizing hyperspace base vectors can still be utilized. These modifications, while keeping the information richness of multi-valued (noise-based) logic, result in a significant speedup of logic operations for the same signal bandwidth. The logic hyperspace of the first scheme results random telegraph waves...
Domingo, Luis R; Sáez, José A; Emamian, Saeed R
2015-02-21
The molecular mechanism of the reaction between N-methyl-3-chloroindole and methyl coumalate yielding carbazole has been studied using DFT methods at the MPWB1K/6-311G(d,p) level in toluene. This reaction is a domino process that comprises three consecutive reactions: (i) a polar Diels-Alder (P-DA) reaction between indole and methyl coumalate yielding two stereoisomeric [2 + 4] cycloadducts (CAs); (ii) the elimination of HCl from these CAs affording two stereoisomeric intermediates; and (iii) the extrusion of CO2 in these intermediates, finally yielding the carbazole. This P-DA reaction proceeds in a completely regioselective and slightly exo selective fashion. In spite of the highly polar character of this P-DA reaction, it presents a high activation enthalpy of 21.8 kcal mol(-1) due to the loss of the aromatic character of the indole during the C-C bond formation. Thermodynamic calculations suggest that the P-DA reaction is the rate-determining step of this domino reaction; in addition, the initial HCl elimination in the formal [2 + 4] CAs is kinetically favoured over the extrusion of CO2. Although the P-DA reaction is kinetically and thermodynamically very unfavourable, the easier HCl and CO2 elimination from the [2 + 4] CAs together with the strong exergonic character of the CO2 extrusion makes the P-DA reaction irreversible. An ELF topological analysis of the bonding changes along the P-DA reaction supports a two-stage one-step mechanism. An analysis of the global DFT reactivity indices at the ground state of the reagents confirms the highly polar character of this P-DA reaction. Finally, the complete regioselectivity of the studied reactions can be explained using the Parr functions.
Design of a Novel Current Balanced Voltage Controlled Delay Element
Directory of Open Access Journals (Sweden)
Pooja Saxena
2014-04-01
Full Text Available This paper presents a design of fast voltage controlled delay element based on modified version of low noise Current Balanced Logic (CBL. This delay element provides identical rising and falling edge delays controlled by the single control voltage. The post layout tunable delay range is from 140 ps to 800 ps over control voltage range of 0 to 2.1 V. An analysis for the delay element is also presented, which is in agreement with the simulated delays. A Delay Lock Loop (DLL is designed using this delay element to verify its performance.
Fuzzy Logic Temperature Control System For The Induction Furnace
Directory of Open Access Journals (Sweden)
Lei Lei Hnin
2015-08-01
Full Text Available This research paper describes the fuzzy logic temperature control system of the induction furnace. Temperature requirement of the heating system varies during the heating process. In the conventional control schemes the switching losses increase with the change in the load. A closed loop control is required to have a smooth control on the system. In this system pulse width modulation based power control scheme for the induction heating system is developed using the fuzzy logic controller. The induction furnace requires a good voltage regulation to have efficient response. The controller controls the temperature depending upon weight of meat water and time. This control system is implemented in hardware system using microcontroller. Here the fuzzy logic controller is designed and simulated in MATLAB to get the desire condition.
Reconfigurable Boolean Logic Using Magnetic Single-Electron Transistors
Gonzalez-Zalba, M. Fernando; Ciccarelli, Chiara; Zarbo, Liviu P.; Irvine, Andrew C.; Campion, Richard C.; Gallagher, Bryan L.; Jungwirth, Tomas; Ferguson, Andrew J.; Wunderlich, Joerg
2015-01-01
We propose a novel hybrid single-electron device for reprogrammable low-power logic operations, the magnetic single-electron transistor (MSET). The device consists of an aluminium single-electron transistor with a GaMnAs magnetic back-gate. Changing between different logic gate functions is realized by reorienting the magnetic moments of the magnetic layer, which induces a voltage shift on the Coulomb blockade oscillations of the MSET. We show that we can arbitrarily reprogram the function of the device from an n-type SET for in-plane magnetization of the GaMnAs layer to p-type SET for out-of-plane magnetization orientation. Moreover, we demonstrate a set of reprogrammable Boolean gates and its logical complement at the single device level. Finally, we propose two sets of reconfigurable binary gates using combinations of two MSETs in a pull-down network. PMID:25923789
Microdroplet-based universal logic gates by electrorheological fluid
Zhang, Mengying
2011-01-01
We demonstrate a uniquely designed microfluid logic gate with universal functionality, which is capable of conducting all 16 logic operations in one chip, with different input voltage combinations. A kind of smart colloid, giant electrorheological (GER) fluid, functions as the translation media among fluidic, electronic and mechanic information, providing us with the capability of performing large integrations either on-chip or off-chip, while the on-chip hybrid circuit is formed by the interconnection of the electric components and fluidic channels, where the individual microdroplets travelling in a channel represents a bit. The universal logic gate reveals the possibilities of achieving a large-scale microfluidic processor with more complexity for on-chip processing for biological, chemical as well as computational experiments. © 2011 The Royal Society of Chemistry.
Design of CMOS logic gates for TID radiation
Attia, John Okyere; Sasabo, Maria L.
1993-01-01
The rise time, fall time and propagation delay of the logic gates were derived. The effects of total ionizing dose (TID) radiation on the fall and rise times of CMOS logic gates were obtained using C program calculations and PSPICE simulations. The variations of mobility and threshold voltage on MOSFET transistors when subjected to TID radiation were used to determine the dependence of switching times on TID. The results of this work indicate that by increasing the size of P-channel transistor with respect to the N-channel transistors of the CMOS gates, the propagation delay of CMOS logic gate can be made to decrease with, or be independent of an increase in TID radiation.
Directory of Open Access Journals (Sweden)
Marina Tornatora
2015-07-01
Full Text Available Il patrimonio edilizio esistente oggi è inadeguato alle esigenze della contemporaneità e pone all’architettura la necessità di sperimentare modalità d’intervento, implementate dalle nuove tecnologie ma all’interno dei propri strumenti espressivi e del proprio universo tecnico costruttivo. Un’esperienza didattica su un quartiere marginale della periferia meridionale, preso come campione emblematico, è l’occasione per rielaborare il modello base ricorrente - Maison Domino - come un sistema aperto. / Today The existing building is inadequate to contemporary needs and this raises to architecture the need to experiment with methods of intervention, implemented by new technologies but within its own universe of expressive tools and technical constructive. Teaching experience on a marginal neighborhood of the southern suburbs, taken as a typical example, is an opportunity to rework the model recurring basis - Maison Domino - as an open system.
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
Automatic voltage imbalance detector
Bobbett, Ronald E.; McCormick, J. Byron; Kerwin, William J.
1984-01-01
A device for indicating and preventing damage to voltage cells such as galvanic cells and fuel cells connected in series by detecting sequential voltages and comparing these voltages to adjacent voltage cells. The device is implemented by using operational amplifiers and switching circuitry is provided by transistors. The device can be utilized in battery powered electric vehicles to prevent galvanic cell damage and also in series connected fuel cells to prevent fuel cell damage.
T Atanassov, Krassimir
2017-01-01
The book offers a comprehensive survey of intuitionistic fuzzy logics. By reporting on both the author’s research and others’ findings, it provides readers with a complete overview of the field and highlights key issues and open problems, thus suggesting new research directions. Starting with an introduction to the basic elements of intuitionistic fuzzy propositional calculus, it then provides a guide to the use of intuitionistic fuzzy operators and quantifiers, and lastly presents state-of-the-art applications of intuitionistic fuzzy sets. The book is a valuable reference resource for graduate students and researchers alike.
Flexible programmable logic module
Energy Technology Data Exchange (ETDEWEB)
Robertson, Perry J. (Albuquerque, NM); Hutchinson, Robert L. (Albuquerque, NM); Pierson, Lyndon G. (Albuquerque, NM)
2001-01-01
The circuit module of this invention is a VME board containing a plurality of programmable logic devices (PLDs), a controlled impedance clock tree, and interconnecting buses. The PLDs are arranged to permit systolic processing of a problem by offering wide data buses and a plurality of processing nodes. The board contains a clock reference and clock distribution tree that can drive each of the PLDs with two critically timed clock references. External clock references can be used to drive additional circuit modules all operating from the same synchronous clock reference.
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
Computability, complexity, logic
Börger, Egon
1989-01-01
The theme of this book is formed by a pair of concepts: the concept of formal language as carrier of the precise expression of meaning, facts and problems, and the concept of algorithm or calculus, i.e. a formally operating procedure for the solution of precisely described questions and problems. The book is a unified introduction to the modern theory of these concepts, to the way in which they developed first in mathematical logic and computability theory and later in automata theory, and to the theory of formal languages and complexity theory. Apart from considering the fundamental themes an
Substructural Logical Specifications
2012-11-14
a more natural correspondence with our physical intuitions about consumable resources. Linear conjunction A ⊗ B (“A tensor B”) represents the...sketch a radically different, vaguely Feynman - diagram-inspired, way of presenting traces in Figure 4.14. Resources are the edges in the DAG and steps or...70th Birthday, volume 17 of Studies in Logic. College Publications, 2008. 3.3.3, 4.1.2, 4.7.3 [Pfe12a] Frank Pfenning. Lecture notes on backtracking
Bright, Liam Kofi
2017-07-10
The logical empiricists expressed a consistent attitude to racial categorisation in both the ethical and scientific spheres. Their attitude may be captured in the following slogan: human racial taxonomy is an empirically meaningful mode of classifying persons that we should refrain from deploying. I offer an interpretation of their position that would render coherent their remarks on race with positions they adopted on the scientific status of taxonomy in general, together with their potential moral or political motivations for adopting that position. Copyright © 2017. Published by Elsevier Ltd.
Panwar, Ramesh; Rennels, David; Alkalaj, Leon
1993-01-01
A technique for minimizing the power dissipated in a Very Large Scale Integration (VLSI) chip by lowering the operating voltage without any significant penalty in the chip throughput even though low voltage operation results in slower circuits. Since the overall throughput of a VLSI chip depends on the speed of the critical path(s) in the chip, it may be possible to sustain the throughput rates attained at higher voltages by operating the circuits in the critical path(s) with a high voltage while operating the other circuits with a lower voltage to minimize the power dissipation. The interface between the gates which operate at different voltages is crucial for low power dissipation since the interface may possibly have high static current dissipation thus negating the gains of the low voltage operation. The design of a voltage level translator which does the interface between the low voltage and high voltage circuits without any significant static dissipation is presented. Then, the results of the mixed voltage design using a greedy algorithm on three chips for various operating voltages are presented.
PM 3655 PHILIPS Logic analyzer
A logic analyzer is an electronic instrument that captures and displays multiple signals from a digital system or digital circuit. A logic analyzer may convert the captured data into timing diagrams, protocol decodes, state machine traces, assembly language, or may correlate assembly with source-level software. Logic Analyzers have advanced triggering capabilities, and are useful when a user needs to see the timing relationships between many signals in a digital system.
Generalized logic in experience thinking
Institute of Scientific and Technical Information of China (English)
何华灿; 刘永怀; 何大庆; 成华
1996-01-01
The thinking and mathematical background of raising GL is explained first,then the main definitions and basic features of GL are presented,and finally the relationship between GL and other logic and the GL family are discussed.Although the research of GL just began,it may become the logic of all other logic.GL will be one of the basic theories in AI research,and has promising application.
Energy Technology Data Exchange (ETDEWEB)
Sitarek, Julian, E-mail: dzuleq@gmail.com [IFAE, Edifici Cn., Campus UAB, E-08193 Bellaterra (Spain); Gaug, Markus, E-mail: Markus.Gaug@uab.cat [Física de les Radiacions, Departament de Física, Universitat Autònoma de Barcelona, 08193 Bellaterra (Spain); CERES, Universitat Autònoma de Barcelona-IEEC, 08193 Bellaterra (Spain); Mazin, Daniel, E-mail: mazin@mpp.mpg.de [Max-Planck-Institut für Physik, D-80805 München (Germany); Paoletti, Riccardo, E-mail: paoletti@pi.infn.it [Università di Siena, and INFN Pisa, I-53100 Siena (Italy); Tescaro, Diego, E-mail: diegot@ifae.es [Inst. de Astrofísica de Canarias, E-38200 La Laguna, Tenerife (Spain)
2013-09-21
Recently the readout of the MAGIC telescopes has been upgraded to a new system based on the Domino Ring Sampler version 4 chip. We present the analysis techniques and the signal extraction performance studies of this system. We study the behavior of the baseline, the noise, the cross-talk, the linearity and the time resolution. We investigate also the optimal signal extraction. In addition we show some of the analysis techniques specific to the readout based on the Domino Ring Sampler version 2 chip, previously used in the MAGIC II telescope. -- Highlights: • We perform studies of the DRS4 based readout of the MAGIC telescopes • Advanced pedestal subtraction procedure results in a stable baseline. • The noise of the system is below one photoelectron. • The calibration of the DRS4 time response gives time resolution of 0.2 ns. • Linearity is very good up to saturation at 750 phe.
Wu, Hao; Wang, Yong-Mei
2014-05-12
An asymmetric organocatalytic one-pot strategy for the construction of spirooctahydroacridine-3,3'-oxindole scaffolds has been successfully developed by means of a domino Michael/Povarov reaction sequence. The one-pot protocol affords the chiral spirocyclohexaneoxindoles bearing an octahydroacridine motif with five stereocenters in good to high yields (up to 89 % yield) with excellent to perfect diastereoselectivities (up to >20:1 d.r.) and enantioselectivities (up to >99 % ee). This highly efficient one-pot domino procedure will allow diversity-oriented syntheses of this intriguing class of compounds with potential biological activities. © 2014 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.
Carrell, Scott E.; Hoekstra, Mark L.
2009-01-01
Each year, between 10 and 20 percent of schoolchildren in the United States are exposed to domestic violence. According to psychologists, such exposure can lead to aggressive behavior, decreased social competence, and diminished academic performance. A majority of parents and school officials believe that children who are troubled, whatever the…
Carrell, Scott E.; Hoekstra, Mark L.
2009-01-01
Each year, between 10 and 20 percent of schoolchildren in the United States are exposed to domestic violence. According to psychologists, such exposure can lead to aggressive behavior, decreased social competence, and diminished academic performance. A majority of parents and school officials believe that children who are troubled, whatever the…
Methods in Logic Based Control
DEFF Research Database (Denmark)
Christensen, Georg Kronborg
1999-01-01
Desing and theory of Logic Based Control systems.Boolean Algebra, Karnaugh Map, Quine McClusky's algorithm. Sequential control design. Logic Based Control Method, Cascade Control Method. Implementation techniques: relay, pneumatic, TTL/CMOS,PAL and PLC- and Soft_PLC implementation. PLC-design met......Desing and theory of Logic Based Control systems.Boolean Algebra, Karnaugh Map, Quine McClusky's algorithm. Sequential control design. Logic Based Control Method, Cascade Control Method. Implementation techniques: relay, pneumatic, TTL/CMOS,PAL and PLC- and Soft_PLC implementation. PLC...
Admissibility of logical inference rules
Rybakov, VV
1997-01-01
The aim of this book is to present the fundamental theoretical results concerning inference rules in deductive formal systems. Primary attention is focused on: admissible or permissible inference rules the derivability of the admissible inference rules the structural completeness of logics the bases for admissible and valid inference rules. There is particular emphasis on propositional non-standard logics (primary, superintuitionistic and modal logics) but general logical consequence relations and classical first-order theories are also considered. The book is basically self-contained and
Optimization methods for logical inference
Chandru, Vijay
2011-01-01
Merging logic and mathematics in deductive inference-an innovative, cutting-edge approach. Optimization methods for logical inference? Absolutely, say Vijay Chandru and John Hooker, two major contributors to this rapidly expanding field. And even though ""solving logical inference problems with optimization methods may seem a bit like eating sauerkraut with chopsticks. . . it is the mathematical structure of a problem that determines whether an optimization model can help solve it, not the context in which the problem occurs."" Presenting powerful, proven optimization techniques for logic in
Barriers in Concurrent Separation Logic
Hobor, Aquinas; Gherghina, Cristian
We develop and prove sound a concurrent separation logic for Pthreads-style barriers. Although Pthreads barriers are widely used in systems, and separation logic is widely used for verification, there has not been any effort to combine the two. Unlike locks and critical sections, Pthreads barriers enable simultaneous resource redistribution between multiple threads and are inherently stateful, leading to significant complications in the design of the logic and its soundness proof. We show how our logic can be applied to a specific example program in a modular way. Our proofs are machine-checked in Coq.
Popular lectures on mathematical logic
Wang, Hao
2014-01-01
A noted logician and philosopher addresses various forms of mathematical logic, discussing both theoretical underpinnings and practical applications. Author Hao Wang surveys the central concepts and theories of the discipline in a historical and developmental context, and then focuses on the four principal domains of contemporary mathematical logic: set theory, model theory, recursion theory and constructivism, and proof theory.Topics include the place of problems in the development of theories of logic and logic's relation to computer science. Specific attention is given to Gödel's incomplete
Palomba, M; Rossi, L; Sancineto, L; Tramontano, E; Corona, A; Bagnoli, L; Santi, C; Pannecouque, C; Tabarrini, O; Marini, F
2016-02-14
Herein, we disclose a general and flexible access to spirocyclopropyl oxindoles by a domino Michael/intramolecular nucleophilic substitution pathway with variously substituted vinyl selenones and enolizable oxindoles in aqueous sodium hydroxide solution. The spirocyclopropyl oxindole being a privileged scaffold, some of the synthesized compounds were selected for biological evaluation. Compound showed selective anti-HIV-1 activity thanks to its ability to inhibit the reverse transcriptase.
SSL Security Technology Research in Lotus Domino%Lotus Domino中的SSL安全技术研究
Institute of Scientific and Technical Information of China (English)
周艳; 金炜东
2002-01-01
Domino/Notes运用了较新的安全技术,具有较为完善的安全机制.本文就Lotus Domino中的SSL服务进行研究分析,并介绍了如何建立Domino验证字权威,最后通过实例探讨应用中的技巧.
Ni, Qijian; Song, Xiaoxiao; Xiong, Jiawen; Raabe, Gerhard; Enders, Dieter
2015-01-25
An NHC-catalyzed regio- and stereoselective Mannich/lactamization domino reaction of N-(benzothiazolyl)imines with α-chloroaldehydes has been developed. This new protocol provides a facile approach for the asymmetric synthesis of benzothiazolo-pyrimidinones and a pyrrolo[1,2-a]indolone in moderate to good yields (34-78%) and excellent stereoselectivities (87-99% ee, up to >20 : 1 d.r.).
Zhi, Ying; Zhao, Kun; Liu, Qiang; Wang, Ai; Enders, Dieter
2016-11-29
The asymmetric synthesis of highly functionalized pyrrolidine derivatives with three contiguous stereogenic centers and bearing a trifluoromethyl group has been developed through an organocatalytic domino Michael/Mannich [3+2] cycloaddition sequence. Employing a commercially available secondary amine as the catalyst, the scalable one-pot protocol occurs with high yields and excellent stereoselectivities, providing a short entry into a series of trifluoromethylated pyrrolidines with potential medical value.
Institute of Scientific and Technical Information of China (English)
Xiao Dong Jia; Yan Ren; Cong Dde Huo; Wen Juan Wang; Xiang Ning Chen; Qiong Fu; Xi Cun Wang
2011-01-01
A domino reaction of anilines with cyclic and acyclic enol ethers induced by catalytic amounts of TBPA+ (5 mol%) was investigated and a series of 2,4-disubstituted-1,2,3,4-tetrahydroquinolines were synthesized. Different from cyclic enol ethers, when acyclic enol ethers were used in the reaction, they serve as surrogates of acetaldehyde, producing a series of 2-methyl-4-anilino-1,2,3,4-tetrahydroquinolines. A single electron transfer mechanism was proposed to rationalize the products formation.
Dieckmann, Michael; Menche, Dirk
2013-01-04
A novel domino process for 1,3-anti diol synthesis by the union of a methyl ketone with an aldehyde is described. The operationally simple procedure is based on an Ipc-boron-aldol coupling and subsequent Ipc-mediated reduction of the intermediate β-hydroxy-ketone. The sequence proceeds with excellent anti-selectivities and enables the rapid construction of complex polyketide fragments.
Solé, Daniel; Pérez-Janer, Ferran; Mancuso, Raffaella
2015-03-16
A new strategy for the synthesis of tetrahydroisoquinolines based on the Pd(0)-catalyzed intramolecular α-arylation of sulfones is reported. The combination of this Pd-catalyzed reaction with intermolecular Michael and aza-Michael reactions allows the development of two- and three-step domino processes to synthesize diversely functionalized scaffolds from readily available starting materials. © 2015 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.
Comparison and Digital Circuit Analysis Based on Low Power Subthreshold Dual Mode Logic
Directory of Open Access Journals (Sweden)
D.Naveen Kumar
2014-03-01
Full Text Available In this brief, we propose new low power techniques such as Variable body bias method. This technique reduces the leakage power by increasing the body to source voltage of the sleep transistor in the design. By reducing the leakage power overall power of the design is reduced. The proposed logic switches between the active mode and sleep mode. To reduce the leakage current in sleep mode, the body to source voltage of the sleep transistor increased. To increase the voltage of Sleep transistor another transistor is connected to it. Average power and delay are the parameters compared between proposed logic to their CMOS and Dual Mode Logic counter parts in 180-nm process.
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...
Ghorai, Manas K; Halder, Sandipan; Das, Subhomoy
2015-10-02
A simple strategy for the synthesis of highly functionalized cyclohexanone derivatives containing an all-carbon quaternary center from α-(aryl/alkyl)methylidene-β-keto esters or β-diketones via a K-enolate mediated domino Michael-Michael reaction sequence with moderate to good yield and excellent diastereoselectivity (de > 99%) is described. Interestingly, Li-base mediated reaction of α-arylmethylidene-β-diketones affords functionalized 3,5-dihydroxy cyclohexane derivatives as the kinetically controlled products via a domino aldol-aldol reaction sequence with excellent diastereoselectivity. Li-enolates of the β-keto esters or β-diketones undergo facile domino Michael-Michael reaction with nitro-olefins to afford the corresponding nitrocyclohexane derivatives in good yields and excellent diastereoselectivity (de > 99%). The formation of the products and the observed stereoselectivity were explained by plausible mechanisms and supported by extensive computational study. An asymmetric version of the protocol was explored with (L)-menthol derived nonracemic substrates, and the corresponding nonracemic cyclohexanone derivatives containing an all-carbon quaternary center were obtained with excellent stereoselectivity (de, ee > 99%).
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...
Shen, Jianxin; Shang, Dashan; Chai, Yisheng; Wang, Yue; Cong, Junzhuang; Shen, Shipeng; Yan, Liqin; Wang, Wenhong; Sun, Young
2016-12-01
Memtranstor that correlates charge and magnetic flux via nonlinear magnetoelectric effects has a great potential in developing next-generation nonvolatile devices. In addition to multilevel nonvolatile memory, we demonstrate here that nonvolatile logic gates such as nor and nand can be implemented in a single memtranstor made of the Ni /PMN -PT /Ni heterostructure. After applying two sequent voltage pulses (X1 , X2 ) as the logic inputs on the memtranstor, the output magnetoelectric voltage can be positive high (logic 1), positive low (logic 0), or negative (logic 0), depending on the levels of X1 and X2 . The underlying physical mechanism is related to the complete or partial reversal of ferroelectric polarization controlled by inputting selective voltage pulses, which determines the magnitude and sign of the magnetoelectric voltage coefficient. The combined functions of both memory and logic could enable the memtranstor as a promising candidate for future computing systems beyond von Neumann architecture.
2005-01-01
A new all-electronic Particle Image Velocimetry technique that can efficiently map high speed gas flows has been developed in-house at the NASA Lewis Research Center. Particle Image Velocimetry is an optical technique for measuring the instantaneous two component velocity field across a planar region of a seeded flow field. A pulsed laser light sheet is used to illuminate the seed particles entrained in the flow field at two instances in time. One or more charged coupled device (CCD) cameras can be used to record the instantaneous positions of particles. Using the time between light sheet pulses and determining either the individual particle displacements or the average displacement of particles over a small subregion of the recorded image enables the calculation of the fluid velocity. Fuzzy logic minimizes the required operator intervention in identifying particles and computing velocity. Using two cameras that have the same view of the illumination plane yields two single exposure image frames. Two competing techniques that yield unambiguous velocity vector direction information have been widely used for reducing the single-exposure, multiple image frame data: (1) cross-correlation and (2) particle tracking. Correlation techniques yield averaged velocity estimates over subregions of the flow, whereas particle tracking techniques give individual particle velocity estimates. For the correlation technique, the correlation peak corresponding to the average displacement of particles across the subregion must be identified. Noise on the images and particle dropout result in misidentification of the true correlation peak. The subsequent velocity vector maps contain spurious vectors where the displacement peaks have been improperly identified. Typically these spurious vectors are replaced by a weighted average of the neighboring vectors, thereby decreasing the independence of the measurements. In this work, fuzzy logic techniques are used to determine the true
Questions and dependency in intuitionistic logic
Ciardelli, Ivano; Iemhoff, Rosalie; Yang, Fan
2017-01-01
In recent years, the logic of questions and dependencies has been investigated in the closely related frameworks of inquisitive logic and dependence logic. These investigations have assumed classical logic as the background logic of statements, and added formulas expressing questions and
Reversible logic gates on Physarum Polycephalum
Energy Technology Data Exchange (ETDEWEB)
Schumann, Andrew [University of Information Technology and Management, Sucharskiego 2, Rzeszow, 35-225 (Poland)
2015-03-10
In this paper, we consider possibilities how to implement asynchronous sequential logic gates and quantum-style reversible logic gates on Physarum polycephalum motions. We show that in asynchronous sequential logic gates we can erase information because of uncertainty in the direction of plasmodium propagation. Therefore quantum-style reversible logic gates are more preferable for designing logic circuits on Physarum polycephalum.
A beginner's guide to mathematical logic
Smullyan, Raymond M
2014-01-01
Combining stories of great philosophers, quotations, and riddles with the fundamentals of mathematical logic, this new textbook for first courses in mathematical logic was written by the subject's creative master. Raymond Smullyan offers clear, incremental presentations of difficult logic concepts with creative explanations and unique problems related to proofs, propositional logic and first-order logic, undecidability, recursion theory, and other topics.
Logical entropy of quantum dynamical systems
Directory of Open Access Journals (Sweden)
Ebrahimzadeh Abolfazl
2016-01-01
Full Text Available This paper introduces the concepts of logical entropy and conditional logical entropy of hnite partitions on a quantum logic. Some of their ergodic properties are presented. Also logical entropy of a quantum dynamical system is dehned and ergodic properties of dynamical systems on a quantum logic are investigated. Finally, the version of Kolmogorov-Sinai theorem is proved.
DEFF Research Database (Denmark)
Birkedal, Lars; Sieczkowski, Filip; Thamsborg, Jacob Junker
2012-01-01
We present a logical relation for showing the correctness of program transformations based on a new type-and-eﬀect system for a concurrent extension of an ML-like language with higher-order functions, higher-order store and dynamic memory allocation. We show how to use our model to verify a number...... of interesting program transformations that rely on eﬀect annotations. In particular, we prove a Parallelization Theorem, which expresses when it is sound to run two expressions in parallel instead of sequentially. The conditions are expressed solely in terms of the types and eﬀects of the expressions....... To the best of our knowledge, this is the ﬁrst such result for a concurrent higher-order language with higher-order store and dynamic memory allocation....
Whitfield, J D; Biamonte, J D
2012-01-01
Designing and optimizing cost functions and energy landscapes is a problem encountered in many fields of science and engineering. These landscapes and cost functions can be embedded and annealed in experimentally controllable spin Hamiltonians. Using an approach based on group theory and symmetries, we examine the embedding of Boolean logic gates into the ground state subspace of such spin systems. We describe parameterized families of diagonal Hamiltonians and symmetry operations which preserve the ground state subspace encoding the truth tables of Boolean formulas. The ground state embeddings of adder circuits are used to illustrate how gates are combined and simplified using symmetry. Our work is relevant for experimental demonstrations of ground state embeddings found in both classical optimization as well as adiabatic quantum optimization.
Cleaveland, Rance; Luettgen, Gerald; Bushnell, Dennis M. (Technical Monitor)
2002-01-01
This paper presents the Logical Process Calculus (LPC), a formalism that supports heterogeneous system specifications containing both operational and declarative subspecifications. Syntactically, LPC extends Milner's Calculus of Communicating Systems with operators from the alternation-free linear-time mu-calculus (LT(mu)). Semantically, LPC is equipped with a behavioral preorder that generalizes Hennessy's and DeNicola's must-testing preorder as well as LT(mu's) satisfaction relation, while being compositional for all LPC operators. From a technical point of view, the new calculus is distinguished by the inclusion of: (1) both minimal and maximal fixed-point operators and (2) an unimple-mentability predicate on process terms, which tags inconsistent specifications. The utility of LPC is demonstrated by means of an example highlighting the benefits of heterogeneous system specification.
Balzani, Vincenzo; Credi, Alberto; Venturi, Margherita
2003-01-13
Miniaturization has been an essential ingredient in the outstanding progress of information technology over the past fifty years. The next, perhaps ultimate, limit of miniaturization is that of molecules, which are the smallest entities with definite size, shape, and properties. Recently, great effort has been devoted to design and investigate molecular-level systems that are capable of transferring, processing, and storing information in binary form. Some of these nanoscale devices can, in fact, perform logic operations of remarkable complexity. This research--although far from being transferred into technology--is attracting interest, as the nanometer realm seems to be out of reach for the "top-down" techniques currently available to microelectronics industry. Moreover, such studies introduce new concepts in the "old" field of chemistry and stimulate the ingenuity of researchers engaged in the "bottom-up" approach to nanotechnology.
Borresen, Jon; Lynch, Stephen
2012-01-01
In the 1940s, the first generation of modern computers used vacuum tube oscillators as their principle components, however, with the development of the transistor, such oscillator based computers quickly became obsolete. As the demand for faster and lower power computers continues, transistors are themselves approaching their theoretical limit and emerging technologies must eventually supersede them. With the development of optical oscillators and Josephson junction technology, we are again presented with the possibility of using oscillators as the basic components of computers, and it is possible that the next generation of computers will be composed almost entirely of oscillatory devices. Here, we demonstrate how coupled threshold oscillators may be used to perform binary logic in a manner entirely consistent with modern computer architectures. We describe a variety of computational circuitry and demonstrate working oscillator models of both computation and memory.
DEFF Research Database (Denmark)
Jensen, Lars Bang
The problematic this thesis investigates, through a specific kind of structuralism derived from a reading of Michel Foucault, Pierre Bourdieu and Gilles Deleuze, concerns how the subject becomes a science subject and potentially a scientist, with interest and literacy in science. The Logic...... of Science – a vivisection of monsters is thus an exploration of Being and Becoming in relation to Science and its Education. The investigation has been derived from, in, and connected to the Youth-to-Youth Project, a regional bridge building project in Northern Jutland in Denmark. The Youth-to-Youth Project...... (2011-2015) attempts to facilitate contact and provide a different kind of counselling and guidance between youths and youths who are ‘one step ahead’ in their educational trajectory. The meetings between the youths are both social and science subject oriented, and the intention is to establish...
Complementary Skyrmion Racetrack Memory With Voltage Manipulation
Kang, Wang; Zheng, Chentian; Huang, Yangqi; Zhang, Xichao; Zhou, Yan; Lv, Weifeng; Zhao, Weisheng
2016-07-01
Magnetic skyrmion holds promise as information carriers in the next-generation memory and logic devices, owing to the topological stability, small size and extremely low current needed to drive it. One of the most potential applications of skyrmion is to design racetrack memory (RM), named Sk-RM, instead of utilizing domain wall (DW). However, current studies face some key design challenges, e.g., skyrmion manipulation, data representation and synchronization etc. To address these challenges, we propose here a complementary Sk-RM structure with voltage manipulation. Functionality and performance of the proposed design are investigated with micromagnetic simulations.
Logical Modelling of Physarum Polycephalum
Schumann, Andrew
2011-01-01
We propose a novel model of unconventional computing where a structural part of computation is presented by dynamics of plasmodium of Physarum polycephalum, a large single cell. We sketch a new logical approach combining conventional logic with process calculus to demonstrate how to employ formal methods in design of unconventional computing media presented by Physarum polycephalum.
Flat coalgebraic fixed point logics
Schröder, Lutz
2010-01-01
Fixed point logics have a wide range of applications in computer science, in particular in artificial intelligence and concurrency. The most expressive logics of this type are the mu-calculus and its relatives. However, popular fixed point logics tend to trade expressivity for simplicity and readability, and in fact often live within the single variable fragment of the mu-calculus. The family of such flat fixed point logics includes, e.g., CTL, the *-nesting-free fragment of PDL, and the logic of common knowledge. Here, we extend this notion to the generic semantic framework of coalgebraic logic, thus covering a wide range of logics beyond the standard mu-calculus including, e.g., flat fragments of the graded mu-calculus and the alternating-time mu-calculus (such as ATL), as well as probabilistic and monotone fixed point logics. Our main results are completeness of the Kozen-Park axiomatization and a timed-out tableaux method that matches EXPTIME upper bounds inherited from the coalgebraic mu-calculus but avo...
A Paraconsistent Higher Order Logic
DEFF Research Database (Denmark)
Villadsen, Jørgen
2004-01-01
of the logic is examined by a case study in the domain of medicine. Thus we try to build a bridge between the HOL and MVL communities. A sequent calculus is proposed based on recent work by Muskens. Many non-classical logics are, at the propositional level, funny toys which work quite good, but when one wants...
Sasao, Tsutomu
2011-01-01
This book describes the synthesis of logic functions using memories. It is useful to design field programmable gate arrays (FPGAs) that contain both small-scale memories, called look-up tables (LUTs), and medium-scale memories, called embedded memories. This is a valuable reference for both FPGA system designers and CAD tool developers, concerned with logic synthesis for FPGAs.
A Paraconsistent Higher Order Logic
DEFF Research Database (Denmark)
Villadsen, Jørgen
2004-01-01
of the logic is examined by a case study in the domain of medicine. Thus we try to build a bridge between the HOL and MVL communities. A sequent calculus is proposed based on recent work by Muskens. Many non-classical logics are, at the propositional level, funny toys which work quite good, but when one wants...
Simulated Laboratory in Digital Logic.
Cleaver, Thomas G.
Design of computer circuits used to be a pencil and paper task followed by laboratory tests, but logic circuit design can now be done in half the time as the engineer accesses a program which simulates the behavior of real digital circuits, and does all the wiring and testing on his computer screen. A simulated laboratory in digital logic has been…
Logical Modelling of Physarum Polycephalum
Schumann, Andrew; Adamatzky, Andrew
2011-01-01
We propose a novel model of unconventional computing where a structural part of computation is presented by dynamics of plasmodium of Physarum polycephalum, a large single cell. We sketch a new logical approach combining conventional logic with process calculus to demonstrate how to employ formal methods in design of unconventional computing media presented by Physarum polycephalum.
Institute of Scientific and Technical Information of China (English)
修勤
1995-01-01
In the red corner, Aristotle. In the blue corner, Buddha.It’s the fight of the century, and it’s a grudge match. "Fuzzy theory is wrong, wrong, and pernicious. What we need is more logical thinking, not less," fulminates Professor William Kahan of Berkeley. "Fuzzy logic is the cocaine of science. "
Propositional inquisitive logic: a survey
Directory of Open Access Journals (Sweden)
Ivano Ciardelli
2016-12-01
Full Text Available This paper provides a concise survey of a body of recent work on propositional inquisitive logic. We review the conceptual foundations of inquisitive semantics, introduce the propositional system, discuss its relations with classical, intuitionistic, and dependence logic, and describe an important feature of inquisitive proofs.
Logical Querying of Relational Databases
Directory of Open Access Journals (Sweden)
Luminita Pistol
2016-12-01
Full Text Available This paper aims to demonstrate the usefulness of formal logic and lambda calculus in database programming. After a short introduction in propositional and first order logic, we implement dynamically a small database and translate some SQL queries in filtered java 8 streams, enhanced with Tuples facilities from jOOλ library.
Methods in Logic Based Control
DEFF Research Database (Denmark)
Christensen, Georg Kronborg
1999-01-01
Desing and theory of Logic Based Control systems.Boolean Algebra, Karnaugh Map, Quine McClusky's algorithm. Sequential control design. Logic Based Control Method, Cascade Control Method. Implementation techniques: relay, pneumatic, TTL/CMOS,PAL and PLC- and Soft_PLC implementation. PLC...
Marketing Logics, Ambidexterity and Influence
DEFF Research Database (Denmark)
Tollin, Karin; Schmidt, Marcus
2012-01-01
The duties of companies' chief marketing officers (CMOs) seem incompatible. They are expected to ensure that their company's market assets are properly exploited and recorded, while simultaneously enacting a proactive role in the company's business development. This study shows that about one...... in four CMOs have taken on this challenge, or adopted a marketing logic which could be referred to as ambidextrous. Furthermore, the study shows that this logic exerts a stronger impact on marketing's influence, compared to logics related to assuring brand consistency and measuring the performance...... of marketing processes. Three other ways to enact marketing management were also revealed, namely: an innovation; a communication; and a supporting marketing logic. This leads us to conclude that the influence of companies' marketing functions show up a heterogeneous picture within which the marketing logics...
Nucleic acid based logical systems.
Han, Da; Kang, Huaizhi; Zhang, Tao; Wu, Cuichen; Zhou, Cuisong; You, Mingxu; Chen, Zhuo; Zhang, Xiaobing; Tan, Weihong
2014-05-12
Researchers increasingly visualize a significant role for artificial biochemical logical systems in biological engineering, much like digital logic circuits in electrical engineering. Those logical systems could be utilized as a type of servomechanism to control nanodevices in vitro, monitor chemical reactions in situ, or regulate gene expression in vivo. Nucleic acids (NA), as carriers of genetic information with well-regulated and predictable structures, are promising materials for the design and engineering of biochemical circuits. A number of logical devices based on nucleic acids (NA) have been designed to handle various processes for technological or biotechnological purposes. This article focuses on the most recent and important developments in NA-based logical devices and their evolution from in vitro, through cellular, even towards in vivo biological applications.
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.
Identiﬁcation of Optimal Operating Point Of PV Modules Using Fuzzy Logic Control
Directory of Open Access Journals (Sweden)
Hadi nabizadeh
2013-11-01
Full Text Available This paper introduces an intelligent control method for maximum power point tracking in solar array in dealing with the rapid variations in temperature and radiation. Fuzzy logic controller and DC/DC boost converter are the most important components of this system. The simulation results of fuzzy logic controller are compared with simulation results of PI controller in both cases without noise and with Gaussian noise in solar cell voltage. The results show that fuzzy logic controller performance is better than PI controller especially in the presence of noise.
Technological Aspects: High Voltage
Faircloth, D C
2013-01-01
This paper covers the theory and technological aspects of high-voltage design for ion sources. Electric field strengths are critical to understanding high-voltage breakdown. The equations governing electric fields and the techniques to solve them are discussed. The fundamental physics of high-voltage breakdown and electrical discharges are outlined. Different types of electrical discharges are catalogued and their behaviour in environments ranging from air to vacuum are detailed. The importance of surfaces is discussed. The principles of designing electrodes and insulators are introduced. The use of high-voltage platforms and their relation to system design are discussed. The use of commercially available high-voltage technology such as connectors, feedthroughs and cables are considered. Different power supply technologies and their procurement are briefly outlined. High-voltage safety, electric shocks and system design rules are covered.
MESL: Proposal for a Non-volatile Cascadable Magneto-Electric Spin Logic
Jaiswal, Akhilesh; Roy, Kaushik
2017-01-01
In the quest for novel, scalable and energy-efficient computing technologies, many non-charge based logic devices are being explored. Recent advances in multi-ferroic materials have paved the way for electric field induced low energy and fast switching of nano-magnets using the magneto-electric (ME) effect. In this paper, we propose a voltage driven logic-device based on the ME induced switching of nano-magnets. We further demonstrate that the proposed logic-device, which exhibits decoupled read and write paths, can be used to construct a complete logic family including XNOR, NAND and NOR gates. The proposed logic family shows good scalability with a quadratic dependence of switching energy with respect to the switching voltage. Further, the proposed logic-device has better robustness against the effect of thermal noise as compared to the conventional current driven switching of nano-magnets. A device-to-circuit level coupled simulation framework, including magnetization dynamics and electron transport model, has been developed for analyzing the present proposal. Using our simulation framework, we present energy and delay results for the proposed Magneto-Electric Spin Logic (MESL) gates.
MESL: Proposal for a Non-volatile Cascadable Magneto-Electric Spin Logic
Jaiswal, Akhilesh; Roy, Kaushik
2017-01-01
In the quest for novel, scalable and energy-efficient computing technologies, many non-charge based logic devices are being explored. Recent advances in multi-ferroic materials have paved the way for electric field induced low energy and fast switching of nano-magnets using the magneto-electric (ME) effect. In this paper, we propose a voltage driven logic-device based on the ME induced switching of nano-magnets. We further demonstrate that the proposed logic-device, which exhibits decoupled read and write paths, can be used to construct a complete logic family including XNOR, NAND and NOR gates. The proposed logic family shows good scalability with a quadratic dependence of switching energy with respect to the switching voltage. Further, the proposed logic-device has better robustness against the effect of thermal noise as compared to the conventional current driven switching of nano-magnets. A device-to-circuit level coupled simulation framework, including magnetization dynamics and electron transport model, has been developed for analyzing the present proposal. Using our simulation framework, we present energy and delay results for the proposed Magneto-Electric Spin Logic (MESL) gates. PMID:28045074
Reversible logic gate using adiabatic superconducting devices
National Research Council Canada - National Science Library
Takeuchi, N; Yamanashi, Y; Yoshikawa, N
2014-01-01
.... However, until now, no practical reversible logic gates have been demonstrated. One of the problems is that reversible logic gates must be built by using extremely energy-efficient logic devices...
Ferrer, Oriol; McClay, Ken
2017-04-01
Salt is mechanically weaker than other sedimentary rocks in rift basins. During extension it commonly acts as a strain localizer, decoupling supra- and sub-salt deformation. In this scenario the movement of the subsalt faults combined with the salt migration commonly constraint the development of syncline basins. The shape of these synclines is basically controlled by the thickness and strength of the overlying salt section, as well as by the shapes of the extensional faults, and the magnitudes and slip rates along the faults. The inherited extensional structure, and particularly the continuity of the salt section, plays a key role if the rift basin is subsequently inverted. This research utilizes scaled physical models to analyse the interplay between subsalt structures and suprasalt units during both extension and inversion in domino-style basement fault systems. The experimental program includes twelve analogue models to analyze how the thickness and stratigraphy of the salt unit as well as the thickness of the pre-extensional cover constraint the structural style during extension and subsequent inversion. Different models with the same setup have been used to examine the kinematic evolution. Model kinematics was documented and analyzed combining high-resolution photographs and sub-millimeter resolution scanners. The vertical sections carried out at the end of the experiments have been used to characterize the variations of the structures along strike using new methodologies (3D voxel models in image processing software and 3D seismic). The experimental results show that after extension, rift systems with salt affected by domino-style basement faults don't show the classical growth stratal wedges. In this case synclinal basins develop above the salt on the hangingwall of the basement faults. The evolution of supra- and subsalt deformation is initially decoupled by the salt layer. Salt migrates from the main depocenters towards the edges of the basin constraining
Matsunami, Masatoshi; Fukuda, Akinari; Sasaki, Kengo; Uchida, Hajime; Shigeta, Takanobu; Hirata, Yoshihiro; Kanazawa, Hiroyuki; Horikawa, Reiko; Nakazawa, Atsuko; Suzuki, Tatsuya; Mizuta, Koichi; Kasahara, Mureo
2016-08-01
As the priority of LD-Domino LT is the safety of the first recipient, limitations and technical difficulties in the second recipient often occur. The most technically challenging part of LD-Domino LT is the reconstruction of the vessels. For the reconstruction of HVs, the native HVs were exteriorized as far as possible using a CUSA because longer extensive HVs are essential for facilitating the reconstruction. At the back table, the HVs of the domino graft were sutured together, and the single cuff of the HVs was anastomosed to the IVC by joining the orifices. The HAs, the presence of insufficient length, and multiple vessels in the whole liver rendered the reconstruction more difficult. We determined the dividing sites of the vessels according to the preoperative 3D-CT findings obtained in two institutions. This is the first case series using grafts in DLT obtained from LDLT for patients with MSUD between two institutions. In conclusion, LD-Domino LT is a safe and feasible therapeutic option to expand the donor pool by technical refinement in the reconstruction of the second recipient. Further studies with a greater accumulation of patients and a longer follow-up will be necessary to establish LD-Domino LT using an MSUD donor. © 2016 John Wiley & Sons A/S. Published by John Wiley & Sons Ltd.
The Logic of Practice in the Practice of Logics
DEFF Research Database (Denmark)
Raviola, Elena; Dubini, Paola
2016-01-01
of logics through a six months full-time ethnographic study at Il Sole-24 Ore, the largest Italian financial newspaper, between 2007 and 2008. An original conceptual framework is developed to analyse how the logic of journalism is enacted vis-à-vis that of advertising in a setting in which an old technology...... for news production – print newspaper – coexists with a new one – website – and thus encounters between new and old technological possibilities make workings of institutional logics particularly visible. The findings point out different mechanisms of institutional work dealing with actions that, made...
Energy Technology Data Exchange (ETDEWEB)
Jamali, B.; Piercy, R.; Dick, P. [Kinetrics Inc., Toronto, ON (Canada). Transmission and Distribution Technologies
2008-04-09
This report discussed issues related to farm stray voltage and evaluated mitigation strategies and costs for limiting voltage to farms. A 3-phase, 3-wire system with no neutral ground was used throughout North America before the 1930s. Transformers were connected phase to phase without any electrical connection between the primary and secondary sides of the transformers. Distribution voltage levels were then increased and multi-grounded neutral wires were added. The earth now forms a parallel return path for the neutral current that allows part of the neutral current to flow continuously through the earth. The arrangement is responsible for causing stray voltage. Stray voltage causes uneven milk production, increased incidences of mastitis, and can create a reluctance to drink water amongst cows when stray voltages are present. Off-farm sources of stray voltage include phase unbalances, undersized neutral wire, and high resistance splices on the neutral wire. Mitigation strategies for reducing stray voltage include phase balancing; conversion from single to 3-phase; increasing distribution voltage levels, and changing pole configurations. 22 refs., 5 tabs., 13 figs.
Rizk, Farouk AM
2014-01-01
Inspired by a new revival of worldwide interest in extra-high-voltage (EHV) and ultra-high-voltage (UHV) transmission, High Voltage Engineering merges the latest research with the extensive experience of the best in the field to deliver a comprehensive treatment of electrical insulation systems for the next generation of utility engineers and electric power professionals. The book offers extensive coverage of the physical basis of high-voltage engineering, from insulation stress and strength to lightning attachment and protection and beyond. Presenting information critical to the design, selec
Kind, Dieter
2001-01-01
The second edition of High Voltage Test Techniques has been completely revised. The present revision takes into account the latest international developments in High Voltage and Measurement technology, making it an essential reference for engineers in the testing field.High Voltage Technology belongs to the traditional area of Electrical Engineering. However, this is not to say that the area has stood still. New insulating materials, computing methods and voltage levels repeatedly pose new problems or open up methods of solution; electromagnetic compatibility (EMC) or components and systems al
Mustafa, Ghullam; Bak-Jensen, Birgitte; Mahat, Pukar; Cecati, Carlo
2013-01-01
Any problem with voltage in a power network is undesirable as it aggravates the quality of the power. Power electronic devices such as Voltage Source Converter (VSC) based Static Synchronous Compensator (STATCOM) etc. can be used to mitigate the voltage problems in the distribution system. The voltage problems dealt with in this paper are to show how to mitigate unbalanced voltage sags and voltage unbalance in the CIGRE Low Voltage (LV) test network and net-works like this. The voltage unbala...
Probabilistic Logic Programming under Answer Sets Semantics
Institute of Scientific and Technical Information of China (English)
王洁; 鞠实儿
2003-01-01
Although traditional logic programming languages provide powerful tools for knowledge representation, they cannot deal with uncertainty information (e. g. probabilistic information). In this paper, we propose a probabilistic logic programming language by introduce probability into a general logic programming language. The work combines 4-valued logic with probability. Conditional probability can be easily represented in a probabilistic logic program. The semantics of such a probabilistic logic program i...
Modelling object typicality in description logics - [Workshop on Description Logics
CSIR Research Space (South Africa)
Britz, K
2009-07-01
Full Text Available The authors presents a semantic model of typicality of concept members in description logics that accords well with a binary, globalist cognitive model of class membership and typicality. The authors define a general preferential semantic framework...
Formalized Epistemology, Logic, and Grammar
Bitbol, Michel
The task of a formal epistemology is defined. It appears that a formal epistemology must be a generalization of "logic" in the sense of Wittgenstein's Tractatus. The generalization is required because, whereas logic presupposes a strict relation between activity and language, this relation may be broken in some domains of experimental enquiry (e.g., in microscopic physics). However, a formal epistemology should also retain a major feature of Wittgenstein's "logic": It must not be a discourse about scientific knowledge, but rather a way of making manifest the structures usually implicit in knowledge-gaining activity. This strategy is applied to the formalism of quantum mechanics.
Aristotelian logic and its perspectives
Directory of Open Access Journals (Sweden)
Manuel Correia
2017-05-01
Full Text Available The legitimacy of Aristotelian logic was questioned in the twentieth century. As a result, the question of whether it should be replaced or restored remains unanswered. To resolve this dilemma there have been new findings that show that it is a theory with internal development, which is independent from the provisions of mathematical logic. In this article, I show how to restore its internal unity, development prospects and independence, through the use of three axioms or rules allowing to incorporate indefinite terms in classical categorical and hypothetical syllogistic, which gives it a capacity able to be compared to monadic first order logic.
Coherence in Linear Predicate Logic
Dosen, K
2007-01-01
Coherence with respect to Kelly-Mac Lane graphs is proved for categories that correspond to the multiplicative fragment without constant propositions of classical linear first-order predicate logic without or with mix. To obtain this result, coherence is first established for categories that correspond to the multiplicative conjunction-disjunction fragment with first-order quantifiers of classical linear logic, a fragment lacking negation. These results extend results published in previous two books by the authors, where coherence was established for categories of the corresponding fragments of propositional classical linear logic, which are related to proof nets, and which could be described as star-autonomous categories without unit objects.
Handling Pressures of Community Logic
DEFF Research Database (Denmark)
Minbaeva, Dana; Hotho, Jasper; Muratbekova-Touron, Maral
2013-01-01
The paper aims at investigating how in pluralistic societies, such as emerging economies and countries in transition, organizational decision-makers respond to pressures of community logics in non-community settings, such as the work place. We theorize that in non-community settings, social...... relations and interactions with community members can act as social cues that induce and expose individuals to community logics. We subsequently propose that properties of these relations – immediacy and relatedness - will affect individual response strategies towards community logics. We test these ideas...
Reducing error rates in straintronic multiferroic nanomagnetic logic by pulse shaping.
Munira, Kamaram; Xie, Yunkun; Nadri, Souheil; Forgues, Mark B; Fashami, Mohammad Salehi; Atulasimha, Jayasimha; Bandyopadhyay, Supriyo; Ghosh, Avik W
2015-06-19
Dipole-coupled nanomagnetic logic (NML), where nanomagnets (NMs) with bistable magnetization states act as binary switches and information is transferred between them via dipole-coupling and Bennett clocking, is a potential replacement for conventional transistor logic since magnets dissipate less energy than transistors when they switch in a logic circuit. Magnets are also 'non-volatile' and hence can store the results of a computation after the computation is over, thereby doubling as both logic and memory-a feat that transistors cannot achieve. However, dipole-coupled NML is much more error-prone than transistor logic at room temperature [Formula: see text] because thermal noise can easily disrupt magnetization dynamics. Here, we study a particularly energy-efficient version of dipole-coupled NML known as straintronic multiferroic logic (SML) where magnets are clocked/switched with electrically generated mechanical strain. By appropriately 'shaping' the voltage pulse that generates strain, we show that the error rate in SML can be reduced to tolerable limits. We describe the error probabilities associated with various stress pulse shapes and discuss the trade-off between error rate and switching speed in SML.The lowest error probability is obtained when a 'shaped' high voltage pulse is applied to strain the output NM followed by a low voltage pulse. The high voltage pulse quickly rotates the output magnet's magnetization by 90° and aligns it roughly along the minor (or hard) axis of the NM. Next, the low voltage pulse produces the critical strain to overcome the shape anisotropy energy barrier in the NM and produce a monostable potential energy profile in the presence of dipole coupling from the neighboring NM. The magnetization of the output NM then migrates to the global energy minimum in this monostable profile and completes a 180° rotation (magnetization flip) with high likelihood.
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.