论文部分内容阅读
本文讨论在研究“时间问题”（ＴＴＰ）时遇到的有关理论，即在给定条件下可行时间表是否存在的判定问题；在作出了若干对应性的约束之后，ＴＴＰ的存在性问题也就是交替哈密尔顿环的存在性问题。对ＡＨＣ的存在性条件作了证明，并讨论了若干放松条件的可能性。
交替哈密尔顿环存在性条件
【摘 要】
：
本文讨论在研究“时间问题”（ＴＴＰ）时遇到的有关理论，即在给定条件下可行时间表是否存在的判定问题；在作出了若干对应性的约束之后，ＴＴＰ的存在性问题也就是交替哈密尔顿环的存在性问题。对
【机 构】
：
武汉大学计算机科学系,长沙铁道学院
【出 处】
：
长沙铁道学院学报
【发表日期】
：
1998年3期
其他文献
一、品种来源辽宁东亚种子科学研究院承担省科委重点攻关课题，以高产、优质、多抗、高效为育种目标，用ＬＤ１００为母本，ＬＤ６１为父本，经过多年选育组配而成。是１９９８年辽宁省审定并重点推广玉米新品种
随着近年来我国经济快速发展,基础教育体制改革逐步深化,如何在高中班级管理中做好与学生的沟通工作成为每一个高中班主任关心的重点问题。高中时期是学生成长与发展的重要时
北方农村能源生态模式建造技术（九）沈阳农业大学刘荣厚表２猪的适宜环境参数猪舍温度（℃）湿度（％）风速（米／秒）空怀和初孕期猪舍孕后期猪舍带仔哺乳母猪舍断奶仔猪舍２７００２育肥猪舍１８７５０２１８７００２２４～３０７００１５１４７５０３表１猪
本文介绍一种使用单板机的饲料加工自动线微机控制系统,着重阐述了系统功能,软件、硬件设计的基本思想和主要技术问题的处理办法。
“大寨村地处高山,交通不便,过去办个事,跑断了腿也不一定办成,现在跟代表们说一下就有人帮我们咨询办理,真是太方便了!”九寨沟县罗依乡大寨村村民陶代高兴地说。今年以来,
本文提出了借助于电子计算机,用列车编组单对影响线加载来模拟铁路桥梁疲劳应力谱的方法.笔者将理论模拟结果同实测结果进行了比较,证明所提出的方法对铁路桥梁疲劳应力谱的
推理是思考问题的重要手段,在生活中有广泛的应用。它不仅是数学学习所必要的能力,更是人们日常学习和生活中经常使用的思维方式。但在一线教学实践中,对推理能力的培养还是
本文提出了一种基于极限理论的计算机方法，它适用条形荷载作用下加筋土地基承载力的分析，通过对室内大、小模型的实际计算，所得到的计算结果和试验结果比较吻合，证明了本文所提出
本文介绍了在机务段利用微机进行集中检测控制的必要性、实施技术方案及应用效果，为铁路机务段、车辆段、编组站场的信号改造和集中调度提供技术参考。
在传统的英语教学过程中,大体上都是教师占据课堂教学的主体,而学生只是按照教师的指引进行系统的学习。但是现代社会倡导师生在课堂上进行交流和互动,因为师生之间进行友好