期刊文献+
共找到19篇文章
< 1 >
每页显示 20 50 100
一个用VBA编写的Quine
1
作者 蓝鹰 刘松 《电脑学习》 2009年第5期17-17,共1页
本文介绍了一个在word中用VBA编写的Quine。
关键词 quine VBA WORD 递归定理
在线阅读 下载PDF
Quine和自修复式程序生成算法研究与实现 被引量:1
2
作者 段川 蒋凡 《计算机工程与应用》 CSCD 北大核心 2004年第6期124-127,共4页
论文提出了一种基于不动点定理和Quine的建立自修复式程序的算法。首先证明了Quine的存在性和生成算法的正确性,并且针对C语言提出了变换任何程序代码为Quine化的算法。然后,给出了利用Quine化技术建立自修复式程序的方法,最后讨论了用Q... 论文提出了一种基于不动点定理和Quine的建立自修复式程序的算法。首先证明了Quine的存在性和生成算法的正确性,并且针对C语言提出了变换任何程序代码为Quine化的算法。然后,给出了利用Quine化技术建立自修复式程序的方法,最后讨论了用Quine化技术抑制软件病毒传播及其实用性。 展开更多
关键词 quine 不动点定理 自修复
在线阅读 下载PDF
Quine的理论评价学说 被引量:2
3
作者 曹秋华 《自然辩证法研究》 1986年第4期1-8,55,共9页
科学理论的比较与评价问题是科学哲学研究的一个重要问题,解决这一问题是说明科学知识的增长与进步的关键。Quine的理论评价学说批判了早期逻辑经验主义的一系列基本观点,并对当时占统治地位的逻辑主义的理论评价学说发起了最初的攻击。... 科学理论的比较与评价问题是科学哲学研究的一个重要问题,解决这一问题是说明科学知识的增长与进步的关键。Quine的理论评价学说批判了早期逻辑经验主义的一系列基本观点,并对当时占统治地位的逻辑主义的理论评价学说发起了最初的攻击。Quine的理论评价学说包含许多新奇的、有价值的思想,从根本上说,它与逻辑主义的理论评价学说不相容。在这个前提下,本文将Quine的理论评价学说与逻辑主义的理论评价学说进行了比较,着重探讨Quine理论评价学说的基本特征,尤其是其发生学的而非逻辑的证明论、自然化的而非第一哲学的认识论的基本内容,及其在科学哲学发展中的作用与地位。 展开更多
关键词 quine 理论评价 观察证据 观察句 科学理论 科学假说 简单性 逻辑经验主义 经验证据 温和性
在线阅读 下载PDF
面向可逆逻辑综合的Quine-McCluskey算法的改进和实现 被引量:1
4
作者 孙俊岭 杨欢 赵曙光 《科技信息》 2013年第14期68-68,76,共2页
本文为满足可逆逻辑综合的需要,对Quine-McCluskey算法进行了改进和实现。通过分析常规的"积之和"表达式和便于可逆逻辑门实现的"积之异或和"表达式之间的差异与联系,推导出了它们之间相互转换的方法和规则,在此基... 本文为满足可逆逻辑综合的需要,对Quine-McCluskey算法进行了改进和实现。通过分析常规的"积之和"表达式和便于可逆逻辑门实现的"积之异或和"表达式之间的差异与联系,推导出了它们之间相互转换的方法和规则,在此基础上讨论和总结了将Quine-McCluskey算法改进并移植用于可逆逻辑综合的思路和要点。通过理论推导和实例分析验证了该移植法应用于可逆逻辑综合的有效性。 展开更多
关键词 quine—McCluskey算法 可逆 逻辑综合
在线阅读 下载PDF
对Quine本体论承诺标准的几点质疑
5
作者 徐敏 张志林 《中山大学研究生学刊(社会科学版)》 2004年第1期1-5,共5页
本文针对Quine本体论承诺标准提出三个问题:是否如Quine所说,专名可以等值分析为摹状词,约束变元的使用是进入本体论承诺的唯一标准,QOCC的语境是外延的。对此作者给出了否定的答案,并分别进行了论证。
关键词 quine 本体论承诺标准 摹状词 约束变元 QOCC 语境 外延
在线阅读 下载PDF
Identity Theory in the Perspective of Quine' s Ontological Commitment
6
作者 ZHANG Yanjing WANG Jianjiang 《International English Education Research》 2019年第1期46-50,共5页
As a significant concept in the field of philosophy of logic, identity plays a key role in Quine's Ontological Commitment Theory. Quine uses the quantitative method of predicate logic to study the ontological prob... As a significant concept in the field of philosophy of logic, identity plays a key role in Quine's Ontological Commitment Theory. Quine uses the quantitative method of predicate logic to study the ontological problem, and puts forward the ontological commitment standard that "To be is to be the value of a variable". The bound variable becomes the only device that undertakes the ontological commitment ftinction. The value of the bound variable is the entity of the ontological commitment made by the theory in which it is based. However, Quine argues, not all objects can be the values of the bound variable and thus the entities that the theory promises to exist. Quine takes the concept of identity as a necessary condition of ontological commitment, that is,"no identity, no entity". In Quine's view, the concept of identity refers to the identity between extended objects, rather than the identity between connotative objects and possible objects. As the core concept of Ontological Commitment Theory, the concept of identity has a profound influence on Quine's philosophy. 展开更多
关键词 quine IDENTITY BOUND VARIABLE ONTOLOGICAL COMMITMENT
在线阅读 下载PDF
Quine on Quantification and Existence
7
作者 Tom Stoneham 《Frontiers of Philosophy in China》 2016年第1期54-72,共19页
Quine's justly famous paper "On What There Is" introduced a criterion of ontological commitment which has been almost universally accepted by analytic philosophers ever since. In this paper 1 try to unpack some of ... Quine's justly famous paper "On What There Is" introduced a criterion of ontological commitment which has been almost universally accepted by analytic philosophers ever since. In this paper 1 try to unpack some of the substantive and controversial philosophical commitments that are presupposed by this criterion. The aim is not to show that the criterion is incorrect, but merely that it is not as obvious as it is taken to be by many, and that we might have reasons to explore alternative ways of thinking about ontological commitments. 展开更多
关键词 DETERMINACY EXISTENCE IDENTITY LOGIC METAPHYSICS ontology quantification quine
原文传递
翻译不确定性论题解析
8
作者 彭利元 《外语与翻译》 2015年第4期25-32,共8页
Quine的翻译不确定性论题提出五十多年来,一直还是个争论不休的话题。回到论题提出的初衷和本意有助于更加清晰地了解把握该论题的本质及其哲学含义。本文从Quine提出该论题的初衷入手,从刺激条件与意义偏差的关系、论题的三层含义、论... Quine的翻译不确定性论题提出五十多年来,一直还是个争论不休的话题。回到论题提出的初衷和本意有助于更加清晰地了解把握该论题的本质及其哲学含义。本文从Quine提出该论题的初衷入手,从刺激条件与意义偏差的关系、论题的三层含义、论题引出的三大问题、原始翻译相比于现代翻译所具有的更强哲学意味四个方面,深入分析该论题的内在逻辑及其哲学蕴涵,对每个层面Quine所持的模糊认识也逐一揭示,以促进学界对论题的深入思考和讨论。 展开更多
关键词 翻译不确定性 quine 言语行为 刺激条件 等值 原始翻译
在线阅读 下载PDF
Top ten tips for perfect corona-2 prophylaxis
9
作者 Ahmad Abul-Ainine Ali A Sadek 《World Journal of Clinical Infectious Diseases》 2020年第4期55-57,共3页
The current corona-2 pandemic has stimulated wide research for hydroxychloroquine(Quine)therapy and lately,prophylaxis.To optimize prophylaxis proper methods of use are explained.The focus is on tools of assessment an... The current corona-2 pandemic has stimulated wide research for hydroxychloroquine(Quine)therapy and lately,prophylaxis.To optimize prophylaxis proper methods of use are explained.The focus is on tools of assessment and robust comparison;defining infection objectively;loading and maintenance dose designing based on pharmaco-viro-kinetics;confirming Quine threshold-levels and its sufficiency;and Quine side-effects vigilance/amelioration.Attention to statistics to study valid endpoints of goals in appropriately-sized population is essential.Mass interactive quine dose auto designer software is built to simplify,optimize and help collaboration of complex Quine dosing system.A similar chloroquine software can be built. 展开更多
关键词 Corona-2 COVID-19 HYDROXYCHLOROquine PROPHYLAXIS DOSE Mass interactive quine dose auto designer
在线阅读 下载PDF
地物空间关系匹配的高分辨率遥感影像检索 被引量:4
10
作者 陈杰 邵权斌 +2 位作者 邓敏 梅小明 侯佳良 《遥感学报》 EI CSCD 北大核心 2016年第3期397-408,共12页
从低层视觉特征与地物空间关系特征对影像内容进行描述,建立检索模板与目标影像间的相似性直方图表达,提出一种适用于高分辨率遥感影像检索的新方法。首先,利用Quin+树将大幅面原始遥感影像分解为一系列同尺寸的序列子块;然后,分别提取... 从低层视觉特征与地物空间关系特征对影像内容进行描述,建立检索模板与目标影像间的相似性直方图表达,提出一种适用于高分辨率遥感影像检索的新方法。首先,利用Quin+树将大幅面原始遥感影像分解为一系列同尺寸的序列子块;然后,分别提取各子块的低层视觉特征与地物关系特征,并以子块为基元构建候选子块的特征直方图;最后,对比检索模板与候选子块间的特征直方图相似性,实现高分辨率遥感影像的检索。使用多幅多源高分辨率遥感影像进行实验,结果表明本文方法对耕地、水系、建筑物等地类的检索精度大都维持在0.8以上,且各项检索性能指标均优于已有的两种遥感图像检索算法。 展开更多
关键词 遥感影像检索 Quin+树 空间伴生关系 空间方位关系 直方图匹配
原文传递
赛庚啶对大鼠脑突触体Ca^(2+)水平和Ca^(2+)·Mg^(2+)-ATP酶活性的影响
11
作者 袁成 王景祥 +1 位作者 于金萍 曾林 《解放军药学学报》 CAS 1998年第1期1-4,共4页
观察赛庚啶(Cyp)对大鼠脑突触体Ca^(2+)水平和Ca^(2+)·Mg^(2+)-ATP酶活性的影响,以探讨其对脑缺血再灌注损伤的保护作用机理。用Quin2/AM法测定,突触体静息游离Ca^(2+)浓度为88±16μmol·g^(-1)蛋白,1.0,2.5和5.0μmol... 观察赛庚啶(Cyp)对大鼠脑突触体Ca^(2+)水平和Ca^(2+)·Mg^(2+)-ATP酶活性的影响,以探讨其对脑缺血再灌注损伤的保护作用机理。用Quin2/AM法测定,突触体静息游离Ca^(2+)浓度为88±16μmol·g^(-1)蛋白,1.0,2.5和5.0μmol·L^(-1)的Cyp对其基本无影响。对高K^+所致突触体Ca^(2+)浓度升高有抑制作用但不显著,由185±45μmol·g^(-1)蛋白分别降至182±41、181±41、178±38μmol·g^(-1)蛋白;使突触体Ca^(2+)·Mg^(2+)-ATP酶活性由78±15mmol·h^(-1)·g^(-1)蛋白下降至74±12,70±11和65±8mmol·h^(-1)·g^(-1)蛋白。表明,Cyp是通过抑制Ca^(2+)内流和选择性抑制Ca^(2+)·Mg^(2+)-ATP酶活性,而稳定内质网和腺粒体内Ca^(2+)浓度,从而达到对脑缺血再灌注损伤的保护作用。 展开更多
关键词 赛庚啶 突触体 CA^(2+) Ca^(2+)·Mg^(2+)-ATP酶 Mg^(2+)-ATP酶 Quin2/Am
暂未订购
What Impact Does Indeterminacy of Translation Have on Actual Translation?
12
作者 苏子洲 《海外英语》 2017年第7期155-157,160,共4页
The past few decades has seen various efforts devoted to the discussion of Quine's famous argument of indeterminacy of trans-lation,which seems to suggest the improbability of an exclusively correct translation.Th... The past few decades has seen various efforts devoted to the discussion of Quine's famous argument of indeterminacy of trans-lation,which seems to suggest the improbability of an exclusively correct translation.This paper begins with a literature review of his fa-mous theory of translational indeterminacy,and then attempts to explore the different effects of the theory on actual translation,in thecourse of which we correct some common misunderstandings concerning the theory.We come to the conclusion that 1) Quine's insight-ful claim proves the variability of translation standard from an epistemological view,2) his claim underlies the controversial translatabili-ty between languages,and 3) his claim may counterbalance the struggle between literal translation and free translation. 展开更多
关键词 quine indeterminacy of translation ontological commitment TRANSLATABILITY
在线阅读 下载PDF
烟碱对豚鼠乳头状肌动作电位及收缩力的影响
13
作者 朱进霞 吴筱茵 高晓东 《河南医科大学学报》 1992年第4期305-307,共3页
观察了烟碱对豚鼠乳头状肌快反应电位(PAP)、氯化钡和异丙肾上腺素诱发的慢反应电位(SAP)及收缩力(FC)的影响。结果发现,烟碱可使FAP和SAP的时程(APD)及FC呈剂量依赖性增加,在有维拉帕米存在条件下,烟碱不再使异丙肾上腺素诱发的SAP的AP... 观察了烟碱对豚鼠乳头状肌快反应电位(PAP)、氯化钡和异丙肾上腺素诱发的慢反应电位(SAP)及收缩力(FC)的影响。结果发现,烟碱可使FAP和SAP的时程(APD)及FC呈剂量依赖性增加,在有维拉帕米存在条件下,烟碱不再使异丙肾上腺素诱发的SAP的APD延长。提示烟碱可加强心肌细胞的慢内向电流(Isi) 展开更多
关键词 烟碱 乳头状肌 心肌收缩力
暂未订购
The Analytic-Synthetic Distinction and the Social Sciences
14
作者 Jan-Erik Lane 《Journal of Philosophy Study》 2022年第10期540-543,共4页
The analytical-synthetic distinction keeps being of great interest.But why?Analytical sentences are camouflaged tautologies.They are not falsifiable,neither in this Kant’s world or in any of Leibniz’possible worlds.
关键词 analytic propositions quine stipulative definition “democracy” “polyarchy”
在线阅读 下载PDF
梯度浓度喹啉酸对豚鼠耳蜗螺旋神经节毒性的实验研究 被引量:1
15
作者 周祺 王正敏 《中国眼耳鼻喉科杂志》 2001年第1期4-7,12,共5页
目的明确喹啉酸(QUIN)对哺乳类动物耳蜗螺旋神经节的毒性作用特征,以评价其作为SOM导致SNHL毒性物质的可能性。方法通过光镜和电镜观察梯度浓度QUIN及序列时间对5组豚鼠耳蜗螺旋神经节的生物效应。结果发现:1.在QUIN作用下,耳蜗出现&qu... 目的明确喹啉酸(QUIN)对哺乳类动物耳蜗螺旋神经节的毒性作用特征,以评价其作为SOM导致SNHL毒性物质的可能性。方法通过光镜和电镜观察梯度浓度QUIN及序列时间对5组豚鼠耳蜗螺旋神经节的生物效应。结果发现:1.在QUIN作用下,耳蜗出现"神经兴奋毒性"的特征性病理改变;2.螺旋神经节细胞的破坏,在QUIN作用后24小时即出现,且神经元缺失数量随QUIN作用时间延长而增多;3.在一定QUIN浓度范围内,神经毒性表现为浓度依赖特征,并在达到10nmol/μl后,神经元损失进入"平台"期;4.QUIN对螺旋神经节细胞的损伤以变性坏死为主;5.豚鼠渗出性中耳炎的耳蜗病理改变与QUIN的神经毒性反应特征极为相似。结论 QUIN是渗出性中耳炎中耳积液中引起感音神经性耳聋极可能的毒性物质,依赖浓度和时间作用特征,通过变性和调亡两种方式,对耳蜗螺旋神经节造成渐进的神经兴奋毒性损害。 展开更多
关键词 QUIN 螺旋神经节 神经兴奋毒性
暂未订购
The Different Fluorescent Response of Quin 2 to the Binding of Ca^(2+) and La^(3+) and its Application 被引量:1
16
作者 JianHU XiaoDaYANG KuiWANG 《Chinese Chemical Letters》 SCIE CAS CSCD 2004年第10期1197-1200,共4页
The fluorescence spectra of Quin 2, (2-[(2-bis-[carboxymethyl] amino-5-methylphenoxy) methyl]-6-methoxy-8-bis [carboxymethyl] aminoquiniline), a Ca2+ probe, were investigated upon incubation with Ca2+ or La3+. The res... The fluorescence spectra of Quin 2, (2-[(2-bis-[carboxymethyl] amino-5-methylphenoxy) methyl]-6-methoxy-8-bis [carboxymethyl] aminoquiniline), a Ca2+ probe, were investigated upon incubation with Ca2+ or La3+. The results showed that binding of La3+ to Quin 2 resulted in different fluorescent spectrum from that of Ca2+. Based on this observation, a fluorescent method was developed for simultaneously determination of the dissociation rates of Ca2+ and La3+ from a Ca-La- calmodulin complex (Ca2La2CaM). 展开更多
关键词 Quin 2 fluorescence CA2+ La3+ calmodulin.
在线阅读 下载PDF
INFECTIOUS DISEASE
17
《China Medical Abstracts(Internal Medicine)》 2002年第3期133-136,共4页
关键词 promoter PLASMID AMPC EXPRESSING METAPLASIA Cloning quine FRONTAL retention inserted
原文传递
Quin2法测定人血小板胞浆游离钙浓度
18
作者 陆志强 王道生 +1 位作者 赵皓 裴林 《现代应用药学》 CSCD 1994年第2期4-6,共3页
应用荧光钙指示剂Quin2测定胞装游离钙浓度的方法,研究了在不同胞外游离钙浓度[Ca^(2+)]_0下人血小板场急状态时及由凝血四激活后的胞装游离钙浓度[Ca^(2+)]_1的变化.结果显示:凝血的可使负载Quin2的人血小板[Ca^(2+)]_1呈现浓度依赖性... 应用荧光钙指示剂Quin2测定胞装游离钙浓度的方法,研究了在不同胞外游离钙浓度[Ca^(2+)]_0下人血小板场急状态时及由凝血四激活后的胞装游离钙浓度[Ca^(2+)]_1的变化.结果显示:凝血的可使负载Quin2的人血小板[Ca^(2+)]_1呈现浓度依赖性的短暂升高,且这种作用对[Ca^(2+)]_0有明显的依赖性。该项结果提示凝血酸引起的[Ca^(2+)]_1升高主要来源于外钙内流,部分为内钙释放所致. 展开更多
关键词 Quin2 血小板 凝血酶
原文传递
论数理逻辑的特征
19
作者 马兵 《哲学研究》 1979年第12期65-71,共7页
一、引言 逻辑是什么,这问题虽然是个老问题;但直到现在,逻辑研究者对这一问题的回答还是很不一致的。对逻辑的理解有分歧,因而对于数理逻辑的性质的理解也就有所不同。 皮尔斯(C·S·Peirce,1839—1914)早就指出,关于逻辑几乎... 一、引言 逻辑是什么,这问题虽然是个老问题;但直到现在,逻辑研究者对这一问题的回答还是很不一致的。对逻辑的理解有分歧,因而对于数理逻辑的性质的理解也就有所不同。 皮尔斯(C·S·Peirce,1839—1914)早就指出,关于逻辑几乎有过一百种定义。但就我们所知,最普遍的定义是把逻辑规定为关于推理的科学。例如,蒯英(W·V·Quine)说:“ 展开更多
关键词 数理逻辑 辩证逻辑 传统逻辑 自然语言 形式逻辑 逻辑研究 quine 逻辑学家 直言三段论 推论
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部