论文部分内容阅读
该文主要讨论基于ＤＦＧ子图同构求解验证高级综合结果的基本思想，概括总结了该验证方法的特点，并对该系统的实现结果进行简要分析。
基于DFG子图同构求解的高级综合结果验证方法
【摘 要】
：
该文主要讨论基于ＤＦＧ子图同构求解验证高级综合结果的基本思想，概括总结了该验证方法的特点，并对该系统的实现结果进行简要分析。
【机 构】
：
理工大学计算机系
【出 处】
：
第七届全国数字系统设计自动化学术会议暨协同设计研讨会
【发表日期】
：
1997年期
其他文献
比较中国浑河商品交易市场4种冷热源方案，以采用直燃机组方案合理。这是沈阳首次规划商业区内的直燃机组集中冷热源，并可在高级建筑规划区等推广。
优秀的教学设计是达到良好教学效果的重要保证。要想使一节课收到满意的效果，教学设计至关重要。美国著名心理学家罗伯特·M·加涅曾提出一个“为学习而设计教学”的
课程资源的开发与利用不仅涉及到教学观念、教学方法等主观因素的转变,而且受到很多客观因素的制约。通过实践,我们觉得应从如下几个方面展开,从而真正实现教学的育人价值与
该文采用直接酯化法合成了柠檬酸酯，讨论了原料摩尔比、反应温度、催化剂种类及浓度等因素对产物转化率及酯含量的影响，并对最终产物进行了红外光和液相色分析以及乳化性能测定
该文结合二战后发达国家信息技术部门在组织机构中地位的演变过程，阐述了ＣＩＯ（即Ｃｈｉｅｆ Ｉｎｆｏｒｍａｔｉｏｎ Ｏｆｆｉｃｅｒ）的作用和他与ＣＥＯ（Ｃｈｉｅｆ Ｅｘｅｃｕｔｉｖｅ Ｏｆｆｉｃｅｒ）的关系，并分析了中国在这方面的现状，最后提出从教育入手，抓紧ＣＩＯ的培养，以适应跨世纪
该项目从株型特征、生育表现、群体动态、营养平衡、地力建设、品种区试以及气候适应性等7个方面作7一系列的研究实践，形成7完整配套的吨粮田综合技术，在近年的生产实践中具有