逻辑意义

摘要： 阿拉伯逻辑在形式逻辑史中的地位逐渐彰显,它不仅保存了古希腊逻辑,甚至从中发展出了自己的某些新理论。尽管早期阿拉伯逻辑学家正确坚持了逻辑研究的是意义而不是表达本身,而阿拉伯语只研究表达本身这一理念,但最终还是遭到阿拉伯语言学家的阻击归于失败。以阿尔法拉比为代表的第二代逻辑学家依然坚持这一核心理念,但对之进行了修正,提出阿拉伯语是掌握逻辑艺术的必要条件,希腊逻辑是为阿拉伯人服务的。基于这两种理念阿尔法拉比构造了阿拉伯逻辑,并进一步为哲学探索提供了必要前提。

摘要： 受语言、文化、专业差异限制,中医术语翻译多存在释义不明、译语冗长、译语混乱等问题,为此提出基于语篇衔接理论的中医术语翻译策略,可充分利用语篇衔接特点,使翻译后的中医术语仍有原本的含义和作用.翻译时应遵循认知原则和交际原则,建议通过利用词根、词缀、元音字母创造新词,优化解释性翻译,灵活运用音译翻译法等方式,提高翻译准确性及译后术语的简明性、规范性.

摘要： "是"在日常生活中的应用十分广泛,是人们进行沟通和表达的重要元素.针对"是"的不同意义和作用,哲学、语言学和逻辑学领域都分别进行了深入的研究和探讨.长期以来,学界关于"是"的意义和用法一直存在争论,借鉴亚里士多德的十范畴理论和内涵理论的思想,可以对词项之间的关系以及"是"在比喻中的逻辑意义有所明晰.首先,应当认识"是"与比喻句之间的关系;其次,要认识本体与喻体间的词项关系,"是"在主词和谓词之间的重要作用;其三,要认识"是"在比喻中的定义;其四,在研究"比喻"时,要引入"语言性事实"对"真"的符合论进行阐释,同时结合比喻的主观性对其是否满足逻辑规律进行辩护.

摘要： 就其作为一种理论言述的学理规范而言,解构主义主要是一种意义理论,德里达的反逻各斯中心主义思想为其典型范式,而解构主义的文学理论和批评,乃是这一独具特色的意义理论在文学研究领域的具体运用。以德·曼、布鲁姆、米勒为代表的耶鲁解构学派以及法国批评家罗兰·巴特的批评实践,均可视为对反逻各斯中心主义思想的体现和运用。解构主义的主要贡献在于其对文本修辞及其异质构成的高度敏感,但它过分纠缠于文本逻辑意义的解构,也暴露出其局限。

摘要： 在多模态语篇中,不同模态之间存在何种关系,众说纷纭.本文以一期《青年文摘》的文章为语料,以系统功能语法中的逻辑意义来分析文章配图与文章的关系.该研究的假设前提是:逻辑意义的理论框架可以运用于分析图文多模态语篇中的图与文之间的关系.通过分析发现,该期刊中图与文的基本逻辑关系为从属解释扩展型关系,辅之以从属加强扩展型和并列投射型关系.此研究同时证实了逻辑意义的理论用于分析图文类型多模态语篇的图文关系是可行的.

摘要： 郭店楚简《太一生水》中岀现的“生成”,和“太一”“神明”“岁”“青昏”一样,均为关键性的字眼,并且是判然有别的两个字眼。所谓“生”,着重于本体论,强调的是逻辑意义和逻辑在先;所谓“成”,着重于生成论,强调的是生理意义和时间在先。

摘要： 公共政策过程在协商民主的理念引导下，正经历着由“科学”向论辩的转变。政策论辩是语用论辩术在公共政策领域中的实际应用，长期以来对论辩的逻辑研究带有强烈的政治取向，历史已显示出论辩研究的社会文化功能。在政策论辩逐渐成为民主政治理想和日常政治现象之际，加强政策论辩的逻辑研究，一是提供了论辩语用的实际经验：二是促进了论辩理论、修辞学与谬误理论三者的关联，使作为整体的非形式逻辑概念日益清晰而深刻：三是可以构建民主、科学与逻辑之间的内在关联，拓展逻辑的社会文化功能，在政策论辩的意义上，延续理性政治的传统。

