|
搜索
搜 索
高等教育领域数字化综合服务平台
一种基于深度增强学习的代数应用题自动求解器
高校科技成果尽在科转云
电子科技大学
2021-04-10
小学数学数与代数部分教学挂图
宁波华茂文教股份有限公司
2021-08-23
中学数学数与代数教学挂图
宁波华茂文教股份有限公司
2021-08-23
微分代数时序动态逻辑的CPS属性验证方法
可有效用于对CPS进行系统建模、属性规约和属性验证。
东南大学
2021-04-10
基于代数曲面的高精度物理建模与绘制
高精度物理建模和成像计算技术是一直是计算机图形学、计算机动画、科 学计算可视化、计算机辅助几何设计等领域的研究热点，近年来广泛应用在虚 拟现实、数字影视游戏、数字医疗与康复、仿生工程以及三维打印等领域。 本项目针对上述应用领域需求，开展以下几个方面的内容研究： 1）基于中间复形曲面的复杂形状逼近理论和方法； 2）基于代数曲面的高精度碰撞检测和距离计算； 3）基于中间复形网格的变形计算方法； 4）复杂拓扑物体受力分析、物体结构加固方法； 5）复杂拓扑形状的高精度绘制算法。 本项目旨在通过对上述内容的研究，为开发高度真实的三维虚拟手术模拟 系统、人体器官或软组织的高精度三维打印以及仿生装置的加工制造系统提供 51 理论和技术支持，以提升我国在上述领域的创新设计能力和国际竞争力。 本项目获得国家自然科学基金重点项目资助，项目执行期 2014.1-2018.12。
山东大学
2021-04-13
基于HybridUML向微分代数程序转换的CPS建模与验证方法
本发明提出了一种基于HybridUML向微分代数程序转换的CPS建模与验证方法，实现了由HybridUML模型向DAP的转换，并依据微分代数动态逻辑(Differential-AlgebraicDynamicLogic，DAL)推理规则对CPS实例进行验证。该方法使用HybridUML对CPS进行建模，将其转换成DAL的操作模型DAP，并且基于DAL对CPS属性进行验证。
东南大学
2021-04-10
大规模代数系统新型快速算法及与信息科学的交叉研究
成果描述：旨在为大规模代数系统设计新型高效的求解算法，并结合信息科学进行交叉研究。在大规模代数系统新型Krylov子空间算法及其基础理论、复杂电磁计算、图像处理高性能数值方法、动力系统与智能控制理论方面进行了系统深入的研究，取得了具有创新性的成果，例如：解决了科学计算中的有关基础或困难问题；提出了Lanczos双共轭A-标准正交短递归Krylov子空间迭代法BiCOR/CORS/BiCORSTAB方法、一种新的“二维双连续投影(2D-DSPM)方法”等一系列高效算法；为求解复杂电磁问题产生的复杂线性系统设计了高效算法与预条件技术；提出了一些新型高效的边界处理、图像复原方法，具有更快的计算速度和更好的复原质量；将数值代数与特殊矩阵分析和神经网络交叉研究取得成果。市场前景分析：本成果隶属于计算数学学科的数值代数领域，是数学基础理论研究。本项目着眼于科学与工程问题当中的难于解决的数学问题的快速算法及其理论研究，在国民经济和国防安全的若干大数据领域具有重要的学术和应用价值。因此，本成果不涉及经济效益，亦不涉及直接应用。与同类成果相比的优势分析：主要成果发表在国际权威期刊上，构建的新方法新理论得到了权威专家的高度评价，相关工作引起了国内外同行的广泛关注与引用。通过国际合作，本项目提出的相关快速算法已通过国际合作研究被法国INRIA、法国LAPLACE国家实验室、荷兰格罗宁根大学等国际知名研究机构用于解决科学计算中的大规模代数方程组求解难题。
电子科技大学
2021-04-10
大规模代数系统新型快速算法及与信息科学的交叉研究
旨在为大规模代数系统设计新型高效的求解算法，并结合信息科学进行交叉研究。在大规模代数系统新型Krylov子空间算法及其基础理论、复杂电磁计算、图像处理高性能数值方法、动力系统与智能控制理论方面进行了系统深入的研究，取得了具有创新性的成果，例如：解决了科学计算中的有关基础或困难问题；提出了Lanczos双共轭A-标准正交短递归Krylov子空间迭代法BiCOR/CORS/BiCORSTAB方法、一种新的“二维双连续投影(2D-DSPM)方法”等一系列高效算法；为求解复杂电磁问题产生的复杂线性系统设计了高效算法与预条件技术；提出了一些新型高效的边界处理、图像复原方法，具有更快的计算速度和更好的复原质量；将数值代数与特殊矩阵分析和神经网络交叉研究取得成果。
电子科技大学
2015-01-14
酸性硅溶胶的应用
酸性硅溶胶，又称硅酸水溶胶，是一种高分子二氧化硅微粒分散于水中的胶体溶液。
东莞市惠和永晟纳米科技有限公司
2025-03-27
关于酸性硅溶胶的应用领域
酸性硅溶胶具有独特的性能特点，因此在多个领域都有广泛的应用
东莞市惠和永晟纳米科技有限公司
2025-03-27