四轮独立驱动-独立转向电动车辆动力学控制现状

四轮独立驱动-独立转向(4WID-4WIS)电动车辆除具有分布式驱动电动车辆传动链短、传动高效、结构紧凑的优点外,车辆的机动性及可操控性更高。通过对4WID-4WIS车辆的运动学及动力学控制展开论述,提炼了相关研究的热点与难点:在车辆控制系统构架上广泛采用分布式网络控制系统,非理想网络下的控制实时性、可靠性问题是研究的难点,动力学分层控制方法是研究的热点;在车辆动力学控制方法上,主要研究集中在基于一个或多个优化目标的转矩分配方法,协调多个控制目标的集成控制成为重要的研究方向;为了解决4WID-4WIS车辆转向模式停车切换的问题,基于该车辆的控制自由度冗余对转向模式动态切换方法的研究成为一个新的研究方向。     

煤炭产业辐射领域探讨

主要对煤炭产业辐射的领域、特点、作用等方面进行了分析和研究,以便能为进行产业链研究、发展循环经济等提供依据.     

多重乳状液粘度与溶胀规律

研究了影响乳状液膜粘度和溶胀的各种因素,如表面活性剂,添加剂,油内比,搅拌速度以及内相试剂与浓度.并对溶胀过程粘度变化规律作了分析,在此基础上,对液膜溶胀过程进行了一些讨论。     

《古代汉语》注释商榷(二)

我们曾就王力先生主编的《古代汉语》第一至第四单元的注释部分,写了《《古代汉语>注释商榷》,现再就第五单元(诸子部分)的注释问题,提出一些意见,以求正于同行们。     

明清时期景德镇御器厂“官搭民烧”制度试探——兼与潘群、许涤新诸先生商榷

景德镇瓷业经过宋元以来的长足发展,积累了相当雄厚的基础,取代全国各大名窑的地位已成必然之势。于是,明的统治者根据“任土作贡”的原则,在景德镇建立起规制宏大的御器厂。它一旦建立,便延续了五百多年,直至清代覆亡。作为一个官营手工业生产机构,明清御器厂在其发展过程中,生产方式方面发生了许多变化,明中期产生的“官搭民烧”制度乃是其中变化之     

一种基于UPPAAL的智能合约属性形式化验证方法

针对智能合约的属性验证问题,该文提出了一种基于UPPAAL的智能合约属性形式化验证方法.首先定义了Solidity基本语句的操作语义及其到时间自动机的转换,将智能合约转换成时间自动机网络模型;然后定义并描述智能合约常见的安全性和活性,再使用模型检测工具UPPAAL验证智能合约的属性;最后对购物合约进行了建模与验证,验证了该方法的有效性.     

基于进化算法的生物医学本体匹配技术

由于生物医学本体拥有规模庞大的概念和复杂概念间关系,已有本体匹配技术难以高效确定生物医学本体匹配结果。为解决这一问题,构建了生物医学本体匹配问题优化模型,提出基于进化算法的生物医学本体匹配技术来确定最优匹配结果。在求解生物医学本体匹配问题时,采用一种新的生物医学本体概念相似度度量来确保匹配结果质量,并通过基于推理的概念对剪枝技术缩小算法的搜索空间,提高算法效率。实验结果表明,基于进化算法的生物医学本体匹配技术能有效匹配生物医学本体。     

异构计算系统的表调度式任务映射与调度算法

研究了在异构计算系统（ＨＣＳ）中利用表调度式算法进行任务映射与调度．给出两种异构静态优先级表调度式任务映射算法（ＨＳＰ和ＧＨＳＰ）,以及一种异构动态优先级表调度式任务映射算法（ＢＨＤＰ）．实验结果表明,ＧＨＳＰ算法对于粗中粒度ＤＡＧ的调度效果稍好于ＨＳＰ算法,而ＢＨＤＰ算法对于粗粒度和细粒度ＤＡＧ的调度效果均明显优于ＨＳＰ和ＧＨＳＰ算法．     

基于可靠度的高速公路加速车道长度

为克服现行规范计算高速公路加速车道长度采用确定性方法的缺点,提出了一种基于概率方法的加速车道长度计算模型.首先,获取6条加速车道上223辆小客车和86辆货车的时空分布数据,计算了车辆的速度和加速度,确定了车辆加速度随速度线性递减模型.然后根据车辆的速度与加速度特性,认为货车为计算加速车道长度的不利车型.基于货车的速度与加速度数据,建立了加速车道变速段长度的概率计算模型.结果表明,利用可靠度方法计算加速车道长度,比确定性方法计算加速车道长度更加接近车辆实际运行特性.当主线设计速度为100和120km/h时,加速车道需求长度分别为300和430 m.