基于强化学习的指定性能轨迹跟踪最优控制

为保证无人船对期望轨迹的高动态精确跟踪,针对带有输入饱和限制的无人船轨迹跟踪系统,提出一种基于强化学习的指定性能轨迹跟踪最优控制策略.采用双曲正切函数逼近饱和函数,并利用指定性能控制技术将无人船跟踪误差进行误差转换,使跟踪动态误差约束在期望的指定范围内以保证轨迹跟踪系统的高动态性能.在此基础上,采用最优控制理论与强化学...     

关于复变数子的有理分式函数的罗伦级数

关于复变数子的有理分式函数的罗伦级数殷飞（甘肃金昌金川培训中心管理学部）复变函数的ｌａｕｒｅｎｔ级数是指解析函数在指定圆环域内的一种级数展开式。而有理分式函数在其分母不为零的所有点处都是解析的，那么有理分式函数在指定的解析圆环域内的ｌａｕｒｅｎｔ级数...     

具有指定功率谱伪随机信号发生器的分析

在所有离散系统的模拟中,提供合适的概率密度函数的伪随机信号发生器是必不可少的.在某些情况下,还要求产生的伪随机信号不仅服从某一非高斯概率密度函数,而且具有某一指定的功率谱密度函数.针对这种情况,本文分析和讨论了一种伪随机信号发生器,利用它可以产生具有指定概率密度函数和功率谱密度函数的非高斯平稳随机信号,并给出了几组采用这种方法模拟的结果.     

用进化规划思想优化径向基函数神经网络结构的均衡器

针对训练径向基函数(RBF)神经网络均衡器的随机梯度算法(SG)中,神经网络的结构是指定的并且所用训练样本较长的问题,引入进化规划思想,用进化规划方法确定径向基函数神经网络的结构,用基于最小均方(LMS)误差准则的自适应算法调整神经元到输出端的连接权重.蒙特卡洛仿真表明,用这种方法确定的均衡器可以达到与SG算法相同的性能,而所用训练样本很少,网络结构不需要事先指定.     

多边区域上的线性插值曲面

构造出多边区域上的线性插值曲面,即以任意指定的多条首尾相连的直线段为边界的插值曲面被构造出来.所得到的多边区域上插值曲面可以看作是四边形区域上Coose曲面某种形式的推广.插值曲面函数是参数的分片线性函数,因此计算比较简单,曲面形状也易于控制.     

多值逻辑函数的分解及T门实现

本文首先讨论了多值逻辑函数的分解方法,这种分解方法可以利用真值表的分解较方便地实现。然后给出了利用 T 门实现多值逻辑函数的一种方法。应用这种方法,分别研究了完全指定的函数和不完全指定的函数的分解及 T 门实现。     

三角函数多项式的实根分离

本文探索非多项式型实函数的实根分离问题,实现了分离三角函数多项式实根的"完备算法",即可以找出一个互不相交的区间列,每一个区间包含函数一个实根,整个列表包含函数的全部实根,且每个区间长度可以小于任意指定精度.     

利用双线性对构建基于身份的指定验证者签名方案

在一般的数字签名中,任何拥有签名者公钥的人,都可以验证该签名的有效性.但这种性质,在签名者想要保护其隐私性的情况下,是该签名者所不期望的.指定验证者签名概念的提出,能很好解决这种情况下的问题,而基于身份技术的使用,又能对公钥授权机构的密钥分发问题加以很好的解决.利用双线性对可实现密码学上基于身份的签名应用.就基于身份的指定验证者签名方案进行研究,利用双线性知识,参照前人的指定验证者签名方案,在系统设置阶段增加一个单向的无碰撞Hash函数,在签名阶段选取一个参数,在签名和验证阶段应用系统初设阶段所定义的Hash函数构造本方案.并对方案在可验证性、安全性及性能做了相应分析.     

一类导数和定积分的有限迭代计算方法

利用计算多项式函数在某点函数值的H-M方法,通过对多项式的系数进行有限迭代计算,得到相应函数在确定点的各阶导数值和指定的区域上的定积分,并对其复杂度进行分析.     

高效抵抗代理攻击的广义指定验证者签名

