高等教育领域数字化综合服务平台
云上高博会服务平台 高校科技成果转化对接服务平台 大学生创新创业服务平台 登录 | 注册
|
搜索
搜 索
  • 综合
  • 项目
  • 产品
日期筛选: 一周内 一月内 一年内 不限
多架构系统建模软件
多架构建模软件基于多架构统一建模语言KARMA开发。KARMA语言是一种可读文本式语言,多架构建模指在软件中采用一种建模语言及技术实现多种架构描述及表达的方法。基于KARMA语言,可以实现基于模型系统工程相关语言建模,架构驱动,代码生成,系统行为动态描述,指标分析及验证,数值分析,支持数据显示化(表格,甘特图)、二维固定语法展示及三维固定可视化建模,与工业本体的互转化。 本项目可解决航空、航天、防务、船舶等领域复杂装备研制过程中存在的子系统多、不同部门人员专业语言不通、开发沟通过程困难等问题。用户在基于模型的软件工具环境中,高效的建立各种专业模型,进而实现复杂装备产品开发过程中的自动化开发。 使用本项目不仅可以在系统开发的早期阶段形式化其需求、功能、逻辑、架构等视点,还可以在系统方案初步确认前的概念设计阶段检查系统设计是否满足需求规范,从而极大地降低产品开发的成本与风险。 本项目相较目前市场上现有产品,支持更多建模功能,并可兼容十余种建模语言,具有良好的可扩展性。
北京理工大学 2022-10-24
嵌入式实时系统建模验证工具
为了提高安全关键实时嵌入式软件系统的质量,降低开发成本与周期,并使得软件系统具有可重用、可移植和互操作等特性,基于目前国际标准体系结构描述语言AADL( Architecture Analysis and Design Language)和同步语言Signal,研发了辅助配套软件工具集,可进行系统的可靠性、可调度性、安全性分析,以及自动代码生成,从全生命周期的角度保证系统的可信性质。 本项目主要特点如下。 1.可以插件的形式集成在AADL开发平台OSATE上,支持高可靠性实时系统的软件设计建模; 2.可以提供集成开发环境,将AADL模型转换为TASM模型和UPPAL模型,然后采用相关的模型分析和检测工具进行验证分析,包括可靠性、可调度性、时间属性等分析; 3.可以支持基本的AADL到C,Signal到OpenMP的自动代码生成技术。 目前该成果已指导多个关键实时系统的建模和验证应用,获得国家专利1项。
北京航空航天大学 2021-04-13
一种基于改进的 SVD-Krylov 算法的数控机床进给系统建模方法
本发明公开了一种基于改进的 SVD-Krylov 算法的数控机床进给 系统建模方法,该算法包括如下步骤:基于动力学方程建立数控机床 进给系统的状态空间方程模型;获得原始系统状态空间矩阵,原始系 统和传递函数模型;设定降阶系统阶次,启动多点矩匹配 SVD-Krylov·112·算法进行降阶;输出降阶系统状态空间矩阵,降阶系统及相应降阶传 递函数模型;采用正交实验方法和时间响应法进行降阶算法仿真验证。 提出的降阶建模算法降阶后的模型能够保证渐近稳定,计算效率高, 同时采用迭代
华中科技大学 2021-04-14
3D快速建模系统
集成3D模型、视频、图片等各种素材,提供场景编辑、交互流程设定、渲染等功能,以实现3D模型自动重建的目标。 利用人工智能技术,构建模拟计算的算法和模型,根据数据实时进行仿真计算。 上传一张图片,可以在1分钟以内快速生成三维模型素材。 上传一段视频,可以在1个小时以内快速生成精细纹理三维模型素材。 支持本地化部署,支持分布式部署建模,支持大批量用户同时在线访问。 可实现实体设计、草图绘制、参数化建模和模型编辑功能。 支持导入*.glb、*.stl、*.obj、*.gltf格式模型。 可输出*.glb、*.stl、*.obj、*.gltf格式模型。 全方位的3D场景,上下、左右、前后360度观察模型所在环境,展示效果更逼真。 可以通过造型表面上的多个点来控制造型变形; 可对造型进行扭曲、折弯、锥度等多种变形处理。 可实现边学习边实操的教学模式,支持创建学习资源或教学课件。 可直接在软件里拖曳云盘中的三维模型,也可以将软件中模型直接上传到云盘。 系统采用PBR材质,基于物理的着色技术,最大程度还原工作环境,提高用户沉浸感; 采用LOD技术处理复杂场景的绘制,使软件运行更加流畅,分层级处理系统渲染效果; 采用三维模型构建场景及物体,物体多边形面数(poly)控制在≤30 万面,基础包大小<50MB,支持多种分辨率(1280×720,1600×900,1920×1080)确保用户体验; 实训场景内模型无闪面、重面、破面,不能有多边面,保证场景演示无闪烁现象; 场景烘焙无曝光过度,无黑边现象,采用PostProcess进行场景后处理,真实逼真; 虚拟人物满足人设需求,着装符合角色身份; 虚拟人物能自主控制,具有多种动作,动作自然,可模拟操作主要过程;
北京华视恒通信息技术有限公司 2024-06-20
WMS分水岭建模系统
产品详细介绍请登录 中国科学软件网 了解更多WMS软件信息和报价。完整一体化流域解决方案 GIS工具 基于网络的数据采集工具 地形数据输入和编辑工具 自动描绘集水区&水文建模 支持大多数行业标准的水文模型入门水文建模向导 水工建模&泛滥平原填图 雨水道建模 2D(分布式)水文学 综合FHWA水力计算软件 将WMS动画导出到Google Earth自动描绘集水区&水文建模 使用数字地形数据自动描绘分水岭和子流域。 自动计算几何盆地数据,比如面积、斜坡、平均海拔和最大流动距离等等。 用少量的输入,计算水文流域数据,如集流时间、曲线数和入渗参数。 行业标准方程用来计算子流域滞后时间和集流时间,这些都包括在WMS中。 添加任意数量的内部出口点并且让WMS自动将流域细分。 操纵流网络来代表人为特征或流域中提议的变化。 覆盖派生盆地边界来匹配您的流域知识。 支持大多数行业标准的水文模型  WMS水文学许可证包括以下行业标准的水文模型接口:  HEC-1   HEC-HMS   TR-20   TR-55   推理计算法  MODRAT   OC (Orange County, California) Rational  OC水道测量  HSPF  国家河流统计  为一个模型和WMS中支持的任何其他模型的转变和比较流域发展结果  读取和比较观察到的水位标高与计算出来的水位标高     水力建模&泛滥平原填图  定义一个流中心线和海岸站  定义横截面位置  自动切割横截面并从海拔和地面材料数据得到Manning粗糙度值  导出横截面到HEC-RAS或者简化的溃坝水力模型中  运行水文模型并回到WMS中读取水位标高  从水利模型中读取水表面标高数据或手动输入已知的水位标高  用数值地形数据和水表面标高数据点来创建洪水泛滥程度和深度图  从任何WMS支持的水文模型到HEC-RAS水文模型中链接峰值水流或完整的水位图     雨水排水建模  绘制一个雨水排水管网络或者从GIS中导入一个网络  从潜在的标高数据来计算水位高度、长度和管道倾斜度  让雨水排水管网络跟水文模型数据链接  导出水文模型数据和雨水排水管网络到EPA-SWMM 或者XP-SWMM  导入现有的EPA-SWMM 或 XP-SWMM文件到WMS中     二维(分布式)水文学  WMS支持的二维模型有:  美国陆军工程兵(USACE)GSSHA模型  HMS版本的准分布式MODClark 方法  洪水预报(在整个2D域的深度和速度)  雷暴雨(局部降雨)洪水分析  地表积水和渗透分析  湿地建模  土地利用变化的影响建模  地下水/地表水作用建模  沉积物和污染物建模     导入您所需的  USGS DEMs: 从USGS下载和使用任何格式的DEM  USGS NED数据——无缝的海拔数据能够被下载和读取到WMS中。  ArcGIS光栅(ASCII格式)—以网格形式从ArcGIS中读取海拔数据或者属性资料数据  ESRI形文件—读取所有的框架和属性到WMS中  DXF和DWG CAD文件—WMS现在支持最新版本的DXF和DWG  TIFF,JPEG图像档案—图像与地球参考信息能够通过WMS读取  ArcGIS 支持的任何数据能够被读取到WMS中(需要ArcGIS许可证,与ArcGIS10.0兼容)  
北京天演融智软件有限公司 2021-08-23
用于种子捕食追踪的人工种子系统建立
动物捕食植物种子(下称种子捕食)是动植物协同进化的重要方面。动物捕食植物种子可影响植物种群更新和繁衍;植物通过调节各种性状,如种子大小、蛋白质含量,调节动物捕食行为。植物性状对种子捕食调节能力的评估对理解动植物协同进化具有重要意义。 因此,建立一种用于种子捕食追踪的人工种子系统,对于种子捕食追踪及相关研究,理解动植物协同进化,促进野生植物尤其是珍稀濒危植物保护具有重要的作用。
辽宁大学 2021-04-11
城市道路海绵系统建构及关键技术
成果介绍旱涝问题严重困扰着我国城市。城市道路受内涝影响最为严重,交通瘫痪和经济损失,存在巨大的安全隐患;同时,城市道路快速排水引起的干旱缺水、道路塌陷、绿地缺水等水环境问题矛盾突出。针对城市道路及道路绿地水环境特征,研发了一套可复制、可推广的“水绿交融”为基础、“旱涝兼治”为目标的城市道路及绿地水环境系统解决方案,构建系统的理论、方法与关键技术,统筹解决城市道路及绿地的“旱涝”问题。技术创新点及参数1. 基于城市道路水文特征,针对城市道路的旱涝问题,形成了一套可复制、可推广的城市道路海绵技术;2. 形成了一套贯穿“评价-设计-建造-测控-优化”全过程数字化城市道路海绵系统设计方法;3. 形成了一系列城市道路海绵系统规划设计相关技术:(1)城市道路海绵系统量化评价技术;(2)城市道路海绵系统分区分级规划设计技术;(3)城市道路水文模拟与测算的双数字化平台校验技术;(4)城市道路海绵系统水-绿耦合动态平衡技术;(5)针对新建城市道路与既有城市道路改造以及有无冻土区域,分别研发了相应的海绵工程技术措施与施工方案。市场前景本项目成果已经在江苏南京、苏州、徐州、安徽亳州等地多个海绵道路工程实践中加以运用,基于5年来传感器的数据分析,城市道路海绵系统工程均取得了优异的生态、经济和社会效益。本项目获2018华夏建设科学技术奖一等奖,获授权发明专利5项、实用新型专利1项,获得3项国家及省级设计奖项,发表论文5篇,编制指南一部。
东南大学 2021-04-11
人工智能标准数据库系统建立与应用
人工智能是一项严重依赖数据的技术,数据量的多少会直接影响产品的性能。而医疗数据又具备其特殊性,受到了严格的保护和使用限制。国外由于有健全的数据管理机制和严格的监管,有很多公开数据集,可供研究单位使用,用于推进人工智能技术的发展。这部分公开数据集虽然也可以被我们所使用,但是受到人种差异限制,某些疾病并不适合亚洲人群(比如:欧美人种和亚洲人种存在乳腺类型差异),且欧美疾病发病率和我国也存在差异。我国医疗数据量远远超过国外,但是受到法规等限制,无法进行数据挖掘,严重限制了我国医疗人工智能技术的发展。目前国家鼓励“产、学、研、用”综合发展,也鼓励科技成果转化。但是,医院空有数据,没有技术,无法进行数据挖掘;研究单位和厂家空有技术,缺乏合法高质量的数据,也无法开展相关研究更无从进行产业化。 该项目已获得“人工智能训练标准库的处理与检测方法、系统”发明专利授权(专利号:CN201710546301.8),本专利的目的是能够建立人工智能所需的标准数据库,通过数据和训练库分离和提供标准数据接口的方式,在保证数据安全的前提下,为研发机构和厂家提供研发数据和验证数据,以便促进我国医疗人工智能技术的发展,产生更多原创算法和适合我国国情的产品。
北京大学 2023-02-27
生产质量建模与过程监控系统
产品质量已经成为市场竞争中决定胜负的最关键的要素。建立生产质量模型无论是对生产过程的本质特性研究还是对实际生产过程的控制、预测、优化、仿真和质量诊断都具有重要的现实意义。 本系统重点实现对生产过程相关因素进行实时监测,解决产品生产过程中各项指标的变化与产品质量之间的模型关系,基于统计模型,运用偏最小二乘法、具有优化结构的神经网络、多变量统计过程控制等方法,对从实际生产过程中得到的统计数据进行分析和建模,消除、避免生产过程的异常波动,使过程处于正常波动状态。研究影响产品质量的关键因素,给出调整的策略,科学指导生产。 以钢铁制造流程为代表的大型流程工业是一类由不同功能但又相互关联、相关支撑、相互制约的多种工序和多种装置及相关设施构成的、工序串联并集成运行的复杂过程系统。针对大型流程工业的特点,解析多流程、多尺度、多装置间的相互关系,建立有效的质量控制模型,寻求最优的质量控制策略,监控产品的生产质量状态,确保产品的质量成为一个重大的研究课题。 生产质量建模和过程监控可以应用于钢铁冶金生产等流程型工业中,也可以广泛应用于石油、化工和机械制造等其他领域中。本系统的应用案例有:宝钢股份有限公司条钢部高线生产中的轧件尺寸精度评估与SPC控制系统,鞍钢股份有限公司冷轧热镀锌生产质量建模与分析系统。
北京科技大学 2021-04-13
一种面向异构内存系统建立检查点的装置
一种面向异构内存系统建立检查点的装置,属于计算机系统结 构的系统容错技术,解决现有面向异构内存的基于存储的检查点技术 开销过大、存在大量无用写的问题。本发明包括异构内存管理模块、 地址映射模块、派生页管理模块、检查点调度模块,异构内存管理模 块管理异构内存中数据在 DRAM 和 NVM 间的移动;地址映射模块提 供一种细粒度、低开销的地址映射策略,当写请求试图修改检查点数 据时,地址映射模块将写请求映射到其它硬件地址
华中科技大学 2021-04-14
1 2 3 4 5 6
  • ...
  • 539 540 下一页 尾页
    热搜推荐:
    1
    云上高博会企业会员招募
    2
    63届高博会于5月23日在长春举办
    3
    征集科技创新成果
    中国高等教育学会版权所有
    北京市海淀区学院路35号世宁大厦二层 京ICP备20026207号-1