本发明公开了一种基于边界模型检测技术的微内核操作系统接口的形式化验证方法。首先从微内核操作系统规范中提取微内核API的性质，把性质抽象为一阶逻辑公式；并将程序要满足的基本性质从通用基本性质库提取其一阶逻辑公式；微内核操作系统待验证的AP...

本发明公开了一种基于形式化的汽车电子系统安全目标确认方法，本发明是基于ISO 26262《道路车辆功能安全》国际标准的，首先按照标准对项目进行定义，确认项目所包含的子系统和环境的接口；其次结合故障树分析识别出项目所有可能产生的危害，对每...

本实用新型提供了一种快拆装式便携潮滩多参数观测架，包括两根垂向安装杆、两根水平安装杆、斜向加固杆、多个固定连接件以及仪器安装连接件，所述的两根垂向安装杆下端竖直设置在潮滩上；所述水平安装杆的两端分别通过固定连接件安装在两根垂向安装杆的上...

本发明公开了一种基于对抗样本和随机变换的图形验证码生成方法，包括：确定对抗样本的生成算法，生成基于对抗样本的图形验证码；利用生成的图形验证码，对神经网络进行对抗训练；根据对抗训练完成的神经网络，进行对抗样本的二次生成；对二次生成的对抗样...

本发明公开了一种基于双分支注意力深度学习的癌症高光谱图像分割方法，所述方法首先对癌症高光谱图像进行预处理操作，并将数据集划分为训练集和测试集；然后构建一个双分支的基于注意力机制的深度卷积神经网络，通过划分出的训练集对网络进行训练；然后利...

本发明公开了一种基于遗传算法的智能组卷方法，其特点是将基于“ε‑greedy”贪心算法引入自动组卷，使父代生成子代的多轮迭代中能充分利用好上一代的优良个体，得到最优试卷，智能组卷具体包括：目标试卷约束、初始种群、个体适应度的计算、操作选...

本发明公开了一种基于边距约束的任意形状的场景文本检测方法，该方法通过深度网络提取场景图片中的特征，利用特征信息进行处理生成文本实例图来完成文本检测。同时充分利用文本实例间存在的边距约束，利用生成边距作为整个网络的一个辅助手段来修正文本实...

本发明公开了一种密集人群计数的检测框架，其特点是该检测框架包括：特征提取器和四个自上而下的功能调制器，所述特征提取器提取多尺度的特征信息；所述自上而下的功能调制器以特征提取器的输出为基础，多尺度的信息在调制器中被融合并做出更加精确预测。...

本发明公开了一种基于学科知识图谱集中抽取专家的方法，该方法通过应用知识图谱，对单个项目或项目组抽取匹配专家，以便后续对项目组进行多方面的评审。具体包括以下步骤：用英文维基百科超链接的相似度建立关键词到学术知识图谱节点的映射，利用映射结果...

本发明公开了一种在深度语言模型中融入额外知识信息的方法，其特点是采用将知识信息融入到深度语言模型中进行预训练的方法，通过大规模自然语言语料上进行实体标注，并对自然语言文本进行实体级别的扰动构造负样本用以强化和提升知识库问答系统中关系匹配...

本发明公开了一种基于Transformer的中文新闻分类方法，其特点是采用可并行的Transformer‑Encoder来对文本序列进行编码，采用“词‑句‑文章”多层的网络来提取新闻的文本信息，利用attention机制来降维得到文章级...

本发明公开了一种纳米氧化锗的制备方法，该方法以锗酸根离子水溶液为前驱液，通过硫酸溶液调节前驱液pH值，再利用油包水的反向胶束来限制氧化锗颗粒的生长空间，从而对氧化锗颗粒的粒径和形貌进行调控。该制备方法所使用的表面活性剂为十六烷基三甲基溴...

本发明公开了一种中空金属微针和中空金属微针阵列及其制备方法，其包括：由冲压拉伸工艺制备的中空金属微针及微针阵列，具体制备是通过研磨或者微纳加工技术制得金属冲针，然后制备由金属薄膜和基板衬底构成的凹膜结构，并用冲压拉伸工艺将金属冲针与凹膜...

本发明公开了一种真空度优于1×10

本发明公开了一种动态环境下基于强化学习算法的路径规划方法，包括以下步骤：根据动态已知环境利用栅格法对作业环境进行建模，根据作业任务设置起始点和目标点；基于时间变量t构建改进的Q‑learning算法并赋予智能体停止动作；根据起始点和目标...

本发明公开了一种用于药物代谢研究的Ces2敲除大鼠模型的构建方法及其应用。所述Ces2敲除大鼠模型的构建方法包括：基因敲除靶点的选择、sgRNA合成、胚胎显微注射、大鼠饲养与繁殖等步骤，得到纯合子Ces2基因敲除大鼠模型。然后对纯合子C...

本发明公开了一种纳米级静电保护器件失效微区的表征方法，选取一个静电失效的纳米级静电保护器件，该器件对比失效前，在工作电压下测得漏电流发生突增，此为失效样品；通过激光扫描该器件表面，利用光致电阻的变化，定位缺陷位置，得到失效热点；根据失效...

本发明公开了一种基于FPGA的智能窗系统，包括智能手机、太阳能供电板、ESP8266无线wifi模块、FPGA控制器、驱动电路、步进电机、显示模块、光强传感模块、温湿度传感模块、雨滴传感模块、风速传感模块以及烟雾传感模块；智能手机与ES...

本发明公开了一种非稀土高量子产率荧光材料及合成方法，其合成方法采用MCO

本发明公开了一种聚集诱导荧光客体功能化的复合无限配位聚合物纳米粒子(复合ICPs)及其制备方法。所述复合ICPs包括主体、客体，所述复合ICPs在主客体作用调控下可同时呈现单体发射(ME)与聚集体发射(AIE)效应。本发明还公开了一种对...