为解决广义指定验证者签名(UDVS)方案的代理攻击问题,提出一个有效抵抗代理攻击的UDVS方案,其安全性基于q-强Diffie-Hellman困难问题,证明了该方案在随机预言模型下具有不可伪造性、不可传递性并且能够抵抗代理攻击.该方案无需使用低效的MapToPoint哈希函数,仅使用较少的配对运算.相比已有方案,该方案在标准签名、公开验证、模拟指定签名和指定验证阶段具有明显的优势.     

直线约束和不同相机间距的立体图像克隆算法

为了满足用户处理3D图像的需求,本文提出一种基于直线约束和不同相机间距的立体图像克隆算法,将源立体图像的指定区域通过迭代调整的方式精确克隆到目标立体图像中.首先采用一种轮廓线确定的方法来调整用户绘制的轮廓,然后提出一种基于相机间距和视差的缩放因子,并利用透视缩放函数、直线约束函数、视差约束函数和位置固定函数来调整源立体图像指定区域的大小,以保证精确克隆后立体图像视差的一致,且不发生结构失真.实验结果表明,所提算法能够对不同相机拍摄的立体图像进行精确克隆,显示效果更佳.     

高精度球度测量的评定方法

针对被测球面轮廓的尺寸小、精度高的特点,采用"气动法"测量球度误差.在此基础上,根据数学规划理论,在指定的区域产生均匀分布的数论网格,目标函数在各网格点进行寻优求解,从而评定球度误差.通过Matlab编程,得出仿真结果.结果表明:该算法收敛速度快,且能达到任意指定的精度要求.     

Web数据库近似查询结果自动排序方法

针对Web数据库近似查询产生的多查询结果问题,提出了一种近似查询结果自动排序方法,该方法利用KL距离(Kullback-Leibler distance),PIR(probabilistic information retrieval)模型和查询历史(query history)来构建元组排序打分函数;打分函数根据结果元组中被查询指定的属性值对初始查询的满足度和未被查询指定的属性值与用户偏好的相关度来评估元组的排序分值.实验证明,提出的排序方法能够较好地满足用户需求和偏好,并具有较高执行效率.     

亚纯函数与其导数的公共Julia方向

本文研究不指定级的亚纯函数与其导函数的公共Julia方向的存在性问题。     

缺项整函数与其导函数的公共Julia方向

讨论不指定级的缺项整函数与其导函数的Julia方向，证明了它们之间的包含关系。     

一个新的类 Lorenz 系统的控制与同步（英）

首先, 利用 Backstepping 方法设计了简单的控制器将系统控制到不稳定的平衡点(0,0,0), 相空间中任一指定点 (0,0,1+b+p(1-p)) (0相似文献   

一个新的类Lorenz系统的控制与同步(英文)

首先,利用Backstepping方法设计了简单的控制器将系统控制到不稳定的平衡点(0,0,0),相空间中任一指定点(0,0,1+b+p(1-p))(0p1),以及实现利用第一个状态变量跟踪任意指定的函数r(t).其次,在假设有一个参数未知的条件下,设计了一个单向偶合格式和未知参数的自适应律,使得该系统与其自身达到全局完全同步.用Lyapunov函数方法从理论上证明了设计的正确性,并用Matlab作了数值模拟说明设计的可行性.     

广义超弹性杆方程解的整体存在性

主要通过先验估计得出广义超弹性杆方程Cauchy问题解的整体存在性,使得广义函数在文中所指定的条件下,广义超弹性杆方程Cauchy问题具有整体存在性.     

VB.NET中Time控件的应用

在计算机系统中有三种定时器控件。当前线程启动事件forms.timer,临时线程处理事件timers.timer,临时线程中调用指定的回调函数threading.timer。本文主要主要探讨了timers.timer计时器的应用场合和使用技巧。     

基于区间分析的非概率稳健优化设计

提出了一种新的基于区间分析的非概率稳健优化设计模型.利用非线性区间数规划和函数的区间扩张,对稳健性指标进行了计算,将含有区间参数的常规稳健优化模型转化为确定性的稳健优化模型,转化后的模型能够根据设计者要求实现任意指定稳健性的优化目标,最终建立了两级稳健优化设计模型.该模型无需知道设计参数的概率分布函数,也不要求目标函数...