公开(公告)号：CN117785716A

公开(公告)日：2024-03-29

申请号：CN202410011828.0

申请日：2024-01-04

Applicant: 浙江大学 ,  浙江大学嘉兴研究院

Inventor： 赵永望 ,  谢子昂 ,  张峰

IPC: G06F11/36

Abstract: 本发明公开了一种基于模型检测的复杂软件源码验证方法，该方法包括：对待验证模块中的软件源码进行预处理；形式化输入模块和被调用模块，并且构建所述输出模块和被调用模块中的桩函数；对输入模块进行过滤，过滤的内容包括不合法输入和会导致循环次数过多的输入；将处理后的输入模块中的内容输入待验证模块；针对输出模块编写断言；使用模型检测工具对预处理后的软件源码以及前述编写的代码进行验证；对验证结果进行分析。本申请采用了模块划分的方法，将软件源码中的各个元素划分为模块，使得整个验证工程的结构更加清晰，便于验证计划的制定和实施。

公开(公告)号：CN107270163B

公开(公告)日：2018-10-02

申请号：CN201710452498.9

申请日：2017-06-15

Applicant: 浙江大学 ,  杭州电子科技大学 ,  北京理工大学

Inventor： 宋宏 ,  张峰 ,  郭乙陆 ,  魏贺 ,  陈瑶 ,  黄慧 ,  杨萍 ,  廖宁放

IPC: F21S2/00 ,  F21V1/00 ,  F21V33/00 ,  B08B1/00 ,  F21V31/00 ,  F21V23/00 ,  F21V14/08

Abstract: 本发明公开了一种带毛刷和光阑的水下光源装置，用于带光源的水下光学实验，包括光源、步进电机、转轴、光阑系统、摆杆；所述转轴与步进电机的输出轴相连，转轴上有摆杆，转轴旋转带动摆杆摆动控制光阑系统的开闭；所述光阑系统紧贴在光源上，用来控制光源光照的通过和不通过，以及清扫光源表面。本发明有效避免了光源功率较大时(大于100W)因开关光源带来的工作状态的不稳定和较大电流通断所带来的危险，节省了等待光源工作状态稳定所需要的时间，提高了实验效率，并且利用毛刷及时清理光源表面，避免灯壁上水珠、浮游物等附着物对光照的影响，使得水下光源实验所得结果更加准确，实验流程更加安全。

公开(公告)号：CN106585018A

公开(公告)日：2017-04-26

申请号：CN201510683012.3

申请日：2015-10-20

Applicant: 中国石油化工股份有限公司 ,  中国石化上海石油化工股份有限公司 ,  浙江大学

Inventor： 周浩 ,  曲云春 ,  张斌波 ,  张峰 ,  余莹波 ,  王靖岱 ,  蒋斌波 ,  杨勇

IPC: B32B27/08 ,  B32B27/18 ,  C08L23/06 ,  C08L23/08

CPC classification number: B32B27/08 ,  B32B27/18 ,  B32B2250/03 ,  B32B2307/30 ,  B32B2307/5825 ,  B32B2553/00 ,  C08J5/18 ,  C08J2323/06 ,  C08J2423/08 ,  C08L23/06 ,  C08L23/0815 ,  C08L2203/16

Abstract: 本发明公开了一种多层热收缩薄膜。其包括上表层、芯层和下表层，多层热收缩薄膜使用包括拉伸步骤的方法得到，其中所述薄膜在至少一个方向以至少为2的拉伸比被拉伸；所述芯层中包括60-80wt％的乙烯聚合物组合物；其中：所述乙烯聚合物组合物包括组分A1和组分A2，组分A1是乙烯的均聚物，组分A2是乙烯和至少两种4-10个碳原子的α-烯烃的共聚物，其重均分子量高于组分A1的重均分子量；本发明得到的多层热收缩薄膜的95℃两维自由收缩为至少40％，在其整个收缩温度范围内的最大横向收缩力不超过0.5牛顿/厘米。

公开(公告)号：CN104320000A

公开(公告)日：2015-01-28

申请号：CN201410562322.5

申请日：2014-10-21

Applicant: 浙江大学

