离散数学课程创新教学探索

针对离散数学课程教学实践的状况,分析教学方法和教学过程中的问题产生原因,提出相应的教学创新方法和改革措施,从内容整合创新、立体化教材构建、信息化融合创新、课程思政实施创新、考核模式创新和教学过程改革方面,介绍教学实践过程,以期为提高离散数学课程的教学效果提供创新思路。

串联开排队网络系统

研究了服从负指数分布的N级串联开排队网络系统,采用递推的方式给出了高维马尔可夫过程的转移矩阵,并利用矩阵分析方法得到了系统达到稳态所应满足的充分必要条件。

一类离散时间的Phase-Type分布的逆问题

该文从条件分布向量序列出发研究离散时间的Phase Type分布的逆问题。利用矩阵分析的方法 ,在已知Markov链首达时间的条件分布向量序列的前提下 。

应用型本科离散数学中代数结构课堂教学探讨

离散数学是计算机专业的核心基础课,代数结构是离散数学中重要的组成部分,针对应用型本科高校代数结构内容抽象丰富但课时少的矛盾,结合教学实际探讨代数系统的课堂教学。通过具体的实例来说明如何运用教学理论和方法启发学生自己概括,并运用现代化技术手段提高教学质量和效率。

离散数学绪论课教学

离散数学是计算机专业的核心基础课,在教学中具有特殊的地位和作用。第一堂课是学好离散数学的关键。该文通过三个方面就如何上好离散数学绪论课做了探讨。

6LoWPAN网络节点信道接入延时性能研究

为了优化6LoWPAN网络MAC协议性能,提出了一种基于饱和负载的时隙CSMA/CA机制的Markov链模型,并对协议主要网络参数进行了数学推导。基于该模型对节点平均接入延时及网络的信道接入概率等参数进行数值计算,重点分析了协议参数对网络延时性能的影响。数学分析表明,该模型较好地描述了基于饱和负载的IEEE 802.15.4 MAC协议的信道竞争接入机制,而合理的协议参数设置能够有效地改善网络节点平均信道接入延时性能。

启用节点睡眠态的6LoWPAN网络节能研究

为了降低6LoWPAN网络节点能耗,本文提出了一种启用节点睡眠态的信道竞争接入机制:节点可于超帧退避期内适时睡眠和超帧睡眠期内睡眠。应用该机制对网络MAC协议建模,并对模型进行了数学推导。基于本模型,对节点平均能耗、网络数据包发送稳态概率和数据包服务时间进行了数学分析,并研究了协议参数NB和minBE对网络性能的影响。数学分析表明,该模型较好地描述了6LoWPAN网络信道竞争接入机制,该机制有效降低了节点的平均能耗,协议性能得到较大改善。

圆盘锯片齿宽与齿距的视觉测量研究

圆盘锯片齿宽与齿距长度不均匀严重影响其寿命,目前对其检测多采用人工测量方法,速度慢且精度差。根据视觉测量快速、高精度特点,首先使用阈值分割、特征提取、形态学与亚像素精度技术,处理得到锯片平滑的轮廓,然后结合锯片圆形轮廓及人工测量特点,提出一种新的基于视觉测量的锯片齿宽与齿距测量方法,自动求出锯齿个数、齿宽与齿距长度。实验结果表明,文中的方法平均误差为0.678pix,估计误差为0.068mm。可以应用在高精度测量场合中,且对其它物体的视觉测量研究也有指导性意义。

新Burt-Adelson双正交小波的优化设计

根据小波滤波器的精确重构条件,推导出Burt-Adelson双正交小波滤波器组的参数表达式。该表达式参数可任意取值,因此能够随意构造具有不同特征的Burt-Adelson小波。作为构造实例,构造出一个新的有理系数Burt-Adelson小波,它具有优化的编码增益。实验表明,其图像压缩性能略低于CDF-9/7小波,但优于JPEG2000标准推荐的7/5小波;而且其提升小波变换的计算效率比CDF-9/7小波高20%以上,也优于7/5小波。

基于成绩的学业预警系统的研究与设计

利用信息技术及时分析学生的学业状态并实施学业预警是目前高等院校应对学业危机的重要举措,而学业成绩是其学业状态分析的重要指标,因此依托教务系统数据,设计并研发基于成绩的学业预警分析系统。通过成绩数据获取、预处理、分析与可视化过程,发现学生的学业异常,实施学业预警,同时为学校、教师、学生和家长提供了很好学生学业进程的交流平台。

基于Isabelle/HOL的离散数学实验教学设计与实践

传统的离散数学实验教学,通常使用C、C++等程序设计语言来完成相应的课程验证性实验.学生在花费大量的时间和精力完成程序设计后,依然对程序的正确性没有直观的认识.借助Isabelle/HOL交互式定理证明器工具和形式化方法,构建离散数学实验环境,解决离散数学课程实验教学的直观表达问题以及逻辑推理实验的设置.以二叉树这种离散结构的知识点学习为例,阐述如何使用Isabelle/HOL来完成“离散数学”课程的实验教学设计.通过这种实验教学,能使学生对逻辑演算和推理有清晰的认识,同时培养学生的数学和逻辑思维以及创新、应用能力.

基于智能云控的智能家居交互系统

智能家居的发展逐渐进入深水区,基础应用在生活中比较常见,这种将多种家居设备连接起来统一管理的模式也将继续发展。该篇文章介绍了智能家居的概念以及管理系统的组成,阐述了所涉及的基本技术,提出了一套能够提供第三方兼容的统一云平台智能家居交互系统。

算法竞赛题目推荐系统的设计与实现

文章基于本地在线评测系统和第三方在线评测系统的大量的评测数据,利用基于用户的协同过滤算法,设计和实现了竞赛题目的推荐模块,并将其引入在开源HOJ在线评测平台。该模块通过推荐算法给本地的系统用户推荐合适的算法竞赛题目,提高算法竞赛训练的针对性和效率。

一种基于Sobel与K-means的边缘检测方法

传统边缘检测算子处理结果为边缘锐化的梯度图像,需人为确定阈值获取二值边缘图像,容易造成边缘信息丢失。应用增加了卷积模板的Sobel算子,使用K-means聚类算法基于梯度直方图自适应获取阈值,并分割梯度图像得到二值化边缘,最后对边缘细化与连接。通过使用最大类间方差法检验阈值与边缘检测结果对比分析,该方法自适应梯度阈值定位准确,所得边缘信息丰富度、定位精度、连续性均优于改进Sobel算子,与最佳阈值Canny算子检测结果基本相同,适用于机器视觉均匀稳定照明环境下获取图像的边缘检测。