scholarly journals Dual synthesis of Petri net based application specific logic controllers with increased safety

2016 ◽  
Vol 64 (3) ◽  
pp. 467-478
Author(s):  
J. Tkacz ◽  
A. Bukowiec ◽  
M. Adamski
Keyword(s):  
Petri Net ◽  
Control Algorithm ◽  
Logic Synthesis ◽  
Control Unit ◽  
Design Flow ◽  
Synthesis Process ◽  
Synthesis Methods ◽  
Comparison Results ◽  
Application Specific ◽  
Logic Controllers

Abstract In the paper, design flow of the application specific logic controllers with increased safety by means of Petri nets is proposed. The controller architecture is based on duplicated control unit and comparison results from both units. One specification of control algorithm is used by means of Petri net for both units. The hardware duplication is obtained during dual synthesis process. This process uses two different logic synthesis methods to obtain two different hardware configurations for both control units. Additionally, the dual verification is applied to increase reliability of the control algorithm. Such design flow simplifies the process of realization of control systems with increased safety.

scholarly journals Logic Synthesis for Emerging Technologies

2021 ◽  
Vol 16 (1) ◽  
pp. 1-9
Author(s):  
Augusto Neutzling ◽  
Renato Perez Ribas
Keyword(s):  
Integrated Circuit ◽  
New Technologies ◽  
Emerging Technologies ◽  
Logic Gate ◽  
Logic Synthesis ◽  
Design Flow ◽  
Synthesis Process ◽  
Synthesis Methods ◽  
Threshold Logic ◽  
Mos Transistor

Emerging technologies are being considered to replace the conventional CMOS-based design that seems arriving to its end of life due to the limits of MOS transistor shrinking. However, since those novel devices are not necessarily switch-based ones, the traditional AND/OR logic synthesis process in the digital integrated circuit design flow tends to become inefficient, whereas threshold logic paradigm seems to be more appropriate for them. In this context, different methods for threshold logic synthesis, suitable for emerging technologies, are reviewed in this paper. The majority logic based design is also discussed herein since it represents a subset of threshold logic domain, and many new technologies have presented the 3-input majority Boolean function as the most basic logic gate. Experimental data, presented in previous works, are used to illustrate and compare the performance of the state-ofthe-art       logic synthesis methods related to

scholarly journals CdSe QD Biosynthesis in Yeast Using Tryptone-Enriched Media and Their Conjugation with a Peptide Hecate for Bacterial Detection and Killing

Nanomaterials ◽  
2019 ◽  
Vol 9 (10) ◽  
pp. 1463 ◽  
Author(s):  
Vishma Pratap Sur ◽  
Marketa Kominkova ◽  
Zaneta Buchtova ◽  
Kristyna Dolezelikova ◽  
Ondrej Zitka ◽  
...  
Keyword(s):  
Staphylococcus Aureus ◽  
Synthesis Process ◽  
Synthesis Methods ◽  
Bacterial Cells ◽  
Cdse Qds ◽  
Yeast Saccharomyces Cerevisiae ◽  
Shape Distribution ◽  
Transmission Electron ◽  
A Cell ◽  
Physical And Chemical

The physical and chemical synthesis methods of quantum dots (QDs) are generally unfavorable for biological applications. To overcome this limitation, the development of a novel “green” route to produce highly-fluorescent CdSe QDs constitutes a promising substitute approach. In the present work, CdSe QDs were biosynthesized in yeast Saccharomyces cerevisiae using a novel method, where we showed for the first time that the concentration of tryptone highly affects the synthesis process. The optimum concentration of tryptone was found to be 25 g/L for the highest yield. Different methods were used to optimize the QD extraction from yeast, and the best method was found to be by denaturation at 80 °C along with an ultrasound needle. Multiple physical characterizations including transmission electron microscopy (TEM), dynamic light scattering (DLS), energy-dispersive X-ray spectroscopy (EDX), and spectrophotometry confirmed the optical features size and shape distribution of the QDs. We showed that the novel conjugate of the CdSe QDs and a cell-penetrating peptide (hecate) can detect bacterial cells very efficiently under a fluorescent microscope. The conjugate also showed strong antibacterial activity against vancomycin-resistant Staphylococcus aureus (VRSA), methicillin-resistant Staphylococcus aureus (MRSA), and Escherichia coli, which may help us to cope with the problem of rising antibiotic resistance.

