基于串空间模型的认证测试方法

串空间模型认证测试方法是定理证明安全协议分析法中最具有代表性的一类.利用串空间模型理论对Needham-Schroeder(N-S)公钥协议中中间人攻击问题进行形式化分析与设计,并对其进行证明.与原有技术相比,该方法更为形式化,协议分析人员可以很方便地进行手动分析,并且更有利于协议分析自动化工具的实现.     

Sobolev Stability of Plane Wave Solutions to the Nonlinear Schrödinger Equation

This article explores the questions of long time orbital stability in high order Sobolev norms of plane wave solutions to the NLSE in the defocusing case.     

市级党校图书馆功能转变研究

为了更好应对信息技术发展带来的挑战，市级党校图书馆应明确功能定位，确定图书馆功能转变的路径方式，客观分析影响图书馆功能转变的不利因素，制定具体措施，实现市级党校图书馆的功能转变。     

Semilinear wave models with friction and viscoelastic damping

In this paper, we study the global (in time) existence of small data solutions to the Cauchy problem for the semilinear wave equation with friction, viscoelastic damping, and a power nonlinearity. We are interested in the connection between regularity assumptions for the data and the admissible range of exponents p in the power nonlinearity.     

Positive ground state solutions for Schrödinger–Poisson system with critical nonlocal term in ℝ3

This paper is dedicated to studying the following Schrödinger–Poisson system $$\left\{\begin{array}{ll}-\mathrm{\Delta }u+V(x)u-K(x)\varphi |u{|}^{3}u=a(x)f(u),& x\in {ℝ}^3,\\ -\mathrm{\Delta }\varphi =K(x)|u{|}^5,& x\in {ℝ}^3.\end{array}\right.$$ Under some different assumptions on functions V(x), K(x), a(x) and f(u), by using the variational approach, we establish the existence of positive ground state solutions.     

共产主义实现过程的数学刻画

指出了极限蕴含着理想与现实的统一,以此刻画了共产主义的实现过程——人类社会可以无限地趋近共产主义.把人类社会视为一个系统,提出了它的两条基本公理.借助于公理法,利用逻辑推理论证了劳动将逐渐成为人们的第一需要、劳动创造财富、人类的思想觉悟可以逐渐达到共产主义人生观等重要结论.     

利用反预报方法从截面预言近滴线丰质子核的结合能

在Origin等数据处理软件中,当实验数据较少时,自由参数的不同初始化设置会导致较大的结果差异,这为物理结果的确定带来较大不确定性.通过最小二乘法分析了345MeV/u ~(78) Kr+~9Be反应中产生的丰质子同位素的截面和结合能,并得到线性回归方程.通过回归方程,利用结合能预报部分丰质子核素的截面,以及通过实验截面对近质子滴线核素的结合能进行反预报测量.这对于近质子滴线的丰质子核素实验测量具有较好的借鉴意义.     

利用ARGO实验寻找GRBs的本底研究

位于西藏羊八井宇宙线观测站(海拔4300 m)的ARGO-YBJ实验具有高海拔、大视场、全覆盖特点,其阈能约几百个GeV,在探测高能GRBs方面具有独特的优势.ARGO-YBJ实验不能分辨光子和质子,要在大量的宇宙线事例中找出光子信号,就必须正确地估计背景事例率,这是寻找高能GRBs的关键.本文采用"等天顶角法"对ARGO实验中寻找GRBs的宇宙线本底进行了分析.由于地球的自转,天顶角随着时间的变化而变化.本文重点分析了长暴在其持续时间内天顶角的变化,从而更加准确地进行了本底估计.