可计算性相关论文
二次约束二次规划问题及其锥重组问题具有相同的最优值，且其锥重组问题是一个非负二次函数锥规划问题，所以如何有效的求解非负二次函......
随着多核系统,云计算,物联网等技术的发展,分布式计算已经成为一种主流的计算模式,其计算理论（即计算能力和复杂度）也成为一项长期的......
麦当劳在效率上合理化的做法包括：流水线作业，简化产品，让顾客去工作。 论及企业运营过程中的合理化水平，以麦当劳为代表的快餐......
从集合论的角度看,广义数码艺术诞生于文化与科技融而未分之时,围绕数字编码构思,有数形艺术、数义艺术、数序艺术、数比艺术、数......
精确求解偏微分方程在工程设计和其他计算科学等研究领域有着重要的现实应用，精确计算某一偏微分方程特定形式的解对数学家而言是一......
精确求解偏微分方程在工程设计和其他计算科学等研究领域有着重要的现实应用，精确计算某一偏微分方程特定形式的解对数学家而言是一......
非线性发展方程的可计算性是近代数学的一个重要的研究领域,即非线性发展方程的计算机求解。是否所有的方程都可以在计算机上实现......
求解偏微分方程在自然科学和工程技术等领域有着重要的现实意义。但是到目前为止，如何求解偏微分方程仍是困扰我们的难题。随着计算......
语义计算（或意义计算）是自然语言处理和人工智能领域一个核心课题，该研究成果可以广泛应用到文本挖掘、信息搜索、机器翻译、人机交互......
一、财政监察的根本目标是实现民主政治下“公共财政”委托受托责任关系的对称和均衡历史地看,财政监察制度的建立是解决资源财产......
四、是否应该把非参数和半参数表示法强加进似然方法的框架中?rn但尼尔·贝努利[21]曾预言似然方法拥有渐进有效、对于大多数参数......
图灵将人工智能简化为具有形式逻辑、自动证明和计算能力的符号处理系统.但是人类智能与语言理解有关.文章提出一个可以在自然界和......
自然语言处理是人类在信息时代探索自我的必然，为此应将其看作为人类认识自我进程中的一个环节。本文结合其他学科，简要探讨了有关语......
研究一类Cauchy问题解算子的可计算问题,定义了从初值f,g到解u的一个非线性映射KR,在初值和非齐次项满足一定条件时,运用二型有效......
著名的丘奇(A.Church)命题指出,任何算法都可以用一个图灵机来描述.对自然数的四则运算给出了相应的图灵机.......
为了对配电网规划问题进行简化,首先针对配电网规划过程中的不确定性进行分析,研究了配电网规划决策中的可接受偏差和可计算性问题......
提出了四维时空中考虑时间因素的一个长方体装箱工作的优化调度问题．已知一个形状大小任意给定的长方体形的箱子和有限个形状大小分......
在桥牌运动中,若将四家的牌摊开来打,则存在判定初始牌局是否为南北方胜牌局(或东西方胜牌局)的算法,当南北方(或东西方)客观上存......
对于会话交流的研究，历来重视交流过程中的认知一推理。以往侧重于用自然语言的方法、手段来考虑会话中的这一过程，但是为了实现人机......
广义量词的复杂性有两个层次：句法层面的复杂性和语义层面的复杂性,我们集中研究了广义量词的语义复杂性。在有穷的语境中可以找出......
讨论可计算性和语言学理论中的几个关键问题，阐述这几个关键问题的背景，正确理解这几个关键问题的重要性和这些问题与当前语言研究中......
针对有限状态自动机只能识别正规集合和计算一些相对简单函数的问题,给出了一类递归函数的符号计算方法.该方法把递归函数和图灵机......
“麦当劳化”不是一个专业术语，是人们对一种现象形象的比喻和解释。美国社会学家乔治·里茨尔在《社会的麦当劳化对变化中的当代社......
20世纪后半期，全世界范围掀起第三次产业革命的浪潮，人类开始迈入后工业社会——信息社会。在信息经济时代，其先进生产力发展的标志就......
考察当代资本主义是我们当前研究中的一个迫切任务。卡尔·马克思与马克斯·韦伯对资本主义分别进行了富有深度的思考,为......
本文对丘奇-图灵论题提出的背景，以及为什么哥德尔没有提出丘奇论题，而且直到给出图灵机概念之后才逐渐接受丘奇。图灵论题的真正原......
卢卡奇的＂物化＂理论具有双重理论来源,即马克思的商品拜物教思想和韦伯的以可计算性为基础的合理化理论。其中,马克思的商品拜物教理......
本文首先对国际生态经济学界围绕“世界生态系统功能价值计量”的方法学论争进行简短的评论 ,接着阐述了生物多样性价值的新的概念......
可计算性理论是当今计算机科学中研究的热点和难点问题之一。本文先介绍了不可数性和停机问题等重要概念。用反证法证明了停机问题......
现在是什么时代？身在其中的我们有时会很困惑。信息经济时代？知识经济时代？后工业时代？金融全球化时代？．．．．．．人们在寻找像马克思的“资本”和......
量子计算是量子力学与计算机科学深度结合的产物,它在阐明计算的本质以及分析量子力学的基本问题两个方面都具有深刻的理论意义。......
计算机有智能吗？如果有,它能达到大脑的高度吗？计算机发展下去,是创造出一个集普天之下智慧脑袋之大成的高速度、高容量的“计算机”......
卢卡奇在<物化和无产阶级意识>一文中,论述了物化概念及其伦理内涵,它主要表现为:在资本主义商品生产过程中,人与人的社会关系呈现......
作为一项重要的评估指标,美国国防部的TCSEC准则和ISO的CC标准都对隐通道做出了明确地规定,即软件要获得B2或EAL5及以上级的安全认......
本文从各种"智能"定义中所陈述的共同特征中归纳出智能的根本特征:智能是脑和神经系统通过选择达到系统目标(功能)的能力,人工智能......
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清......
图灵将人工智能简化为具有形式逻辑、自动证明和计算能力的符号处理系统。但是人类智能与语言理解有关。文章提出一个可以在自然界......
反推数学是现如今数理逻辑领域的一个研究热点。通常的数学研究往往热衷于为某指定命题寻找证明或构造反例;而反推数学与之不同,它......
<正> 逻辑学是一门古老的科学,在很长的历史时期内,发展缓慢;但近一百年来得到了迅速的发展。人们通常把近一百年来迅速发展起来的......
Cm系统是制约逻辑的命题演算系统,但是其推导定理的过程可否由图灵(计算机)算法完成尚未得到明确的结论.研究证明了Cm的公式集是递......
分析语法属于形式语法之列,除了静态分析语法之外,还有动态分析语法。动态分析语法的研究对象是自然语言行为的“基元行为函项”以......
<正>短暂而耀眼的一生阿兰·麦席森·图灵(Alan Mathison Turing)是20世纪著名数学家、逻辑学家和计算机科学家,他被誉为"计算机科......
