检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

基于真值表变换的可逆逻辑综合算法

东南大学学报（自然科学版） 2010年第1期40卷 58-63页

作者：安博陈汉武杨忠明王冬李志强东南大学计算机科学与工程学院南京210096 河南大学计算中心开封415002 扬州大学信息工程学院扬州225009

为实现将给定的二元可逆函数快速综合为相应电路,并保持其结果的最优或较优,提出一种基于真值表变换的快速综合算法.可逆函数与置换同构,任意置换均可表示为若干对换的乘积,通过将可逆函数转化为一系列对换的乘积,从对换的乘积中综合电... 详细信息

为实现将给定的二元可逆函数快速综合为相应电路,并保持其结果的最优或较优,提出一种基于真值表变换的快速综合算法.可逆函数与置换同构,任意置换均可表示为若干对换的乘积,通过将可逆函数转化为一系列对换的乘积,从对换的乘积中综合电路.对于3bit逻辑电路只有28种对换,事先将28种对换的最优电路存入库中生成3bit电路综合基,通过在库中查找快速生成可逆电路.根据逻辑门可交换规则引入优化方法,完成快速综合算法.结果表明,该方法不但可以提高可逆逻辑综合的效率,而且结构简单,易于实现,可以O(4n)的时间效率快速综合任意3bit可逆逻辑电路,实现综合结果达到或接近最优.

关键词：可逆逻辑综合真值表对换规则优化

没有真值的真值表:维特根斯坦《逻辑哲学论》4.27与4.42

在线全文

学校读者我要写书评

暂无评论

世界哲学 2022年第5期 153-159页

作者： [德]T.罗尔夏素敏(译) 洛林大学南锡一大中国社会科学院大学中国社会科学院哲学研究所

维特根斯坦的《逻辑哲学论》运用了真值表作为逻辑图示方法。但不同于弗雷格等逻辑学家,维特根斯坦并没有把“真”和“假”当作独立的对象。这一哲学主张也体现在他给出的公式中,特别是在4.27和4.42里,出现了几个相当复杂的公式,分别等... 详细信息

维特根斯坦的《逻辑哲学论》运用了真值表作为逻辑图示方法。但不同于弗雷格等逻辑学家,维特根斯坦并没有把“真”和“假”当作独立的对象。这一哲学主张也体现在他给出的公式中,特别是在4.27和4.42里,出现了几个相当复杂的公式,分别等值于2~n和2,这几个公式与维特根斯坦关于真值、逻辑联结词、重言式以及矛盾的思考方式相辅相成。本文通过阐述这些公式与哲学思想的关系,进一步表明维特根斯坦能够彻底去掉真值,构建没有真值的真值表。在这个意义上,可以证明对真值的提及确实可以用事实的存在与否来取代。

关键词：真值真值表逻辑哲学论

在线全文

学校读者我要写书评

暂无评论

基于真值表的函数自动生成的神经网络模型

高技术通讯 2024年第3期34卷 265-274页

作者：贺文凯支天胡杏张曦珊张蕊杜子东郭崎中国科学院计算技术研究所处理器芯片全国重点实验室北京100190 中国科学院大学北京100049 中科寒武纪科技股份有限公司北京100191

作为目前最常见的程序综合问题,示例编程通过用户提供的输入/输出示例生成程序,为编程能力不足的开发者提供了便利。近年来,示例编程已经被应用于Microsoft Office Excel办公软件的自动编程,以及勘探、测井、航空航天等领域。鉴于目前... 详细信息

作为目前最常见的程序综合问题,示例编程通过用户提供的输入/输出示例生成程序,为编程能力不足的开发者提供了便利。近年来,示例编程已经被应用于Microsoft Office Excel办公软件的自动编程,以及勘探、测井、航空航天等领域。鉴于目前示例编程鲜有关于二进制流的研究,本文针对基于真值表函数自动生成问题具有函数表达式的语法符号序列中各语法符号的关系与它们的距离大小无关、函数表达式的生成语义规则与布尔向量函数采样的结果长度无关的特点,设计了一种神经网络模型和算法,在程序综合、功能等价和序列匹配的指标上分别取得了70.56%、64.66%、0.6355的结果,分别优于现有最先进的程序综合模型55.07%、49.70%、0.5690。

关键词：真值表神经网络序列模型示例编程程序综合

在线全文

学校读者我要写书评

暂无评论

运用真值表知识快解公务员考试逻辑判断试题

东南大学学报（哲学社会科学版） 2010年第S1期12卷 187-190页

作者：周喆常州日报社江苏常州213002

公务员考试笔试科目"行政职业能力测验"(简称AAT)逻辑判断部分着重于考查应试者的逻辑思维能力,有相当一部分应试者无法在规定时间内完成此类试题。问题出在:应试者对逻辑判断类题目看不懂,因而不知如何采取相应的解题方法和技巧。为此... 详细信息

