一种自适应步长的复合梯度加速优化算法

自适应步长加速(Adam)类算法由于其计算效率高、兼容性好的特点，成为近期相关领域的研究热点.针对Adam收敛速度慢的问题，本文基于当前梯度、预测梯度以及历史动量梯度，提出一种新型Adam类一阶优化算法——复合梯度下降法(C-Adam)，并对其收敛性进行了理论证明.与其他加速算法的区别之处在于，C-Adam将预测梯度与历史动量区别开，通过一次真实的梯度更新找到下一次迭代更精准的搜索方向.利用两组常用测试数据集及45钢静拉伸破坏实验的实验数据对所提算法进行验证，实验结果表明C-Adam与其他流行算法相比较具有更快的收敛速度及更小的训练损失.     

线性驱动下一级相变的重正化群理论

把重正化群理论应用于一受外场驱动而发生一级相变的系统中，结果表明，与有序化过程一样，该系统也由零温不动点所决定，并得到磁化强度及结构函数的新的动力学标度关系．由此可获得滞后回约面积与变场速率的标度关系．     

数学规划模型的建模语言（FQL）

对数学规划模型的结构作了深入分析。从纵向揭示了数学规划模型自然、清晰的层次结构；横向又把复合模型分解成若干基本模型，而基本模型又可由决策用户十分熟悉的二维形式加以描述。在此基础上，给出了建模语言（ＦＱＬ）的语法和语义。它除了具有建模能力外，消除了代数形式的索引；更重要的是具有数据库查询和模型操作能力。     

从新《大纲》看文化差异教学

化与语言的相互依存，使化教学日益成为英语教学的重要环节。本结合新《高等学校英语专业英语教学大纲》讨论了化差异敏感性与跨化交际能力的正比关系，探讨了化差异教学的主要内容，并提出了化差异教学的教学原则。     

用MATLAB编程求解Zn(Ⅱ)-NH4Cl-NH3-H2O体系热力学模型

应用MATALAB语言编写程序建立Zn(Ⅱ)-NH4Cl-NH3-H2O体系的多元非线性热力学模型并求解其热力学关系. 模型中共有pH值、游离氨浓度、总氨浓度、溶液中总锌浓度、总氯浓度和游离氯离子浓度 6个变量, 共有锌量、氨量、氯量和电荷平衡4个方程. 根据电算指数法, 模型中各离子浓度之间服从对数和指数关系. 输入需求解的方程及其边界条件, 求出总氨浓度和总氯浓度分别在0～10 mol/L范围内变化时, 其他未知数随之变化的关系, 并绘制各种重要的热力学关系图, 包括各种立体图和二维图. 对用MATLAB求解模型和用BASIC求解模型的所得结果以及与氧化锌溶解度实验所得结果之间的差异进行分析. 结果表明, 用MATLAB编程求解冶金多元非线性热力学模型, 过程简单, 所得结果精确可靠, 根据计算所得数值可方便地绘制成各种图形, 便于进行冶金分析.     

中国少数民族语言活力排序研究

对语言的活力程度进行排序,旨在分清轻重缓急,先抢救处在最濒危状态的语言,并为其提供理论依据。根据中国少数民族语言的实际情况,提出适合中国少数民族语言活力研究的测试的综合指标,并对中国一百多种少数民族语言进行活力排序。     

P-n-右析取语言的相关性质

主要研究了P-n-右析取语言的一些相关性质，给出了P-n-析取辖的定义，得出了P-n-析取辖是稠密语言等结论。     

连续埋地管线沉陷情况下可靠度分析

场地的不均匀沉陷是埋地管线破坏的重要原因之一.运用均值一次二阶矩法和ANSYS中的蒙特卡罗法对埋地管线在地面沉陷位移、材料性能参数、内水压力等随机变量下的可靠度进行计算分析,得到考虑和不考虑管道内水压力时的可靠度系数和失效概率.结果表明,地面沉陷位移的变异性对沉陷区埋地管线的可靠度有着十分重要的影响,与不考虑管道内水压力作用的结果相比,考虑管道内水压力时的失效概率较大,可靠度系数较小;管道壁厚和直径的变异性对沉陷区埋地管线的可靠度也存在着不可忽视的影响.     

一阶脉宽调制型负载

针对目前负载模拟器动态和时变特性的局限性,提出了一种新的一阶电气负载设计方法。该方法借助调节负载开关管的导通时间实现电气负载的切换,以模拟一定参数范围内的任意一阶目标负载,通过单位周期内负载响应曲线的“函数距离”在负载曲线面积中所占的比例评判负载的模拟程度。对任意给定的实际负载使用其截止频率信号作为输入进行仿真,结果显示：对截止频率分别为20、50、80Hz的3个负载进行模拟,PWM的周期T为1 ms,占空比δ分别为9.9%、39.4%、69.1%,模拟偏差为1.48%、3.92%、3.57%,可见其负载模拟程度很高。仿真实验表明用该方法设计的一阶电气负载能够模拟一定参数范围内的任意一阶负载。     

Quantum programming: From theories to implementations

This paper surveys the new field of programming methodology and techniques for future quantum computers, including design of sequential and concurrent quantum programming languages, their semantics and implementations. Several verification methods for quantum programs and communication protocols are also reviewed. The potential applications of programming techniques and related formal methods in quantum engineering are pointed out.