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

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

中立型分数阶微分控制系统能控性

研究一类分数阶中立型微分控制系统的能控性问题,对系统状态方程的分析,利用拉普拉斯变换通过基本控制系统的基础解给出了控制系统通解的表达式,并且通过构造格拉姆矩阵,研究了控制系统能控性的充分必要条件;最后通过举出一个格拉姆矩阵的计算举例来进行验证。     

两种改进的非线性方程组四阶迭代求解法

文章基于两点Gauss型求积公式,分别结合梯形积分公式和Adomian分解法构造了两种牛顿型迭代格式.借助泰勒展开式,文章证明了这两种迭代格式都具有四阶收敛,并通过数值实验例子验证这两种迭代格式的有效性.     

宁波市公共自行车服务满意度评价模型构建研究

以宁波市公共自行车为例，将因子分析法与二项logistic法相结合，对采集的1 688份居民满意度有效问卷展开分析。利用因子分析法筛选出6个因子，利用二项logistic法剔除并筛选出5个有效因子构建公共自行车服务满意度评价模型，合理评估当前宁波市公共自行车服务满意度。同时，利用随机抽取并不参与建模的5%问卷样本对评价模型进行校验，以确保模型的准确性与合理性。该研究有助于合理评价当前宁波市居民对公共自行车的服务满意度，同时适用于对未来一段时间内公共自行车服务满意度的预测。     

IMPLICITIZATION OF PARTIAL DIFFERENTIAL RATIONAL PARAMETRIC EQUATIONS

In this paper, we propose algorithms for the following problems in the implicitization of a set of partial differential rational parametric equations P. （1）To find a characteristic set for the implicit prime ideal of P; （2） To find a canonical representation for the image of P; （3）To decide whether the parameters of P are independent, and if not, to re-parameterize P so that the new parametric equations have independent parameters; （4） To compute the inversion maps of P, and as a consequence, to decide whether P is proper.     

化学方程式配平的矩阵解法

基于矩阵解方程的理论，定义出了一个化学元素矩阵，从而找到了一种配平化学方程式的新方法，称之为矩阵解法。     

一类非自治变时滞Logistic方程的全局吸引性

主要研究一类可变时滞非自治Logistic方程的全局吸引性,通过分别研究非振动解和振动解的性质并使用一定的分析技巧结合不等式的方法,得到了方程的正平衡态为全局吸引子的新的充分条件,这些条件便于验证.所得到的结果推广并改进了相关文献中的一些结果,也完善并补充了非自治变时滞Logistic方程的全局吸引性问题的研究工作.     

湍流大小尺度涡量方程组及其封闭

利用流体大小尺度 (LSS)方程组推导出湍流大小尺度涡量 (LSSV)方程组 ,给出两个关于湍流大小尺度涡量的命题 ,从而得到湍流封闭大小尺度涡量 (CLSSV)方程组。同时 ,对近程相互作用命题进行了推广。     

Banach空间中二阶Volterra型积分微分方程边值问题解的存在性

利用上、下解法在正规锥上证明了二阶非线性Volterra型积分微分方程边值问题解的存在性。     

时滞测试能量函数的局限性分析和改进模型

针对时滞试能量函数，分析了它在无冒险强健测试矢量生成时存在局限性和表达式较复杂的不足。在此基础上建立了无冒险条件下的时滞试能量函数，从而完善了Chakradhar提出的时滞测试能量和相应的测试生成算法。