摘要： 一种具有逻辑阵列块(LAB)互连线的可编程逻辑器件(PLD)，所述LAB互连线跨越该阵列中的相邻LAB并且具有互连不同LAB中的两个逻辑单元的能力。该PLD包括以阵列排列的多个以及互连该阵列的LAB的多条LAB间线。每个所述LAB包括预定数量的逻辑元件，在所述LAB中的所述预定数量的逻辑元件之间分配的一个或更多个控制信号，和跨越该阵列中不同LAB内的逻辑元件之间的LAB线。在不同的实施例中，LAB线被排列成交错排列模式，其中这些线之间存在一预定间距。在其他实施例中，相邻LAB的控制信号可以重叠，以允许控制信号被路由到相邻LAB的逻辑元件。

摘要： 本发明的课题是提供一种可实现从微细化和功耗的观点可达到凌驾于现在的CMOS技术的性能且与使用了现有的时序电路的经典计算机的安装不矛盾的方式的逻辑电路的技术。解决方法是具备：在z方向上封闭了载流子的xy平面中具有二维电子气的第1传导构件(101a、101b)和第2传导构件(102a、102b)；生成给予对第1传导构件(101a、101b)的影响的电场的第3传导构件(103a、103b)；容易流过第1传导构件(101a、101b)与第2传导构件(102a、102b)之间的隧道电流的绝缘构件(104)；以及难以流过第1传导构件(101a、101b)与第3传导构件(103a、103b)之间的隧道电流的绝缘构件(105)，利用由对第3传导构件(103a、103b)给予的电位产生的电场对第1传导构件(101a、101b)的子能带给予影响。

摘要： 本申请涉及光学逻辑元件技术领域，特别涉及一种光电数字逻辑运算的光学逻辑元件及其逻辑运算方法，其中，该元件包括：驱动件，用于为光电集成件提供驱动，产生光电集成件能够识别的数字调制信息以及读取光电集成件输出的电信号；光电集成件，用于利用相干光信号搭载驱动件输入的数字调制信息，并在预设光学衍射神经网络中对相干光信号进行数字逻辑运算，得到运算结果，并将运算结果基于数字逻辑映射关系生成电信号，并利用驱动件读取电信号后输出运算结果。本申请实施例具有更高的单位能耗计算性能，可以重构、批量地设计不同的专用逻辑运算，运算规模大，调制速率高。

摘要： 一种以具有逻辑的辞句产生无意义密码的方法，其以长辞句作为输入种子，输入至伪随机函数从而产生密码。其中，辞句为从方便取得、或牢记于个人记忆中的字句中选择，稍加改变后作为输入种子。此外，伪随机函数以单向杂凑函数为基础。举例来说，可引用“白日依山尽黄河入海流欲穷千里目更上一层楼”为函数种子输入。此外，使用者可以作不同设定：如将“黄河”改成“长江”，或加入更改日期、登录主机名称等，从而加强函数种子难度。

摘要： 一种具有逻辑阵列块(LAB)互连线的可编程逻辑器件(PLD)，所述LAB互连线跨越该阵列中的相邻LAB并且具有互连不同LAB中的两个逻辑单元的能力。该PLD包括以阵列排列的多个以及互连该阵列的LAB的多条LAB间线。每个所述LAB包括预定数量的逻辑元件，在所述LAB中的所述预定数量的逻辑元件之间分配的一个或更多个控制信号，和跨越该阵列中不同LAB内的逻辑元件之间的LAB线。在不同的实施例中，LAB线被排列成交错排列模式，其中这些线之间存在一预定间距。在其他实施例中，相邻LAB的控制信号可以重叠，以允许控制信号被路由到相邻LAB的逻辑元件。

