论文部分内容阅读
判定拟代数簇的包含关系问题不能由计算其相应的饱和理想来确定.利用一阶逻辑等价公式,将拟代数簇的包含关系问题化为检验另一个拟代数簇是否为空的问题,之后用Grbner基方法加以判定.文中给出了判定算法和计算实例.
拟代数簇包含关系的判定算法
【摘 要】
：
判定拟代数簇的包含关系问题不能由计算其相应的饱和理想来确定.利用一阶逻辑等价公式,将拟代数簇的包含关系问题化为检验另一个拟代数簇是否为空的问题,之后用Grbner基方法
【机 构】
：
兰州大学信息科学与工程学院计算机科学系
【出 处】
：
兰州大学学报：自然科学版
【发表日期】
：
2002年1期
【基金项目】
：
国家重点基础研究发展计划(973计划)
其他文献
目的：探讨降钙素原（PCT）水平与心肌梗死患者梗死相关动脉自发再通的关系。方法：对于我院109例冠心病监护病房（CCU）心肌梗死患者,根据心肌梗死溶栓临床试验（TIMI）血流分级分为自发再通
针对已有的损伤识别方法会出现损伤误识别的问题，本文在已有方法的基础上发展了一种随机梁式结构静力损伤识别的改进方法。假定静力荷载下梁式结构初始模型参数（如弹性模量和几
城市社区公共服务和社会管理专项资金的使用在提升居民自治意识、提高社区公共服务和社会管理工作水平等方面起到了积极的作用,但也出现了申报审批程序繁琐、资金使用迟缓等
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
建立了描述磁悬浮车体-单跨弹性轨道系统电、磁、力耦合动力学行为的理论模型,即:分段周期变系数常微分动力系统模型,提出了该系统的稳定性理论,利用动力分叉数值方法搜索出
目的探讨多指标联合检测在胸腹水鉴别诊断中的临床价值研究。方法选取本院住院患者606例,其中胸水461例,腹水145例,统计分析患者胸腹水作总蛋白(TP)、腺苷脱氨酶(ADA)、葡萄