基于SUMO软件的异构交通流仿真平台车辆模型开发与集成

采用实车参数和实际道路试验数据对基于SUMO软件的车辆模型进行优化,构建了具备自动驾驶全工况测试能力的高保真车辆运行特性模型,并与SUMO软件交通流仿真集成,形成了面向混合异构交通流的仿真平台。最后,通过典型交通运行场景对集成效果进行准确性和可用性验证。     

基于参数描述的换道场景自动驾驶精确决策学习

为提高车辆驾驶安全性并充分考虑人类驾驶员对于自动驾驶控制系统的接受度,研究并实现了自动驾驶车辆在换道场景下的精确决策学习。汽车自动驾驶不仅需要决策是否换道,还需要决定汽车的具体微观行为,如换道时间和期望加速度的确定等,因此,车道变换的精确决策需使用3个参数来描述,并需要通过强化学习求解。这种基于参数精确决策的合理性体现在两个方面：首先是不同的决策参数值会影响规划的轨迹,如果决策不精确,将产生运动的不确定性;其次是基于真实交通数据（NGSIM）的分析,因为人类换道行为在换道时间和期望加速度上存在显著的差异性,在当前的决策研究中很少被明确考虑。此外,发现NGSIM数据中存在一些潜在的紧急情况,可以通过优化部分决策参数来提升其安全性;在强化学习算法的设计中,动作过程中加入换道时间和期望加速度;奖励函数考虑了安全性、当前驾驶员的意愿和平均人类驾驶风格;问题求解中,自定义了基函数,并通过基于核函数的最小二乘策略迭代强化学习方法学习精确的安全决策行为。仿真结果表明,使用强化学习参数决策可以实现更精确的决策,从而提高安全性能,并可在变道场景中模仿人类驾驶员的行为。     

自动化立体仓库均匀出库算法

本文结合某公司自动化立体仓库系统(AS RS)实施过程,分析研究了出库作业的相关因素,给出了一种有效的出库算法———均匀出库算法,算法主要包括获得客户优先级的算法,出库托盘序列号的算法,按巷道均衡、距离优先出库的算法,出库作业优先级的算法。     

Automated parallel anionic polymerizations: Enhancing the possibilities of a widely used technique in polymer synthesis

Anionic polymerization techniques have been implemented successfully in a commercial automated synthesizer. The main problems for a successful adaptation of the experimental technique in the automated synthesizer are addressed, as well as some simple potential applications, such as the anionic polymerization of styrene, isoprene, and methyl methacrylate. The obtained results were reproducible and in concordance with literature knowledge. The apparent rate constant of the anionic polymerization of styrene in cyclohexane initiated by sec‐butyllithium could be determined at two different concentrations of the monomer and initiator in a temperature range of 10–60 °C. All the synthesis and characterization experiments of the polymers were performed within a short time period. Moreover, the syntheses of poly(styrene‐b‐isoprene) and poly(styrene‐b‐methyl methacrylate) block copolymers were also successfully carried out within the automated synthesizer. © 2005 Wiley Periodicals, Inc. J Polym Sci Part A: Polym Chem 43: 4151–4160, 2005     

Bcklund变换与n孤子解

本文首先证明了KdV方程与sine-Gordon方程不同形式的Backlund变换是相互等价的;其次从双线性导数形式的Backlund变换出发给出多孤子解的Hirota表示与Wronski行列式表示,并利用Vandermonde行列式说明这两种孤子解的表示是一致的.     

高阶行列式求解方法探讨

对于某些典型的高阶行列式,可根据其特点采用多种解法计算.应用三角形法、加边法、递推法、数学归纳法、求根法对高阶行列式进行了探讨,其思想方法对于一般高阶行列式的求解有一定的参考意义.     

Generalized triangulations and diagonal-free subsets of stack polyominoes

For n?3, let Ω_n be the set of line segments between vertices in a convex n-gon. For j?1, a j-crossing is a set of j distinct and mutually intersecting line segments from Ω_n such that all 2j endpoints are distinct. For k?1, let Δ_n,k be the simplicial complex of subsets of Ω_n not containing any (k+1)-crossing. For example, Δ_n,1 has one maximal set for each triangulation of the n-gon. Dress, Koolen, and Moulton were able to prove that all maximal sets in Δ_n,k have the same number k(2n-2k-1) of line segments. We demonstrate that the number of such maximal sets is counted by a k×k determinant of Catalan numbers. By the work of Desainte-Catherine and Viennot, this determinant is known to count quite a few other objects including fans of non-crossing Dyck paths. We generalize our result to a larger class of simplicial complexes including some of the complexes appearing in the work of Herzog and Trung on determinantal ideals.     

在一般条件下重积分变量变换公式的一个证明

给出在一般条件下重积分变量变换公式的一个细致证明。     

Automated measurement of ultrasound velocity and attenuation

A fully-automated system has been developed to measure changes in ultrasonic velocity and the attenuation coefficient resulting from changes in temperature and magnetic field. Accuracy and sensitivity comparable to the pulse-echo overlap technique have been achieved together with an increase in temperature resolution and sample throughput as a result of the automation. All components of the instrumentation are commercially available.     

Energy moments of scattering phase shift for partly non-local momentum dependent interaction

The phase shift sum rules recently derived by Puff are extended for a general partly non-local momentum dependent potential. In achieving this, one must use Fredholm determinant of the outgoing solution of the Schrodinger equation instead of the Jost function as was done by Puff. The constants appearing in the moment relations are explicitly defined in terms of the momentum representation of the interaction.