摘要：本发明公开了一种抽象模型中虚假路径的高效检测方法，所述方法具体是，在反例路径中，每个状态是不是失败状态，只与它的前驱状态和后继状态有关。所以，判断时，采用并发执行，通过集合In和集合Out的交集来判断状态是否为失败状态。本发明在检测无穷反例路径时，采用有限前缀分析的多项式比已有的算法短。同时，采用并发技术，能更快的找出失败状态；而且，本发明能更早找到隐藏在反例路径中的失败状态，实验结果显示，系统的规模越大，本发明提出的方法执行的效果越好。

摘要：本发明属于计算机应用技术领域，公开了一种基于插值的模型检测路径缩减方法、计算机，读入C程序，对C程序进行语法语义分析，并从抽象语法树中提取出控制流自动机CFG；给CFG添加safety(S)插值和error(E)插值，扩展CFG；在根据CFG生成ARG的过程中，在每一个状态，判断safety插值和error插值是否被当前路径公式蕴含。本发明通过计算S插值和E插值，提高了检测的效率，使得模型检测算法可以更好地应用于大规模的程序；S插值避免不必要的探索，大大地减少ARG的状态数；E插值可以运用于快速地判断程序中是否存在真反例路径，加快了程序的验证，提高了效率；裁剪CFG中无用结点和边，缩小了遍历状态空间。

摘要：本发明公开了一种Russian Cards通信协议的扩展方法，以解决分布式网络环境下的安全通信问题。其扩展规则包括：抽牌规则，判定规则和安全规则。即每个通信者按照先后次序将持有自己牌的矩阵对外公开，其余通信者收到该矩阵后，对矩阵发送者手里的牌进行判定，而入侵者不能对其做出判定；通信者将各自的矩阵都发送完后，第n-1个通信者从知道的每个通信者手里的牌得知入侵者手里的牌，并将其对外公开；其余通信者得知入侵者的牌之后，就能知道每个通信者手里所拿牌的信息；如果所有通信者都发布完公告后，他们彼此知道对方手里拿的牌，而入侵者不知道任何一个通信者所拿牌的信息，这个通信过程就是安全的。本发明可用于通过广播方式不用密钥加密的网络安全通信。

摘要：一种高镍三元电极材料的制备方法，特别是加工锂化金属氧化物和混合金属氧化物的方法，其特征在于：将粉料在机械融合系统进行加工，所述的加工过程如下：第一步，将粉料放置在旋转容器中，施加离心力并将其紧紧地压到容器壁上；第二步，当所述粉料落入到容器壁与有不同曲率的转子的内芯之间时，对所述粉料施加强压力和剪力，所述粉料的颗粒被这种力聚集到一起，从而相互粘附；在前述机械融合系统中，粉料通过旋转容器壁上的槽传送，粉料通过装有转子的循环叶片送至转子上方，随后，材料返回转子，并在此经受转子内芯的强压力和剪力，经历上述过程即制得高镍三元电极材料。此工艺适合工业化生产，工序少，降低了生产成本，通过包覆纳米颗粒，提高了电极材料的电化学性能，降低材料PH值，加工性能好。

摘要：本发明提供一种带有送风装置的挖掘机作业扬尘抑制系统，包括喷水头和位于喷水头附近的喷气头，气管的一端连接喷气头，另一端连接设置于挖掘机的气泵，气泵控制装置与气泵耦接，用于控制气泵的运行状态。本发明的有益效包括水雾传播空间大，可覆盖全部作业区域，减小了空气中水雾液滴直径，提高了除尘效率，降低了水资源的使用。

摘要：根据本发明实施例的燃料电池以及具有其的车辆，所述燃料电池包括：电堆，所述电堆设置有第一容纳槽，所述电堆包括叠置的多个单体电池；电压巡检仪，所述电压巡检仪固定在位于所述电堆两侧的端板上；插接件，所述插接件插入所述第一容纳槽内，且适于将所述电压巡检仪与所述单体电池电连接。根据本发明实施例的燃料电池，通过设置固定在第一容纳槽内的插接件，以避免插接件松脱，从而提高单体电池与电压巡检仪的电连接稳定性，以避免因插接件接触不良导致单体电池与电压巡检仪断路，提高燃料电池的电压检测稳定性以及可靠性。

摘要： 本发明属于低真空测量传感器——热偶规管。采用独特的结构，克服了对流及辐射对热偶规管定温曲线在１ＫＰａ—１０KPａ区间的影响，使４ＫＰａ—１０ＫＰａ区间的加热电流的变化比现有热偶规管扩大２．５—３．５倍。实现了从０．１Ｐａ—１００ＫＰａ的高精度全量程自动测试（配用高稳定性、数显定温式真空计）。$本发明简单易行、效果显著，稳定性好，它成为医药卫生、食品保鲜、真空冶金、充气管的生产、研究以及卫星的高空模拟试验等无污染要求的有力测量手段。

摘要：本发明公开了一种焦碳生产工艺，其生产流程为：材料粉碎—烘干—压缩成型—碳化处理—成品；在这个流程中，材料粉碎后的直径≤2.5毫米，烘干后的材料的含水率为8％—12％，压缩成型过程中的温度控制在220℃—260℃，碳化时间为6—10小时。用本发明生产的焦碳在燃烧过程中无烟无味无污染、无爆花；含碳量高达90％以上，火力旺，热值达4200-7200大卡/公斤，燃烧时间是普通木炭的2-4倍，可广泛应用于农、工、商等各个领域。

摘要：本发明公开了一种蜂窝煤，由碳和土混合压缩成型，其特征是，所述碳和土的质量比为：碳1000kg，土300—800kg。本发明通过改变碳和土的比例，使其燃烧产生的热量发生改变，以达到不同的功能效果，如点火、保温、燃烧等。

摘要：本发明涉及一种椰肉原浆中温协同超高压间歇灭菌方法，具体包括以下步骤：步骤1、选择成熟度适中的当季新鲜椰子果；步骤2、将选好的椰子果去椰衣、破壳、去种皮，用清水清洗，沥干得到椰肉；步骤3、将椰肉切分、打浆制得椰肉原浆；步骤4、将椰肉原浆进行真空包装；步骤5、第一次中温协同超高压处理，卸压；步骤6、第二次中温协同超高压处理，卸压，取出经超高压处理的椰肉原浆。本发明采用中温协同超高压间歇处理方法对椰肉原浆灭菌，能保持新鲜椰肉原有风味和营养成分，灭菌效果好，时间短，不仅杀灭微生物营养体，而且杀灭细菌芽孢等耐压微生物。