本发明提供了一种SBR

本实用新型公开了一种太阳能台灯，所述太阳能台灯由一层电子元件层和上下重叠的、主体形状相同的五层瓦楞纸板层组成，从上到下分别为第一瓦楞纸板层、第二瓦楞纸板层、第三瓦楞纸板层、电子元件层、第四瓦楞纸板层、第五瓦楞纸板层；所述第一瓦楞纸板层、...

本发明公开了一种基于burst模式激光旋切钻装置及钻孔方法，其装置包括：激光器、四分之一波片、扩束镜、光束调制系统、聚焦透镜、工件及工作台；其方法为：由激光器发射的光束经过四分之一波片后射入扩束镜，由扩束镜输出平行光束进入光束调制系统的...

本发明公开了一种基于需求建模的类型检查方法，包括如下步骤：步骤一、将自然语言描述的原始需求文档基于预设的需求模板由需求工程师改写成符合需求模板要求的需求文档；步骤二、将步骤一中获得的符合需求模板要求的需求文档转化为形式化需求模型；步骤三...

本发明公开了一种基于嵌入式控制软件需求模型的量纲分析方法，包括如下步骤：步骤一、建立形式化需求文档，对文档需求进行分析，抽取关键信息构建抽象语法树；步骤二、基于步骤一中构建获得的抽象语法树生成需求模型；步骤三、建立与需求模型相匹配的量纲...

本发明公开了一种基于演化式需求建模的模拟仿真方法，包括如下步骤：步骤一、以原始需求为基础，将非形式化需求文档基于模板演化式迭代，形成半形式化需求文档，之后经过需求模型提取模块处理，并以形式化需求文档的方式进行输出；步骤二、将步骤一中输出...

本发明公开了一种结合自注意力机制的模糊测试漏洞挖掘方法，包括数据捕获步骤，数据预处理步骤，模型搭建步骤，模型训练步骤，以及模糊测试数据生成步骤，通过上述方法对大量通信数据模式的挖掘，可以获得一个特定的生成模型来生成类似的工控系统通信数据...

本发明公开了一种分布式图处理系统中加速无检查点故障恢复的方法，包括感知分区的备份策略以及增量协议。若所述故障涉及无拓扑突变的图算法，则应用感知分区的备份策略；若所述故障涉及拓扑突变的图算法，则感知分区的备份策略及增量协议协同使用。感知分...

本发明公开了一种式(I)所示的四氢茚酮并异硒唑类衍生物及其合成方法，以邻氰基炔酮类化合物和单质硒为原料，在促进剂作用下，合成得到式(I)所示的四氢茚酮并异硒唑类衍生物。本发明制备方法具有原料简单易得、普适性好、后处理简便、收率良好、对环...

本发明提出的是一种导电水凝胶的制备方法，该方法包括：（1）、将氧化石墨烯加入水中，超声分散，之后加入抗坏血酸在加热搅拌下进行加热还原，得到均匀分散的还原氧化石墨烯悬浮液；（2）、在还原氧化石墨烯悬浮液中加入丙烯酰胺和丙烯酸，溶解后加入引...

本发明为一类用于诱导间充质干细胞向软骨分化的化合物及其应用，公开了一类由结构式(I)

一种用于神经细胞光刺激的纳米材料及其制备方法和应用。本发明属于纳米生物神经医学诊治领域，主要涉及一种具有电容效应的有机/无机复合纳米材料体系的制备。本发明采用金属卟啉的超分子自组装驱动，构筑功能化的ZnTPyP

本发明公开了一类由结构式(I)—(VII)表示的小分子化合物或药学上可接受的盐、多晶型物、前药、酯、代谢物、N

本实用新型公开了一种PEEK塑料管内镀银层的空芯波导结构，其特点是采用等离子体处理的PEEK塑料管为波导的结构管，其内壁上设有内镀银层的空芯太赫兹波导结构，或结构管内壁上设有Ag/AgI层的空芯红外波导结构，组成用于不同频率范围的空芯波...

本申请提供了一种机载软件中目标代码到源代码的验证分析方法及存储介质，具体的，根据第一目标代码通过反汇编得到第一汇编代码，根据第一汇编代码进行反编译得到第一C代码；将第一C代码与源代码进行对比，得到源代码变量名之间的对应关系；根据对应关系...

本发明提供一类Tau蛋白可视化PROTAC降解化合物及其制备方法和应用，该类化合物是将E3连接酶配体先与linker缩合制备出中间体，再与靶头探针分子相连后得到的，在靶头选取上不仅保留靶头小分子与Tau蛋白的选择性结合作用，还赋予了其产...

本发明公开了一种基于关键剪辑判别的动态行为识别系统。本系统取得了高效行为识别领域中与最新性能可比的性能并获得了高效行为识别领域中计算消耗最小的3D（基于视频）方法。在高效行为识别场景下，通过拓展了3DRNNPooling技术，成功搭建了...

本申请提供了一种机载软件中目标代码到源代码的验证分析系统，具体的，第一代码模块根据第一目标代码通过反汇编得到第一汇编代码，根据第一汇编代码进行反编译得到第一C代码；关系映射模块将第一C代码与源代码进行对比，得到源代码变量名之间的对应关系...

本发明公开了一种结合自注意力机制的模糊测试漏洞挖掘系统，包括数据捕获模块，数据预处理模块，模型搭建模块，模型训练模块，以及模糊测试数据生成模块，上述系统，通过对大量通信数据模式的挖掘，可以获得一个特定的生成模型来生成类似的工控系统通信数...

本发明公开了一种机载软件形式化验证系统，系统包括：需求验证结果生成模块、源代码验证结果生成模块、目标代码验证结果生成模块、验证通过模块。因此，采用本申请实施例，由于本申请将机载软件的验证活动分为需求与设计、源代码和可执行目标代码三个阶段...