|
搜索
搜 索
高等教育领域数字化综合服务平台
微分代数时序动态逻辑的CPS属性验证方法
可有效用于对CPS进行系统建模、属性规约和属性验证。
东南大学
2021-04-10
基于代数曲面的高精度物理建模与绘制
高精度物理建模和成像计算技术是一直是计算机图形学、计算机动画、科 学计算可视化、计算机辅助几何设计等领域的研究热点，近年来广泛应用在虚 拟现实、数字影视游戏、数字医疗与康复、仿生工程以及三维打印等领域。 本项目针对上述应用领域需求，开展以下几个方面的内容研究： 1）基于中间复形曲面的复杂形状逼近理论和方法； 2）基于代数曲面的高精度碰撞检测和距离计算； 3）基于中间复形网格的变形计算方法； 4）复杂拓扑物体受力分析、物体结构加固方法； 5）复杂拓扑形状的高精度绘制算法。 本项目旨在通过对上述内容的研究，为开发高度真实的三维虚拟手术模拟 系统、人体器官或软组织的高精度三维打印以及仿生装置的加工制造系统提供 51 理论和技术支持，以提升我国在上述领域的创新设计能力和国际竞争力。 本项目获得国家自然科学基金重点项目资助，项目执行期 2014.1-2018.12。
山东大学
2021-04-13
安徽大学陈杰及黄志祥教授团队主导的“大规模多类SAR目标检测数据集-1.0”正式发布
为推动合成孔径雷达(SyntheticApertureRadar，SAR)目标识别等前沿技术发展，安徽大学电子信息工程学院陈杰及黄志祥教授团队联合中国电子科技集团公司第三十八研究所对地观测研发中心邬伯才研究员团队、天地信息网络研究院（安徽）有限公司盛磊研究员团队共同发布一套大规模多类SAR目标检测数据集-1.0（简称为：MSAR-1.0）。
安徽大学
2022-06-01
分布式小型光伏电站系统设计仿真实训
本仿真实训要求学员根据常见60KW以下小型分布式光伏电站项目需求书要求，到现场进行测量、采集项目所需数据，然后回到办公室使用设计软件进行项目设计，并且做出系统分析结果、施工图以及施工材料清单。
1.1. 场景设计
虚拟场景包括办公设计场景，楼顶建筑场景；
场景模型主要包括：办公室建筑模型、办公家具、办公设备、长度测量工具、方向测量工具、楼顶建筑模型等
设计软件模拟包括：阴影阵列分析软件、CAD制图软件、倾角分析软件、系统分析模拟软件
1.2. 互动设计
在办公室里使用电脑了解项目需求书，根据提供的信息收集项目所在位置的地理与环境信息
到现场使用长度与方向测量工具测量设计所需数据
回办公室使用各种专业设计软件对该项目进行系统设计。
广东顺德宙思信息科技有限公司
2025-06-02
分布式小型光伏电站系统施工建设仿真实训
分布式小型光伏电站系统施工建设仿真实训让学员以现场施工工程师的身份根据提供的项目说明书、施工图纸和材料到现场进行小型电站的模拟施工，提高学员的实践能力和动手能力。
1.1. 场景设计
虚拟场景主要由厂户楼顶施工场景组成；
场景模型主要包括：厂户建筑模型、支架基础桩、支架前后立柱、横梁、侧梁、接地扁钢、晶硅光伏组件、边压块、中间压块、接线盒、连接线、直流汇流箱、进线、出线、熔断器盒、断路器、避雷器、逆变器、PVC保护线管、五金螺丝螺母、安全帽、施工工具等
1.2. 互动设计
在施工场景看懂图纸，检查施工物料
根据提示到指定位置使用工具把支架、光伏组件、汇流箱、逆变器一一安装起来
进行组件阵列间串联和并联接线
进行防雷焊接
施工完成后进行投切并网操作
场景植入VR太阳模块，精准计算该项目所在位置的太阳位置，太阳高度角和方位角，在虚拟场景中全时仿真太阳产生的阴影。
广东顺德宙思信息科技有限公司
2025-06-02
Cell | BIOPIC 张泽民课题组合作通过大规模整合生物信息分析揭示泛癌种自然杀伤细胞异质性
2023年8月21日，北京大学生物医学前沿创新中心（BIOPIC）张泽民课题组联合中国科学技术大学彭慧课题组，在国际期刊Cell上发表了题为A Pan-Cancer Single Cell Panorama of Human Natural Killer Cells的研究论文。该研究以生物信息学数据整合为支撑，通过收集大规模单细胞转录组测序数据，系统刻画了自然杀伤（NK）细胞在不同癌症类型和组织之间的异质性，发现了肿瘤微环境（TME）特异富集、杀伤功能异常的NK细胞亚类，揭示了NK细胞与微环境中其他组分的潜在调控关系。
北京大学
2023-08-22
基于HybridUML向微分代数程序转换的CPS建模与验证方法
本发明提出了一种基于HybridUML向微分代数程序转换的CPS建模与验证方法，实现了由HybridUML模型向DAP的转换，并依据微分代数动态逻辑(Differential-AlgebraicDynamicLogic，DAL)推理规则对CPS实例进行验证。该方法使用HybridUML对CPS进行建模，将其转换成DAL的操作模型DAP，并且基于DAL对CPS属性进行验证。
东南大学
2021-04-10
一种基于深度增强学习的代数应用题自动求解器
高校科技成果尽在科转云
电子科技大学
2021-04-10
一种规模化农田无线物联网智能滴灌系统及方法
本发明涉及一种规模化农田无线物联网智能滴灌系统及方法，属于高效节水灌溉技术领域。本发明所述的规模化农田无线物联网智能滴灌系统包括远程控制中心、若干测控模块、田间滴灌系统和终端，实现全无线化的控制传输，提出了针对滴灌田间测控模块的降耗休眠措施，同时测控模块标识有专用信息，通过便携式终端读取即可完成测控模块定位、读取、设置等管理操作，解决规模化农田智能化滴灌系统功耗高、布置困难、管理复杂的问题；同时降低了规模化农田的智能滴灌系统的搭建投入，提高管理效率。
中国农业大学
2021-04-11
蚓粪优质基质的规模生产
以蚓粪的高附加值利用为核心，通过蚯蚓处理有机固体废弃物的产物，根据不同蔬菜和花卉等植物苗期对育苗土壤和养分的特殊需求，按需配制植物的专用育苗基质，实现蚓粪育苗基质的工厂化生产。本成果已形成了完整的工艺流程和技术体系，建立了操作规范和产品质量标准。
扬州大学
2021-04-14