摘要： 本发明的课题是提供一种可实现从微细化和功耗的观点可达到凌驾于现在的CMOS技术的性能且与使用了现有的时序电路的经典计算机的安装不矛盾的方式的逻辑电路的技术。解决方法是具备：在z方向上封闭了载流子的xy平面中具有二维电子气的第1传导构件(101a、101b)和第2传导构件(102a、102b)；生成给予对第1传导构件(101a、101b)的影响的电场的第3传导构件(103a、103b)；容易流过第1传导构件(101a、101b)与第2传导构件(102a、102b)之间的隧道电流的绝缘构件(104)；以及难以流过第1传导构件(101a、101b)与第3传导构件(103a、103b)之间的隧道电流的绝缘构件(105)，利用由对第3传导构件(103a、103b)给予的电位产生的电场对第1传导构件(101a、101b)的子能带给予影响。

摘要： 本发明公开了量子与逻辑门、逆量子与逻辑门及逻辑运算线路生成方法，其中，上述量子与逻辑门根据以下步骤进行量子比特的与逻辑运算：获取两个输入量子比特；基于上述输入量子比特，通过预设的量子操作获取第一输出量子比特和第二输出量子比特，其中，上述第二输出量子比特用于保存两个上述输入量子比特的与逻辑运算结果，上述第一输出量子比特用于指示两个上述输入量子比特的量子态。与现有技术相比，本发明方案中提供的量子与逻辑门可以应用到量子计算场景下，实现量子比特的与逻辑运算，且可以实现运算结果可逆。有利于实现对量子比特进行快速简便的与逻辑运算操作，且有利于提升对量子比特进行运算的简便性和量子计算过程的效率。

摘要： 本申请涉及光学逻辑元件技术领域，特别涉及一种光电数字逻辑运算的光学逻辑元件及其逻辑运算方法，其中，该元件包括：驱动件，用于为光电集成件提供驱动，产生光电集成件能够识别的数字调制信息以及读取光电集成件输出的电信号；光电集成件，用于利用相干光信号搭载驱动件输入的数字调制信息，并在预设光学衍射神经网络中对相干光信号进行数字逻辑运算，得到运算结果，并将运算结果基于数字逻辑映射关系生成电信号，并利用驱动件读取电信号后输出运算结果。本申请实施例具有更高的单位能耗计算性能，可以重构、批量地设计不同的专用逻辑运算，运算规模大，调制速率高。

摘要： 提供高速并且高精度地对S型函数进行秘密计算的技术。秘密S型函数计算系统将g(x)设为能秘密计算的函数，根据输入值x的份额[[x]]计算对于输入值x的S型函数的值的份额[[σ'(x)]]，包括：第一比较单元，生成第一比较结果[[c]]＝less_than([[x]],t1)；第二比较单元，生成第二比较结果[[d]]＝greater_than([[x]],t0)；第一逻辑计算单元，生成第一逻辑计算结果[[e]]＝not([[c]])；第二逻辑计算单元，生成第二逻辑计算结果[[k]]＝and([[c]],[[d]])或者[[k]]＝mul([[c]],[[d]])；以及函数值计算单元，计算份额[[σ'(x)]]＝mul([[k]],[[g(x)]])+[[e]]。

摘要： 一种秘密S型函数计算系统，将mapσ设为由表示S型函数σ(x)的定义域的参数(a0,…,ak‑1)和表示值域的参数(σ(a0),…,σ(ak‑1))(a0,…,ak‑1为满足a0k‑1的实数)定义的秘密批量映射，所述秘密S型函数计算系统由3个以上的秘密S型函数计算装置构成，从输入向量x→的份额[[x→]]，计算对于输入向量x→的S型函数的值y→的份额[[y→]]，所述秘密S型函数计算系统包含通过[[y→]]＝mapσ([[x→]])＝([[σ(af(0))]],…,[[σ(af(m‑1))]])计算份额[[y→]]的秘密批量映射计算单元，其中，f(i)是成为aj≤xij+1的j，0≤i≤m‑1。