面向“排除合理怀疑”标准的案件推理模型

在社会安全案件审判阶段，对于案件推理依据“排除合理怀疑”标准认定案件事实，是在无罪推定原则下判定嫌疑人是否有罪的关键前提。针对这一问题的研究存在定量化不足的问题。该研究应用链式规则和Bayes推理方法，深入解析“排除合理怀疑”标准，通过理论和实证分析提出主张合理性的判断规则和证据解释的链式规则；定义解释间的独立性，提出证据的独立划分方法以判断主张能否合理解释证据，构建面向该标准的案件推理模型。将构建的案件推理模型应用于车辆冲撞案和故意杀人案2类频发的刑事案件，对控辩双方提出的主张进行模型推理分析，并对比模型分析结果与实际案件事实，验证模型的有效性。研究结果表明：对于达到“排除合理怀疑”标准的与未达到“排除合理怀疑”标准的案件，所提出的模型均能够协助认定案件事实，并给出相应依据。     

胶轮压路机链式转向机构的设计

首先对胶轮压路机转向机构的链式传动设计方法、步骤进行了阐述,随后详细介绍了双方向盘链式转向机构的设计方法,功能实现方法,并通过关键数据的计算达到客户的功能要求。最后,对本次设计进行了简短的总结。     

链式锅炉加装“微机安全监控系统”的设计及实施方案

本文针对链式燃煤锅炉监控系统的缺点,结合其构造特点,给出了改进和优化方案,并对方案的实施和实施效果以及实施后的可持续发展进行了论述。     

煤气代替烟煤为燃料熔炼铅合金

兰州有色金属冶炼厂原有一台熔铝反射炉，炉膛面积4．2米。火膛面积1．1米^2，直接烧烟煤熔炼各种牌号铝合金。配套一台φ4500圆盘浇铸机及一台长3米链式输送机，年生产能力2100吨。     

一般二叉树的一种简单生成方法

借助完全二叉对的顺序存贮结构作为中间桥梁实现一般二叉树的存贮结构。     

智能化冷弯成型动态链式模型的基本构架研究

在分析了实际轧制过程和样条有限条理论后,提出了轧制过程的动态链式模型,研究了实际轧制过程和链式结构的对应关系,给出了链式结构节点的孔型应力-应变数学描述式,并在此基础上给出了节点的智能结构。对每个Agent中知识过程和推理方法给出了一般性格式,同时给出了基本的对节点参数智能化修改的方法。     

阿尼玛卿山多次冰川滑塌链式灾害过程梳理与展望

冰川滑塌是近年来涌现的一种新形式冰川灾害．21世纪以来，青藏高原地区发生10多起冰川滑塌事件，其中高原东北部阿尼玛卿山晓玛沟冰川分别在2004、2007、2016和2019年连续发生4次．利用多序列遥感影像和现有资料的整合统计对近35年来晓玛沟冰川形态、流速特征等进行分析，厘清了4次冰川滑塌事件发生的诱因以及潜在的隐患点．结果表明，4次冰川滑塌发生前期的冰川跃动或末端前进、冰川后缘冰-岩崩、异常高温降水、易于滑动产生的基岩性质等与冰川滑塌事件的发生密切相关．观察到冰川后缘陡坡区在2000—2011年间发生4次规模较大的冰-岩崩，为多次冰川滑塌的发生提供了物质和动力基础．未来几年内再次发生冰川滑塌的可能性极大．2019年冰川滑塌发生后，晓玛沟冰川再次向前滑动；近年来，冰川后缘新发育的不稳定斜坡冰裂隙发育明显增多；斜坡冰流速的变化与下部冰川稳定性之间存在内在联系，在冰川滑塌发生的相关年份斜坡冰流速明显较快．根据对阿尼玛卿山4次冰川滑塌诱因的分析以及新隐患点的判定，提出结合遥感影像和临近气象站点资料的便易手段，加强对晓玛沟内冰川形态和运动特征等的监测，以及时关注和预测未来灾害的发生．      

创新价值链视角下重庆高技术产业创新效率研究 ——基于三阶段链式网络DEA模型

基于创新价值链理论构建重庆高技术产业创新三阶段指标体系和三阶段链式网络DEA模型，使用重庆2009—2016年电子及通信设备制造业、计算机及办公设备制造业、医疗仪器设备及仪器仪表制造业、医药制造业等四个高技术行业投入产出指标数据，对重庆高技术产业技术创新三阶段效率与总效率进行测度，并分析其演变趋势。研究结论：重庆高技术产业创新资源投入冗余，不注重资源配置结构；高技术产业过度重视企业短期收益，忽略了长期技术积累；四大高技术行业之间创新效率不均衡，行业间缺乏创新合作。提出针对性政策建议促进重庆高技术产业创新绩效提升，推动重庆经济高质量发展。     

邻苯二胺活性膜的电化学聚合

采用循环伏安法制备了邻苯二胺电聚合膜。研究了聚邻苯二胺（ＯＤＢ）合成过程中单体浓度、扫描速率、溶液中氢离子浓度、电极材料、阴离子种类、聚合时间等对聚合电量的影响,提出了最佳聚合方案,即在０．０１５ｍｏｌ／ＬＯＤＢ＋０．４ｍｏｌ／ＬＫＣｌ＋０．１ｍｏｌ／ＬＨＣｌ溶液中,以１００ｍＶ·ｓ－１的速率循环扫描５０ｍｉｎ。根据红外光谱初步推测：单体浓度低时可聚合形成类似吩嗪的桥式化学结构;而浓度高时形成１,２,４取代的链式结构。     

面向AUV水下对接的轨迹跟踪控制研究

针对欠驱动AUV的特点,面向水下对接的应用需要,在考虑其非完整约束的条件下,对水下机器人的非线性系统的可控性进行深入分析,并推导如何将非线性系统通过反馈变换转换成链式模型,在此基础上提出一种使用近似线性化的全状态反馈进行三维链式控制器设计的方法。最后,为了验证轨迹跟踪控制器的控制性能,在Matlab仿真环境下进行了实验,结果表明该方法可以实现路径跟踪误差的全局渐近稳定,验证了其有效性和合理性。