|
搜索
搜 索
高等教育领域数字化综合服务平台
成都论之道科技有限责任公司
公司成立于2017年，主打产品论无忧学位论文格式检测机器人可以自动分析学位论文格式是否符合学校的撰写规范以及相关的国家标准，支持文本、插图、表格、代码、算法和参考文献等上百个检测项，并将发现的不符合项以批注的形式在原稿中自动标注，指导学生修订相关规范性错误。平台历经7年运营，拥有两百余所高校用户（含40余所双一流、985/211学校），如中南大学、四川大学、电子科技大学、大连理工大学、国防科技大学、西安电子科技大学、北京邮电大学、中国矿业大学（徐州和北京）、中国地质大学（武汉和北京）、中南财经政法大学、北京体育大学、中国石油大学（华东）、上海开放大学、浙江省委党校等，研究生、本科、党校、军校、开放大学、继续教育、高职均有成功案例，支持800余所高校2000余份模板，百度搜索“论无忧 形式规范|格式 检测 通知”，可以看到上百所高校发通知把格式检测作为学位授予的一个必备环节。
成都论之道科技有限责任公司
2024-06-20
论无忧-学位论文格式检测机器人
论无忧学位论文格式检测机器人可以自动分析学位论文格式是否符合学校的撰写规范以及相关的国家标准，支持文本、插图、表格、代码、算法和参考文献等上百个检测项，并将发现的不符合项以批注的形式在原稿中自动标注，指导学生修订相关规范性错误。平台历经7年运营，拥有两百余所高校用户（含40余所双一流、985/211学校），如中南大学、四川大学、电子科技大学、大连理工大学、国防科技大学、西安电子科技大学、北京邮电大学、中国矿业大学（徐州和北京）、中国地质大学（武汉和北京）、中南财经政法大学、北京体育大学、中国石油大学（华东）、上海开放大学、浙江省委党校等，研究生、本科、党校、军校、开放大学、继续教育、高职均有成功案例，支持800余所高校2000余份模板，百度搜索“论无忧 形式规范|格式 检测 通知”，可以看到上百所高校发通知把格式检测作为学位授予的一个必备环节。
成都论之道科技有限责任公司
2024-06-20
新时期先锋文学本体论
本书以哲学的眼光,以本体论为视角,对新时期先锋文学进行了深入的剖析,揭示其根源,分析其特点;并分别从诗歌,小说,散文,戏剧等不同文学体裁入手,对先锋文学的发展脉络作了细致的梳理,对深刻认识新时期先锋文学具有积极的意义.
长春大学
2021-04-30
微分代数时序动态逻辑的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
一种基于深度增强学习的代数应用题自动求解器
高校科技成果尽在科转云
电子科技大学
2021-04-10
立体组合地图
1．本外观设计产品的名称：立体组合地图。2．本外观设计产品的用途：本外观设计产品用于向人展示武汉大学四个方面的特色，以图画组合的形式快速地认知武汉大学的地理信息。3．本外观设计产品的设计要点：产品的整体造型。4．最能表明本外观设计设计要点的图片或照片：组合状态立体图。5.省略视图：组件1‑5的左、右、俯、仰视图和组件6的后、左、右、仰视图均不涉及设计
武汉大学
2021-04-14
大规模代数系统新型快速算法及与信息科学的交叉研究
成果描述：旨在为大规模代数系统设计新型高效的求解算法，并结合信息科学进行交叉研究。在大规模代数系统新型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