中国古代的视差理论——以日食食差算法为中心的考察

日食食差算法是中国传统日食计算中的核心算法，研究该算法的造术原理及其精度，对评价中国古代日食算法的优劣和精度有重要的参考意义。以各历相关术文为例，进一步阐明日食食差的天文意义，指明食差算法是日食食分算法的一个子算法，食差算法应该是气差、刻差和时差的代数和；在前人的研究基础上，详细讨论中国古代食差算法的沿革史，并根据各时期食差算法的特征，以《宣明历》、《崇天历》、《纪元历》等历法作为关节点，对食差算法的历史进行分期；通过对《宣明历》、《纪元历》和《授时历》等历法中食差算法的精度讨论，证明中国古代食差算法中气差函数和刻差函数的符号选择的正确性，表明中国古代日食食差算法是一个非常优秀的算法。     

逻辑的计算进路——从莱布尼茨到图灵的逻辑发展

现代逻辑肇始于莱布尼茨,在布尔和弗雷格处发生了分流,形成了所谓的逻辑的代数传统和逻辑的语言传统,然而,无论是代数传统亦或者是语言传统都与莱布尼茨的逻辑学纲领(即:"作为科学、数学和哲学"的基础)相去甚远。在图灵机理论中,图灵核心阐述了"自动机"和"指令表语言"这两个概念,这两者很好地契合了莱布尼茨关于"理性演算"和"普遍语言"的构想,可以说,图灵机理论最为接近莱布尼茨的逻辑学纲领,也跳出代数传统和语言传统,另辟蹊径,形成了一种新的"作为计算的逻辑"传统(也可以称为"计算传统")。"作为计算的逻辑"实质上是一种"主体转向","以往的逻辑"是当仁不让地以人类为主体,研究的对象是人的思维、自然语言种种,"作为计算的逻辑"则是将计算机作为信息处理的主体,研究的是计算机的处理方式以及人与计算机的互动关系。     

可变集聚类模型在区域水资源承载能力识别中的分析研究

本文从数值角度对可变集聚类循环迭代模型在水资源承载力识别中的应用做了可行性分析,并从初始迭代中心选取的敏感性,权重迭代的收敛情况和聚类效果等方面做了初步的探讨,然后对我国30个省、市、自治区的水资源承载力进行了聚类和评估。通过对最小误差函数的计算以及与K均值算法聚类结果的比较,进一步确定所应选取的权重迭代公式。最后对该算法的权重迭代结果在模式识别和聚类应用中的特性做了初步的解释,指出了该方法有待于进一步研究的方面。     

从丘奇-图灵论题到多奇原理

本文对丘奇-图灵论题提出的背景，以及为什么哥德尔没有提出丘奇论题，而且直到给出图灵机概念之后才逐渐接受丘奇。图灵论题的真正原因作出某种解释，基于这种解释，将对多奇给出的“丘奇-图灵论题的物理版本”的内涵及意义作出评价，对量子计算机的计算本质给出逻辑分析。     

心灵与机器的界线

心灵与机器的关系问题是心智哲学与认识科学的重要课题之一.遵循语言与逻辑分析的分析传统,我们着重从两方面讨论心身问题:一是围绕Godel不完全性定理,二是认知逻辑尤其是有关认识论算术(EpistemologicalArithmetic)与机器是否有私有性的论题.对于前者,针对流行的观点即Godel不完全性定理心身问题上支持二元论,H.Putnam构造了一个反论证,从而维护计算主义纲领:心灵与图灵机等价.对此,本文讨论了Pumam的分析思路,进而认为其中有不可靠之处.对于后者,本文详细考察了私有性表达的认知形式,同时结合EA中的最新相关结果,从而得出结论:图灵机的私有性的存在,在逻辑上站不出脚,因此,我们认为,就认识能力和私有性而言,心灵不能与机器等价,也就是计算主义纲领是不成立的.     

中国古代历法与印度及阿拉伯的关系——以日月食起讫算法为例

