双线性分式交叉规划的等价形式

考虑双线性分式交叉规划 ,将双线性分式交叉规划转化为线性交叉规划 ,再借助同参规划组转化为多目标规划 ,讨论交叉规划的均衡解与多目标规划的最优解的关系。

双线性算子和非线性方程的双线性形式

简要地总结了双线性算子及其主要性质和一些非线性方程的双线性形式，并对部分非线性偏微分方程如何变换成双线性形式进行了探讨；尤其是对近年来倍受关注的差分微分方程的双线性形式也进行了一些讨论。

基于Bell多项式求解非线性发展方程Hirota双线性形式的新算法

基于Bell多项式,构造了获得非线性发展方程双线性形式的一个新算法,并且开发了相应的程序包.非线性发展方程与其双线性形式之间的变换可由该程序包自动推导,同时给出了一些具有代表性的实例验证了该程序包的有效性与可靠性.

Caudrey-Dodd-Gibbon-Kaeada方程的Hirota双线性形式和多孤子解

通过变换求出Caudrey-Dodd-Gibbon-Kaeada(CDGK)方程的Hirota双线性形式,进而得CDGK出方程多孤子解的解析表达式,并用三维图形展示出CDGK方程多孤子解的主要相互作用过程的特征.

关于具有双线性形式的一般强拟变分不等式的迭代算法

研究具有双线性形式的一般强拟变分不等式的逼近解的迭代算法．概括了在该领域中作为特例的若干熟知的结果．推广与改进了Ｎｏｏｒ，Ｓｉｄｄｉｑｉ与Ａｎｓａｒｉ及Ｄｉｎｇ的结果．

参数形式双线性型拟变分不等式的灵敏分析

本文分析了参数形式双线性形拟变分不等式解ｕ（λ）关于参数λ的连续性和可微性的灵敏性质．此结果改进和推广了Ｒ．Ｎ．Ｍｕｋｈｅｒｊｅｅ和Ｈ．Ｌ．Ｖｅｒｍａ（１９９２）、潘韵淮（１９９５）的相应结果．

关于双线性算子与形式的一个注记

本文给出了双线性运算的定义，将文献[1]中的双线性算子与双线性形式加以联系，并在特定条件（V=R）下作一种统一，以利于认识对应的李群、李代数之间的关系，利于研究流形与子流形的结构。

无双线性对的无证书两方认证密钥协商协议

鉴于双线性对运算复杂度较高,不适用于移动通信环境,提出新的无双线性对的基于无证书的两方认证密钥协商协议。新协议解决了基于身份的公钥密码方案中固有的密钥托管问题,实现了对通信双方的身份认证,采用非双线性对运算,极大地降低了计算开销。通过分析协议的正确性,采用Applied Pi演算对协议进行形式化分析,借助ProVerif工具验证了协议的安全性和认证性。与其他两方密钥协商协议相比,新方案具有更好的安全性和效率。

基于双线性对的WSN密钥协商和认证协议

无线传感器网络(WSN)节点在电源、计算能力和内存容量等方面存在局限性,且面临的安全威胁更复杂。为此,提出一种适用于类LEACH路由的WSN密钥协商和认证协议。通过引入当前轮数,实现节点间的双向身份认证,以抵御选择性转发、Sybil和Hello泛洪等常见攻击。利用ID和双线性对原理生成节点间的动态会话密钥,从而减少节点间的交互步骤,降低能耗。SVO逻辑推理和性能分析结果表明,该协议同时满足安全性要求和WSN的特殊应用要求。

(3+1)维孤子方程的双线性Bcklund变换

运用双线性算子恒等式,得到(3+1)维Jimbo-Miwa方程的双线性Bcklund变换.通过双线性Bcklund变换,能构造出此(3+1)维孤子方程的行波解和有理解.

求解双线性方程的带可解标记的三角化算法

在孤立子理论的双线性方法中产生的方程组进行形式变换，定义其为双线性方程， 并通过寻求其特殊规律设计了求解的带可解标记的三角化算法，在应用中取得了很好的效果．

用Hirota双线性法求Caudrey-Dodd-Gibbon-Kaeada方程的双孤子解

