本发明公开了一种实时协议的形式化分析及验证方法，包括：数学建模步骤，用于利用进程代数建模，对实时协议进行形式化表示，建立实时协议模型，并对协议需求进行形式化表示；代码生成步骤，根据所述实时协议模型生成高级语言代码；仿真验证步骤，根据进程...

本实用新型涉及一种小鼠跳跃运动训练装置，该装置包括方形固定架、置于所述固定架下方的鼠笼和与地面平行一端固定在所述固定架侧面且另一端设有绳孔的固定杆。所述方形固定架的一侧设有木板，该木板上设有带电源的电机；所述电机的输出轴与单向转动飞轮的...

本发明公开了一种通过检索视频内容实现超感体验的方法，该方法包括视频预处理、视频事件检索及视频事件检索结果处理三个步骤，涉及视频事件检索、超感设备映射技术领域。本发明所述方法目的是为了实现4D影院中引入4D特技的自动化，本发明与现有的4D...

本发明提供了一种基于寡核苷酸链敏化的稀土铕离子构建的荧光探针及其检测三价铁离子的方法及应用，在缓冲溶液中加入含20个胸腺脱氧核糖核苷酸的寡链DNA和铕离子，待铕离子被敏化完全且稳定后形成荧光探针体系后加入待测样品，用时间分辨荧光分析方法...

本发明公开了一种基于三角形统计的图数据压缩方法，包括下述步骤：获得一组图数据，筛选其中所有由三个存在相互关联的结点构成的三角形元素，构成三角形元素的集合；在集合中，若两个以上三角形元素之前相互共同具有两个相同的结点，则将三角形元素压缩成...

本实用新型公开了一种提高离子风风速的装置，它包括绝缘外壳、离子发射极、离子风接收极以及在离子发射极和离子接收极之间施加高压的电源，所述的离子发射极是碳纳米管离子发射电极。当在离子发射极和离子接收极之间施加一个高压时，碳纳米管离子发射电极...

本实用新型公开了一种紫外低透过率测量用衰减片，其具有玻璃基片(4)、以及依次沉积在所述玻璃基片(4)表面的第一薄膜层(1)、第二薄膜层(2)和第三薄膜层(3)，所述第一薄膜层(1)为含有掺杂3％Ga的ZnO的GZO层，所述第二薄膜层(2...

本实用新型公开了一种全自动凝胶染色脱色仪，它包括开关电源、控制模块、触摸屏、驱动电路板、数个液体容器、数个电磁夹管阀、步进电机、蠕动式泵头、凝胶容器及软管，所述开关电源有两路电源输出，分别接入驱动电路板和步进电机；控制模块与触摸屏连接；...

本发明公开了一种基于形式语义推理和深度学习的自然语言知识挖掘系统，包括：机器学习模块，用于将形式语义推理和机器学习方法相结合，并进行包含语义的机器学习；意图学习模块，用于学习待挖掘的自然语言的描述意图；文本主题提取模块，用于根据LDA模...

本发明公开了一种式(I)所示的茚酮并吡咯类衍生物及其合成方法，以邻炔基烯胺酮类化合物为原料，在铜催化剂和氧化剂作用下，合成得到所述式(I)吡咯类衍生物。本发明的制备方法具有原料简单易得、普适性好、后处理简便、收率良好、对环境友好等优点。

本发明公开了一种基于卫星导航系统的移动设备管控方法，包括：系统初始化阶段：设置管控区，探测并获取即将进入所述管控区的基于卫星导航系统的移动设备；移动设备管控阶段：实时估算所述移动设备与管控区的方位关系，向所述移动设备发射卫星导航欺骗信号...

本发明公开了一种塑封邮件图像地址块定位方法，包括以下步骤：训练阶段中，步骤1：训练产生改进的BING模型；步骤2：标记训练邮件的正负样本；步骤3：采用稠密采样方式提取样本的SIFT特征；步骤4：利用样本SIFT特征构建视觉词典；步骤5：...

本发明公开了一种利用水热法在微通道板侧壁沉积三维纳米薄膜结构的方法，本发明利用水和乙醇作为溶剂，在密封的高温高压的容器中，经过一系列的化学反应，实现所需沉积的薄膜材料在微通道侧壁上均匀粘附，然后通过在烧结炉中的高温处理，从而在微通道板侧...

本发明公开了一种闭环安防系统视频画质的现场测试方法，实现对由摄像部，传输部和显示部组成的闭环安防系统，如视频监控、可视门禁等的视频质量进行测量。基于安防系统中的某类被关注对象的视觉共性，本发明提取低失真被关注对象的有效视觉特征作为基准，...

本发明公开了一种非对称苯并菲并三呋喃/噻吩及其衍生物，其衍生物三个呋喃/噻吩环的分布处于非对称位置，具有下式结构，式中R＝氢、C8及以下的直链或含支链的烷基或苯基。其制备方法是以邻溴苯甲醚/邻氯苯甲醚为原料，在三氯化铁作用下，一步合成非...

本发明公开了一种并行结构感知技术的资源约束条件下调度寻优方法，包括步骤：设定并行搜索任务中初始搜索任务的操作顺序，设定其余搜索任务的高层操作枚举顺序；获取并行搜索中数据流图的结构信息，基于资源约束调度划定其中各操作的层次；其中，依据操作...

本发明公开了一种新的产抗生素的链霉菌TXAF2，其在中国普通微生物菌种保藏管理中心的保藏号为CGMCC No.10235。本发明还公开了所述链霉菌TXAF2在制备药物或农药中的应用。本发明还公开了一种含有所述链霉菌TXAF2产物的抑菌杀...

本发明公开了一种增强海洋碳汇方法。本发明利用浮游植物光合作用吸收CO2增加海洋碳汇。具体步骤为利用特制的人工造流装置引发上升流将深海丰富的营养盐海水提升至表面真光层，使得表层浮游植物大量繁殖(甚至于引发赤潮)并参与光合作用，通过光合作用...

本发明公开了一种红细胞膜包裹的酸敏感高分子前药纳米递药系统的制备方法及用途，其中高分子是由聚谷氨酸钠和羧甲半胱氨酸通过肽键连接组成，再与抗癌药物紫杉醇键合，形成高分子前药；用红细胞膜包裹高分子前药，得到红细胞膜包裹的酸敏感的高分子递药系...

本发明公开了一种基于纳米压印技术制备图形化蓝宝石衬底的方法，在表面抛光的硅片基底上生长高纯度的金属铝膜；利用两次阳极氧化反应得到规则有序的多孔阳极氧化铝；以多孔阳极氧化铝当掩模对硅片基底进行干法刻蚀得到规则有序的多孔硅基底；在多孔硅基底...