首页>中文会议>其他>全国第十五届离散数学学术研讨会

全国第十五届离散数学学术研讨会

召开年：2010
召开地：南京
出版时间： 2010-08

主办单位：中国人工智能学会

会议文集：全国第十五届离散数学学术研讨会论文集

会议论文

热门论文

全部论文

全选（0）

1.对多值连接符的研究
- 冯玉明;陈飞翔;杜祥林
- 《全国第十五届离散数学学术研讨会》 | 2010年
摘要：在广义De Morgan格上对两种多值连接符做了进一步的研究。证明了两个区间的连接仍然是一个区问。rn 最后，给出了这两种多值连接符的一些性质。
2.集合特征码及其应用研究
- 王树西;夏增艳
- 《全国第十五届离散数学学术研讨会》 | 2010年
摘要：在传统的集合运算过程中，集合中的元素一般是通过自然语言表示，而不是形式化表示，这就在计算机处理中影响了集合运算的效率。为了解决这个问题，创新性地将二进制引进到集合运算过程中，提出集合特征码的概念，并定义了一系列的集合特征码运算规则，从而形成了一个较为完备的、形式化的集合特征码运算体系。实验结果表明：通过集合特征码，集合运算可以在计算机中通过0、1运算实现，可以成功实现数据库中的查询操作。
3.一种改进的最短路径算法
- 王树西;夏增艳
- 《全国第十五届离散数学学术研讨会》 | 2010年
摘要：求最短路径，是一个应用很广泛的问题，求最短路径的算法有很多，公认较好的算法是由Dijkstra于195g年提出的标号法。但是算法实验表明，标号法有需要改进的地方：①算法的退出机制对有向图有可能无效，甚至会陷入死循环；②标号法没有涉及最短路径上顶点的邻接点问题；③标号法没有涉及多个顶点同时获得p标号的问题。针对上述问题，本文对标号法进行了改进。算法实验表明，改进的标号法能够有效解决上述问题。
4.网络传输介质电气性能预测值的区间估计
- 解文彬;逯燕玲
- 《全国第十五届离散数学学术研讨会》 | 2010年
摘要：阐述了综合布线系统中星型网络拓扑结构的特点和传输介质双绞线电气性能，建立了分析双绞线电气性能参数的关系矩阵，阐述了在综合布线工程建设之初，准确预估出所设计的网络传榆介质的整体电气性能，并以此为基础指导和优化网络设计方案，从而取得较好的网络数据传输性能。
5.图的同构
- 蒋强荣
- 《全国第十五届离散数学学术研讨会》 | 2010年
摘要：提出了同构的有关定理及其证明；提出了n个顶点的无向简单图中不同构图的公式及其证明；定义了一种新的图的运算，即图的逆运算并提出了与其有关的定理和证明。
6.命题逻辑推理的一个代数化证明方法
- 王礼萍
- 《全国第十五届离散数学学术研讨会》 | 2010年
摘要：尝试利用吴方法的定理机械化证明来对逻辑推理的有效性进行自动证明。从而也得到命题逻辑推理的一个代数化证明方法。
7.微处理器仿真系统软件体系结构分析
- 张利兵;王礼萍
- 《全国第十五届离散数学学术研讨会》 | 2010年
摘要：对微处理器仿真系统模型与仿真方法进行了探讨，对软件仿真进行了形式化定义，从指令仿真平均消耗时间上对不同软件仿真方法进行了比较。仿真模型和方法的分析对仿真系统软件体系结构的建立具有指导作用，结合其他关键因素的讨论，对仿真系统软件体系结构建立中的主要问题进行了阐述。
8.广义离散动力系统的回复性、传递性及混合性
- 宋晓倩;冯玉明
- 《全国第十五届离散数学学术研讨会》 | 2010年
摘要：设(X，d)为紧致度量空问，F={fk}∞k=1为X上的连续映射序列。rn 设x0∈X，定义×1=f1(x0)，x2=f2(×1),…,xn+1=fn+1(xn)，…，n=0,1，2，…,则称(X，F)为广义离散动力系统。介绍了几个新定义，并且通过这些新定义研究了广义离散动力系统的基本性质，推广了已有的离散动力系统的研究范围，为日后应用奠定了基础。
9.平衡损失函数下指数分布的可靠性分析：记录值样本情形
- 王亮;师义民;王彩玲
- 《全国第十五届离散数学学术研讨会》 | 2010年
摘要：在记录值样本下，讨论了指数模型在平衡损失函数下的可靠性指标的经验Bayes估计问题。分别在平衡均方损失和Linex损失下得到了可靠性指标的Bayes估计，利用ML-II方法获得了相应指标的经验Bayes估计。最后利用Monte-Carlo模拟方法给出了一个数值模拟例子，研究了估计结果的精确性。
10.基于GIS的神经网络建模研究
- 刘婉玲;张秋凤;张桂芸
- 《全国第十五届离散数学学术研讨会》 | 2010年
摘要：GIS(地理信息系统)是一种采集、存储、管理、分析、显示与应用地理信息的计算机系统，是分析和处理复杂海量数据的通用技术系统。利用人工神经网络能够较好地处理非线性问题的特点，将GIS与神经网络结合起来，研究基于GIS的神经网络建模。
11.Web使用挖掘中Apriori算法的改进
- 张秋凤;杨少青;张桂芸
- 《全国第十五届离散数学学术研讨会》 | 2010年
摘要：关联规则是数据挖掘的重要研究课题之一，Apriori算法是关联规则的重要算法。近几年，Apriori被广泛地应用于数据挖掘领域，并频繁地被从不同使用角度改进。笔者在阐述Apriori算法的思想并将其应用于Web使用挖掘后，提出了一种Apriori算法优化方法，优化后的算法缓解了Apriori算法本身缺陷所引发的问题。最后通过实例说明它相对于原算法的优势所在。
12.求关系的传递闭包的新算法
- 赵成斌;宋方敏
- 《全国第十五届离散数学学术研讨会》 | 2010年
摘要：解决关系的传递闭包问题的经典算法为warshall算法，其时间复杂度为O(n3)，空间复杂度为O(n2)。文章提出求解该问题的新算法，其平均时间复杂度和空间复杂度均为O(n2)。
13.顶点覆盖问题的一种近似算法
- 王克俭;郭涛;陈晨
- 《全国第十五届离散数学学术研讨会》 | 2010年
摘要：顶点覆盖问题就是对给定的一个无向图，找出图的最小顶点覆盖集。这个问题是一个NP-完全问题。通过对图论的原理进行分析和研究，提出了一种近似算法求顶点覆盖问题，该算法易于理解，获得了较好的实验结果，提高了算法的性能。
14.谈谈“计算”的本质
- 刘苗
- 《全国第十五届离散数学学术研讨会》 | 2010年
摘要：从计算方式的演变、可计算性、计算的模型等方面介绍了“计算”的本质，最后谈到了未来计算方式的发展方向。
15.离散数学课程实验教学探讨
- 王莹
- 《全国第十五届离散数学学术研讨会》 | 2010年
摘要：离散数学是计算机科学与技术专业的一门重要基础课，搞好教学，不但能为学生学好后续课程奠定坚实的教学理论基础，而且有利于培养学生的计算机数学思维，并且在进一步的学习和工作中适应本学科专业的发展。本文结合教学实践和离散教学课程教学的特点，讨论了在离散数学课程教学中增加实验教学环节的必要性，提出了离散数学课程实验教学的一些具体计划。
16.数据挖掘在离散数学课程能力分析的应用
- 梁道雷;何利力;陈海波
- 《全国第十五届离散数学学术研讨会》 | 2010年
摘要：利用数据挖掘技术分析了离散教学课程能力的培养。首先建立学生成绩的数据仓库，利用教据挖掘技术中对比概念描述方法对历年不同专业和不同性别学生进行各种能力分析，并提出了相应的教学内容和教学方法的改革措施。
17.研究性教学方法在“离散数学”教学中的实践与探索
- 裴振奎;徐九韵
- 《全国第十五届离散数学学术研讨会》 | 2010年
摘要：研究性教学是创设一种类似科学研究的情景和途径，让学生在独立的学习和研究过程中，学习知识、分析和解决问题、培养创造能力和创新精神的一种教学方式。研究性教学作为高校教学改革的一个突破口，越来越受到教育界的重视。离散数学是计算机科学与技术专业的一门重要的核心专业基础课，把研究性教学策略引入到离散数学课程中并且进行实施，对于激发和增强学生的学习兴趣，培养计算机专业大学生的创新思维和综合能力具有十分重要的意义。
18.离散数学在线实践系统的设计与实现
- 陈宇;张健;郭继峰
- 《全国第十五届离散数学学术研讨会》 | 2010年
摘要：为解决离散数学课程实践教学中出现的问题，开发出一套离散数学在线实践系统。该系统能使考生注册并登录后，既可参加离散数学在线考试又可参加在线的实践练习。rn 题目类型分为选择题、填空题、判断对错、程序设计题等，由计算机当场自动评判提交的结果。现场考试使用身份识别系统进行身份验证，保证了在线实践系统的安全性。
19.以计算机科学为指导的离散数学课程改革与实践
- 李丽双;林鸿飞;李丽华;宋和平
- 《全国第十五届离散数学学术研讨会》 | 2010年
摘要：以计算机科学发展的需要为指导，将离散数学课程体系融入到计算机科学之中。针对当前离散数学的教学难点，提出离散教学课程体系的改革原则和知识体系建设框架，对课程的实验教学建设构建了实施模式，并通过设计教学网站拓展课堂教学功能，从而顺应学生专业延展，提高离散数学的教学水平，强化计算机应用学科的感染力。
20.树的一种矩阵判断方法
- 马千里;李世群;赵雨清
- 《全国第十五届离散数学学术研讨会》 | 2010年
摘要：树是图论中重要的概念，它在计算机科学、电网络问题及经济生活中都有着广泛的应用，因此树的判断很重要，但一般教材上给出的几种判断方法对于编程不方便。本文给出用邻接矩阵判断的一种新方法。这种方法便于编程运算,而且给出了程序。
21.代数系统中的数学思想及同构(同态)的初等诠释
- 吴明芬;汪立民
- 《全国第十五届离散数学学术研讨会》 | 2010年
摘要：在十多年离散数学本科教学实践基础上，通过时离散数学课程中代数系统模块的研究，本文首先提炼和总结了蕴涵在代数系统中的现代教学思想方法，从更高的观点去把握这部分内容的教学活动。其次，将抽象代数结构的同构、同态和同态基本定理用初等数学的思想给予了直观解释和描述。最后介绍了离散教学课程教学实践中的一些经验与技巧。
22.2-赋范环及其性质
- 薛建明;冯玉明;杜祥林
- 《全国第十五届离散数学学术研讨会》 | 2010年
摘要：首先给出了2-赋范环的定义.证明了2-赋范环是拓扑环并研究了2-赋范环和环之间的关系，最后证明了循环环不能成为2-赋范环。
23.改进的共轭梯度法及其全局收敛性
- 刘金魁;杜样林;赵勇
- 《全国第十五届离散数学学术研讨会》 | 2010年
摘要：给出一类改进的求解无约束最优化问题的共轭梯度类法。在强Wolfe线搜索条件下，证明了新方法能够保证在每一步产生一个充分的下降方向，并通过简单的方法证明了新方法具有很好的全局收敛性。数值试验表明，新方法是非常有效的，能够用于广泛的科学计算。
24.蚂蚁聚类算法的无信息素模型综述
- 涂爱玲;王开池;王锦彪
- 《全国第十五届离散数学学术研讨会》 | 2010年
摘要：算法研究学者中最早研究蚁群基于信息素行为特征的是DENEUBOURG[1,2]。但是，1991年他却创建了无信息素的蚁群聚类算法模型[3]。通过对蚁群聚类算法无信息素模型历史发展的观察和研究，提出了“客体信息素”的新概念，并指出民航机场设置及选址中应用蚁群聚类算法的可行性。
25.《离散数学》双语教学研究
- 陈琼;吴婷婷
- 《全国第十五届离散数学学术研讨会》 | 2010年
摘要：双语教学是当前高等院校的重要的教学形式。通过调查问卷，了解和分析离散数学双语教学实施情况。rn 利用数据挖掘技术分析调查结果，对双语教学的教与学的各因素的关联关系等进行深入分析，为教学计划的制定和教学活动的开展、提高双语教学质量提供科学的指导。
26.数集在不同进制下对应形式语言的研究
- 郭泽宇;朱洪
- 《全国第十五届离散数学学术研讨会》 | 2010年
摘要：本文研究了整数b>1的正整数次幂所构成的集合在不同进制下所对应的形式语言。通过泵引理，证明了该集合在b进制下对应的语言是正则语言。但在某些进制下对应的语言不是上下文无关语言。
27.图的运算
- 蒋强荣
- 《全国第十五届离散数学学术研讨会》 | 2010年
摘要：给出了图的基本运算，包括两个图的并、交、差、对称差运算，一个图的补运算。文章定义了5个新的图的运算，即图的逆运算、图的自反闭包运算、对称闭包运算、传递闲包运算和两个图的复合运算，并给出了图的所有运算的矩阵表示以及求传递闭包的两种算法。本文还给出了二元关系与图的关系及其计数之间的关系。
28.基于Petri网的信道复用技术的改进
- 邵长明;宋文;唐俊;曹宏报;王欢
- 《全国第十五届离散数学学术研讨会》 | 2010年
摘要：发送一接收者问题可以看作处理共享资源的一个代表性问题。已有文献对其进行了建模与验证，提出了不同的用户通过轮转使用信道的策略，使不同的用户共用同一信道。rn 考虑到信道的利用率及对共享资源带来的冲突，用栈技术对这一问题进行了分析与验证，给出了一个应用性更强、应用范围更广的Petri网模型。
29.基于概念格的病历库辅助诊断系统
- 张凯;段禅伦
- 《全国第十五届离散数学学术研讨会》 | 2010年
摘要：用形式概念分析理论描述了案例库和待诊病人症状，系统由实际的案例库生成知识库，然后通过计算待诊病例到病历库各类病例间的距离来获得初步诊断。重点研究了病历文本的症状特征提取，通过对互信息和χ2统计的研究，根据其各自的缺陷，提出了一种新的病历文本特征提取算法。通过此算法可以提取出更具代表性的病历特征项。以及针对病历文本聚类所面临的维数高、稀疏向量等问题，提出了一种基于概念格的病历文本聚类算法，且该算法不需要评价函数。
30.Riordan矩阵的乘积分解
- 谭明术;张世凡
- 《全国第十五届离散数学学术研讨会》 | 2010年
摘要：从Riordan矩阵的定义出发，将其矩阵的元素表示为另外两个下三角矩阵的元素乘积之和，从而得到其具有递归形式的乘积分解。考察了所得分解在Pascal矩阵和Bell矩阵分解中的应用。
31.基于SVM的高校助学贷款评审方法研究
- 杨少青;吴斌荣;张桂芸
- 《全国第十五届离散数学学术研讨会》 | 2010年
摘要：支持向量机(SVM)是统计学领域新近发展起来的一种专门解决小样本情况下机器学习问题的智能学习技术。本文就高校助学贷款拖欠率逐年升高这一热点问题，探索使用SVM技术定量构建贷款评审模型，为助学贷款的合理执行提供了新的途径。文中使用SVM中常用的多项式与径向基核函数时样本进行评审体系构建，并与BP神经网络的处理结果进行了比较，最后给出了对此研究领域的展望。
32.求解中国旅行商问题的几种智能算法
- 丛二勇;李国强;曹颖
- 《全国第十五届离散数学学术研讨会》 | 2010年
摘要：旅行商问题(TSP)是一个典型的组合优化问题，是一个NP难题，易于描述却难于求解。对于中国旅行商问题(CTSP)，目前仍未有非常有效地求解方法，如何快速有效地求解CTSP问题有着重要的理论价值和实际意义。rn 介绍了目前求解旅行商问题较为有效的3种智能算法：遗传算法、蚁群算法、模拟退火算法，给出了计算结果并简单阐述了其优缺点。
33.农科类高校《离散数学》的教学思考
- 郝建民;张军本
- 《全国第十五届离散数学学术研讨会》 | 2010年
摘要：现代教育环境下，教育技术的迅猛发展导致人们对整个数学的看法有了明显改变，比如更加突出了数学实验和用数学作为工具进行理论分析的做法；把探索和发现看作数学教学过程的重要组成部分，因为探索和发现可以使学生更加自信，可以培养学生用数学的思维进行科学研究的能力等。本文阐述了离散教学对农科院校培养人才的重要作用，提出了搞好离散数学教学的具体做法。
34.离散数学网络辅助教学系统设计与实现
- 钟敏;徐九韵
- 《全国第十五届离散数学学术研讨会》 | 2010年
摘要：离散教学是计算机科学中专业基础理论的核心课程。基于Web的网络辅助教学系统是离散数学课程建设的一个重要组成部分，是课堂教学的延续和深化。本文首先简要介绍了三层架构思想和ASP.NET技术。然后详细论述了基于web的离散数学网络辅导系统的分析、设计和实现关键技术。最后，对系统的进一步完善提出了方案。
35.MATLAB在“图论”课程教学中的应用
- 裴振奎;徐九韵
- 《全国第十五届离散数学学术研讨会》 | 2010年
摘要：图论算法广泛应用于自然科学、管理科学、社会科学等众多学科领域。图论算法是计算机科学与技术的核心，在计算机科学领域中，图论对开关理论与逻辑设计、人工智能、形式语言、计算机制图、操作系统、程序的编写以及信息的组织与检索等起着重要作用。在图论课程教学中使用MATLAJB，有助于学生对所学抽象理论与算法的理解，寓理论教学、实验演示于一体，教与学相结合，这样可以大大提高学生对问题的理解能力、动手能力和科研实践能力。
36.可拓分类方法及其在课堂教学质量评价中的应用
- 吴斌荣;刘婉玲;张桂芸
- 《全国第十五届离散数学学术研讨会》 | 2010年
摘要：可拓分类是利用可拓集合和可拓推理规则对事物的归属进行分类，适用于发展变化的物元的分类。将可拓分类方法应用于课堂教学质量评价，用可拓集的形式建立评价数据的评价模型，利用关联函数表示评价数据和评价参教指标的关联度，根据权系数来衡量评价指标的重要性，突出了评价的科学性和准确性。
37.关于《离散数学》图论教学的思考
- 孙玲琍;李治
- 《全国第十五届离散数学学术研讨会》 | 2010年
摘要：《离散数学》是计算机科学与技术、信息与计算科学等专业的核心骨干课程，而图论又是《离散数学》课程的重要组成部分。图论部分教学对培养学生的数学建模能力、抽象思维能力具有重要作用。笔者根据自己的教学体会从教学方法上对怎样提高图论教学质量进行了探讨。
38.离散数学概念通俗化比喻在教学中的应用
- 朱怀宏;王书营;夏黎春
- 《全国第十五届离散数学学术研讨会》 | 2010年
摘要：针对离散数学教学中存在的概念多且抽象难以理解的困难，结合一些常见的改革方式，重点探讨、实践了抽象概念通俗化比喻在教学中的应用。从使用目的、对教师的要求、方法的实际运用及教学效果等方面进行了讨论。
39.在《离散数学》的教学中诠释其应用
- 张清华
- 《全国第十五届离散数学学术研讨会》 | 2010年
摘要：根据学生学习离散数学的困难性，阐述了离散数学在计算机科学等领域的应用及其重要性，主要诠释了数理逻辑、集合与关系、代数系统和图论等部分的应用情况，并结合自己离散数学教学的实际经验，讨论了如何调动学生学习离散教学的积极性。
40.由一族超运算得到的模糊超运算
- 冯玉明;薛建明;杜祥林
- 《全国第十五届离散数学学术研讨会》 | 2010年
摘要：在一个广义De Morgan格上，定义了一族超运算，然后利用它们来构造一个模糊超运算，最后得到了该模糊超运算的一些性质。