本概述了中国古代历法中计算日食三限与月食五限的算法沿革，详细论述了宋元时期日月食起讫算法之精度的演变发展。在元代郭守敬的《授时历》（１２８０年）之前的中国传统历法，采用的都是纯粹的数值方法去构造一系列相应的函数。自《授时历》起，开始利用日月食的几何模型构造一类十分不同的函数。研究表明，《授时历》运用的几何模型与唐代印度风格的《九执历》运用的几何模型与唐代印度风格的《九执历》（７１８年），及元代阿     

中国古代日食食差算法的原理

日食的食差是月亮的视差对日食食甚时刻月亮到黄白交点之距离的修正值。从形式上看，其理论模型与中国古代的传统算法几乎没有任何相似之处。为了与理论算法进行比较，成功地将薮内清建立的理论模型简化为以太阳的黄经与时角为自变量的二元函数；同时，重构了传统算法的数学模型。在此基础上，比较了传统算法与理论算法的异同，得出的结论是：两者的数学模型是相似的、计算结果是近似的。以现代科学的标准来看，中国古代日食食差算法的数学模型是合理的、有效的。     

第七届国际逻辑学、方法论和科学哲学代表大会将于1983年在奥地利举行

由国际科学史和科学哲学联合会(IUHPS)逻辑学、方法论和科学哲学部筹备的第七届国际逻辑学、方法论和科学哲学代表大会将于1983年7月11日至16日在奥地利的萨尔茨堡举行。会议将分14个专题组,它们是: 1.证明论和数学基础, 2.模型理论及其应用, 3.递归论和计算理论, 4.公理集合论, 5.哲学的逻辑,     

DS-CABOSFV流数据聚类算法

流数据技术已成为当今数据处理领域的研究热点,流数据挖掘是数据流技术研究的重要分支。流数据挖掘的核心思想是设计数据集单遍扫描算法,在有限的内存中存储少量代表流数据特征的概要数据,即时、快速地处理概要数据以得到响应结果,实现流数据实时、在线分析,对流数据进行聚类、分类,具有广泛的应用价值。本文完成了流数据概要的构建并综合研究传统数据挖掘的聚类算法,改进更新了CABOSFV聚类算法,实现了应用于流数据这一新的数据模型上,对传统数据挖掘技术进行改进,实现了数据的实时处理和在线分析,并给出了具体的实现方法,实验结果验证了该算法在流数据挖掘技术上的可行性。     

递归论在复杂性组织系统中的应用及方法论意蕴——以VSM模型为例

递归论不仅是设计和描述算法的一种有力工具,也是理解复杂性系统层次性、有机性的一个重要视角。英国系统科学家斯塔福德·比尔提出的VSM模型,将递归引入复杂性组织系统中,把管理对象看作是目的本身而非工具,将组织系统视作为具有递归功能的活系统,对组织进行递归与多维递归。VSM模型不仅扩展递归理论的应用范围,也将递归作为复杂性组织系统存在、运作和发展的一个基本手段。在方法论上,递归不仅包含还原的功能,还有助于对突现进行理解。     

论技术创新的不确定性

不确定性分析是技术创新研究中的重要组成部分，本文剖析了技术创新的不确定性概念，刻划了技术创作的不确定性特征，揭示了技术创亲的不确定性的哲学本质，并进一步分析了不确定性在技术创新中的双重性作用。     

心身问题解决的新尝试:机器功能主义

机器功能主义是功能主义的较早形式，它为心身问题的解决提供了一种有意义的尝试。本文对机器功能主义的产生、图灵机和机器表概念做了一个简要说明，同时把机器功能主义与行为主义、同一论相比较，论述了机器功能主义对心身问题的理解及其积极意义。但是机器功能主义仅把心理状态理解成一种功能状态，因而面临着许多方面的困境，并不能令人满意地解决心身问题。     

什么是类脑计算?

正2016年3月,韩国围棋选手李世乭与谷歌Alpha Go(阿尔法围棋)的"人机大战"经过5盘鏖战,最终以Alpha Go 4∶1胜出落下帷幕。可以说Alpha Go是结合了类脑与非类脑的计算与智能,完美发挥其各自特长所取得的成功。什么是类脑计算?一般地说,类脑计算是指借鉴大脑中进行信息处理的基本规律,在硬件实现与软件算法等多个层面,对于现有的计算体系与系统做出本质的变革,从而实现在计算能耗、计算能力与计算效率等诸多方面的大幅改进。     