Inventor： 李德骏 ,  王俊 ,  王晨 ,  谢尚祥 ,  杨灿军 ,  金波 ,  陈燕虎 ,  张峰

IPC: H02M3/335

CPC classification number: H02M3/33592

Abstract: 本发明公开的基于多节点海底观测网络的单极负高压直流变换系统，包括岸基站供电电源、电能传输海缆、N个将传输海缆上的电能分支输出的海缆分支节点，N≥2、负压自启动电路、辅助电源、串并联电压转换模块电路、驱动电路、PWM控制器、采样电路和反馈回路。岸基站的高压供电设备通过电能传输海缆与海水形成回路，将高压电传输至网络节点。系统采用多模块串并联组合的方式，将高压输出平均分摊至多组电压转换模块上，可以降低每个电压转换模块所承受的电压，提高模块组件的可靠性，具有高可靠性、导通损耗低、结构紧凑等优点，适用于多节点树形缆系海底观测网络中的高中压转换，为海底观测网络中接驳平台和仪器设备提供所需的电力。

公开(公告)号：CN102168552B

公开(公告)日：2013-07-31

申请号：CN201110101763.1

申请日：2011-04-22

Applicant: 浙江大学

Inventor： 陶国良 ,  刘琼 ,  刘昊 ,  孟德远 ,  班伟 ,  张峰

IPC: E21B47/047

Abstract: 本发明公开了一种用于油井液位测量的气枪。包括先导放气电磁阀、阀盖、阀体、安装在阀体内的主阀组合、调节弹簧、充放气电磁阀和井口连接器；阀体一侧安装有阀盖，阀盖上装有先导放气电磁阀，与先导放气电磁阀相对的阀体另一侧装有井口连接器，井口连接器内的阀体侧面装有麦克风，阀体上还安装有压力传感器、压力表、微音传感器、手动卸压阀和充放气电磁阀。主阀杆采用台阶式的设计，使井内气体和储气室的气体都可成为阀杆移动的推动气源，将内爆和外爆的方式集合在一起；将两个气源与控制腔用阻尼孔连接，给控制腔充气，以便主阀杆气复位，当给于先导放气电磁阀PMW信号时，可实现连续发射；解决了现有内外爆气枪的结构复杂、难拆装的缺陷。

公开(公告)号：CN101963552B

公开(公告)日：2012-03-21

申请号：CN201010269542.0

申请日：2010-08-27

Applicant: 浙江大学

Inventor： 吕军 ,  张峰 ,  陈丁江

IPC: G01N1/20

Abstract: 本发明涉及一种无动力雨样定量分段收集器，包括设置在箱体盖板上的若干个雨样采集漏斗和装置在箱体内的雨样定量分段收集部分；雨样定量分段收集部分包括若干个平衡板，各平衡板的平分中线上设有垂直的平衡指示针，并在两侧分别有支轴，平衡板可绕支轴摆动，在支轴支撑架上固定有平衡指示盘，在平衡板的两端各有平衡螺母，两端面上各有完全相同的定位套圈，两个套圈中分别放置平衡瓶和雨水收集瓶，各雨水收集瓶分别位于雨样采集漏斗的下方，雨样采集漏斗经乳胶管与雨水收集瓶自由连通，在平衡瓶正下方的底板上铰链有可自由转动的垫板，垫板垂直支起的高度恰好等于平衡板平衡时与底板的距离。本发明制作简单，从本质上实现了雨样收集简单化、定量化、分段化和标准化。

公开(公告)号：CN101963552A

公开(公告)日：2011-02-02

申请号：CN201010269542.0

申请日：2010-08-27

Applicant: 浙江大学

Inventor： 吕军 ,  张峰 ,  陈丁江

IPC: G01N1/20

Abstract: 本发明涉及一种无动力雨样定量分段收集器，包括设置在箱体盖板上的若干个雨样采集漏斗和装置在箱体内的雨样定量分段收集部分；雨样定量分段收集部分包括若干个平衡板，各平衡板的平分中线上设有垂直的平衡指示针，并在两侧分别有支轴，平衡板可绕支轴摆动，在支轴支撑架上固定有平衡指示盘，在平衡板的两端各有平衡螺母，两端面上各有完全相同的定位套圈，两个套圈中分别放置平衡瓶和雨水收集瓶，各雨水收集瓶分别位于雨样采集漏斗的下方，雨样采集漏斗经乳胶管与雨水收集瓶自由连通，在平衡瓶正下方的底板上铰链有可自由转动的垫板，垫板垂直支起的高度恰好等于平衡板平衡时与底板的距离。本发明制作简单，从本质上实现了雨样收集简单化、定量化、分段化和标准化。

