考虑市场竞争条件的管输天然气供应链优化

天然气作为一种清洁、绿色的能源,在全球能源消费结构中占比越来越重。目前,虽然已有大量关于天然气供应链优化的研究,但多集中于单一供应方的最优需求分配,对多方竞争市场下的天然气供应链优化研究鲜有报道。针对两供应方竞争同一市场,以两方所获总利润最大为目标函数,考虑供需平衡约束、管道建设约束、站场建设约束以及储气库建设约束等,对两方分别建立混合整数二次规划(Mixed Integer Quadratic Programming,MIQP)模型以及混合整数线性规划(Mixed Integer Linear Programming,MILP)模型,并结合粒子群(Particle Swarm Optimization,PSO)算法对模型进行求解。将模型应用于某一沿海地区的天然气供应链系统,求解得到各供应方的供气方案和建设方案。计算结果表明:该模型具有一定的适用性,模型求解的稳定性较好。研究成果对于考虑市场竞争的天然气供应链优化、保障天然气资源供应的经济性和稳定性具有指导意义。     

成品油管道开泵方案统一优化模型

优化成品油管道沿线泵站开泵方案可以降低管道运行能耗。以包含泵机组并联运行模式及配备变频泵的成品油管道为研究对象,考虑沿线节点压力、过泵流量等约束,基于已有批次输油计划,建立以运行时间内管道全线运行能耗总和最小为目标的混合整数线性规划模型(Mixed Integer Linear Programming,MILP),并利用分支定界算法求解。利用该模型求解了中国某条成品油管道的优化配泵方案,计算耗时213.76 s,所得结果符合约束限制,具有较强的实用性,可为中国成品油管道优化运行提供指导。     

求解整数线性规划问题的一种新算法

提出了一种求解整数线性规划问题的新方法。利用流动等值面技术的原单纯形方法,从初始整数可行解出发,逐步寻找下一个更好的整数可行解,直到找到原问题的最优解,必要时通过Gomory割平面来寻找整数可行解。该方法不但保留了原割平面法保持整数可行解的特点,而且继承了对偶割平面法灵活利用割平面的优点。     

大规模物流配送车辆调度问题研究

研究大规模物流配送车辆调度问题,提出其整数规划数学模型,把大规模配送车辆调度问题(VRP)转化为配送区域划分问题和单车线路优化问题2个子问题,用改进的基地启发式分区算法(ILBH)解决配送区域划分问题,运用混合遗传算法(GA NS)解决分区域后区域内的配送车辆的单车线路优化问题.此改进的2阶段算法有效地解决了大规模配送条件下,在可行时间内得到近似解或满意解的问题,该方法已在某物流企业中成功应用并取得了显著的经济效益,其成果在城市配送系统中具有普遍的适用性和应用推广前景.     

关于偏微分方程人口模型中死亡率的确定

本文利用不动点方法讨论了一类描述人口变化规律的一阶双曲型方程确定死亡率d (x ,t)的一个反问题 ,在已知函数的一些假设条件下 ,给出该问题解的存在唯一性定理     

关于不定方程x4+123y4=z2

目的针对数论的有趣问题——不定方程整数解的确定,研究不定方程x~4+123y~4=z~2的整数解。方法运用初等数论方法及费马的无穷递降法。结果证明了不定方程x~4+123y~4=z~2没有正整数解。结论部分解决了不定方程x~4+3(16m+9)y~4=z~2(y≠0,m≥0)的求解问题。即对特殊的数m等于2,证明了不定方程无整数解。所获命题提供了研究该类不定方程求解问题的一个思路。     

对不定方程x~3±27=91y~2整数解的讨论

本文主要研究不定方程x3+27=91y2的整数解,证明不定方程仅有整数解(x,y)=(-3,0)、(4,1)、(4,-1);x3-27=91y2仅有整数解(x,y)=(3,0)。     

非定常Navier-Stokes方程有限元算子分裂算法

在连续解的正则性假设条件下,基于亚格子稳定模型和算子分裂方法提出了非定常不可压Navier-Stokes方程的有限元算子分裂算法.其主要思想是:利用算子分裂方法把非线性项和不可压缩项分开,首先求解一个线性化的Burger's问题得到有限元解■,然后再求解一个Stokes问题得到解u■.证明了速度的误差估计关于时间是一阶收敛的,并给出数值实验验证了理论的正确性.     

基于熵权的TOPSIS种业科技创新人才评价方法研究

