排序方式: 共有15条查询结果,搜索用时 15 毫秒
1.
采用AKIMA方法进行交通流量趋势预测.建模是利用现场调查得到的非平稳时间序列进行数据处理、建模.并根据AIC准则进行模型定阶,最后通过实测数据进行验证,结果表明。该ARIMA模型能够获得较好的中短期预测精度,因而可用于动态交通信号控制。 相似文献
2.
以船舶航行提供可视化数字化视景为目的,提出基于VR技术的船舶航行视景数字化三维建模方法。通过采集地形数据、电子海图、三维实拍等资料,建立船舶视景模型文件、标物视景模型文件。使用3D MAX三维建模软件构建水面与陆域物标的三维模型,通过VR技术中Creator软件建立地形地貌模型。使用3D MAX三维建模软件建立船舶三维模型,并对模型进行网格重建、纹理映射以及组合渲染,从而得到完整的船舶航行视景数字化三维模型。实验表明,该方法可有效建立船舶、地标物三维模型,具有较好的船舶网格模型重构能力,可有效呈现船舶右回旋时航行视景数字化信息,应用效果较为显著。 相似文献
3.
4.
为了有效应用多体动力学软件ADAMS/Car进行车辆动力学研究,介绍并建立了包括汽车底盘、车身、转向、前后悬架、轮胎、动力总成等分系统的汽车整车模型,将整车系统简化为单自由度的质量-刚度-阻尼系统,建立微分方程,分别应用Matlab/Simulink和ADAMS/Car两种仿真方法,对整车模型进行了正弦激励输入下的仿真,比较计算结果可知达到稳态后的车身响应曲线非常吻合。研究表明:基于ADAMS/Car建立的整车多体动力学模型准确,可以用于实际车辆的仿真研究。 相似文献
5.
一阶逻辑是数理逻辑中重要的分支,对其逻辑公式的自动推理是人工智能领域重要的研究热点之一. 目前一阶逻辑自动定理证明大多采用二元归结方法,每次只有2个子句进行归结,只消去1组互补对,导致演绎归结式文字数较多,影响了演绎效率. 为此,基于矛盾体分离规则提出了一种多元协同演绎算法,该算法每次允许多个子句进行协同演绎,消去多组互补对,从而演绎分离式文字数较少且可控,能有效提高推理能力;并且,该算法通过有效演绎权重和无效演绎权重调整子句演绎顺序,利用回溯机制搜索较优路径,有效规划演绎路径. 将该算法应用于国际顶尖证明器Eprover 2.1,以CADE2017竞赛例(FOF组)为测试对象,对加入多元协同演绎算法的Eprover 2.1证明器进行试验. 试验结果表明其能力超过了Eprover 2.1:多证明定理8个;能证明Eprover 2.1未证明定理31个,占未证明总数的28.2%. 相似文献
7.
目的 感染性胰腺坏死(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)时间及接受肠外营养时间也更长。与无真菌感染组相比,真菌感染组接受手术患者的比例... 相似文献
8.
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… 相似文献
9.
10.
摩托车产品开箱统计程序是根据金城集团有限公司(下简称“公司”)质量管理需求而编制的计算机程序系统,目的是对公司每月销售摩托车产品的市场开箱合格率进行统计分析、汇总上报,并发布到企业内部报表中。 相似文献