【摘 要】
：
经典计算不能很好地刻画无穷计算的行为.基于形式系统序列及其极限,讨论一类称为收敛无穷计算的问题,旨在建立刻画无穷计算在变化的环境中如何交互与演化以及演化的极限状态
【基金项目】
：
国家重点基础研究发展计划(973计划);
论文部分内容阅读
经典计算不能很好地刻画无穷计算的行为.基于形式系统序列及其极限,讨论一类称为收敛无穷计算的问题,旨在建立刻画无穷计算在变化的环境中如何交互与演化以及演化的极限状态的逻辑理论基础.提出了收敛无穷计算的一个逻辑和推理系统,其表达能力超过一阶逻辑.还基于经典计算模型图灵(Turing)机和形式系统序列及其极限,提出了收敛无穷计算的模型,称为过程模式.在极限计算的意义下,其计算能力超过了Turing机和实数机器.讨论了上述研究在数据挖掘中的应用,用收敛无穷计算研究了数据挖掘的极限行为.
其他文献
较高密度的相对论电子束注入等离子体中将会形成离子通道 ,在考虑了离子通道的影响下 ,推导出圆柱波导中更普遍的色散方程 ,并计算出考虑离子通道和不考虑离子通道效应时的色
采用反应溅射法制备了一系列不同调制周期的 Ti N/Nb N纳米多层膜 ,并使用 X射线衍射分析 ( XRD)、透射电子显微镜 ( TEM)和显微硬度计表征了薄膜的调制结构、界面结构和显微
给出了六态扩展BB84协议的Breidbart基窃听方案 ,分析并计算了各种截取 重发策略下的Alice Eve平均交互信息量和施行QKD标准纠错手续后的有效平均交互信息量 ,结果显示Breid
利用超高真空扫描隧道显微镜研究了室温条件下亚单层Ge在Si(111) (7× 7)表面上的自组织生长 .通过控制Ge的沉积量 ,在Si(111) (7× 7)表面上自组织生长成一种具有六重对称
用改进的溶胶 -凝胶法在Pt(111) /Ti/SiO2 /Si(10 0 )衬底上制备了不同厚度的高度 (111)取向的Pb(Zr0 .53 Ti0 .4 7)O3 薄膜。运用X射线衍射 (XRD)和原子力显微镜 (AFM )分析
通过分析典型大时变时滞工业过程的特性,提出了一种新的数字PI I鲁棒调节控制器的设计方法.应用这种数字鲁棒控制器,闭环系统可具有大时变时滞鲁棒镇定性,且完全抑制定值负载
应用等效介质理论 ,提出了一种理论分析光子晶体的新平面波展开法 ,通过计算光子晶体的能带作收敛性分析 ,结果表明 ,新方法具有精度高、收敛快的优点 ,明显优于目前通用的二
合成了Schiff碱N-氧化吡啶-2-甲醛缩氨基脲(PNOS)及其配合物[Cu(PNOS)(NO3)2],并用单晶X射线衍射法测定了配体和配合物结构.PNOS晶体中通过传统氢键形成双层二维网状结构,再
采用表面改性和离子交换法制备了SiO2 负载的Ti2 (OMe) 4双核桥联配合物催化剂 ,用IR、TPD和微反技术考察了催化剂的表面构造及CO2 和CH3OH在催化剂表面上的化学吸附和反应性
根据低温下测得的Yb3 + ∶磷酸盐玻璃的吸收光谱和荧光光谱 ,计算了Yb3 + 离子在磷酸盐玻璃中的能级结构 ,并解释了荧光寿命在低温下变化异常的原因。在低温下采用 940nm的二