scholarly journals The Structure–Properties–Cytotoxicity Interplay: A Crucial Pathway to Determining Graphene Oxide Biocompatibility

2021 ◽  
Vol 22 (10) ◽  
pp. 5401
Author(s):  
Marta Dziewięcka ◽  
Mirosława Pawlyta ◽  
Łukasz Majchrzycki ◽  
Katarzyna Balin ◽  
Sylwia Barteczko ◽  
...  
Keyword(s):  
Graphene Oxide ◽  
Defense Mechanisms ◽  
Physicochemical Analysis ◽  
Experimental Models ◽  
Acheta Domesticus ◽  
Synthesis Process ◽  
Synthesis Methods ◽  
Toxicity Potential ◽  
Potential Applications

Interest in graphene oxide nature and potential applications (especially nanocarriers) has resulted in numerous studies, but the results do not lead to clear conclusions. In this paper, graphene oxide is obtained by multiple synthesis methods and generally characterized. The mechanism of GO interaction with the organism is hard to summarize due to its high chemical activity and variability during the synthesis process and in biological buffers’ environments. When assessing the biocompatibility of GO, it is necessary to take into account many factors derived from nanoparticles (structure, morphology, chemical composition) and the organism (species, defense mechanisms, adaptation). This research aims to determine and compare the in vivo toxicity potential of GO samples from various manufacturers. Each GO sample is analyzed in two concentrations and applied with food. The physiological reactions of an easy model Acheta domesticus (cell viability, apoptosis, oxidative defense, DNA damage) during ten-day lasting exposure were observed. This study emphasizes the variability of the GO nature and complements the biocompatibility aspect, especially in the context of various GO-based experimental models. Changes in the cell biomarkers are discussed in light of detailed physicochemical analysis.

Research on Fuzzy Control of Mine Ventilation Based on Embedded Systems

2014 ◽  
Vol 686 ◽  
pp. 126-131
Author(s):  
Xiao Yan Sha
Keyword(s):  
Fuzzy Control ◽  
Control Algorithm ◽  
Fuzzy Controller ◽  
Simulation Analysis ◽  
Control Unit ◽  
Real Time Control ◽  
Embedded Processor ◽  
Feed Forward ◽  
Time Control ◽  
Software And Hardware

Taking embedded processor as the core control unit, the paper designs the fan monitoring system software and hardware to achieve the fan working condition detection and real-time control. For the control algorithm, the paper analyzes the fuzzy control system theory and composition, and then combined with tunnel ventilation particularity, introduce feed-forward model to predict the incremental acquisition of pollutants to reduce lag, combined with the system feedback value and the set value, by calculate of two independent computing fuzzy controller, and ultimately determine the number of units increase or decrease in the tunnel jet fans start and stop. Through simulation analysis, the introduction of a feed-forward signal, it can more effectively improve the capability of the system impact of interference.

The use of UML and Petri net for graphic specification of the reconfigurable logic controllers

2018 ◽  
Author(s):  
Grzegorz Bazydło ◽  
Marcin Wojnakowski ◽  
Remigiusz Wiśniewski
Keyword(s):  
Petri Net ◽  
Reconfigurable Logic ◽  
Logic Controllers

scholarly journals The use of ‘PICO for synthesis’ and methods for synthesis without meta-analysis: protocol for a survey of current practice in systematic reviews of health interventions

F1000Research ◽  
2021 ◽  
Vol 9 ◽  
pp. 678
Author(s):  
Miranda S. Cumpston ◽  
Joanne E. McKenzie ◽  
James Thomas ◽  
Sue E. Brennan
Keyword(s):  
Health Systems ◽  
Systematic Reviews ◽  
Current Practice ◽  
Meta Analysis ◽  
Visual Display ◽  
Health Interventions ◽  
Synthesis Process ◽  
Future Research ◽  
Synthesis Methods ◽  
Definition Of

