当前第 5612 / 5741 页   共 57406 项数据

知识产权简介:本软件提供了一项大规模的三维物体关键点数据集,包括常见的16类物体,并提供了相应的可视化功能。 本软件提供了若干个基准的三维深度学习算法来预测三维物体的关键点,同时,计算了模型预测和数据集中真值的量化匹配指标。 本软件针对科研人员提供了三维特征点检测和分析的开发环境。

  • 国民经济行业: 科学研究和技术服务业/研究和试验发展/工程和技术研究和试验发展
  • 权利人: 上海交通大学
  • 联系合作

知识产权简介:该求解器主要针对船舶与海洋工程中的船型优化设计而开发,可对水面船舶、水下潜器、风机及其他海洋结构物等进行构型设计。在原有OPTShip-SJTU 1.0基础上进一步拓展了船型变换功能、船型优化算法求解功能以及简约数值计算功能,以此自主开发了基于CFD技术的船型优化求解器,实现了基于CFD技术的船型自动优化设计。

  • 国民经济行业: 交通运输、仓储和邮政业/水上运输业/水上货物运输/远洋货物运输
  • 权利人: 上海交通大学
  • 联系合作

知识产权简介:本软件基于线性势流理论,采用边界元方法,开发了一套二维矩形月池辐射运动下的月池共振问题计算程序。此程序包含两种计算模型,即带台阶的矩形月池和不带台阶的矩形月池。为提高计算精度与效率,在物面和自由液面采用线性面元分布,为了消除反射波的影响在水池两端添加人工小波区。此程序可以精确求解两类月池共振频率及模态。并可以通过施加人工阻尼的方法考虑月池底部开口处泄涡的影响,较好地预报月池共振幅值响应(RAO)。由于采用势流方法(粘性效应通过经验公式考虑),完成一个50周期的求解仅需几分钟,相比于粘性CFD方法,大大提高了求解效率。开发二维月池共振问题时域边界元法(BEM)计算软件可以方便快捷地获得月池共振特性,提高工作效率,缩减月池设计时间,为月池设计提供可靠的参考。

  • 国民经济行业: 制造业/铁路、船舶、航空航天和其他运输设备制造业/船舶及相关装置制造/金属船舶制造
  • 权利人: 上海交通大学
  • 联系合作

知识产权简介:船舶分舱形式直接关系到船舶静水载荷的大小,而一种高效且精准的分舱设计方法可以帮助设计者快速找到合理的分舱方式。本软件旨在为设计阶段降低船舶静水载荷提供一定的技术手段。 本软件主要针对散货船静水载荷的优化问题而开发,建立船舶重量分布的参数化模型后,以货舱总舱容、完整稳性、破舱稳性符合船东和规范的要求为约束条件,根据总体设计、配载数据建立船体梁静水载荷优化模型,并选择合理的优化方法,生出若干分舱方案。针对每种分舱方案,输出各装载工况对应的静水载荷信息,统计出每种分舱方案下各装载工况下的弯矩极值及其包络线极值,然后进行分析比较,以选出静水载荷最小的分舱方案。

  • 国民经济行业: 制造业/铁路、船舶、航空航天和其他运输设备制造业/船舶及相关装置制造/金属船舶制造
  • 权利人: 上海交通大学
  • 联系合作

知识产权简介:系统基于LLVM编译器框架,实现了以太坊智能合约的自动修复系统,能修复“重入”、“整数溢出”“未处理的异常”三类漏洞,并且声称漏洞修复报告在操作系统为64位 Ubuntu 18.04,包含两个型号为Intel Xeon Gold 5122 (8核,主频3.60GHz) 的处理器,及128GB RAM的测试环境下,进行一次未修补漏洞发现平均花费320秒。

  • 国民经济行业: 信息传输、软件和信息技术服务业/软件和信息技术服务业/软件开发
  • 权利人: 上海交通大学
  • 联系合作

知识产权简介:系统基于LLVM编译器框架,针对由源码生成的中间语言IR设计并实现了一个静态污点分析框架,该框架在标记污点传播上具有可扩展性和有效性,并且在操作系统为64位 Ubuntu 18.04,包含两个型号为Intel Xeon Gold 5122 (8核,主频3.60GHz) 的处理器,及128GB RAM的测试环境下,进行一次静态污点分析发现平均花费180秒

  • 国民经济行业: 信息传输、软件和信息技术服务业/软件和信息技术服务业/软件开发
  • 权利人: 上海交通大学
  • 联系合作

