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