本发明公开了一种基于群体的口令强度评估方法，包括口令评估准备、神经网络训练、和群体口令强度评估步骤。其中，口令评估准备步骤：确定群体属性特征，根据属性特征构建群体集合，收集口令集，对口令集数据进行清洗，完成口令集数据预处理；神经网络训练...

本发明公开了一种操作系统规范形式化验证与测试方法，首先提取操作系统规范中关于系统服务执行的前置条件和后置条件的约束；根据所提取的约束规范建立形式化语义模型；对形式化语义模型以及操作系统应用进行验证，若验证不通过修正形式化语义模型或操作系...

本发明公开了一种基于差异比较对用例图进行评价的方法，用于比较不同开发团队针对同一领域的用例图（用户需求阶段的产物）和标准用例图的差异，完成对不同用例图的评价，获得软件质量的评价。本发明在对用例图进行评价时包括：（1）根据用例图的元模型，...

本发明公开了带有儿茶酚配体的两亲性接枝聚合物及其合成方法和应用，本发明是基于带有儿茶酚配体的两亲性接枝聚合物为载体而构建的传递系统。将聚乙二醇接枝到聚（胱胺双丙烯酰胺‑乙二胺）上，再用3,4‑二羟基苯乙酸修饰，合成聚乙二醇‑接枝‑聚（胱...

本发明公开了一种多功能柔性电子标签及制作方法，其电子标签由衬底层、电子标签层及保护层构成，采用涂覆及光刻蚀技术在衬底层上制作刻蚀线路板，并在刻蚀线路板上粘贴耦合元件、芯片及温度传感器构成电子标签层；本发明采用PET聚对苯二甲酸乙二醇酯片...

本发明公开了一种基于差异比较对设计类图进行评价的方法，用于比较不同开发团队针对同一领域的设计类图和标准设计类图的差异，完成对不同设计类图的评价。本发明在对设计类图进行评价时涉及到的操作包括：（1）根据设计类图的元模型，定义评价指标、外部...

本发明提出了一种多域名记录查询的方法和系统。其中所述方法包括步骤如下：步骤101、发起域名的多种类型记录查询；步骤103、对伪资源记录OPT进行扩展，并封装到DNS数据包中；步骤105、接收所述DNS数据包，提取相应信息，并进行查询；步...

本发明公开了一种综合电子系统轻量级接入认证方法，包括子系统判断、第一重认证、第二重认证步骤，其中，子系统判断：判断子系统是否为初次接入综合电子系统，若子系统初次接入综合电子系统，则对其进行预处理后进入第一重认证，否则直接进入第一重认证；...

本发明公开了一种基于区块链的能源网联监控方法及存储介质，属于智慧城市和智慧能源技术领域。所述方法包括：实时采集能源计量仪器中的监测数据；根据预设方式对采集的监测数据进行处理，或者获取区块链中的数据，根据获取的数据及预设处理方式对监测数据...

本发明公开了一种基于区块链的能源网联智能装置及系统，属于智慧城市和智慧能源技术领域。所述装置包括：实时数据采集模块，用于实时采集能源计量仪器中的监测数据并给智能处理模块，并将接收的处理结果上传至远程服务器；智能处理模块，用于根据预设处理...

本实用新型公开了一种电动爬楼梯载货小车，包括车架、货筐、驱动装置及转向臂；本实用新型采用车架、驱动装置及转向臂构成电动驱动的小车，采用改变筐体的吊耳与车架的提升支架的挂接位置摆动货筐，或通过内隔板阻隔在筐体内物品的相对位置，以调解电动小...

本发明公开了一种用于透射电镜原位通电芯片的拥有纳米级间距小电极的材料测试单元制备方法，其材料测试单元由小尺寸的金属层、绝缘层、测试材料和保护层构成，制备方法采用聚焦离子束(FIB)技术，通过刻蚀在SiO2衬底上的金属层，得到纳米尺度的金...

本发明公开了一种基于脆弱因子分析的口令加强方法，该方法包括：通过特征描述，特征匹配算法，特征修改策略集合构成脆弱特征向量；组合若干脆弱特征向量构成口令脆弱特征库。当在某服务或网站注册或者修改口令时，获取口令文本并将口令文本与口令脆弱特征...

一种基于中断控制流图的中断验证系统，包括：代码转换模块，用于根据中断驱动程序获取汇编代码；中断信息统计模块，根据所述汇编代码统计中断信息；控制流图生成模块，根据所述汇编代码生成控制流图；中断控制流图生成模块，根据所述控制流图与所述中断信...

本发明公开了一种基于差异比较对分析类图进行评价的方法，用于比较不同开发团队针对同一领域的分析类图和标准分析类图的差异，完成对不同分析类图的评价。本发明在对分析类图进行评价时涉及到的操作包括：（1）根据分析类图的元模型，定义评价指标、外部...

本发明公开了一种提高可得然胶产量的发酵新方法，包括以下步骤：将产可得然胶的菌株种子培养液接入发酵培养基中培养，在可得然胶发酵的48小时和72小时，分别放料发酵液，补加新鲜培养基，并且控制发酵过程的溶氧不低于30％。采用本发明工艺比放料补...

本发明公开了一种基于中断控制流图的中断验证方法，包括：对中断驱动程序的目标代码进行反汇编操作，获取汇编代码；根据所述汇编代码构建中断控制流图；对所述中断控制流图切片处理；根据所述中断控制流图切片，验证所述中断驱动程序的时间安全与内存安全...

本发明公开了一种咪唑盐多孔有机聚合物的制备方法，其特点将烯烃官能团化的1,3‑双(对乙烯基苄基)咪唑氯盐与DVB溶于DMF溶液中，加入引发剂AIBN进行聚合反应，得到的多孔有机聚合物在催化胺与CO2的胺甲酰化反应中具有较高的催化活性。本...

本发明公开了一种结构化文本程序的自动化验证装置，属于工业控制系统形式化验证领域。所述装置包括：解析模块，用于分别解析结构化文本程序及规范说明文本中的规范要求，得到对应的抽象语法树和线性时态逻辑公式；静态分析模块，用于根据抽象语法树生成结...

本发明公开了一种结构化文本程序的自动化验证方法，属于工业控制系统形式化验证领域。所述方法包括：分别解析结构化文本程序及规范说明文本中的规范要求，得到对应的抽象语法树和线性时态逻辑公式；根据抽象语法树生成结构化文本程序的图形化中间描述，并...