钩形弯交叉口信号协同控制优化方法研究

针对车辆在钩形弯交叉口与相邻常规交叉口间的整体运行特性，建立了各条车道的车辆平均延误计算模型。以各交叉口的周期时长和相位绿灯时间为约束，钩形弯交叉口与相邻常规交叉口间的车辆平均延误最小为目标，建立了信号协同配时方案。以位于苏州市高新区内有轨电车沿线的两个相邻交叉口为例，采用实际数据验证所建立的方法，并设置钩形弯渠化方案。将设置的钩形弯交叉口与其相邻常规交叉口的信号协同作为改进方法，在VISSIM软件中对比分析改进方案与现状方案的车辆延误指标。实验结果表明，钩形弯交叉口与相邻常规交叉口的信号协同优化方法可有效提高交叉口的通行能力，尤其是干道直行机动车的通行能力，可降低车辆的平均延误。     

基于Sinc插值与相关谱的纵横波速度比扫描方法

在多分量地震技术中，准确地求取出纵、横波速比（γ）是多分量资料处理、反演、解释各环节中的一个重要步骤。由于地下同一层位具有相同的波阻抗比，因此该层位的反射纵波和反射转换波相互关联，纵横波速比与时间比存在相互转化关系。基于Sinc插值算法与相关系数谱分析的纵横波速比扫描方法是通过设置一系列γ，利用Sinc插值算法将纵波拉伸后与转换波进行互相关，当互相关系数达到最大时即可求出相应的γ。理论数据和实际资料的测试，验证了该方法的有效性、准确性和实用性。     

紫色球杆菌视紫红质光谱特性的机器学习研究

近年来，机器学习等人工智能技术被应用于蛋白质工程，其在蛋白质结构、功能预测、催化活性等研究中具有独特优势。在未知蛋白质结构的情况下，将蛋白质序列和功能特性与机器学习相结合，基于序列-活性关系（innovative sequence-activity relationship，ISAR）算法，将蛋白质氨基酸序列数字化，用快速傅里叶变换（fast four transform，FFT）进行预处理，再进行偏最小二乘回归建模，可在数据集较少情况下拟合得到最佳模型。通过机器学习对紫色球杆菌视紫红质（gloeobacter violaceus rhodopsin，GR）的突变体蛋白质氨基酸序列与光谱最大吸收波长进行建模，获得了最佳模型。用最佳索引LEVM760106建模得到的确定系数R² 为0.944，均方误差E为11.64。用小波变换进行的预处理，其R² 虽也约为0.944，但E大于11.64，不及FFT进行的预处理。方法较好地解决了蛋白质序列与功能特性之间的数学建模问题，在蛋白质工程中可为预测更优的突变体提供支持。     

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

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

Rocky coast processes: with special reference to the recession of soft rock cliffs

Substantial progress in research on the recession of coastal cliffs composed of soft materials has been made in recent years and data with higher accuracy have been accumulated. This paper provides the state of the art review in the recession studies and highlights two new findings obtained from the reanalysis of existing data. The review topics are: episodic and localized nature of cliff recession; the development of cliffline; the relationship between cliff height and recession rate; mechanisms of cliff toe erosion by waves; a fundamental equation for wave-induced toe erosion; factors controlling toe erosion; and slope instabilities and mass movements. The findings are presented on (1) the temporal change in cliffline recession mode and (2) the effect of beach sediment at the cliff base on the cliff erosion.     

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.     

Zero dissipation limit to rarefaction wave with vacuum for the one-dimensional non-isentropic micropolar equations

The zero dissipation limit of the one-dimensional non-isentropic micropolar equations is studied in this paper. If the given rarefaction wave which connects to vacuum at one side, a sequence of solution to the micropolar equations can be constructed which converge to the above rarefaction wave with vacuum as the viscosity and the heat conduction coefficient tend to zero. Moreover, the uniform convergence rate is obtained. The key point in our analysis is how to control the degeneracies in the vacuum region in the zero dissipation limit process.     

2018年天文学热点回眸

 天文学是一门以观测为基础的学科，其发展主要依靠观测和数据的支持。基于SAO/NASA Astrophysics Data System天文物理学数据系统中高被引文章并结合热点新闻报道，回顾了2018年天文学热点的进展和发现，以观测和基础研究、仪器研制及工具开发两大方面论述了2018年天文学研究热点。