利用Painleve截断展开法得到Caudrey-Dodd-Gibbon-Kaeada(CDGK)方程的Hirota双线性形式,并根据其双线性形式,利用Hirota双线性方法求出了CDGK方程的单孤子解与双孤子解,并对双孤子解做了详细分析.

基于双线性映射的三因子远程身份认证协议研究

为了提高多服务器环境身份认证的安全性,降低计算复杂度,提出一种基于双线性映射的三因子认证协议,这些因子包括生物信息、智能卡和双线性映射密码。该协议包括系统设置、服务器注册、用户注册、登录、认证和密钥协商,以及密码更新六个阶段,其中,生物因子和智能卡作为核心因子涉及注册、登录、认证和更改阶段。Oracle形式化证明验证了该协议的安全性,攻击者无法得到标志、密码、生物特征信息等,可以实现密钥协商和双向身份认证。与其他相关协议相比,该协议在安全特征、智能卡存储成本、通信成本等方面具有一定优势。

具有新四阶项的非线性微分方程的精确解

研究了一类具有新的四阶项D_(x)^(2)D_(T)^(2)非线性偏微分方程的问题,其中三个新的四阶导数项和一些二阶导数项增加了非线性方程求解的困难.构造非线性偏微分方程的Hirota双线性形式,利用Hirota双线性方法得到方程的Lump解.通过绘图分析了它们的动力学行为.

代理多重签名的形式化模型及一个新的体制(英文)

作为普通的数字签名的一种变形,代理签名允许一个代理签名人代替原始签名人进行签名.代理多重签名是代理签名的一种扩展形式,它允许两个或多个原始签名人把签名的权力委托给同一个代理签名人.自2000年以来,尽管文献中已经提出很多具体的代理多重签名方案,但是至今还未提出代理多重签名的形式化定义和安全模型.文中给出了代理多重签名的形式化定义和安全模型,并构造了一个具体的方案.在计算Co-Diffie-Hellman问题是困难的假设条件下,该方案被证明是安全的.在形式上,这个新的方案非常简单,而且最终的代理多重签名的长度是一定的,不受原始签名人个数的影响.

(2+1)维非线性Schrdinger方程同宿周期孤立波解

研究讨论了(2+1)维非线性薛定谔方程精确解的形式,通过Hirota变换把(2+1)维非线性薛定谔方程化为它的双线性型形式,利用扩展的同宿测试技巧对此双线性型进行考虑,得到原方程的同宿周期孤立波解,并研究了此解结构.

Banach空间上某种对称形式的可闭性

本文研究Banach空间上双线性形式的可闭性。

一类参数形式的拟变分不等式的灵敏分析

本文分析了来自弹性力学中具有摩擦接触问题的一类参数形式的拟变分不等式的解ｕ（λ）关于参数λ的连续性和可微分性的灵敏性质，此结果把Ｒ．Ｎ，Ｍｕｋｈｅｒｊｅｅ和Ｈ．Ｌ，Ｖｅｒｍａ的结果改进和推广到拟变分不等式和Ｈｉｌｂｅｒｔ空间。

(2+1)维非线性演化方程的显示解

首先借助规范变换并利用Hirota双线性算子的特性,推导出(2+1)维非线性方程的双线性形式,然后利用Hirota直接法求出该方程的孤子解和奇异解,包括单孤子解、二孤子解、单奇异解和二奇异解,最后给出新的变换,求出该方程的有理周期解。

计算矩阵函数双线性形式的Krylov子空间算法的误差分析

矩阵函数的双线性形式u^Tf(A)v出现在很多应用问题中,其中u,v∈R^n,A∈R^(n×n),f(z)为给定的解析函数.开发其有效可靠的数值算法一直是近年来学术界所关注的问题,其中关于其数值算法的停机准则多种多样,但欠缺理论支持,可靠性存疑.本文将对矩阵函数的双线性形式u^T f(A)v的数值算法和后验误差估计进行研究,给出其基于Krylov子空间算法的误差分析,导出相应的误差展开式,证明误差展开式的首项是一个可靠的后验误差估计,据此可以为算法设计出可靠的停机准则.