论文部分内容阅读
直线程序和计算树模型是两个研究环(或域)上代数问题复杂性的较好的计算模型,特别是对问题复杂性下界的研究是很方便的.对任何一个直线程序Γ,存在一个通用输入(U;u),使得对Γ的任何其它可执行的输入(A;a), (A;a)是(U;u)的一个同态象. 给出一个求直线程序通用输入的算法和一个计算实例.
求直线程序通用输入的算法
【摘 要】
：
直线程序和计算树模型是两个研究环(或域)上代数问题复杂性的较好的计算模型,特别是对问题复杂性下界的研究是很方便的.对任何一个直线程序Γ,存在一个通用输入(U;u),使得对
【机 构】
：
兰州大学计算机科学系,兰州,730000
【出 处】
：
甘肃科学学报
【发表日期】
：
1999年3期
其他文献
通过对米村矿－１５０ｍ水平大巷围岩变形的综合测试分析，找出了原支护形式下围岩变形的一般规律，对该矿巷道支护起到了指导作用。
Through the comprehensive test and analysis on the
在建立社会主义市场经济的进程中，国有煤矿遇到了诸多困难和挑战，如市场持续疲软，煤炭价格下跌，货款拖欠严重，资金周转困难等等。这些困难和挑战，必然制约和影响着煤炭企业的正常生
1例69岁男性患者因酒精性肝硬化合并上消化道出血给予垂体后叶素24 U加入0.9%氯化钠注射液50 ml持续静脉泵入、1次/12 h，同时常规给予奥美拉唑、奥曲肽、血凝酶、血浆及对症支
地震波在地下传播过程中,由于内摩擦效应,其振幅、频率都会发生衰减,相位由于频散发生变化,这些问题可以通过品质因子(Q)来描述。Q因子是一个描述介质粘弹性特征的重要地球物
鲁甸地震后诱发了大量次生地质灾害,包括滑坡、泥石流、崩塌、震裂山体等,震后历经数个雨季,次生地质灾害的后效应逐渐显现。灾区的次生地质灾害问题层出不穷,其中不乏规模大、威胁程度高的地质灾害,而与水利枢纽直接有关的重点部位斜坡的稳定性问题对工程建设就显得尤其重要。以所参加的“王家坡潜在不稳定斜坡等不良地质斜坡工程地质特性研究及稳定性评价”课题为依托,作者研究了王家坡不稳定斜坡的结构面特征,调查分析了王
用粉煤灰填筑地基是粉煤灰综合利用的重要途径之一，用水力冲填工艺进行粉煤灰吹填施工是一个效率高、质量好、造价低、无污染的先进方法。
Fly ash filling foundation is on
平禹六矿位于禹州煤田大刘山井田东北部,行政区划隶属禹州市神后镇、郏县安良镇管辖。禹州煤田位于颍河与汝河之间的分水岭地带,西部和北部为中低山,东部为开阔的平原,地质构
萑香洼金矿床位于豫西熊耳山地区，矿床赋存于华北板块南缘中元古界熊耳群火山岩系中。以深部流体为主的均一化流体和断裂构造的多期次活动是矿床主要控矿因素。流体-岩石相互
本文通过搜集资料及分析、野外调查、物探、钻探、槽探以及室内试验、建立模型、综合研究等各种手段相结合的工作方法,查明了工作区内的主要地质灾害及不良地质作用主要为活
目的:系统评价程序性细胞死亡1受体（PD-1）/程序性死亡配体1（PD-L1）抑制剂的心脏毒性。方法:检索国内外有关数据库（截至2019年3月2日），收集PD-1/PD-L1抑制剂单药或联合其他方案治疗肿