基于ARIMA的交通流量短时预测

采用AKIMA方法进行交通流量趋势预测．建模是利用现场调查得到的非平稳时间序列进行数据处理、建模．并根据AIC准则进行模型定阶，最后通过实测数据进行验证，结果表明。该ARIMA模型能够获得较好的中短期预测精度，因而可用于动态交通信号控制。     

基于VR技术的船舶航行视景数字化三维建模

以船舶航行提供可视化数字化视景为目的,提出基于VR技术的船舶航行视景数字化三维建模方法。通过采集地形数据、电子海图、三维实拍等资料,建立船舶视景模型文件、标物视景模型文件。使用3D MAX三维建模软件构建水面与陆域物标的三维模型,通过VR技术中Creator软件建立地形地貌模型。使用3D MAX三维建模软件建立船舶三维模型,并对模型进行网格重建、纹理映射以及组合渲染,从而得到完整的船舶航行视景数字化三维模型。实验表明,该方法可有效建立船舶、地标物三维模型,具有较好的船舶网格模型重构能力,可有效呈现船舶右回旋时航行视景数字化信息,应用效果较为显著。     

高填方土路基沉降试验研究

近年来,随着我国高速公路的延伸,出现了越来越多的高填方路堤,为此,针对出现的高路堤,开展路堤沉降观测和沉降规律的研究就有其必要性。该文通过对实验的路基沉降观测资料进行整理分析既可以对后期沉降进行预测,也可以总结不同土质路堤的沉降变形规律,据此可以指导进一步的优化设计,改进有关的施工工艺,直接为公路施工决策提供科学依据。     

基于ADAMS-Car的汽车建模与仿真研究

为了有效应用多体动力学软件ADAMS/Car进行车辆动力学研究,介绍并建立了包括汽车底盘、车身、转向、前后悬架、轮胎、动力总成等分系统的汽车整车模型,将整车系统简化为单自由度的质量-刚度-阻尼系统,建立微分方程,分别应用Matlab/Simulink和ADAMS/Car两种仿真方法,对整车模型进行了正弦激励输入下的仿真,比较计算结果可知达到稳态后的车身响应曲线非常吻合。研究表明:基于ADAMS/Car建立的整车多体动力学模型准确,可以用于实际车辆的仿真研究。     

The Braid-Based Bit Commitment Protocol

Introduction Theprimitiveofbitcommitmentcanbeim-plicitlytracedbacktoveryearlyworksbyRa-bin[1],Blum[2],andShamiretal[3].Itsbasicsce-nariois:AlicecansendaprooftoBobthatcom-mitshertoabitb(0or1)ofherchoiceinsucha waythatBobcannottellwhatbis(commit phase),butlaterAlicecanopenthecommitment andprovehimwhatboriginallywas(openphase).Abitcommitmentschemeissaidtobebindingif thepromisee(Alice)hasnochancetocheat,i.e.,shecannotopentheoppositeofheroriginalcom-mitment.Wecallabitcommitmenthidingifthe commi…     

多元协同演绎在一阶逻辑ATP中的应用

一阶逻辑是数理逻辑中重要的分支,对其逻辑公式的自动推理是人工智能领域重要的研究热点之一. 目前一阶逻辑自动定理证明大多采用二元归结方法，每次只有2个子句进行归结，只消去1组互补对，导致演绎归结式文字数较多，影响了演绎效率. 为此，基于矛盾体分离规则提出了一种多元协同演绎算法，该算法每次允许多个子句进行协同演绎，消去多组互补对，从而演绎分离式文字数较少且可控，能有效提高推理能力；并且，该算法通过有效演绎权重和无效演绎权重调整子句演绎顺序，利用回溯机制搜索较优路径，有效规划演绎路径. 将该算法应用于国际顶尖证明器Eprover 2.1，以CADE2017竞赛例（FOF组）为测试对象，对加入多元协同演绎算法的Eprover 2.1证明器进行试验. 试验结果表明其能力超过了Eprover 2.1:多证明定理8个；能证明Eprover 2.1未证明定理31个，占未证明总数的28.2%.      

合并真菌感染的感染性胰腺坏死患者的临床特征

目的 感染性胰腺坏死(infected pancreatic necrosis, IPN)是导致急性胰腺炎(acute pancreatitis, AP)患者死亡的主要原因之一。目前多数研究关注于细菌感染所致病例的特点,而合并真菌感染的IPN的临床特征尚不明确。本研究揭示了合并真菌感染的IPN患者的临床特征,并分析了可能影响患者死亡的风险因素。方法 分析2017年1月1日至2021年12月31日首都医科大学宣武医院普通外科收治的IPN患者的临床资料。依据患者胰腺坏死组织及引流液培养是否有真菌感染,分为真菌感染组和无真菌感染组。比较两组患者的基线资料、临床特点与结局,并分析真菌感染组患者死亡的风险因素。结果 研究共纳入214个病例,其中真菌感染组49例。真菌感染组患者的坏死物累及区域更广、红细胞压积更低、入院时血糖更高;真菌感染组患者出现多重耐药菌感染(multidrug-resistant bacteria, MDRB)比例更高,总住院时间、入住重症监护病房(intensive care unit, ICU)时间及接受肠外营养时间也更长。与无真菌感染组相比,真菌感染组接受手术患者的比例...     

跨临界CO2新能源汽车空调逆循环化霜实验研究

本文搭建了采用逆循环化霜的跨临界CO_2电动汽车空调系统实验台。通过对各参数点温度和压力变化的分析,研究了空调系统在结霜过程的性能和参数变化特性。通过记录化霜时间和实时霜层摄像探究了化霜的效果,进行连续结霜—化霜实验,探究了首次化霜对二次结霜情况和化霜时间的影响。实验结果表明,空调系统连续运行结霜150min后,制热量分别下降22.6%和15.6%。第二次结霜速度比第一次更慢,第一次化霜时长为420s,第二次化霜时长为120s,仅为第一次化霜时间的28.5%。逆循环化霜效果十分理想,将成为未来电动汽车空调最合理有效的化霜方式之一。     

发动机曲柄连杆机构运动学仿真及有限元分析

在对发动机曲柄连杆机构运动学分析的基础上,利用Pro/E软件建立了发动机曲柄连杆机构的虚拟样机模型,并进行运动学仿真分析,得到活塞的速度、加速度曲线;利用有限元分析软件Algor对曲柄连杆机构关键构件——曲轴进行有限元分析,得到应力、应变和疲劳寿命云图,为发动机曲柄连杆机构的优化设计提供了参考依据.