论文部分内容阅读
用Tait方法证明了Heawood反例是四色的；用Kempe链方法证明了Tutte反例也是四色的。说明历史上一些重大反例的局限性。因此，从新的视角重新审视某些反例是必要的。
四色问题反例的历史局限性及思考
【摘 要】
：
用Tait方法证明了Heawood反例是四色的；用Kempe链方法证明了Tutte反例也是四色的。说明历史上一些重大反例的局限性。因此，从新的视角重新审视某些反例是必要的。
【机 构】
：
Computer Science Department, Civil Aviation University of China, Tianjin 300300
【出 处】
：
第19届全国计算机新科技与计算机教育学术大会
【发表日期】
：
2008年5期
其他文献
研究并设计智能化眼肌疾病诊疗系统。利用计算机图像有目的地诱导眼球运动，由计算机同步采集跟踪双眼的运动轨迹，通过系统实时自动的分析对比，可准确客观地判断多种类型斜视的程度和类型，检测双眼视功能缺失的情况，大幅度提高诊断的客观性、准确性，增加眼肌疾病诊断和治疗的趣味性，减轻医师的劳动强度，并为眼肌手术方案辅助制定和眼肌疾病的远程诊断治疗提供平台；系统可自动记录检测过程及其数据，为事后重放及分析创制了条
本文根据XML的树型结构与病历的特点的吻合性，实现了XML格式的电子病历文档；对多重签名作了相应的改进，并应用于XML电子病历文档中的规则(rule)，设计了XML电子病历多重签名方案；采用MobileAgent实现了XML电子病历分布式多重签名，提高了签名的效率和灵活性。
本文介绍了基于面向服务体系架构下的电力企业信息集成的方法，通过电力企业信息集成的一个实际应用的实例，阐述了基于面向服务体系架构的信息集成的分析和设计的实现方法和应用思想。
使用本体来表示知识，用基于本体的数据挖掘，可以在知识共享、可扩展的基础上全面、准确的挖掘知识，为企业决策支持服务，提高企业的竞争力。本文主要讨论了基于本体的关联规则挖掘，来帮助企业的决策支持，并以铁路CRM决策支持为例作了介绍。
管件液压成形技术是结构轻量化的一种先进制造技术，非常适合于制造各种空心结构件。管件液压成形影响因素多，成形过程复杂，不易确定最优控制参数，并且成形过程是在模具内部进行，工艺实验中不易对零件的成形过程进行实时研究，计算机模拟技术作为研究管件液压成形工艺的主要研究手段，近几年得到了飞速的发展，本文介绍了该领域的研究进展，并结合实例对轴对称零件和非对称零件的管件液压成形的模拟结果进行了分析，揭示了计算机
完成了基于LabVIEW虚拟示波器各功能模块的详细设计，包括数据采集、触发控制、波形显示、频谱分析、数据存储、参数测控制、记忆显示控制、显示图片控制结构、示例信号控制等九个功能模块，并给出了具体的设计方法和实验结果。最后，论文针对基于声卡的虚拟示波器进行了系统测试和整体性能分析，结果表明该虚拟示波器实现具有形象、生动的演示效果，达到了预先的设计要求。可以有效地辅助于数字信号处理、信号与系统等课程的
随着高等学校教育现代化改革的深化，针对多数高等学校各学院存在许多独立的各学科的小型题库，本文提出一种大型多学科通用题库设计模型，能够使全校各个独立的题库系统进行自动化集中管理，从而能建立统一的题库应用系统。本模型利用数据库管理系统的模板技术，把数据量极大的多学科题库分解成多个学院子题库系统，按题型分类设计出各学科通用的，可扩展的学院子题库系统，并提出了符合教育测量学原理的按“知识点”为中心的题库评
图论是离散数学的主要分支之一。图论模型是描述离散对象之间关系的一个数学工具。本文用有向图模型(包括不加权图、加权图和多重图)刻画一个文件格式集合的可转换性和转换质量。对页面描述文件给出了完整的模型实例。与普通文字和表格相比较，本文的模型具有更好的整体性和可视性，可以为图论教学提供数学建模的实例。
为了解决“信息孤岛”问题，提高资源的共享效率，校园信息系统集成成为数字化校园建设目前迫切需要解决的问题。本文首先分析了信息系统集成的一般模型，然后提出一种将数据仓库和中介系统相结合的集成框架，利用该框架能够方便地实现校园内各信息系统的松耦合集成，同时能提高信息查询的效率。