可分性

摘要： 针对Trivium算法的立方攻击中恢复超级多项式表达式时遇到的模型求解费时问题,提出了一种快速方法,该方法结合了Delaune等人的有向图建模方法以及胡凯等人的模型分解方法。初始化845轮的Trivium算法的攻击实验结果表明,相比于公开结果,恢复超级多项式表达式的模型求解时间由约3周下降至约1周。

摘要： ACT和TED算法是近年来相继被提出的,分别基于SPN结构和Feistel结构而设计的两种轻量级分组密码算法.本文根据这两种算法不同的结构特性,分别构建了相关的基于比特可分性的MILP模型,并调用求解工具Gurobi对MILP模型进行求解.实验结果表明:ACT和TED算法都存在8、9、10轮积分区分器,另外TED算法还存在7轮积分区分器.根据所搜索到的积分区分器,实现了两种算法的11轮密钥恢复攻击方案.利用ACT算法的9轮积分区分器向后扩展2轮进行11轮的密钥恢复攻击时,攻击数据复杂度为236.39,时间复杂度为236.39次11轮加密,存储复杂度为220.利用TED算法的8轮积分区分器向后扩展3轮进行11轮的密钥恢复攻击时,数据复杂度为260.81,时间复杂度为2109.54次11轮加密,存储复杂度为259.

摘要： 讨论了统计收敛的两个基本问题:1)在第一可数的拓扑空间上,统计收敛和几乎处处收敛等价的,反之,如果统计收敛和几乎处处收敛等价,能否导出这个拓扑空间一定是第一可数的?2)超滤子收敛是否和依统计测度收敛等价?通过构造两个例子,给出了这两个问题以否定的答案.此外,引入有界线性算子序列在弱算子拓扑意义下的统计收敛,证明了一个Connor-Ganichev-Kadets型定理,即证明了对一个可分的Banach空间X,X可分的当且仅当对任意有界的弱统计收敛的L(X)-值序列(Tn),都存在一个弱收敛的有界线性算子序列(Sn)使得{n∈N:Tn=Sn}具有自然密度1.

摘要： 分别针对近年来提出的SPN结构的BORON密码算法和Feistel结构的Khudra密码算法进行积分性质的评估.根据各自算法线性层和非线性层的结构,建立基于比特可分性的混合整数线性规划(MILP)模型.根据最终搜索的目标轮数生成相应的目标函数,利用Gurobi优化器进行求解,并进行积分区分器的搜索,分别得到了BORON算法的6轮积分区分器和Khudra算法的7轮积分区分器,均是目前已知的最长区分器.利用积分区分器,可以对密码算法进行更多轮数的积分性质评估.

摘要： 立方攻击是一种新型的代数分析方法,刚提出时对密码算法的分析效果并不理想.但是在引入多重集合可分性、可分路径的概念之后,立方攻击的过程转化为求解混合整数线性规划问题,再使用数学软件进行计算,大大提高了其分析能力.梳理了立方攻击的技术脉络,论述了其最新进展,给出了立方攻击亟待解决的研究问题,这将有助于掌握立方攻击的最新技术,便于开展对分组密码、序列密码和哈希函数等密码算法的分析工作.

摘要： 珊瑚的反射光谱(R)是珊瑚礁遥感的关键参数.珊瑚光谱响应特征受珊瑚生态习性和生长环境影响,在光学上有一定相似性,高光谱才可能感知这些细微差异.现场收集了西沙群岛24种典型活石珊瑚反射光谱,对其特征光谱进行了分析及成因探讨.通过导数光谱、聚类分析方法研究了同物种内和不同种类间珊瑚的光谱差异.结果表明,受珊瑚种类和生长环境影响,珊瑚的光谱特性及其变化均较为复杂;光谱形状主要取决于共生藻吸收和荧光贡献,导数光谱有助于显示物种间特定波长吸收差异.统计分析得出物种内光谱变异相对于种间变异并不显著,验证了珊瑚光谱的可分性.然而,由于复杂的生物学分类,基于反射光谱在物种生物分类层次上区分活珊瑚,目前还不可能.因此,探寻光谱可分的且具有生态学意义的类别,是珊瑚礁遥感的重要工作.建立的珊瑚光谱库,在遥感应用和光合作用研究中都是重要资源.

摘要： 本文提出了一种效率很高的公平可分的电子票据方案,设计了基于群签名的公平电子票据方案,介绍了该方案具备的特性,并进行了安全性分析.

摘要： 本文提出了一种效率很高的公平可分的电子票据方案,设计了基于群签名的公平电子票据方案,介绍了该方案具备的特性,并进行了安全性分析.

摘要： 本文提出了一种效率很高的公平可分的电子票据方案,设计了基于群签名的公平电子票据方案,介绍了该方案具备的特性,并进行了安全性分析.

摘要： 公开了一种使用喷雾干燥制备缓释微球的方法，所述微球包含作为载体的生物可降解聚合物和药物。所述方法包括制备含有生物可降解聚合物、药物和溶剂的溶液、悬液或乳液；喷雾干燥所述溶液、悬液或乳液；并在含有聚乙烯醇的水溶液中悬浮喷雾干燥的微球，以除去残余溶剂并提高所述微球表面的亲水性。所述方法能够制备这样的微球：其具有高药物封装效率、几乎没有由于残余溶剂引起的毒性问题并具有良好的可注射性。当给予身体时，依据本发明制备的微球以持续的方式在预先确定的时间段内释放有效浓度的药物，并因此被用于疾病的治疗。