Introduction: Systematic reviews involve synthesis of research to inform decision making by clinicians, consumers, policy makers and researchers. While guidance for synthesis often focuses on meta-analysis, synthesis begins with specifying the ’PICO for each synthesis’ (i.e. the criteria for deciding which populations, interventions, comparators and outcomes are eligible for each analysis). Synthesis may also involve the use of statistical methods other than meta-analysis (e.g. vote counting based on the direction of effect, presenting the range of effects, combining P values) augmented by visual display, tables and text-based summaries. This study examines these two aspects of synthesis. Objectives: To identify and describe current practice in systematic reviews of health interventions in relation to: (i) approaches to grouping and definition of PICO characteristics for synthesis; and (ii) methods of summary and synthesis when meta-analysis is not used. Methods: We will randomly sample 100 systematic reviews of the quantitative effects of public health and health systems interventions published in 2018 and indexed in the Health Evidence and Health Systems Evidence databases. Two authors will independently screen citations for eligibility. Two authors will confirm eligibility based on full text, then extract data for 20% of reviews on the specification and use of PICO for synthesis, and the presentation and synthesis methods used (e.g. statistical synthesis methods, tabulation, visual displays, structured summary). The remaining reviews will be confirmed as eligible and data extracted by a single author. We will use descriptive statistics to summarise the specification of methods and their use in practice. We will compare how clearly the PICO for synthesis is specified in reviews that primarily use meta-analysis and those that do not. Conclusion: This study will provide an understanding of current practice in two important aspects of the synthesis process, enabling future research to test the feasibility and impact of different approaches.

Synthesis of planar kinematic chains with prismatic pairs based on a similarity recognition algorithm

2021 ◽  
pp. 1-13
Author(s):  
Rongjiang Cui ◽  
Zhizheng Ye ◽  
Shifu Xu ◽  
Chuan-yu Wu ◽  
Liang Sun
Keyword(s):  
Recognition Algorithm ◽  
Synthesis Process ◽  
Synthesis Methods ◽  
Structural Synthesis ◽  
Kinematic Chains

Abstract The structural synthesis of planar kinematic chains (KCs) with prismatic pairs (P-pairs) is the basis of innovating mechanisms containing P-pairs. In literature, only a little research has been carried out to synthesize planar KCs with P-pairs. Moreover, these synthesis methods for KCs with P-pairs involve all possible combinations of edges, resulting in a large number of isomorphic KCs and a low synthesis efficiency. In this study, our previous similarity recognition algorithm is improved and applied to synthesize planar KCs with P-pairs. Only a small number of isomorphic KCs are generated in the synthesis process, and the synthesis efficiency is greatly enhanced. Our method is applied to synthesize 9-link 2-DOF, 10-link 1-DOF, and 11-link 2-DOF KCs with one and two P-pairs. Our synthesis results are consistent with those of the existing literature. The present work is helpful to design mechanisms with P-pairs and can be extended to mechanisms with other types of kinematic pairs.

Synthesis of Linkages to Generate Specified Histories of Forces and Torques: The Planar 4R Four-Bar Mechanism

1987 ◽  
Author(s):  
C. Bagci
Keyword(s):  
Return Time ◽  
Synthesis Process ◽  
Synthesis Methods ◽  
Multiplication Factor ◽  
Optimum Synthesis ◽  
Torque Generation ◽  
Gear Drives ◽  
Position Synthesis ◽  
Internal Gear ◽  
Generation Problem

Abstract Analytical precision position and optimum synthesis methods for linkages to generate specified force and torque histories are presented and applied to the planar four-bar mechanism. Mechanical advantage method (MAM) and integration of power equilibrium method (IPEM) are used to develop design equations. MAM yields design equations to use when the torque multiplication factor is defined at discrete number of design positions, as well as in continuous forms. IPEM requires continuous forms, but it reduces the torque generation problem into a function generation problem. Design equations with one, two, three, and four unknowns are developed for precision position synthesis; and they are used to formulate optimum synthesis process using many design positions that requires no iteration. Generation of infinite torque multiplication factor and synthesis of quick-return four-bar mechanism to generate specified advance-to-return time ratio are also considered. The synthesized four-bar mechanisms replace circular and non-circular external and internal gear drives. Several industrial application examples are included. The second part of the article considers the slider-crank mechanism.

Sign in / Sign up

Export Citation Format

Share Document