模型检测中反例最小化分析

介绍了Gastin.P最小反例的算法思想,然后结合著名的Needham-Schroeder公钥身份认证协议进行了非形式化分析,实例分析的结果表明,算法用于分析网络安全协议的有效性。针对Gastin.P算法中存在对已遍历的状态重复遍历的缺点,结合语法重定序策略提出了一种新的算法框架,有效地解决     

LED大屏幕异步控制器扫描驱动模块的设计

介绍LED大屏幕异步控制器扫描驱动模块的设计方案.该方案通过使用Verilog HDL对CPLD进行编程,并与双口RAM通信,实现了多种扫描方式,大大简化了硬件电路设计.     

Al/Cu双金属管内旋压增量成形有限元数值模拟与分析

目的 分析Al/Cu双金属管在内旋压增量成形时应力、应变、剪切结合强度的分布情况,研究主要工艺参数对双金属管剪切结合强度的影响规律。方法 基于有限元模拟软件,对Al/Cu双金属管内旋压成形过程进行有限元数值模拟;研究了内旋压增量成形时工艺参数：内管减薄率ψ、两管之间的初始间隙c、旋轮进给比f对剪切结合强度的影响。结果 随着工艺参数内管减薄率ψ、两管之间的初始间隙c、旋轮进给比f的增大,剪切应力数值也随着增大;基管与衬管的高剪切应力值主要集中在旋压结束部分,衬管的长度被拉长,模拟与实验的剪切应力在旋压成形的末端数值明显增大。结论通过有限元数值模拟分析,得出不同的工艺参数对成形质量的影响规律,对实际成形有重要的作用。     

废旧三元锂电池正极材料的回收与再利用

以废旧三元锂电池正极材料为研究对象,采用碳热还原—水浸—高温固相焙烧流程实现选择性回收Li和Ni、Co、Mn再利用的闭环回收工艺。在焙烧温度650 ℃、焙烧时间2 h、碳添加量10%、浸出时间1 h、固液比30 g/L的最佳条件下,Li浸出率为91.04%,浸出液循环浸出三次,可将浸出液Li浓度从1.01 g/L提高至2.68 g/L。浸出液蒸发结晶制备Li2CO3,主要成分为Ni、Co、MnO的浸出渣在空气氛围下焙烧制备三元前驱体,再将Li2CO3和三元前驱体混合研磨进行焙烧,获得再生三元材料。     

注浆支护材料应用现状与发展趋势

注浆是岩土工程建设中的重要环节,尤其对于防水堵漏具有不可替代的作用.梳理了国内外注浆材料的发展历史,阐述了两大类注浆支护材料——无机类注浆支护材料和有机类注浆支护材料的制备、优缺点和使用范围.根据各种注浆材料的综合技术经济指标评分结果,认为红黏土-水泥浆液是今后注浆支护材料的发展方向.     

基于智能手机感知数据的心理压力评估方法

较大的心理压力对大学生的心理和生理均会产生危害.心理压力往往在前期容易被人忽视,从而导致严重的问题.因此,如果能较早发现心理压力,并进行合理干预,有益于人的身心健康.传统心理压力检测方法以问卷调查和借助专业设备的评估为主,但都存在成本较高,且对被评估对象侵扰较大等不足.另一方面,随着智能手机的快速普及,通过手机中内置的位置、声音、加速度等多种传感器感知用户的行为习惯,并基于感知数据评估用户心理压力成为一种低成本、低侵扰的心理压力评估手段.在此背景下,针对基于智能手机感知数据分析,对评估大学生心理压力的方法展开了研究,从感知数据中提取合理的特征,提出了一种更高效的心理压力评估方法.首先,讨论了如何从原始的手机感知数据提取出合理的特征;其次,介绍将心理压力评估转化为分类问题,并使用半监督学习方法构造分类模型;最后,在开放数据集StudentLife上对上述模型进行实验验证.实现结果表明：该方法在心理压力检测精确度和召回率等方面均优于基线方法.     

氮化硅薄膜热性能测试研究

提出了一种可以测试氮化硅薄膜热导、热容的方法。该方法采用微机械加工技术制作成悬空结构,利用Pt薄膜来做加热与测温电阻。设计了合理的测试方案来减小测试过程中Pt薄膜附加热导、热容带来的影响。用Matlab模拟了结构的热响应特性。在Pt薄膜中通入直流电流后, 桥面温度逐渐升高,最终达到稳定,在相同的电流输入下,微桥的热容、热导越大,桥面的温升越小。讨论了无效加热电阻和微结构加工工艺对测试精度的影响,并给出了提高测试精确度的方法。     

基于围岩变形的全长粘结型锚杆受力特征研究

为研究围岩变形与锚杆相互作用关系,基于围岩变形推导出仅由围岩变形引起的巷道全长粘结型锚杆界面剪应力解析式,通过解析式分析锚杆界面剪应力影响因素,根据中性点理论,将锚杆分为两段,中性点前和中性点之后,将围岩变形以及引起围岩变形的内力以应变能的形式代入,求出锚杆中性点前剪应力解析式,基于中性点理论求出锚杆中性点后锚杆界面剪...     

大型商业综合体与城市规划的关系

众所周知,城市规划是促进城市经济发展重要手段。大型商业综合体是城市经济发展的产物,城市规划决定了大型商业综合体的发展。本文就大型商业综合体与城市规划之间的关系进行了探讨。     

基于小波理论的风电功率实时协同预测研究

风力发电联网运行是实现风能大规模开发利用的主要途径,准确的风电功率实时预测是实现风能大规模合理调度的有效手段。对风电功率波动特性进行了分析,得到合理的小波分解层数,通过选取各层预测的最优方法,从而得到协同预测模型。最后以吉林省某风场的实测数据为例,阐述了模型选取的准则,预测结果验证了协同预测模型的有效性。