外国审讯结构化中步骤重复情况研究

本研究以北美、加拿大的七个相关案例审讯录像为研究材料,发现九步讯问法在结构化应用中,各个步骤均有不同程度的有效和无效重复,导致其理论设想的节奏和实际应用有所差异。笔者通过个案分析后联合比较的形式来描述该差异,并通过分析九步法本身的局限性来解释这种理论和实践差异出现的原因,从而为九步讯问法从理论构想到实践运用提供更加可操作化的建议,以供讯问实务界参考。

镀膜机真空室的有限元分析

有限元法是将连续体离散化,通过对有限个单元做分片插值求解各种力学物理学问题的一种数值方法。利用Solid Works建立镀膜机真空室三维模型,将其通过接口导入ANSYS Workbench进行有限元分析,通过网格划分,施加载荷,求解计算对模型进行静力学分析得到真空室的变形情况,并在后续优化设计中提供参考。

可溯源车联网匿名签名和批量验证方案设计

智能交通系统中行驶车辆需要传递各种实时交通信息或位置信息,这些信息的真实性、不可伪造性、向前向后安全、可追踪等性能在提高交通效率、减少交通事故、提升出行体验等方面发挥着极其重要的作用。通过研究基于椭圆曲线的数字签名算法,设计了一个可溯源车联网匿名签名和批量验证方案。可信机构初始化系统并为车辆用户设置假名,发送相应的用户公钥和签名私钥;车辆用户对需要发送的消息进行签名,并发送路侧单元进行验证,验证方式包含单个验证和批量验证,其中批量验证又包含Type I型和Type II型两种验证方式;进行了正确性和安全性证明,并通过仿真实验与已有方案进行比较,该方案带宽需求和计算代价更少;最后进行了全文总结和下一步研究展望。