排序方式: 共有11条查询结果,搜索用时 31 毫秒
1.
2.
在分析离散数学教学内容和计算思维的内在关系基础上,从教学内容和教学手段两个方面进行了一定的探索,将计算思维的培养有机地结合到离散数学的教学过程中,对离散数学教学内容所蕴含的计算思维方法进行了提炼。同时,采用归纳学习法和案例驱动教学法开展教学手段改革,适时地将计算思维穿插在离散数学的教学过程中。 相似文献
3.
4.
本文证明了一个关于凸n边形面积的不等式猜测在n=8时的正确性,并对n=9的情况做了讨论。首先将这个最优化问题转化为多项式不等式方程组的实解的存在性问题;其次通过分析最优图形给出了一些化简不等式方程组和减少系统自由变元的方法;利用符号计算等方法建立了一个半机械化方法求多项式方程组作为约束条件的非线性规划问题准确
解。 相似文献
解。 相似文献
5.
线性互补问题的高效能算法在大规模科学计算与工程中至关重要。而两步迭代法是一个适合求解大规模问题的有效算法。基于非对称逐次超松弛迭代法和投影共轭梯度迭代法的思想,文中提出了一类求解系数矩阵为三对角非对称M矩阵的线性互补问题的USSORP-PCG算法——两步迭代法。在建立算法收敛性定理之后,证明了算法的收敛性。数值例子通过扩大系数矩阵的规模,并与逐次超松弛迭代法比较来验证算法对于大规模问题具有高效性和良好的收敛性。 相似文献
6.
SAT问题在人工智能、计算机基础理论研究和人工智能等领域有着广泛的应用,近年来,证明该问题的可满足性取得了巨大的成功,但在求出SAT问题的所有解方面还有待进一步研究。利用一个简单的变换,将可满足性(SAT)问题转化为多项式形式,然后根据命题逻辑的性质以及多项式的性质,得到一个求解出SAT问题所有解的算法。实验结果显示该算法是有效和可行的。 相似文献
7.
8.
线性互补问题的高效能算法在大规模科学计算与工程中至关重要。而两步迭代法是一个适合求解大规模问题的有效算法。基于非对称逐次超松弛迭代法和投影共轭梯度迭代法的思想,文中提出了一类求解系数矩阵为三对角非对称M矩阵的线性互补问题的USSORP—PCG算法——两步迭代法。在建立算法收敛性定理之后,证明了算法的收敛性。数值例子通过扩大系数矩阵的规模,并与逐次超松弛迭代法比较来验证算法对于大规模问题具有高效性和良好的收敛性。 相似文献
9.
基于CDIO高等工程教育思想,结合教育部"卓越工程师教育培养计划"以及上海市产学研研究计划,对软件工程专业的教学体系、实践体系、师资队伍建设等进行研究,构建更加符合"卓越计划"培养目标和实施纲要的一体化课程培养体系,以培养理论与实践相结合、技术与市场相融合的软件工程创新性人才。 相似文献
10.
在车载边缘计算单元中,由于其硬件设备的资源受限,开发适用于车载边缘计算的轻量级、高效的交通标识检测模型变得越来越迫切。文中提出了一种基于Tiny YOLO改进的轻量级交通标识检测模型,称为L-YOLO。首先,L-YOLO使用部分残差连接来增强轻量级网络的学习能力;其次,为了降低交通标识的误检和漏检,L-YOLO使用高斯损失函数作为边界框的定位损失。在TAD16K交通标识检测数据集上,L-YOLO的参数量为18.8 M,计算量为8.211 BFlops,检测速度为83.3 FPS,同时mAP达到86%。实验结果显示,该算法在保证实时性的同时,还提高了检测精度。 相似文献