一种基于扩展规则的#SAT 求解系统

#SAT 问题是SAT 问题的扩展,需要计算出给定命题公式集合的模型个数.通过将问题求解沿着归结的反方向进行,并利用容斥原理解决由此带来的空间复杂性问题,提出了一种基于扩展规则的模型计数和加权模型计数问题求解框架,可以看作是目前所有模型计数问题求解方法的一种补方法.证明了该方法的完备性和有效性,设计了基于扩展规则的#SAT 求解系统:JLU-ERWMC.实验结果表明,JLU-ERWMC 在有些问题中优于目前最为高效的#SAT 问题求解系统.     

基于主元分析的可拓诊断模型及其应用研究

针对可拓诊断模型在实际应用中存在诊断准确度不高的问题,提出了一种基于主元分析的可拓故障诊断模型;该模型借助主元分析方法获取属性互不相关的训练集,在此基础上建立诊断对象描述的物元模型,然后利用关联函数定量计算待测对象对于每一种故障模式的关联程度,进而判断可能的故障模式;用该模型对某电喷发动机的运行状态进行了识别,实验结果表明,基于主元分析的可拓诊断模型可以大幅度提高诊断结果的准确率,具有重要的实践意义。     

RISC-V架构硬件辅助用户态内存安全防御方案概览

传统的用户态内存安全防御机制基于x86架构和纯软件方式实现,实现内存安全保护的运行时开销很高,难以部署在生产环境中.近年来,随着主流商业处理器开始提供硬件安全扩展,以及RISC-V等开源处理器架构的兴起,内存安全保护方案开始面向x86-64、ARM、RISC-V等多种体系架构和硬件辅助实现方式.我们对RISC-V架构上实现的内存安全防御方案进行了讨论,并对x86-64、ARM、RISC-V等处理器架构在安全方案设计上的特点进行了比较.得益于开放的指令集架构生态, RISC-V架构的内存安全防御方案相较于其他架构有一些优势.一些低成本的安全防御技术有望在RISC-V架构上实现.     

AZ31镁合金室温拉伸微观变形机制EBSD原位跟踪研究

利用电子背散射衍射(EBSD)技术,原位跟踪AZ31镁合金轧制板材室温下沿轧向拉伸时的晶粒取向变化。对变形过程的滑移系和孪晶启动机进行分析。结果表明:变形过程主要由〈a〉基面和柱面滑移系开动而实现,晶粒取向无明显变化,大量〈a〉位错滑移的产生,使得变形后小角度晶界增加明显。晶粒中拉伸孪晶是试样在拉伸变形过程中产生的,而非在试样拉伸后的卸载过程中产生。     

短切碳纤维增强碳化硅陶瓷基复合材料的高温冲击压缩力学性能

采用先驱体浸渍裂解法(即PIP法)制备出3种不同短切碳纤维(C_(sf))体积分数的圆柱形短切碳纤维增强陶瓷基复合材料(C_(sf)/SiC复合材料)试件,通过高温加热装置和自组装功能的霍普金森压杆装置对试件进行高温和动态荷载耦合作用下的冲击压缩试验,并通过扫描电子显微镜(SEM)观察C_(sf)/SiC复合材料断口形貌,对试件的破坏形态进行分析。试验结果表明,采用PIP法制备的C_(sf)/SiC复合材料试件中C_(sf)分布均匀,在外应力作用下C_(sf)/SiC复合材料试件发生破坏,碳纤维和碳纤维束与SiC基体脱粘被不断拔出。试件的抗压强度随C_(sf)体积含量的增加而呈现先增加后减小的变化趋势,C_(sf)体积含量为21%的试件抗压强度最高,为96.55 MPa。与常温相比,在高温压缩试验中随着复合材料试件平均温度的升高,C_(sf)/SiC复合材料试件破碎后的块度越来越大,整体性越来越好,当温度达到300℃时,C_(sf)体积含量对C_(sf)/SiC复合材料试件抗压强度的影响较小。     

单向拉伸条件下补片参数对复合材料胶接修复结构的影响

建立含中心半穿透圆孔的损伤金属板修补结构的三维有限元模型,以应力集中系数(Stress Concentration Factor,SCF)和挠度w作为复合材料胶接修复效果的指标,分析单向拉伸条件下,正方形补片的长度、厚度和铺层方式对修复效果的影响。结果表明:补片长度取孔直径的3.5倍、厚度取孔深度的0.6~0.8倍、铺层方式取0°/90°铺层时,复合材料单面修复含损伤裂纹板的效果较好。根据分析结果制备了实验件,进行了单向静拉伸实验,修补实验件的破坏强度比未修补实验件提高了10.1%。     

3带紧支撑的正交小波

本文首先通过Householder矩阵扩充构造了3带紧支撑的正交小波．当尺度函数具有紧支撑对称正交性时,本文通过仿酉矩阵对称扩充构造了3带紧支撑对称的正交小波,并且研究了所构造对称小波的结构．所构造小波函数的支撑不超过尺度函数的支撑,构造方法容易推广到一般d带的情形．另外,本文还给出了容易实施的显式构造算法．最后,给出了构造算例．     

Use of chemical potential of a compound in potential phase diagrams

Potential phase diagrams, where the chemical potential of a compound is used as an axis, do not obey the usual rules for potential phase diagrams. Examples are presented in order to help the interpretation of such diagrams. The thermodynamic background of the special properties is examined.     

基于可拓神经网络的火灾探测算法

为解决传统单一传感器式的火灾探测器容易造成火灾报警的漏报和误报的问题,采用多传感器信息融合技术,将温度、烟雾浓度和CO浓度等多个参数相结合,进行综合分析,对火灾进行早期预测。采用可拓神经网络作为数据融合算法,以温度、烟雾浓度、CO气体浓度三个物理参量作为输入,以三种火灾预警等级作为输出。通过仿真分析结果表明：火灾正确识别率很高,达到93.9%以上。同时通过与传统BP神经网络的对比,表明可拓神经网络在数据融合的速度和可靠性上有突出的优势,从而使可拓神经网络实际应用于火灾早期预测成为可能。