论文部分内容阅读
本文讨论了有理数理论的复杂性，通过构造精确的判定过程，从而确定了有理数理论的计算复杂性上界。
有理数理论的计算复杂性
【摘 要】
：
本文讨论了有理数理论的复杂性，通过构造精确的判定过程，从而确定了有理数理论的计算复杂性上界。
【机 构】
：
淮北煤师院计算机科学与技术系
【出 处】
：
淮北煤师院学报：自然科学版
【发表日期】
：
1999年1期
其他文献
物质相对分子质量的测定是大学化学基础实验课程的一个重要项目，本文讨论了三种测定物质相对分子质量的方法，从实验原理、方法、实验仪器、应用范围和误差分析等方面进行了比较
针对在600MW机组中具有重要作用和意义的TSI系统,在介绍系统技术原理的基础上,提出系统的安装要点和方法,为系统发挥应有作用效果提供参考依据。
分析了嵌入式系统的制作过程,给出了解决嵌入式系统软件制作的方法（运用UML的建模机制）.以UML为工具进行声音监控系统的建模,设计了声音监控系统的用例图、类图、活动图及顺序
随着铁路列车速度的大幅提升,机车信号在保证列车高速可靠运行中起着至关重要的作用,站内轨道电路电码化可靠工作、准确无误发码直接影响着机车信号的正确显示。铁路信号轨道
本文对波动方程初边值外问题提出一种有效的数值算法，首先将控制方程对时间进行离散化，得到时间步长离化格式，进而对每一时间步长求解一椭圆型外问题。引入一条圆周人工边界Γ０，通
面对新的形势、新的要求,寻求一条具有时代特点,符合学校实际的发展新思路,提高学校管理的效能,是每一个学校管理者必须面对而又亟待解决的新问题。以“理性主义”为基石的科
期刊
高校精品课程建设是一项系统工程。今后的建设工作，除了加大投入以外，主要应加强思想建设，以进一步解决“理念缺位”等问题；加强队伍建设，以进一步解决“素质缺陷”等问题；加强教学
本文给出一类偏序指标的集值鞭和下映的可选抽样定理。
近年来,城市化进程的迅速发展,推动了市政工程的建设和发展,市政工程的规模不断扩大,加剧了对能源的消耗和浪费,不利于我国可持续发展战略的实施。在市政工程中电气系统和设
假设M是一个具有可分预对偶的von Neumann代数（特别是有限的von Neumann代数），End(M)是它的自同态半群，给End(M)赋以U－拓扑，我们证明了当Φ是正规的忠实态时，End(M)是End(M)的闭子集