Logic

逻辑
  • 文章类型: Journal Article
    最近,量子元胞自动机(QCA)技术已经有了很多研究,因为它保证了低功耗,低复杂度,低延迟,和紧凑的空间。同时,近似算法,一种新的计算模式,简化了计算过程,并以低功耗的形式出现,算法电路的高性能设计方法。此外,XOR门已广泛用于数字设计,并且是可以在许多即将到来的技术中使用的基本构建块。全加器(FA)电路是QCA技术的关键组件,用于算术逻辑运算,包括减法,乘法,和分裂。对近似FA的设计进行了大量的研究,全减法器(FS),全加法器/减法器(FA/S),和基于XOR逻辑的4位纹波进位加法器(RCA),将它们作为创建基于QCA的算术电路的必要组件。本研究提出了三种新的有效的基于QCA的电路,基于XOR逻辑:近似FA,近似FS,近似FA/S,和近似4位纹波进位加法器(RCA)。有趣的是,有些设计的一侧有输入,另一侧有输出,使其更容易到达的组件,而不会被其他细胞包围,并导致更有效的电路设计。特别是,0.5个时钟相位的延迟,0.01μm2的面积,并且在近似FA和减法器设计中实现仅利用11个单元。同样,估计的FA/S设计显示0.5时钟相位延迟,0.01μm2面积,和用于实现的12个单元格。提出了使用64个QCA单元的近似4位RCA。这些设计的有效性通过QCADesigner程序的功能验证进行评估。根据仿真结果,这些提出的解决方案不仅功能良好,而且在速度和空间方面明显优于以前的想法。拟议的FA,FS,RCA设计比以前的最佳设计高出21%,21%,43%,分别,在细胞计数方面。
    Recently, there has been a lot of research in Quantum Cellular Automata (QCA) technology because it promises low power consumption, low complexity, low latency, and compact space. Simultaneously, approximate arithmetic, a new paradigm in computing, streamlines the computational process and emerges as a low-power, high-performance design approach for arithmetic circuits. Furthermore, the XOR gate has been widely used in digital design and is a basic building block that can be used in many upcoming technologies. The full adder (FA) circuit is a key component of QCA technology and is utilized in arithmetic logic operations including subtraction, multiplication, and division. A great deal of research has been done on the design of approximate FA, full subtractor (FS), full adder/subtractor (FA/S), and 4-bit ripple carry adder (RCA) based on XOR logic, establishing them as essential components in the creation of QCA-based arithmetic circuits. This study presents three new and effective QCA-based circuits, based on XOR logic: an approximate FA, an approximate FS, an approximate FA/S, and an approximate 4-bit ripple carry adder (RCA). Interestingly, some designs have inputs on one side and outputs on the other, making it easier to reach the components without being encircled by other cells and leading to a more effective circuit design. In particular, a delay of 0.5 clock phases, an area of 0.01 μm2, and implementation utilizing just 11 cells was accomplished in the approximate FA and subtractor designs. In a similar vein, the estimated FA/S designs showed 0.5 clock phase delay, 0.01 μm2 area, and 12 cells used for implementation. An approximate 4-bit RCA is proposed using 64 QCA cells. The effectiveness of these designs is evaluated through functional verification with the QCADesigner program. According to simulation results, these proposed solutions not only function well but significantly outperform previous ideas in terms of speed and space. The proposed FA, FS, and RCA designs surpassed the previous best designs by 21%, 21%, and 43%, respectively, in terms of cell count.
    导出

    更多引用

    收藏

    翻译标题摘要

    我要上传

       PDF(Pubmed)

  • 文章类型: Journal Article
    推理是智能系统的关键能力。大型语言模型(LM)在抽象推理任务上实现了高于偶然的性能,但表现出许多缺陷。然而,人类的抽象推理也是不完善的。人类的推理受到我们现实世界的知识和信念的影响,并显示值得注意的“内容效果”;当问题的语义内容支持正确的逻辑推断时,人类推理更可靠。这些内容纠缠的推理模式是关于人类智力基本性质的辩论的核心。这里,我们研究语言模型-其先前的期望捕获人类知识的某些方面-是否类似地将内容混合到他们对逻辑问题的答案中。我们在三个逻辑推理任务中探索了这个问题:自然语言推理,判断三段论的逻辑有效性,和Wason选择任务。我们评估最先进的LMs,和人类一样,并发现LMs在这些任务上反映了许多相同的定性人类模式,例如人类,当任务的语义内容支持逻辑推断时,模型会更准确地回答。这些相似之处反映在准确性模式中,以及一些较低级别的特征,例如LM对可能答案的置信度与人类响应时间之间的关系。然而,在某些情况下,人类和模型的行为不同,特别是在Wason任务上,人类的表现比大型模型差得多,并表现出明显的错误模式。我们的发现对理解这些人类认知效应的可能贡献者有意义,以及影响语言模型性能的因素。
    reasoning is a key ability for an intelligent system. Large language models (LMs) achieve above-chance performance on abstract reasoning tasks but exhibit many imperfections. However, human abstract reasoning is also imperfect. Human reasoning is affected by our real-world knowledge and beliefs, and shows notable \"content effects\"; humans reason more reliably when the semantic content of a problem supports the correct logical inferences. These content-entangled reasoning patterns are central to debates about the fundamental nature of human intelligence. Here, we investigate whether language models-whose prior expectations capture some aspects of human knowledge-similarly mix content into their answers to logic problems. We explored this question across three logical reasoning tasks: natural language inference, judging the logical validity of syllogisms, and the Wason selection task. We evaluate state of the art LMs, as well as humans, and find that the LMs reflect many of the same qualitative human patterns on these tasks-like humans, models answer more accurately when the semantic content of a task supports the logical inferences. These parallels are reflected in accuracy patterns, and in some lower-level features like the relationship between LM confidence over possible answers and human response times. However, in some cases the humans and models behave differently-particularly on the Wason task, where humans perform much worse than large models, and exhibit a distinct error pattern. Our findings have implications for understanding possible contributors to these human cognitive effects, as well as the factors that influence language model performance.
    导出

    更多引用

    收藏

    翻译标题摘要

    我要上传

       PDF(Pubmed)

  • 文章类型: Journal Article
    孩子们在成长过程中被学习的机会包围着(他们社区的语言,他们身体的运动,其他人的偏好和精神生活,游戏,社会规范,等。).这里,我们发现幼儿(N=36;年龄范围2.3-3.2岁)依赖于逻辑推理策略,析取推理(即,A或B,A被排除在外,因此,B),在各种情况下,在他们接受过任何正规的教育或有表达逻辑意义的词语的丰富经验之前。在学习新单词时,学习一个人的新事实,找到比赛的胜利者,幼儿在决定谁必须是赢家之前,系统地考虑和拒绝竞争对手。这表明,幼儿可能有一个通用的逻辑推理工具,他们可以在任何情况下使用。
    Children grow up surrounded by opportunities to learn (the language of their community, the movements of their body, other people\'s preferences and mental lives, games, social norms, etc.). Here, we find that toddlers (N = 36; age range 2.3-3.2 years) rely on a logical reasoning strategy, Disjunctive Inference (i.e., A OR B, A is ruled out, THEREFORE, B), across a variety of situations, all before they have any formal education or extensive experience with words for expressing logical meanings. In learning new words, learning new facts about a person, and finding the winner of a race, toddlers systematically consider and reject competitors before deciding who must be the winner. This suggests that toddlers may have a general-purpose logical reasoning tool that they can use in any situation.
    导出

    更多引用

    收藏

    翻译标题摘要

    我要上传

       PDF(Pubmed)

  • 文章类型: Journal Article
    分析过去二十年中国一票否决制度的演变特征和内在逻辑,在考虑改革和标准化时具有非常重要的意义。为了进行这种分析,利用Nvivo12软件对福建颁发的一票否决相关政策文本进行审查,湖北,和甘肃省。通过对关键词频率统计的比较分析,政策文本形式,和三个省的内容特点,人们发现,经过20年的发展,政府部门对一票否决制度的利用经历了根本变化。这些变化主要体现在对政策文本中一票否决的描述的完善,逐步减少一票否决的退出机制,扩大了一票否决的应用领域。
    Analyzing the evolutionary features and internal logic of the one-vote veto system in China over the past two decades is highly significant when considering reform and standardization. In order to conduct this analysis, the Nvivo 12 software was used to examine policy texts related to the one-vote veto issued by Fujian, Hubei, and Gansu provinces. Through a comparative analysis of keyword frequency statistics, policy text form, and content characteristics across the three provinces, it was discovered that governmental departments have experienced fundamental changes in their utilization of the one-vote veto system after 20 years of development. These changes are primarily seen in the refinement of the description of the one-vote veto in policy texts, the gradual reduction in the withdrawal mechanism of the one-vote veto, and an expanded application field for the one-vote veto.
    导出

    更多引用

    收藏

    翻译标题摘要

    我要上传

       PDF(Pubmed)

  • 文章类型: Journal Article
    CRISPR-Cas系统为广泛的应用提供了一种通用的RNA指导方法。由于RNA合成生物学的进步,引导RNA(gRNA)的工程化使得能够条件控制CRISPR-Cas系统。然而,实现CRISPR-Cas系统的精确调节以有效调节内部代谢过程仍然具有挑战性。在这项工作中,我们开发了一个强大的dCas9调控因子,该调控因子具有工程化的条件gRNA,以实现对内源基因的严格控制。我们在大肠杆菌中的条件gRNA可以通过与触发RNA的特异性相互作用来控制基因表达,其动态范围高达130倍,评估一个三输入逻辑A或(B和C)。条件gRNA介导的内源性代谢基因靶向,lacz,malt和poxB,通过代谢通量控制引起大肠杆菌生长的差异调节。Further,条件gRNAs可以调节必需的细胞骨架基因,ftsZ和mreB,控制细胞成丝和分裂。最后,三种类型的双输入逻辑门可以用于FTZ调节的条件控制,导致形态变化。基于可编程RNA相互作用的条件gRNA的成功操作和应用表明,我们的系统可以与其他Cas效应子兼容,并在其他宿主生物体中实施。
    The CRISPR-Cas system provides a versatile RNA-guided approach for a broad range of applications. Thanks to advances in RNA synthetic biology, the engineering of guide RNAs (gRNAs) has enabled the conditional control of the CRISPR-Cas system. However, achieving precise regulation of the CRISPR-Cas system for efficient modulation of internal metabolic processes remains challenging. In this work, we developed a robust dCas9 regulator with engineered conditional gRNAs to enable tight control of endogenous genes. Our conditional gRNAs in Escherichia coli can control gene expression upon specific interaction with trigger RNAs with a dynamic range as high as 130-fold, evaluating up to a three-input logic A OR (B AND C). The conditional gRNA-mediated targeting of endogenous metabolic genes, lacZ, malT and poxB, caused differential regulation of growth in Escherichia coli via metabolic flux control. Further, conditional gRNAs could regulate essential cytoskeleton genes, ftsZ and mreB, to control cell filamentation and division. Finally, three types of two-input logic gates could be applied for the conditional control of ftsZ regulation, resulting in morphological changes. The successful operation and application of conditional gRNAs based on programmable RNA interactions suggests that our system could be compatible with other Cas-effectors and implemented in other host organisms.
    导出

    更多引用

    收藏

    翻译标题摘要

    我要上传

       PDF(Pubmed)

  • 文章类型: Journal Article
    自旋电子学,利用电子的电荷和自旋,受益于非波动性,低开关能量,和集体磁化行为。这些特性允许磁阻随机存取存储器的发展,磁性隧道结(MTJ)起着核心作用。还广泛探索了各种自旋逻辑概念。其中,基于磁畴壁(DW)运动的自旋逻辑器件使得能够实现紧凑且节能的逻辑电路。在这些设备中,磁轨内的DW运动使自旋信息处理成为可能,而输入和输出的MTJ用作电子写入和读取元件。DW逻辑有望通过在单个器件内执行多个功能来简化逻辑电路复杂性。然而,仍需要演示具有纳米级电子写入和读取功能的DW逻辑电路,以揭示其实际应用潜力。在这次审查中,我们讨论了高速DW运动的材料进步,DW逻辑器件的进展,电流驱动的DW逻辑的开创性演示,及其实际应用的潜力。此外,我们讨论了无电流信息传播的替代方法,以及DW逻辑发展的挑战和前景。
    Spintronics, utilizing both the charge and spin of electrons, benefits from the nonvolatility, low switching energy, and collective behavior of magnetization. These properties allow the development of magnetoresistive random access memories, with magnetic tunnel junctions (MTJs) playing a central role. Various spin logic concepts are also extensively explored. Among these, spin logic devices based on the motion of magnetic domain walls (DWs) enable the implementation of compact and energy-efficient logic circuits. In these devices, DW motion within a magnetic track enables spin information processing, while MTJs at the input and output serve as electrical writing and reading elements. DW logic holds promise for simplifying logic circuit complexity by performing multiple functions within a single device. Nevertheless, the demonstration of DW logic circuits with electrical writing and reading at the nanoscale is still needed to unveil their practical application potential. In this review, we discuss material advancements for high-speed DW motion, progress in DW logic devices, groundbreaking demonstrations of current-driven DW logic, and its potential for practical applications. Additionally, we discuss alternative approaches for current-free information propagation, along with challenges and prospects for the development of DW logic.
    导出

    更多引用

    收藏

    翻译标题摘要

    我要上传

       PDF(Pubmed)

  • 文章类型: Journal Article
    暂无摘要。
    导出

    更多引用

    收藏

    翻译标题摘要

    我要上传

       PDF(Pubmed)

  • 文章类型: Journal Article
    背景:中国特色社会主义进入新阶段。社会主要矛盾是城乡发展不平衡。乡村振兴战略应运而生。乡村振兴的实现,不仅需要发展打基础,更需要治理引领农村发展。发展和治理是乡村振兴不可或缺的两个方面。然而,中国农村长期处于无治理的发展状态,这种情况必须改变。因此,系统探索发展与治理的关系是解决当前农村不足的关键。
    方法:根据统计年鉴的数据,构建了一套乡村发展治理与振兴的评价指标,并验证了模型的有效性。采用熵值法和评价模型计算农村发展综合得分,治理,和振兴。使用耦合协调模型分析了农村发展与治理之间的关系。运用回归分析模型探讨了农村发展耦合结果与农村发展的关系,治理,和乡村振兴。
    结果:从综合结果来看,发展和治理都呈上升趋势,但是向上的发展趋势更好。从发展与治理的耦合协调分析,C值处于良好状态,T值波动剧烈,D随着T的波动而波动,从乡村振兴的综合得分来看,它也显示出逐年上升的趋势。从耦合协调度与乡村振兴综合得分的回归分析结果来看,耦合协调度将显著影响乡村振兴评估值。
    结论:研究发现,当前农村发展与治理呈现螺旋耦合协调关系,耦合协调度与乡村振兴显著相关。根据研究结论,研究进一步提出了促进发展与治理耦合协调的三条路径。第一个是组织同构,构建了农村发展与治理耦合协调体系。二是倾斜资源,提高农村发展治理的衔接要素供给。三是优化农村发展与治理耦合协调路径的运行机制。
    BACKGROUND: Socialism with Chinese characteristics has entered a new stage. The principal social contradiction is the uneven development of urban and rural areas. The rural revitalization strategy has emerged as time has required. The realization of rural revitalization not only requires development to lay the foundation of the countryside but also requires governance to lead the development of the countryside. Development and governance are two indispensable aspects of rural revitalization. However, China\'s rural areas have long been in a state of development without governance, and this situation must change. Therefore, systematically exploring the relationship between development and governance is the key to solving the current shortcomings in rural areas.
    METHODS: Based on the data from the statistical yearbook, the study constructed a set of evaluation indicators for rural development governance and revitalization and verified the model\'s effectiveness.The entropy method and the assessment model were used to calculate the comprehensive score of rural development, governance, and revitalization. The relationship between rural development and governance was analyzed using a coupled coordination model. The regression analysis model was used to explore the relationship between the coupling results of rural development, governance, and rural revitalization.
    RESULTS: From the comprehensive results, both development and governance show an upward trend, but the upward trend of development is better. From the analysis of coupling coordination between development and governance, the C value is in good condition, the T value fluctuates wildly, and the D fluctuates with the fluctuation of T. Judging from the comprehensive score of rural revitalization, it also shows an upward trend year by year. Judging from the regression analysis results of coupling coordination degree and rural revitalization comprehensive score, coupling coordination degree will significantly impact the rural revitalization evaluation value.
    CONCLUSIONS: The study found that current rural development and governance present a spiral coupling coordination relationship, and the degree of coupling coordination significantly correlates with rural revitalization. Based on the research conclusions, the study further proposes three paths to promote the coupling and coordination of development and governance. The first is an organizational isomorphism, which builds a coupled coordination system for rural development and governance. The second is to tilt resources and improve the supply of connected and coordinated factors for rural development and governance. The third is the operating mechanism to optimize rural development and governance\'s coupling and coordination path.
    导出

    更多引用

    收藏

    翻译标题摘要

    我要上传

       PDF(Pubmed)

  • 文章类型: Journal Article
    信息,作为最难以捉摸的主题,是所有思想形式的核心,治理,经济结构,科学,和社会。信息监管,尤其是在医疗保健领域,在全球范围内被证明是一项艰巨的任务,鉴于缺乏定性框架和对信息(或数据)本身的概念和属性的理解。总体定性框架的介绍,包括对信息的定性分析,数据,和知识,将是有价值的,对划定监管有很大帮助,伦理,和战略轨迹。此外,这个框架提供了关于(1)数据隐私和保护的见解(和答案);(2)信息之间的划分,数据,和基于信任的重要概念的知识;(3)建立开放社会和制度的必要条件的结构化方法,保持这种开放性,基于卡尔·波普尔和乔治·威廉·弗里德里希·黑格尔的工作;(4)促进自治和自由并保护开放社会的积极代理方法;(5)基于弗里德里希·哈耶克的工作的数据治理机制,构建了当前的法律-道德-金融和社会社会。这对于有关权利和义务的范围的问题是有见地的,生物体和自由的程度,以及分布式网络系统中的关系结构。这个框架提供了巨大的价值;此外,它提供了关于学术文化的批判性见解和想法(并揭示了它们之间的相互作用),政治,科学,社会,和社会衰败。请注意,根据这份手稿中表达的想法,例如结合个人经验(从而弥补康德和笛卡尔差距),将使用第一人称视角,在相关的地方。
    Information, as the most elusive subject, is central to all forms of thought, governance, economic structure, science, and society. Regulation of information, especially within the healthcare field, is proving to be a difficult task globally, given the lack of a qualitative framework and understanding of the concept and properties of information (or data) itself. The presentation of the overall qualitative framework, comprising a qualitative analysis of information, data, and knowledge, will be valuable and of great assistance in delineating regulatory, ethical, and strategic trajectories. In addition, this framework provides insights (and answers) regarding (1) data privacy and protection; (2) delineations between information, data, and knowledge based on the important notion of trust; (3) a structured approach to establishing the necessary conditions for an open society and system, and the maintenance of said openness, based on the work of Karl Popper and Georg Wilhelm Friedrich Hegel; (4) an active agent approach that promotes autonomy and freedom and protects the open society; and (5) a data governance mechanism based on the work of Friedrich Hayek, which structures the current legal-ethical-financial and social society. This is insightful for questions relating to the extent of rights and duties, the extent of biological bodies and freedom, and the structure of relations in distributed networked systems. There is great value offered in this framework; furthermore, it provides critical insights and thoughts about (and uncovers the interplay between) academic culture, politics, science, society, and societal decay. Note that, in line with the ideas expressed in this manuscript, such as incorporation of personal experience (thereby mending the Kantian and Cartesian gap), a first-person perspective will be used, where relevant.
    导出

    更多引用

    收藏

    翻译标题摘要

    我要上传

       PDF(Pubmed)

  • 文章类型: Journal Article
    布尔网络为描述基因调控网络(GRN)的相互作用和动力学提供了一种有效的机制。得出GRN的准确布尔描述是一项具有挑战性的任务。实验的数量通常比基因的数量少得多。此外,二值化导致信息丢失,二值化时间序列数据出现不一致。仅从二值化时间序列数据推断布尔网络通常会导致复杂和过度拟合的模型。为了获得基因调控网络的相关布尔模型,推理方法可以在一般网络结构和/或精确交互方面结合来自多个来源的数据和先验知识。我们提出了布尔网络推理方法SAILoR(逻辑规则的结构感知推理)。SAILoR将时间序列基因表达数据与提供的参考网络相结合,以推断准确的布尔模型。SAILoR自动从参考网络中提取拓扑属性。这些可以描述GRN的更一般的结构,或者可以更精确地描述特定的相互作用。SAILoR通过从连续和二值化时间序列数据中学习来推断布尔网络。它在两个主要目标之间导航,与参考网络的拓扑相似性以及与基因表达数据的对应关系。通过结合NSGA-II多目标遗传算法,SAILoR依靠人群的智慧。我们的结果表明,SAILoR可以从静态和动态的角度推断GRN的准确且生物学相关的布尔描述。我们表明,与网络推理方法dynGENIE3相比,SAILoR提高了推断网络的静态准确性。此外,我们比较了SAILoR与其他布尔网络推断方法的性能,包括最佳拟合,REVEAL,MIBNI,GABNI,ATEN,和LogBTF。我们已经证明,通过结合有关整体网络结构的先验知识,SAILoR可以在保持动态准确性的同时提高推断布尔网络的结构正确性。为了证明SAILoR的适用性,我们推断了交配前后雌性果蝇的上下文特定的布尔子网络。
    Boolean networks provide an effective mechanism for describing interactions and dynamics of gene regulatory networks (GRNs). Deriving accurate Boolean descriptions of GRNs is a challenging task. The number of experiments is usually much smaller than the number of genes. In addition, binarization leads to a loss of information and inconsistencies arise in binarized time-series data. The inference of Boolean networks from binarized time-series data alone often leads to complex and overfitted models. To obtain relevant Boolean models of gene regulatory networks, inference methods could incorporate data from multiple sources and prior knowledge in terms of general network structure and/or exact interactions. We propose the Boolean network inference method SAILoR (Structure-Aware Inference of Logic Rules). SAILoR incorporates time-series gene expression data in combination with provided reference networks to infer accurate Boolean models. SAILoR automatically extracts topological properties from reference networks. These can describe a more general structure of the GRN or can be more precise and describe specific interactions. SAILoR infers a Boolean network by learning from both continuous and binarized time-series data. It navigates between two main objectives, topological similarity to reference networks and correspondence with gene expression data. By incorporating the NSGA-II multi-objective genetic algorithm, SAILoR relies on the wisdom of crowds. Our results indicate that SAILoR can infer accurate and biologically relevant Boolean descriptions of GRNs from both a static and a dynamic perspective. We show that SAILoR improves the static accuracy of the inferred network compared to the network inference method dynGENIE3. Furthermore, we compared the performance of SAILoR with other Boolean network inference approaches including Best-Fit, REVEAL, MIBNI, GABNI, ATEN, and LogBTF. We have shown that by incorporating prior knowledge about the overall network structure, SAILoR can improve the structural correctness of the inferred Boolean networks while maintaining dynamic accuracy. To demonstrate the applicability of SAILoR, we inferred context-specific Boolean subnetworks of female Drosophila melanogaster before and after mating.
    导出

    更多引用

    收藏

    翻译标题摘要

    我要上传

       PDF(Pubmed)

公众号