《九章算法比类大全》与"九章"的渊源

吴敬的《九章算法比类大全》是明代传统数学中一部承前启后的算书，与“九章”有着非常密切的关系。该书的问世是《九章算术》流传过程中的一个重要的转折点。文章详细比较了《九章算法比类大全》与《详解九章算法》，深入分析了二者之间的关系，认为：尽管后者包括了《九章算术》本文、刘徽和李淳风的关注、贾宪的“细草”和杨辉的“详解”等内容，但对《九章算法比类大全》影响最大的是“详解”；吴敬读到了《详解九章算法》，但没有看到单行本的刘徽和李淳风注的《九章算术》。文末指出了前人研究中的错误观点。     

中国古代历法中的九服晷影算法

九服晷影算法从一行《大衍历》（公元724元）起,成为唐宋金元历法计算的组成部分。通过对这一时期九服晷影算法的系统解读,说明该算法的造术方法及特征。一行《大衍历》中采用数表算法,边冈《崇玄历》（公元892年）及其后历法均采用公式算法。王朴在《钦天历》（公元956年）中利用一行开元年间大地子午线测量结果,构造了独特的九服晷影函数,由此可推导出中国数理天文学史上第一个正切函数表达式。     

算法视域下人工智能的分类与哲学思考的进路

算法是已阐明的涉及数学的唯一基本认识论概念,其本质是"确定性递归",迄今已经历了一个从有限性、递归性、统计性到实践性算法的拓展过程,而人工智能(AI)的核心是算法,其功能是依循算法通过计算解决复杂性问题,则AI可相应地分类为有限性AI、递归性AI、统计性AI和实践性AI,现今所设想的通用AI是此四类AI的混合体。同时,以算法为桥梁可沟通AI和哲学,开辟对AI进行哲学思考的算法进路:AI依算法展开的计算过程可指向、趋近实无限的彼岸世界,AI的工具价值实际上就是一个"确定性递归有限展开"的价值,算法及其展开是语言、是认知,算法本身也是方法,循此进路可对AI的绝对边界、工具价值问题、还原论的彻底性、智慧的本质等问题进行深入研究。     

雪撬犬的传奇

雪橇犬比赛是项冬季运动类犬赛。比赛中每组雪橇犬拉一只载有指导手的雪橇，各组间相互竞争完成比赛的速度，完成比赛用时最短的小组获胜。     

对波莱尔关于函数奇点问题的思想研究

利用函数的泰勒展开研究函数奇点问题是函数解析开拓理论研究的重要课题。文章基于原始文献．深入探讨了波莱尔在函数奇点研究方面的有关工作，特别是对“函数奇点乘积的阿达玛定理”和“泰勒展开一般以收敛圆为割线”问题进行了深入研究，探讨其思想的演变过程及在当时的重要影响。该研究对客观评价波莱尔在函数奇点方面的工作有重要价值，对了解函数奇点理论的历史发展有重要意义。     

中国古代历法中的三次内插法

该文根据《天文大成管窥辑要》中的史料，发现边冈在其《崇玄历》（８９２年）中创立的晷影公式－中国历法史上第一例三次函数，是通过令影差变化与自变量平方的比值为某个等差数列而构造出来的，与过去认为的三次内插法无关；王恂、郭守敬在《授时历》（１２８０年）创立的平立定三差算法，则是通过对插值函数的降阶，将问题转化为一般的二次内插公式的构造，前者可能受到了边冈立方相减相乘算法的启发，后者则与刘焯的二次插值算法     

科瑞纳税评估系统

1背景 科瑞纳税评估系统针对税务机关税务审计工作存在明显不足，在数据报盘采集完成后通过加权平均算法自动计算行业峰值，形成用来衡量纳税指标的行业峰值库模板，以数据大集中、业务办理相对独立的模式部署，提高了征管质量，加强纳税人依法纳税意识，实现了纳税评估工作的减负增效。