【摘 要】
：
带迭代算子的函数式程序设计语言是一种有坚实理论基础、高效的、实际有用的高级程度设计语言，该语言既可描述递归，又可描述迭代，本文证明了仅用迭代算子由已知迭代函数定义的部
论文部分内容阅读
带迭代算子的函数式程序设计语言是一种有坚实理论基础、高效的、实际有用的高级程度设计语言，该语言既可描述递归，又可描述迭代，本文证明了仅用迭代算子由已知迭代函数定义的部分迭代函数变可计算部分递归函数，这就等于证明任何图灵可计算的部分函数，都可用有坚实数学基础的部分迭代函数高效地进行计算，文中定义了复合算子、原始迭代和最小化迭代子及部分迭代函数；证明了部分递归函数是部分迭代函数可计算的。
其他文献
目的调查中山市儿童国家免疫规划疫苗(NIPV)接种率,评价预防接种工作落实情况。方法根据《广东省接种率调查方案(2017年版)》,采用批质量保证抽样方法在全市24个乡镇的社区(
目的研究注意缺陷多动障碍(attention-deficit hyperactivity disorder,ADHD)儿童服药依从性与父母养育方式、自我意识特征关系。方法以2017—2019年在亳州市某医院确诊为ADH
知识库系统的正逐渐走向实用化，单机知识库系统已获得了较好的发展，现在面临的问题是如何有效地组织起一个实用的大型系统。Ｃｌｉｅｎｔ／Ｓｅｒｖｅｒ体系结构具有构造费用低、运行性能高、扩充性强等优
本文提出了一种公式索引分组字典排序法,其期望时间复杂性为O(n)。该算法基本上不象传统的排序方法那样进行元素间的比较,主要是用数学公式计算,直接得到排序结果。
本研究旨在建立一种检测H1亚型禽流感病毒（AIV）的SYBR GreenⅠ实时荧光定量PCR方法。根据对GenBank中H1亚型AIV HA基因序列的分析,设计针对H1亚型AIV的HA基因特异性引物,并以H1
应用4种核函数对3个不同地区的垂直形变场进行多面函数拟合比较,并通过外符合精度以及得到的实际等值线图来综合选择较优核函数。通过对比发现,锥面函数是一种很好的核函数,适应性较强,能较好地拟合出区域垂直形变场的升降变化,具有一定的实际应用价值。
电磁线圈炮试验过程的特殊性对其测控系统软件性能要求很高,而传统测控软件在通信速率、可靠性和实时性等方面都难以满足电磁线圈炮测控要求。针对这一问题,研究了电磁线圈炮实际测控需求,利用LabWindows/CVI结合标准C语言设计基于CAN总线通信协议的电磁线圈炮测控软件,软件采用客户机/服务器网络体系结构,主要测控资源由数据库管理,同时符合模块化开发要求,具有良好的可扩展性。实际应用表明该软件响应性
目的了解苏州工业园区老年居民的营养知识、态度和行为,为提高老年居民的营养健康水平提供科学依据。方法在全区东、西、南、北、中5个方位,采样整群抽样方法在每个方位各确
在无人机飞行仿真研究方面,存在所建立的模型具有专用性强及可重用性差等问题,文中介绍了一种基于AeroSim模块集所开发的无人机全数字仿真平台,使用了MATLAB/Simulink作为仿
基于前人研究成果,以农户为基本调查对象,对宝鸡市农村地区地震灾害房屋脆弱性进行了实地问卷调查。运用层次分析法、加权综合评价法、ArcGIS空间数据分析技术对研究区地震灾害房屋脆弱性进行系统分析,探讨其空间变化规律及影响因素。结果表明:(1)研究区整体房屋脆弱性较高,东部各区县脆弱性低于西南部凤县、太白县等山地地区;(2)不同地貌类型区的脆弱性存在显著差异,低海拔平原与低海拔台塬低于其他地貌区;(3