结合我国种业科技创新人才信息的统计数据,构建了种业科技创新人才的多层次评价指标体系和基于熵权的TOPSIS(Technique for Order Preference by Similarity to Ideal Solution,逼近理想解的排序方法)评价模型。该评价模型采用熵权法,避免了通过主观确定权重的人为因素影响。将该评价模型应用到种业科技创新人才综合能力评价中,可以得出同一种业领域科技创新人才的相对排名,对种业科技创新人才队伍的建设具有重要作用。     

不连续系数重倒向随机微分方程(BDSDE)解的存在性

在不连续条件下对重倒向随机微分方程(BDSDE)y_t=ξ+∫Ttf(s,y_s,z_s)d_s+∫Ttg(s,y_s,z_s)dB_s-∫Ttz_sdW_s解的存在性进行了研究。在仅仅方程的系数满足线性增长和连续性条件下建立了新的比较定理,构造了一个单调有界的解序列,从而在弱的假设下建立此对类方程了解的存在性定理。该研究结果一般化和改进了一些已有结果。     

一种代理签名的实现

在研究基本代理签名方案以及分析现阶段多种代理签名方案的安全性优缺点的基础上，提出了一个基于椭圆曲线离散对数问题（Elliptic Curve Discrete Logarithm Problem,EXSLP）的改进代理签名方案，该方案具有算法速度快、网络传输量小、占用资源少以及灵活性好等特点．     

高效的无证书广义指定验证者签名方案

对明洋等人提出的方案进行改进,提出了一种新的无证书广义指定验证者签名方案.和原始签名一样,从"签名者"那里得到一个有效签名的"签名持有者",能够使"指定验证者"相信他拥有一个从签名者那里得到的有效签名,其他任何人(包括指定验证者)都不能使其他人相信这个事实.然而,在原始签名方案中,签名的验证和指定签名的验证分别需要3次对运算和2次对运算,而在新方案中,原始签名的验证和指定签名的验证分别需要2次对运算和1次对运算,效率高于前者,并且在随机预言机模型下,证明了新方案具有不可伪造性.     

基于双线性对的代理重加密方案(英文)

代理重加密的概念是由Mambo和Okamoto提出来的,其功能是将用一个用户公钥加密的密文转换成用另一个用户的公钥加密的密文,且加密是针对同一个明文而言的。但是这类方案都是基于传统的PKI公钥密码体制和身份密码体制的。本研究提出了一个新的无证书代理重加密方案,新方案优于先前的方案且能实现多次代理重加密性质,其算法比其它方案更简单,并且给出了详细的CCA安全性证明。     

基于哈希签名算法的RFID认证方案

分析了基于密码技术RFID现有安全协议的缺陷,基于哈希签名算法提出了一种新的非对称认证方案,合理地运用在低成本RFID系统的接入认证中,实现了安全的双向认证,并证明该方案在自适应选择消息攻击下是安全的。     

基于哈希签名算法的RFID认证方案(英文)

分析了基于密码技术RFID现有安全协议的缺陷,基于哈希签名算法提出了一种新的非对称认证方案,合理地运用在低成本RFID系统的接入认证中,实现了安全的双向认证,并证明该方案在自适应选择消息攻击下是安全的。     

基于整数小波变换和改进零树编码的图像压缩方法

研究了基于整数小波变换和改进零树编码的图像压缩方法：先进行整数小波变换，将图像变换到小波域，再用改进的零树编码对图像进行压缩。给出了试验结果以及与EZW压缩方法的比较，结果表明，整数小波变换和改进零树编码相结合应用于图像压缩是有效的，在一定程度上能缩短计算时间，并提高峰值信噪比。     

一种基于改进型ELGamal数字签名的身份认证方案

本文在ELGamal体制基础上构造了一种新的用户身份认证方案,它减少ELGamal体制中的模逆运算次数,使得该方案保证了较高的安全性和较好的效率.     

基于XML的电子公文多重签名研究与实现

基于XML签名规范,实现XML形式电子公文的多重数字签名方案,利用XPath变换选择出签名者负责任的部分,大大提高了签名的效率和灵活性。     

无线局域网匿名认证方案(英文)

分析了无线局域网架构的非对称性,提出了一种匿名的非对称认证方案,同时给出了安全性证明.基于累加器,通过在认证服务器和移动终端之间合理地配置不同的签名和认证算法,达到只有合法的用户以匿名的方式登入网络.