公务员考试笔试科目"行政职业能力测验"(简称AAT)逻辑判断部分着重于考查应试者的逻辑思维能力,有相当一部分应试者无法在规定时间内完成此类试题。问题出在:应试者对逻辑判断类题目看不懂,因而不知如何采取相应的解题方法和技巧。为此,本文阐述的数理逻辑中的真值表知识可以快速有效地帮助应试者分辨和解答此类试题,从而提高应试者的思维效率。

关键词：真值表公务员考试逻辑判断

在线全文

学校读者我要写书评

暂无评论

复杂多项式计算的互补编码真值表查询

中国激光 1991年第1期18卷 63-67页

作者：陈历学袁石夫钱守仁段树山哈尔滨工业大学应用物理系 150006

本文讨论了复杂多项式计算,提出了一种实现真值表查询的光学新方法。采用光强的互补编码,利用体全息关联特性,构造了一种内容寻址的、基于与非操作的光学全息真值表查询系统。给出的实验研究结果证明该系统是可行的。

关键词：光计算机真值表查询编码计算

更改条件/判定覆盖最小真值表生成算法及其应用

在线全文

学校读者我要写书评

暂无评论

上海理工大学学报 2007年第1期29卷 84-88页

作者：朱晓波杨伟民叶芯上海理工大学计算机工程学院上海200093

研究了从一个布尔表达式生成最小真值表的算法,阐述了在覆盖测试工具中利用此算法辅助设计测试用例的应用问题,以此提高代码覆盖率.

关键词：结构测试更改判定/条件覆盖真值表 Pileatus工具

关于在模态判断及其推理教学中运用真值表方法的设想

在线全文

学校读者我要写书评

暂无评论

南昌大学学报（人文社会科学版） 1995年第4期26卷 82-86页

作者：丁德良中共抚州地委党校政治经济学教研室

在引入可能世界理论的基础上，文章设想通过构造关于模态判断的真值表，刻划出必然Ｐ、必然非Ｐ、可能Ｐ、可能非Ｐ和偶然ｐ的真值，来分析、揭示这几类模态判断的逻辑性质，以利找出对当模态推理、根据“实然”与“必然”、“可能”的... 详细信息

在引入可能世界理论的基础上，文章设想通过构造关于模态判断的真值表，刻划出必然Ｐ、必然非Ｐ、可能Ｐ、可能非Ｐ和偶然ｐ的真值，来分析、揭示这几类模态判断的逻辑性质，以利找出对当模态推理、根据“实然”与“必然”、“可能”的关系而进行的推理和根据“偶然“与“必然”、“可能”的关系而进行的推理中的有效形式；在进一步将真值表改造后，用以刻划各类复合模态判断的真值和判定各类复合模态推理的正确与否。

关键词：模态判断模态推理可能世界真值表

在线全文

学校读者我要写书评

暂无评论

法称关于命题真值表的理论探索

世界哲学 2007年第4期 33-37页

作者：张忠义燕山大学逻辑与认知科学研究所

学术界多认为最早的命题真值表是由皮尔士提出的,然而,我们认为,三大逻辑都有自己独特的命题真值表,最早的命题真值表的雏形是法称的逻辑理论。本文试图找出东西方最早的真值表理论,而且重点对法称的逻辑思想进行阐述。我们认为,法称确... 详细信息

学术界多认为最早的命题真值表是由皮尔士提出的,然而,我们认为,三大逻辑都有自己独特的命题真值表,最早的命题真值表的雏形是法称的逻辑理论。本文试图找出东西方最早的真值表理论,而且重点对法称的逻辑思想进行阐述。我们认为,法称确立了因宗的不相离关系,使因明具有了演绎论证性,这是他建立真值表的理论基础。因明中的术语有无、真伪、真似的探讨,都与现在所说的矛盾关系,即现在通用的真假值有相通之处。而且,因明的同品、异品是判断,法称对于同、异品的理解恰好符合命题间的组合关系,这与皮尔士的命题真值表相应相称。此外,通过因明的“说因宗所随”与皮尔士的假言与推理转换理论的比较,我们进一步得出结论,关于真值表的最早研究者是法称。

关键词：法称真值表同品异品

在线全文

学校读者我要写书评

暂无评论

命题公式真值表的生成算法

计算机工程与科学 2008年第1期30卷 86-87,96页

作者：徐凤生李天志德州学院计算机系山东德州253023

真值表是命题逻辑理论中的一个重要概念,利用它可以求命题公式的主范式、判定命题公式的类型以及进行命题逻辑的推理等。本文给出了任意命题公式真值表的生成算法,为利用计算机解决命题逻辑中的其它问题奠定了基础。

关键词：命题公式真值表算法栈