基于建构主义的离散数学教学探讨

将建构主义理论应用于离散数学的教学实践中,在教师课前准备、课堂授课和学生课后复习等环节作了有益的尝试。教学实践表明,在建构主义理论指导下的教学方法能够有效地提高学生的学习兴趣,加深他们对课程内容的理解。     

离散数学课程教学探讨

《离散数学》是计算机科学与技术专业的一门基础课。分析离散数学的教学现状,结合几年的教学实践和经验,总结了几种教学方法。     

深度学习思想指导下的离散数学教学实践

为了让应用型本科院校的学生更好地学习离散数学这门重要的专业基础课,针对此门课程内容抽象、知识点繁多以及很难应用到实际等问题,文章以深度学习的诸多要素作为教学的目标与指导方针,对离散数学的教与学方面进行探索与研究,提出以深度学习为指导思想的教学手段与教学方法.实践表明这些方法与手段在实际的教学过程中提高了学生对该课知识点...     

离散数学绪论课教学

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

提高留学生学习兴趣的离散数学实践教学探索

离散数学内容丰富、概念多、定理多、抽象性强,加上很多留学生的数学基础比较薄弱、理解能力差,因此部分留学生学习兴趣低、学习困难。为此,提出对留学生离散数学的教学进行改革。改革的主要内容包括添加应用性教学内容、引入实践环节、建设题库和改革考核方式等。教学实践表明,这些举措有效地提高了留学生学习离散数学的兴趣、减轻了学习难度,培养了学生应用所学理论解决实际工程问题的能力。     

计算机专业的离散数学教学探讨

《离散数学》是计算机专业的一门专业基础课,也是计算机专业学生的必修课。但由于课程的特点,致使许多学生产生厌学情绪。该文结合教学实际与教学经验,从教材、教法角度探讨,提出加强理论联系,强化实际应用,力求达到教与学的完美结合。     

软件工程专业离散数学的教学思考

离散数学是软件工程专业的一门重要专业基础理论课,是学生学习后续课程的基础,对提高学生的抽象思维与逻辑思维能力有重要的作用。文章根据高校软件工程专业人才培养的特点,结合教学实践,探讨了教学内容、教学方式等方面的改革。实践证明,该方案对于提高课程教学效果,促进学生各方面能力的提高起到了很好的作用。     

离散数学的双语教学实践

本文以我校近几年针对信息与计算专业学生开设"离散数学"课程双语教学为例,对相关的问题进行了归纳总结,并就如何有效提高"离散数学"双语教学质量和效果总结出了一些看法和建议。     

离散数学教学手段研究

离散数学课程的教学效果直接影响到学生后续课程的学习。文章提出在教学过程中适当结合当代信息技术利用类比方法和不断灌输数学思维方法等手段,可以达到充分调动学生的学习积极性的目的,较好地提高离散数学课程的教学效果。     

通识教育与离散数学教学

文章通过介绍通识教育的内涵与来源,窥探我国教育发展的现状,分析实施通识教育的原因以及实施过程中存在的主要问题。通过概述离散数学的主要组成,探讨离散数学独特的教学内容与教学方法对通识教育的重大影响。     

离散数学课程教改的研究与实践

离散数学是计算机科学与技术各专业的核心、骨干课程,搞好本课程的教学,对学生后续课程的学习和今后的科研工作均具有十分重要的意义。本文结合教学中的一些认识,就如何改革传统教学模式,采用现代教学手段提高教学质量作了较为深入的分析与探讨。     

数学文化融入离散数学的教学研究

"离散数学"是计算机和信息类专业中一门重要的专业基础课程,在分析当前数学文化融入离散数学教学现状的基础上,结合离散数学教学实践,从融入的前提、融入的方式和融入度的把握等方面,对课堂教学中如何充分融入数学文化进行探讨。     

凸显计算机专业特色的离散数学教学研究与实践

离散数学是计算机专业的一门重要基础课,对离散数学的教学研究一直是从事计算机教育工作者关注的热点。文章提出在计算机专业离散数学的教学过程中,教师应避免将该课程讲成一门数学理论课,而是对每一部分应结合计算机领域的相关实际应用背景进行阐述与引入,提高教学的针对性,从而调动学生学习积极性,促进教学质量的提高。     