知识产权简介:系统使用C++语言,结合python脚本,实现了本软件实现了对嵌入式设备SDK安全性问题的自动化检测,能检测出“三方代码问题”、“密码误用”、“内存安全”三类漏洞,并生成漏洞检测报告。在操作系统为64位 Ubuntu16.04.6 LTS虚拟机上,包含型号为Intel(R) Core(TM) i7-8565 CPU @ 1.80 GHz 1.99 GHz的处理器,及2GB RAM的测试环境下,对一个嵌入式设备SDK的安全分析平均花费43秒,根据SDK源代码文件大小和数量会有所不同。

  • 国民经济行业: 信息传输、软件和信息技术服务业/软件和信息技术服务业/软件开发
  • 权利人: 上海交通大学
  • 联系合作

知识产权简介:本系统基于LLVM编译器框架,针对由源码生成的中间语言IR设计并实现了一个静态污点分析框架,该框架在标记污点传播上具有可扩展性和有效性,并且在操作系统为64位 Ubuntu 18.04,包含两个型号为Intel Xeon Gold 5122 (8核,主频3.60GHz) 的处理器,及128GB RAM的测试环境下,进行一次静态污点分析发现平均花费180秒本系统在分析并总结二进制程序中密码学函数的使用模式与误用情况的基础上,实现了自动化识别二进制程序中使用的关键密码学算法并检测其误用的功能,覆盖桌面平台主流架构(X86/X64)与移动平台主流架构(ARM/ARM64),可以检测二进制文件中使用MD5、DES等弱密码算法,使用常量密钥和初始化向量以及使用电子密码本等不安全工作模式的多种误用情况。在操作系统为64位的Ubuntu 18.04,CPU型号为AMD Ryzen Threadripper 3970X,内存为256GB的测试环境下,检测一个二进制程序中存在的密码学误用平均花费30秒

  • 国民经济行业: 信息传输、软件和信息技术服务业/软件和信息技术服务业/软件开发
  • 权利人: 上海交通大学
  • 联系合作

知识产权简介:化学反应前期的定向设计是进行高效合成的前提条件,但由于实验过程缓慢、从头计算的周期长、计算费用高,化学反应定向设计成为挑战。申请人开发了一种基于人工智能算法通过预测激活能对化学反应进行定向设计的软件 (Unsupervised Directional Design of Chemical Reactions (UDDCR) software)。该软件的输入为化学反应中的基本参数,包括反应物、生成物、表面组成和反应面。用户通过输入以上4个参数,UDDCR软件可以预测相应化学反应的激活能,并通过调整4个输入参数,增加激活能数值,促进化学反应的进行,实现定向设计的目的。UDDCR软件通过one-hot 编码将反应物、生成物和表面组成这三类参数,由复杂的字母组合转化为数字信息后通过计算机进行神经网络训练,此软件不需要将特征转换为复杂的分子指纹,通过无监督聚类即可使神经网络对化学反应的激活能进行准确预测。此外,反应能作为UDDCR软件的一个可选参数影响着软件的预测精度,如果用户需要接近实验的超高精度预测,则可以根据前期实验经验或简单的从头计算输入反应能数值。我们证明了即使不输入反应能也能达到合理的预测,实现化学反应定向设计的目的。由于目前的数据库只包含C、H、O、N、CO这5种产物,因此,目前UDDCR软件仅可以预测由这5种产物参与的化学反应。实例研究表明,UDDCR软件预测比计算模拟更准确,速度快数百万倍(预测为秒的量级),且激活能的预测均方根误差 (RMSE) 仅为0.17eV。这种人工智能算法将神经网络与one-hot 编码相结合,并通过无监督聚类,能够准确预测和设计超过十万种现有和未来的化学反应。

  • 国民经济行业: 科学研究和技术服务业/研究和试验发展/自然科学研究和试验发展
  • 权利人: 上海交通大学
  • 联系合作

知识产权简介:基于FPGA的噪声源定位检测软件(FPGA-based acoustic noise localization and detection software,简称FPGA_ANLD)主要功能是利用36个渐开线阵列的MEMS传声器,采集音频信号,在经过CIC、FIR等滤波处理,由波束形成算法得出扫描点的波束形成计算值(值越大代表声源越可能在这个位置),同时再经过归一化处理得到0-1的值,并以其为加权因子,将视频数据和标注数据进行加权平均,得到最终的声源标注图像,并转化为TMDS差分信号,输出到HDMI显示屏进行显示。 FPGA-ANLD使用基本步骤如下: 1. 检测系统硬件设备情况,确保上电和完整; 2. FPGA初始化,并导入程序,同时调整摄像头姿态; 3. 采集声音信号并进行实时处理,实现声源定位; 4. 最终显示在HDMI显示屏上。 摄像头视角有限,尽可能的将可疑声源处或者声源高发区纳入摄像头视角范围,同时确保摄像头姿态,摄像头与传声器阵列相对位置已经内部标定,请不要擅自移动。

  • 国民经济行业: 科学研究和技术服务业/研究和试验发展/工程和技术研究和试验发展
  • 权利人: 上海交通大学
  • 联系合作