基于逆向强化学习的装船时堆场翻箱智能决策

集装箱码头装船时堆场翻箱具有时序性与动态性，属于NP（non?deterministic polynomial）难问题。针对常见的顺岸式集装箱码头堆场，以最小化总翻箱次数为优化目标，考虑翻箱对装船连续性及效率的影响，基于马尔科夫决策过程构建装船时堆场翻箱模型，设计逆向强化学习算法。为验证算法的有效性，以随机决策为基准，将设计的逆向强化学习算法与码头常见规则决策、随机决策对比。结果表明，贝位堆存状态不佳时，常见的规则决策不一定优于随机决策；逆向强化学习算法可有效挖掘隐含专家经验，收敛至最小翻箱次数的概率更高，且不同堆存状态下均能更好地限制单次发箱的翻箱次数，可实现装船时堆场翻箱智能决策。     

一类特殊矩阵的性质

归纳总结了一类特殊矩阵的逆及其行列式,并做推广,给出了其分块矩阵的逆和行列式.     

渗流方程反问题解的存在唯一性及稳定性

讨论渗流方程反演未知系数的反问题.利用正则化方法证明常系数反问题解的存在唯一性及其关于初始条件和附加条件的稳定性,并利用变分迭代法证明变系数反问题解的存在性.     

互逆蕴涵命题的空间曲线投影柱面表示

互逆主义逻辑是建立在解析几何的基础之上的。在空间解析几何中,空间曲线是两曲面的交线,在空间曲线中消去一元,即得投影柱面。与此类似,在互逆主义逻辑中,互逆蕴涵命题前件的两个合取支为两个曲面,它们的合取为空间曲线,若后件所表示的曲面恰为或真包含该空间曲线的投影柱面,则该互逆蕴涵命题成立,否则不成立。     

包含广义逆的算子乘积的一些不变性

目的给定3个算子A,B和C,推广了Jürgen Groβ和Yongge Tian在文献Invariance properties of a triple matrix product involving generalized inverses([1]Linear Algebra Appl,2006,417:94-107)中得到的主要结论。方法应用算子分块矩阵的技巧和解算子方程的思想进行推导,这与Jürgen Groβ和Yongge Tian的方法完全不同。结果得出了文献[1]的主要结论在无限维Hilbert空间中成立的充要条件。结论得到了与X选取无关的3个算子AXC乘积的一些不变性质,其中X是算子B的不同种类的广义逆。     

反气相色谱法测定燃料乙醇专用吸附剂对水和乙醇的吸附

利用反气相色谱法研究了燃料乙醇专用吸附剂在60～130?℃范围内对水和乙醇的吸附,并用环境扫描电镜对吸附剂的性质进行了表征。由气相色谱的保留时间计算出水和乙醇的分离因子和吸附剂吸附水、乙醇的吉布斯自由能变化（ΔG_s）、吸附焓变（ΔH_s）等热力学参数。实验结果表明,水和乙醇的吸附焓变分别为-37.41、-4.59kJ/mol,属于物理吸附过程。吸附的ΔG_s、ΔH_s均为负值,说明该吸附过程是自发的放热过程,低温度有利于吸附。吸附剂对水的吸附比乙醇强烈得多,可以选择性吸附水分,达到脱水的目的。     

两类分块矩阵的群逆

当P为退化的幂等矩阵时,我们利用矩阵的秩的性质、分块矩阵的初等变换,以及群逆存在的充分必要条件,讨论了形如M=P P＋PP＊（P0）和M=P P（P＋PP＊0）（其中P为方阵）的两类分块矩阵群逆的存在性.接着,利用初等变换和矩阵1逆的求法,根据矩阵群逆与矩阵3次幂的1逆的关系,最终给出上述两类分块矩阵群逆的一般表示式,并以例子加以说明     

弦方程密度函数的确定性

利用Liouville变换,得到弦方程密度函数的1/4次幂的朗斯基行列式与弦方程特征函数之间的关系,从而确定了弦方程的密度函数.     

一类热传导方程逆时反问题的数值解法

讨论一类热传导方程逆时反问题(BHCP)的数值解法.中心差分法的思想是基于对原问题只进行空间离散,转化为一个不适定的常微分方程组的初值问题,然后利用变量变换把该问题转化为一个适定的常微分方程组的初值问题,最后利用Runge-Kutta方法进行数值求解.数值结果说明了数值解与精确解吻合良好.     

一类时间可逆系统的逆积分因子

由于含有系统的许多有用信息,逆积分因子被认为是解决常微分方程定性理论中两大公开问题:中心焦点问题、希尔伯特第十六问题的统一工具.而且逆积分因子与常微分方程的李对称性和Darboux可积性有密切的联系.因此对某些解析微分系统建立其逆积分因子的结构定理是重要的.对于一类时间可逆解析微分系统,建立了逆积分因子的系数递推公式.利用此递推公式得到其具有给定形式逆积分因子的充要条件.为了说明我们的结论,对于一个具体的时间可逆五次微分系统,利用系数递推公式直接给出系统的多项式型逆积分因子和初等首次积分.