离散数学教学策略研究

从"大众化教育"阶段的社会环境出发,针对离散数学课程特点,提出"八抓两结合"的教学策略。通过理解对象的物理含义,抓住课程重点,有利于快速掌握课程知识;将相关知识进行比较,总结异同,有利于从全局掌握整个课程;将离散数学与相关课程结合,应用于相关课程,有利于实现课程间的融会贯通。     

Computing Prime Factorization And Discrete Logarithms: From Index Calculus To Xedni Calculus

The integer factorization problem (IFP), the finite field discrete logarithm problem (DLP) and the elliptic curve discrete logarithm problem (ECDLP) are essentially the only three mathematical problems that the practical public-key cryptographic systems are based on. For example, the most famous RSA cryptosystem is based on IFP, the US government's Digital Signature Standard, DSS, is based on DLP, whereas the ECC (Elliptic Curve Cryptography) and Elliptic Curve Digital Signature Algorithm (ECDSA) are based on ECDLP. The security of such cryptographic systems relies on the computational intractability of these three mathematical problems. In this paper, we shall present a survey of various methods for solving the IFP/DLP and particularly the ECDLP problems. More specifically, we shall first discuss how the index calculus as well as quantum algorithms can be used to solve IFP/DLP. Then we shall show why the index calculus cannot be used to solve ECDLP. Finally, we shall introduce a new method, xedni calculus , due to Joseph Silverman, for attack ECDLP; some open problems and new research directions, will also be addressed.     

离散信号和图象的实数形式Gabor变换

定义了用于有限序列和图象表示的实数形式离散Ｇａｂｏｒ变换（ＲＤＧＴ）这种通过将复数形式离散Ｇａｂｏｒ变换（ＣＤＧＴ）的复数Ｇａｂｏｒ基本函数替换成实数Ｇａｂｏｒ基本函数而进行的实数变换,在算法复杂性上与ＣＤＧＴ相比,明显降低,并且由于ＲＤＧＴ与离散Ｈａｒｔｌｅｙ变换（ＤＨＴ）有着相似的形式,从而使得ＲＤＧＴ能够利用快速的ＤＨＴ加速变换,另外,ＲＤＧＴ系数与ＣＤＧＴ系数的实部和虚部之间有着非常简单的     

基于混合离散对数的安全认证研究

文章在研究混合系数的离散对数问题(也即信息不可识别性)的基础上,提供一种新的认证,这种认证比因式分解有更好的安全性,而且从证明者角度看来有更高的效率。最后,基于信息不可识别性,得到一个安全性与因式分解相同的盲签名。     

数字化生产线离散制造过程仿真研究

数字化工厂是目前先进制造技术研究的热点。进行内嵌在生产线数字化制造环境中的离散制造过程仿真研究,建立了面向对象的系统模型,分析了仿真运行机理;同时基于eM-Plant软件开发离散制造过程仿真系统,通过具体的生产线实例说明系统的开发与运行机理,提供数字化生产线离散制造过程仿真研究的有效手段。     

Smoothing Normal Vectors on Discrete Surfaces While Preserving Slope Discontinuities

A new method is proposed which smoothes normal vectors over a discrete surface, preserving slope discontinuities and small details. Assume an estimate of the normal vector at each surface point is known and these estimates are computed from small neighbourhoods such that slope discontinuities and small details are still reflected by these normals. To smooth these normals, the normal vectors at points in a certain neighbourhood are averaged. The size of the neighbourhood considered for the smoothing at a point is adapted according the local surface configuration. The adaptation is performed, depending on the tangent plane at the point considered as well as the angles between the normals at neighbouring points and the normal at the point in question.     

Discrete port-Hamiltonian systems

Either from a control theoretic viewpoint or from an analysis viewpoint it is necessary to convert smooth systems to discrete systems, which can then be implemented on computers for numerical simulations. Discrete models can be obtained either by discretizing a smooth model, or by directly modeling at the discrete level itself. One of the goals of this paper is to model port-Hamiltonian systems at the discrete level. We also show that the dynamics of the discrete models we obtain exactly correspond to the dynamics obtained via a usual discretization procedure. In this sense we offer an alternative to the usual procedure of modeling (at the smooth level) and discretization.