摘要： 一种可分散性湿擦拭物包括纤维素纤维层。在一个实施方案中，将第一粘结剂以涂层施加，该涂层包含粘结剂的随机分布沉积物。将第二粘结剂以间歇图案施加到第一表面上，以在表面上限定包含第一粘结剂但不含第二粘结剂的第一区域，并在表面上限定包含第一粘结剂和第二粘结剂两者的第二区域。第一粘结剂和第二粘结剂可具有相同的化学组成。在第二实施方案中，将第一粘结剂以第一图案施加到幅材表面上，并且在施加第一粘结剂之后，将第二粘结剂以不同于第一图案的第二图案施加到幅材表面上。在第三实施方案中，将粘结剂以图案施加到幅材表面上，该图案具有第一区域和第二区域，其中第一区域中粘结剂的添加水平低于第二区域中粘结剂的添加水平。

摘要： 本发明的脂肪族聚酯系生物可分解性树脂用分解促进剂含有碱性硫酸镁。

摘要： 提供了一种在编码器中提供可分级性的可分级编码方法和设备。该可分级视频编码设备包括：模式选择器，确定帧的时间滤波顺序和作为用于确定将对哪一帧执行时间滤波的条件的预定时间期限；和时间滤波器，根据在模式选择器中确定的时间滤波顺序，对满足上述条件的帧执行运动补偿和时间滤波。根据所述方法和设备，由于在编码器中提供了可分级性，所以可确保在诸如视频会议的实时双向视频流传输应用的操作中的稳定性。

摘要： 本发明在可分级视频编码中，基于在现有的编码中所选择的最佳预测模式，求取针对上位层和下位层的空间地对应的块选择的最佳预测模式的组合的发生率，生成对它们的关系进行记述的对应表。接着，基于发生率缩减在对应表记述的最佳预测模式的组合，生成针对该缩减了的最佳预测模式的组合进行记述的预测模式对应信息。然后，在对上位层的块进行编码的情况下，通过将在下位层的空间地对应的块的编码中选择的最佳预测模式作为关键来参照预测模式对应信息，从而决定在该编码中搜索的预测模式搜索候补，减少预测模式搜索候补的数目。

摘要： 公开了一种使用喷雾干燥制备缓释微球的方法，所述微球包含作为载体的生物可降解聚合物和药物。所述方法包括制备含有生物可降解聚合物、药物和溶剂的溶液、悬液或乳液；喷雾干燥所述溶液、悬液或乳液；并在含有聚乙烯醇的水溶液中悬浮喷雾干燥的微球，以除去残余溶剂并提高所述微球表面的亲水性。所述方法能够制备这样的微球：其具有高药物封装效率、几乎没有由于残余溶剂引起的毒性问题并具有良好的可注射性。当给予身体时，依据本发明制备的微球以持续的方式在预先确定的时间段内释放有效浓度的药物，并因此被用于疾病的治疗。

摘要： 本发明提供了一种消除QKD诱骗态光谱侧信道可分辨性的方法及其发送端，分别在信号态和诱骗态脉冲前后对应着调制电压上升沿和下降沿的位置上产生随机噪声光，可从根本上消除因激光器的开关消光比不足、强度调制器的消光比不足、以及调制电压幅度不同而在诱骗态光谱侧信道空间可能产生的可分辨性，进而增强QKD的实际安全性。

摘要： 本发明公开了一种节能环保的可分散性乳胶粉用生产装置，其结构包括混合箱和喷雾干燥塔，所述混合箱上设置有输料管、驱动电机、第一轴承、电磁流量阀、第一电磁阀和釉面层，所述输料管活动连接在所述混合箱的上端，所述驱动电机固定连接在所述混合箱的右端，所述第一轴承固定连接在所述混合箱内部的右侧，所述电磁流量阀密封连接在所述混合箱上端的左侧，所述第一电磁阀密封连接在所述混合箱底部的中间出，所述釉面层附着在所述混合箱的内壁。本发明有效的实现了对喷雾干燥塔内部进行预热，加快了喷雾干燥塔升温时的速度，节省了可分散性乳胶粉生产时的时间，而且还能对喷雾干燥塔内部的热量进行回收利用，从而让生产装置达到节能环保的效果。

摘要： 本发明提出一种基于深度学习的特征混合可分解性增强的图像描述方法，旨在直接变换图片内各个目标的深层视觉特征，来为视觉特征赋予混合可分解性，通过混合模块来生成混合特征，通过特征提取器提取初始特征，利用混合模块读取一个主特征一个副特征来生成混合特征，再通过分解模块来重构主特征。进一步的，根据特征提取器提取的特征的分类损失、混合模块的混合损失和分解模块重构出的特征的分类损失，利用反向传播和梯度下降算法来更新模型参数，以增强特征提取器提取的特征的混合可分解性。本发明提取的特征具有更强的可分解性，能广泛地应用于视觉问答和图片标注等一系列下游任务，来提升下游任务模型的表现。

摘要： 本实用新型公开了一种可复制、可分级和定量的实验性闭合性脊柱牵张器，包括固定夹臂和活动夹臂，固定夹臂和活动夹臂的底部均具有两个用于夹持脊柱的夹头，固定夹臂和活动夹臂之间设有两根平行设置的导杆，固定夹臂与两个导杆固定连接，活动夹臂滑动装配在两个导杆上，两个导杆和活动夹臂之间还设有丝杆传动机构，丝杆传动机构包括螺杆和与固定块，固定块固定连接在两个导杆上，螺杆从固定块上螺旋穿出与活动夹臂固定连接，固定块和固定夹臂之间固定有用于测量活动夹臂位移的标尺。本实用新型利用丝杆传动机构带动活动夹臂移动，活动夹臂的移动距离可通过标尺直接读出。本实用新型可以模拟牵张性脊髓损伤，具有可复制、可分级、闭合性好的优点。