公开(公告)号：CN115312133B

公开(公告)日：2023-01-31

申请号：CN202211244872.3

申请日：2022-10-12

Applicant: 之江实验室 ,  上海大学

Inventor： 孙升 ,  张颖 ,  张统一

IPC: G16C10/00 ,  G06F30/23 ,  G06F119/14

Abstract: 本发明公开了一种基于本构方程自动化构建和参数提取的跨尺度方法和装置。本发明首先通过使用第一性原理和连续介质耦合的并行跨尺度方法，计算了不同厚度的纳米薄膜材料在不同电荷下的应变情况，得到了电极面内应变随电荷密度和薄膜厚度的变化规律数据；拟合得到了纳米薄膜材料的表面本征应力和表面杨氏模量，给出了表面本征应变和表面电荷密度的数学关系式；随后撰写了利用ABAQUS与PYTHON的二次开发实现了不同表面电荷密度下纳米多孔材料电化学致动响应的数值模拟。本发明通过跨尺度计算推动了纳米多孔薄膜材料连续电化学致动现象的宏观模拟，为电化学致动性能的优化提供基础。

公开(公告)号：CN115312133A

公开(公告)日：2022-11-08

申请号：CN202211244872.3

申请日：2022-10-12

Applicant: 之江实验室 ,  上海大学

Inventor： 孙升 ,  张颖 ,  张统一

IPC: G16C10/00 ,  G06F30/23 ,  G06F119/14

Abstract: 本发明公开了一种基于本构方程自动化构建和参数提取的跨尺度方法和装置。本发明首先通过使用第一性原理和连续介质耦合的并行跨尺度方法，计算了不同厚度的纳米薄膜材料在不同电荷下的应变情况，得到了电极面内应变随电荷密度和薄膜厚度的变化规律数据；拟合得到了纳米薄膜材料的表面本征应力和表面杨氏模量，给出了表面本征应变和表面电荷密度的数学关系式；随后撰写了利用ABAQUS与PYTHON的二次开发实现了不同表面电荷密度下纳米多孔材料电化学致动响应的数值模拟。本发明通过跨尺度计算推动了纳米多孔薄膜材料连续电化学致动现象的宏观模拟，为电化学致动性能的优化提供基础。

公开(公告)号：CN114385481A

公开(公告)日：2022-04-22

申请号：CN202111460504.8

申请日：2021-11-30

Applicant: 之江实验室

Inventor： 张颖 ,  丁懿 ,  何澳迪

IPC: G06F11/36

Abstract: 本发明涉及软件测试技术领域，尤其是涉及一种基于有界模型检验进行时延测试的软件自测试方法，包括以下步骤：步骤1_1：从电路设计中提取扩展有限状态机；步骤1_2：采用有界模型检验技术生成包括输入信号和变量值的引导序列，以激活被测电路的使能或更新函数对应电路出现时延故障的条件；步骤1_3：采用时序功能约束下的测试向量自动生成技术，为被测电路在时序功能约束下生成时延故障的测试向量；步骤1_4：将获得的测试向量映射到引导序列中，并生成自测试程序。与现有技术相比，本发明在不造成过度测试等问题的情况下，有效地测试处理器中各模块的时延故障，具有测试质量高等优点。

公开(公告)号：CN114385481B

公开(公告)日：2024-05-14

申请号：CN202111460504.8

申请日：2021-11-30

Applicant: 之江实验室 ,  同济大学

Inventor： 张颖 ,  丁懿 ,  何澳迪

IPC: G06F11/36

Abstract: 本发明涉及软件测试技术领域，尤其是涉及一种基于有界模型检验进行时延测试的软件自测试方法，包括以下步骤：步骤1_1：从电路设计中提取扩展有限状态机；步骤1_2：采用有界模型检验技术生成包括输入信号和变量值的引导序列，以激活被测电路的使能或更新函数对应电路出现时延故障的条件；步骤1_3：采用时序功能约束下的测试向量自动生成技术，为被测电路在时序功能约束下生成时延故障的测试向量；步骤1_4：将获得的测试向量映射到引导序列中，并生成自测试程序。与现有技术相比，本发明在不造成过度测试等问题的情况下，有效地测试处理器中各模块的时延故障，具有测试质量高等优点。

公开(公告)号：CN116496526A

公开(公告)日：2023-07-28

申请号：CN202310623533.4

申请日：2023-05-30

Applicant: 上海大学 ,  之江实验室

Inventor： 巫金波 ,  张颖 ,  张金仓 ,  韩宇兵 ,  温维佳 ,  薛厂 ,  张萌颖 ,  黄东阳

IPC: C08J5/18 ,  C08L83/04 ,  C08K5/098 ,  C08K9/10

Abstract: 本发明提供一种复合介电弹性体薄膜的制备方法及介电弹性体薄膜致动器。该制备方法包括：步骤1：将BTRU@CDs巨电流变颗粒与电流变液分散相预混合得到悬浮液；步骤2：将硅橡胶与悬浮液混和均匀得到复合介电弹性体预聚物，其中硅橡胶与所述悬浮液的质量比为15:1至1:1，BTRU@CDs巨电流变颗粒占复合介电弹性体预聚物的质量比为5‑40％；步骤3：对复合介电弹性体预聚物进行制膜得到复合介电弹性体薄膜。根据本发明的复合介电弹性体薄膜的制备方法制备的复合介电弹性体薄膜，相对于传统的橡胶弹性体具有更优的致动性能，更优的机械性能及循环稳定性。解决了现有的介电弹性体材料面临驱动电压高、预拉伸比例大、致动应变有限、耐疲劳性能差及易击穿等问题。

公开(公告)号：CN115629962A

公开(公告)日：2023-01-20

申请号：CN202211148482.6

申请日：2022-09-21

Applicant: 之江实验室 ,  同济大学

Inventor： 张颖 ,  季鹏飞 ,  杨弢

IPC: G06F11/36

Abstract: 本发明属于集成电路测试技术领域，公开了一种基于软件自测试的千核片上网络在线测试方法，包括如下步骤：步骤1：使用有界模型检验为软件自测试方法自动生成测试向量；步骤2：使用蒙特卡洛模拟方法解决测试数据包配置的选择问题；步骤3：在蒙特卡洛模拟过程中增加多线程机制。本发明不仅能够实现高测试质量，还能降低测试开销。此外，本发明是在千核片上网络的功能模式下进行在线测试，这可以有效地避免数据包在功能模式下出现不可测转向，从而能够避免过度测试问题。