两种推理方法QIP和FSI的鲁棒性结果及其比较

基于逻辑相似度和剩余蕴涵,研究了五蕴涵推理方法(QIP)和相似度推理方法(FSI)的鲁棒性,给出了在四个常用蕴涵下QIP的鲁棒性的具体结果,以及基于修正的Kleene蕴涵的FSI的鲁棒性结论,并且对这两种推理方法的鲁棒性进行了初步的比较.     

利用Tanh方法产生的(2+1)和(3+1)维非线性可积方程的精确解

主要利用Tanh函数方法,对两个高维五阶非线性可积方程进行了讨论,通过行波约化,分别将(2+1)和(3+1)维非线性可积方程转化为常微分方程.结合Riccati方程的性质,分别得到关于若干参变量的代数系统,借助于Mathematica软件符号运算功能,最终得到了上述两个高维方程的精确解.     

组合最优化中的布尔方法

本文旨在从NP-完全性理论的角度,以拟布尔函数最优化为典型实例介绍组合最优化问题的一些研究方法和取得的主要进展。并且也提出了一些有待解决的问题和可能的研究途径。     

构造Birkhoff表示的Hojman方法与Birkhoff对称性

讨论了构造Birkhoff表示的Hojman方法.利用该方法重新研究Birkhoff对称性,提出一种关于该对称性的新见解,给出Birkhoff守恒量的新证明,并对该守恒量仅与Birkhoff张量相关作出解释.举例说明所得结果的应用.     

弹性力学的Lagrange形式：用Routh方法建立弹性有限变形问题的基本方程

将弹性有限变形问题纳入Lagrange力学的理论体系中，并用经典力学中业已存在的Routh方法构建了有限变形平面应变问题和有限变形平面应力问题的基本微分方程，讨论了有限变形大挠度问题vonkarman方程中存在的矛盾进而提出了两种改进方案．     

Investigation of the Potts Model on Triangular Lattices by the Second Renormalization of Tensor Network States

We employ the second renormalization group method of tensor-network states to investigate thermodynamic properties of the ferromagnetic and antiferromagnetic Potts model on triangular lattices. From the temperature dependence of the internal energy and the specific heat, both the critical temperatures and critical exponents are evaluated. For the q = 3 antiferromagnetic Potts model, the critical temperature is found to be Tc = 0.627163±0.000003, which is at least one order of magnitude more accurate than that obtained by other methods.     

斯特林制冷机薄壁气缸加工工艺研究

主要叙述斯特林制冷机中薄壁气缸的加工的工艺方法,加工过程的关键参数、刀具的选择、热处理的方法。提出薄壁件加工精度的技术途径。     

耦合界面计算格式的一维流体力学Lagrange有限点方法

为探索高维多介质流体力学散乱点集上的Lagrange有限点方法,首先对相应一维问题进行研究,提出一种Lagrange有限点方法:在计算区域内(包括物质界面)设置任意离散点集,所有力学量都设在该点集上,在内点和界面点上分别建立离散格式.内点算法为基于Taylor展开的差分方法.界面点算法为显式追踪算法,从定解条件出发,利用Rankine-Hugoniot关系和特征差分方法,计算界面点位置及相应的状态量变化.通过追踪界面点的运动得到物质界面是方法的最大特色.典型算例计算结果与精确解符合很好,验证了算法的合理和有效性.     

Numerical Analysis of Alternating-Current Small-Signal Response in Graphene Nanoribbons

Alternating-current small-signal admittances of armchair graphene nanoribbons are investigated using the method of non-equilibrium Green＇s function. The calculated ac admittances show an oscillatory response between inductive and capacitive behaviors, which is a result of the finite length of the graphene nanoribbon. The effects of hydrogen-passivated edges on ac response are demonstrated. At low frequency, the edge effects transform the inductive behavior in a metallic graphene nanoribbon into a capacitive one. Finally, the effects of variations in the width and bandgap of a graphene nanoribbon on its dynamic response are investigated.