适于移动Ad hoc网络通信的多域签密算法

针对移动Ad hoc通信中的安全问题,利用双线性对的优点,结合基于身份加密体制,设计了一个存在多个私钥生成中心的签密算法,适合多域Ad hoc网络使用。基于计算Diffie-Hellman问题困难的假设下,在随机预言模型中证明了算法的安全性。方案设计简单,效率高,能够满足Ad hoc网络安全需求。     

细观尺度下大孔隙环氧沥青混合料损伤演化分析

通过数字图像技术获取了大孔隙环氧沥青混合料的多相细观结构,建立了包含集料、沥青砂浆、空隙在内的细观结构有限元仿真模型,引入了内聚力模型,通过劈裂试验数值模拟,对内部结构应力响应、裂纹扩展及损伤演化过程进行了分析.研究结果表明:空隙、集料等细观结构的不均匀分布,对混合料的应力响应及其分布均造成一定影响;劈裂试验模拟过程中,损伤变量D值达到1时,试件开始启裂,预设内聚力单元模拟的启裂位置与室内试验观察较为一致,而后裂缝开始扩展,但扩展速率逐渐变小;双线性内聚力模型较好地模拟了混合料损伤规律与裂纹启裂、扩展路径.     

基于身份的门限代理签名的安全性分析与改进

通过对张建中等人提出的基于身份的门限代理签名方案进行安全分析,发现该方案不能抵御合谋攻击,任意t个代理签名人都可以合谋获得其他n-t代理签名人用来生成代理密钥的足够信息,从而伪造他们进行签名。为了避免这种攻击,提出了一种新的基于身份的门限代理签名,新方案克服了原方案的安全缺陷,不仅能够抵抗合谋攻击,而且满足门限代理签名方案的安全要求。相比已有方案,新方案在代理密钥生成、代理签名生成和总运算量具有明显的优势。     

身份基认证密钥协商协议

安全有效地传递信息是计算机安全通信研究领域的主要目标。为了使得用户间能在公开网络进行安全通信,文中提出了一种新的两轮双方认证密钥协商协议,通过分析新协议的安全属性指出了构造双方认证密钥协商的一些原则。该协议实现了通信双方的相互身份认证功能,使通信双方能确认对方的身份,同时还提供了密钥协商的功能。     

基于分层精简双线性注意力网络的鱼类识别

由于水下鱼类图像采集困难,现有的数据集主要以视频提取为主,采集到的鱼类图像存在背景环境复杂、像素低下等问题,使得细粒度鱼类图像识别任务难度较大。针对上述问题,提出了一种基于空间域注意力机制和分层精简双线性特征融合的网络。识别网络可进行端到端的训练,由两部分组成：第一部分是以空间变换网络（STN）为注意力机制的背景过滤网络;第二部分以vgg16网络作为特征提取器,根据高层卷积部分对鱼类图像细粒度特征响应的差异性,选取三组特征进行降维近似的网络精简融合,最终级联三组融合的特征送入softmax分类器。特征提取网络以ImageNet数据集上训练的参数进行初始化,采用鱼类数据集进一步微调。通过在F4K鱼类数据集上的对比验证,结果表明,所提出的分层精简双线性注意力网络（STN-H-CBP）在降低特征维度减少计算量的同时,在该数据集上的表现与现有的最优方法相当。     

双K断裂模型失稳韧度KIcun的解析计算方法

为预估最大荷载P_max和失稳韧度K^un_Ic,提出一种只需混凝土轴心抗压强度f_c即可计算双K断裂模型失稳韧度K^un_Ic的解析计算方法。大量的试验数据表明,临界裂缝扩展量与韧带高度之比Δa_c/(h-a₀)趋于常数。结合这一规律,基于虚拟裂缝的双线性本构关系,根据带切口的三点弯曲梁跨中截面的平衡条件,计算最大荷载P_max,再将P_max的计算值代入公式计算双K断裂模型的失稳韧度K^un_Ic。为检验计算精度,将最大荷载P_max和失稳韧度K^un_Ic的计算值与试验值比较。结果表明:最大骨料粒径d_max≤40 mm的较大尺寸三点弯曲梁试件,最大荷载P_max及失稳韧度K^un_Ic的计算值与试验值吻合良好。     

Integrability,soliton solutions and modulation instability analysis of a (2+1)-dimensional nonlinear Heisenberg ferromagnetic spin chain equation

We consider the Heisenberg ferromagnetic spin chain equation, which is governed by the (2+1)-dimensional nonlinear Schrödinger-type equation. Based on the Ablowitz–Kaup–Newell–Segur frame, we study the integrability of the equation by deriving its Lax pair and infinite conservation laws. By introducing a potential transformation, we obtain its Hirota bilinear form and soliton solutions. Based on the resulting lax pair, we construct Darboux transformation and multi-soliton solutions of the equation. Furthermore, we also find the other type of soliton solutions for the equation by considering its Bäcklund transformation. Finally, we discuss the linear stability analysis by considering its stability condition for the stationary solution of the equation, which can be used to analyze modulation instability. The technique presented in this work is analytical, which can be used to enrich the dynamical of the Heisenberg ferromagnetic spin chain equation.     

基于组合阶双线性群的组签名方案的分析与改进

周福才等利用组合阶双线性群理论和非交互式零知识证明理论构建了一个基于BMW模型的高效组签名方案,解决了传统组签名方案通信效率低、不能抵抗选择密文攻击等问题。然而研究发现该方案在正确性方面存在不足:验证者不能正确地验证签名者的身份,进而无法完成后续的签名验证操作。据此提出了一个改进方案,并给出了严格的安全性证明,通过增加身份信息的承诺值及对应的非交互式零知识证明,修正了原方案中的缺陷。最后将该改进方案与同类其他方案在安全性和效率方面进行了分析与比较,结果表明该改进方案在保证高效性和安全性的前提下解决了原方案中存在的问题。     

Time domain model order reduction using general orthogonal polynomials for K-power bilinear systems

In this paper, we propose a model order reduction (MOR) method based on general orthogonal polynomials for K-power bilinear systems in the time domain. Constructing proper projection matrices by solving a series of linear equations, a reduced K-power bilinear system is produced, which preserves the original coupled structure. It can match several expansion coefficients of the original output. Then the error bound of our algorithm is also investigated. Moreover, the stability of the reduced system is discussed as well. Finally, two numerical examples are provided to illustrate the effectiveness of our algorithm.