公开(公告)号：CN118014981B

公开(公告)日：2024-08-23

申请号：CN202410277189.2

申请日：2024-03-12

Applicant: 浙江大学

Inventor： 俞刚 ,  朱珠 ,  张峰 ,  汪云毅 ,  董刘玲 ,  刘宇 ,  顾晓玲 ,  李竞 ,  黄坚 ,  齐国强 ,  沈忱

IPC: G06T7/00 ,  G06T7/70 ,  G06N3/0455 ,  G06N3/0464 ,  G06V10/52 ,  G06V10/44 ,  G06V10/80 ,  G06N3/048 ,  G06N3/08

Abstract: 本发明公开了一种基于双层CSwin和CNN的头影标志点定位方法，包括：(1)采集头颅侧位影像数据集，标注头影标志点后划分为训练集和验证集；(2)对训练集和验证集中的头颅侧位影像进行预处理；并将头颅侧位影像中的头影标志点位置转换为二维高斯热图；(3)构建标志点定位模型，所述的标志点定位模型包括一个CNN编码器、一个双层CSwin编码器和一个解码器；(4)利用训练集对标志点定位模型进行训练，并通过验证集对训练好的模型进行验证；(5)将待定位的头颅侧位影像预处理后输入训练好的模型，预测得到头影标志点的热图；将热图转换为标志点，得到头影标志点的坐标。利用本发明，可以获得更为精准的头影标记点定位结果。

公开(公告)号：CN117271317A

公开(公告)日：2023-12-22

申请号：CN202311168403.2

申请日：2023-09-11

Applicant: 浙江大学嘉兴研究院 ,  嘉兴天核科技有限公司

Inventor： 赵永望 ,  谭兴 ,  王布阳 ,  任奎 ,  张峰

IPC: G06F11/36

Abstract: 本发明公开了一种符合ARINC653标准的操作系统形式化验证方法，包括：建立目标操作系统的形式化模型：基于所要验证的操作系统的源代码，使用python语言和z3库函数构建系统的数据结构、类函数，修改所述源代码中的服务函数，向所有服务函数中添加相应的符号执行操作以模拟系统状态变迁过程，从而完成整个操作系统的形式化建模；规范性质验证：基于ARINC653标准得到所有服务的前提条件和预期结果，并将其转换为形式化语言，在步骤(1)得到的形式化模型中调用z3求解器并将转换后的服务的前提条件和预期结果加入z3求解器中，根据求解结果验证系统是否满足相应的规范性质。

公开(公告)号：CN106768894B

公开(公告)日：2023-06-30

申请号：CN201611264606.1

申请日：2016-12-30

Applicant: 浙江大学 ,  杭州电子科技大学 ,  杭州蓝科光电科技有限公司

Inventor： 宋宏 ,  张峰 ,  陈瑶 ,  黄慧 ,  杨萍 ,  方美芬 ,  郭乙陆 ,  魏贺 ,  张云菲

IPC: G01M11/02

Abstract: 本发明公开了一种水下光源测试装置，用于测试水下光源的性能参数，包括水池、第一行车系统、第二行车系统、灯源系统、检测系统；所述第一行车系统、第二行车系统安装在水池上，可实现左右、前后、上下方向的移动和水平方向上的旋转；所述灯源系统固定在第一行车系统上，所述检测系统固定在第二行车系统上，灯源发出亮光，照射到检测系统上，以此来检测灯源性能参数。本发明所用水池水的特性稳定，波动小，测试环境稳定，通过行车系统保证了灯源系统和检测系统可以在三个自由度移动和水平方向上转动，每个自由度的位移坐标均可以精确到1mm，转动角度精确到0.1°，灯源系统和检测系统的水密装置可以实现在水下进行灯源的性能测试。