论文部分内容阅读
研究了定义递归函数过程中极小化运算的次数问题，证实了任意一个递归函数可以从初始子数出发，经有限次复合，递归和至多一次极小化运算而得到。这一结论对计算复杂性理论有明显的意义。
一般递归函数定义中极小化次数问题的研究
【摘 要】
：
研究了定义递归函数过程中极小化运算的次数问题，证实了任意一个递归函数可以从初始子数出发，经有限次复合，递归和至多一次极小化运算而得到。这一结论对计算复杂性理论有明显的
【出 处】
：
华中理工大学学报
【发表日期】
：
1996年A01期
其他文献
阐述了变压器油中故障气体光纤检测的意义，分析了气体浓度二次和三次谐波检测与调制点的关系；提出了方波调制ＬＤ的非机械暂时分－差分检测方法；讨论了多组分气体的检测方法及其适用条
在定义社会选择程序的稳定性判据的基础上，探讨了一类二元表决程序（修正案表决程序和顺序表决程序）的稳定性问题，同时对不同投票行为方式（诚实投票与策略投票）下该类二元表决程序的
提出了一种用ＣＣⅡ设计连续时间滤波器的新方法，亦称为输入电压Ｖｉｎ的加权法．该方法的目标主要有两点：第一建立决定ＣＣⅡ滤波器极点的静网络；第二对此静网络注入加权输入信号而产生ＣＣⅡ滤彼器
研究了振动波在弹性圆柱壳内的传播特性，分析了不同波的相互作用特点及随频率变化的波型转化规律；还从减振降噪的角度分析了管道中插入柔性接头对管道入射传播波和通过该接头的
讨论了用主轴围速波动信号在线监测铣刀破损的可能性，主轴转速流动信号安装在铣床主轴上的光电编码器获取，给出了高速采集主轴转速波动信号的采信板原理框图，对转速波动信号进行
讨论了复杂函数的多神经网络逼近模型的建立方法．针对映射网络泛化能力差以及结构难以确定等问题，提出了一种基于Ｂａｙｅｓ分析的组合多神经网络建模方法．仿真研究表明，这种建模方法提高了
应用ＩＳＯ１０３０３（ＳＴＥＰ）和ＩＳＯ１３５８４（零件库）标准构造了面向中异构系统的模具标准件ＣＡＤ模型，该模型由总体模型、几何模型和零件字典构成，经实现了在不同ＣＡＤ系统中共亨数化的模具标准件资源，模型的建立技术以及在不同
研究一类代数Ｒｉｃｃａｔｉ方程求解问题．在较弱的条件（即，系统（Ａ，Ｂ）能稳定，矩阵对（Ｃ，Ａ）能检测，Ｃ∈Ｒｎ×ｎ为满秩阵且ＣＴＣＡ为对称阵）下，得到了一类代数Ｒｉｃｃａｔｉ方程的显式解析解．
以编制中央、省（市、自治区）、县三级教委的中长期（５～１０ａ）基础教育规划为背景，运用系统工程的理论与方法，对基础教育进行整体分析，提出了一种基于模型（对象）的决策支持系统的设计方案．根据结
利用阳极氧化技术制备了多种多孔硅（ＰＳ）样品，测出其结构参数，并摄得相应的ＳＥＭ微观形貌图片．针对多孔硅的结构特点，确立相应的离散分形布朗随机增量（ＤＦＢＩＲ）场模型，应用图像处理方法，求出不同ＰＳ微观图