可计算性相关论文
二次约束二次规划问题及其锥重组问题具有相同的最优值，且其锥重组问题是一个非负二次函数锥规划问题，所以如何有效的求解非负二次函......
斯蒂格勒提出“一般器官学”的目的是为了揭示当代资本主义对人本身架构的历史过程,资本主义化过程恰恰是这个外在器官化的不断加......
随着多核系统,云计算,物联网等技术的发展,分布式计算已经成为一种主流的计算模式,其计算理论（即计算能力和复杂度）也成为一项长期的......
考察当代资本主义是我们当前研究中的一个迫切任务.卡尔·马克思与马克斯·韦伯对资本主义分别进行了富有深度的思考,为我们透视当......
论文以美国科学哲学家保罗·汉弗莱斯(Paul Humphreys)的专著《延长的万物之尺——计算科学、经验主义与科学方法》为中心,介绍并......
麦当劳在效率上合理化的做法包括：流水线作业，简化产品，让顾客去工作。 论及企业运营过程中的合理化水平，以麦当劳为代表的快餐......
参照经济效益的定义,界定了图书馆效益的内涵,在具体分析影响图书馆效益各要素的可计算性的基础上,提出了图书馆效益的计算办法。
......
该文回顾了经典的可计算性和可判断性及它们间的联系,介绍了近年来对可计算性在欧几里德空间上的扩充及可计算的实数、递归开/闭集......
2020年修正的《中华人民共和国著作权法》(以下简称2020年《著作权法》)第五十四条增加了惩罚性赔偿规定,为著作权领域适用惩罚性......
新手对专家的信任是在风险与安全博弈背景下进行的理性选择,二者差异的实质是理性之争。新手理性是以常识与经验为基础的社会理性,......
一、导言现代逻辑发展的主流,自从布尔(G.Boole)到弗雷格(G.Freqe)的开创性时期以来,沿着数学兴趣和应用的方向发展,取得了十分显......
本文在温度约束应力产生的内在机理基础上,利用有限元法对变弹模光弹模型中层面温度约束应力的发展过程进行了数值计算,计算结果与......
一、引言在实际生产过程中,决定产品质量特性的每个因素都是不断波动的。因此,在确定生产工艺条件的设计试验时,应该考虑到各个因......
当前的云计算系统,不论是虚拟化云还是分区云,难以同时满足用户体验和系统效率需求,产业界和学术界都开始研究下一代云计算系统以......
当代西方主流经济学人与人关系研究的突出问题,主要表现为它依赖于一套物化逻辑,把人与人的关系一步步转换成物与物的关系,以此替......
本文拚弃了单参数选优的传统设计方法而尝试采用“可计算性项目三级设计”的新方法。首先将摩托车简化为一个五自由度的振动系统,......
从集合论的角度看,广义数码艺术诞生于文化与科技融而未分之时,围绕数字编码构思,有数形艺术、数义艺术、数序艺术、数比艺术、数......
文章介绍组织认知地图的概念,围绕组织认知地图是如何实现隐性知识的共享展开讨论,并介绍了两种实现模式:一是通过会话交流的方式,......
未能预报的汶川大地震造成了巨大的生命财产损失。本文基于自组织临界态理论对地震的解释,阐述了地震的时间序列是不可计算的,并进......
中国电子学会电子计算机学会暂定1983年10月召开计算机理论学术讨论会,征文内容通告如下: 1.形式语言理论; 2.可计算性与计算复杂......
隐喻的计算语言学研究主要存在两个问题:隐喻理论多样且差异较大;隐喻知识库和语料库的可计算性不足.为解决隐喻理论与计算的衔接,......
物体的序列及其分布很大程度上决定了该材料的性能。本文讨论了物体的各种晶体结构，分析了序列的对称性、自组织变化特性和序列间信......
BIM(建筑信息模型)是一种全新的建筑设计平台,它将信息的创建和使用集成在一个统一的设计环境中,保证了数据的一致性和可计算性。......
由于Packing问题解格局拓扑结构的类型是有穷的,本文把它作为研究对象来讨论Packing问题的可计算性和计算复杂性,如忽略计算机的运......
本文论述了采用概率模型进行韵律建模的思路.同时,本文还进一步分析了韵律代价函数及其在基元选取中的体现或采用其它可训练韵律模......
2012年2月,约2.1万名英国民众发起一项请愿活动,请求英国政府赦免图灵因同性恋而在1952年被判决的严重猥亵罪行。虽然这一请愿最终......
讨论发汗冷却系统的最优控制问题。选用发汗剂的流量作为控制变量，利用发展系的方法证明了系统的解在控制变量处沿任意方向上的方向......
计算社会科学为传播学发展提供了新的动力。通过文本挖掘和引文网络分析,本文梳理了计算社会科学的相关文献,证实了计算社会科学发......
本文从可计算分析的观点研究测度论中函数的可计算性问题。 作为一门新兴的理论计算机学科，可计算分析研究连续型计算的客观规律......
可计算性的发展从最初的原始递归函数到后来的部分递归函数，在可计算性的中心问题由可计算函数转向不可计算函数后，引入了可计算枚举......
精确求解偏微分方程在工程设计和其他计算科学等研究领域有着重要的现实应用，精确计算某一偏微分方程特定形式的解对数学家而言是一......
非线性发展方程的可计算性是近代数学的一个重要的研究领域,即非线性发展方程的计算机求解。是否所有的方程都可以在计算机上实现......
求解偏微分方程在自然科学和工程技术等领域有着重要的现实意义。但是到目前为止，如何求解偏微分方程仍是困扰我们的难题。随着计算......
近年来，方程的应用涉及到工程、经济、社会活动的各个方面，方程的计算机求解成为人们研究的热点问题。这就使得方程的可计算性和计算......
语义计算（或意义计算）是自然语言处理和人工智能领域一个核心课题，该研究成果可以广泛应用到文本挖掘、信息搜索、机器翻译、人机交互......
一、财政监察的根本目标是实现民主政治下“公共财政”委托受托责任关系的对称和均衡历史地看,财政监察制度的建立是解决资源财产......
四、是否应该把非参数和半参数表示法强加进似然方法的框架中?rn但尼尔·贝努利[21]曾预言似然方法拥有渐进有效、对于大多数参数......
图灵将人工智能简化为具有形式逻辑、自动证明和计算能力的符号处理系统.但是人类智能与语言理解有关.文章提出一个可以在自然界和......
