共享自动驾驶汽车使用意愿模型及其影响因素

为了构建共享自动驾驶汽车(shared autonomous vehicles，SAV) 的使用意愿模型并分析其影响因素，通过使用时机和使用频率来体现公众对SAV的使用意愿；采用验证性因子分析将态度潜变量转化为潜变量得分，以此将态度潜变量引入传统的有序Logit模型；提出SAV使用意愿的有序Logit模型构建方法，并建立基于个人属性、通勤特征、态度潜变量的SAV使用意愿模型.研究发现:是否使用过滴滴拼车、工作单位停车费、自动驾驶态度对使用时机和3种价格(1，2，3元/km) 下的使用频率有显著影响；使用过滴滴拼车、工作单位收取停车费、支持自动驾驶的群体倾向于频繁地、更早地使用SAV出行；公众期望以1元/km或 2元/km即不超过目前滴滴拼车的价格使用SAV.     

关于素性半群

引进素性半群（ｐｒｉｍａｌｓｅｍｉｇｒｏｕｐ）的概念，所谓素性半群，是指其中的素理想集构成一个全序集的半群，给出一个半群Ｓ为素性半群的充要条件是其中任意两个Ｓ的素理想Ａ及Ｂ的交为Ａ∪Ｂ的素理想，并且讨论了一些素理想的有关性质。     

一些新的序压缩映射的不动点定理

在序Banach空间中,利用锥理论和单调迭代技巧对序压缩映射作了进一步的研究,对作用在序区间上的压缩映射给出了几个新的形式,并证明了相应的唯一不动点定理.     

化学配比对TiAl有序合金微观组织和变形特性的影响

本研究用三点弯曲实验测定了铝含量为43at·％～56at·％的Ti-Al二元合金的力学性能;利用光学显微镜、X射线衍射仪和透射电子显微镜研究了不同成分合金的微观组织和变形亚结构。实验结果表明:根据不同成分合金的微观组织可将其分成三类,即:γ-TiAl单相组织(52at·％～56at·％Al);双态组织(46at·％～50at·％Al)和全片层结构晶粒组织(43at·％～46at·％Al),其中以具有细晶双态组织的合金具有较好的塑性变形能力。本文从微观组织结构和变形位错组态的变化,探讨了合金成分对TiAl基有序合金塑性变形的影响机制。     

基于OBDD时序电路设计的验证

依据有序二叉判定图（OBDD）和计算树逻辑（或称分支时态逻辑）CTL（Computational Tree Logic)的基本原理，分析了基于OBDD和CTL的验证数据电路设计的基本原理，并在此基础上，给出了时序电路等价验证的方法。     

Shevrin问题的若干充要条件

利用偏序讨论了Ｉ＿３一半群的一些性质，并给出了Ｓｈｅｖｒｉｎ问题的若干充要条件。     

离散交换群上的万有Toeplitz算子代数

设G为一离散交换群,（G,G＋）为一拟偏序群．相应于这样的一个拟偏序群（G,G＋）,构造了一个万有Toeplitz算子代数．     

关于序半群的半格同余

Ｎ．Ｋｅｈａｙｏｐｕｌｕ教授在「１」中提出“ｐ０－半群上的半格同余‘Ｎ’是否为去掉最小半格同余”的问题。本文引进半格同余ｎ,证明存在ｐ０－半群Ｓ,Ｓ,上的半格同余ｎ∩→上的半格同余ｎ∩→Ｎ,给出该问题否定回答。     

关于极大极小定理的一点注记

本文证明了关于Von Neumann型极大极小原理的许多结果,可作为论文“不动点型极大极小定理的一点推广”的直接结论。     

偏序BCH-代数

引入了偏序BCH-代数和广义a-结合BCH-代数的概念,很自然地在偏序BCH-代数中建立了一种偏序关系;最后,证明了由每个广义a-结合BCH-代数可以构造出一个交换幺半群。