本发明公开了一种面向区块链的紧凑Merkle多值证明并行生成及验证方法，包括Merkle Forest的构建、紧凑Merkle多值证明的生成以及基于紧凑Merkle多值证明的验证。为快速并行获取Merkle多值证明，充分利用当代计算机多...

本发明公开了一种面向协议安全性质的形式化协同规约的方法及图形建模系统，涉及可信软件和通信协议技术领域。所述方法包括：面向计算树逻辑(Computation Tree Logic，CTL)和不变性(Invariant)的软件功能安全性质(...

本发明公开了一种基于形式化方法内生安全应用软件形式建模方法，所述建模部分包括如下部分：应用软件功能建模，以支持对系统功能进行描述，包括系统结构建模和系统行为建模两部分。系统结构建模是对系统架构建模，使用类图对系统中所涉及的属性和方法进行...

本发明公开了一种快速发酵均一细菌纤维素膜的方法，所述方法包括：将能够产生细菌纤维素膜的菌株，在酸性发酵培养基中静态发酵培养，形成所述细菌纤维素膜；其中，所述发酵培养基中含有多糖，含有或者不含有琼脂。本发明能快速制备均一性好、纤维孔隙率高...

本发明提供了一种CRISPR基因编辑技术在治疗地中海贫血中的应用，该应用中的CRISPR系统包括至少一种核酸酶和至少一种sgRNA，所述sgRNA能够靶向HBG(γ珠蛋白基因)启动子的抑制元件，所述核酸酶能够切割HBG启动子的抑制元件，...

本发明公开了一种可降解、自修复和自粘附导电水凝胶及制备方法，该方法以富含邻苯二酚基团的物质为粘附性单体、以水溶性高分子为交联单体、氧化天然多糖为大分子交联剂、无机纳米材料为机械增强剂，金属盐离子或碳基材料为导电剂，通过原位自由基聚合制备...

本发明公开了一种环形旋转激光智能化加工异型孔方法，其特征在于该方法具体包括：1）根据待加工孔空间结构进行智能化三维建模；2）控制算法设计与代码生成，生成系统控制程序代码；3）光路模块控制激光束的空间环形旋转，保证异型孔边缘加工质量；4）...

本发明公开了一种覆有ITO薄膜的玻璃表面制备周期条纹结构的方法及装置，其特点采用在玻璃表面覆有一层低烧蚀阈值的ITO薄膜，利用圆柱透镜聚焦的飞秒激光束在玻璃表面形成激光焦斑诱导产生周期条纹生长的方法，通过低于玻璃烧蚀阈值十倍的激光能流密...

本发明公开了一种辅助滨岸湿地生境植物种子和/或繁殖体留存、萌发与幼苗定植的方法，包括以下步骤：(1)根据滨岸湿地生境特点以及目标植物种类，制定辅助滨岸湿地植物种子和/或繁殖体留存、萌发与定植的方案；(2)根据经常性单向或往复运动的水流的...

本发明公开了一种具有纳米尺寸的钨塞小电极相变存储器件制备方法。选用预加工的填充有钨塞的氧化硅衬底，根据氧化硅与钨塞刻蚀的速率差异，采用聚焦离子束刻蚀的方法得到具有更小的纳米尺寸的钨塞小电极钨塞。采用物理气相沉积方法在钨塞上层依次沉积相变...

本发明公开了一种对硝基苯具有荧光识别的有机框架材料及制备方法和应用，其特点是采用四氯化锆与有机酸组成具有活性羧酸位点的锆基金属‑有机框架材料，制备包括：四氯化锆与1,4‑苯二甲酸、1,3‑苯二甲酸和N,N‑二甲基甲酰胺的混合物在110～...

本发明涉及一种测评人体黄疸水平的有机框架材料及其制备方法和应用，其特点是采用四氯化锆与1,2,4,5‑苯四甲酸组成的稀土后功能化金属‑有机框架材料，其制备包括：四氯化锆与1,2,4,5‑苯四甲酸通过加热回流的方法制得UiO‑66(COOH)

本发明公开了一种合成乙二醇丁醚的方法，该方法以丁醛和乙二醇为原料，在负载型金属钯催化剂的催化作用下，乙二醇丁醚收率可达98％。本发明还公开了所述负载型催化剂及制备方法及其在丁醛还原醚化反应中的应用。本发明提出的合成方法具有产物选择性高、...

本发明公开了由动态化学键交联的具有多重响应性的氨基糖苷小分子水凝胶及其制备方法，利用动态席夫碱键、动态配位键和氢键共同交联成胶。本发明还公开了所述氨基糖苷小分子水凝胶在体外的抗菌应用，在细菌感染的弱酸环境中动态的席夫碱键和动态的配位键断...

本实用新型提出了一种基于水循环的虹吸增氧潮汐晾根的立体种植架，包括种植盆、弯头、种植管道、出水虹吸三通、增氧装置、循环水泵和种植管道放置架。本实用新型充分利用空间，有效节省占地面积和水资源；种植操作便捷，节省人力。本实用新型设置出水虹吸...

本发明公开了一种基于法布里珀罗干涉仪的脉冲序列调制方法，其特点是超快激光脉冲采用两平行设置且镀有半透半反膜的调制镜片组成的调制器，产生飞秒到纳秒量级时间延迟和能量分布规律的脉冲序列，当使用第二调制镜片透射出来的脉冲序列时，可以直接使用调...

本发明公开了一种涡轮叶片气膜孔空间方位角误差测量方法，其特点是采用定位装置把涡轮叶片固定到五轴精密平移台上，根据UG模型将叶片旋转至加工姿态并移动到CCD视场中心位置，将光纤末端作为照明光源从气膜孔入口较均匀射入插入涡轮叶片内部通道，使...

本发明公开了一种凹陷空心聚苯乙烯纳米颗粒的制备方法,在搅拌条件下，使苯乙烯分散于溶剂中，加入小分子醇，形成均一透明的混合液；将复合引发剂加入上述混合液形成初始反应液，初始反应液进行无皂乳液聚合；于反应过程中取不同反应时间的反应液，用含有...

本实用新型公开了一种中华绒螯蟹养殖装置，其包括：若干个养殖单元，其均位于养殖池中；所述养殖单元包括：第一网箱，且所述第一网箱侧壁上开设有若干第一开孔；第二网箱，且所述第二网箱侧壁上开设有若干第二开孔；铰接机构，其分别连接所述第一网箱和第...

本实用新型公开了一种具有呼吸疾病筛查功能的智能售货机，其特点是采用图像/信息处理模块连接的三模态相机，在用户使用自动售货期间完成热成像和深度图片采集；所述图像/信息处理模块提取用户体温和呼吸波形进行呼吸疾病筛查，并将筛查结果传输至服务器...