本发明公开一种token级的程序输入文法自动生成方法，步骤包括：S01.获取一个符合解析程序文法的字符串作为初始输入并进行符号执行，生成对应解析程序的token序列集合并收集每个token的上下界范围；S02.对token序列集合进行正...

本发明公开一种基于部分解Caching与重用的符号执行优化方法，包括步骤：S1：使用符号执行对被测程序进行分析以生成测试用例时，收集符号执行过程中路径约束；S2.判断收集的路径约束是否能够命中当前Cache，如果命中则返回步骤S1；如果...

本发明公开一种面向批量未解释程序的联合验证方法，步骤包括：S01.进行程序抽象得到程序自动机，使用保存的抽象模型对程序自动机进行精化；S02.判断精化后的程序自动机是否为空，如果为空则判定程序正确，转入步骤S05，否则转入步骤S03；S...

本发明公开了一种软件自动修复评估偏见发现及验证方法，包括：步骤S1：收集相关文献；步骤S2：筛选文献；步骤S3：获取已发现的偏见：从步骤S2获取到的偏见研究文献中提取出已发现的偏见；步骤S4：构建树状分类：提出面向自动修复技术评估偏见的...

本发明公开一种高强度Ti

本发明公开一种虚实结合的多无人机感知规避验证系统以及方法，该系统包括：实物平台，包含定位系统、实物无人机及通信互联设备，仿真平台，用于在仿真环境中构建实验场景、仿真无人机以及镜像无人机，镜像无人机的位姿根据实物无人机的位姿实时映射得到；...

本发明属于报文数据查找技术领域，提供了一种基于决策树的并行报文分类查找方法及系统。其中，该方法包括获取报文信息；采用多条流水线并行查找若干决策树，得到所述报文信息的类别；所述流水线包括决策树的树节点遍历流水线和报文分类规则并行匹配流水线...

本申请涉及一种基于QR分解的时序知识图谱补全方法、装置及电子设备。所述方法获取时序知识图谱中的头实体、关系、尾实体、时间戳的初始嵌入表示，该初始嵌入表示是复数形式；将时间戳的初始嵌入表示的实部和虚部分别采用Gram

本申请涉及一种无人船的航迹规划方法、装置、设备和存储介质。所述方法包括：通过获取预设区域内的电磁环境监测数据、拟监测点数量以及待规划无人船起始位置；根据监测数据采用克里金估计，得到克里金方差，并根据克里金方差筛选满足预设阈值条件的位置信...

本发明公开了一种分布式动力短距起降支线飞机，包括机身和机翼，通过机身尾部的发动机和螺旋桨提供推力，机翼上的电机组和螺旋桨在起飞和降落阶段分别提供的推力和反推力，缩短滑跑距离，实现短距起飞和降落，结构简单，性能稳定，涡桨发动机工作时，带动...

本发明公开了一种垂直起降水平飞行全电飞机，包括机身、机翼、动力柱、尾翼和电池，通过在起飞和降落时，倾转机构控制动力柱转为竖直方向，第一动力装置带动螺旋桨转动，提供升力，实现垂直起降，当垂直起飞到预定高度，倾转机构控制动力柱逐渐转为水平方...

本发明公开了一种基于硬式选择性上下文运用的开放域对话生成方法、装置、设备及介质，方法包括：将历史对话中的最新话语记为查询，其余话语记为上下文；根据信息密度将查询划分为强查询或弱查询；采用不同响应生成模块分别为强、弱查询进行响应生成；强查...

本申请公开了一种基于深度学习的信道同步方法，包括：线下训练基于深度自编码网络的调制解调模型；构造基于深度学习的信道同步模型；根据调制解调模型和信道同步模型，构建基于深度神经网络的通信系统；在线训练通信系统中的信道同步模型，得到训练好的信...

本发明公开一种观测飞秒激光成丝冲击云雾滴的装置及方法，包括实验筒，实验筒的两端分别连通有弯曲管并分别连接有制雾组件和水汽冷凝收集组件；实验筒的中部开设有实验区，实验区的两端设置有处于同一直线上的第一导光管和第二导光管，实验筒的一侧设置有...

本发明公开了一种基于多任务学习的空时自适应处理方法，包括：将每个待检测距离环附近的多个距离环雷达回波数据作为当前距离环STAP滤波器权矢量的训练样本；结合所述雷达回波数据，将每个距离环的动目标检测作为一个STAP任务，建立多任务学习ST...

本发明提供一种无人机航线规划方法、装置、电子设备及存储介质，所述方法包括：根据无人机的飞行高度、云台广角和旁向重叠率，确定旁线子航线的总数；根据无人机的飞行高度、云台广角和航向重叠率，确定任一旁线子航线上航向航点的总数；根据旁线子航线的...

本发明公开了一种基于深度学习的序列标注方法及应用。该方法包括步骤：获取待标注文本，对文本进行预处理；对预处理后的文本中进行文本翻译处理和纠错处理；构建规则词典及正则表达式，基于规则词典及正则表达式对纠错处理后的文本进行预标注，输出预标注...

本申请公开了一种软件系统老化预测方法及系统。该方法包括：构建软件系统网络模型，将软件系统中的处理单元视为网络模型的节点，获取处理单元的资源消耗信息并将资源消耗信息作为节点属性，根据处理单元间的关系构建边及边属性；利用节点属性提取节点自身...

本发明提供的一种基于知识图谱的信息检索方法，通过将决策者问句中的概念、实体和关系按照不同要素属性分别构建决策者问句信息词库，并根据语义算法将决策者问句分割为要素名称和每个所述要素类型对应的要素值，进而构建问句要素模式，在解析决策者用户问...

本发明公开了一种用于振动陀螺不平衡质量检测的弹性支撑电极结构，包括外框架与内平板，内平板的中心设有能够连接谐振结构锚点的连接部，且内平板上布有电极；内平板通过弹性梁连接在外框架的框内，内平板在外框架的框内具有扭摆和/或平动的谐振行程，且...