|
搜索
搜 索
高等教育领域数字化综合服务平台
小学美术学具
产品详细介绍
华茂集团股份有限公司
2021-08-23
小学自然学具
产品详细介绍
华茂集团股份有限公司
2021-08-23
小学美术学具
产品详细介绍
华茂集团股份有限公司
2021-08-23
小学自然学具
产品详细介绍
宁波保税区远东文教用品有限公司
2021-08-23
小学美术学具
产品详细介绍
宁波保税区远东文教用品有限公司
2021-08-23
小学美术学具
产品详细介绍
杭州市瓶窑文教用品有限公司
2021-08-23
小学自然学具
产品详细介绍
江苏大丰丰文集团有限公司
2021-08-23
小学自然学具
产品详细介绍
江苏大丰丰文集团有限公司
2021-08-23
基于激光点云数据的三维建模应用实践
本书共11章,第1章阐明了研究背景与意义,国内外研究现状,研究对象概况,三维建模技术方法;第2~6章分别介绍了海清寺的阿育王塔,万年宝鼎,关圣帝君像,浮雕长廊三维建模的技术方法;第7~9章分别介绍了淮海工学院苍梧校区的欣园亭,化工工程学院实验楼,测绘工程学院集中办公区三维建模的技术方法;第10~11章分别介绍了石灰岩矿与地质灾害体的三维建模与应用技术方法.
江苏海洋大学
2021-05-06
一种基于模型转换的CPS建模与验证方法
本发明提出了一种基于模型转换的CPS建模与验证方法，主要用于处理CPS建模与属性验证问题，本发明涉及到的关键操作包括：(1)采用HybridUML对CPS进行建模，并将所建HybridUML模型转换为微分动态逻辑方法的操作模型混合程序Hybrid？Programs。(2)将得到的Hybrid？Programs根据定理证明器KeYmaera的输入格式，生成输入代码，在KeYmaera中进行推理验证。
东南大学
2021-04-10